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.04 c [STEP] solving
0.00/0.04 c #variables 7260 #constraints 2010
0.00/0.04 c SMALL=int, LARGE=long long
0.00/0.04 c bounds - >= -3600 @ 0.030677
0.00/0.04 c stratification level: 0
0.88/0.99 c bounds - >= -59 @ 0.219339
0.88/0.99 c finalizing WCE round: reformulating cores
11.45/11.57 c #Conflicts: 1000 | #Constraints: 3073
11.45/11.57 c bounds -29 >= -59 @ 1.27298
11.45/11.57 c #Conflicts: 2000 | #Constraints: 4073
11.45/11.57 c INPROCESSING
11.45/11.57 c GARBAGE COLLECT
11.45/11.57 c #Conflicts: 3000 | #Constraints: 4117
11.45/11.57 c #Conflicts: 4000 | #Constraints: 5117
11.45/11.57 c bounds -29 >= -58 @ 4.55779
11.45/11.57 c INPROCESSING
11.45/11.57 c GARBAGE COLLECT
11.45/11.57 c #Conflicts: 5000 | #Constraints: 4541
11.45/11.57 c #Conflicts: 6000 | #Constraints: 5541
11.45/11.57 c INPROCESSING
11.45/11.57 c GARBAGE COLLECT
11.45/11.57 c finalizing WCE round: reformulating cores
130.10/130.59 c #Conflicts: 7000 | #Constraints: 4553
130.10/130.59 c bounds -30 >= -58 @ 11.8159
130.10/130.59 c #Conflicts: 8000 | #Constraints: 5553
130.10/130.59 c #Conflicts: 9000 | #Constraints: 6553
130.10/130.59 c bounds -30 >= -57 @ 14.8456
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 10000 | #Constraints: 5239
130.10/130.59 c bounds -30 >= -56 @ 16.8139
130.10/130.59 c bounds -30 >= -55 @ 18.1298
130.10/130.59 c #Conflicts: 11000 | #Constraints: 6253
130.10/130.59 c bounds -30 >= -54 @ 18.918
130.10/130.59 c bounds -30 >= -53 @ 18.9946
130.10/130.59 c bounds -30 >= -52 @ 19.0386
130.10/130.59 c bounds -30 >= -51 @ 19.1637
130.10/130.59 c bounds -30 >= -50 @ 19.4539
130.10/130.59 c bounds -30 >= -49 @ 19.6168
130.10/130.59 c #Conflicts: 12000 | #Constraints: 7295
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c bounds -30 >= -48 @ 19.7567
130.10/130.59 c bounds -30 >= -47 @ 19.8228
130.10/130.59 c bounds -30 >= -46 @ 20.0034
130.10/130.59 c bounds -30 >= -45 @ 20.1416
130.10/130.59 c #Conflicts: 13000 | #Constraints: 5766
130.10/130.59 c bounds -30 >= -44 @ 20.3516
130.10/130.59 c #Conflicts: 14000 | #Constraints: 6773
130.10/130.59 c #Conflicts: 15000 | #Constraints: 7773
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 16000 | #Constraints: 5989
130.10/130.59 c #Conflicts: 17000 | #Constraints: 6989
130.10/130.59 c #Conflicts: 18000 | #Constraints: 7989
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 19000 | #Constraints: 6009
130.10/130.59 c #Conflicts: 20000 | #Constraints: 7009
130.10/130.59 c #Conflicts: 21000 | #Constraints: 8009
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 22000 | #Constraints: 5790
130.10/130.59 c #Conflicts: 23000 | #Constraints: 6790
130.10/130.59 c #Conflicts: 24000 | #Constraints: 7790
130.10/130.59 c #Conflicts: 25000 | #Constraints: 8790
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 26000 | #Constraints: 6377
130.10/130.59 c #Conflicts: 27000 | #Constraints: 7377
130.10/130.59 c #Conflicts: 28000 | #Constraints: 8377
130.10/130.59 c #Conflicts: 29000 | #Constraints: 9377
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 30000 | #Constraints: 6754
130.10/130.59 c #Conflicts: 31000 | #Constraints: 7754
130.10/130.59 c #Conflicts: 32000 | #Constraints: 8754
130.10/130.59 c #Conflicts: 33000 | #Constraints: 9754
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 34000 | #Constraints: 6958
130.10/130.59 c #Conflicts: 35000 | #Constraints: 7958
130.10/130.59 c #Conflicts: 36000 | #Constraints: 8958
130.10/130.59 c #Conflicts: 37000 | #Constraints: 9958
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 38000 | #Constraints: 6986
130.10/130.59 c #Conflicts: 39000 | #Constraints: 7986
130.10/130.59 c #Conflicts: 40000 | #Constraints: 8986
130.10/130.59 c #Conflicts: 41000 | #Constraints: 9986
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 42000 | #Constraints: 6775
130.10/130.59 c #Conflicts: 43000 | #Constraints: 7775
130.10/130.59 c #Conflicts: 44000 | #Constraints: 8775
130.10/130.59 c #Conflicts: 45000 | #Constraints: 9775
130.10/130.59 c #Conflicts: 46000 | #Constraints: 10775
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 47000 | #Constraints: 7356
130.10/130.59 c #Conflicts: 48000 | #Constraints: 8356
130.10/130.59 c #Conflicts: 49000 | #Constraints: 9356
130.10/130.59 c #Conflicts: 50000 | #Constraints: 10356
130.10/130.59 c #Conflicts: 51000 | #Constraints: 11356
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 52000 | #Constraints: 7815
130.10/130.59 c #Conflicts: 53000 | #Constraints: 8815
130.10/130.59 c #Conflicts: 54000 | #Constraints: 9815
130.10/130.59 c #Conflicts: 55000 | #Constraints: 10815
130.10/130.59 c #Conflicts: 56000 | #Constraints: 11815
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 57000 | #Constraints: 7976
130.10/130.59 c #Conflicts: 58000 | #Constraints: 8976
130.10/130.59 c #Conflicts: 59000 | #Constraints: 9976
130.10/130.59 c #Conflicts: 60000 | #Constraints: 10976
130.10/130.59 c #Conflicts: 61000 | #Constraints: 11976
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 62000 | #Constraints: 8018
130.10/130.59 c #Conflicts: 63000 | #Constraints: 9018
130.10/130.59 c #Conflicts: 64000 | #Constraints: 10018
130.10/130.59 c #Conflicts: 65000 | #Constraints: 11018
130.10/130.59 c #Conflicts: 66000 | #Constraints: 12018
130.10/130.59 c INPROCESSING
130.10/130.59 c GARBAGE COLLECT
130.10/130.59 c #Conflicts: 67000 | #Constraints: 7816
394.16/395.45 c #Conflicts: 68000 | #Constraints: 8816
394.16/395.45 c #Conflicts: 69000 | #Constraints: 9816
394.16/395.45 c #Conflicts: 70000 | #Constraints: 10816
394.16/395.45 c #Conflicts: 71000 | #Constraints: 11816
394.16/395.45 c #Conflicts: 72000 | #Constraints: 12816
394.16/395.45 c INPROCESSING
394.16/395.45 c GARBAGE COLLECT
394.16/395.45 c #Conflicts: 73000 | #Constraints: 8389
394.16/395.45 c #Conflicts: 74000 | #Constraints: 9389
394.16/395.45 c #Conflicts: 75000 | #Constraints: 10389
394.16/395.45 c #Conflicts: 76000 | #Constraints: 11389
394.16/395.45 c #Conflicts: 77000 | #Constraints: 12389
394.16/395.45 c #Conflicts: 78000 | #Constraints: 13389
394.16/395.45 c INPROCESSING
394.16/395.45 c GARBAGE COLLECT
394.16/395.45 c #Conflicts: 79000 | #Constraints: 8780
394.16/395.45 c #Conflicts: 80000 | #Constraints: 9780
394.16/395.45 c #Conflicts: 81000 | #Constraints: 10780
394.16/395.45 c #Conflicts: 82000 | #Constraints: 11780
394.16/395.45 c #Conflicts: 83000 | #Constraints: 12780
394.16/395.45 c #Conflicts: 84000 | #Constraints: 13780
394.16/395.45 c INPROCESSING
394.16/395.45 c GARBAGE COLLECT
394.16/395.45 c #Conflicts: 85000 | #Constraints: 8973
394.16/395.45 c #Conflicts: 86000 | #Constraints: 9973
394.16/395.45 c #Conflicts: 87000 | #Constraints: 10973
394.16/395.45 c #Conflicts: 88000 | #Constraints: 11973
394.16/395.45 c #Conflicts: 89000 | #Constraints: 12973
394.16/395.45 c #Conflicts: 90000 | #Constraints: 13973
394.16/395.45 c INPROCESSING
394.16/395.45 c GARBAGE COLLECT
394.16/395.45 c #Conflicts: 91000 | #Constraints: 8967
394.16/395.45 c #Conflicts: 92000 | #Constraints: 9967
394.16/395.45 c #Conflicts: 93000 | #Constraints: 10967
394.16/395.45 c #Conflicts: 94000 | #Constraints: 11967
394.16/395.45 c #Conflicts: 95000 | #Constraints: 12967
394.16/395.45 c #Conflicts: 96000 | #Constraints: 13967
394.16/395.45 c INPROCESSING
394.16/395.45 c GARBAGE COLLECT
394.16/395.45 c #Conflicts: 97000 | #Constraints: 8822
394.16/395.45 c #Conflicts: 98000 | #Constraints: 9822
394.16/395.45 c #Conflicts: 99000 | #Constraints: 10822
394.16/395.45 c #Conflicts: 100000 | #Constraints: 11822
394.16/395.45 c #Conflicts: 101000 | #Constraints: 12822
394.16/395.45 c #Conflicts: 102000 | #Constraints: 13822
394.16/395.45 c #Conflicts: 103000 | #Constraints: 14822
394.16/395.45 c INPROCESSING
394.16/395.45 c GARBAGE COLLECT
394.16/395.45 c #Conflicts: 104000 | #Constraints: 9389
394.16/395.45 c #Conflicts: 105000 | #Constraints: 10389
394.16/395.45 c #Conflicts: 106000 | #Constraints: 11389
394.16/395.45 c #Conflicts: 107000 | #Constraints: 12389
394.16/395.45 c #Conflicts: 108000 | #Constraints: 13389
394.16/395.45 c #Conflicts: 109000 | #Constraints: 14389
394.16/395.45 c #Conflicts: 110000 | #Constraints: 15389
394.16/395.45 c INPROCESSING
394.16/395.45 c GARBAGE COLLECT
394.16/395.45 c #Conflicts: 111000 | #Constraints: 9791
394.16/395.45 c #Conflicts: 112000 | #Constraints: 10791
394.16/395.45 c #Conflicts: 113000 | #Constraints: 11791
394.16/395.45 c #Conflicts: 114000 | #Constraints: 12791
394.16/395.45 c #Conflicts: 115000 | #Constraints: 13791
394.16/395.45 c #Conflicts: 116000 | #Constraints: 14791
394.16/395.45 c #Conflicts: 117000 | #Constraints: 15791
394.16/395.45 c INPROCESSING
394.16/395.45 c GARBAGE COLLECT
394.16/395.45 c #Conflicts: 118000 | #Constraints: 9968
394.16/395.45 c #Conflicts: 119000 | #Constraints: 10968
394.16/395.45 c #Conflicts: 120000 | #Constraints: 11968
394.16/395.45 c #Conflicts: 121000 | #Constraints: 12968
394.16/395.45 c #Conflicts: 122000 | #Constraints: 13968
394.16/395.45 c #Conflicts: 123000 | #Constraints: 14968
394.16/395.45 c #Conflicts: 124000 | #Constraints: 15968
394.16/395.45 c INPROCESSING
394.16/395.45 c GARBAGE COLLECT
394.16/395.45 c #Conflicts: 125000 | #Constraints: 9980
394.16/395.45 c #Conflicts: 126000 | #Constraints: 10980
394.16/395.45 c #Conflicts: 127000 | #Constraints: 11980
394.16/395.45 c #Conflicts: 128000 | #Constraints: 12980
394.16/395.45 c #Conflicts: 129000 | #Constraints: 13980
394.16/395.45 c #Conflicts: 130000 | #Constraints: 14980
394.16/395.45 c #Conflicts: 131000 | #Constraints: 15980
394.16/395.45 c INPROCESSING
394.16/395.45 c GARBAGE COLLECT
394.16/395.45 c #Conflicts: 132000 | #Constraints: 9778
394.16/395.45 c #Conflicts: 133000 | #Constraints: 10778
394.16/395.45 c #Conflicts: 134000 | #Constraints: 11778
394.16/395.45 c #Conflicts: 135000 | #Constraints: 12778
394.16/395.45 c #Conflicts: 136000 | #Constraints: 13778
394.16/395.45 c #Conflicts: 137000 | #Constraints: 14778
394.16/395.45 c #Conflicts: 138000 | #Constraints: 15778
394.16/395.45 c #Conflicts: 139000 | #Constraints: 16778
394.16/395.45 c INPROCESSING
862.60/865.47 c GARBAGE COLLECT
862.60/865.47 c #Conflicts: 140000 | #Constraints: 10368
862.60/865.47 c #Conflicts: 141000 | #Constraints: 11368
862.60/865.47 c #Conflicts: 142000 | #Constraints: 12368
862.60/865.47 c #Conflicts: 143000 | #Constraints: 13368
862.60/865.47 c #Conflicts: 144000 | #Constraints: 14368
862.60/865.47 c #Conflicts: 145000 | #Constraints: 15368
862.60/865.47 c #Conflicts: 146000 | #Constraints: 16368
862.60/865.47 c #Conflicts: 147000 | #Constraints: 17368
862.60/865.47 c INPROCESSING
862.60/865.47 c GARBAGE COLLECT
862.60/865.47 c #Conflicts: 148000 | #Constraints: 10811
862.60/865.47 c #Conflicts: 149000 | #Constraints: 11811
862.60/865.47 c #Conflicts: 150000 | #Constraints: 12811
862.60/865.47 c #Conflicts: 151000 | #Constraints: 13811
862.60/865.47 c #Conflicts: 152000 | #Constraints: 14811
862.60/865.47 c #Conflicts: 153000 | #Constraints: 15811
862.60/865.47 c #Conflicts: 154000 | #Constraints: 16811
862.60/865.47 c #Conflicts: 155000 | #Constraints: 17811
862.60/865.47 c INPROCESSING
862.60/865.47 c GARBAGE COLLECT
862.60/865.47 c #Conflicts: 156000 | #Constraints: 10988
862.60/865.47 c #Conflicts: 157000 | #Constraints: 11988
862.60/865.47 c #Conflicts: 158000 | #Constraints: 12988
862.60/865.47 c #Conflicts: 159000 | #Constraints: 13988
862.60/865.47 c #Conflicts: 160000 | #Constraints: 14988
862.60/865.47 c #Conflicts: 161000 | #Constraints: 15988
862.60/865.47 c #Conflicts: 162000 | #Constraints: 16988
862.60/865.47 c #Conflicts: 163000 | #Constraints: 17988
862.60/865.47 c INPROCESSING
862.60/865.47 c GARBAGE COLLECT
862.60/865.47 c #Conflicts: 164000 | #Constraints: 10989
862.60/865.47 c #Conflicts: 165000 | #Constraints: 11989
862.60/865.47 c #Conflicts: 166000 | #Constraints: 12989
862.60/865.47 c #Conflicts: 167000 | #Constraints: 13989
862.60/865.47 c #Conflicts: 168000 | #Constraints: 14989
862.60/865.47 c #Conflicts: 169000 | #Constraints: 15989
862.60/865.47 c #Conflicts: 170000 | #Constraints: 16989
862.60/865.47 c #Conflicts: 171000 | #Constraints: 17989
862.60/865.47 c INPROCESSING
862.60/865.47 c GARBAGE COLLECT
862.60/865.47 c #Conflicts: 172000 | #Constraints: 10782
862.60/865.47 c #Conflicts: 173000 | #Constraints: 11782
862.60/865.47 c #Conflicts: 174000 | #Constraints: 12782
862.60/865.47 c #Conflicts: 175000 | #Constraints: 13782
862.60/865.47 c #Conflicts: 176000 | #Constraints: 14782
862.60/865.47 c #Conflicts: 177000 | #Constraints: 15782
862.60/865.47 c #Conflicts: 178000 | #Constraints: 16782
862.60/865.47 c #Conflicts: 179000 | #Constraints: 17782
862.60/865.47 c #Conflicts: 180000 | #Constraints: 18782
862.60/865.47 c INPROCESSING
862.60/865.47 c GARBAGE COLLECT
862.60/865.47 c #Conflicts: 181000 | #Constraints: 11370
862.60/865.47 c #Conflicts: 182000 | #Constraints: 12370
862.60/865.47 c #Conflicts: 183000 | #Constraints: 13370
862.60/865.47 c #Conflicts: 184000 | #Constraints: 14370
862.60/865.47 c #Conflicts: 185000 | #Constraints: 15370
862.60/865.47 c #Conflicts: 186000 | #Constraints: 16370
862.60/865.47 c #Conflicts: 187000 | #Constraints: 17370
862.60/865.47 c #Conflicts: 188000 | #Constraints: 18370
862.60/865.47 c #Conflicts: 189000 | #Constraints: 19370
862.60/865.47 c INPROCESSING
862.60/865.47 c GARBAGE COLLECT
862.60/865.47 c #Conflicts: 190000 | #Constraints: 11773
862.60/865.47 c #Conflicts: 191000 | #Constraints: 12773
862.60/865.47 c #Conflicts: 192000 | #Constraints: 13773
862.60/865.47 c #Conflicts: 193000 | #Constraints: 14773
862.60/865.47 c #Conflicts: 194000 | #Constraints: 15773
862.60/865.47 c #Conflicts: 195000 | #Constraints: 16773
862.60/865.47 c #Conflicts: 196000 | #Constraints: 17773
862.60/865.47 c #Conflicts: 197000 | #Constraints: 18773
862.60/865.47 c #Conflicts: 198000 | #Constraints: 19773
862.60/865.47 c INPROCESSING
862.60/865.47 c GARBAGE COLLECT
862.60/865.47 c #Conflicts: 199000 | #Constraints: 11976
862.60/865.47 c #Conflicts: 200000 | #Constraints: 12976
862.60/865.47 c #Conflicts: 201000 | #Constraints: 13976
862.60/865.47 c #Conflicts: 202000 | #Constraints: 14976
862.60/865.47 c #Conflicts: 203000 | #Constraints: 15976
862.60/865.47 c #Conflicts: 204000 | #Constraints: 16976
862.60/865.47 c #Conflicts: 205000 | #Constraints: 17976
862.60/865.47 c #Conflicts: 206000 | #Constraints: 18976
862.60/865.47 c #Conflicts: 207000 | #Constraints: 19976
862.60/865.47 c INPROCESSING
862.60/865.47 c GARBAGE COLLECT
862.60/865.47 c #Conflicts: 208000 | #Constraints: 12028
862.60/865.47 c #Conflicts: 209000 | #Constraints: 13028
862.60/865.47 c #Conflicts: 210000 | #Constraints: 14028
862.60/865.47 c #Conflicts: 211000 | #Constraints: 15028
862.60/865.47 c #Conflicts: 212000 | #Constraints: 16028
862.60/865.47 c #Conflicts: 213000 | #Constraints: 17028
1535.42/1540.29 c #Conflicts: 214000 | #Constraints: 18028
1535.42/1540.29 c #Conflicts: 215000 | #Constraints: 19028
1535.42/1540.29 c #Conflicts: 216000 | #Constraints: 20028
1535.42/1540.29 c INPROCESSING
1535.42/1540.29 c GARBAGE COLLECT
1535.42/1540.29 c #Conflicts: 217000 | #Constraints: 11816
1535.42/1540.29 c #Conflicts: 218000 | #Constraints: 12816
1535.42/1540.29 c #Conflicts: 219000 | #Constraints: 13816
1535.42/1540.29 c #Conflicts: 220000 | #Constraints: 14816
1535.42/1540.29 c #Conflicts: 221000 | #Constraints: 15816
1535.42/1540.29 c #Conflicts: 222000 | #Constraints: 16816
1535.42/1540.29 c #Conflicts: 223000 | #Constraints: 17816
1535.42/1540.29 c #Conflicts: 224000 | #Constraints: 18816
1535.42/1540.29 c #Conflicts: 225000 | #Constraints: 19816
1535.42/1540.29 c #Conflicts: 226000 | #Constraints: 20816
1535.42/1540.29 c INPROCESSING
1535.42/1540.29 c GARBAGE COLLECT
1535.42/1540.29 c #Conflicts: 227000 | #Constraints: 12406
1535.42/1540.29 c #Conflicts: 228000 | #Constraints: 13406
1535.42/1540.29 c #Conflicts: 229000 | #Constraints: 14406
1535.42/1540.29 c #Conflicts: 230000 | #Constraints: 15406
1535.42/1540.29 c #Conflicts: 231000 | #Constraints: 16406
1535.42/1540.29 c #Conflicts: 232000 | #Constraints: 17406
1535.42/1540.29 c #Conflicts: 233000 | #Constraints: 18406
1535.42/1540.29 c #Conflicts: 234000 | #Constraints: 19406
1535.42/1540.29 c #Conflicts: 235000 | #Constraints: 20406
1535.42/1540.29 c #Conflicts: 236000 | #Constraints: 21406
1535.42/1540.29 c INPROCESSING
1535.42/1540.29 c GARBAGE COLLECT
1535.42/1540.29 c #Conflicts: 237000 | #Constraints: 12796
1535.42/1540.29 c #Conflicts: 238000 | #Constraints: 13796
1535.42/1540.29 c #Conflicts: 239000 | #Constraints: 14796
1535.42/1540.29 c #Conflicts: 240000 | #Constraints: 15796
1535.42/1540.29 c #Conflicts: 241000 | #Constraints: 16796
1535.42/1540.29 c #Conflicts: 242000 | #Constraints: 17796
1535.42/1540.29 c #Conflicts: 243000 | #Constraints: 18796
1535.42/1540.29 c #Conflicts: 244000 | #Constraints: 19796
1535.42/1540.29 c #Conflicts: 245000 | #Constraints: 20796
1535.42/1540.29 c #Conflicts: 246000 | #Constraints: 21796
1535.42/1540.29 c INPROCESSING
1535.42/1540.29 c GARBAGE COLLECT
1535.42/1540.29 c #Conflicts: 247000 | #Constraints: 13003
1535.42/1540.29 c #Conflicts: 248000 | #Constraints: 14003
1535.42/1540.29 c #Conflicts: 249000 | #Constraints: 15003
1535.42/1540.29 c #Conflicts: 250000 | #Constraints: 16003
1535.42/1540.29 c #Conflicts: 251000 | #Constraints: 17003
1535.42/1540.29 c #Conflicts: 252000 | #Constraints: 18003
1535.42/1540.29 c #Conflicts: 253000 | #Constraints: 19003
1535.42/1540.29 c #Conflicts: 254000 | #Constraints: 20003
1535.42/1540.29 c #Conflicts: 255000 | #Constraints: 21003
1535.42/1540.29 c #Conflicts: 256000 | #Constraints: 22003
1535.42/1540.29 c INPROCESSING
1535.42/1540.29 c GARBAGE COLLECT
1535.42/1540.29 c #Conflicts: 257000 | #Constraints: 12982
1535.42/1540.29 c #Conflicts: 258000 | #Constraints: 13982
1535.42/1540.29 c #Conflicts: 259000 | #Constraints: 14982
1535.42/1540.29 c #Conflicts: 260000 | #Constraints: 15982
1535.42/1540.29 c #Conflicts: 261000 | #Constraints: 16982
1535.42/1540.29 c #Conflicts: 262000 | #Constraints: 17982
1535.42/1540.29 c #Conflicts: 263000 | #Constraints: 18982
1535.42/1540.29 c #Conflicts: 264000 | #Constraints: 19982
1535.42/1540.29 c #Conflicts: 265000 | #Constraints: 20982
1535.42/1540.29 c #Conflicts: 266000 | #Constraints: 21982
1535.42/1540.29 c INPROCESSING
1535.42/1540.29 c GARBAGE COLLECT
1535.42/1540.29 c #Conflicts: 267000 | #Constraints: 12768
1535.42/1540.29 c #Conflicts: 268000 | #Constraints: 13768
1535.42/1540.29 c #Conflicts: 269000 | #Constraints: 14768
1535.42/1540.29 c #Conflicts: 270000 | #Constraints: 15768
1535.42/1540.29 c #Conflicts: 271000 | #Constraints: 16768
1535.42/1540.29 c #Conflicts: 272000 | #Constraints: 17768
1535.42/1540.29 c #Conflicts: 273000 | #Constraints: 18768
1535.42/1540.29 c #Conflicts: 274000 | #Constraints: 19768
1535.42/1540.29 c #Conflicts: 275000 | #Constraints: 20768
1535.42/1540.29 c #Conflicts: 276000 | #Constraints: 21768
1535.42/1540.29 c #Conflicts: 277000 | #Constraints: 22768
1535.42/1540.29 c INPROCESSING
1535.42/1540.29 c GARBAGE COLLECT
1535.42/1540.29 c #Conflicts: 278000 | #Constraints: 13371
1535.42/1540.29 c #Conflicts: 279000 | #Constraints: 14371
1535.42/1540.29 c #Conflicts: 280000 | #Constraints: 15371
1535.42/1540.29 c #Conflicts: 281000 | #Constraints: 16371
1535.42/1540.29 c #Conflicts: 282000 | #Constraints: 17371
1535.42/1540.29 c #Conflicts: 283000 | #Constraints: 18371
1535.42/1540.29 c #Conflicts: 284000 | #Constraints: 19371
1535.42/1540.29 c #Conflicts: 285000 | #Constraints: 20371
1535.42/1540.29 c #Conflicts: 286000 | #Constraints: 21371
1535.42/1540.29 c #Conflicts: 287000 | #Constraints: 22371
2265.38/2272.37 c #Conflicts: 288000 | #Constraints: 23371
2265.38/2272.37 c INPROCESSING
2265.38/2272.37 c GARBAGE COLLECT
2265.38/2272.37 c #Conflicts: 289000 | #Constraints: 13766
2265.38/2272.37 c #Conflicts: 290000 | #Constraints: 14766
2265.38/2272.37 c #Conflicts: 291000 | #Constraints: 15766
2265.38/2272.37 c #Conflicts: 292000 | #Constraints: 16766
2265.38/2272.37 c #Conflicts: 293000 | #Constraints: 17766
2265.38/2272.37 c #Conflicts: 294000 | #Constraints: 18766
2265.38/2272.37 c #Conflicts: 295000 | #Constraints: 19766
2265.38/2272.37 c #Conflicts: 296000 | #Constraints: 20766
2265.38/2272.37 c #Conflicts: 297000 | #Constraints: 21766
2265.38/2272.37 c #Conflicts: 298000 | #Constraints: 22766
2265.38/2272.37 c #Conflicts: 299000 | #Constraints: 23766
2265.38/2272.37 c INPROCESSING
2265.38/2272.37 c GARBAGE COLLECT
2265.38/2272.37 c #Conflicts: 300000 | #Constraints: 13962
2265.38/2272.37 c #Conflicts: 301000 | #Constraints: 14962
2265.38/2272.37 c #Conflicts: 302000 | #Constraints: 15962
2265.38/2272.37 c #Conflicts: 303000 | #Constraints: 16962
2265.38/2272.37 c #Conflicts: 304000 | #Constraints: 17962
2265.38/2272.37 c #Conflicts: 305000 | #Constraints: 18962
2265.38/2272.37 c #Conflicts: 306000 | #Constraints: 19962
2265.38/2272.37 c #Conflicts: 307000 | #Constraints: 20962
2265.38/2272.37 c #Conflicts: 308000 | #Constraints: 21962
2265.38/2272.37 c #Conflicts: 309000 | #Constraints: 22962
2265.38/2272.37 c #Conflicts: 310000 | #Constraints: 23962
2265.38/2272.37 c INPROCESSING
2265.38/2272.37 c GARBAGE COLLECT
2265.38/2272.37 c #Conflicts: 311000 | #Constraints: 13975
2265.38/2272.37 c #Conflicts: 312000 | #Constraints: 14975
2265.38/2272.37 c #Conflicts: 313000 | #Constraints: 15975
2265.38/2272.37 c #Conflicts: 314000 | #Constraints: 16975
2265.38/2272.37 c #Conflicts: 315000 | #Constraints: 17975
2265.38/2272.37 c #Conflicts: 316000 | #Constraints: 18975
2265.38/2272.37 c #Conflicts: 317000 | #Constraints: 19975
2265.38/2272.37 c #Conflicts: 318000 | #Constraints: 20975
2265.38/2272.37 c #Conflicts: 319000 | #Constraints: 21975
2265.38/2272.37 c #Conflicts: 320000 | #Constraints: 22975
2265.38/2272.37 c #Conflicts: 321000 | #Constraints: 23975
2265.38/2272.37 c INPROCESSING
2265.38/2272.37 c GARBAGE COLLECT
2265.38/2272.37 c #Conflicts: 322000 | #Constraints: 13787
2265.38/2272.37 c #Conflicts: 323000 | #Constraints: 14787
2265.38/2272.37 c #Conflicts: 324000 | #Constraints: 15787
2265.38/2272.37 c #Conflicts: 325000 | #Constraints: 16787
2265.38/2272.37 c #Conflicts: 326000 | #Constraints: 17787
2265.38/2272.37 c #Conflicts: 327000 | #Constraints: 18787
2265.38/2272.37 c #Conflicts: 328000 | #Constraints: 19787
2265.38/2272.37 c #Conflicts: 329000 | #Constraints: 20787
2265.38/2272.37 c #Conflicts: 330000 | #Constraints: 21787
2265.38/2272.37 c #Conflicts: 331000 | #Constraints: 22787
2265.38/2272.37 c #Conflicts: 332000 | #Constraints: 23787
2265.38/2272.37 c #Conflicts: 333000 | #Constraints: 24787
2265.38/2272.37 c INPROCESSING
2265.38/2272.37 c GARBAGE COLLECT
2265.38/2272.37 c #Conflicts: 334000 | #Constraints: 14371
2265.38/2272.37 c #Conflicts: 335000 | #Constraints: 15371
2265.38/2272.37 c #Conflicts: 336000 | #Constraints: 16371
2265.38/2272.37 c #Conflicts: 337000 | #Constraints: 17371
2265.38/2272.37 c #Conflicts: 338000 | #Constraints: 18371
2265.38/2272.37 c #Conflicts: 339000 | #Constraints: 19371
2265.38/2272.37 c #Conflicts: 340000 | #Constraints: 20371
2265.38/2272.37 c #Conflicts: 341000 | #Constraints: 21371
2265.38/2272.37 c #Conflicts: 342000 | #Constraints: 22371
2265.38/2272.37 c #Conflicts: 343000 | #Constraints: 23371
2265.38/2272.37 c #Conflicts: 344000 | #Constraints: 24371
2265.38/2272.37 c #Conflicts: 345000 | #Constraints: 25371
2265.38/2272.37 c INPROCESSING
2265.38/2272.37 c GARBAGE COLLECT
2265.38/2272.37 c #Conflicts: 346000 | #Constraints: 14771
2265.38/2272.37 c #Conflicts: 347000 | #Constraints: 15771
2265.38/2272.37 c #Conflicts: 348000 | #Constraints: 16771
2265.38/2272.37 c #Conflicts: 349000 | #Constraints: 17771
2265.38/2272.37 c #Conflicts: 350000 | #Constraints: 18771
2265.38/2272.37 c #Conflicts: 351000 | #Constraints: 19771
2265.38/2272.37 c #Conflicts: 352000 | #Constraints: 20771
2265.38/2272.37 c #Conflicts: 353000 | #Constraints: 21771
2265.38/2272.37 c #Conflicts: 354000 | #Constraints: 22771
2265.38/2272.37 c #Conflicts: 355000 | #Constraints: 23771
2265.38/2272.37 c #Conflicts: 356000 | #Constraints: 24771
2265.38/2272.37 c #Conflicts: 357000 | #Constraints: 25771
2265.38/2272.37 c INPROCESSING
2265.38/2272.37 c GARBAGE COLLECT
2265.38/2272.37 c #Conflicts: 358000 | #Constraints: 14966
2265.38/2272.37 c #Conflicts: 359000 | #Constraints: 15966
2265.38/2272.37 c #Conflicts: 360000 | #Constraints: 16966
2265.38/2272.37 c #Conflicts: 361000 | #Constraints: 17966
3107.54/3117.03 c #Conflicts: 362000 | #Constraints: 18966
3107.54/3117.03 c #Conflicts: 363000 | #Constraints: 19966
3107.54/3117.03 c #Conflicts: 364000 | #Constraints: 20966
3107.54/3117.03 c #Conflicts: 365000 | #Constraints: 21966
3107.54/3117.03 c #Conflicts: 366000 | #Constraints: 22966
3107.54/3117.03 c #Conflicts: 367000 | #Constraints: 23966
3107.54/3117.03 c #Conflicts: 368000 | #Constraints: 24966
3107.54/3117.03 c #Conflicts: 369000 | #Constraints: 25966
3107.54/3117.03 c INPROCESSING
3107.54/3117.03 c GARBAGE COLLECT
3107.54/3117.03 c #Conflicts: 370000 | #Constraints: 15026
3107.54/3117.03 c #Conflicts: 371000 | #Constraints: 16026
3107.54/3117.03 c #Conflicts: 372000 | #Constraints: 17026
3107.54/3117.03 c #Conflicts: 373000 | #Constraints: 18026
3107.54/3117.03 c #Conflicts: 374000 | #Constraints: 19026
3107.54/3117.03 c #Conflicts: 375000 | #Constraints: 20026
3107.54/3117.03 c #Conflicts: 376000 | #Constraints: 21026
3107.54/3117.03 c #Conflicts: 377000 | #Constraints: 22026
3107.54/3117.03 c #Conflicts: 378000 | #Constraints: 23026
3107.54/3117.03 c #Conflicts: 379000 | #Constraints: 24026
3107.54/3117.03 c #Conflicts: 380000 | #Constraints: 25026
3107.54/3117.03 c #Conflicts: 381000 | #Constraints: 26026
3107.54/3117.03 c INPROCESSING
3107.54/3117.03 c GARBAGE COLLECT
3107.54/3117.03 c #Conflicts: 382000 | #Constraints: 14796
3107.54/3117.03 c #Conflicts: 383000 | #Constraints: 15796
3107.54/3117.03 c #Conflicts: 384000 | #Constraints: 16796
3107.54/3117.03 c #Conflicts: 385000 | #Constraints: 17796
3107.54/3117.03 c #Conflicts: 386000 | #Constraints: 18796
3107.54/3117.03 c #Conflicts: 387000 | #Constraints: 19796
3107.54/3117.03 c #Conflicts: 388000 | #Constraints: 20796
3107.54/3117.03 c #Conflicts: 389000 | #Constraints: 21796
3107.54/3117.03 c #Conflicts: 390000 | #Constraints: 22796
3107.54/3117.03 c #Conflicts: 391000 | #Constraints: 23796
3107.54/3117.03 c #Conflicts: 392000 | #Constraints: 24796
3107.54/3117.03 c #Conflicts: 393000 | #Constraints: 25796
3107.54/3117.03 c #Conflicts: 394000 | #Constraints: 26796
3107.54/3117.03 c INPROCESSING
3107.54/3117.03 c GARBAGE COLLECT
3107.54/3117.03 c #Conflicts: 395000 | #Constraints: 15386
3107.54/3117.03 c #Conflicts: 396000 | #Constraints: 16386
3107.54/3117.03 c #Conflicts: 397000 | #Constraints: 17386
3107.54/3117.03 c #Conflicts: 398000 | #Constraints: 18386
3107.54/3117.03 c #Conflicts: 399000 | #Constraints: 19386
3107.54/3117.03 c #Conflicts: 400000 | #Constraints: 20386
3107.54/3117.03 c #Conflicts: 401000 | #Constraints: 21386
3107.54/3117.03 c #Conflicts: 402000 | #Constraints: 22386
3107.54/3117.03 c #Conflicts: 403000 | #Constraints: 23386
3107.54/3117.03 c #Conflicts: 404000 | #Constraints: 24386
3107.54/3117.03 c #Conflicts: 405000 | #Constraints: 25386
3107.54/3117.03 c #Conflicts: 406000 | #Constraints: 26386
3107.54/3117.03 c #Conflicts: 407000 | #Constraints: 27386
3107.54/3117.03 c INPROCESSING
3107.54/3117.03 c GARBAGE COLLECT
3107.54/3117.03 c #Conflicts: 408000 | #Constraints: 15768
3107.54/3117.03 c #Conflicts: 409000 | #Constraints: 16768
3107.54/3117.03 c #Conflicts: 410000 | #Constraints: 17768
3107.54/3117.03 c #Conflicts: 411000 | #Constraints: 18768
3107.54/3117.03 c #Conflicts: 412000 | #Constraints: 19768
3107.54/3117.03 c #Conflicts: 413000 | #Constraints: 20768
3107.54/3117.03 c #Conflicts: 414000 | #Constraints: 21768
3107.54/3117.03 c #Conflicts: 415000 | #Constraints: 22768
3107.54/3117.03 c #Conflicts: 416000 | #Constraints: 23768
3107.54/3117.03 c #Conflicts: 417000 | #Constraints: 24768
3107.54/3117.03 c #Conflicts: 418000 | #Constraints: 25768
3107.54/3117.03 c #Conflicts: 419000 | #Constraints: 26768
3107.54/3117.03 c #Conflicts: 420000 | #Constraints: 27768
3107.54/3117.03 c INPROCESSING
3107.54/3117.03 c GARBAGE COLLECT
3107.54/3117.03 c #Conflicts: 421000 | #Constraints: 15975
3107.54/3117.03 c #Conflicts: 422000 | #Constraints: 16975
3107.54/3117.03 c #Conflicts: 423000 | #Constraints: 17975
3107.54/3117.03 c #Conflicts: 424000 | #Constraints: 18975
3107.54/3117.03 c #Conflicts: 425000 | #Constraints: 19975
3107.54/3117.03 c #Conflicts: 426000 | #Constraints: 20975
3107.54/3117.03 c #Conflicts: 427000 | #Constraints: 21975
3107.54/3117.03 c #Conflicts: 428000 | #Constraints: 22975
3107.54/3117.03 c #Conflicts: 429000 | #Constraints: 23975
3107.54/3117.03 c #Conflicts: 430000 | #Constraints: 24975
3107.54/3117.03 c #Conflicts: 431000 | #Constraints: 25975
3107.54/3117.03 c #Conflicts: 432000 | #Constraints: 26975
3107.54/3117.03 c #Conflicts: 433000 | #Constraints: 27975
3107.54/3117.03 c INPROCESSING
3107.54/3117.03 c GARBAGE COLLECT
3107.54/3117.03 c #Conflicts: 434000 | #Constraints: 15978
3107.54/3117.03 c #Conflicts: 435000 | #Constraints: 16978
3107.54/3117.03 c #Conflicts: 436000 | #Constraints: 17978
3600.01/3611.02 c #Conflicts: 437000 | #Constraints: 18978
3600.01/3611.02 c #Conflicts: 438000 | #Constraints: 19978
3600.01/3611.02 c #Conflicts: 439000 | #Constraints: 20978
3600.01/3611.02 c #Conflicts: 440000 | #Constraints: 21978
3600.01/3611.02 c #Conflicts: 441000 | #Constraints: 22978
3600.01/3611.02 c #Conflicts: 442000 | #Constraints: 23978
3600.01/3611.02 c #Conflicts: 443000 | #Constraints: 24978
3600.01/3611.02 c #Conflicts: 444000 | #Constraints: 25978
3600.01/3611.02 c #Conflicts: 445000 | #Constraints: 26978
3600.01/3611.02 c #Conflicts: 446000 | #Constraints: 27978
3600.01/3611.02 c INPROCESSING
3600.01/3611.02 c GARBAGE COLLECT
3600.01/3611.02 c #Conflicts: 447000 | #Constraints: 15811
3600.01/3611.02 c #Conflicts: 448000 | #Constraints: 16811
3600.01/3611.02 c #Conflicts: 449000 | #Constraints: 17811
3600.01/3611.02 c #Conflicts: 450000 | #Constraints: 18811
3600.01/3611.02 c #Conflicts: 451000 | #Constraints: 19811
3600.01/3611.02 c #Conflicts: 452000 | #Constraints: 20811
3600.01/3611.02 c #Conflicts: 453000 | #Constraints: 21811
3600.01/3611.02 c #Conflicts: 454000 | #Constraints: 22811
3600.01/3611.02 c #Conflicts: 455000 | #Constraints: 23811
3600.01/3611.02 c #Conflicts: 456000 | #Constraints: 24811
3600.01/3611.02 c #Conflicts: 457000 | #Constraints: 25811
3600.01/3611.02 c #Conflicts: 458000 | #Constraints: 26811
3600.01/3611.02 c #Conflicts: 459000 | #Constraints: 27811
3600.01/3611.02 c #Conflicts: 460000 | #Constraints: 28811
3600.01/3611.02 c INPROCESSING
3600.01/3611.02 c GARBAGE COLLECT
3600.01/3611.02 c #Conflicts: 461000 | #Constraints: 16407
3600.01/3611.02 c #Conflicts: 462000 | #Constraints: 17407
3600.01/3611.02 c #Conflicts: 463000 | #Constraints: 18407
3600.01/3611.02 c #Conflicts: 464000 | #Constraints: 19407
3600.01/3611.02 c #Conflicts: 465000 | #Constraints: 20407
3600.01/3611.02 c #Conflicts: 466000 | #Constraints: 21407
3600.01/3611.02 c #Conflicts: 467000 | #Constraints: 22407
3600.01/3611.02 c Program interrupted by user.
3600.01/3611.02 c cpu time 3579.14 s
3600.01/3611.02 c deterministic time 869686749127 8.70e+11
3600.01/3611.02 c optimization time 106.288 s
3600.01/3611.02 c total solve time 3472.83 s
3600.01/3611.02 c core-guided solve time 3472.83 s
3600.01/3611.02 c propagation time 3110.11 s
3600.01/3611.02 c conflict analysis time 405.625 s
3600.01/3611.02 c propagations 46129510
3600.01/3611.02 c resolve steps 2232215
3600.01/3611.02 c decisions 21615608
3600.01/3611.02 c conflicts 467811
3600.01/3611.02 c restarts 1022
3600.01/3611.02 c inprocessing phases 59
3600.01/3611.02 c input clauses 1949
3600.01/3611.02 c input cardinalities 139
3600.01/3611.02 c input general constraints 91
3600.01/3611.02 c input average constraint length 40.02
3600.01/3611.02 c input average constraint degree 31.61
3600.01/3611.02 c learned clauses 126295
3600.01/3611.02 c learned cardinalities 87935
3600.01/3611.02 c learned general constraints 253580
3600.01/3611.02 c learned average constraint length 3133.68
3600.01/3611.02 c learned average constraint degree 8714099.27
3600.01/3611.02 c watched constraints 239301
3600.01/3611.02 c counting constraints 14370
3600.01/3611.02 c gcd simplifications 13577
3600.01/3611.02 c detected cardinalities 46029
3600.01/3611.02 c weakened non-implied lits 9631772
3600.01/3611.02 c weakened non-implying lits 3254
3600.01/3611.02 c original variables 7260
3600.01/3611.02 c clausal propagations 3630112
3600.01/3611.02 c cardinality propagations 9287752
3600.01/3611.02 c watched propagations 6448675
3600.01/3611.02 c counting propagations 25532223
3600.01/3611.02 c watch lookups 29434865090
3600.01/3611.02 c watch backjump lookups 25541755165
3600.01/3611.02 c watch checks 767737197755
3600.01/3611.02 c propagation checks 41886182465
3600.01/3611.02 c constraint additions 4950794265
3600.01/3611.02 c trail pops 68209268
3600.01/3611.02 c formula constraints 2010
3600.01/3611.02 c learned constraints 467810
3600.01/3611.02 c bound constraints 18
3600.01/3611.02 c core-guided constraints 151
3600.01/3611.02 c encountered formula constraints 1013326
3600.01/3611.02 c encountered learned constraints 1669952
3600.01/3611.02 c encountered bound constraints 1434
3600.01/3611.02 c encountered core-guided constraints 15314
3600.01/3611.02 c LP total time 0 s
3600.01/3611.02 c LP solve time 0 s
3600.01/3611.02 c LP constraints added 0
3600.01/3611.02 c LP constraints removed 0
3600.01/3611.02 c LP pivots internal 0
3600.01/3611.02 c LP pivots root 0
3600.01/3611.02 c LP calls 0
3600.01/3611.02 c LP optimalities 0
3600.01/3611.02 c LP no pivot count 0
3600.01/3611.02 c LP infeasibilities 0
3600.01/3611.02 c LP valid Farkas constraints 0
3600.01/3611.02 c LP learned Farkas constraints 0
3600.01/3611.02 c LP basis resets 0
3600.01/3611.02 c LP cycling count 0
3600.01/3611.02 c LP singular count 0
3600.01/3611.02 c LP no primal count 0
3600.01/3611.02 c LP no farkas count 0
3600.01/3611.02 c LP other issue count 0
3600.01/3611.02 c LP Gomory cuts 0
3600.01/3611.02 c LP learned cuts 0
3600.01/3611.02 c LP deleted cuts 0
3600.01/3611.02 c LP encountered Gomory constraints 0
3600.01/3611.02 c LP encountered Farkas constraints 0
3600.01/3611.02 c LP encountered learned Farkas constraints 0
3600.01/3611.02 c CG auxiliary variables introduced 91
3600.01/3611.02 c CG solutions found 2
3600.01/3611.02 c CG cores constructed 16
3600.01/3611.02 c CG core cardinality constraints returned 0
3600.01/3611.02 c CG unit cores 0
3600.01/3611.02 c CG single cores 16
3600.01/3611.02 c CG blocks removed during cardinality reduction 0
3600.01/3611.02 c CG first core best 0
3600.01/3611.02 c CG decision core best 0
3600.01/3611.02 c CG core reduction tie 0
3600.01/3611.02 c CG core degree average 1.00
3600.01/3611.02 c CG core slack average 4.56
3600.01/3611.02 c CG exhausted 0
3600.01/3611.02 c CG exhaust time 1.51132 s
3600.01/3611.02 c CG trimmed 0
3600.01/3611.02 c CG trim time 0.001843 s
3600.01/3611.02 c CG minimized 0
3600.01/3611.02 c CG minimize time 0 s
3600.01/3611.02 c CG am1 prop time 0.037271 s
3600.01/3611.02 c CG # am1s reformulated 60
3600.01/3611.02 c CG lower bound derived from am1s 3540
3600.01/3611.02 c CG # clausal cores 16
3600.01/3611.02 c CG # cardinality cores 0
3600.01/3611.02 c CG # pb cores 0
3600.01/3611.02 c CG # pb reforms 0
3600.01/3611.02 c CG # cores discarded because of pb reform 0
3600.01/3611.02 d LOWERBOUND -44
3600.01/3611.02 d NCORES 16
3600.01/3611.02 d NPBCORES 0
3600.01/3611.02 d NPBREFORM 0
3600.01/3611.02 d NTRIMMED 0
3600.01/3611.02 d NEXHAUSTED 0
3600.01/3611.02 d NAM1S 60
3600.01/3611.02 d AM1LB 3540
3600.01/3611.02 o -30
3600.01/3611.02 s SATISFIABLE
3600.01/3611.02 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 x472 x473 -x474 x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 -x3093 x3094 -x3095 -x3096 x3097 -x3098 x3099 -x3100 -x3101 -x3102 x3103 -x3104 x3105 -x3106 x3107 -x3108 x3109 -x3110 x3111 -x3112 -x3113 x3114 -x3115 x3116 -x3117 x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 x4118 -x4119 -x4120 x4121 -x4122 -x4123 x4124 -x4125 -x4126 -x4127 x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 -x4135 x4136 x4137 x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 x4810 x4811 -x4812 -x4813 -x4814 -x4815 -x4816 x4817 -x4818 -x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 x4828 x4829 x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 x5009 -x5010 -x5011 -x5012 x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 x6809 -x6810 -x6811 -x6812 x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 x7227 -x7228 -x7229 x7230 x7231 x7232 x7233 x7234 -x7235 x7236 x7237 x7238 x7239 x7240 -x7241 x7242 x7243 x7244 x7245 x7246 x7247 x7248 x7249 x7250 x7251 x7252 x7253 x7254 x7255 x7256 x7257 x7258 x7259 x7260
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: 63837 MiB (62791 MiB free)
memory of node 1: 64465 MiB (63559 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519878-1751557389/watcher-4519878-1751557389 -o /tmp/evaluation-result-4519878-1751557389/solver-4519878-1751557389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76164 --watchdog 3760 pb-oll-rs HOME/instance-4519878-1751557389.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=77972, runsolver pid=77969
[startup+0.100106 s]*
/proc/loadavg: 4.23 4.20 4.19 5/250 77973
/proc/meminfo: memFree=129383276/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=27952 memory=13400 CPUtime=0.09 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 2403 0 0 0 8 1 0 0 20 0 1 0 71417980 28622848 3350 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 6988 3350 1248 243 0 3237 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 13400 KiB
[startup+0.21327 s]*
/proc/loadavg: 4.23 4.20 4.19 5/250 77973
/proc/meminfo: memFree=129383276/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=31708 memory=17112 CPUtime=0.21 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 3254 0 0 0 17 4 0 0 20 0 1 0 71417980 32468992 4278 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 7927 4278 1312 243 0 4176 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31708 KiB
Current children cumulated memory: 17112 KiB
[startup+0.313181 s]*
/proc/loadavg: 4.23 4.20 4.19 5/250 77973
/proc/meminfo: memFree=129383276/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=31708 memory=17112 CPUtime=0.31 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 3255 0 0 0 21 10 0 0 20 0 1 0 71417980 32468992 4278 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 7927 4278 1312 243 0 4176 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31708 KiB
Current children cumulated memory: 17112 KiB
[startup+0.700329 s]
/proc/loadavg: 4.23 4.20 4.19 5/250 77973
/proc/meminfo: memFree=129383276/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=34708 memory=22384 CPUtime=0.68 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 4037 0 0 0 48 20 0 0 20 0 1 0 71417980 35540992 5596 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 8677 5596 1344 243 0 4926 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34708 KiB
Current children cumulated memory: 22384 KiB
[startup+1.50031 s]
/proc/loadavg: 4.23 4.20 4.19 5/250 77973
/proc/meminfo: memFree=129375400/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=54804 memory=44120 CPUtime=1.48 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 7940 0 0 0 118 30 0 0 20 0 1 0 71417980 56119296 11030 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 13701 11030 1344 243 0 9950 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54804 KiB
Current children cumulated memory: 44120 KiB
[startup+3.11294 s]
/proc/loadavg: 4.23 4.20 4.19 5/250 77973
/proc/meminfo: memFree=129344120/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=72476 memory=57648 CPUtime=3.08 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 10322 0 0 0 274 34 0 0 20 0 1 0 71417980 74215424 14412 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 18119 14412 1344 243 0 14368 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 72476 KiB
Current children cumulated memory: 57648 KiB
[startup+6.3003 s]
/proc/loadavg: 4.21 4.20 4.19 5/250 77973
/proc/meminfo: memFree=129323896/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=99924 memory=80592 CPUtime=6.26 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 14529 0 0 0 580 46 0 0 20 0 1 0 71417980 102322176 20148 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 24981 20148 1344 243 0 21230 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 99924 KiB
Current children cumulated memory: 80592 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.20 4.18 5/250 77973
/proc/meminfo: memFree=129286408/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=145212 memory=114612 CPUtime=12.64 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 20479 0 0 0 1195 69 0 0 20 0 1 0 71417980 148697088 28653 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 36303 28653 1344 243 0 32552 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 145212 KiB
Current children cumulated memory: 114612 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.19 4.18 5/250 77974
/proc/meminfo: memFree=129263852/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=150628 memory=127640 CPUtime=25.4 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 21669 0 0 0 2433 107 0 0 20 0 1 0 71417980 154243072 31910 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 37657 31910 1344 243 0 33906 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 150628 KiB
Current children cumulated memory: 127640 KiB
[startup+51.1129 s]
/proc/loadavg: 4.17 4.19 4.18 5/250 77975
/proc/meminfo: memFree=129196516/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=245232 memory=190728 CPUtime=50.94 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 25712 0 0 0 4931 163 0 0 20 0 1 0 71417980 251117568 47682 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 61308 47682 1344 243 0 57557 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 245232 KiB
Current children cumulated memory: 190728 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/251 77978
/proc/meminfo: memFree=129137188/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=260344 memory=235092 CPUtime=101.98 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 29148 0 0 0 9963 235 0 0 20 0 1 0 71417980 266592256 58773 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 65086 58773 1344 243 0 61335 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 260344 KiB
Current children cumulated memory: 235092 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.19 4.18 5/250 77980
/proc/meminfo: memFree=129083516/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=364080 memory=282072 CPUtime=161.8 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 34782 0 0 0 15849 331 0 0 20 0 1 0 71417980 372817920 70518 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 91020 70518 1344 243 0 87269 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 364080 KiB
Current children cumulated memory: 282072 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/250 77982
/proc/meminfo: memFree=129063256/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=374212 memory=304820 CPUtime=221.61 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 36907 0 0 0 21781 380 0 0 20 0 1 0 71417980 383193088 76205 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 93553 76205 1344 243 0 89802 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 374212 KiB
Current children cumulated memory: 304820 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/251 77987
/proc/meminfo: memFree=129005352/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=387784 memory=332604 CPUtime=281.43 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 39809 0 0 0 27676 467 0 0 20 0 1 0 71417980 397090816 83151 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 96946 83151 1344 243 0 93195 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 387784 KiB
Current children cumulated memory: 332604 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/251 77989
/proc/meminfo: memFree=128952808/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=534544 memory=374892 CPUtime=341.23 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 43722 0 0 0 33586 537 0 0 20 0 1 0 71417980 547373056 93723 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 133636 93723 1344 243 0 129885 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 534544 KiB
Current children cumulated memory: 374892 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/250 77991
/proc/meminfo: memFree=128935912/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=546648 memory=384236 CPUtime=401.04 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 46073 0 0 0 39487 617 0 0 20 0 1 0 71417980 559767552 96059 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 136662 96059 1344 243 0 132911 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 546648 KiB
Current children cumulated memory: 384236 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/250 77994
/proc/meminfo: memFree=128893936/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=550652 memory=387692 CPUtime=460.84 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 46922 0 0 0 45443 641 0 0 20 0 1 0 71417980 563867648 96923 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 137663 96923 1344 243 0 133912 0
################
# More data... #
################
Current children cumulated memory: 778384 KiB
[startup+2862.3 s]
/proc/loadavg: 2.15 3.02 3.64 3/238 78220
/proc/meminfo: memFree=128999160/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=954760 memory=797712 CPUtime=2853.6 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 81985 0 0 0 283514 1846 0 0 20 0 1 0 71417980 977674240 199428 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 238690 199428 1344 243 0 234939 0
Current children cumulated CPU time: 2853.6 s
Current children cumulated vsize: 954760 KiB
Current children cumulated memory: 797712 KiB
[startup+2922.3 s]
/proc/loadavg: 2.10 2.84 3.54 3/238 78222
/proc/meminfo: memFree=128991768/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=955240 memory=806032 CPUtime=2913.42 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 82051 0 0 0 289468 1874 0 0 20 0 1 0 71417980 978165760 201508 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 238810 201508 1344 243 0 235059 0
Current children cumulated CPU time: 2913.42 s
Current children cumulated vsize: 955240 KiB
Current children cumulated memory: 806032 KiB
[startup+2982.3 s]
/proc/loadavg: 2.13 2.72 3.45 3/238 78224
/proc/meminfo: memFree=128983704/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=956776 memory=807056 CPUtime=2973.24 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 82302 0 0 0 295432 1892 0 0 20 0 1 0 71417980 979738624 201764 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 239194 201764 1344 243 0 235443 0
Current children cumulated CPU time: 2973.24 s
Current children cumulated vsize: 956776 KiB
Current children cumulated memory: 807056 KiB
[startup+3042.3 s]
/proc/loadavg: 2.10 2.60 3.37 3/238 78226
/proc/meminfo: memFree=128983956/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=961896 memory=810128 CPUtime=3033.05 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 83065 0 0 0 301397 1908 0 0 20 0 1 0 71417980 984981504 202532 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 240474 202532 1344 243 0 236723 0
Current children cumulated CPU time: 3033.05 s
Current children cumulated vsize: 961896 KiB
Current children cumulated memory: 810128 KiB
[startup+3102.3 s]
/proc/loadavg: 2.15 2.52 3.29 3/237 78232
/proc/meminfo: memFree=128984208/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=967948 memory=813968 CPUtime=3092.87 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 84045 0 0 0 307363 1924 0 0 20 0 1 0 71417980 991178752 203492 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 241987 203492 1344 243 0 238236 0
Current children cumulated CPU time: 3092.87 s
Current children cumulated vsize: 967948 KiB
Current children cumulated memory: 813968 KiB
[startup+3162.3 s]
/proc/loadavg: 2.12 2.44 3.21 3/237 78234
/proc/meminfo: memFree=128984556/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=967948 memory=813968 CPUtime=3152.69 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 84045 0 0 0 313329 1940 0 0 20 0 1 0 71417980 991178752 203492 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 241987 203492 1344 243 0 238236 0
Current children cumulated CPU time: 3152.69 s
Current children cumulated vsize: 967948 KiB
Current children cumulated memory: 813968 KiB
[startup+3222.3 s]
/proc/loadavg: 2.08 2.37 3.14 3/237 78236
/proc/meminfo: memFree=128980712/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=968680 memory=814480 CPUtime=3212.51 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 84268 0 0 0 319295 1956 0 0 20 0 1 0 71417980 991928320 203620 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 242170 203620 1344 243 0 238419 0
Current children cumulated CPU time: 3212.51 s
Current children cumulated vsize: 968680 KiB
Current children cumulated memory: 814480 KiB
[startup+3282.3 s]
/proc/loadavg: 2.13 2.33 3.07 3/237 78238
/proc/meminfo: memFree=128962144/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=972392 memory=831292 CPUtime=3272.32 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 85158 0 0 0 325260 1972 0 0 20 0 1 0 71417980 995729408 207823 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 243098 207823 1344 243 0 239347 0
Current children cumulated CPU time: 3272.32 s
Current children cumulated vsize: 972392 KiB
Current children cumulated memory: 831292 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.28 3.01 3/238 78242
/proc/meminfo: memFree=128944992/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=972684 memory=854168 CPUtime=3332.14 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 85265 0 0 0 331200 2014 0 0 20 0 1 0 71417980 996028416 213542 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 243171 213542 1344 243 0 239420 0
Current children cumulated CPU time: 3332.14 s
Current children cumulated vsize: 972684 KiB
Current children cumulated memory: 854168 KiB
[startup+3402.3 s]
/proc/loadavg: 2.15 2.26 2.95 3/238 78244
/proc/meminfo: memFree=128944220/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=972904 memory=854296 CPUtime=3391.95 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 85312 0 0 0 337162 2033 0 0 20 0 1 0 71417980 996253696 213574 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 243226 213574 1344 243 0 239475 0
Current children cumulated CPU time: 3391.95 s
Current children cumulated vsize: 972904 KiB
Current children cumulated memory: 854296 KiB
[startup+3462.3 s]
/proc/loadavg: 2.11 2.23 2.90 3/238 78246
/proc/meminfo: memFree=128944472/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=975596 memory=856088 CPUtime=3451.76 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 85756 0 0 0 343125 2051 0 0 20 0 1 0 71417980 999010304 214022 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 243899 214022 1344 243 0 240148 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 975596 KiB
Current children cumulated memory: 856088 KiB
[startup+3522.3 s]
/proc/loadavg: 2.08 2.20 2.84 3/238 78248
/proc/meminfo: memFree=128944724/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=977036 memory=856984 CPUtime=3511.57 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 85971 0 0 0 349084 2073 0 0 20 0 1 0 71417980 1000484864 214246 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 244259 214246 1344 243 0 240508 0
Current children cumulated CPU time: 3511.57 s
Current children cumulated vsize: 977036 KiB
Current children cumulated memory: 856984 KiB
[startup+3582.3 s]
/proc/loadavg: 2.14 2.19 2.80 3/238 78250
/proc/meminfo: memFree=128942708/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=977036 memory=856984 CPUtime=3571.39 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 85980 0 0 0 355054 2085 0 0 20 0 1 0 71417980 1000484864 214246 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 244259 214246 1344 243 0 240508 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 977036 KiB
Current children cumulated memory: 856984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 2.08 2.17 2.77 3/237 78252
/proc/meminfo: memFree=128942724/131382120 swapFree=33010160/33010684
[pid=77972] ppid=77969 vsize=977036 memory=856984 CPUtime=3600.01 cores=5,7
/proc/77972/stat : 77972 (pb-oll-rs) R 77969 77972 76151 0 -1 4194304 86091 0 0 0 357913 2088 0 0 20 0 1 0 71417980 1000484864 214246 18446744073709551615 4218880 5211445 140720717714928 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 14643200 140720717724060 140720717724137 140720717724137 140720717729739 0
/proc/77972/statm: 244259 214246 1344 243 0 240508 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 977036 KiB
Current children cumulated memory: 856984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.03 s]
# the end of solver process 77972 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.15 s, system=20.8878 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.03
CPU time (s): 3600.04
CPU user time (s): 3579.15
CPU system time (s): 20.8878
CPU usage (%): 99.6954
Max. virtual memory (cumulated for all children) (KiB): 977036
Max. memory (cumulated for all children) (KiB): 856984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.15
system time used= 20.8878
maximum resident set size= 857240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86124
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= 204
involuntary context switches= 21929
# summary of solver processes directly reported to runsolver:
# pid: 77972
# total CPU time (s): 3600.04
# total CPU user time (s): 3579.15
# total CPU system time (s): 20.8878
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1512 second user time and 33.9984 second system time
The end
Begin job on nodeC008 at 2025-07-03 17:43:09
IDJOB=4519878
IDBENCH=177532
IDSOLVER=3345
FILE ID=nodeC008/4519878-1751557389
RUNJOBID= nodeC008-1751549168-76164
SLURM_JOB_ID= 9598725
Free space on /tmp= 432820 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_60.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519878-1751557389/watcher-4519878-1751557389 -o /tmp/evaluation-result-4519878-1751557389/solver-4519878-1751557389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76164 --watchdog 3760 pb-oll-rs HOME/instance-4519878-1751557389.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8a6dbe9648cdf1a99b0bd946afbbdeb1
RANDOM SEED=719139254
nodeC008 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 : 0xb00001f
cpu MHz : 3491.872
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.637
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.646
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.094
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3598.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.096
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.278
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.211
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129383276 kB
MemAvailable: 129403868 kB
Buffers: 2128 kB
Cached: 815744 kB
SwapCached: 16 kB
Active: 1149156 kB
Inactive: 296900 kB
Active(anon): 609696 kB
Inactive(anon): 36408 kB
Active(file): 539460 kB
Inactive(file): 260492 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1952 kB
Writeback: 20 kB
AnonPages: 630448 kB
Mapped: 107352 kB
Shmem: 17920 kB
KReclaimable: 120536 kB
Slab: 204888 kB
SReclaimable: 120536 kB
SUnreclaim: 84352 kB
KernelStack: 4032 kB
PageTables: 4248 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1016048 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 520192 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432820 MiB
End job on nodeC008 at 2025-07-03 18:43:20