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.05 c [STEP] solving
0.00/0.05 c #variables 5499 #constraints 19319
0.00/0.05 c SMALL=int, LARGE=long long
0.00/0.05 c bounds - >= 5 @ 0.034392
0.00/0.05 c stratification level: 0
0.00/0.06 c bounds - >= 6 @ 0.040759
0.00/0.06 c bounds - >= 7 @ 0.041413
0.00/0.06 c bounds - >= 8 @ 0.042093
0.00/0.06 c bounds - >= 9 @ 0.04368
0.00/0.06 c bounds - >= 10 @ 0.043759
0.00/0.06 c bounds - >= 11 @ 0.043761
0.00/0.06 c finalizing WCE round: reformulating cores
3.28/3.33 c #Conflicts: 1000 | #Constraints: 20336
3.28/3.33 c #Conflicts: 2000 | #Constraints: 21338
3.28/3.33 c INPROCESSING
3.28/3.33 c GARBAGE COLLECT
3.28/3.33 c #Conflicts: 3000 | #Constraints: 21335
3.28/3.33 c #Conflicts: 4000 | #Constraints: 22337
3.28/3.33 c INPROCESSING
3.28/3.33 c GARBAGE COLLECT
3.28/3.33 c bounds 26 >= 11 @ 3.1084
3.28/3.33 c bounds 26 >= 12 @ 3.1151
3.28/3.33 c #Conflicts: 5000 | #Constraints: 21753
3.28/3.33 c bounds 26 >= 13 @ 3.13092
3.28/3.33 c bounds 26 >= 14 @ 3.18017
3.28/3.33 c finalizing WCE round: reformulating cores
7.97/8.00 c #Conflicts: 6000 | #Constraints: 22769
7.97/8.00 c INPROCESSING
7.97/8.00 c GARBAGE COLLECT
7.97/8.00 c #Conflicts: 7000 | #Constraints: 21768
7.97/8.00 c bounds 25 >= 13 @ 4.45726
7.97/8.00 c #Conflicts: 8000 | #Constraints: 22772
7.97/8.00 c bounds 25 >= 15 @ 5.31422
7.97/8.00 c #Conflicts: 9000 | #Constraints: 23772
7.97/8.00 c INPROCESSING
7.97/8.00 c GARBAGE COLLECT
7.97/8.00 c #Conflicts: 10000 | #Constraints: 22438
7.97/8.00 c bounds 25 >= 16 @ 7.7532
7.97/8.00 c finalizing WCE round: reformulating cores
76.05/76.36 c bounds 24 >= 16 @ 9.51409
76.05/76.36 c #Conflicts: 11000 | #Constraints: 23469
76.05/76.36 c bounds 24 >= 17 @ 10.023
76.05/76.36 c #Conflicts: 12000 | #Constraints: 24491
76.05/76.36 c INPROCESSING
76.05/76.36 c GARBAGE COLLECT
76.05/76.36 c #Conflicts: 13000 | #Constraints: 22967
76.05/76.36 c #Conflicts: 14000 | #Constraints: 23967
76.05/76.36 c #Conflicts: 15000 | #Constraints: 24967
76.05/76.36 c INPROCESSING
76.05/76.36 c GARBAGE COLLECT
76.05/76.36 c #Conflicts: 16000 | #Constraints: 23263
76.05/76.36 c #Conflicts: 17000 | #Constraints: 24263
76.05/76.36 c #Conflicts: 18000 | #Constraints: 25263
76.05/76.36 c INPROCESSING
76.05/76.36 c GARBAGE COLLECT
76.05/76.36 c #Conflicts: 19000 | #Constraints: 23293
76.05/76.36 c #Conflicts: 20000 | #Constraints: 24293
76.05/76.36 c #Conflicts: 21000 | #Constraints: 25293
76.05/76.36 c INPROCESSING
76.05/76.36 c GARBAGE COLLECT
76.05/76.36 c #Conflicts: 22000 | #Constraints: 23140
76.05/76.36 c #Conflicts: 23000 | #Constraints: 24140
76.05/76.36 c #Conflicts: 24000 | #Constraints: 25140
76.05/76.36 c #Conflicts: 25000 | #Constraints: 26140
76.05/76.36 c INPROCESSING
76.05/76.36 c GARBAGE COLLECT
76.05/76.36 c #Conflicts: 26000 | #Constraints: 23771
76.05/76.36 c #Conflicts: 27000 | #Constraints: 24771
76.05/76.36 c #Conflicts: 28000 | #Constraints: 25771
76.05/76.36 c #Conflicts: 29000 | #Constraints: 26771
76.05/76.36 c INPROCESSING
76.05/76.36 c GARBAGE COLLECT
76.05/76.36 c #Conflicts: 30000 | #Constraints: 24225
76.05/76.36 c #Conflicts: 31000 | #Constraints: 25225
76.05/76.36 c #Conflicts: 32000 | #Constraints: 26225
76.05/76.36 c #Conflicts: 33000 | #Constraints: 27225
76.05/76.36 c INPROCESSING
76.05/76.36 c GARBAGE COLLECT
76.05/76.36 c #Conflicts: 34000 | #Constraints: 24461
76.05/76.36 c #Conflicts: 35000 | #Constraints: 25461
76.05/76.36 c #Conflicts: 36000 | #Constraints: 26461
76.05/76.36 c #Conflicts: 37000 | #Constraints: 27461
76.05/76.36 c INPROCESSING
76.05/76.36 c GARBAGE COLLECT
76.05/76.36 c #Conflicts: 38000 | #Constraints: 24448
76.05/76.36 c #Conflicts: 39000 | #Constraints: 25448
76.05/76.36 c #Conflicts: 40000 | #Constraints: 26448
76.05/76.36 c #Conflicts: 41000 | #Constraints: 27448
76.05/76.36 c INPROCESSING
76.05/76.36 c GARBAGE COLLECT
76.05/76.36 c #Conflicts: 42000 | #Constraints: 24256
76.05/76.36 c #Conflicts: 43000 | #Constraints: 25256
76.05/76.36 c #Conflicts: 44000 | #Constraints: 26256
76.05/76.36 c bounds 24 >= 18 @ 73.1938
76.05/76.36 c #Conflicts: 45000 | #Constraints: 27287
76.05/76.36 c finalizing WCE round: reformulating cores
270.34/271.27 c #Conflicts: 46000 | #Constraints: 28290
270.34/271.27 c INPROCESSING
270.34/271.27 c GARBAGE COLLECT
270.34/271.27 c #Conflicts: 47000 | #Constraints: 24905
270.34/271.27 c bounds 22 >= 18 @ 78.5644
270.34/271.27 c #Conflicts: 48000 | #Constraints: 25905
270.34/271.27 c #Conflicts: 49000 | #Constraints: 26905
270.34/271.27 c #Conflicts: 50000 | #Constraints: 27905
270.34/271.27 c #Conflicts: 51000 | #Constraints: 28905
270.34/271.27 c INPROCESSING
270.34/271.27 c GARBAGE COLLECT
270.34/271.27 c #Conflicts: 52000 | #Constraints: 25294
270.34/271.27 c #Conflicts: 53000 | #Constraints: 26294
270.34/271.27 c #Conflicts: 54000 | #Constraints: 27294
270.34/271.27 c #Conflicts: 55000 | #Constraints: 28294
270.34/271.27 c #Conflicts: 56000 | #Constraints: 29294
270.34/271.27 c INPROCESSING
270.34/271.27 c GARBAGE COLLECT
270.34/271.27 c #Conflicts: 57000 | #Constraints: 25498
270.34/271.27 c #Conflicts: 58000 | #Constraints: 26498
270.34/271.27 c #Conflicts: 59000 | #Constraints: 27498
270.34/271.27 c #Conflicts: 60000 | #Constraints: 28498
270.34/271.27 c #Conflicts: 61000 | #Constraints: 29498
270.34/271.27 c INPROCESSING
270.34/271.27 c GARBAGE COLLECT
270.34/271.27 c #Conflicts: 62000 | #Constraints: 25531
270.34/271.27 c #Conflicts: 63000 | #Constraints: 26531
270.34/271.27 c #Conflicts: 64000 | #Constraints: 27531
270.34/271.27 c #Conflicts: 65000 | #Constraints: 28531
270.34/271.27 c #Conflicts: 66000 | #Constraints: 29531
270.34/271.27 c INPROCESSING
270.34/271.27 c GARBAGE COLLECT
270.34/271.27 c #Conflicts: 67000 | #Constraints: 25369
270.34/271.27 c #Conflicts: 68000 | #Constraints: 26369
270.34/271.27 c #Conflicts: 69000 | #Constraints: 27369
270.34/271.27 c #Conflicts: 70000 | #Constraints: 28369
270.34/271.27 c #Conflicts: 71000 | #Constraints: 29369
270.34/271.27 c #Conflicts: 72000 | #Constraints: 30369
270.34/271.27 c INPROCESSING
270.34/271.27 c GARBAGE COLLECT
270.34/271.27 c #Conflicts: 73000 | #Constraints: 25994
270.34/271.27 c #Conflicts: 74000 | #Constraints: 26994
270.34/271.27 c #Conflicts: 75000 | #Constraints: 27994
270.34/271.27 c #Conflicts: 76000 | #Constraints: 28994
270.34/271.27 c #Conflicts: 77000 | #Constraints: 29994
270.34/271.27 c #Conflicts: 78000 | #Constraints: 30994
270.34/271.27 c INPROCESSING
270.34/271.27 c GARBAGE COLLECT
270.34/271.27 c #Conflicts: 79000 | #Constraints: 26423
270.34/271.27 c #Conflicts: 80000 | #Constraints: 27423
270.34/271.27 c #Conflicts: 81000 | #Constraints: 28423
270.34/271.27 c #Conflicts: 82000 | #Constraints: 29423
270.34/271.27 c #Conflicts: 83000 | #Constraints: 30423
270.34/271.27 c #Conflicts: 84000 | #Constraints: 31423
270.34/271.27 c INPROCESSING
270.34/271.27 c GARBAGE COLLECT
270.34/271.27 c #Conflicts: 85000 | #Constraints: 26604
270.34/271.27 c #Conflicts: 86000 | #Constraints: 27604
270.34/271.27 c #Conflicts: 87000 | #Constraints: 28604
270.34/271.27 c #Conflicts: 88000 | #Constraints: 29604
270.34/271.27 c #Conflicts: 89000 | #Constraints: 30604
270.34/271.27 c #Conflicts: 90000 | #Constraints: 31604
270.34/271.27 c INPROCESSING
270.34/271.27 c GARBAGE COLLECT
270.34/271.27 c #Conflicts: 91000 | #Constraints: 26637
270.34/271.27 c #Conflicts: 92000 | #Constraints: 27637
270.34/271.27 c #Conflicts: 93000 | #Constraints: 28637
270.34/271.27 c #Conflicts: 94000 | #Constraints: 29637
270.34/271.27 c #Conflicts: 95000 | #Constraints: 30637
270.34/271.27 c #Conflicts: 96000 | #Constraints: 31637
270.34/271.27 c INPROCESSING
270.34/271.27 c GARBAGE COLLECT
270.34/271.27 c #Conflicts: 97000 | #Constraints: 26494
270.34/271.27 c #Conflicts: 98000 | #Constraints: 27494
270.34/271.27 c #Conflicts: 99000 | #Constraints: 28494
270.34/271.27 c #Conflicts: 100000 | #Constraints: 29494
270.34/271.27 c #Conflicts: 101000 | #Constraints: 30494
270.34/271.27 c #Conflicts: 102000 | #Constraints: 31494
270.34/271.27 c #Conflicts: 103000 | #Constraints: 32494
270.34/271.27 c INPROCESSING
270.34/271.27 c GARBAGE COLLECT
270.34/271.27 c bounds 22 >= 19 @ 256.798
270.34/271.27 c #Conflicts: 104000 | #Constraints: 27151
270.34/271.27 c #Conflicts: 105000 | #Constraints: 28151
270.34/271.27 c #Conflicts: 106000 | #Constraints: 29151
270.34/271.27 c #Conflicts: 107000 | #Constraints: 30151
270.34/271.27 c #Conflicts: 108000 | #Constraints: 31151
270.34/271.27 c finalizing WCE round: reformulating cores
945.05/947.84 c #Conflicts: 109000 | #Constraints: 32154
945.05/947.84 c bounds 21 >= 19 @ 271.196
945.05/947.84 c #Conflicts: 110000 | #Constraints: 33154
945.05/947.84 c INPROCESSING
945.05/947.84 c GARBAGE COLLECT
945.05/947.84 c #Conflicts: 111000 | #Constraints: 27559
945.05/947.84 c #Conflicts: 112000 | #Constraints: 28559
945.05/947.84 c #Conflicts: 113000 | #Constraints: 29559
945.05/947.84 c #Conflicts: 114000 | #Constraints: 30559
945.05/947.84 c #Conflicts: 115000 | #Constraints: 31559
945.05/947.84 c #Conflicts: 116000 | #Constraints: 32559
945.05/947.84 c #Conflicts: 117000 | #Constraints: 33559
945.05/947.84 c INPROCESSING
945.05/947.84 c GARBAGE COLLECT
945.05/947.84 c #Conflicts: 118000 | #Constraints: 27735
945.05/947.84 c #Conflicts: 119000 | #Constraints: 28735
945.05/947.84 c #Conflicts: 120000 | #Constraints: 29735
945.05/947.84 c #Conflicts: 121000 | #Constraints: 30735
945.05/947.84 c #Conflicts: 122000 | #Constraints: 31735
945.05/947.84 c #Conflicts: 123000 | #Constraints: 32735
945.05/947.84 c #Conflicts: 124000 | #Constraints: 33735
945.05/947.84 c #Conflicts: 125000 | #Constraints: 34735
945.05/947.84 c #Conflicts: 126000 | #Constraints: 35735
945.05/947.84 c #Conflicts: 127000 | #Constraints: 36735
945.05/947.84 c #Conflicts: 128000 | #Constraints: 37735
945.05/947.84 c #Conflicts: 129000 | #Constraints: 38735
945.05/947.84 c #Conflicts: 130000 | #Constraints: 39735
945.05/947.84 c #Conflicts: 131000 | #Constraints: 40735
945.05/947.84 c #Conflicts: 132000 | #Constraints: 41735
945.05/947.84 c #Conflicts: 133000 | #Constraints: 42735
945.05/947.84 c #Conflicts: 134000 | #Constraints: 43735
945.05/947.84 c #Conflicts: 135000 | #Constraints: 44735
945.05/947.84 c #Conflicts: 136000 | #Constraints: 45735
945.05/947.84 c #Conflicts: 137000 | #Constraints: 46735
945.05/947.84 c #Conflicts: 138000 | #Constraints: 47735
945.05/947.84 c #Conflicts: 139000 | #Constraints: 48735
945.05/947.84 c #Conflicts: 140000 | #Constraints: 49735
945.05/947.84 c #Conflicts: 141000 | #Constraints: 50735
945.05/947.84 c #Conflicts: 142000 | #Constraints: 51735
945.05/947.84 c #Conflicts: 143000 | #Constraints: 52735
945.05/947.84 c #Conflicts: 144000 | #Constraints: 53735
945.05/947.84 c #Conflicts: 145000 | #Constraints: 54735
945.05/947.84 c #Conflicts: 146000 | #Constraints: 55735
945.05/947.84 c #Conflicts: 147000 | #Constraints: 56735
945.05/947.84 c #Conflicts: 148000 | #Constraints: 57735
945.05/947.84 c INPROCESSING
945.05/947.84 c GARBAGE COLLECT
945.05/947.84 c #Conflicts: 149000 | #Constraints: 39659
945.05/947.84 c #Conflicts: 150000 | #Constraints: 40659
945.05/947.84 c #Conflicts: 151000 | #Constraints: 41659
945.05/947.84 c #Conflicts: 152000 | #Constraints: 42659
945.05/947.84 c #Conflicts: 153000 | #Constraints: 43659
945.05/947.84 c #Conflicts: 154000 | #Constraints: 44659
945.05/947.84 c #Conflicts: 155000 | #Constraints: 45659
945.05/947.84 c #Conflicts: 156000 | #Constraints: 46659
945.05/947.84 c INPROCESSING
945.05/947.84 c GARBAGE COLLECT
945.05/947.84 c #Conflicts: 157000 | #Constraints: 33990
945.05/947.84 c #Conflicts: 158000 | #Constraints: 34990
945.05/947.84 c #Conflicts: 159000 | #Constraints: 35990
945.05/947.84 c #Conflicts: 160000 | #Constraints: 36990
945.05/947.84 c #Conflicts: 161000 | #Constraints: 37990
945.05/947.84 c #Conflicts: 162000 | #Constraints: 38990
945.05/947.84 c #Conflicts: 163000 | #Constraints: 39990
945.05/947.84 c #Conflicts: 164000 | #Constraints: 40990
945.05/947.84 c #Conflicts: 165000 | #Constraints: 41990
945.05/947.84 c INPROCESSING
945.05/947.84 c GARBAGE COLLECT
945.05/947.84 c #Conflicts: 166000 | #Constraints: 31937
945.05/947.84 c #Conflicts: 167000 | #Constraints: 32937
945.05/947.84 c #Conflicts: 168000 | #Constraints: 33937
945.05/947.84 c #Conflicts: 169000 | #Constraints: 34937
945.05/947.84 c #Conflicts: 170000 | #Constraints: 35937
945.05/947.84 c #Conflicts: 171000 | #Constraints: 36937
945.05/947.84 c #Conflicts: 172000 | #Constraints: 37937
945.05/947.84 c #Conflicts: 173000 | #Constraints: 38937
945.05/947.84 c #Conflicts: 174000 | #Constraints: 39937
945.05/947.84 c INPROCESSING
945.05/947.84 c GARBAGE COLLECT
945.05/947.84 c #Conflicts: 175000 | #Constraints: 31017
945.05/947.84 c #Conflicts: 176000 | #Constraints: 32017
945.05/947.84 c #Conflicts: 177000 | #Constraints: 33017
945.05/947.84 c #Conflicts: 178000 | #Constraints: 34017
945.05/947.84 c #Conflicts: 179000 | #Constraints: 35017
945.05/947.84 c #Conflicts: 180000 | #Constraints: 36017
945.05/947.84 c #Conflicts: 181000 | #Constraints: 37017
945.05/947.84 c #Conflicts: 182000 | #Constraints: 38017
945.05/947.84 c INPROCESSING
945.05/947.84 c GARBAGE COLLECT
1889.57/1894.85 c #Conflicts: 183000 | #Constraints: 29568
1889.57/1894.85 c #Conflicts: 184000 | #Constraints: 30568
1889.57/1894.85 c #Conflicts: 185000 | #Constraints: 31568
1889.57/1894.85 c #Conflicts: 186000 | #Constraints: 32568
1889.57/1894.85 c #Conflicts: 187000 | #Constraints: 33568
1889.57/1894.85 c #Conflicts: 188000 | #Constraints: 34568
1889.57/1894.85 c #Conflicts: 189000 | #Constraints: 35568
1889.57/1894.85 c #Conflicts: 190000 | #Constraints: 36568
1889.57/1894.85 c #Conflicts: 191000 | #Constraints: 37568
1889.57/1894.85 c #Conflicts: 192000 | #Constraints: 38568
1889.57/1894.85 c #Conflicts: 193000 | #Constraints: 39568
1889.57/1894.85 c #Conflicts: 194000 | #Constraints: 40568
1889.57/1894.85 c #Conflicts: 195000 | #Constraints: 41568
1889.57/1894.85 c #Conflicts: 196000 | #Constraints: 42568
1889.57/1894.85 c #Conflicts: 197000 | #Constraints: 43568
1889.57/1894.85 c #Conflicts: 198000 | #Constraints: 44568
1889.57/1894.85 c #Conflicts: 199000 | #Constraints: 45568
1889.57/1894.85 c #Conflicts: 200000 | #Constraints: 46568
1889.57/1894.85 c #Conflicts: 201000 | #Constraints: 47568
1889.57/1894.85 c #Conflicts: 202000 | #Constraints: 48568
1889.57/1894.85 c #Conflicts: 203000 | #Constraints: 49568
1889.57/1894.85 c #Conflicts: 204000 | #Constraints: 50568
1889.57/1894.85 c #Conflicts: 205000 | #Constraints: 51568
1889.57/1894.85 c #Conflicts: 206000 | #Constraints: 52568
1889.57/1894.85 c #Conflicts: 207000 | #Constraints: 53568
1889.57/1894.85 c #Conflicts: 208000 | #Constraints: 54568
1889.57/1894.85 c #Conflicts: 209000 | #Constraints: 55568
1889.57/1894.85 c #Conflicts: 210000 | #Constraints: 56568
1889.57/1894.85 c #Conflicts: 211000 | #Constraints: 57568
1889.57/1894.85 c #Conflicts: 212000 | #Constraints: 58568
1889.57/1894.85 c #Conflicts: 213000 | #Constraints: 59568
1889.57/1894.85 c #Conflicts: 214000 | #Constraints: 60568
1889.57/1894.85 c #Conflicts: 215000 | #Constraints: 61568
1889.57/1894.85 c #Conflicts: 216000 | #Constraints: 62568
1889.57/1894.85 c #Conflicts: 217000 | #Constraints: 63568
1889.57/1894.85 c #Conflicts: 218000 | #Constraints: 64568
1889.57/1894.85 c #Conflicts: 219000 | #Constraints: 65568
1889.57/1894.85 c #Conflicts: 220000 | #Constraints: 66568
1889.57/1894.85 c INPROCESSING
1889.57/1894.85 c GARBAGE COLLECT
1889.57/1894.85 c #Conflicts: 221000 | #Constraints: 43971
1889.57/1894.85 c #Conflicts: 222000 | #Constraints: 44971
1889.57/1894.85 c #Conflicts: 223000 | #Constraints: 45971
1889.57/1894.85 c #Conflicts: 224000 | #Constraints: 46971
1889.57/1894.85 c #Conflicts: 225000 | #Constraints: 47971
1889.57/1894.85 c #Conflicts: 226000 | #Constraints: 48971
1889.57/1894.85 c #Conflicts: 227000 | #Constraints: 49971
1889.57/1894.85 c #Conflicts: 228000 | #Constraints: 50971
1889.57/1894.85 c #Conflicts: 229000 | #Constraints: 51971
1889.57/1894.85 c #Conflicts: 230000 | #Constraints: 52971
1889.57/1894.85 c #Conflicts: 231000 | #Constraints: 53971
1889.57/1894.85 c INPROCESSING
1889.57/1894.85 c GARBAGE COLLECT
1889.57/1894.85 c #Conflicts: 232000 | #Constraints: 38032
1889.57/1894.85 c #Conflicts: 233000 | #Constraints: 39032
1889.57/1894.85 c #Conflicts: 234000 | #Constraints: 40032
1889.57/1894.85 c #Conflicts: 235000 | #Constraints: 41032
1889.57/1894.85 c #Conflicts: 236000 | #Constraints: 42032
1889.57/1894.85 c #Conflicts: 237000 | #Constraints: 43032
1889.57/1894.85 c #Conflicts: 238000 | #Constraints: 44032
1889.57/1894.85 c #Conflicts: 239000 | #Constraints: 45032
1889.57/1894.85 c #Conflicts: 240000 | #Constraints: 46032
1889.57/1894.85 c #Conflicts: 241000 | #Constraints: 47032
1889.57/1894.85 c INPROCESSING
1889.57/1894.85 c GARBAGE COLLECT
1889.57/1894.85 c #Conflicts: 242000 | #Constraints: 34409
1889.57/1894.85 c #Conflicts: 243000 | #Constraints: 35409
1889.57/1894.85 c #Conflicts: 244000 | #Constraints: 36409
1889.57/1894.85 c #Conflicts: 245000 | #Constraints: 37409
1889.57/1894.85 c #Conflicts: 246000 | #Constraints: 38409
1889.57/1894.85 c #Conflicts: 247000 | #Constraints: 39409
1889.57/1894.85 c #Conflicts: 248000 | #Constraints: 40409
1889.57/1894.85 c #Conflicts: 249000 | #Constraints: 41409
1889.57/1894.85 c #Conflicts: 250000 | #Constraints: 42409
1889.57/1894.85 c #Conflicts: 251000 | #Constraints: 43409
1889.57/1894.85 c #Conflicts: 252000 | #Constraints: 44409
1889.57/1894.85 c INPROCESSING
1889.57/1894.85 c GARBAGE COLLECT
1889.57/1894.85 c #Conflicts: 253000 | #Constraints: 33290
1889.57/1894.85 c #Conflicts: 254000 | #Constraints: 34290
1889.57/1894.85 c #Conflicts: 255000 | #Constraints: 35290
1889.57/1894.85 c #Conflicts: 256000 | #Constraints: 36290
1889.57/1894.85 c #Conflicts: 257000 | #Constraints: 37290
1889.57/1894.85 c #Conflicts: 258000 | #Constraints: 38290
1889.57/1894.85 c #Conflicts: 259000 | #Constraints: 39290
2988.92/2996.85 c #Conflicts: 260000 | #Constraints: 40290
2988.92/2996.85 c #Conflicts: 261000 | #Constraints: 41290
2988.92/2996.85 c #Conflicts: 262000 | #Constraints: 42290
2988.92/2996.85 c INPROCESSING
2988.92/2996.85 c GARBAGE COLLECT
2988.92/2996.85 c #Conflicts: 263000 | #Constraints: 31835
2988.92/2996.85 c #Conflicts: 264000 | #Constraints: 32835
2988.92/2996.85 c #Conflicts: 265000 | #Constraints: 33835
2988.92/2996.85 c #Conflicts: 266000 | #Constraints: 34835
2988.92/2996.85 c #Conflicts: 267000 | #Constraints: 35835
2988.92/2996.85 c #Conflicts: 268000 | #Constraints: 36835
2988.92/2996.85 c #Conflicts: 269000 | #Constraints: 37835
2988.92/2996.85 c #Conflicts: 270000 | #Constraints: 38835
2988.92/2996.85 c #Conflicts: 271000 | #Constraints: 39835
2988.92/2996.85 c #Conflicts: 272000 | #Constraints: 40835
2988.92/2996.85 c #Conflicts: 273000 | #Constraints: 41835
2988.92/2996.85 c #Conflicts: 274000 | #Constraints: 42835
2988.92/2996.85 c #Conflicts: 275000 | #Constraints: 43835
2988.92/2996.85 c #Conflicts: 276000 | #Constraints: 44835
2988.92/2996.85 c #Conflicts: 277000 | #Constraints: 45835
2988.92/2996.85 c #Conflicts: 278000 | #Constraints: 46835
2988.92/2996.85 c #Conflicts: 279000 | #Constraints: 47835
2988.92/2996.85 c #Conflicts: 280000 | #Constraints: 48835
2988.92/2996.85 c #Conflicts: 281000 | #Constraints: 49835
2988.92/2996.85 c #Conflicts: 282000 | #Constraints: 50835
2988.92/2996.85 c #Conflicts: 283000 | #Constraints: 51835
2988.92/2996.85 c #Conflicts: 284000 | #Constraints: 52835
2988.92/2996.85 c #Conflicts: 285000 | #Constraints: 53835
2988.92/2996.85 c #Conflicts: 286000 | #Constraints: 54835
2988.92/2996.85 c #Conflicts: 287000 | #Constraints: 55835
2988.92/2996.85 c #Conflicts: 288000 | #Constraints: 56835
2988.92/2996.85 c #Conflicts: 289000 | #Constraints: 57835
2988.92/2996.85 c #Conflicts: 290000 | #Constraints: 58835
2988.92/2996.85 c #Conflicts: 291000 | #Constraints: 59835
2988.92/2996.85 c #Conflicts: 292000 | #Constraints: 60835
2988.92/2996.85 c #Conflicts: 293000 | #Constraints: 61835
2988.92/2996.85 c #Conflicts: 294000 | #Constraints: 62835
2988.92/2996.85 c #Conflicts: 295000 | #Constraints: 63835
2988.92/2996.85 c #Conflicts: 296000 | #Constraints: 64835
2988.92/2996.85 c #Conflicts: 297000 | #Constraints: 65835
2988.92/2996.85 c #Conflicts: 298000 | #Constraints: 66835
2988.92/2996.85 c #Conflicts: 299000 | #Constraints: 67835
2988.92/2996.85 c #Conflicts: 300000 | #Constraints: 68835
2988.92/2996.85 c #Conflicts: 301000 | #Constraints: 69835
2988.92/2996.85 c #Conflicts: 302000 | #Constraints: 70835
2988.92/2996.85 c #Conflicts: 303000 | #Constraints: 71835
2988.92/2996.85 c #Conflicts: 304000 | #Constraints: 72835
2988.92/2996.85 c #Conflicts: 305000 | #Constraints: 73835
2988.92/2996.85 c #Conflicts: 306000 | #Constraints: 74835
2988.92/2996.85 c #Conflicts: 307000 | #Constraints: 75835
2988.92/2996.85 c INPROCESSING
2988.92/2996.85 c GARBAGE COLLECT
2988.92/2996.85 c #Conflicts: 308000 | #Constraints: 48965
2988.92/2996.85 c #Conflicts: 309000 | #Constraints: 49965
2988.92/2996.85 c #Conflicts: 310000 | #Constraints: 50965
2988.92/2996.85 c #Conflicts: 311000 | #Constraints: 51965
2988.92/2996.85 c #Conflicts: 312000 | #Constraints: 52965
2988.92/2996.85 c #Conflicts: 313000 | #Constraints: 53965
2988.92/2996.85 c #Conflicts: 314000 | #Constraints: 54965
2988.92/2996.85 c #Conflicts: 315000 | #Constraints: 55965
2988.92/2996.85 c #Conflicts: 316000 | #Constraints: 56965
2988.92/2996.85 c #Conflicts: 317000 | #Constraints: 57965
2988.92/2996.85 c #Conflicts: 318000 | #Constraints: 58965
2988.92/2996.85 c #Conflicts: 319000 | #Constraints: 59965
2988.92/2996.85 c INPROCESSING
2988.92/2996.85 c GARBAGE COLLECT
2988.92/2996.85 c #Conflicts: 320000 | #Constraints: 40994
2988.92/2996.85 c #Conflicts: 321000 | #Constraints: 41994
2988.92/2996.85 c #Conflicts: 322000 | #Constraints: 42994
2988.92/2996.85 c #Conflicts: 323000 | #Constraints: 43994
2988.92/2996.85 c #Conflicts: 324000 | #Constraints: 44994
2988.92/2996.85 c #Conflicts: 325000 | #Constraints: 45994
2988.92/2996.85 c #Conflicts: 326000 | #Constraints: 46994
2988.92/2996.85 c #Conflicts: 327000 | #Constraints: 47994
2988.92/2996.85 c bounds 21 >= 20 @ 2935.14
2988.92/2996.85 c #Conflicts: 328000 | #Constraints: 49028
2988.92/2996.85 c #Conflicts: 329000 | #Constraints: 50028
2988.92/2996.85 c #Conflicts: 330000 | #Constraints: 51028
2988.92/2996.85 c #Conflicts: 331000 | #Constraints: 52028
2988.92/2996.85 c INPROCESSING
2988.92/2996.85 c GARBAGE COLLECT
2988.92/2996.85 c #Conflicts: 332000 | #Constraints: 36883
2988.92/2996.85 c #Conflicts: 333000 | #Constraints: 37883
2988.92/2996.85 c #Conflicts: 334000 | #Constraints: 38883
2997.60/3005.55 c #Conflicts: 335000 | #Constraints: 39883
2997.60/3005.55 c #Conflicts: 336000 | #Constraints: 40883
2997.60/3005.55 c finalizing WCE round: reformulating cores
3001.10/3009.01 c bounds 20 >= 20 @ 2994.9
3001.10/3009.01 d SOLVEDBY oll
3001.10/3009.01 c cpu time 2994.9 s
3001.10/3009.01 c deterministic time 323017977725 3.23e+11
3001.10/3009.01 c optimization time 16.2136 s
3001.10/3009.01 c total solve time 2978.65 s
3001.10/3009.01 c core-guided solve time 2978.65 s
3001.10/3009.01 c propagation time 2469.41 s
3001.10/3009.01 c conflict analysis time 506.731 s
3001.10/3009.01 c propagations 265467764
3001.10/3009.01 c resolve steps 28233555
3001.10/3009.01 c decisions 4502811
3001.10/3009.01 c conflicts 336758
3001.10/3009.01 c restarts 785
3001.10/3009.01 c inprocessing phases 39
3001.10/3009.01 c input clauses 19386
3001.10/3009.01 c input cardinalities 88
3001.10/3009.01 c input general constraints 67
3001.10/3009.01 c input average constraint length 3.57
3001.10/3009.01 c input average constraint degree 1.44
3001.10/3009.01 c learned clauses 116877
3001.10/3009.01 c learned cardinalities 970
3001.10/3009.01 c learned general constraints 218914
3001.10/3009.01 c learned average constraint length 783.96
3001.10/3009.01 c learned average constraint degree 24133263.68
3001.10/3009.01 c watched constraints 190224
3001.10/3009.01 c counting constraints 28757
3001.10/3009.01 c gcd simplifications 2293
3001.10/3009.01 c detected cardinalities 0
3001.10/3009.01 c weakened non-implied lits 8988950
3001.10/3009.01 c weakened non-implying lits 51012
3001.10/3009.01 c original variables 5499
3001.10/3009.01 c clausal propagations 207420907
3001.10/3009.01 c cardinality propagations 500362
3001.10/3009.01 c watched propagations 8286124
3001.10/3009.01 c counting propagations 48758069
3001.10/3009.01 c watch lookups 47411702070
3001.10/3009.01 c watch backjump lookups 40266709664
3001.10/3009.01 c watch checks 222373090275
3001.10/3009.01 c propagation checks 11371248689
3001.10/3009.01 c constraint additions 1054949138
3001.10/3009.01 c trail pops 270307313
3001.10/3009.01 c formula constraints 19319
3001.10/3009.01 c learned constraints 336761
3001.10/3009.01 c bound constraints 35
3001.10/3009.01 c core-guided constraints 187
3001.10/3009.01 c encountered formula constraints 22583327
3001.10/3009.01 c encountered learned constraints 5880026
3001.10/3009.01 c encountered bound constraints 124
3001.10/3009.01 c encountered core-guided constraints 106836
3001.10/3009.01 c LP total time 0 s
3001.10/3009.01 c LP solve time 0 s
3001.10/3009.01 c LP constraints added 0
3001.10/3009.01 c LP constraints removed 0
3001.10/3009.01 c LP pivots internal 0
3001.10/3009.01 c LP pivots root 0
3001.10/3009.01 c LP calls 0
3001.10/3009.01 c LP optimalities 0
3001.10/3009.01 c LP no pivot count 0
3001.10/3009.01 c LP infeasibilities 0
3001.10/3009.01 c LP valid Farkas constraints 0
3001.10/3009.01 c LP learned Farkas constraints 0
3001.10/3009.01 c LP basis resets 0
3001.10/3009.01 c LP cycling count 0
3001.10/3009.01 c LP singular count 0
3001.10/3009.01 c LP no primal count 0
3001.10/3009.01 c LP no farkas count 0
3001.10/3009.01 c LP other issue count 0
3001.10/3009.01 c LP Gomory cuts 0
3001.10/3009.01 c LP learned cuts 0
3001.10/3009.01 c LP deleted cuts 0
3001.10/3009.01 c LP encountered Gomory constraints 0
3001.10/3009.01 c LP encountered Farkas constraints 0
3001.10/3009.01 c LP encountered learned Farkas constraints 0
3001.10/3009.01 c CG auxiliary variables introduced 67
3001.10/3009.01 c CG solutions found 6
3001.10/3009.01 c CG cores constructed 14
3001.10/3009.01 c CG core cardinality constraints returned 0
3001.10/3009.01 c CG unit cores 0
3001.10/3009.01 c CG single cores 14
3001.10/3009.01 c CG blocks removed during cardinality reduction 0
3001.10/3009.01 c CG first core best 0
3001.10/3009.01 c CG decision core best 0
3001.10/3009.01 c CG core reduction tie 0
3001.10/3009.01 c CG core degree average 1.00
3001.10/3009.01 c CG core slack average 46.14
3001.10/3009.01 c CG exhausted 1
3001.10/3009.01 c CG exhaust time 16.1772 s
3001.10/3009.01 c CG trimmed 10
3001.10/3009.01 c CG trim time 0.011453 s
3001.10/3009.01 c CG minimized 0
3001.10/3009.01 c CG minimize time 0 s
3001.10/3009.01 c CG am1 prop time 0.008249 s
3001.10/3009.01 c CG # am1s reformulated 0
3001.10/3009.01 c CG lower bound derived from am1s 0
3001.10/3009.01 c CG # clausal cores 14
3001.10/3009.01 c CG # cardinality cores 0
3001.10/3009.01 c CG # pb cores 0
3001.10/3009.01 c CG # pb reforms 0
3001.10/3009.01 c CG # cores discarded because of pb reform 0
3001.10/3009.01 d LOWERBOUND 20
3001.10/3009.01 d NCORES 14
3001.10/3009.01 d NPBCORES 0
3001.10/3009.01 d NPBREFORM 0
3001.10/3009.01 d NTRIMMED 10
3001.10/3009.01 d NEXHAUSTED 1
3001.10/3009.01 d NAM1S 0
3001.10/3009.01 d AM1LB 0
3001.10/3009.01 o 20
3001.10/3009.01 s OPTIMUM FOUND
3001.10/3009.01 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 x1389 -x1390 x1391 x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 x1552 x1553 -x1554 -x1555 -x1556 x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 x2068 -x2069 x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 x2133 -x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3383 x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 x4756 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 x5106 -x5107 x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 x5161 x5162 -x5163 x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 x5199 -x5200 -x5201 -x5202 -x5203 x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 x5273 -x5274 x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 x5367 x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 x5441 x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61497 MiB free)
memory of node 1: 64473 MiB (63351 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454401-1721472475/watcher-4454401-1721472475 -o /tmp/evaluation-result-4454401-1721472475/solver-4454401-1721472475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721472488-1064391 --watchdog 3760 pb-oll-rs HOME/instance-4454401-1721472475.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1064430, runsolver pid=1064423
[startup+0.100185 s]*
/proc/loadavg: 1.21 1.16 1.68 6/255 1064451
/proc/meminfo: memFree=127821528/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=42416 memory=9824 CPUtime=0.09 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 1359 0 0 0 7 2 0 0 20 0 1 0 199413682 43433984 2456 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 10604 2456 1357 291 0 2138 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42416 KiB
Current children cumulated memory: 9824 KiB
[startup+0.205775 s]*
/proc/loadavg: 1.21 1.16 1.68 5/255 1064451
/proc/meminfo: memFree=127792752/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=43472 memory=13720 CPUtime=0.2 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 1826 0 0 0 18 2 0 0 20 0 1 0 199413682 44515328 3430 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 10868 3430 1357 291 0 2402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43472 KiB
Current children cumulated memory: 13720 KiB
[startup+0.305386 s]*
/proc/loadavg: 1.21 1.16 1.68 7/255 1064451
/proc/meminfo: memFree=127788932/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=43604 memory=13980 CPUtime=0.3 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 1862 0 0 0 28 2 0 0 20 0 1 0 199413682 44650496 3495 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 10901 3495 1357 291 0 2435 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43604 KiB
Current children cumulated memory: 13980 KiB
[startup+0.700222 s]
/proc/loadavg: 1.21 1.16 1.68 7/255 1064451
/proc/meminfo: memFree=127773220/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=50484 memory=21176 CPUtime=0.69 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 3124 0 0 0 65 4 0 0 20 0 1 0 199413682 51695616 5294 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 12621 5294 1357 291 0 4155 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50484 KiB
Current children cumulated memory: 21176 KiB
[startup+1.50022 s]
/proc/loadavg: 1.21 1.16 1.68 6/255 1064451
/proc/meminfo: memFree=127739792/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=56160 memory=23508 CPUtime=1.49 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 3761 0 0 0 143 6 0 0 20 0 1 0 199413682 57507840 5877 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 14040 5877 1357 291 0 5574 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 56160 KiB
Current children cumulated memory: 23508 KiB
[startup+3.10575 s]
/proc/loadavg: 1.43 1.20 1.70 6/255 1064451
/proc/meminfo: memFree=127694292/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=68096 memory=34520 CPUtime=3.08 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 5503 0 0 0 299 9 0 0 20 0 1 0 199413682 69730304 8630 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 17024 8630 1419 291 0 8558 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 68096 KiB
Current children cumulated memory: 34520 KiB
[startup+6.30022 s]
/proc/loadavg: 1.43 1.20 1.70 6/255 1064451
/proc/meminfo: memFree=127665160/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=70388 memory=38972 CPUtime=6.27 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 6218 0 0 0 612 15 0 0 20 0 1 0 199413682 72077312 9743 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 17597 9743 1419 291 0 9131 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70388 KiB
Current children cumulated memory: 38972 KiB
[startup+12.7002 s]
/proc/loadavg: 1.83 1.30 1.72 6/255 1064453
/proc/meminfo: memFree=127624940/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=87576 memory=47444 CPUtime=12.65 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 7964 0 0 0 1242 23 0 0 20 0 1 0 199413682 89677824 11861 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 21894 11861 1419 291 0 13428 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 87576 KiB
Current children cumulated memory: 47444 KiB
[startup+25.5002 s]
/proc/loadavg: 2.24 1.40 1.75 6/255 1064454
/proc/meminfo: memFree=127544656/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=91076 memory=50712 CPUtime=25.41 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 9035 0 0 0 2505 36 0 0 20 0 1 0 199413682 93261824 12678 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 22769 12678 1419 291 0 14303 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 91076 KiB
Current children cumulated memory: 50712 KiB
[startup+51.1058 s]
/proc/loadavg: 2.84 1.61 1.81 6/255 1064459
/proc/meminfo: memFree=127493456/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=94412 memory=53484 CPUtime=50.94 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 10230 0 0 0 5037 57 0 0 20 0 1 0 199413682 96677888 13371 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 23603 13371 1419 291 0 15137 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 94412 KiB
Current children cumulated memory: 53484 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.05 1.95 6/255 1064467
/proc/meminfo: memFree=127378616/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=101440 memory=69868 CPUtime=101.97 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 12829 0 0 0 10102 95 0 0 20 0 1 0 199413682 103874560 17467 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 25360 17467 1419 291 0 16894 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 101440 KiB
Current children cumulated memory: 69868 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.42 2.09 6/256 1064481
/proc/meminfo: memFree=127289600/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=107792 memory=75656 CPUtime=161.78 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 14739 0 0 0 16047 131 0 0 20 0 1 0 199413682 110379008 18914 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 26948 18914 1419 291 0 18482 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 107792 KiB
Current children cumulated memory: 75656 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.73 2.22 6/256 1064492
/proc/meminfo: memFree=127211180/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=110912 memory=78348 CPUtime=221.6 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 15775 0 0 0 21998 162 0 0 20 0 1 0 199413682 113573888 19587 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 27728 19587 1419 291 0 19262 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 110912 KiB
Current children cumulated memory: 78348 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 2.99 2.34 6/256 1064503
/proc/meminfo: memFree=127147252/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=133240 memory=88648 CPUtime=281.4 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 17182 0 0 0 27942 198 0 0 20 0 1 0 199413682 136437760 22162 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 33310 22162 1419 291 0 24844 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 133240 KiB
Current children cumulated memory: 88648 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 3.16 2.44 6/256 1064514
/proc/meminfo: memFree=127121592/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=135352 memory=100844 CPUtime=341.21 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 17814 0 0 0 33897 224 0 0 20 0 1 0 199413682 138600448 25211 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 33838 25211 1419 291 0 25372 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 135352 KiB
Current children cumulated memory: 100844 KiB
[startup+402.3 s]
/proc/loadavg: 4.82 3.51 2.60 6/256 1064525
/proc/meminfo: memFree=127028196/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=180416 memory=141736 CPUtime=401.02 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 21475 0 0 0 39864 238 0 0 20 0 1 0 199413682 184745984 35434 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 45104 35434 1419 291 0 36638 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 180416 KiB
Current children cumulated memory: 141736 KiB
[startup+462.3 s]
/proc/loadavg: 4.56 3.67 2.72 6/254 1064921
/proc/meminfo: memFree=127073832/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=252172 memory=183780 CPUtime=460.83 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 26314 0 0 0 45834 249 0 0 20 0 1 0 199413682 258224128 45945 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 63043 45945 1419 291 0 54577 0
################
# More data... #
################
/proc/loadavg: 4.16 4.13 4.01 5/257 1066142
/proc/meminfo: memFree=125357880/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=570328 memory=449420 CPUtime=2555.46 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 51430 0 0 0 254982 564 0 0 20 0 1 0 199413682 584015872 112355 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 142582 112355 1419 291 0 134116 0
Current children cumulated CPU time: 2555.46 s
Current children cumulated vsize: 570328 KiB
Current children cumulated memory: 449420 KiB
[startup+2622.3 s]
/proc/loadavg: 4.12 4.12 4.01 5/257 1066153
/proc/meminfo: memFree=125331756/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=575512 memory=473084 CPUtime=2615.31 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 52313 0 0 0 260961 570 0 0 20 0 1 0 199413682 589324288 118271 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 143878 118271 1419 291 0 135412 0
Current children cumulated CPU time: 2615.31 s
Current children cumulated vsize: 575512 KiB
Current children cumulated memory: 473084 KiB
[startup+2682.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/257 1066163
/proc/meminfo: memFree=125308144/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=579608 memory=494568 CPUtime=2675.16 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 53509 0 0 0 266940 576 0 0 20 0 1 0 199413682 593518592 123642 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 144902 123642 1419 291 0 136436 0
Current children cumulated CPU time: 2675.16 s
Current children cumulated vsize: 579608 KiB
Current children cumulated memory: 494568 KiB
[startup+2742.3 s]
/proc/loadavg: 4.14 4.12 4.02 5/257 1066175
/proc/meminfo: memFree=125297036/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=579608 memory=494568 CPUtime=2735.02 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 53647 0 0 0 272921 581 0 0 20 0 1 0 199413682 593518592 123642 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 144902 123642 1419 291 0 136436 0
Current children cumulated CPU time: 2735.02 s
Current children cumulated vsize: 579608 KiB
Current children cumulated memory: 494568 KiB
[startup+2802.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/257 1066187
/proc/meminfo: memFree=125272660/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=579608 memory=494568 CPUtime=2794.88 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 53771 0 0 0 278902 586 0 0 20 0 1 0 199413682 593518592 123642 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 144902 123642 1419 291 0 136436 0
Current children cumulated CPU time: 2794.88 s
Current children cumulated vsize: 579608 KiB
Current children cumulated memory: 494568 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.12 4.02 5/254 1066197
/proc/meminfo: memFree=125266880/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=579608 memory=494568 CPUtime=2854.73 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 53818 0 0 0 284882 591 0 0 20 0 1 0 199413682 593518592 123642 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 144902 123642 1419 291 0 136436 0
Current children cumulated CPU time: 2854.73 s
Current children cumulated vsize: 579608 KiB
Current children cumulated memory: 494568 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.13 4.03 5/254 1066208
/proc/meminfo: memFree=125250280/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=580452 memory=505256 CPUtime=2914.59 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 54095 0 0 0 290857 602 0 0 20 0 1 0 199413682 594382848 126314 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 145113 126314 1419 291 0 136647 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 505256 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.13 4.04 5/254 1066220
/proc/meminfo: memFree=125188536/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=580452 memory=505452 CPUtime=2974.45 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 54237 0 0 0 296834 611 0 0 20 0 1 0 199413682 594382848 126363 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 145113 126363 1419 291 0 136647 0
Current children cumulated CPU time: 2974.45 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 505452 KiB
[startup+3009.01 s]
# the end of solver process 1064430 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2994.9 s, system=6.21488 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2995.2 s]
/proc/loadavg: 4.21 4.14 4.04 5/254 1066222
/proc/meminfo: memFree=125188228/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=580452 memory=505452 CPUtime=2987.33 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 54267 0 0 0 298116 617 0 0 20 0 1 0 199413682 594382848 126363 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 145113 126363 1419 291 0 136647 0
Current children cumulated CPU time: 2987.33 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 505452 KiB
[startup+3001.6 s]
/proc/loadavg: 4.20 4.14 4.04 5/254 1066223
/proc/meminfo: memFree=125188012/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=580452 memory=505452 CPUtime=2993.71 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 54267 0 0 0 298752 619 0 0 20 0 1 0 199413682 594382848 126363 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 145113 126363 1419 291 0 136647 0
Current children cumulated CPU time: 2993.71 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 505452 KiB
[startup+3004.8 s]
/proc/loadavg: 4.18 4.14 4.04 5/254 1066223
/proc/meminfo: memFree=125187960/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=580452 memory=505452 CPUtime=2996.9 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 54267 0 0 0 299070 620 0 0 20 0 1 0 199413682 594382848 126363 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 145113 126363 1419 291 0 136647 0
Current children cumulated CPU time: 2996.9 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 505452 KiB
[startup+3006.4 s]
/proc/loadavg: 4.18 4.14 4.04 5/254 1066223
/proc/meminfo: memFree=125187932/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=580452 memory=505452 CPUtime=2998.49 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 54267 0 0 0 299229 620 0 0 20 0 1 0 199413682 594382848 126363 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 145113 126363 1419 291 0 136647 0
Current children cumulated CPU time: 2998.49 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 505452 KiB
[startup+3008 s]*
/proc/loadavg: 4.17 4.13 4.04 5/254 1066223
/proc/meminfo: memFree=125187896/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=580452 memory=505452 CPUtime=3000.1 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 54267 0 0 0 299389 621 0 0 20 0 1 0 199413682 594382848 126363 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 145113 126363 1419 291 0 136647 0
Current children cumulated CPU time: 3000.1 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 505452 KiB
[startup+3008.8 s]
/proc/loadavg: 4.17 4.13 4.04 5/254 1066223
/proc/meminfo: memFree=125187896/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=580452 memory=505452 CPUtime=3000.89 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 54267 0 0 0 299468 621 0 0 20 0 1 0 199413682 594382848 126363 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 145113 126363 1419 291 0 136647 0
Current children cumulated CPU time: 3000.89 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 505452 KiB
[startup+3009 s]*
/proc/loadavg: 4.17 4.13 4.04 5/254 1066223
/proc/meminfo: memFree=125187876/131524600 swapFree=131071996/131071996
[pid=1064430] ppid=1064423 vsize=580452 memory=505452 CPUtime=3001.1 cores=5,7
/proc/1064430/stat : 1064430 (pb-oll-rs) R 1064423 1064430 1064378 0 -1 4194304 54267 0 0 0 299489 621 0 0 20 0 1 0 199413682 594382848 126363 134679101440 4194304 5384485 140720720625792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10620928 140720720630805 140720720630882 140720720630882 140720720637899 0
/proc/1064430/statm: 145113 126363 1419 291 0 136647 0
Current children cumulated CPU time: 3001.1 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 505452 KiB
Child status: 0
Real time (s): 3009.01
CPU time (s): 3001.11
CPU user time (s): 2994.9
CPU system time (s): 6.21488
CPU usage (%): 99.7374
Max. virtual memory (cumulated for all children) (KiB): 580544
Max. memory (cumulated for all children) (KiB): 505452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2994.9
system time used= 6.21488
maximum resident set size= 505452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54277
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= 2108
# summary of solver processes directly reported to runsolver:
# pid: 1064430
# total CPU time (s): 3001.11
# total CPU user time (s): 2994.9
# total CPU system time (s): 6.21488
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73836 second user time and 14.582 second system time
The end
Begin job on nodeC026 at 2024-07-20 12:48:08
IDJOB=4454401
IDBENCH=148192
IDSOLVER=3082
FILE ID=nodeC026/4454401-1721472475
RUNJOBID= nodeC026-1721472488-1064391
SLURM_JOB_ID= 7545743
Free space on /tmp= 890080 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454401-1721472475/watcher-4454401-1721472475 -o /tmp/evaluation-result-4454401-1721472475/solver-4454401-1721472475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721472488-1064391 --watchdog 3760 pb-oll-rs HOME/instance-4454401-1721472475.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=67582838
nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3199.023
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3441.125
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3633.282
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3549.820
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3496.431
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3543.615
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3589.505
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3480.030
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127852360 kB
MemAvailable: 129708676 kB
Buffers: 607376 kB
Cached: 2079256 kB
SwapCached: 0 kB
Active: 1132316 kB
Inactive: 1894760 kB
Active(anon): 1464 kB
Inactive(anon): 385244 kB
Active(file): 1130852 kB
Inactive(file): 1509516 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 9320 kB
Writeback: 0 kB
AnonPages: 337620 kB
Mapped: 107536 kB
Shmem: 45912 kB
KReclaimable: 111544 kB
Slab: 225800 kB
SReclaimable: 111544 kB
SUnreclaim: 114256 kB
KernelStack: 3888 kB
PageTables: 9336 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 642644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 283348 kB
DirectMap2M: 33044480 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC026 at 2024-07-20 13:38:17