0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.09 c #variables 8281 #constraints 826
12.26/12.35 c #Conflicts: 1000 | #Constraints: 1825
12.26/12.35 c #Conflicts: 2000 | #Constraints: 2825
12.26/12.35 c INPROCESSING
12.26/12.35 c GARBAGE COLLECT
12.26/12.35 c #Conflicts: 3000 | #Constraints: 2854
12.26/12.35 c #Conflicts: 4000 | #Constraints: 3854
12.26/12.35 c INPROCESSING
12.26/12.35 c GARBAGE COLLECT
12.26/12.35 c #Conflicts: 5000 | #Constraints: 3279
12.26/12.35 c #Conflicts: 6000 | #Constraints: 4279
12.26/12.35 c INPROCESSING
12.26/12.35 c GARBAGE COLLECT
12.26/12.35 c #Conflicts: 7000 | #Constraints: 3313
12.26/12.35 c #Conflicts: 8000 | #Constraints: 4313
12.26/12.35 c #Conflicts: 9000 | #Constraints: 5313
12.26/12.35 c INPROCESSING
12.26/12.35 c GARBAGE COLLECT
12.26/12.35 c rational objective 91
22.63/22.71 c #Conflicts: 10000 | #Constraints: 4018
22.63/22.71 c #Conflicts: 11000 | #Constraints: 5018
22.63/22.71 c #Conflicts: 12000 | #Constraints: 6018
22.63/22.71 c INPROCESSING
22.63/22.71 c GARBAGE COLLECT
22.63/22.71 c #Conflicts: 13000 | #Constraints: 4472
22.63/22.71 c #Conflicts: 14000 | #Constraints: 5472
22.63/22.71 c #Conflicts: 15000 | #Constraints: 6472
22.63/22.71 c INPROCESSING
22.63/22.71 c GARBAGE COLLECT
22.63/22.71 c rational objective 91
45.39/45.59 c #Conflicts: 16000 | #Constraints: 4718
45.39/45.59 c #Conflicts: 17000 | #Constraints: 5718
45.39/45.59 c #Conflicts: 18000 | #Constraints: 6718
45.39/45.59 c INPROCESSING
45.39/45.59 c GARBAGE COLLECT
45.39/45.59 c #Conflicts: 19000 | #Constraints: 4735
45.39/45.59 c #Conflicts: 20000 | #Constraints: 5735
45.39/45.59 c #Conflicts: 21000 | #Constraints: 6735
45.39/45.59 c INPROCESSING
45.39/45.59 c GARBAGE COLLECT
45.39/45.59 c #Conflicts: 22000 | #Constraints: 4546
45.39/45.59 c #Conflicts: 23000 | #Constraints: 5546
45.39/45.59 c #Conflicts: 24000 | #Constraints: 6547
45.39/45.59 c #Conflicts: 25000 | #Constraints: 7547
45.39/45.59 c INPROCESSING
45.39/45.59 c GARBAGE COLLECT
45.39/45.59 c #Conflicts: 26000 | #Constraints: 5148
45.39/45.59 c #Conflicts: 27000 | #Constraints: 6148
45.39/45.59 c #Conflicts: 28000 | #Constraints: 7148
45.39/45.59 c #Conflicts: 29000 | #Constraints: 8148
45.39/45.59 c INPROCESSING
45.39/45.59 c GARBAGE COLLECT
45.39/45.59 c #Conflicts: 30000 | #Constraints: 5561
45.39/45.59 c #Conflicts: 31000 | #Constraints: 6561
45.39/45.59 c #Conflicts: 32000 | #Constraints: 7561
45.39/45.59 c #Conflicts: 33000 | #Constraints: 8561
45.39/45.59 c INPROCESSING
45.39/45.59 c GARBAGE COLLECT
45.39/45.59 c rational objective 91
52.76/52.96 c #Conflicts: 34000 | #Constraints: 5771
52.76/52.96 c #Conflicts: 35000 | #Constraints: 6771
52.76/52.96 c #Conflicts: 36000 | #Constraints: 7771
52.76/52.96 c #Conflicts: 37000 | #Constraints: 8771
52.76/52.96 c INPROCESSING
52.76/52.96 c GARBAGE COLLECT
52.76/52.96 c rational objective 91
60.45/60.63 c #Conflicts: 38000 | #Constraints: 5769
60.45/60.63 c #Conflicts: 39000 | #Constraints: 6769
60.45/60.63 c #Conflicts: 40000 | #Constraints: 7769
60.45/60.63 c #Conflicts: 41000 | #Constraints: 8769
60.45/60.63 c INPROCESSING
60.45/60.63 c GARBAGE COLLECT
60.45/60.63 c rational objective 91
147.35/147.74 c #Conflicts: 42000 | #Constraints: 5599
147.35/147.74 c #Conflicts: 43000 | #Constraints: 6599
147.35/147.74 c #Conflicts: 44000 | #Constraints: 7600
147.35/147.74 c #Conflicts: 45000 | #Constraints: 8602
147.35/147.74 c #Conflicts: 46000 | #Constraints: 9603
147.35/147.74 c INPROCESSING
147.35/147.74 c GARBAGE COLLECT
147.35/147.74 c #Conflicts: 47000 | #Constraints: 6183
147.35/147.74 c #Conflicts: 48000 | #Constraints: 7183
147.35/147.74 c #Conflicts: 49000 | #Constraints: 8183
147.35/147.74 c #Conflicts: 50000 | #Constraints: 9183
147.35/147.74 c #Conflicts: 51000 | #Constraints: 10183
147.35/147.74 c INPROCESSING
147.35/147.74 c GARBAGE COLLECT
147.35/147.74 c #Conflicts: 52000 | #Constraints: 6586
147.35/147.74 c #Conflicts: 53000 | #Constraints: 7586
147.35/147.74 c #Conflicts: 54000 | #Constraints: 8586
147.35/147.74 c #Conflicts: 55000 | #Constraints: 9586
147.35/147.74 c #Conflicts: 56000 | #Constraints: 10586
147.35/147.74 c INPROCESSING
147.35/147.74 c GARBAGE COLLECT
147.35/147.74 c #Conflicts: 57000 | #Constraints: 6770
147.35/147.74 c #Conflicts: 58000 | #Constraints: 7770
147.35/147.74 c #Conflicts: 59000 | #Constraints: 8770
147.35/147.74 c #Conflicts: 60000 | #Constraints: 9770
147.35/147.74 c #Conflicts: 61000 | #Constraints: 10770
147.35/147.74 c INPROCESSING
147.35/147.74 c GARBAGE COLLECT
147.35/147.74 c #Conflicts: 62000 | #Constraints: 6783
147.35/147.74 c #Conflicts: 63000 | #Constraints: 7783
147.35/147.74 c #Conflicts: 64000 | #Constraints: 8783
147.35/147.74 c #Conflicts: 65000 | #Constraints: 9783
147.35/147.74 c #Conflicts: 66000 | #Constraints: 10783
147.35/147.74 c INPROCESSING
147.35/147.74 c GARBAGE COLLECT
147.35/147.74 c #Conflicts: 67000 | #Constraints: 6590
147.35/147.74 c #Conflicts: 68000 | #Constraints: 7590
147.35/147.74 c #Conflicts: 69000 | #Constraints: 8590
147.35/147.74 c #Conflicts: 70000 | #Constraints: 9590
147.35/147.74 c #Conflicts: 71000 | #Constraints: 10591
147.35/147.74 c #Conflicts: 72000 | #Constraints: 11591
147.35/147.74 c INPROCESSING
147.35/147.74 c GARBAGE COLLECT
147.35/147.74 c #Conflicts: 73000 | #Constraints: 7184
147.35/147.74 c #Conflicts: 74000 | #Constraints: 8184
147.35/147.74 c #Conflicts: 75000 | #Constraints: 9184
147.35/147.74 c #Conflicts: 76000 | #Constraints: 10184
147.35/147.74 c #Conflicts: 77000 | #Constraints: 11185
147.35/147.74 c #Conflicts: 78000 | #Constraints: 12185
147.35/147.74 c INPROCESSING
147.35/147.74 c GARBAGE COLLECT
147.35/147.74 c #Conflicts: 79000 | #Constraints: 7598
147.35/147.74 c #Conflicts: 80000 | #Constraints: 8598
147.35/147.74 c #Conflicts: 81000 | #Constraints: 9598
147.35/147.74 c #Conflicts: 82000 | #Constraints: 10598
147.35/147.74 c #Conflicts: 83000 | #Constraints: 11599
147.35/147.74 c #Conflicts: 84000 | #Constraints: 12599
147.35/147.74 c INPROCESSING
147.35/147.74 c GARBAGE COLLECT
147.35/147.74 c rational objective 91
177.70/178.18 c #Conflicts: 85000 | #Constraints: 7811
177.70/178.18 c #Conflicts: 86000 | #Constraints: 8811
177.70/178.18 c #Conflicts: 87000 | #Constraints: 9811
177.70/178.18 c #Conflicts: 88000 | #Constraints: 10811
177.70/178.18 c #Conflicts: 89000 | #Constraints: 11811
177.70/178.18 c #Conflicts: 90000 | #Constraints: 12811
177.70/178.18 c INPROCESSING
177.70/178.18 c GARBAGE COLLECT
177.70/178.18 c #Conflicts: 91000 | #Constraints: 7801
177.70/178.18 c #Conflicts: 92000 | #Constraints: 8801
177.70/178.18 c #Conflicts: 93000 | #Constraints: 9801
177.70/178.18 c #Conflicts: 94000 | #Constraints: 10801
177.70/178.18 c #Conflicts: 95000 | #Constraints: 11801
177.70/178.18 c #Conflicts: 96000 | #Constraints: 12801
177.70/178.18 c INPROCESSING
177.70/178.18 c GARBAGE COLLECT
177.70/178.18 c rational objective 91
208.91/209.42 c #Conflicts: 97000 | #Constraints: 7621
208.91/209.42 c #Conflicts: 98000 | #Constraints: 8621
208.91/209.42 c #Conflicts: 99000 | #Constraints: 9621
208.91/209.42 c #Conflicts: 100000 | #Constraints: 10621
208.91/209.42 c #Conflicts: 101000 | #Constraints: 11621
208.91/209.42 c #Conflicts: 102000 | #Constraints: 12621
208.91/209.42 c #Conflicts: 103000 | #Constraints: 13621
208.91/209.42 c INPROCESSING
208.91/209.42 c GARBAGE COLLECT
208.91/209.42 c #Conflicts: 104000 | #Constraints: 8206
208.91/209.42 c #Conflicts: 105000 | #Constraints: 9207
208.91/209.42 c #Conflicts: 106000 | #Constraints: 10207
208.91/209.42 c #Conflicts: 107000 | #Constraints: 11208
208.91/209.42 c #Conflicts: 108000 | #Constraints: 12208
208.91/209.42 c #Conflicts: 109000 | #Constraints: 13208
208.91/209.42 c #Conflicts: 110000 | #Constraints: 14209
208.91/209.42 c INPROCESSING
208.91/209.42 c GARBAGE COLLECT
208.91/209.42 c rational objective 91
223.78/224.32 c #Conflicts: 111000 | #Constraints: 8620
223.78/224.32 c #Conflicts: 112000 | #Constraints: 9620
223.78/224.32 c #Conflicts: 113000 | #Constraints: 10620
223.78/224.32 c #Conflicts: 114000 | #Constraints: 11620
223.78/224.32 c #Conflicts: 115000 | #Constraints: 12620
223.78/224.32 c #Conflicts: 116000 | #Constraints: 13621
223.78/224.32 c #Conflicts: 117000 | #Constraints: 14621
223.78/224.32 c INPROCESSING
223.78/224.32 c GARBAGE COLLECT
223.78/224.32 c rational objective 91
253.81/254.42 c #Conflicts: 118000 | #Constraints: 8812
253.81/254.42 c #Conflicts: 119000 | #Constraints: 9812
253.81/254.42 c #Conflicts: 120000 | #Constraints: 10812
253.81/254.42 c #Conflicts: 121000 | #Constraints: 11813
253.81/254.42 c #Conflicts: 122000 | #Constraints: 12814
253.81/254.42 c #Conflicts: 123000 | #Constraints: 13814
253.81/254.42 c #Conflicts: 124000 | #Constraints: 14814
253.81/254.42 c INPROCESSING
253.81/254.42 c GARBAGE COLLECT
253.81/254.42 c #Conflicts: 125000 | #Constraints: 8806
253.81/254.42 c #Conflicts: 126000 | #Constraints: 9806
253.81/254.42 c #Conflicts: 127000 | #Constraints: 10806
253.81/254.42 c #Conflicts: 128000 | #Constraints: 11806
253.81/254.42 c #Conflicts: 129000 | #Constraints: 12807
253.81/254.42 c #Conflicts: 130000 | #Constraints: 13807
253.81/254.42 c #Conflicts: 131000 | #Constraints: 14807
253.81/254.42 c INPROCESSING
253.81/254.42 c GARBAGE COLLECT
253.81/254.42 c rational objective 91
297.71/298.40 c #Conflicts: 132000 | #Constraints: 8619
297.71/298.40 c #Conflicts: 133000 | #Constraints: 9619
297.71/298.40 c #Conflicts: 134000 | #Constraints: 10619
297.71/298.40 c #Conflicts: 135000 | #Constraints: 11619
297.71/298.40 c #Conflicts: 136000 | #Constraints: 12619
297.71/298.40 c #Conflicts: 137000 | #Constraints: 13620
297.71/298.40 c #Conflicts: 138000 | #Constraints: 14620
297.71/298.40 c #Conflicts: 139000 | #Constraints: 15620
297.71/298.40 c INPROCESSING
297.71/298.40 c GARBAGE COLLECT
297.71/298.40 c #Conflicts: 140000 | #Constraints: 9208
297.71/298.40 c #Conflicts: 141000 | #Constraints: 10208
297.71/298.40 c #Conflicts: 142000 | #Constraints: 11208
297.71/298.40 c #Conflicts: 143000 | #Constraints: 12208
297.71/298.40 c #Conflicts: 144000 | #Constraints: 13208
297.71/298.40 c #Conflicts: 145000 | #Constraints: 14208
297.71/298.40 c #Conflicts: 146000 | #Constraints: 15208
297.71/298.40 c #Conflicts: 147000 | #Constraints: 16208
297.71/298.40 c INPROCESSING
297.71/298.40 c GARBAGE COLLECT
297.71/298.40 c rational objective 91
316.06/316.80 c #Conflicts: 148000 | #Constraints: 9630
316.06/316.80 c #Conflicts: 149000 | #Constraints: 10630
316.06/316.80 c #Conflicts: 150000 | #Constraints: 11630
316.06/316.80 c #Conflicts: 151000 | #Constraints: 12631
316.06/316.80 c #Conflicts: 152000 | #Constraints: 13631
316.06/316.80 c #Conflicts: 153000 | #Constraints: 14631
316.06/316.80 c #Conflicts: 154000 | #Constraints: 15631
316.06/316.80 c #Conflicts: 155000 | #Constraints: 16631
316.06/316.80 c INPROCESSING
316.06/316.80 c GARBAGE COLLECT
316.06/316.80 c rational objective 91
337.52/338.37 c #Conflicts: 156000 | #Constraints: 9811
337.52/338.37 c #Conflicts: 157000 | #Constraints: 10811
337.52/338.37 c #Conflicts: 158000 | #Constraints: 11811
337.52/338.37 c #Conflicts: 159000 | #Constraints: 12812
337.52/338.37 c #Conflicts: 160000 | #Constraints: 13812
337.52/338.37 c #Conflicts: 161000 | #Constraints: 14812
337.52/338.37 c #Conflicts: 162000 | #Constraints: 15812
337.52/338.37 c #Conflicts: 163000 | #Constraints: 16812
337.52/338.37 c INPROCESSING
337.52/338.37 c GARBAGE COLLECT
337.52/338.37 c rational objective 91
357.77/358.63 c #Conflicts: 164000 | #Constraints: 9819
357.77/358.63 c #Conflicts: 165000 | #Constraints: 10819
357.77/358.63 c #Conflicts: 166000 | #Constraints: 11819
357.77/358.63 c #Conflicts: 167000 | #Constraints: 12819
357.77/358.63 c #Conflicts: 168000 | #Constraints: 13819
357.77/358.63 c #Conflicts: 169000 | #Constraints: 14819
357.77/358.63 c #Conflicts: 170000 | #Constraints: 15820
357.77/358.63 c #Conflicts: 171000 | #Constraints: 16820
357.77/358.63 c INPROCESSING
357.77/358.63 c GARBAGE COLLECT
357.77/358.63 c rational objective 91
379.14/380.06 c #Conflicts: 172000 | #Constraints: 9628
379.14/380.06 c #Conflicts: 173000 | #Constraints: 10628
379.14/380.06 c #Conflicts: 174000 | #Constraints: 11628
379.14/380.06 c #Conflicts: 175000 | #Constraints: 12629
379.14/380.06 c #Conflicts: 176000 | #Constraints: 13629
379.14/380.06 c #Conflicts: 177000 | #Constraints: 14629
379.14/380.06 c #Conflicts: 178000 | #Constraints: 15629
379.14/380.06 c #Conflicts: 179000 | #Constraints: 16629
379.14/380.06 c #Conflicts: 180000 | #Constraints: 17629
379.14/380.06 c INPROCESSING
379.14/380.06 c GARBAGE COLLECT
379.14/380.06 c rational objective 91
428.31/429.32 c #Conflicts: 181000 | #Constraints: 10216
428.31/429.32 c #Conflicts: 182000 | #Constraints: 11217
428.31/429.32 c #Conflicts: 183000 | #Constraints: 12217
428.31/429.32 c #Conflicts: 184000 | #Constraints: 13217
428.31/429.32 c #Conflicts: 185000 | #Constraints: 14217
428.31/429.32 c #Conflicts: 186000 | #Constraints: 15217
428.31/429.32 c #Conflicts: 187000 | #Constraints: 16217
428.31/429.32 c #Conflicts: 188000 | #Constraints: 17217
428.31/429.32 c #Conflicts: 189000 | #Constraints: 18217
428.31/429.32 c INPROCESSING
428.31/429.32 c GARBAGE COLLECT
428.31/429.32 c #Conflicts: 190000 | #Constraints: 10635
428.31/429.32 c #Conflicts: 191000 | #Constraints: 11635
428.31/429.32 c #Conflicts: 192000 | #Constraints: 12635
428.31/429.32 c #Conflicts: 193000 | #Constraints: 13635
428.31/429.32 c #Conflicts: 194000 | #Constraints: 14635
428.31/429.32 c #Conflicts: 195000 | #Constraints: 15635
428.31/429.32 c #Conflicts: 196000 | #Constraints: 16635
428.31/429.32 c #Conflicts: 197000 | #Constraints: 17635
428.31/429.32 c #Conflicts: 198000 | #Constraints: 18635
428.31/429.32 c INPROCESSING
428.31/429.32 c GARBAGE COLLECT
428.31/429.32 c rational objective 91
461.53/462.65 c #Conflicts: 199000 | #Constraints: 10844
461.53/462.65 c #Conflicts: 200000 | #Constraints: 11844
461.53/462.65 c #Conflicts: 201000 | #Constraints: 12845
461.53/462.65 c #Conflicts: 202000 | #Constraints: 13845
461.53/462.65 c #Conflicts: 203000 | #Constraints: 14845
461.53/462.65 c #Conflicts: 204000 | #Constraints: 15845
461.53/462.65 c #Conflicts: 205000 | #Constraints: 16845
461.53/462.65 c #Conflicts: 206000 | #Constraints: 17846
461.53/462.65 c #Conflicts: 207000 | #Constraints: 18846
461.53/462.65 c INPROCESSING
461.53/462.65 c GARBAGE COLLECT
461.53/462.65 c rational objective 91
493.87/495.07 c #Conflicts: 208000 | #Constraints: 10850
493.87/495.07 c #Conflicts: 209000 | #Constraints: 11850
493.87/495.07 c #Conflicts: 210000 | #Constraints: 12850
493.87/495.07 c #Conflicts: 211000 | #Constraints: 13851
493.87/495.07 c #Conflicts: 212000 | #Constraints: 14851
493.87/495.07 c #Conflicts: 213000 | #Constraints: 15851
493.87/495.07 c #Conflicts: 214000 | #Constraints: 16851
493.87/495.07 c #Conflicts: 215000 | #Constraints: 17852
493.87/495.07 c #Conflicts: 216000 | #Constraints: 18852
493.87/495.07 c INPROCESSING
493.87/495.07 c GARBAGE COLLECT
493.87/495.07 c rational objective 91
523.59/524.81 c #Conflicts: 217000 | #Constraints: 10660
523.59/524.81 c #Conflicts: 218000 | #Constraints: 11660
523.59/524.81 c #Conflicts: 219000 | #Constraints: 12660
523.59/524.81 c #Conflicts: 220000 | #Constraints: 13661
523.59/524.81 c #Conflicts: 221000 | #Constraints: 14661
523.59/524.81 c #Conflicts: 222000 | #Constraints: 15661
523.59/524.81 c #Conflicts: 223000 | #Constraints: 16661
523.59/524.81 c #Conflicts: 224000 | #Constraints: 17662
523.59/524.81 c #Conflicts: 225000 | #Constraints: 18662
523.59/524.81 c #Conflicts: 226000 | #Constraints: 19662
523.59/524.81 c INPROCESSING
523.59/524.81 c GARBAGE COLLECT
523.59/524.81 c rational objective 91
552.33/553.69 c #Conflicts: 227000 | #Constraints: 11243
552.33/553.69 c #Conflicts: 228000 | #Constraints: 12243
552.33/553.69 c #Conflicts: 229000 | #Constraints: 13244
552.33/553.69 c #Conflicts: 230000 | #Constraints: 14244
552.33/553.69 c #Conflicts: 231000 | #Constraints: 15244
552.33/553.69 c #Conflicts: 232000 | #Constraints: 16244
552.33/553.69 c #Conflicts: 233000 | #Constraints: 17244
552.33/553.69 c #Conflicts: 234000 | #Constraints: 18244
552.33/553.69 c #Conflicts: 235000 | #Constraints: 19244
552.33/553.69 c #Conflicts: 236000 | #Constraints: 20244
552.33/553.69 c INPROCESSING
552.33/553.69 c GARBAGE COLLECT
552.33/553.69 c rational objective 91
577.37/578.73 c #Conflicts: 237000 | #Constraints: 11620
577.37/578.73 c #Conflicts: 238000 | #Constraints: 12620
577.37/578.73 c #Conflicts: 239000 | #Constraints: 13621
577.37/578.73 c #Conflicts: 240000 | #Constraints: 14621
577.37/578.73 c #Conflicts: 241000 | #Constraints: 15621
577.37/578.73 c #Conflicts: 242000 | #Constraints: 16621
577.37/578.73 c #Conflicts: 243000 | #Constraints: 17621
577.37/578.73 c #Conflicts: 244000 | #Constraints: 18621
577.37/578.73 c #Conflicts: 245000 | #Constraints: 19621
577.37/578.73 c #Conflicts: 246000 | #Constraints: 20621
577.37/578.73 c INPROCESSING
577.37/578.73 c GARBAGE COLLECT
577.37/578.73 c rational objective 91
605.40/606.84 c #Conflicts: 247000 | #Constraints: 11830
605.40/606.84 c #Conflicts: 248000 | #Constraints: 12831
605.40/606.84 c #Conflicts: 249000 | #Constraints: 13831
605.40/606.84 c #Conflicts: 250000 | #Constraints: 14831
605.40/606.84 c #Conflicts: 251000 | #Constraints: 15831
605.40/606.84 c #Conflicts: 252000 | #Constraints: 16831
605.40/606.84 c #Conflicts: 253000 | #Constraints: 17832
605.40/606.84 c #Conflicts: 254000 | #Constraints: 18832
605.40/606.84 c #Conflicts: 255000 | #Constraints: 19832
605.40/606.84 c #Conflicts: 256000 | #Constraints: 20832
605.40/606.84 c INPROCESSING
605.40/606.84 c GARBAGE COLLECT
605.40/606.84 c rational objective 91
636.33/637.88 c #Conflicts: 257000 | #Constraints: 11818
636.33/637.88 c #Conflicts: 258000 | #Constraints: 12818
636.33/637.88 c #Conflicts: 259000 | #Constraints: 13818
636.33/637.88 c #Conflicts: 260000 | #Constraints: 14818
636.33/637.88 c #Conflicts: 261000 | #Constraints: 15818
636.33/637.88 c #Conflicts: 262000 | #Constraints: 16818
636.33/637.88 c #Conflicts: 263000 | #Constraints: 17818
636.33/637.88 c #Conflicts: 264000 | #Constraints: 18819
636.33/637.88 c #Conflicts: 265000 | #Constraints: 19819
636.33/637.88 c #Conflicts: 266000 | #Constraints: 20819
636.33/637.88 c INPROCESSING
636.33/637.88 c GARBAGE COLLECT
636.33/637.88 c rational objective 91
668.47/670.05 c #Conflicts: 267000 | #Constraints: 11623
668.47/670.05 c #Conflicts: 268000 | #Constraints: 12623
668.47/670.05 c #Conflicts: 269000 | #Constraints: 13623
668.47/670.05 c #Conflicts: 270000 | #Constraints: 14623
668.47/670.05 c #Conflicts: 271000 | #Constraints: 15623
668.47/670.05 c #Conflicts: 272000 | #Constraints: 16623
668.47/670.05 c #Conflicts: 273000 | #Constraints: 17623
668.47/670.05 c #Conflicts: 274000 | #Constraints: 18623
668.47/670.05 c #Conflicts: 275000 | #Constraints: 19623
668.47/670.05 c #Conflicts: 276000 | #Constraints: 20623
668.47/670.05 c #Conflicts: 277000 | #Constraints: 21624
668.47/670.05 c INPROCESSING
668.47/670.05 c GARBAGE COLLECT
668.47/670.05 c rational objective 91
697.09/698.78 c #Conflicts: 278000 | #Constraints: 12214
697.09/698.78 c #Conflicts: 279000 | #Constraints: 13214
697.09/698.78 c #Conflicts: 280000 | #Constraints: 14214
697.09/698.78 c #Conflicts: 281000 | #Constraints: 15214
697.09/698.78 c #Conflicts: 282000 | #Constraints: 16214
697.09/698.78 c #Conflicts: 283000 | #Constraints: 17214
697.09/698.78 c #Conflicts: 284000 | #Constraints: 18214
697.09/698.78 c #Conflicts: 285000 | #Constraints: 19215
697.09/698.78 c #Conflicts: 286000 | #Constraints: 20216
697.09/698.78 c #Conflicts: 287000 | #Constraints: 21216
697.09/698.78 c #Conflicts: 288000 | #Constraints: 22216
697.09/698.78 c INPROCESSING
697.09/698.78 c GARBAGE COLLECT
697.09/698.78 c rational objective 91
724.82/726.55 c #Conflicts: 289000 | #Constraints: 12613
724.82/726.55 c #Conflicts: 290000 | #Constraints: 13613
724.82/726.55 c #Conflicts: 291000 | #Constraints: 14613
724.82/726.55 c #Conflicts: 292000 | #Constraints: 15613
724.82/726.55 c #Conflicts: 293000 | #Constraints: 16613
724.82/726.55 c #Conflicts: 294000 | #Constraints: 17613
724.82/726.55 c #Conflicts: 295000 | #Constraints: 18613
724.82/726.55 c #Conflicts: 296000 | #Constraints: 19613
724.82/726.55 c #Conflicts: 297000 | #Constraints: 20613
724.82/726.55 c #Conflicts: 298000 | #Constraints: 21613
724.82/726.55 c #Conflicts: 299000 | #Constraints: 22613
724.82/726.55 c INPROCESSING
724.82/726.55 c GARBAGE COLLECT
724.82/726.55 c rational objective 91
756.54/758.33 c #Conflicts: 300000 | #Constraints: 12824
756.54/758.33 c #Conflicts: 301000 | #Constraints: 13824
756.54/758.33 c #Conflicts: 302000 | #Constraints: 14824
756.54/758.33 c #Conflicts: 303000 | #Constraints: 15824
756.54/758.33 c #Conflicts: 304000 | #Constraints: 16825
756.54/758.33 c #Conflicts: 305000 | #Constraints: 17825
756.54/758.33 c #Conflicts: 306000 | #Constraints: 18825
756.54/758.33 c #Conflicts: 307000 | #Constraints: 19825
756.54/758.33 c #Conflicts: 308000 | #Constraints: 20825
756.54/758.33 c #Conflicts: 309000 | #Constraints: 21825
756.54/758.33 c #Conflicts: 310000 | #Constraints: 22825
756.54/758.33 c INPROCESSING
756.54/758.33 c GARBAGE COLLECT
756.54/758.33 c rational objective 91
791.17/793.03 c #Conflicts: 311000 | #Constraints: 12833
791.17/793.03 c #Conflicts: 312000 | #Constraints: 13833
791.17/793.03 c #Conflicts: 313000 | #Constraints: 14833
791.17/793.03 c #Conflicts: 314000 | #Constraints: 15834
791.17/793.03 c #Conflicts: 315000 | #Constraints: 16834
791.17/793.03 c #Conflicts: 316000 | #Constraints: 17834
791.17/793.03 c #Conflicts: 317000 | #Constraints: 18834
791.17/793.03 c #Conflicts: 318000 | #Constraints: 19834
791.17/793.03 c #Conflicts: 319000 | #Constraints: 20834
791.17/793.03 c #Conflicts: 320000 | #Constraints: 21834
791.17/793.03 c cpu time 784.541 s
791.17/793.03 c deterministic time 103941848791 1.04e+11
791.17/793.03 c optimization time 0.000104 s
791.17/793.03 c total solve time 784.459 s
791.17/793.03 c core-guided solve time 0 s
791.17/793.03 c propagation time 482.506 s
791.17/793.03 c conflict analysis time 171.257 s
791.17/793.03 c propagations 57339998
791.17/793.03 c resolve steps 3258696
791.17/793.03 c decisions 2679924
791.17/793.03 c conflicts 320131
791.17/793.03 c restarts 764
791.17/793.03 c inprocessing phases 47
791.17/793.03 c input clauses 364
791.17/793.03 c input cardinalities 462
791.17/793.03 c input general constraints 0
791.17/793.03 c input average constraint length 100.25
791.17/793.03 c input average constraint degree 59.92
791.17/793.03 c learned clauses 40805
791.17/793.03 c learned cardinalities 13720
791.17/793.03 c learned general constraints 265682
791.17/793.03 c learned average constraint length 1650.31
791.17/793.03 c learned average constraint degree 80686493.53
791.17/793.03 c watched constraints 197444
791.17/793.03 c counting constraints 68238
791.17/793.03 c gcd simplifications 138
791.17/793.03 c detected cardinalities 0
791.17/793.03 c weakened non-implied lits 226885130
791.17/793.03 c weakened non-implying lits 100618
791.17/793.03 c original variables 8281
791.17/793.03 c clausal propagations 415951
791.17/793.03 c cardinality propagations 38979699
791.17/793.03 c watched propagations 2946150
791.17/793.03 c counting propagations 14098876
791.17/793.03 c watch lookups 3361763119
791.17/793.03 c watch backjump lookups 2845551557
791.17/793.03 c watch checks 68356939007
791.17/793.03 c propagation checks 27722542813
791.17/793.03 c constraint additions 1534078980
791.17/793.03 c trail pops 60340008
791.17/793.03 c formula constraints 826
791.17/793.03 c learned constraints 320086
791.17/793.03 c bound constraints 0
791.17/793.03 c core-guided constraints 0
791.17/793.03 c encountered formula constraints 1022673
791.17/793.03 c encountered learned constraints 2555958
791.17/793.03 c encountered bound constraints 0
791.17/793.03 c encountered core-guided constraints 0
791.17/793.03 c LP total time 165.051 s
791.17/793.03 c LP solve time 125.42 s
791.17/793.03 c LP constraints added 867
791.17/793.03 c LP constraints removed 39
791.17/793.03 c LP pivots internal 328693
791.17/793.03 c LP pivots root 284691
791.17/793.03 c LP calls 96
791.17/793.03 c LP optimalities 40
791.17/793.03 c LP no pivot count 2
791.17/793.03 c LP infeasibilities 49
791.17/793.03 c LP valid Farkas constraints 49
791.17/793.03 c LP learned Farkas constraints 45
791.17/793.03 c LP basis resets 1
791.17/793.03 c LP cycling count 1
791.17/793.03 c LP singular count 0
791.17/793.03 c LP no primal count 0
791.17/793.03 c LP no farkas count 0
791.17/793.03 c LP other issue count 0
791.17/793.03 c LP Gomory cuts 27
791.17/793.03 c LP learned cuts 14
791.17/793.03 c LP deleted cuts 39
791.17/793.03 c LP encountered Gomory constraints 0
791.17/793.03 c LP encountered Farkas constraints 91
791.17/793.03 c LP encountered learned Farkas constraints 60
791.17/793.03 c CG auxiliary variables introduced 0
791.17/793.03 c CG solutions found 0
791.17/793.03 c CG cores constructed 0
791.17/793.03 c CG core cardinality constraints returned 0
791.17/793.03 c CG unit cores 0
791.17/793.03 c CG single cores 0
791.17/793.03 c CG blocks removed during cardinality reduction 0
791.17/793.03 c CG first core best 0
791.17/793.03 c CG decision core best 0
791.17/793.03 c CG core reduction tie 0
791.17/793.03 c CG core degree average 0.00
791.17/793.03 c CG core slack average 0.00
791.17/793.03 s SATISFIABLE
791.17/793.03 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: 64059 MiB (62038 MiB free)
memory of node 1: 64510 MiB (62426 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443010-1721302643/watcher-4443010-1721302643 -o /tmp/evaluation-result-4443010-1721302643/solver-4443010-1721302643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721293749-948263 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4443010-1721302643.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
solver pid=955244, runsolver pid=955241
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.19 4.23 4.17 5/242 955245
/proc/meminfo: memFree=127441848/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=49480 memory=15732 CPUtime=0.09 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 4129 0 0 0 8 1 0 0 20 0 1 0 182422381 50667520 3933 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 12370 3933 1611 922 0 4322 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49480 KiB
Current children cumulated memory: 15732 KiB
[startup+0.209744 s]*
/proc/loadavg: 4.19 4.23 4.17 5/242 955245
/proc/meminfo: memFree=127440196/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=48448 memory=17936 CPUtime=0.2 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 4614 0 0 0 19 1 0 0 20 0 1 0 182422381 49610752 4484 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 12112 4484 1707 922 0 4064 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48448 KiB
Current children cumulated memory: 17936 KiB
[startup+0.309886 s]*
/proc/loadavg: 4.19 4.23 4.17 5/242 955245
/proc/meminfo: memFree=127437328/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=48448 memory=17936 CPUtime=0.31 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 4614 0 0 0 29 2 0 0 20 0 1 0 182422381 49610752 4484 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 12112 4484 1707 922 0 4064 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48448 KiB
Current children cumulated memory: 17936 KiB
[startup+0.700298 s]
/proc/loadavg: 4.19 4.23 4.17 5/242 955245
/proc/meminfo: memFree=127431140/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=48952 memory=18448 CPUtime=0.68 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 4726 0 0 0 66 2 0 0 20 0 1 0 182422381 50126848 4612 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 12238 4612 1707 922 0 4190 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48952 KiB
Current children cumulated memory: 18448 KiB
[startup+1.50031 s]
/proc/loadavg: 4.18 4.22 4.17 5/242 955245
/proc/meminfo: memFree=127417556/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=50236 memory=21924 CPUtime=1.48 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 5087 0 0 0 143 5 0 0 20 0 1 0 182422381 51441664 5481 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 12559 5481 1737 922 0 4511 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50236 KiB
Current children cumulated memory: 21924 KiB
[startup+3.11264 s]
/proc/loadavg: 4.18 4.22 4.17 5/242 955245
/proc/meminfo: memFree=127393592/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=62444 memory=33844 CPUtime=3.1 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 7543 0 0 0 300 10 0 0 20 0 1 0 182422381 63942656 8461 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 15611 8461 1752 922 0 7563 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 62444 KiB
Current children cumulated memory: 33844 KiB
[startup+6.30029 s]
/proc/loadavg: 4.16 4.22 4.17 5/242 955245
/proc/meminfo: memFree=127382596/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=75124 memory=48036 CPUtime=6.27 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 9012 0 0 0 611 16 0 0 20 0 1 0 182422381 76926976 12009 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 18781 12009 1805 922 0 10733 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 75124 KiB
Current children cumulated memory: 48036 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.23 4.17 5/242 955247
/proc/meminfo: memFree=127340376/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=102128 memory=69596 CPUtime=12.66 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 13343 0 0 0 1238 28 0 0 20 0 1 0 182422381 104579072 17399 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 25532 17399 1821 922 0 17484 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 102128 KiB
Current children cumulated memory: 69596 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.23 4.17 5/242 955248
/proc/meminfo: memFree=127281332/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=123120 memory=96684 CPUtime=25.43 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 19724 0 0 0 2495 48 0 0 20 0 1 0 182422381 126074880 24171 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 30780 24171 1821 922 0 22732 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 123120 KiB
Current children cumulated memory: 96684 KiB
[startup+51.1127 s]
/proc/loadavg: 4.12 4.20 4.17 5/242 955253
/proc/meminfo: memFree=127193792/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=154296 memory=119380 CPUtime=50.98 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 23340 0 0 0 5011 87 0 0 20 0 1 0 182422381 157999104 29845 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 38574 29845 1837 922 0 30526 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 154296 KiB
Current children cumulated memory: 119380 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.22 4.17 5/242 955263
/proc/meminfo: memFree=127044032/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=202480 memory=165132 CPUtime=102.05 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 29650 0 0 0 10066 139 0 0 20 0 1 0 182422381 207339520 41283 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 50620 41283 1837 922 0 42572 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 202480 KiB
Current children cumulated memory: 165132 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/241 955273
/proc/meminfo: memFree=126957592/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=257836 memory=198428 CPUtime=161.92 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 31311 0 0 0 15991 201 0 0 20 0 1 0 182422381 264024064 49607 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 64459 49607 1837 922 0 56411 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 257836 KiB
Current children cumulated memory: 198428 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.15 4.16 5/243 955288
/proc/meminfo: memFree=126908488/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=275908 memory=232696 CPUtime=221.79 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 35845 0 0 0 21926 253 0 0 20 0 1 0 182422381 282529792 58174 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 68977 58174 1837 922 0 60929 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 275908 KiB
Current children cumulated memory: 232696 KiB
[startup+282.3 s]
/proc/loadavg: 4.56 4.27 4.20 5/243 955298
/proc/meminfo: memFree=126842192/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=284144 memory=240816 CPUtime=281.65 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 37897 0 0 0 27861 304 0 0 20 0 1 0 182422381 290963456 60204 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 71036 60204 1837 922 0 62988 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 284144 KiB
Current children cumulated memory: 240816 KiB
[startup+342.3 s]
/proc/loadavg: 4.49 4.32 4.22 5/243 955309
/proc/meminfo: memFree=126754208/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=379304 memory=291604 CPUtime=341.51 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 41909 0 0 0 33794 357 0 0 20 0 1 0 182422381 388407296 72901 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 94826 72901 1837 922 0 86778 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 379304 KiB
Current children cumulated memory: 291604 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.27 4.21 5/243 955319
/proc/meminfo: memFree=126645608/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=385844 memory=298204 CPUtime=401.37 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 43567 0 0 0 39726 411 0 0 20 0 1 0 182422381 395104256 74551 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 96461 74551 1837 922 0 88413 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 385844 KiB
Current children cumulated memory: 298204 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.25 4.20 5/243 955330
/proc/meminfo: memFree=126625004/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=389528 memory=316092 CPUtime=461.23 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 44539 0 0 0 45684 439 0 0 20 0 1 0 182422381 398876672 79023 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 97382 79023 1837 922 0 89334 0
Current children cumulated CPU time: 461.23 s
Current children cumulated vsize: 389528 KiB
Current children cumulated memory: 316092 KiB
[startup+522.3 s]
/proc/loadavg: 4.11 4.22 4.19 5/241 955343
/proc/meminfo: memFree=126613728/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=394272 memory=321132 CPUtime=521.1 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 45838 0 0 0 51642 468 0 0 20 0 1 0 182422381 403734528 80283 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 98568 80283 1837 922 0 90520 0
Current children cumulated CPU time: 521.1 s
Current children cumulated vsize: 394272 KiB
Current children cumulated memory: 321132 KiB
[startup+582.3 s]
/proc/loadavg: 4.15 4.21 4.18 5/241 955353
/proc/meminfo: memFree=126596832/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=396596 memory=322980 CPUtime=580.96 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 46372 0 0 0 57579 517 0 0 20 0 1 0 182422381 406114304 80745 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 99149 80745 1837 922 0 91101 0
Current children cumulated CPU time: 580.96 s
Current children cumulated vsize: 396596 KiB
Current children cumulated memory: 322980 KiB
[startup+642.3 s]
/proc/loadavg: 4.08 4.18 4.18 5/241 955363
/proc/meminfo: memFree=126573520/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=396852 memory=323344 CPUtime=640.82 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 46481 0 0 0 63515 567 0 0 20 0 1 0 182422381 406376448 80836 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 99213 80836 1837 922 0 91165 0
Current children cumulated CPU time: 640.82 s
Current children cumulated vsize: 396852 KiB
Current children cumulated memory: 323344 KiB
[startup+702.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/241 955375
/proc/meminfo: memFree=126529376/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=397868 memory=324408 CPUtime=700.68 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 46824 0 0 0 69461 607 0 0 20 0 1 0 182422381 407416832 81102 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 99467 81102 1837 922 0 91419 0
Current children cumulated CPU time: 700.68 s
Current children cumulated vsize: 397868 KiB
Current children cumulated memory: 324408 KiB
[startup+762.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/241 955385
/proc/meminfo: memFree=126521300/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=402168 memory=328640 CPUtime=760.54 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 47934 0 0 0 75401 653 0 0 20 0 1 0 182422381 411820032 82160 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 100542 82160 1837 922 0 92494 0
Current children cumulated CPU time: 760.54 s
Current children cumulated vsize: 402168 KiB
Current children cumulated memory: 328640 KiB
[startup+793.05 s]
# the end of solver process 955244 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=784.543 s, system=6.67365 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.10 4.16 4.17 5/241 955385
/proc/meminfo: memFree=126521196/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=402168 memory=328640 CPUtime=766.23 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 47934 0 0 0 75966 657 0 0 20 0 1 0 182422381 411820032 82160 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 100542 82160 1837 922 0 92494 0
Current children cumulated CPU time: 766.23 s
Current children cumulated vsize: 402168 KiB
Current children cumulated memory: 328640 KiB
[startup+780.8 s]
/proc/loadavg: 4.09 4.15 4.17 5/241 955388
/proc/meminfo: memFree=126520320/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=402168 memory=328640 CPUtime=778.99 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 47961 0 0 0 77238 661 0 0 20 0 1 0 182422381 411820032 82160 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 100542 82160 1837 922 0 92494 0
Current children cumulated CPU time: 778.99 s
Current children cumulated vsize: 402168 KiB
Current children cumulated memory: 328640 KiB
[startup+787.2 s]
/proc/loadavg: 4.07 4.14 4.16 5/243 955393
/proc/meminfo: memFree=126519704/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=402168 memory=328640 CPUtime=785.37 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 47973 0 0 0 77873 664 0 0 20 0 1 0 182422381 411820032 82160 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 100542 82160 1837 922 0 92494 0
Current children cumulated CPU time: 785.37 s
Current children cumulated vsize: 402168 KiB
Current children cumulated memory: 328640 KiB
[startup+790.4 s]
/proc/loadavg: 4.07 4.14 4.16 5/243 955394
/proc/meminfo: memFree=126508840/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=402168 memory=340928 CPUtime=788.56 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 47981 0 0 0 78191 665 0 0 20 0 1 0 182422381 411820032 85232 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 100542 85232 1837 922 0 92494 0
Current children cumulated CPU time: 788.56 s
Current children cumulated vsize: 402168 KiB
Current children cumulated memory: 340928 KiB
[startup+792 s]*
/proc/loadavg: 4.15 4.16 4.17 5/243 955394
/proc/meminfo: memFree=126498080/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=402168 memory=349120 CPUtime=790.17 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 47985 0 0 0 78352 665 0 0 20 0 1 0 182422381 411820032 87280 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 100542 87280 1837 922 0 92494 0
Current children cumulated CPU time: 790.17 s
Current children cumulated vsize: 402168 KiB
Current children cumulated memory: 349120 KiB
[startup+792.8 s]
/proc/loadavg: 4.15 4.16 4.17 5/243 955394
/proc/meminfo: memFree=126498080/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=402168 memory=351168 CPUtime=790.96 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 47986 0 0 0 78430 666 0 0 20 0 1 0 182422381 411820032 87792 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 100542 87792 1837 922 0 92494 0
Current children cumulated CPU time: 790.96 s
Current children cumulated vsize: 402168 KiB
Current children cumulated memory: 351168 KiB
[startup+793 s]*
/proc/loadavg: 4.15 4.16 4.17 5/243 955394
/proc/meminfo: memFree=126493548/131655788 swapFree=131071996/131071996
[pid=955244] ppid=955241 vsize=402168 memory=353216 CPUtime=791.17 cores=1,3
/proc/955244/stat : 955244 (roundingsat) R 955241 955244 948251 0 -1 4194304 47987 0 0 0 78451 666 0 0 20 0 1 0 182422381 411820032 88304 134679101440 4194304 7968869 140734987382352 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13996032 140734987383741 140734987383905 140734987383905 140734987390921 0
/proc/955244/statm: 100542 88304 1837 922 0 92494 0
Current children cumulated CPU time: 791.17 s
Current children cumulated vsize: 402168 KiB
Current children cumulated memory: 353216 KiB
Child status: 0
Real time (s): 793.05
CPU time (s): 791.216
CPU user time (s): 784.543
CPU system time (s): 6.67365
CPU usage (%): 99.7687
Max. virtual memory (cumulated for all children) (KiB): 402168
Max. memory (cumulated for all children) (KiB): 353216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 784.543
system time used= 6.67365
maximum resident set size= 353216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47995
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= 605
# summary of solver processes directly reported to runsolver:
# pid: 955244
# total CPU time (s): 791.216
# total CPU user time (s): 784.543
# total CPU system time (s): 6.67365
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.94586 second user time and 7.40321 second system time
The end
Begin job on nodeC002 at 2024-07-18 13:37:36
IDJOB=4443010
IDBENCH=147860
IDSOLVER=3051
FILE ID=nodeC002/4443010-1721302643
RUNJOBID= nodeC002-1721293749-948263
SLURM_JOB_ID= 7542591
Free space on /tmp= 723752 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-4443010-1721302643/watcher-4443010-1721302643 -o /tmp/evaluation-result-4443010-1721302643/solver-4443010-1721302643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721293749-948263 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4443010-1721302643.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 946fa793c8e40fdbe884453e390b9fbe
RANDOM SEED=1425943463
nodeC002.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 : 0xb00001f
cpu MHz : 3674.232
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1334.852
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.320
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1556.497
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3676.140
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3338.856
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.339
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.217
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127452828 kB
MemAvailable: 128796832 kB
Buffers: 515276 kB
Cached: 1656552 kB
SwapCached: 0 kB
Active: 923312 kB
Inactive: 2705244 kB
Active(anon): 2692 kB
Inactive(anon): 1491772 kB
Active(file): 920620 kB
Inactive(file): 1213472 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14004 kB
Writeback: 0 kB
AnonPages: 1454012 kB
Mapped: 111668 kB
Shmem: 37704 kB
KReclaimable: 99884 kB
Slab: 202980 kB
SReclaimable: 99884 kB
SUnreclaim: 103096 kB
KernelStack: 3920 kB
PageTables: 12032 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1830764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59040 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1206272 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: 205640 kB
DirectMap2M: 21719040 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 723748 MiB
End job on nodeC002 at 2024-07-18 13:50:49