0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.06 c [STEP] solving
0.00/0.06 c #variables 5499 #constraints 19319
0.00/0.06 c SMALL=int, LARGE=long long
0.00/0.06 c bounds - >= 5 @ 0.03106
0.00/0.06 c stratification level: 0
0.00/0.07 c bounds - >= 6 @ 0.037487
0.00/0.07 c bounds - >= 7 @ 0.038124
0.00/0.07 c bounds - >= 8 @ 0.038732
0.00/0.07 c bounds - >= 9 @ 0.03973
0.00/0.07 c bounds - >= 10 @ 0.040505
0.00/0.07 c bounds - >= 11 @ 0.040788
0.00/0.07 c finalizing WCE round: reformulating cores
3.57/3.64 c #Conflicts: 1000 | #Constraints: 20336
3.57/3.64 c #Conflicts: 2000 | #Constraints: 21338
3.57/3.64 c INPROCESSING
3.57/3.64 c GARBAGE COLLECT
3.57/3.64 c #Conflicts: 3000 | #Constraints: 21335
3.57/3.64 c #Conflicts: 4000 | #Constraints: 22337
3.57/3.64 c INPROCESSING
3.57/3.64 c GARBAGE COLLECT
3.57/3.64 c bounds 26 >= 11 @ 3.41292
3.57/3.64 c bounds 26 >= 12 @ 3.42002
3.57/3.64 c #Conflicts: 5000 | #Constraints: 21753
3.57/3.64 c bounds 26 >= 13 @ 3.43796
3.57/3.64 c bounds 26 >= 14 @ 3.49363
3.57/3.64 c finalizing WCE round: reformulating cores
8.66/8.78 c #Conflicts: 6000 | #Constraints: 22769
8.66/8.78 c INPROCESSING
8.66/8.78 c GARBAGE COLLECT
8.66/8.78 c #Conflicts: 7000 | #Constraints: 21768
8.66/8.78 c bounds 25 >= 13 @ 4.89996
8.66/8.78 c #Conflicts: 8000 | #Constraints: 22772
8.66/8.78 c bounds 25 >= 15 @ 5.82325
8.66/8.78 c #Conflicts: 9000 | #Constraints: 23772
8.66/8.78 c INPROCESSING
8.66/8.78 c GARBAGE COLLECT
8.66/8.78 c #Conflicts: 10000 | #Constraints: 22438
8.66/8.78 c bounds 25 >= 16 @ 8.53253
8.66/8.78 c finalizing WCE round: reformulating cores
79.08/79.37 c bounds 24 >= 16 @ 10.3226
79.08/79.37 c #Conflicts: 11000 | #Constraints: 23469
79.08/79.37 c bounds 24 >= 17 @ 10.8629
79.08/79.37 c #Conflicts: 12000 | #Constraints: 24491
79.08/79.37 c INPROCESSING
79.08/79.37 c GARBAGE COLLECT
79.08/79.37 c #Conflicts: 13000 | #Constraints: 22967
79.08/79.37 c #Conflicts: 14000 | #Constraints: 23967
79.08/79.37 c #Conflicts: 15000 | #Constraints: 24967
79.08/79.37 c INPROCESSING
79.08/79.37 c GARBAGE COLLECT
79.08/79.37 c #Conflicts: 16000 | #Constraints: 23263
79.08/79.37 c #Conflicts: 17000 | #Constraints: 24263
79.08/79.37 c #Conflicts: 18000 | #Constraints: 25263
79.08/79.37 c INPROCESSING
79.08/79.37 c GARBAGE COLLECT
79.08/79.37 c #Conflicts: 19000 | #Constraints: 23293
79.08/79.37 c #Conflicts: 20000 | #Constraints: 24293
79.08/79.37 c #Conflicts: 21000 | #Constraints: 25293
79.08/79.37 c INPROCESSING
79.08/79.37 c GARBAGE COLLECT
79.08/79.37 c #Conflicts: 22000 | #Constraints: 23140
79.08/79.37 c #Conflicts: 23000 | #Constraints: 24140
79.08/79.37 c #Conflicts: 24000 | #Constraints: 25140
79.08/79.37 c #Conflicts: 25000 | #Constraints: 26140
79.08/79.37 c INPROCESSING
79.08/79.37 c GARBAGE COLLECT
79.08/79.37 c #Conflicts: 26000 | #Constraints: 23771
79.08/79.37 c #Conflicts: 27000 | #Constraints: 24771
79.08/79.37 c #Conflicts: 28000 | #Constraints: 25771
79.08/79.37 c #Conflicts: 29000 | #Constraints: 26771
79.08/79.37 c INPROCESSING
79.08/79.37 c GARBAGE COLLECT
79.08/79.37 c #Conflicts: 30000 | #Constraints: 24225
79.08/79.37 c #Conflicts: 31000 | #Constraints: 25225
79.08/79.37 c #Conflicts: 32000 | #Constraints: 26225
79.08/79.37 c #Conflicts: 33000 | #Constraints: 27225
79.08/79.37 c INPROCESSING
79.08/79.37 c GARBAGE COLLECT
79.08/79.37 c #Conflicts: 34000 | #Constraints: 24461
79.08/79.37 c #Conflicts: 35000 | #Constraints: 25461
79.08/79.37 c #Conflicts: 36000 | #Constraints: 26461
79.08/79.37 c #Conflicts: 37000 | #Constraints: 27461
79.08/79.37 c INPROCESSING
79.08/79.37 c GARBAGE COLLECT
79.08/79.37 c #Conflicts: 38000 | #Constraints: 24448
79.08/79.37 c #Conflicts: 39000 | #Constraints: 25448
79.08/79.37 c #Conflicts: 40000 | #Constraints: 26448
79.08/79.37 c #Conflicts: 41000 | #Constraints: 27448
79.08/79.37 c INPROCESSING
79.08/79.37 c GARBAGE COLLECT
79.08/79.37 c #Conflicts: 42000 | #Constraints: 24256
79.08/79.37 c #Conflicts: 43000 | #Constraints: 25256
79.08/79.37 c #Conflicts: 44000 | #Constraints: 26256
79.08/79.37 c bounds 24 >= 18 @ 76.2576
79.08/79.37 c #Conflicts: 45000 | #Constraints: 27287
79.08/79.37 c finalizing WCE round: reformulating cores
266.90/267.64 c #Conflicts: 46000 | #Constraints: 28290
266.90/267.64 c INPROCESSING
266.90/267.64 c GARBAGE COLLECT
266.90/267.64 c #Conflicts: 47000 | #Constraints: 24905
266.90/267.64 c bounds 22 >= 18 @ 81.8475
266.90/267.64 c #Conflicts: 48000 | #Constraints: 25905
266.90/267.64 c #Conflicts: 49000 | #Constraints: 26905
266.90/267.64 c #Conflicts: 50000 | #Constraints: 27905
266.90/267.64 c #Conflicts: 51000 | #Constraints: 28905
266.90/267.64 c INPROCESSING
266.90/267.64 c GARBAGE COLLECT
266.90/267.64 c #Conflicts: 52000 | #Constraints: 25294
266.90/267.64 c #Conflicts: 53000 | #Constraints: 26294
266.90/267.64 c #Conflicts: 54000 | #Constraints: 27294
266.90/267.64 c #Conflicts: 55000 | #Constraints: 28294
266.90/267.64 c #Conflicts: 56000 | #Constraints: 29294
266.90/267.64 c INPROCESSING
266.90/267.64 c GARBAGE COLLECT
266.90/267.64 c #Conflicts: 57000 | #Constraints: 25498
266.90/267.64 c #Conflicts: 58000 | #Constraints: 26498
266.90/267.64 c #Conflicts: 59000 | #Constraints: 27498
266.90/267.64 c #Conflicts: 60000 | #Constraints: 28498
266.90/267.64 c #Conflicts: 61000 | #Constraints: 29498
266.90/267.64 c INPROCESSING
266.90/267.64 c GARBAGE COLLECT
266.90/267.64 c #Conflicts: 62000 | #Constraints: 25531
266.90/267.64 c #Conflicts: 63000 | #Constraints: 26531
266.90/267.64 c #Conflicts: 64000 | #Constraints: 27531
266.90/267.64 c #Conflicts: 65000 | #Constraints: 28531
266.90/267.64 c #Conflicts: 66000 | #Constraints: 29531
266.90/267.64 c INPROCESSING
266.90/267.64 c GARBAGE COLLECT
266.90/267.64 c #Conflicts: 67000 | #Constraints: 25369
266.90/267.64 c #Conflicts: 68000 | #Constraints: 26369
266.90/267.64 c #Conflicts: 69000 | #Constraints: 27369
266.90/267.64 c #Conflicts: 70000 | #Constraints: 28369
266.90/267.64 c #Conflicts: 71000 | #Constraints: 29369
266.90/267.64 c #Conflicts: 72000 | #Constraints: 30369
266.90/267.64 c INPROCESSING
266.90/267.64 c GARBAGE COLLECT
266.90/267.64 c #Conflicts: 73000 | #Constraints: 25994
266.90/267.64 c #Conflicts: 74000 | #Constraints: 26994
266.90/267.64 c #Conflicts: 75000 | #Constraints: 27994
266.90/267.64 c #Conflicts: 76000 | #Constraints: 28994
266.90/267.64 c #Conflicts: 77000 | #Constraints: 29994
266.90/267.64 c #Conflicts: 78000 | #Constraints: 30994
266.90/267.64 c INPROCESSING
266.90/267.64 c GARBAGE COLLECT
266.90/267.64 c #Conflicts: 79000 | #Constraints: 26423
266.90/267.64 c #Conflicts: 80000 | #Constraints: 27423
266.90/267.64 c #Conflicts: 81000 | #Constraints: 28423
266.90/267.64 c #Conflicts: 82000 | #Constraints: 29423
266.90/267.64 c #Conflicts: 83000 | #Constraints: 30423
266.90/267.64 c #Conflicts: 84000 | #Constraints: 31423
266.90/267.64 c INPROCESSING
266.90/267.64 c GARBAGE COLLECT
266.90/267.64 c #Conflicts: 85000 | #Constraints: 26604
266.90/267.64 c #Conflicts: 86000 | #Constraints: 27604
266.90/267.64 c #Conflicts: 87000 | #Constraints: 28604
266.90/267.64 c #Conflicts: 88000 | #Constraints: 29604
266.90/267.64 c #Conflicts: 89000 | #Constraints: 30604
266.90/267.64 c #Conflicts: 90000 | #Constraints: 31604
266.90/267.64 c INPROCESSING
266.90/267.64 c GARBAGE COLLECT
266.90/267.64 c #Conflicts: 91000 | #Constraints: 26637
266.90/267.64 c #Conflicts: 92000 | #Constraints: 27637
266.90/267.64 c #Conflicts: 93000 | #Constraints: 28637
266.90/267.64 c #Conflicts: 94000 | #Constraints: 29637
266.90/267.64 c #Conflicts: 95000 | #Constraints: 30637
266.90/267.64 c #Conflicts: 96000 | #Constraints: 31637
266.90/267.64 c INPROCESSING
266.90/267.64 c GARBAGE COLLECT
266.90/267.64 c #Conflicts: 97000 | #Constraints: 26494
266.90/267.64 c #Conflicts: 98000 | #Constraints: 27494
266.90/267.64 c #Conflicts: 99000 | #Constraints: 28494
266.90/267.64 c #Conflicts: 100000 | #Constraints: 29494
266.90/267.64 c #Conflicts: 101000 | #Constraints: 30494
266.90/267.64 c #Conflicts: 102000 | #Constraints: 31494
266.90/267.64 c #Conflicts: 103000 | #Constraints: 32494
266.90/267.64 c INPROCESSING
266.90/267.64 c GARBAGE COLLECT
266.90/267.64 c bounds 22 >= 19 @ 253.428
266.90/267.64 c #Conflicts: 104000 | #Constraints: 27151
266.90/267.64 c #Conflicts: 105000 | #Constraints: 28151
266.90/267.64 c #Conflicts: 106000 | #Constraints: 29151
266.90/267.64 c #Conflicts: 107000 | #Constraints: 30151
266.90/267.64 c #Conflicts: 108000 | #Constraints: 31151
266.90/267.64 c finalizing WCE round: reformulating cores
939.34/941.88 c #Conflicts: 109000 | #Constraints: 32154
939.34/941.88 c bounds 21 >= 19 @ 267.979
939.34/941.88 c #Conflicts: 110000 | #Constraints: 33154
939.34/941.88 c INPROCESSING
939.34/941.88 c GARBAGE COLLECT
939.34/941.88 c #Conflicts: 111000 | #Constraints: 27559
939.34/941.88 c #Conflicts: 112000 | #Constraints: 28559
939.34/941.88 c #Conflicts: 113000 | #Constraints: 29559
939.34/941.88 c #Conflicts: 114000 | #Constraints: 30559
939.34/941.88 c #Conflicts: 115000 | #Constraints: 31559
939.34/941.88 c #Conflicts: 116000 | #Constraints: 32559
939.34/941.88 c #Conflicts: 117000 | #Constraints: 33559
939.34/941.88 c INPROCESSING
939.34/941.88 c GARBAGE COLLECT
939.34/941.88 c #Conflicts: 118000 | #Constraints: 27735
939.34/941.88 c #Conflicts: 119000 | #Constraints: 28735
939.34/941.88 c #Conflicts: 120000 | #Constraints: 29735
939.34/941.88 c #Conflicts: 121000 | #Constraints: 30735
939.34/941.88 c #Conflicts: 122000 | #Constraints: 31735
939.34/941.88 c #Conflicts: 123000 | #Constraints: 32735
939.34/941.88 c #Conflicts: 124000 | #Constraints: 33735
939.34/941.88 c #Conflicts: 125000 | #Constraints: 34735
939.34/941.88 c #Conflicts: 126000 | #Constraints: 35735
939.34/941.88 c #Conflicts: 127000 | #Constraints: 36735
939.34/941.88 c #Conflicts: 128000 | #Constraints: 37735
939.34/941.88 c #Conflicts: 129000 | #Constraints: 38735
939.34/941.88 c #Conflicts: 130000 | #Constraints: 39735
939.34/941.88 c #Conflicts: 131000 | #Constraints: 40735
939.34/941.88 c #Conflicts: 132000 | #Constraints: 41735
939.34/941.88 c #Conflicts: 133000 | #Constraints: 42735
939.34/941.88 c #Conflicts: 134000 | #Constraints: 43735
939.34/941.88 c #Conflicts: 135000 | #Constraints: 44735
939.34/941.88 c #Conflicts: 136000 | #Constraints: 45735
939.34/941.88 c #Conflicts: 137000 | #Constraints: 46735
939.34/941.88 c #Conflicts: 138000 | #Constraints: 47735
939.34/941.88 c #Conflicts: 139000 | #Constraints: 48735
939.34/941.88 c #Conflicts: 140000 | #Constraints: 49735
939.34/941.88 c #Conflicts: 141000 | #Constraints: 50735
939.34/941.88 c #Conflicts: 142000 | #Constraints: 51735
939.34/941.88 c #Conflicts: 143000 | #Constraints: 52735
939.34/941.88 c #Conflicts: 144000 | #Constraints: 53735
939.34/941.88 c #Conflicts: 145000 | #Constraints: 54735
939.34/941.88 c #Conflicts: 146000 | #Constraints: 55735
939.34/941.88 c #Conflicts: 147000 | #Constraints: 56735
939.34/941.88 c #Conflicts: 148000 | #Constraints: 57735
939.34/941.88 c INPROCESSING
939.34/941.88 c GARBAGE COLLECT
939.34/941.88 c #Conflicts: 149000 | #Constraints: 39659
939.34/941.88 c #Conflicts: 150000 | #Constraints: 40659
939.34/941.88 c #Conflicts: 151000 | #Constraints: 41659
939.34/941.88 c #Conflicts: 152000 | #Constraints: 42659
939.34/941.88 c #Conflicts: 153000 | #Constraints: 43659
939.34/941.88 c #Conflicts: 154000 | #Constraints: 44659
939.34/941.88 c #Conflicts: 155000 | #Constraints: 45659
939.34/941.88 c #Conflicts: 156000 | #Constraints: 46659
939.34/941.88 c INPROCESSING
939.34/941.88 c GARBAGE COLLECT
939.34/941.88 c #Conflicts: 157000 | #Constraints: 33990
939.34/941.88 c #Conflicts: 158000 | #Constraints: 34990
939.34/941.88 c #Conflicts: 159000 | #Constraints: 35990
939.34/941.88 c #Conflicts: 160000 | #Constraints: 36990
939.34/941.88 c #Conflicts: 161000 | #Constraints: 37990
939.34/941.88 c #Conflicts: 162000 | #Constraints: 38990
939.34/941.88 c #Conflicts: 163000 | #Constraints: 39990
939.34/941.88 c #Conflicts: 164000 | #Constraints: 40990
939.34/941.88 c #Conflicts: 165000 | #Constraints: 41990
939.34/941.88 c INPROCESSING
939.34/941.88 c GARBAGE COLLECT
939.34/941.88 c #Conflicts: 166000 | #Constraints: 31937
939.34/941.88 c #Conflicts: 167000 | #Constraints: 32937
939.34/941.88 c #Conflicts: 168000 | #Constraints: 33937
939.34/941.88 c #Conflicts: 169000 | #Constraints: 34937
939.34/941.88 c #Conflicts: 170000 | #Constraints: 35937
939.34/941.88 c #Conflicts: 171000 | #Constraints: 36937
939.34/941.88 c #Conflicts: 172000 | #Constraints: 37937
939.34/941.88 c #Conflicts: 173000 | #Constraints: 38937
939.34/941.88 c #Conflicts: 174000 | #Constraints: 39937
939.34/941.88 c INPROCESSING
939.34/941.88 c GARBAGE COLLECT
939.34/941.88 c #Conflicts: 175000 | #Constraints: 31017
939.34/941.88 c #Conflicts: 176000 | #Constraints: 32017
939.34/941.88 c #Conflicts: 177000 | #Constraints: 33017
939.34/941.88 c #Conflicts: 178000 | #Constraints: 34017
939.34/941.88 c #Conflicts: 179000 | #Constraints: 35017
939.34/941.88 c #Conflicts: 180000 | #Constraints: 36017
939.34/941.88 c #Conflicts: 181000 | #Constraints: 37017
939.34/941.88 c #Conflicts: 182000 | #Constraints: 38017
939.34/941.88 c INPROCESSING
939.34/941.88 c GARBAGE COLLECT
1875.57/1880.62 c #Conflicts: 183000 | #Constraints: 29568
1875.57/1880.62 c #Conflicts: 184000 | #Constraints: 30568
1875.57/1880.62 c #Conflicts: 185000 | #Constraints: 31568
1875.57/1880.62 c #Conflicts: 186000 | #Constraints: 32568
1875.57/1880.62 c #Conflicts: 187000 | #Constraints: 33568
1875.57/1880.62 c #Conflicts: 188000 | #Constraints: 34568
1875.57/1880.62 c #Conflicts: 189000 | #Constraints: 35568
1875.57/1880.62 c #Conflicts: 190000 | #Constraints: 36568
1875.57/1880.62 c #Conflicts: 191000 | #Constraints: 37568
1875.57/1880.62 c #Conflicts: 192000 | #Constraints: 38568
1875.57/1880.62 c #Conflicts: 193000 | #Constraints: 39568
1875.57/1880.62 c #Conflicts: 194000 | #Constraints: 40568
1875.57/1880.62 c #Conflicts: 195000 | #Constraints: 41568
1875.57/1880.62 c #Conflicts: 196000 | #Constraints: 42568
1875.57/1880.62 c #Conflicts: 197000 | #Constraints: 43568
1875.57/1880.62 c #Conflicts: 198000 | #Constraints: 44568
1875.57/1880.62 c #Conflicts: 199000 | #Constraints: 45568
1875.57/1880.62 c #Conflicts: 200000 | #Constraints: 46568
1875.57/1880.62 c #Conflicts: 201000 | #Constraints: 47568
1875.57/1880.62 c #Conflicts: 202000 | #Constraints: 48568
1875.57/1880.62 c #Conflicts: 203000 | #Constraints: 49568
1875.57/1880.62 c #Conflicts: 204000 | #Constraints: 50568
1875.57/1880.62 c #Conflicts: 205000 | #Constraints: 51568
1875.57/1880.62 c #Conflicts: 206000 | #Constraints: 52568
1875.57/1880.62 c #Conflicts: 207000 | #Constraints: 53568
1875.57/1880.62 c #Conflicts: 208000 | #Constraints: 54568
1875.57/1880.62 c #Conflicts: 209000 | #Constraints: 55568
1875.57/1880.62 c #Conflicts: 210000 | #Constraints: 56568
1875.57/1880.62 c #Conflicts: 211000 | #Constraints: 57568
1875.57/1880.62 c #Conflicts: 212000 | #Constraints: 58568
1875.57/1880.62 c #Conflicts: 213000 | #Constraints: 59568
1875.57/1880.62 c #Conflicts: 214000 | #Constraints: 60568
1875.57/1880.62 c #Conflicts: 215000 | #Constraints: 61568
1875.57/1880.62 c #Conflicts: 216000 | #Constraints: 62568
1875.57/1880.62 c #Conflicts: 217000 | #Constraints: 63568
1875.57/1880.62 c #Conflicts: 218000 | #Constraints: 64568
1875.57/1880.62 c #Conflicts: 219000 | #Constraints: 65568
1875.57/1880.62 c #Conflicts: 220000 | #Constraints: 66568
1875.57/1880.62 c INPROCESSING
1875.57/1880.62 c GARBAGE COLLECT
1875.57/1880.62 c #Conflicts: 221000 | #Constraints: 43971
1875.57/1880.62 c #Conflicts: 222000 | #Constraints: 44971
1875.57/1880.62 c #Conflicts: 223000 | #Constraints: 45971
1875.57/1880.62 c #Conflicts: 224000 | #Constraints: 46971
1875.57/1880.62 c #Conflicts: 225000 | #Constraints: 47971
1875.57/1880.62 c #Conflicts: 226000 | #Constraints: 48971
1875.57/1880.62 c #Conflicts: 227000 | #Constraints: 49971
1875.57/1880.62 c #Conflicts: 228000 | #Constraints: 50971
1875.57/1880.62 c #Conflicts: 229000 | #Constraints: 51971
1875.57/1880.62 c #Conflicts: 230000 | #Constraints: 52971
1875.57/1880.62 c #Conflicts: 231000 | #Constraints: 53971
1875.57/1880.62 c INPROCESSING
1875.57/1880.62 c GARBAGE COLLECT
1875.57/1880.62 c #Conflicts: 232000 | #Constraints: 38032
1875.57/1880.62 c #Conflicts: 233000 | #Constraints: 39032
1875.57/1880.62 c #Conflicts: 234000 | #Constraints: 40032
1875.57/1880.62 c #Conflicts: 235000 | #Constraints: 41032
1875.57/1880.62 c #Conflicts: 236000 | #Constraints: 42032
1875.57/1880.62 c #Conflicts: 237000 | #Constraints: 43032
1875.57/1880.62 c #Conflicts: 238000 | #Constraints: 44032
1875.57/1880.62 c #Conflicts: 239000 | #Constraints: 45032
1875.57/1880.62 c #Conflicts: 240000 | #Constraints: 46032
1875.57/1880.62 c #Conflicts: 241000 | #Constraints: 47032
1875.57/1880.62 c INPROCESSING
1875.57/1880.62 c GARBAGE COLLECT
1875.57/1880.62 c #Conflicts: 242000 | #Constraints: 34409
1875.57/1880.62 c #Conflicts: 243000 | #Constraints: 35409
1875.57/1880.62 c #Conflicts: 244000 | #Constraints: 36409
1875.57/1880.62 c #Conflicts: 245000 | #Constraints: 37409
1875.57/1880.62 c #Conflicts: 246000 | #Constraints: 38409
1875.57/1880.62 c #Conflicts: 247000 | #Constraints: 39409
1875.57/1880.62 c #Conflicts: 248000 | #Constraints: 40409
1875.57/1880.62 c #Conflicts: 249000 | #Constraints: 41409
1875.57/1880.62 c #Conflicts: 250000 | #Constraints: 42409
1875.57/1880.62 c #Conflicts: 251000 | #Constraints: 43409
1875.57/1880.62 c #Conflicts: 252000 | #Constraints: 44409
1875.57/1880.62 c INPROCESSING
1875.57/1880.62 c GARBAGE COLLECT
1875.57/1880.62 c #Conflicts: 253000 | #Constraints: 33290
1875.57/1880.62 c #Conflicts: 254000 | #Constraints: 34290
1875.57/1880.62 c #Conflicts: 255000 | #Constraints: 35290
1875.57/1880.62 c #Conflicts: 256000 | #Constraints: 36290
1875.57/1880.62 c #Conflicts: 257000 | #Constraints: 37290
1875.57/1880.62 c #Conflicts: 258000 | #Constraints: 38290
1875.57/1880.62 c #Conflicts: 259000 | #Constraints: 39290
2973.05/2980.84 c #Conflicts: 260000 | #Constraints: 40290
2973.05/2980.84 c #Conflicts: 261000 | #Constraints: 41290
2973.05/2980.84 c #Conflicts: 262000 | #Constraints: 42290
2973.05/2980.84 c INPROCESSING
2973.05/2980.84 c GARBAGE COLLECT
2973.05/2980.84 c #Conflicts: 263000 | #Constraints: 31835
2973.05/2980.84 c #Conflicts: 264000 | #Constraints: 32835
2973.05/2980.84 c #Conflicts: 265000 | #Constraints: 33835
2973.05/2980.84 c #Conflicts: 266000 | #Constraints: 34835
2973.05/2980.84 c #Conflicts: 267000 | #Constraints: 35835
2973.05/2980.84 c #Conflicts: 268000 | #Constraints: 36835
2973.05/2980.84 c #Conflicts: 269000 | #Constraints: 37835
2973.05/2980.84 c #Conflicts: 270000 | #Constraints: 38835
2973.05/2980.84 c #Conflicts: 271000 | #Constraints: 39835
2973.05/2980.84 c #Conflicts: 272000 | #Constraints: 40835
2973.05/2980.84 c #Conflicts: 273000 | #Constraints: 41835
2973.05/2980.84 c #Conflicts: 274000 | #Constraints: 42835
2973.05/2980.84 c #Conflicts: 275000 | #Constraints: 43835
2973.05/2980.84 c #Conflicts: 276000 | #Constraints: 44835
2973.05/2980.84 c #Conflicts: 277000 | #Constraints: 45835
2973.05/2980.84 c #Conflicts: 278000 | #Constraints: 46835
2973.05/2980.84 c #Conflicts: 279000 | #Constraints: 47835
2973.05/2980.84 c #Conflicts: 280000 | #Constraints: 48835
2973.05/2980.84 c #Conflicts: 281000 | #Constraints: 49835
2973.05/2980.84 c #Conflicts: 282000 | #Constraints: 50835
2973.05/2980.84 c #Conflicts: 283000 | #Constraints: 51835
2973.05/2980.84 c #Conflicts: 284000 | #Constraints: 52835
2973.05/2980.84 c #Conflicts: 285000 | #Constraints: 53835
2973.05/2980.84 c #Conflicts: 286000 | #Constraints: 54835
2973.05/2980.84 c #Conflicts: 287000 | #Constraints: 55835
2973.05/2980.84 c #Conflicts: 288000 | #Constraints: 56835
2973.05/2980.84 c #Conflicts: 289000 | #Constraints: 57835
2973.05/2980.84 c #Conflicts: 290000 | #Constraints: 58835
2973.05/2980.84 c #Conflicts: 291000 | #Constraints: 59835
2973.05/2980.84 c #Conflicts: 292000 | #Constraints: 60835
2973.05/2980.84 c #Conflicts: 293000 | #Constraints: 61835
2973.05/2980.84 c #Conflicts: 294000 | #Constraints: 62835
2973.05/2980.84 c #Conflicts: 295000 | #Constraints: 63835
2973.05/2980.84 c #Conflicts: 296000 | #Constraints: 64835
2973.05/2980.84 c #Conflicts: 297000 | #Constraints: 65835
2973.05/2980.84 c #Conflicts: 298000 | #Constraints: 66835
2973.05/2980.84 c #Conflicts: 299000 | #Constraints: 67835
2973.05/2980.84 c #Conflicts: 300000 | #Constraints: 68835
2973.05/2980.84 c #Conflicts: 301000 | #Constraints: 69835
2973.05/2980.84 c #Conflicts: 302000 | #Constraints: 70835
2973.05/2980.84 c #Conflicts: 303000 | #Constraints: 71835
2973.05/2980.84 c #Conflicts: 304000 | #Constraints: 72835
2973.05/2980.84 c #Conflicts: 305000 | #Constraints: 73835
2973.05/2980.84 c #Conflicts: 306000 | #Constraints: 74835
2973.05/2980.84 c #Conflicts: 307000 | #Constraints: 75835
2973.05/2980.84 c INPROCESSING
2973.05/2980.84 c GARBAGE COLLECT
2973.05/2980.84 c #Conflicts: 308000 | #Constraints: 48965
2973.05/2980.84 c #Conflicts: 309000 | #Constraints: 49965
2973.05/2980.84 c #Conflicts: 310000 | #Constraints: 50965
2973.05/2980.84 c #Conflicts: 311000 | #Constraints: 51965
2973.05/2980.84 c #Conflicts: 312000 | #Constraints: 52965
2973.05/2980.84 c #Conflicts: 313000 | #Constraints: 53965
2973.05/2980.84 c #Conflicts: 314000 | #Constraints: 54965
2973.05/2980.84 c #Conflicts: 315000 | #Constraints: 55965
2973.05/2980.84 c #Conflicts: 316000 | #Constraints: 56965
2973.05/2980.84 c #Conflicts: 317000 | #Constraints: 57965
2973.05/2980.84 c #Conflicts: 318000 | #Constraints: 58965
2973.05/2980.84 c #Conflicts: 319000 | #Constraints: 59965
2973.05/2980.84 c INPROCESSING
2973.05/2980.84 c GARBAGE COLLECT
2973.05/2980.84 c #Conflicts: 320000 | #Constraints: 40994
2973.05/2980.84 c #Conflicts: 321000 | #Constraints: 41994
2973.05/2980.84 c #Conflicts: 322000 | #Constraints: 42994
2973.05/2980.84 c #Conflicts: 323000 | #Constraints: 43994
2973.05/2980.84 c #Conflicts: 324000 | #Constraints: 44994
2973.05/2980.84 c #Conflicts: 325000 | #Constraints: 45994
2973.05/2980.84 c #Conflicts: 326000 | #Constraints: 46994
2973.05/2980.84 c #Conflicts: 327000 | #Constraints: 47994
2973.05/2980.84 c bounds 21 >= 20 @ 2918.76
2973.05/2980.84 c #Conflicts: 328000 | #Constraints: 49028
2973.05/2980.84 c #Conflicts: 329000 | #Constraints: 50028
2973.05/2980.84 c #Conflicts: 330000 | #Constraints: 51028
2973.05/2980.84 c #Conflicts: 331000 | #Constraints: 52028
2973.05/2980.84 c INPROCESSING
2973.05/2980.84 c GARBAGE COLLECT
2973.05/2980.84 c #Conflicts: 332000 | #Constraints: 36883
2973.05/2980.84 c #Conflicts: 333000 | #Constraints: 37883
2973.05/2980.84 c #Conflicts: 334000 | #Constraints: 38883
2981.84/2989.67 c #Conflicts: 335000 | #Constraints: 39883
2981.84/2989.67 c #Conflicts: 336000 | #Constraints: 40883
2981.84/2989.67 c finalizing WCE round: reformulating cores
2985.33/2993.15 c bounds 20 >= 20 @ 2979.39
2985.33/2993.15 d SOLVEDBY oll
2985.33/2993.15 c cpu time 2979.39 s
2985.33/2993.15 c deterministic time 323017977725 3.23e+11
2985.33/2993.15 c optimization time 16.9761 s
2985.33/2993.15 c total solve time 2962.39 s
2985.33/2993.15 c core-guided solve time 2962.39 s
2985.33/2993.15 c propagation time 2398.63 s
2985.33/2993.15 c conflict analysis time 561.828 s
2985.33/2993.15 c propagations 265467764
2985.33/2993.15 c resolve steps 28233555
2985.33/2993.15 c decisions 4502811
2985.33/2993.15 c conflicts 336758
2985.33/2993.15 c restarts 785
2985.33/2993.15 c inprocessing phases 39
2985.33/2993.15 c input clauses 19386
2985.33/2993.15 c input cardinalities 88
2985.33/2993.15 c input general constraints 67
2985.33/2993.15 c input average constraint length 3.57
2985.33/2993.15 c input average constraint degree 1.44
2985.33/2993.15 c learned clauses 116877
2985.33/2993.15 c learned cardinalities 970
2985.33/2993.15 c learned general constraints 218914
2985.33/2993.15 c learned average constraint length 783.96
2985.33/2993.15 c learned average constraint degree 24133263.68
2985.33/2993.15 c watched constraints 190224
2985.33/2993.15 c counting constraints 28757
2985.33/2993.15 c gcd simplifications 2293
2985.33/2993.15 c detected cardinalities 0
2985.33/2993.15 c weakened non-implied lits 8988950
2985.33/2993.15 c weakened non-implying lits 51012
2985.33/2993.15 c original variables 5499
2985.33/2993.15 c clausal propagations 207420907
2985.33/2993.15 c cardinality propagations 500362
2985.33/2993.15 c watched propagations 8286124
2985.33/2993.15 c counting propagations 48758069
2985.33/2993.15 c watch lookups 47411702070
2985.33/2993.15 c watch backjump lookups 40266709664
2985.33/2993.15 c watch checks 222373090275
2985.33/2993.15 c propagation checks 11371248689
2985.33/2993.15 c constraint additions 1054949138
2985.33/2993.15 c trail pops 270307313
2985.33/2993.15 c formula constraints 19319
2985.33/2993.15 c learned constraints 336761
2985.33/2993.15 c bound constraints 35
2985.33/2993.15 c core-guided constraints 187
2985.33/2993.15 c encountered formula constraints 22583327
2985.33/2993.15 c encountered learned constraints 5880026
2985.33/2993.15 c encountered bound constraints 124
2985.33/2993.15 c encountered core-guided constraints 106836
2985.33/2993.15 c LP total time 0 s
2985.33/2993.15 c LP solve time 0 s
2985.33/2993.15 c LP constraints added 0
2985.33/2993.15 c LP constraints removed 0
2985.33/2993.15 c LP pivots internal 0
2985.33/2993.15 c LP pivots root 0
2985.33/2993.15 c LP calls 0
2985.33/2993.15 c LP optimalities 0
2985.33/2993.15 c LP no pivot count 0
2985.33/2993.15 c LP infeasibilities 0
2985.33/2993.15 c LP valid Farkas constraints 0
2985.33/2993.15 c LP learned Farkas constraints 0
2985.33/2993.15 c LP basis resets 0
2985.33/2993.15 c LP cycling count 0
2985.33/2993.15 c LP singular count 0
2985.33/2993.15 c LP no primal count 0
2985.33/2993.15 c LP no farkas count 0
2985.33/2993.15 c LP other issue count 0
2985.33/2993.15 c LP Gomory cuts 0
2985.33/2993.15 c LP learned cuts 0
2985.33/2993.15 c LP deleted cuts 0
2985.33/2993.15 c LP encountered Gomory constraints 0
2985.33/2993.15 c LP encountered Farkas constraints 0
2985.33/2993.15 c LP encountered learned Farkas constraints 0
2985.33/2993.15 c CG auxiliary variables introduced 67
2985.33/2993.15 c CG solutions found 6
2985.33/2993.15 c CG cores constructed 14
2985.33/2993.15 c CG core cardinality constraints returned 0
2985.33/2993.15 c CG unit cores 0
2985.33/2993.15 c CG single cores 14
2985.33/2993.15 c CG blocks removed during cardinality reduction 0
2985.33/2993.15 c CG first core best 0
2985.33/2993.15 c CG decision core best 0
2985.33/2993.15 c CG core reduction tie 0
2985.33/2993.15 c CG core degree average 1.00
2985.33/2993.15 c CG core slack average 46.14
2985.33/2993.15 c CG exhausted 1
2985.33/2993.15 c CG exhaust time 16.9422 s
2985.33/2993.15 c CG trimmed 10
2985.33/2993.15 c CG trim time 0.011366 s
2985.33/2993.15 c CG minimized 0
2985.33/2993.15 c CG minimize time 0 s
2985.33/2993.15 c CG am1 prop time 0.007961 s
2985.33/2993.15 c CG # am1s reformulated 0
2985.33/2993.15 c CG lower bound derived from am1s 0
2985.33/2993.15 c CG # clausal cores 14
2985.33/2993.15 c CG # cardinality cores 0
2985.33/2993.15 c CG # pb cores 0
2985.33/2993.15 c CG # pb reforms 0
2985.33/2993.15 c CG # cores discarded because of pb reform 0
2985.33/2993.15 d LOWERBOUND 20
2985.33/2993.15 d NCORES 14
2985.33/2993.15 d NPBCORES 0
2985.33/2993.15 d NPBREFORM 0
2985.33/2993.15 d NTRIMMED 10
2985.33/2993.15 d NEXHAUSTED 1
2985.33/2993.15 d NAM1S 0
2985.33/2993.15 d AM1LB 0
2985.33/2993.15 o 20
2985.33/2993.15 s OPTIMUM FOUND
2985.33/2993.15 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: 63708 MiB (63021 MiB free)
memory of node 1: 64465 MiB (63968 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497740-1751402793/watcher-4497740-1751402793 -o /tmp/evaluation-result-4497740-1751402793/solver-4497740-1751402793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58041 --watchdog 3760 pb-oll-rs HOME/instance-4497740-1751402793.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=58463, runsolver pid=58457
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.15 4.10 4.02 5/264 58469
/proc/meminfo: memFree=130005544/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=23584 memory=10724 CPUtime=0.08 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 1170 0 0 0 6 2 0 0 20 0 1 0 55957181 24150016 2681 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 5896 2681 1280 243 0 2145 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 23584 KiB
Current children cumulated memory: 10724 KiB
[startup+0.204886 s]*
/proc/loadavg: 4.22 4.12 4.03 5/264 58469
/proc/meminfo: memFree=129995588/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=24644 memory=11748 CPUtime=0.19 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 1429 0 0 0 17 2 0 0 20 0 1 0 55957181 25235456 2937 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 6161 2937 1280 243 0 2410 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24644 KiB
Current children cumulated memory: 11748 KiB
[startup+0.304697 s]*
/proc/loadavg: 4.22 4.12 4.03 5/264 58469
/proc/meminfo: memFree=129991492/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=24644 memory=13888 CPUtime=0.28 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 1451 0 0 0 26 2 0 0 20 0 1 0 55957181 25235456 3472 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 6161 3472 1280 243 0 2410 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 24644 KiB
Current children cumulated memory: 13888 KiB
[startup+0.70013 s]
/proc/loadavg: 4.22 4.12 4.03 5/264 58469
/proc/meminfo: memFree=129987460/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=31112 memory=18752 CPUtime=0.67 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 2680 0 0 0 64 3 0 0 20 0 1 0 55957181 31858688 4688 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 7778 4688 1280 243 0 4027 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 31112 KiB
Current children cumulated memory: 18752 KiB
[startup+1.50012 s]
/proc/loadavg: 4.22 4.12 4.03 5/264 58469
/proc/meminfo: memFree=129961756/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=37324 memory=24240 CPUtime=1.48 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 3551 0 0 0 143 5 0 0 20 0 1 0 55957181 38219776 6060 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 9331 6060 1280 243 0 5580 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37324 KiB
Current children cumulated memory: 24240 KiB
[startup+3.10509 s]
/proc/loadavg: 4.22 4.12 4.03 5/264 58469
/proc/meminfo: memFree=129923844/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=49308 memory=32980 CPUtime=3.08 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 4825 0 0 0 301 7 0 0 20 0 1 0 55957181 50491392 8245 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 12327 8245 1280 243 0 8576 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 49308 KiB
Current children cumulated memory: 32980 KiB
[startup+6.30015 s]
/proc/loadavg: 4.20 4.11 4.03 5/264 58469
/proc/meminfo: memFree=129882712/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=51356 memory=37092 CPUtime=6.27 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 5354 0 0 0 615 12 0 0 20 0 1 0 55957181 52588544 9273 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 12839 9273 1280 243 0 9088 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51356 KiB
Current children cumulated memory: 37092 KiB
[startup+12.7001 s]
/proc/loadavg: 4.18 4.11 4.03 5/264 58469
/proc/meminfo: memFree=129826852/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=68784 memory=46860 CPUtime=12.65 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 7506 0 0 0 1244 21 0 0 20 0 1 0 55957181 70434816 11715 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 17196 11715 1280 243 0 13445 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 68784 KiB
Current children cumulated memory: 46860 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.11 4.03 5/264 58469
/proc/meminfo: memFree=129706320/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=72276 memory=50120 CPUtime=25.42 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 8577 0 0 0 2509 33 0 0 20 0 1 0 55957181 74010624 12530 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 18069 12530 1280 243 0 14318 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 72276 KiB
Current children cumulated memory: 50120 KiB
[startup+51.1055 s]
/proc/loadavg: 4.22 4.13 4.04 5/264 58470
/proc/meminfo: memFree=129612352/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=75052 memory=52336 CPUtime=50.96 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 9527 0 0 0 5045 51 0 0 20 0 1 0 55957181 76853248 13084 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 18763 13084 1280 243 0 15012 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 75052 KiB
Current children cumulated memory: 52336 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/264 58471
/proc/meminfo: memFree=129525100/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=81088 memory=68644 CPUtime=102.02 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 11678 0 0 0 10116 86 0 0 20 0 1 0 55957181 83034112 17161 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 20272 17161 1280 243 0 16521 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 81088 KiB
Current children cumulated memory: 68644 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/264 58473
/proc/meminfo: memFree=129365780/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=89048 memory=77048 CPUtime=161.86 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 13955 0 0 0 16067 119 0 0 20 0 1 0 55957181 91185152 19262 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 22262 19262 1280 243 0 18511 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 89048 KiB
Current children cumulated memory: 77048 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.13 4.05 5/265 58480
/proc/meminfo: memFree=129277616/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=92184 memory=79272 CPUtime=221.72 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 14860 0 0 0 22024 148 0 0 20 0 1 0 55957181 94396416 19818 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 23046 19818 1280 243 0 19295 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 92184 KiB
Current children cumulated memory: 79272 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/265 58483
/proc/meminfo: memFree=129228368/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=114520 memory=88676 CPUtime=281.56 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 16579 0 0 0 27976 180 0 0 20 0 1 0 55957181 117268480 22169 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 28630 22169 1280 243 0 24879 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 114520 KiB
Current children cumulated memory: 88676 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/265 58486
/proc/meminfo: memFree=129170920/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=117072 memory=103024 CPUtime=341.41 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 17254 0 0 0 33936 205 0 0 20 0 1 0 55957181 119881728 25756 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 29268 25756 1280 243 0 25517 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 117072 KiB
Current children cumulated memory: 103024 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/265 58488
/proc/meminfo: memFree=129123244/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=162536 memory=146204 CPUtime=401.25 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 20914 0 0 0 39904 221 0 0 20 0 1 0 55957181 166436864 36551 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 40634 36551 1280 243 0 36883 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 162536 KiB
Current children cumulated memory: 146204 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/265 58492
/proc/meminfo: memFree=129005088/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=233752 memory=188612 CPUtime=461.09 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 25451 0 0 0 45873 236 0 0 20 0 1 0 55957181 239362048 47153 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 58438 47153 1280 243 0 54687 0
################
# More data... #
################
/proc/loadavg: 4.10 4.09 4.09 5/263 58657
/proc/meminfo: memFree=128020656/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=553456 memory=451848 CPUtime=2555.55 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 47589 0 0 0 255008 547 0 0 20 0 1 0 55957181 566738944 112962 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 138364 112962 1280 243 0 134613 0
Current children cumulated CPU time: 2555.55 s
Current children cumulated vsize: 553456 KiB
Current children cumulated memory: 451848 KiB
[startup+2622.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 58660
/proc/meminfo: memFree=127993968/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=558448 memory=481648 CPUtime=2615.41 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 48386 0 0 0 260987 554 0 0 20 0 1 0 55957181 571850752 120412 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 139612 120412 1280 243 0 135861 0
Current children cumulated CPU time: 2615.41 s
Current children cumulated vsize: 558448 KiB
Current children cumulated memory: 481648 KiB
[startup+2682.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 58667
/proc/meminfo: memFree=127971708/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=561328 memory=494056 CPUtime=2675.27 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 49269 0 0 0 266967 560 0 0 20 0 1 0 55957181 574799872 123514 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 140332 123514 1280 243 0 136581 0
Current children cumulated CPU time: 2675.27 s
Current children cumulated vsize: 561328 KiB
Current children cumulated memory: 494056 KiB
[startup+2742.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 58669
/proc/meminfo: memFree=127955896/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=561328 memory=494056 CPUtime=2735.12 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 49269 0 0 0 272947 565 0 0 20 0 1 0 55957181 574799872 123514 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 140332 123514 1280 243 0 136581 0
Current children cumulated CPU time: 2735.12 s
Current children cumulated vsize: 561328 KiB
Current children cumulated memory: 494056 KiB
[startup+2802.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 58671
/proc/meminfo: memFree=127951188/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=561328 memory=494056 CPUtime=2794.99 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 49337 0 0 0 278929 570 0 0 20 0 1 0 55957181 574799872 123514 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 140332 123514 1280 243 0 136581 0
Current children cumulated CPU time: 2794.99 s
Current children cumulated vsize: 561328 KiB
Current children cumulated memory: 494056 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 58673
/proc/meminfo: memFree=127957864/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=561328 memory=494056 CPUtime=2854.84 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 49346 0 0 0 284909 575 0 0 20 0 1 0 55957181 574799872 123514 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 140332 123514 1280 243 0 136581 0
Current children cumulated CPU time: 2854.84 s
Current children cumulated vsize: 561328 KiB
Current children cumulated memory: 494056 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/263 58677
/proc/meminfo: memFree=127928220/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=562236 memory=494696 CPUtime=2914.69 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 49513 0 0 0 290885 584 0 0 20 0 1 0 55957181 575729664 123674 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 140559 123674 1280 243 0 136808 0
Current children cumulated CPU time: 2914.69 s
Current children cumulated vsize: 562236 KiB
Current children cumulated memory: 494696 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 58679
/proc/meminfo: memFree=127923968/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=562236 memory=494824 CPUtime=2974.55 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 49541 0 0 0 296859 596 0 0 20 0 1 0 55957181 575729664 123706 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 140559 123706 1280 243 0 136808 0
Current children cumulated CPU time: 2974.55 s
Current children cumulated vsize: 562236 KiB
Current children cumulated memory: 494824 KiB
[startup+2993.16 s]
# the end of solver process 58463 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2979.4 s, system=5.99576 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2982.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 58679
/proc/meminfo: memFree=127923968/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=562236 memory=494824 CPUtime=2974.65 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 49541 0 0 0 296869 596 0 0 20 0 1 0 55957181 575729664 123706 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 140559 123706 1280 243 0 136808 0
Current children cumulated CPU time: 2974.65 s
Current children cumulated vsize: 562236 KiB
Current children cumulated memory: 494824 KiB
[startup+2988.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 58680
/proc/meminfo: memFree=127923832/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=562236 memory=494824 CPUtime=2981.04 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 49541 0 0 0 297506 598 0 0 20 0 1 0 55957181 575729664 123706 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 140559 123706 1280 243 0 136808 0
Current children cumulated CPU time: 2981.04 s
Current children cumulated vsize: 562236 KiB
Current children cumulated memory: 494824 KiB
[startup+2990.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 58680
/proc/meminfo: memFree=127923832/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=562236 memory=494824 CPUtime=2982.63 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 49541 0 0 0 297665 598 0 0 20 0 1 0 55957181 575729664 123706 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 140559 123706 1280 243 0 136808 0
Current children cumulated CPU time: 2982.63 s
Current children cumulated vsize: 562236 KiB
Current children cumulated memory: 494824 KiB
[startup+2992 s]*
/proc/loadavg: 4.10 4.09 4.09 5/262 58680
/proc/meminfo: memFree=127923832/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=562236 memory=494824 CPUtime=2984.23 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 49541 0 0 0 297825 598 0 0 20 0 1 0 55957181 575729664 123706 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 140559 123706 1280 243 0 136808 0
Current children cumulated CPU time: 2984.23 s
Current children cumulated vsize: 562236 KiB
Current children cumulated memory: 494824 KiB
[startup+2992.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 58680
/proc/meminfo: memFree=127923832/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=562236 memory=494824 CPUtime=2985.03 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 49541 0 0 0 297904 599 0 0 20 0 1 0 55957181 575729664 123706 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 140559 123706 1280 243 0 136808 0
Current children cumulated CPU time: 2985.03 s
Current children cumulated vsize: 562236 KiB
Current children cumulated memory: 494824 KiB
[startup+2993 s]*
/proc/loadavg: 4.10 4.09 4.09 5/262 58680
/proc/meminfo: memFree=127923832/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=562236 memory=494824 CPUtime=2985.23 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 49541 0 0 0 297924 599 0 0 20 0 1 0 55957181 575729664 123706 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 140559 123706 1280 243 0 136808 0
Current children cumulated CPU time: 2985.23 s
Current children cumulated vsize: 562236 KiB
Current children cumulated memory: 494824 KiB
[startup+2993.11 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 58680
/proc/meminfo: memFree=127923832/131249996 swapFree=33005272/33010684
[pid=58463] ppid=58457 vsize=562236 memory=494824 CPUtime=2985.33 cores=4,6
/proc/58463/stat : 58463 (pb-oll-rs) R 58457 58463 58030 0 -1 4194304 49541 0 0 0 297934 599 0 0 20 0 1 0 55957181 575729664 123706 18446744073709551615 4218880 5211445 140737120998304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21381120 140737121003932 140737121004009 140737121004009 140737121009611 0
/proc/58463/statm: 140559 123706 1280 243 0 136808 0
Current children cumulated CPU time: 2985.33 s
Current children cumulated vsize: 562236 KiB
Current children cumulated memory: 494824 KiB
Child status: 0
Real time (s): 2993.16
CPU time (s): 2985.39
CPU user time (s): 2979.4
CPU system time (s): 5.99576
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 562932
Max. memory (cumulated for all children) (KiB): 495312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2979.4
system time used= 5.99576
maximum resident set size= 495312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49552
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= 229
involuntary context switches= 2047
# summary of solver processes directly reported to runsolver:
# pid: 58463
# total CPU time (s): 2985.39
# total CPU user time (s): 2979.4
# total CPU system time (s): 5.99576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.75206 second user time and 13.371 second system time
The end
Begin job on nodeC023 at 2025-07-01 22:46:33
IDJOB=4497740
IDBENCH=148192
IDSOLVER=3345
FILE ID=nodeC023/4497740-1751402793
RUNJOBID= nodeC023-1751399181-58041
SLURM_JOB_ID= 9598285
Free space on /tmp= 433040 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
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 -w /tmp/evaluation-result-4497740-1751402793/watcher-4497740-1751402793 -o /tmp/evaluation-result-4497740-1751402793/solver-4497740-1751402793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58041 --watchdog 3760 pb-oll-rs HOME/instance-4497740-1751402793.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=1130387360
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.009
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.010
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.200
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3558.534
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3535.185
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3725.567
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.886
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.884
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130045608 kB
MemAvailable: 129785664 kB
Buffers: 1328 kB
Cached: 538280 kB
SwapCached: 408 kB
Active: 250328 kB
Inactive: 370164 kB
Active(anon): 39676 kB
Inactive(anon): 54636 kB
Active(file): 210652 kB
Inactive(file): 315528 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19636 kB
Writeback: 108 kB
AnonPages: 83272 kB
Mapped: 98800 kB
Shmem: 13400 kB
KReclaimable: 106228 kB
Slab: 194584 kB
SReclaimable: 106228 kB
SUnreclaim: 88356 kB
KernelStack: 4240 kB
PageTables: 3012 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 342220 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433040 MiB
End job on nodeC023 at 2025-07-01 23:36:27