0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.03 c #variables 8281 #constraints 826
11.46/11.58 c #Conflicts: 1000 | #Constraints: 1825
11.46/11.58 c #Conflicts: 2000 | #Constraints: 2825
11.46/11.58 c INPROCESSING
11.46/11.58 c GARBAGE COLLECT
11.46/11.58 c #Conflicts: 3000 | #Constraints: 2854
11.46/11.58 c #Conflicts: 4000 | #Constraints: 3854
11.46/11.58 c INPROCESSING
11.46/11.58 c GARBAGE COLLECT
11.46/11.58 c #Conflicts: 5000 | #Constraints: 3279
11.46/11.58 c #Conflicts: 6000 | #Constraints: 4279
11.46/11.58 c INPROCESSING
11.46/11.58 c GARBAGE COLLECT
11.46/11.58 c #Conflicts: 7000 | #Constraints: 3313
11.46/11.58 c #Conflicts: 8000 | #Constraints: 4313
11.46/11.58 c #Conflicts: 9000 | #Constraints: 5313
11.46/11.58 c INPROCESSING
11.46/11.58 c GARBAGE COLLECT
11.46/11.58 c rational objective 91
21.83/21.92 c #Conflicts: 10000 | #Constraints: 4018
21.83/21.92 c #Conflicts: 11000 | #Constraints: 5018
21.83/21.92 c #Conflicts: 12000 | #Constraints: 6018
21.83/21.92 c INPROCESSING
21.83/21.92 c GARBAGE COLLECT
21.83/21.92 c #Conflicts: 13000 | #Constraints: 4472
21.83/21.92 c #Conflicts: 14000 | #Constraints: 5472
21.83/21.92 c #Conflicts: 15000 | #Constraints: 6472
21.83/21.92 c INPROCESSING
21.83/21.92 c GARBAGE COLLECT
21.83/21.92 c rational objective 91
44.48/44.67 c #Conflicts: 16000 | #Constraints: 4718
44.48/44.67 c #Conflicts: 17000 | #Constraints: 5718
44.48/44.67 c #Conflicts: 18000 | #Constraints: 6718
44.48/44.67 c INPROCESSING
44.48/44.67 c GARBAGE COLLECT
44.48/44.67 c #Conflicts: 19000 | #Constraints: 4735
44.48/44.67 c #Conflicts: 20000 | #Constraints: 5735
44.48/44.67 c #Conflicts: 21000 | #Constraints: 6735
44.48/44.67 c INPROCESSING
44.48/44.67 c GARBAGE COLLECT
44.48/44.67 c #Conflicts: 22000 | #Constraints: 4546
44.48/44.67 c #Conflicts: 23000 | #Constraints: 5546
44.48/44.67 c #Conflicts: 24000 | #Constraints: 6547
44.48/44.67 c #Conflicts: 25000 | #Constraints: 7547
44.48/44.67 c INPROCESSING
44.48/44.67 c GARBAGE COLLECT
44.48/44.67 c #Conflicts: 26000 | #Constraints: 5148
44.48/44.67 c #Conflicts: 27000 | #Constraints: 6148
44.48/44.67 c #Conflicts: 28000 | #Constraints: 7148
44.48/44.67 c #Conflicts: 29000 | #Constraints: 8148
44.48/44.67 c INPROCESSING
44.48/44.67 c GARBAGE COLLECT
44.48/44.67 c #Conflicts: 30000 | #Constraints: 5561
44.48/44.67 c #Conflicts: 31000 | #Constraints: 6561
44.48/44.67 c #Conflicts: 32000 | #Constraints: 7561
44.48/44.67 c #Conflicts: 33000 | #Constraints: 8561
44.48/44.67 c INPROCESSING
44.48/44.67 c GARBAGE COLLECT
44.48/44.67 c rational objective 91
51.87/52.00 c #Conflicts: 34000 | #Constraints: 5771
51.87/52.00 c #Conflicts: 35000 | #Constraints: 6771
51.87/52.00 c #Conflicts: 36000 | #Constraints: 7771
51.87/52.00 c #Conflicts: 37000 | #Constraints: 8771
51.87/52.00 c INPROCESSING
51.87/52.00 c GARBAGE COLLECT
51.87/52.00 c rational objective 91
59.35/59.57 c #Conflicts: 38000 | #Constraints: 5769
59.35/59.57 c #Conflicts: 39000 | #Constraints: 6769
59.35/59.57 c #Conflicts: 40000 | #Constraints: 7769
59.35/59.57 c #Conflicts: 41000 | #Constraints: 8769
59.35/59.57 c INPROCESSING
59.35/59.57 c GARBAGE COLLECT
59.35/59.57 c rational objective 91
145.45/145.85 c #Conflicts: 42000 | #Constraints: 5599
145.45/145.85 c #Conflicts: 43000 | #Constraints: 6599
145.45/145.85 c #Conflicts: 44000 | #Constraints: 7600
145.45/145.85 c #Conflicts: 45000 | #Constraints: 8602
145.45/145.85 c #Conflicts: 46000 | #Constraints: 9603
145.45/145.85 c INPROCESSING
145.45/145.85 c GARBAGE COLLECT
145.45/145.85 c #Conflicts: 47000 | #Constraints: 6183
145.45/145.85 c #Conflicts: 48000 | #Constraints: 7183
145.45/145.85 c #Conflicts: 49000 | #Constraints: 8183
145.45/145.85 c #Conflicts: 50000 | #Constraints: 9183
145.45/145.85 c #Conflicts: 51000 | #Constraints: 10183
145.45/145.85 c INPROCESSING
145.45/145.85 c GARBAGE COLLECT
145.45/145.85 c #Conflicts: 52000 | #Constraints: 6586
145.45/145.85 c #Conflicts: 53000 | #Constraints: 7586
145.45/145.85 c #Conflicts: 54000 | #Constraints: 8586
145.45/145.85 c #Conflicts: 55000 | #Constraints: 9586
145.45/145.85 c #Conflicts: 56000 | #Constraints: 10586
145.45/145.85 c INPROCESSING
145.45/145.85 c GARBAGE COLLECT
145.45/145.85 c #Conflicts: 57000 | #Constraints: 6770
145.45/145.85 c #Conflicts: 58000 | #Constraints: 7770
145.45/145.85 c #Conflicts: 59000 | #Constraints: 8770
145.45/145.85 c #Conflicts: 60000 | #Constraints: 9770
145.45/145.85 c #Conflicts: 61000 | #Constraints: 10770
145.45/145.85 c INPROCESSING
145.45/145.85 c GARBAGE COLLECT
145.45/145.85 c #Conflicts: 62000 | #Constraints: 6783
145.45/145.85 c #Conflicts: 63000 | #Constraints: 7783
145.45/145.85 c #Conflicts: 64000 | #Constraints: 8783
145.45/145.85 c #Conflicts: 65000 | #Constraints: 9783
145.45/145.85 c #Conflicts: 66000 | #Constraints: 10783
145.45/145.85 c INPROCESSING
145.45/145.85 c GARBAGE COLLECT
145.45/145.85 c #Conflicts: 67000 | #Constraints: 6590
145.45/145.85 c #Conflicts: 68000 | #Constraints: 7590
145.45/145.85 c #Conflicts: 69000 | #Constraints: 8590
145.45/145.85 c #Conflicts: 70000 | #Constraints: 9590
145.45/145.85 c #Conflicts: 71000 | #Constraints: 10591
145.45/145.85 c #Conflicts: 72000 | #Constraints: 11591
145.45/145.85 c INPROCESSING
145.45/145.85 c GARBAGE COLLECT
145.45/145.85 c #Conflicts: 73000 | #Constraints: 7184
145.45/145.85 c #Conflicts: 74000 | #Constraints: 8184
145.45/145.85 c #Conflicts: 75000 | #Constraints: 9184
145.45/145.85 c #Conflicts: 76000 | #Constraints: 10184
145.45/145.85 c #Conflicts: 77000 | #Constraints: 11185
145.45/145.85 c #Conflicts: 78000 | #Constraints: 12185
145.45/145.85 c INPROCESSING
145.45/145.85 c GARBAGE COLLECT
145.45/145.85 c #Conflicts: 79000 | #Constraints: 7598
145.45/145.85 c #Conflicts: 80000 | #Constraints: 8598
145.45/145.85 c #Conflicts: 81000 | #Constraints: 9598
145.45/145.85 c #Conflicts: 82000 | #Constraints: 10598
145.45/145.85 c #Conflicts: 83000 | #Constraints: 11599
145.45/145.85 c #Conflicts: 84000 | #Constraints: 12599
145.45/145.85 c INPROCESSING
145.45/145.85 c GARBAGE COLLECT
145.45/145.85 c rational objective 91
175.58/176.00 c #Conflicts: 85000 | #Constraints: 7811
175.58/176.00 c #Conflicts: 86000 | #Constraints: 8811
175.58/176.00 c #Conflicts: 87000 | #Constraints: 9811
175.58/176.00 c #Conflicts: 88000 | #Constraints: 10811
175.58/176.00 c #Conflicts: 89000 | #Constraints: 11811
175.58/176.00 c #Conflicts: 90000 | #Constraints: 12811
175.58/176.00 c INPROCESSING
175.58/176.00 c GARBAGE COLLECT
175.58/176.00 c #Conflicts: 91000 | #Constraints: 7801
175.58/176.00 c #Conflicts: 92000 | #Constraints: 8801
175.58/176.00 c #Conflicts: 93000 | #Constraints: 9801
175.58/176.00 c #Conflicts: 94000 | #Constraints: 10801
175.58/176.00 c #Conflicts: 95000 | #Constraints: 11801
175.58/176.00 c #Conflicts: 96000 | #Constraints: 12801
175.58/176.00 c INPROCESSING
175.58/176.00 c GARBAGE COLLECT
175.58/176.00 c rational objective 91
206.41/206.96 c #Conflicts: 97000 | #Constraints: 7621
206.41/206.96 c #Conflicts: 98000 | #Constraints: 8621
206.41/206.96 c #Conflicts: 99000 | #Constraints: 9621
206.41/206.96 c #Conflicts: 100000 | #Constraints: 10621
206.41/206.96 c #Conflicts: 101000 | #Constraints: 11621
206.41/206.96 c #Conflicts: 102000 | #Constraints: 12621
206.41/206.96 c #Conflicts: 103000 | #Constraints: 13621
206.41/206.96 c INPROCESSING
206.41/206.96 c GARBAGE COLLECT
206.41/206.96 c #Conflicts: 104000 | #Constraints: 8206
206.41/206.96 c #Conflicts: 105000 | #Constraints: 9207
206.41/206.96 c #Conflicts: 106000 | #Constraints: 10207
206.41/206.96 c #Conflicts: 107000 | #Constraints: 11208
206.41/206.96 c #Conflicts: 108000 | #Constraints: 12208
206.41/206.96 c #Conflicts: 109000 | #Constraints: 13208
206.41/206.96 c #Conflicts: 110000 | #Constraints: 14209
206.41/206.96 c INPROCESSING
206.41/206.96 c GARBAGE COLLECT
206.41/206.96 c rational objective 91
221.18/221.72 c #Conflicts: 111000 | #Constraints: 8620
221.18/221.72 c #Conflicts: 112000 | #Constraints: 9620
221.18/221.72 c #Conflicts: 113000 | #Constraints: 10620
221.18/221.72 c #Conflicts: 114000 | #Constraints: 11620
221.18/221.72 c #Conflicts: 115000 | #Constraints: 12620
221.18/221.72 c #Conflicts: 116000 | #Constraints: 13621
221.18/221.72 c #Conflicts: 117000 | #Constraints: 14621
221.18/221.72 c INPROCESSING
221.18/221.72 c GARBAGE COLLECT
221.18/221.72 c rational objective 91
250.80/251.47 c #Conflicts: 118000 | #Constraints: 8812
250.80/251.47 c #Conflicts: 119000 | #Constraints: 9812
250.80/251.47 c #Conflicts: 120000 | #Constraints: 10812
250.80/251.47 c #Conflicts: 121000 | #Constraints: 11813
250.80/251.47 c #Conflicts: 122000 | #Constraints: 12814
250.80/251.47 c #Conflicts: 123000 | #Constraints: 13814
250.80/251.47 c #Conflicts: 124000 | #Constraints: 14814
250.80/251.47 c INPROCESSING
250.80/251.47 c GARBAGE COLLECT
250.80/251.47 c #Conflicts: 125000 | #Constraints: 8806
250.80/251.47 c #Conflicts: 126000 | #Constraints: 9806
250.80/251.47 c #Conflicts: 127000 | #Constraints: 10806
250.80/251.47 c #Conflicts: 128000 | #Constraints: 11806
250.80/251.47 c #Conflicts: 129000 | #Constraints: 12807
250.80/251.47 c #Conflicts: 130000 | #Constraints: 13807
250.80/251.47 c #Conflicts: 131000 | #Constraints: 14807
250.80/251.47 c INPROCESSING
250.80/251.47 c GARBAGE COLLECT
250.80/251.47 c rational objective 91
294.10/294.88 c #Conflicts: 132000 | #Constraints: 8619
294.10/294.88 c #Conflicts: 133000 | #Constraints: 9619
294.10/294.88 c #Conflicts: 134000 | #Constraints: 10619
294.10/294.88 c #Conflicts: 135000 | #Constraints: 11619
294.10/294.88 c #Conflicts: 136000 | #Constraints: 12619
294.10/294.88 c #Conflicts: 137000 | #Constraints: 13620
294.10/294.88 c #Conflicts: 138000 | #Constraints: 14620
294.10/294.88 c #Conflicts: 139000 | #Constraints: 15620
294.10/294.88 c INPROCESSING
294.10/294.88 c GARBAGE COLLECT
294.10/294.88 c #Conflicts: 140000 | #Constraints: 9208
294.10/294.88 c #Conflicts: 141000 | #Constraints: 10208
294.10/294.88 c #Conflicts: 142000 | #Constraints: 11208
294.10/294.88 c #Conflicts: 143000 | #Constraints: 12208
294.10/294.88 c #Conflicts: 144000 | #Constraints: 13208
294.10/294.88 c #Conflicts: 145000 | #Constraints: 14208
294.10/294.88 c #Conflicts: 146000 | #Constraints: 15208
294.10/294.88 c #Conflicts: 147000 | #Constraints: 16208
294.10/294.88 c INPROCESSING
294.10/294.88 c GARBAGE COLLECT
294.10/294.88 c rational objective 91
312.27/313.04 c #Conflicts: 148000 | #Constraints: 9630
312.27/313.04 c #Conflicts: 149000 | #Constraints: 10630
312.27/313.04 c #Conflicts: 150000 | #Constraints: 11630
312.27/313.04 c #Conflicts: 151000 | #Constraints: 12631
312.27/313.04 c #Conflicts: 152000 | #Constraints: 13631
312.27/313.04 c #Conflicts: 153000 | #Constraints: 14631
312.27/313.04 c #Conflicts: 154000 | #Constraints: 15631
312.27/313.04 c #Conflicts: 155000 | #Constraints: 16631
312.27/313.04 c INPROCESSING
312.27/313.04 c GARBAGE COLLECT
312.27/313.04 c rational objective 91
333.71/334.58 c #Conflicts: 156000 | #Constraints: 9811
333.71/334.58 c #Conflicts: 157000 | #Constraints: 10811
333.71/334.58 c #Conflicts: 158000 | #Constraints: 11811
333.71/334.58 c #Conflicts: 159000 | #Constraints: 12812
333.71/334.58 c #Conflicts: 160000 | #Constraints: 13812
333.71/334.58 c #Conflicts: 161000 | #Constraints: 14812
333.71/334.58 c #Conflicts: 162000 | #Constraints: 15812
333.71/334.58 c #Conflicts: 163000 | #Constraints: 16812
333.71/334.58 c INPROCESSING
333.71/334.58 c GARBAGE COLLECT
333.71/334.58 c rational objective 91
353.66/354.50 c #Conflicts: 164000 | #Constraints: 9819
353.66/354.50 c #Conflicts: 165000 | #Constraints: 10819
353.66/354.50 c #Conflicts: 166000 | #Constraints: 11819
353.66/354.50 c #Conflicts: 167000 | #Constraints: 12819
353.66/354.50 c #Conflicts: 168000 | #Constraints: 13819
353.66/354.50 c #Conflicts: 169000 | #Constraints: 14819
353.66/354.50 c #Conflicts: 170000 | #Constraints: 15820
353.66/354.50 c #Conflicts: 171000 | #Constraints: 16820
353.66/354.50 c INPROCESSING
353.66/354.50 c GARBAGE COLLECT
353.66/354.50 c rational objective 91
374.71/375.66 c #Conflicts: 172000 | #Constraints: 9628
374.71/375.66 c #Conflicts: 173000 | #Constraints: 10628
374.71/375.66 c #Conflicts: 174000 | #Constraints: 11628
374.71/375.66 c #Conflicts: 175000 | #Constraints: 12629
374.71/375.66 c #Conflicts: 176000 | #Constraints: 13629
374.71/375.66 c #Conflicts: 177000 | #Constraints: 14629
374.71/375.66 c #Conflicts: 178000 | #Constraints: 15629
374.71/375.66 c #Conflicts: 179000 | #Constraints: 16629
374.71/375.66 c #Conflicts: 180000 | #Constraints: 17629
374.71/375.66 c INPROCESSING
374.71/375.66 c GARBAGE COLLECT
374.71/375.66 c rational objective 91
423.20/424.20 c #Conflicts: 181000 | #Constraints: 10216
423.20/424.20 c #Conflicts: 182000 | #Constraints: 11217
423.20/424.20 c #Conflicts: 183000 | #Constraints: 12217
423.20/424.20 c #Conflicts: 184000 | #Constraints: 13217
423.20/424.20 c #Conflicts: 185000 | #Constraints: 14217
423.20/424.20 c #Conflicts: 186000 | #Constraints: 15217
423.20/424.20 c #Conflicts: 187000 | #Constraints: 16217
423.20/424.20 c #Conflicts: 188000 | #Constraints: 17217
423.20/424.20 c #Conflicts: 189000 | #Constraints: 18217
423.20/424.20 c INPROCESSING
423.20/424.20 c GARBAGE COLLECT
423.20/424.20 c #Conflicts: 190000 | #Constraints: 10635
423.20/424.20 c #Conflicts: 191000 | #Constraints: 11635
423.20/424.20 c #Conflicts: 192000 | #Constraints: 12635
423.20/424.20 c #Conflicts: 193000 | #Constraints: 13635
423.20/424.20 c #Conflicts: 194000 | #Constraints: 14635
423.20/424.20 c #Conflicts: 195000 | #Constraints: 15635
423.20/424.20 c #Conflicts: 196000 | #Constraints: 16635
423.20/424.20 c #Conflicts: 197000 | #Constraints: 17635
423.20/424.20 c #Conflicts: 198000 | #Constraints: 18635
423.20/424.20 c INPROCESSING
423.20/424.20 c GARBAGE COLLECT
423.20/424.20 c rational objective 91
455.93/457.02 c #Conflicts: 199000 | #Constraints: 10844
455.93/457.02 c #Conflicts: 200000 | #Constraints: 11844
455.93/457.02 c #Conflicts: 201000 | #Constraints: 12845
455.93/457.02 c #Conflicts: 202000 | #Constraints: 13845
455.93/457.02 c #Conflicts: 203000 | #Constraints: 14845
455.93/457.02 c #Conflicts: 204000 | #Constraints: 15845
455.93/457.02 c #Conflicts: 205000 | #Constraints: 16845
455.93/457.02 c #Conflicts: 206000 | #Constraints: 17846
455.93/457.02 c #Conflicts: 207000 | #Constraints: 18846
455.93/457.02 c INPROCESSING
455.93/457.02 c GARBAGE COLLECT
455.93/457.02 c rational objective 91
487.85/489.04 c #Conflicts: 208000 | #Constraints: 10850
487.85/489.04 c #Conflicts: 209000 | #Constraints: 11850
487.85/489.04 c #Conflicts: 210000 | #Constraints: 12850
487.85/489.04 c #Conflicts: 211000 | #Constraints: 13851
487.85/489.04 c #Conflicts: 212000 | #Constraints: 14851
487.85/489.04 c #Conflicts: 213000 | #Constraints: 15851
487.85/489.04 c #Conflicts: 214000 | #Constraints: 16851
487.85/489.04 c #Conflicts: 215000 | #Constraints: 17852
487.85/489.04 c #Conflicts: 216000 | #Constraints: 18852
487.85/489.04 c INPROCESSING
487.85/489.04 c GARBAGE COLLECT
487.85/489.04 c rational objective 91
517.28/518.54 c #Conflicts: 217000 | #Constraints: 10660
517.28/518.54 c #Conflicts: 218000 | #Constraints: 11660
517.28/518.54 c #Conflicts: 219000 | #Constraints: 12660
517.28/518.54 c #Conflicts: 220000 | #Constraints: 13661
517.28/518.54 c #Conflicts: 221000 | #Constraints: 14661
517.28/518.54 c #Conflicts: 222000 | #Constraints: 15661
517.28/518.54 c #Conflicts: 223000 | #Constraints: 16661
517.28/518.54 c #Conflicts: 224000 | #Constraints: 17662
517.28/518.54 c #Conflicts: 225000 | #Constraints: 18662
517.28/518.54 c #Conflicts: 226000 | #Constraints: 19662
517.28/518.54 c INPROCESSING
517.28/518.54 c GARBAGE COLLECT
517.28/518.54 c rational objective 91
545.61/546.92 c #Conflicts: 227000 | #Constraints: 11243
545.61/546.92 c #Conflicts: 228000 | #Constraints: 12243
545.61/546.92 c #Conflicts: 229000 | #Constraints: 13244
545.61/546.92 c #Conflicts: 230000 | #Constraints: 14244
545.61/546.92 c #Conflicts: 231000 | #Constraints: 15244
545.61/546.92 c #Conflicts: 232000 | #Constraints: 16244
545.61/546.92 c #Conflicts: 233000 | #Constraints: 17244
545.61/546.92 c #Conflicts: 234000 | #Constraints: 18244
545.61/546.92 c #Conflicts: 235000 | #Constraints: 19244
545.61/546.92 c #Conflicts: 236000 | #Constraints: 20244
545.61/546.92 c INPROCESSING
545.61/546.92 c GARBAGE COLLECT
545.61/546.92 c rational objective 91
570.15/571.59 c #Conflicts: 237000 | #Constraints: 11620
570.15/571.59 c #Conflicts: 238000 | #Constraints: 12620
570.15/571.59 c #Conflicts: 239000 | #Constraints: 13621
570.15/571.59 c #Conflicts: 240000 | #Constraints: 14621
570.15/571.59 c #Conflicts: 241000 | #Constraints: 15621
570.15/571.59 c #Conflicts: 242000 | #Constraints: 16621
570.15/571.59 c #Conflicts: 243000 | #Constraints: 17621
570.15/571.59 c #Conflicts: 244000 | #Constraints: 18621
570.15/571.59 c #Conflicts: 245000 | #Constraints: 19621
570.15/571.59 c #Conflicts: 246000 | #Constraints: 20621
570.15/571.59 c INPROCESSING
570.15/571.59 c GARBAGE COLLECT
570.15/571.59 c rational objective 91
597.69/599.11 c #Conflicts: 247000 | #Constraints: 11830
597.69/599.11 c #Conflicts: 248000 | #Constraints: 12831
597.69/599.11 c #Conflicts: 249000 | #Constraints: 13831
597.69/599.11 c #Conflicts: 250000 | #Constraints: 14831
597.69/599.11 c #Conflicts: 251000 | #Constraints: 15831
597.69/599.11 c #Conflicts: 252000 | #Constraints: 16831
597.69/599.11 c #Conflicts: 253000 | #Constraints: 17832
597.69/599.11 c #Conflicts: 254000 | #Constraints: 18832
597.69/599.11 c #Conflicts: 255000 | #Constraints: 19832
597.69/599.11 c #Conflicts: 256000 | #Constraints: 20832
597.69/599.11 c INPROCESSING
597.69/599.11 c GARBAGE COLLECT
597.69/599.11 c rational objective 91
628.31/629.85 c #Conflicts: 257000 | #Constraints: 11818
628.31/629.85 c #Conflicts: 258000 | #Constraints: 12818
628.31/629.85 c #Conflicts: 259000 | #Constraints: 13818
628.31/629.85 c #Conflicts: 260000 | #Constraints: 14818
628.31/629.85 c #Conflicts: 261000 | #Constraints: 15818
628.31/629.85 c #Conflicts: 262000 | #Constraints: 16818
628.31/629.85 c #Conflicts: 263000 | #Constraints: 17818
628.31/629.85 c #Conflicts: 264000 | #Constraints: 18819
628.31/629.85 c #Conflicts: 265000 | #Constraints: 19819
628.31/629.85 c #Conflicts: 266000 | #Constraints: 20819
628.31/629.85 c INPROCESSING
628.31/629.85 c GARBAGE COLLECT
628.31/629.85 c rational objective 91
659.93/661.52 c #Conflicts: 267000 | #Constraints: 11623
659.93/661.52 c #Conflicts: 268000 | #Constraints: 12623
659.93/661.52 c #Conflicts: 269000 | #Constraints: 13623
659.93/661.52 c #Conflicts: 270000 | #Constraints: 14623
659.93/661.52 c #Conflicts: 271000 | #Constraints: 15623
659.93/661.52 c #Conflicts: 272000 | #Constraints: 16623
659.93/661.52 c #Conflicts: 273000 | #Constraints: 17623
659.93/661.52 c #Conflicts: 274000 | #Constraints: 18623
659.93/661.52 c #Conflicts: 275000 | #Constraints: 19623
659.93/661.52 c #Conflicts: 276000 | #Constraints: 20623
659.93/661.52 c #Conflicts: 277000 | #Constraints: 21624
659.93/661.52 c INPROCESSING
659.93/661.52 c GARBAGE COLLECT
659.93/661.52 c rational objective 91
687.57/689.25 c #Conflicts: 278000 | #Constraints: 12214
687.57/689.25 c #Conflicts: 279000 | #Constraints: 13214
687.57/689.25 c #Conflicts: 280000 | #Constraints: 14214
687.57/689.25 c #Conflicts: 281000 | #Constraints: 15214
687.57/689.25 c #Conflicts: 282000 | #Constraints: 16214
687.57/689.25 c #Conflicts: 283000 | #Constraints: 17214
687.57/689.25 c #Conflicts: 284000 | #Constraints: 18214
687.57/689.25 c #Conflicts: 285000 | #Constraints: 19215
687.57/689.25 c #Conflicts: 286000 | #Constraints: 20216
687.57/689.25 c #Conflicts: 287000 | #Constraints: 21216
687.57/689.25 c #Conflicts: 288000 | #Constraints: 22216
687.57/689.25 c INPROCESSING
687.57/689.25 c GARBAGE COLLECT
687.57/689.25 c rational objective 91
714.59/716.36 c #Conflicts: 289000 | #Constraints: 12613
714.59/716.36 c #Conflicts: 290000 | #Constraints: 13613
714.59/716.36 c #Conflicts: 291000 | #Constraints: 14613
714.59/716.36 c #Conflicts: 292000 | #Constraints: 15613
714.59/716.36 c #Conflicts: 293000 | #Constraints: 16613
714.59/716.36 c #Conflicts: 294000 | #Constraints: 17613
714.59/716.36 c #Conflicts: 295000 | #Constraints: 18613
714.59/716.36 c #Conflicts: 296000 | #Constraints: 19613
714.59/716.36 c #Conflicts: 297000 | #Constraints: 20613
714.59/716.36 c #Conflicts: 298000 | #Constraints: 21613
714.59/716.36 c #Conflicts: 299000 | #Constraints: 22613
714.59/716.36 c INPROCESSING
714.59/716.36 c GARBAGE COLLECT
714.59/716.36 c rational objective 91
745.82/747.67 c #Conflicts: 300000 | #Constraints: 12824
745.82/747.67 c #Conflicts: 301000 | #Constraints: 13824
745.82/747.67 c #Conflicts: 302000 | #Constraints: 14824
745.82/747.67 c #Conflicts: 303000 | #Constraints: 15824
745.82/747.67 c #Conflicts: 304000 | #Constraints: 16825
745.82/747.67 c #Conflicts: 305000 | #Constraints: 17825
745.82/747.67 c #Conflicts: 306000 | #Constraints: 18825
745.82/747.67 c #Conflicts: 307000 | #Constraints: 19825
745.82/747.67 c #Conflicts: 308000 | #Constraints: 20825
745.82/747.67 c #Conflicts: 309000 | #Constraints: 21825
745.82/747.67 c #Conflicts: 310000 | #Constraints: 22825
745.82/747.67 c INPROCESSING
745.82/747.67 c GARBAGE COLLECT
745.82/747.67 c rational objective 91
779.93/781.85 c #Conflicts: 311000 | #Constraints: 12833
779.93/781.85 c #Conflicts: 312000 | #Constraints: 13833
779.93/781.85 c #Conflicts: 313000 | #Constraints: 14833
779.93/781.85 c #Conflicts: 314000 | #Constraints: 15834
779.93/781.85 c #Conflicts: 315000 | #Constraints: 16834
779.93/781.85 c #Conflicts: 316000 | #Constraints: 17834
779.93/781.85 c #Conflicts: 317000 | #Constraints: 18834
779.93/781.85 c #Conflicts: 318000 | #Constraints: 19834
779.93/781.85 c #Conflicts: 319000 | #Constraints: 20834
779.93/781.85 c #Conflicts: 320000 | #Constraints: 21834
779.93/781.85 c cpu time 773.543 s
779.93/781.85 c deterministic time 103941848791 1.04e+11
779.93/781.85 c optimization time 8.7e-05 s
779.93/781.85 c total solve time 773.516 s
779.93/781.85 c core-guided solve time 0 s
779.93/781.85 c propagation time 474.086 s
779.93/781.85 c conflict analysis time 170.567 s
779.93/781.85 c propagations 57339998
779.93/781.85 c resolve steps 3258696
779.93/781.85 c decisions 2679924
779.93/781.85 c conflicts 320131
779.93/781.85 c restarts 764
779.93/781.85 c inprocessing phases 47
779.93/781.85 c input clauses 364
779.93/781.85 c input cardinalities 462
779.93/781.85 c input general constraints 0
779.93/781.85 c input average constraint length 100.25
779.93/781.85 c input average constraint degree 59.92
779.93/781.85 c learned clauses 40805
779.93/781.85 c learned cardinalities 13720
779.93/781.85 c learned general constraints 265682
779.93/781.85 c learned average constraint length 1650.31
779.93/781.85 c learned average constraint degree 80686493.53
779.93/781.85 c watched constraints 197444
779.93/781.85 c counting constraints 68238
779.93/781.85 c gcd simplifications 138
779.93/781.85 c detected cardinalities 0
779.93/781.85 c weakened non-implied lits 226885130
779.93/781.85 c weakened non-implying lits 100618
779.93/781.85 c original variables 8281
779.93/781.85 c clausal propagations 415951
779.93/781.85 c cardinality propagations 38979699
779.93/781.85 c watched propagations 2946150
779.93/781.85 c counting propagations 14098876
779.93/781.85 c watch lookups 3361763119
779.93/781.85 c watch backjump lookups 2845551557
779.93/781.85 c watch checks 68356939007
779.93/781.85 c propagation checks 27722542813
779.93/781.85 c constraint additions 1534078980
779.93/781.85 c trail pops 60340008
779.93/781.85 c formula constraints 826
779.93/781.85 c learned constraints 320086
779.93/781.85 c bound constraints 0
779.93/781.85 c core-guided constraints 0
779.93/781.85 c encountered formula constraints 1022673
779.93/781.85 c encountered learned constraints 2555958
779.93/781.85 c encountered bound constraints 0
779.93/781.85 c encountered core-guided constraints 0
779.93/781.85 c LP total time 163.14 s
779.93/781.85 c LP solve time 123.81 s
779.93/781.85 c LP constraints added 867
779.93/781.85 c LP constraints removed 39
779.93/781.85 c LP pivots internal 328693
779.93/781.85 c LP pivots root 284691
779.93/781.85 c LP calls 96
779.93/781.85 c LP optimalities 40
779.93/781.85 c LP no pivot count 2
779.93/781.85 c LP infeasibilities 49
779.93/781.85 c LP valid Farkas constraints 49
779.93/781.85 c LP learned Farkas constraints 45
779.93/781.85 c LP basis resets 1
779.93/781.85 c LP cycling count 1
779.93/781.85 c LP singular count 0
779.93/781.85 c LP no primal count 0
779.93/781.85 c LP no farkas count 0
779.93/781.85 c LP other issue count 0
779.93/781.85 c LP Gomory cuts 27
779.93/781.85 c LP learned cuts 14
779.93/781.85 c LP deleted cuts 39
779.93/781.85 c LP encountered Gomory constraints 0
779.93/781.85 c LP encountered Farkas constraints 91
779.93/781.85 c LP encountered learned Farkas constraints 60
779.93/781.85 c CG auxiliary variables introduced 0
779.93/781.85 c CG solutions found 0
779.93/781.85 c CG cores constructed 0
779.93/781.85 c CG core cardinality constraints returned 0
779.93/781.85 c CG unit cores 0
779.93/781.85 c CG single cores 0
779.93/781.85 c CG blocks removed during cardinality reduction 0
779.93/781.85 c CG first core best 0
779.93/781.85 c CG decision core best 0
779.93/781.85 c CG core reduction tie 0
779.93/781.85 c CG core degree average 0.00
779.93/781.85 c CG core slack average 0.00
779.93/781.85 s SATISFIABLE
779.93/781.85 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61545 MiB free)
memory of node 1: 64473 MiB (63263 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455537-1721460056/watcher-4455537-1721460056 -o /tmp/evaluation-result-4455537-1721460056/solver-4455537-1721460056 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056504 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455537-1721460056.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1056611, runsolver pid=1056608
[startup+0.100593 s]*
/proc/loadavg: 1.07 1.21 1.76 5/258 1056612
/proc/meminfo: memFree=127789256/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=48444 memory=17944 CPUtime=0.1 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 4612 0 0 0 9 1 0 0 20 0 1 0 198171798 49606656 4486 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 12111 4486 1709 922 0 4063 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48444 KiB
Current children cumulated memory: 17944 KiB
[startup+0.205394 s]*
/proc/loadavg: 1.07 1.21 1.76 5/258 1056612
/proc/meminfo: memFree=127784576/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=48444 memory=17944 CPUtime=0.2 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 4645 0 0 0 19 1 0 0 20 0 1 0 198171798 49606656 4486 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 12111 4486 1709 922 0 4063 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48444 KiB
Current children cumulated memory: 17944 KiB
[startup+0.304859 s]*
/proc/loadavg: 1.07 1.21 1.76 5/258 1056612
/proc/meminfo: memFree=127780372/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=48948 memory=18456 CPUtime=0.3 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 4724 0 0 0 29 1 0 0 20 0 1 0 198171798 50122752 4614 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 12237 4614 1709 922 0 4189 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48948 KiB
Current children cumulated memory: 18456 KiB
[startup+0.700185 s]
/proc/loadavg: 1.07 1.21 1.76 5/258 1056612
/proc/meminfo: memFree=127777156/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=48948 memory=18456 CPUtime=0.68 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 4727 0 0 0 67 1 0 0 20 0 1 0 198171798 50122752 4614 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 12237 4614 1709 922 0 4189 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48948 KiB
Current children cumulated memory: 18456 KiB
[startup+1.50022 s]
/proc/loadavg: 1.07 1.21 1.76 5/258 1056612
/proc/meminfo: memFree=127753060/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=61600 memory=32604 CPUtime=1.48 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 7734 0 0 0 141 7 0 0 20 0 1 0 198171798 63078400 8151 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 15400 8151 1755 922 0 7352 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61600 KiB
Current children cumulated memory: 32604 KiB
[startup+3.10531 s]
/proc/loadavg: 1.07 1.21 1.76 5/258 1056612
/proc/meminfo: memFree=127691404/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=62440 memory=33396 CPUtime=3.09 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 7913 0 0 0 300 9 0 0 20 0 1 0 198171798 63938560 8349 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 15610 8349 1755 922 0 7562 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 62440 KiB
Current children cumulated memory: 33396 KiB
[startup+6.30021 s]
/proc/loadavg: 1.38 1.27 1.78 5/258 1056612
/proc/meminfo: memFree=127668932/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=75404 memory=47892 CPUtime=6.27 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 9962 0 0 0 610 17 0 0 20 0 1 0 198171798 77213696 11973 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 18851 11973 1818 922 0 10803 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 75404 KiB
Current children cumulated memory: 47892 KiB
[startup+12.7001 s]
/proc/loadavg: 1.59 1.32 1.79 5/258 1056614
/proc/meminfo: memFree=127612364/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=115700 memory=84684 CPUtime=12.66 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 17615 0 0 0 1239 27 0 0 20 0 1 0 198171798 118476800 21171 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 28925 21171 1834 922 0 20877 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 115700 KiB
Current children cumulated memory: 84684 KiB
[startup+25.5002 s]
/proc/loadavg: 2.13 1.45 1.83 5/258 1056615
/proc/meminfo: memFree=127552700/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=123116 memory=96160 CPUtime=25.43 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 20603 0 0 0 2495 48 0 0 20 0 1 0 198171798 126070784 24040 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 30779 24040 1834 922 0 22731 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 123116 KiB
Current children cumulated memory: 96160 KiB
[startup+51.1054 s]
/proc/loadavg: 2.85 1.67 1.89 5/258 1056620
/proc/meminfo: memFree=127415020/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=154292 memory=118900 CPUtime=50.98 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 24222 0 0 0 5010 88 0 0 20 0 1 0 198171798 157995008 29725 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 38573 29725 1850 922 0 30525 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 154292 KiB
Current children cumulated memory: 118900 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 2.03 2.01 5/258 1056629
/proc/meminfo: memFree=127221572/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=202476 memory=164604 CPUtime=102.05 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 31036 0 0 0 10067 138 0 0 20 0 1 0 198171798 207335424 41151 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 50619 41151 1850 922 0 42571 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 202476 KiB
Current children cumulated memory: 164604 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.41 2.14 5/258 1056640
/proc/meminfo: memFree=127049620/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=258244 memory=212560 CPUtime=161.91 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 33297 0 0 0 15995 196 0 0 20 0 1 0 198171798 264441856 53140 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 64561 53140 1850 922 0 56513 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 258244 KiB
Current children cumulated memory: 212560 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.73 2.27 5/258 1056651
/proc/meminfo: memFree=127012728/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=275904 memory=232292 CPUtime=221.77 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 37738 0 0 0 21927 250 0 0 20 0 1 0 198171798 282525696 58073 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 68976 58073 1850 922 0 60928 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 275904 KiB
Current children cumulated memory: 232292 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.98 2.38 5/257 1057044
/proc/meminfo: memFree=126875928/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=285512 memory=241744 CPUtime=281.63 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 40148 0 0 0 27863 300 0 0 20 0 1 0 198171798 292364288 60436 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 71378 60436 1850 922 0 63330 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 285512 KiB
Current children cumulated memory: 241744 KiB
[startup+342.3 s]
/proc/loadavg: 4.03 3.17 2.49 5/256 1057055
/proc/meminfo: memFree=126734532/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=379300 memory=293260 CPUtime=341.49 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 43800 0 0 0 33800 349 0 0 20 0 1 0 198171798 388403200 73315 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 94825 73315 1850 922 0 86777 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 379300 KiB
Current children cumulated memory: 293260 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.35 2.60 5/256 1057066
/proc/meminfo: memFree=126604180/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=385840 memory=299860 CPUtime=401.35 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 45458 0 0 0 39733 402 0 0 20 0 1 0 198171798 395100160 74965 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 96460 74965 1850 922 0 88412 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 385840 KiB
Current children cumulated memory: 299860 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.49 2.69 5/258 1057247
/proc/meminfo: memFree=126542760/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=390032 memory=318028 CPUtime=461.21 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 46553 0 0 0 45691 430 0 0 20 0 1 0 198171798 399392768 79507 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 97508 79507 1850 922 0 89460 0
Current children cumulated CPU time: 461.21 s
Current children cumulated vsize: 390032 KiB
Current children cumulated memory: 318028 KiB
[startup+522.3 s]
/proc/loadavg: 4.07 3.60 2.78 5/258 1057258
/proc/meminfo: memFree=126498348/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=395112 memory=323000 CPUtime=521.07 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 47840 0 0 0 51647 460 0 0 20 0 1 0 198171798 404594688 80750 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 98778 80750 1850 922 0 90730 0
Current children cumulated CPU time: 521.07 s
Current children cumulated vsize: 395112 KiB
Current children cumulated memory: 323000 KiB
[startup+582.3 s]
/proc/loadavg: 4.08 3.69 2.87 5/256 1057324
/proc/meminfo: memFree=126476344/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=396848 memory=324684 CPUtime=580.93 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 48315 0 0 0 57584 509 0 0 20 0 1 0 198171798 406372352 81171 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 99212 81171 1850 922 0 91164 0
Current children cumulated CPU time: 580.93 s
Current children cumulated vsize: 396848 KiB
Current children cumulated memory: 324684 KiB
[startup+642.3 s]
/proc/loadavg: 4.07 3.76 2.94 5/256 1057335
/proc/meminfo: memFree=126416836/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=396848 memory=324864 CPUtime=640.78 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 48362 0 0 0 63525 553 0 0 20 0 1 0 198171798 406372352 81216 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 99212 81216 1850 922 0 91164 0
Current children cumulated CPU time: 640.78 s
Current children cumulated vsize: 396848 KiB
Current children cumulated memory: 324864 KiB
[startup+702.3 s]
/proc/loadavg: 4.13 3.84 3.02 5/256 1057345
/proc/meminfo: memFree=126386688/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=397864 memory=325828 CPUtime=700.63 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 48708 0 0 0 69471 592 0 0 20 0 1 0 198171798 407412736 81457 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 99466 81457 1850 922 0 91418 0
Current children cumulated CPU time: 700.63 s
Current children cumulated vsize: 397864 KiB
Current children cumulated memory: 325828 KiB
[startup+762.3 s]
/proc/loadavg: 4.05 3.87 3.09 5/255 1057356
/proc/meminfo: memFree=126371168/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=402164 memory=330156 CPUtime=760.49 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 49800 0 0 0 75412 637 0 0 20 0 1 0 198171798 411815936 82539 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 100541 82539 1850 922 0 92493 0
Current children cumulated CPU time: 760.49 s
Current children cumulated vsize: 402164 KiB
Current children cumulated memory: 330156 KiB
[startup+781.871 s]
# the end of solver process 1056611 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=773.545 s, system=6.46812 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.12 3.89 3.10 5/255 1057358
/proc/meminfo: memFree=126371020/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=402164 memory=330156 CPUtime=766.17 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 49816 0 0 0 75979 638 0 0 20 0 1 0 198171798 411815936 82539 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 100541 82539 1850 922 0 92493 0
Current children cumulated CPU time: 766.17 s
Current children cumulated vsize: 402164 KiB
Current children cumulated memory: 330156 KiB
[startup+774.4 s]
/proc/loadavg: 4.18 3.91 3.11 5/255 1057358
/proc/meminfo: memFree=126311592/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=402164 memory=330156 CPUtime=772.55 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 49827 0 0 0 76612 643 0 0 20 0 1 0 198171798 411815936 82539 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 100541 82539 1850 922 0 92493 0
Current children cumulated CPU time: 772.55 s
Current children cumulated vsize: 402164 KiB
Current children cumulated memory: 330156 KiB
[startup+777.6 s]
/proc/loadavg: 4.18 3.91 3.11 5/255 1057358
/proc/meminfo: memFree=126272680/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=402164 memory=332228 CPUtime=775.74 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 49872 0 0 0 76930 644 0 0 20 0 1 0 198171798 411815936 83057 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 100541 83057 1850 922 0 92493 0
Current children cumulated CPU time: 775.74 s
Current children cumulated vsize: 402164 KiB
Current children cumulated memory: 332228 KiB
[startup+779.2 s]
/proc/loadavg: 4.17 3.91 3.12 5/255 1057359
/proc/meminfo: memFree=126251644/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=402164 memory=340420 CPUtime=777.34 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 49876 0 0 0 77089 645 0 0 20 0 1 0 198171798 411815936 85105 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 100541 85105 1850 922 0 92493 0
Current children cumulated CPU time: 777.34 s
Current children cumulated vsize: 402164 KiB
Current children cumulated memory: 340420 KiB
[startup+780.8 s]
/proc/loadavg: 4.17 3.91 3.12 5/255 1057359
/proc/meminfo: memFree=126247352/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=402164 memory=348612 CPUtime=778.94 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 49880 0 0 0 77249 645 0 0 20 0 1 0 198171798 411815936 87153 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 100541 87153 1850 922 0 92493 0
Current children cumulated CPU time: 778.94 s
Current children cumulated vsize: 402164 KiB
Current children cumulated memory: 348612 KiB
[startup+781.6 s]
/proc/loadavg: 4.17 3.91 3.12 5/255 1057360
/proc/meminfo: memFree=126240220/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=402164 memory=352708 CPUtime=779.73 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 49882 0 0 0 77328 645 0 0 20 0 1 0 198171798 411815936 88177 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 100541 88177 1850 922 0 92493 0
Current children cumulated CPU time: 779.73 s
Current children cumulated vsize: 402164 KiB
Current children cumulated memory: 352708 KiB
[startup+781.8 s]
/proc/loadavg: 4.17 3.91 3.12 5/255 1057360
/proc/meminfo: memFree=126240220/131524600 swapFree=131071996/131071996
[pid=1056611] ppid=1056608 vsize=402164 memory=352708 CPUtime=779.93 cores=1,3
/proc/1056611/stat : 1056611 (roundingsat) R 1056608 1056611 1056492 0 -1 4194304 49882 0 0 0 77348 645 0 0 20 0 1 0 198171798 411815936 88177 134679101440 4194304 7968373 140729386967968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29089792 140729386976188 140729386976352 140729386976352 140729386983369 0
/proc/1056611/statm: 100541 88177 1850 922 0 92493 0
Current children cumulated CPU time: 779.93 s
Current children cumulated vsize: 402164 KiB
Current children cumulated memory: 352708 KiB
Child status: 0
Real time (s): 781.871
CPU time (s): 780.013
CPU user time (s): 773.545
CPU system time (s): 6.46812
CPU usage (%): 99.7624
Max. virtual memory (cumulated for all children) (KiB): 402164
Max. memory (cumulated for all children) (KiB): 352708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 773.545
system time used= 6.46812
maximum resident set size= 352708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49890
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= 5
involuntary context switches= 548
# summary of solver processes directly reported to runsolver:
# pid: 1056611
# total CPU time (s): 780.013
# total CPU user time (s): 773.545
# total CPU system time (s): 6.46812
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2577 second user time and 3.65471 second system time
The end
Begin job on nodeC026 at 2024-07-20 09:21:09
IDJOB=4455537
IDBENCH=147860
IDSOLVER=3084
FILE ID=nodeC026/4455537-1721460056
RUNJOBID= nodeC026-1721460068-1056504
SLURM_JOB_ID= 7545710
Free space on /tmp= 890056 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin14.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455537-1721460056/watcher-4455537-1721460056 -o /tmp/evaluation-result-4455537-1721460056/solver-4455537-1721460056 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056504 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455537-1721460056.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 946fa793c8e40fdbe884453e390b9fbe
RANDOM SEED=914724033
nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.444
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.689
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.219
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3639.734
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.399
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.939
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.883
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.895
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127804672 kB
MemAvailable: 129650268 kB
Buffers: 596188 kB
Cached: 2079488 kB
SwapCached: 0 kB
Active: 1129648 kB
Inactive: 1944312 kB
Active(anon): 1556 kB
Inactive(anon): 442632 kB
Active(file): 1128092 kB
Inactive(file): 1501680 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 35284 kB
Writeback: 0 kB
AnonPages: 395708 kB
Mapped: 113080 kB
Shmem: 45912 kB
KReclaimable: 111296 kB
Slab: 225584 kB
SReclaimable: 111296 kB
SUnreclaim: 114288 kB
KernelStack: 4124 kB
PageTables: 10052 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 823924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 67808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 217088 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 283348 kB
DirectMap2M: 33044480 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 890048 MiB
End job on nodeC026 at 2024-07-20 09:34:11