0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4502328-1751414836.opb'
0.18/0.24 c read 15.73MB (231.62ms)
0.18/0.24 c [cnf: #variables 10080 #clauses 453 #duplicates 280 #arr 1039360]
0.18/0.24 c
0.18/0.24 c make graph and approximate orbits
0.18/0.30 c [group: #orbits ~= 672] (52.78ms)
0.18/0.30 c
0.18/0.30 c detect special group actions
0.18/0.30 c probe for Johnson action (limit=64)
0.18/0.30 c probe for row-column symmetry (limit=64, splits=16.78M)
0.18/0.31 c probe for row symmetry (limit=64, splits=16.78M)
0.28/0.32 c (20.39ms)
0.28/0.32 c
0.28/0.32 c detect symmetries on remainder
0.28/0.32 c [graph: #vertices 40773 #edges 2139200]
0.28/0.32 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.28/0.35 c [group: #symmetries 4.16*10^1066 #generators 3417] (31.84ms)
0.28/0.35 c
0.28/0.35 c optimize generators (opt_passes=64, conjugate_limit=256)
0.28/0.35 c ran it=0, +gens=3
0.38/0.46 c con best_support=4, best_gens=3360, +gens=71
0.38/0.46 c (114.28ms)
0.38/0.46 c
0.38/0.46 c finalize break order and special generators
0.38/0.46 c
0.38/0.46 c add generic predicates (break_depth=20)
0.38/0.46 c added predicates for 3491 generators (1.19ms)
0.38/0.46 c
0.38/0.46 c generation finished
0.38/0.46 c [sbp: #constraints 6854 #add_vars 1121]
0.38/0.46 c
0.38/0.46 c write result to 'HOME/instance-4502328-1751414836.opb.pre'
0.38/0.48 c wrote 9.47MB (19.82ms)
0.38/0.48 c ------------------------------------------------------------------
0.38/0.48 c 231.61ms 48.92% parse
0.38/0.48 c 114.28ms 24.14% optimize_gens
0.38/0.48 c 52.78ms 11.15% approx_orbits
0.38/0.48 c 31.84ms 6.73% detect_generic
0.38/0.48 c 20.39ms 4.31% detect_special
0.38/0.48 c 19.82ms 4.19% output
0.38/0.48 c 1.19ms 0.25% break_generic
0.38/0.48 c 0.80ms 0.17% finalize_order
0.38/0.48 c 0.74ms 0.16% other
0.38/0.48 c ───────────────────────────────────────────────
0.38/0.48 c 473.45ms 100% total
0.38/0.48 c ------------------------------------------------------------------
0.38/0.50 c RoundingSat 2
0.38/0.50 c branch pb25
0.38/0.50 c commit 63f22ad
0.76/0.83 c #variables 11201 #constraints 7306
0.76/0.83 c objective is ce32
0.76/0.83 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.76/0.83 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.76/0.83 c bounds - >= 0 @ 0.29635
2.45/2.53 c bounds 17 >= 0 @ 1.91469
2.45/2.55 c bounds 17 >= 1 @ 1.92422
2.45/2.56 c bounds 17 >= 4 @ 1.93114
2.45/2.58 c bounds 17 >= 5 @ 1.946
2.56/2.60 c bounds 17 >= 6 @ 1.96313
2.66/2.76 c bounds 17 >= 7 @ 2.10036
3.15/3.21 c bounds 17 >= 8 @ 2.52133
6.64/6.70 c #Conflicts: 1000 | #Constraints: 8357
6.64/6.70 c bounds 17 >= 9 @ 5.90322
7.15/7.26 c bounds 16 >= 9 @ 6.43372
7.35/7.44 c bounds 15 >= 9 @ 6.60752
66.59/66.89 c #Conflicts: 2000 | #Constraints: 9377
66.59/66.89 c INPROCESSING
66.59/66.89 c GARBAGE COLLECT
66.59/66.89 c #Conflicts: 3000 | #Constraints: 9378
66.59/66.89 c #Conflicts: 4000 | #Constraints: 10380
66.59/66.89 c INPROCESSING
66.59/66.89 c GARBAGE COLLECT
66.59/66.89 c #Conflicts: 5000 | #Constraints: 9784
66.59/66.89 c #Conflicts: 6000 | #Constraints: 10785
66.59/66.89 c INPROCESSING
66.59/66.89 c GARBAGE COLLECT
66.59/66.89 c #Conflicts: 7000 | #Constraints: 9732
66.59/66.89 c #Conflicts: 8000 | #Constraints: 10732
66.59/66.89 c #Conflicts: 9000 | #Constraints: 11732
66.59/66.89 c INPROCESSING
66.59/66.89 c GARBAGE COLLECT
66.59/66.89 c #Conflicts: 10000 | #Constraints: 10441
66.59/66.89 c #Conflicts: 11000 | #Constraints: 11441
66.59/66.89 c bounds 15 >= 10 @ 65.0677
81.35/81.64 c #Conflicts: 12000 | #Constraints: 12459
81.35/81.64 c INPROCESSING
81.35/81.64 c GARBAGE COLLECT
81.35/81.64 c #Conflicts: 13000 | #Constraints: 10896
81.35/81.64 c #Conflicts: 14000 | #Constraints: 11899
81.35/81.64 c #Conflicts: 15000 | #Constraints: 12900
81.35/81.64 c INPROCESSING
81.35/81.64 c GARBAGE COLLECT
81.35/81.64 c rational objective 13.8628
124.14/124.57 c #Conflicts: 16000 | #Constraints: 11141
124.14/124.57 c #Conflicts: 17000 | #Constraints: 12148
124.14/124.57 c #Conflicts: 18000 | #Constraints: 13152
124.14/124.57 c INPROCESSING
124.14/124.57 c GARBAGE COLLECT
124.14/124.57 c #Conflicts: 19000 | #Constraints: 11150
124.14/124.57 c #Conflicts: 20000 | #Constraints: 12151
124.14/124.57 c #Conflicts: 21000 | #Constraints: 13151
124.14/124.57 c INPROCESSING
124.14/124.57 c GARBAGE COLLECT
124.14/124.57 c rational objective 13.8698
158.85/159.35 c #Conflicts: 22000 | #Constraints: 10938
158.85/159.35 c #Conflicts: 23000 | #Constraints: 11940
158.85/159.35 c #Conflicts: 24000 | #Constraints: 12941
158.85/159.35 c #Conflicts: 25000 | #Constraints: 13943
158.85/159.35 c INPROCESSING
158.85/159.35 c GARBAGE COLLECT
158.85/159.35 c rational objective 13.8698
245.63/246.39 c #Conflicts: 26000 | #Constraints: 11508
245.63/246.39 c #Conflicts: 27000 | #Constraints: 12509
245.63/246.39 c #Conflicts: 28000 | #Constraints: 13515
245.63/246.39 c #Conflicts: 29000 | #Constraints: 14517
245.63/246.39 c INPROCESSING
245.63/246.39 c GARBAGE COLLECT
245.63/246.39 c #Conflicts: 30000 | #Constraints: 11913
245.63/246.39 c #Conflicts: 31000 | #Constraints: 12913
245.63/246.39 c #Conflicts: 32000 | #Constraints: 13913
245.63/246.39 c #Conflicts: 33000 | #Constraints: 14914
245.63/246.39 c INPROCESSING
245.63/246.39 c GARBAGE COLLECT
245.63/246.39 c #Conflicts: 34000 | #Constraints: 12076
245.63/246.39 c #Conflicts: 35000 | #Constraints: 13076
245.63/246.39 c #Conflicts: 36000 | #Constraints: 14077
245.63/246.39 c #Conflicts: 37000 | #Constraints: 15080
245.63/246.39 c INPROCESSING
245.63/246.39 c GARBAGE COLLECT
245.63/246.39 c rational objective 13.8744
313.75/314.70 c #Conflicts: 38000 | #Constraints: 12107
313.75/314.70 c #Conflicts: 39000 | #Constraints: 13108
313.75/314.70 c #Conflicts: 40000 | #Constraints: 14109
313.75/314.70 c #Conflicts: 41000 | #Constraints: 15109
313.75/314.70 c INPROCESSING
313.75/314.70 c GARBAGE COLLECT
313.75/314.70 c #Conflicts: 42000 | #Constraints: 11874
313.75/314.70 c #Conflicts: 43000 | #Constraints: 12876
313.75/314.70 c #Conflicts: 44000 | #Constraints: 13876
313.75/314.70 c #Conflicts: 45000 | #Constraints: 14876
313.75/314.70 c #Conflicts: 46000 | #Constraints: 15878
313.75/314.70 c INPROCESSING
313.75/314.70 c GARBAGE COLLECT
313.75/314.70 c rational objective 13.8744
391.06/392.11 c #Conflicts: 47000 | #Constraints: 12455
391.06/392.11 c #Conflicts: 48000 | #Constraints: 13456
391.06/392.11 c #Conflicts: 49000 | #Constraints: 14456
391.06/392.11 c #Conflicts: 50000 | #Constraints: 15457
391.06/392.11 c #Conflicts: 51000 | #Constraints: 16457
391.06/392.11 c INPROCESSING
391.06/392.11 c GARBAGE COLLECT
391.06/392.11 c #Conflicts: 52000 | #Constraints: 12854
391.06/392.11 c #Conflicts: 53000 | #Constraints: 13854
391.06/392.11 c #Conflicts: 54000 | #Constraints: 14855
391.06/392.11 c #Conflicts: 55000 | #Constraints: 15857
391.06/392.11 c #Conflicts: 56000 | #Constraints: 16857
391.06/392.11 c INPROCESSING
391.06/392.11 c GARBAGE COLLECT
391.06/392.11 c rational objective 13.8749
433.44/434.63 c #Conflicts: 57000 | #Constraints: 13028
433.44/434.63 c #Conflicts: 58000 | #Constraints: 14028
433.44/434.63 c #Conflicts: 59000 | #Constraints: 15028
433.44/434.63 c #Conflicts: 60000 | #Constraints: 16028
433.44/434.63 c #Conflicts: 61000 | #Constraints: 17028
433.44/434.63 c INPROCESSING
433.44/434.63 c GARBAGE COLLECT
433.44/434.63 c rational objective 13.8749
484.31/485.68 c #Conflicts: 62000 | #Constraints: 13042
484.31/485.68 c #Conflicts: 63000 | #Constraints: 14058
484.31/485.68 c #Conflicts: 64000 | #Constraints: 15060
484.31/485.68 c #Conflicts: 65000 | #Constraints: 16060
484.31/485.68 c #Conflicts: 66000 | #Constraints: 17061
484.31/485.68 c INPROCESSING
484.31/485.68 c GARBAGE COLLECT
484.31/485.68 c rational objective 13.8749
542.67/544.11 c #Conflicts: 67000 | #Constraints: 12821
542.67/544.11 c #Conflicts: 68000 | #Constraints: 13821
542.67/544.11 c #Conflicts: 69000 | #Constraints: 14824
542.67/544.11 c #Conflicts: 70000 | #Constraints: 15824
542.67/544.11 c #Conflicts: 71000 | #Constraints: 16825
542.67/544.11 c #Conflicts: 72000 | #Constraints: 17825
542.67/544.11 c INPROCESSING
542.67/544.11 c GARBAGE COLLECT
542.67/544.11 c rational objective 13.8755
585.56/587.13 c #Conflicts: 73000 | #Constraints: 13402
585.56/587.13 c #Conflicts: 74000 | #Constraints: 14402
585.56/587.13 c #Conflicts: 75000 | #Constraints: 15402
585.56/587.13 c #Conflicts: 76000 | #Constraints: 16402
585.56/587.13 c #Conflicts: 77000 | #Constraints: 17402
585.56/587.13 c #Conflicts: 78000 | #Constraints: 18402
585.56/587.13 c INPROCESSING
585.56/587.13 c GARBAGE COLLECT
585.56/587.13 c rational objective 13.8756
637.71/639.48 c #Conflicts: 79000 | #Constraints: 13783
637.71/639.48 c #Conflicts: 80000 | #Constraints: 14783
637.71/639.48 c #Conflicts: 81000 | #Constraints: 15783
637.71/639.48 c #Conflicts: 82000 | #Constraints: 16783
637.71/639.48 c #Conflicts: 83000 | #Constraints: 17784
637.71/639.48 c #Conflicts: 84000 | #Constraints: 18789
637.71/639.48 c INPROCESSING
637.71/639.48 c GARBAGE COLLECT
637.71/639.48 c rational objective 13.8757
685.98/687.86 c #Conflicts: 85000 | #Constraints: 13976
685.98/687.86 c #Conflicts: 86000 | #Constraints: 14977
685.98/687.86 c #Conflicts: 87000 | #Constraints: 15977
685.98/687.86 c #Conflicts: 88000 | #Constraints: 16977
685.98/687.86 c #Conflicts: 89000 | #Constraints: 17977
685.98/687.86 c #Conflicts: 90000 | #Constraints: 18977
685.98/687.86 c INPROCESSING
685.98/687.86 c GARBAGE COLLECT
685.98/687.86 c rational objective 13.8762
759.40/761.47 c #Conflicts: 91000 | #Constraints: 13961
759.40/761.47 c #Conflicts: 92000 | #Constraints: 14964
759.40/761.47 c #Conflicts: 93000 | #Constraints: 15966
759.40/761.47 c #Conflicts: 94000 | #Constraints: 16967
759.40/761.47 c #Conflicts: 95000 | #Constraints: 17967
759.40/761.47 c #Conflicts: 96000 | #Constraints: 18968
759.40/761.47 c INPROCESSING
759.40/761.47 c GARBAGE COLLECT
759.40/761.47 c rational objective 13.8762
827.93/830.13 c #Conflicts: 97000 | #Constraints: 13744
827.93/830.13 c #Conflicts: 98000 | #Constraints: 14744
827.93/830.13 c #Conflicts: 99000 | #Constraints: 15749
827.93/830.13 c #Conflicts: 100000 | #Constraints: 16752
827.93/830.13 c #Conflicts: 101000 | #Constraints: 17761
827.93/830.13 c #Conflicts: 102000 | #Constraints: 18765
827.93/830.13 c #Conflicts: 103000 | #Constraints: 19767
827.93/830.13 c INPROCESSING
827.93/830.13 c GARBAGE COLLECT
827.93/830.13 c rational objective 13.875
887.46/889.82 c #Conflicts: 104000 | #Constraints: 14366
887.46/889.82 c #Conflicts: 105000 | #Constraints: 15367
887.46/889.82 c #Conflicts: 106000 | #Constraints: 16368
887.46/889.82 c #Conflicts: 107000 | #Constraints: 17368
887.46/889.82 c #Conflicts: 108000 | #Constraints: 18368
887.46/889.82 c #Conflicts: 109000 | #Constraints: 19368
887.46/889.82 c #Conflicts: 110000 | #Constraints: 20368
887.46/889.82 c INPROCESSING
887.46/889.82 c GARBAGE COLLECT
887.46/889.82 c #Conflicts: 111000 | #Constraints: 14778
887.46/889.82 c bounds 15 >= 11 @ 879.899
1070.56/1073.44 c #Conflicts: 112000 | #Constraints: 15799
1070.56/1073.44 c #Conflicts: 113000 | #Constraints: 16799
1070.56/1073.44 c #Conflicts: 114000 | #Constraints: 17800
1070.56/1073.44 c #Conflicts: 115000 | #Constraints: 18800
1070.56/1073.44 c #Conflicts: 116000 | #Constraints: 19801
1070.56/1073.44 c #Conflicts: 117000 | #Constraints: 20802
1070.56/1073.44 c INPROCESSING
1070.56/1073.44 c GARBAGE COLLECT
1070.56/1073.44 c #Conflicts: 118000 | #Constraints: 14951
1070.56/1073.44 c #Conflicts: 119000 | #Constraints: 15952
1070.56/1073.44 c #Conflicts: 120000 | #Constraints: 16953
1070.56/1073.44 c #Conflicts: 121000 | #Constraints: 17954
1070.56/1073.44 c #Conflicts: 122000 | #Constraints: 18954
1070.56/1073.44 c #Conflicts: 123000 | #Constraints: 19954
1070.56/1073.44 c #Conflicts: 124000 | #Constraints: 20954
1070.56/1073.44 c INPROCESSING
1070.56/1073.44 c GARBAGE COLLECT
1070.56/1073.44 c #Conflicts: 125000 | #Constraints: 14900
1070.56/1073.44 c #Conflicts: 126000 | #Constraints: 15901
1070.56/1073.44 c #Conflicts: 127000 | #Constraints: 16901
1070.56/1073.44 c #Conflicts: 128000 | #Constraints: 17904
1070.56/1073.44 c #Conflicts: 129000 | #Constraints: 18906
1070.56/1073.44 c #Conflicts: 130000 | #Constraints: 19909
1070.56/1073.44 c #Conflicts: 131000 | #Constraints: 20910
1070.56/1073.44 c INPROCESSING
1070.56/1073.44 c GARBAGE COLLECT
1070.56/1073.44 c rational objective 13.875
1190.94/1194.14 c #Conflicts: 132000 | #Constraints: 14705
1190.94/1194.14 c #Conflicts: 133000 | #Constraints: 15706
1190.94/1194.14 c #Conflicts: 134000 | #Constraints: 16706
1190.94/1194.14 c #Conflicts: 135000 | #Constraints: 17706
1190.94/1194.14 c #Conflicts: 136000 | #Constraints: 18707
1190.94/1194.14 c #Conflicts: 137000 | #Constraints: 19707
1190.94/1194.14 c #Conflicts: 138000 | #Constraints: 20707
1190.94/1194.14 c #Conflicts: 139000 | #Constraints: 21707
1190.94/1194.14 c INPROCESSING
1190.94/1194.14 c GARBAGE COLLECT
1190.94/1194.14 c #Conflicts: 140000 | #Constraints: 15279
1190.94/1194.14 c #Conflicts: 141000 | #Constraints: 16279
1190.94/1194.14 c #Conflicts: 142000 | #Constraints: 17279
1190.94/1194.14 c #Conflicts: 143000 | #Constraints: 18279
1190.94/1194.14 c #Conflicts: 144000 | #Constraints: 19280
1190.94/1194.14 c #Conflicts: 145000 | #Constraints: 20282
1190.94/1194.14 c #Conflicts: 146000 | #Constraints: 21284
1190.94/1194.14 c #Conflicts: 147000 | #Constraints: 22286
1190.94/1194.14 c INPROCESSING
1190.94/1194.14 c GARBAGE COLLECT
1190.94/1194.14 c rational objective 13.875
1263.35/1266.71 c #Conflicts: 148000 | #Constraints: 15672
1263.35/1266.71 c #Conflicts: 149000 | #Constraints: 16673
1263.35/1266.71 c #Conflicts: 150000 | #Constraints: 17674
1263.35/1266.71 c #Conflicts: 151000 | #Constraints: 18675
1263.35/1266.71 c #Conflicts: 152000 | #Constraints: 19677
1263.35/1266.71 c #Conflicts: 153000 | #Constraints: 20678
1263.35/1266.71 c #Conflicts: 154000 | #Constraints: 21679
1263.35/1266.71 c #Conflicts: 155000 | #Constraints: 22680
1263.35/1266.71 c INPROCESSING
1263.35/1266.71 c GARBAGE COLLECT
1263.35/1266.71 c rational objective 13.875
1412.75/1416.55 c #Conflicts: 156000 | #Constraints: 15851
1412.75/1416.55 c #Conflicts: 157000 | #Constraints: 16851
1412.75/1416.55 c #Conflicts: 158000 | #Constraints: 17854
1412.75/1416.55 c #Conflicts: 159000 | #Constraints: 18856
1412.75/1416.55 c #Conflicts: 160000 | #Constraints: 19859
1412.75/1416.55 c #Conflicts: 161000 | #Constraints: 20861
1412.75/1416.55 c #Conflicts: 162000 | #Constraints: 21863
1412.75/1416.55 c #Conflicts: 163000 | #Constraints: 22868
1412.75/1416.55 c INPROCESSING
1412.75/1416.55 c GARBAGE COLLECT
1412.75/1416.55 c #Conflicts: 164000 | #Constraints: 15864
1412.75/1416.55 c #Conflicts: 165000 | #Constraints: 16865
1412.75/1416.55 c #Conflicts: 166000 | #Constraints: 17865
1412.75/1416.55 c #Conflicts: 167000 | #Constraints: 18867
1412.75/1416.55 c #Conflicts: 168000 | #Constraints: 19869
1412.75/1416.55 c #Conflicts: 169000 | #Constraints: 20870
1412.75/1416.55 c #Conflicts: 170000 | #Constraints: 21871
1412.75/1416.55 c #Conflicts: 171000 | #Constraints: 22872
1412.75/1416.55 c INPROCESSING
1412.75/1416.55 c GARBAGE COLLECT
1412.75/1416.55 c rational objective 13.875
1487.65/1491.63 c #Conflicts: 172000 | #Constraints: 15621
1487.65/1491.63 c #Conflicts: 173000 | #Constraints: 16622
1487.65/1491.63 c #Conflicts: 174000 | #Constraints: 17622
1487.65/1491.63 c #Conflicts: 175000 | #Constraints: 18622
1487.65/1491.63 c #Conflicts: 176000 | #Constraints: 19622
1487.65/1491.63 c #Conflicts: 177000 | #Constraints: 20623
1487.65/1491.63 c #Conflicts: 178000 | #Constraints: 21624
1487.65/1491.63 c #Conflicts: 179000 | #Constraints: 22625
1487.65/1491.63 c #Conflicts: 180000 | #Constraints: 23626
1487.65/1491.63 c INPROCESSING
1487.65/1491.63 c GARBAGE COLLECT
1487.65/1491.63 c rational objective 13.875
1570.33/1574.58 c #Conflicts: 181000 | #Constraints: 16226
1570.33/1574.58 c #Conflicts: 182000 | #Constraints: 17226
1570.33/1574.58 c #Conflicts: 183000 | #Constraints: 18227
1570.33/1574.58 c #Conflicts: 184000 | #Constraints: 19230
1570.33/1574.58 c #Conflicts: 185000 | #Constraints: 20234
1570.33/1574.58 c #Conflicts: 186000 | #Constraints: 21238
1570.33/1574.58 c #Conflicts: 187000 | #Constraints: 22239
1570.33/1574.58 c #Conflicts: 188000 | #Constraints: 23241
1570.33/1574.58 c #Conflicts: 189000 | #Constraints: 24244
1570.33/1574.58 c INPROCESSING
1570.33/1574.58 c GARBAGE COLLECT
1570.33/1574.58 c rational objective 13.8752
1645.64/1650.04 c #Conflicts: 190000 | #Constraints: 16645
1645.64/1650.04 c #Conflicts: 191000 | #Constraints: 17645
1645.64/1650.04 c #Conflicts: 192000 | #Constraints: 18646
1645.64/1650.04 c #Conflicts: 193000 | #Constraints: 19646
1645.64/1650.04 c #Conflicts: 194000 | #Constraints: 20646
1645.64/1650.04 c #Conflicts: 195000 | #Constraints: 21646
1645.64/1650.04 c #Conflicts: 196000 | #Constraints: 22647
1645.64/1650.04 c #Conflicts: 197000 | #Constraints: 23647
1645.64/1650.04 c #Conflicts: 198000 | #Constraints: 24648
1645.64/1650.04 c INPROCESSING
1645.64/1650.04 c GARBAGE COLLECT
1645.64/1650.04 c rational objective 13.8752
1725.53/1730.13 c #Conflicts: 199000 | #Constraints: 16818
1725.53/1730.13 c #Conflicts: 200000 | #Constraints: 17819
1725.53/1730.13 c #Conflicts: 201000 | #Constraints: 18820
1725.53/1730.13 c #Conflicts: 202000 | #Constraints: 19820
1725.53/1730.13 c #Conflicts: 203000 | #Constraints: 20820
1725.53/1730.13 c #Conflicts: 204000 | #Constraints: 21821
1725.53/1730.13 c #Conflicts: 205000 | #Constraints: 22822
1725.53/1730.13 c #Conflicts: 206000 | #Constraints: 23824
1725.53/1730.13 c #Conflicts: 207000 | #Constraints: 24824
1725.53/1730.13 c INPROCESSING
1725.53/1730.13 c GARBAGE COLLECT
1725.53/1730.13 c rational objective 13.8752
1804.72/1809.58 c #Conflicts: 208000 | #Constraints: 16760
1804.72/1809.58 c #Conflicts: 209000 | #Constraints: 17761
1804.72/1809.58 c #Conflicts: 210000 | #Constraints: 18762
1804.72/1809.58 c #Conflicts: 211000 | #Constraints: 19763
1804.72/1809.58 c #Conflicts: 212000 | #Constraints: 20764
1804.72/1809.58 c #Conflicts: 213000 | #Constraints: 21764
1804.72/1809.58 c #Conflicts: 214000 | #Constraints: 22764
1804.72/1809.58 c #Conflicts: 215000 | #Constraints: 23765
1804.72/1809.58 c #Conflicts: 216000 | #Constraints: 24766
1804.72/1809.58 c INPROCESSING
1804.72/1809.58 c GARBAGE COLLECT
1804.72/1809.58 c rational objective 13.8753
1895.48/1900.54 c #Conflicts: 217000 | #Constraints: 16542
1895.48/1900.54 c #Conflicts: 218000 | #Constraints: 17546
1895.48/1900.54 c #Conflicts: 219000 | #Constraints: 18546
1895.48/1900.54 c #Conflicts: 220000 | #Constraints: 19547
1895.48/1900.54 c #Conflicts: 221000 | #Constraints: 20547
1895.48/1900.54 c #Conflicts: 222000 | #Constraints: 21547
1895.48/1900.54 c #Conflicts: 223000 | #Constraints: 22547
1895.48/1900.54 c #Conflicts: 224000 | #Constraints: 23547
1895.48/1900.54 c #Conflicts: 225000 | #Constraints: 24547
1895.48/1900.54 c #Conflicts: 226000 | #Constraints: 25548
1895.48/1900.54 c INPROCESSING
1895.48/1900.54 c GARBAGE COLLECT
1895.48/1900.54 c rational objective 13.8753
2294.45/2300.53 c #Conflicts: 227000 | #Constraints: 17179
2294.45/2300.53 c #Conflicts: 228000 | #Constraints: 18179
2294.45/2300.53 c #Conflicts: 229000 | #Constraints: 19179
2294.45/2300.53 c #Conflicts: 230000 | #Constraints: 20179
2294.45/2300.53 c #Conflicts: 231000 | #Constraints: 21179
2294.45/2300.53 c #Conflicts: 232000 | #Constraints: 22179
2294.45/2300.53 c #Conflicts: 233000 | #Constraints: 23179
2294.45/2300.53 c #Conflicts: 234000 | #Constraints: 24179
2294.45/2300.53 c #Conflicts: 235000 | #Constraints: 25179
2294.45/2300.53 c #Conflicts: 236000 | #Constraints: 26179
2294.45/2300.53 c INPROCESSING
2294.45/2300.53 c GARBAGE COLLECT
2294.45/2300.53 c #Conflicts: 237000 | #Constraints: 17528
2294.45/2300.53 c #Conflicts: 238000 | #Constraints: 18528
2294.45/2300.53 c #Conflicts: 239000 | #Constraints: 19528
2294.45/2300.53 c #Conflicts: 240000 | #Constraints: 20529
2294.45/2300.53 c #Conflicts: 241000 | #Constraints: 21529
2294.45/2300.53 c #Conflicts: 242000 | #Constraints: 22529
2294.45/2300.53 c #Conflicts: 243000 | #Constraints: 23529
2294.45/2300.53 c #Conflicts: 244000 | #Constraints: 24529
2294.45/2300.53 c #Conflicts: 245000 | #Constraints: 25529
2294.45/2300.53 c #Conflicts: 246000 | #Constraints: 26529
2294.45/2300.53 c INPROCESSING
2294.45/2300.53 c GARBAGE COLLECT
2294.45/2300.53 c #Conflicts: 247000 | #Constraints: 17717
2294.45/2300.53 c #Conflicts: 248000 | #Constraints: 18718
2294.45/2300.53 c #Conflicts: 249000 | #Constraints: 19720
2294.45/2300.53 c #Conflicts: 250000 | #Constraints: 20726
2294.45/2300.53 c #Conflicts: 251000 | #Constraints: 21726
2294.45/2300.53 c #Conflicts: 252000 | #Constraints: 22726
2294.45/2300.53 c #Conflicts: 253000 | #Constraints: 23726
2294.45/2300.53 c #Conflicts: 254000 | #Constraints: 24726
2294.45/2300.53 c #Conflicts: 255000 | #Constraints: 25726
2294.45/2300.53 c #Conflicts: 256000 | #Constraints: 26727
2294.45/2300.53 c INPROCESSING
2294.45/2300.53 c GARBAGE COLLECT
2294.45/2300.53 c #Conflicts: 257000 | #Constraints: 17713
2294.45/2300.53 c #Conflicts: 258000 | #Constraints: 18713
2294.45/2300.53 c #Conflicts: 259000 | #Constraints: 19713
2294.45/2300.53 c #Conflicts: 260000 | #Constraints: 20713
2294.45/2300.53 c #Conflicts: 261000 | #Constraints: 21713
2294.45/2300.53 c #Conflicts: 262000 | #Constraints: 22713
2294.45/2300.53 c #Conflicts: 263000 | #Constraints: 23713
2294.45/2300.53 c #Conflicts: 264000 | #Constraints: 24713
2294.45/2300.53 c #Conflicts: 265000 | #Constraints: 25713
2294.45/2300.53 c #Conflicts: 266000 | #Constraints: 26713
2294.45/2300.53 c INPROCESSING
2294.45/2300.53 c GARBAGE COLLECT
2294.45/2300.53 c rational objective 13.8752
2505.11/2511.79 c #Conflicts: 267000 | #Constraints: 17489
2505.11/2511.79 c #Conflicts: 268000 | #Constraints: 18489
2505.11/2511.79 c #Conflicts: 269000 | #Constraints: 19489
2505.11/2511.79 c #Conflicts: 270000 | #Constraints: 20490
2505.11/2511.79 c #Conflicts: 271000 | #Constraints: 21491
2505.11/2511.79 c #Conflicts: 272000 | #Constraints: 22491
2505.11/2511.79 c #Conflicts: 273000 | #Constraints: 23491
2505.11/2511.79 c #Conflicts: 274000 | #Constraints: 24491
2505.11/2511.79 c #Conflicts: 275000 | #Constraints: 25491
2505.11/2511.79 c #Conflicts: 276000 | #Constraints: 26492
2505.11/2511.79 c #Conflicts: 277000 | #Constraints: 27492
2505.11/2511.79 c INPROCESSING
2505.11/2511.79 c GARBAGE COLLECT
2505.11/2511.79 c #Conflicts: 278000 | #Constraints: 18063
2505.11/2511.79 c #Conflicts: 279000 | #Constraints: 19063
2505.11/2511.79 c #Conflicts: 280000 | #Constraints: 20063
2505.11/2511.79 c #Conflicts: 281000 | #Constraints: 21063
2505.11/2511.79 c #Conflicts: 282000 | #Constraints: 22063
2505.11/2511.79 c #Conflicts: 283000 | #Constraints: 23063
2505.11/2511.79 c #Conflicts: 284000 | #Constraints: 24063
2505.11/2511.79 c #Conflicts: 285000 | #Constraints: 25063
2505.11/2511.79 c #Conflicts: 286000 | #Constraints: 26064
2505.11/2511.79 c #Conflicts: 287000 | #Constraints: 27066
2505.11/2511.79 c #Conflicts: 288000 | #Constraints: 28067
2505.11/2511.79 c INPROCESSING
2505.11/2511.79 c GARBAGE COLLECT
2505.11/2511.79 c rational objective 13.8753
2634.88/2641.83 c #Conflicts: 289000 | #Constraints: 18476
2634.88/2641.83 c #Conflicts: 290000 | #Constraints: 19477
2634.88/2641.83 c #Conflicts: 291000 | #Constraints: 20477
2634.88/2641.83 c #Conflicts: 292000 | #Constraints: 21477
2634.88/2641.83 c #Conflicts: 293000 | #Constraints: 22477
2634.88/2641.83 c #Conflicts: 294000 | #Constraints: 23477
2634.88/2641.83 c #Conflicts: 295000 | #Constraints: 24477
2634.88/2641.83 c #Conflicts: 296000 | #Constraints: 25478
2634.88/2641.83 c #Conflicts: 297000 | #Constraints: 26478
2634.88/2641.83 c #Conflicts: 298000 | #Constraints: 27478
2634.88/2641.83 c #Conflicts: 299000 | #Constraints: 28478
2634.88/2641.83 c INPROCESSING
2634.88/2641.83 c GARBAGE COLLECT
2634.88/2641.83 c rational objective 13.8754
2723.95/2731.17 c #Conflicts: 300000 | #Constraints: 18650
2723.95/2731.17 c #Conflicts: 301000 | #Constraints: 19650
2723.95/2731.17 c #Conflicts: 302000 | #Constraints: 20650
2723.95/2731.17 c #Conflicts: 303000 | #Constraints: 21650
2723.95/2731.17 c #Conflicts: 304000 | #Constraints: 22650
2723.95/2731.17 c #Conflicts: 305000 | #Constraints: 23650
2723.95/2731.17 c #Conflicts: 306000 | #Constraints: 24650
2723.95/2731.17 c #Conflicts: 307000 | #Constraints: 25650
2723.95/2731.17 c #Conflicts: 308000 | #Constraints: 26650
2723.95/2731.17 c #Conflicts: 309000 | #Constraints: 27650
2723.95/2731.17 c #Conflicts: 310000 | #Constraints: 28650
2723.95/2731.17 c INPROCESSING
2723.95/2731.17 c GARBAGE COLLECT
2723.95/2731.17 c rational objective 13.8755
2845.73/2853.20 c #Conflicts: 311000 | #Constraints: 18612
2845.73/2853.20 c #Conflicts: 312000 | #Constraints: 19612
2845.73/2853.20 c #Conflicts: 313000 | #Constraints: 20612
2845.73/2853.20 c #Conflicts: 314000 | #Constraints: 21612
2845.73/2853.20 c #Conflicts: 315000 | #Constraints: 22612
2845.73/2853.20 c #Conflicts: 316000 | #Constraints: 23612
2845.73/2853.20 c #Conflicts: 317000 | #Constraints: 24612
2845.73/2853.20 c #Conflicts: 318000 | #Constraints: 25612
2845.73/2853.20 c #Conflicts: 319000 | #Constraints: 26612
2845.73/2853.20 c #Conflicts: 320000 | #Constraints: 27613
2845.73/2853.20 c #Conflicts: 321000 | #Constraints: 28613
2845.73/2853.20 c INPROCESSING
2845.73/2853.20 c GARBAGE COLLECT
2845.73/2853.20 c rational objective 13.8754
2967.92/2975.72 c #Conflicts: 322000 | #Constraints: 18397
2967.92/2975.72 c #Conflicts: 323000 | #Constraints: 19397
2967.92/2975.72 c #Conflicts: 324000 | #Constraints: 20399
2967.92/2975.72 c #Conflicts: 325000 | #Constraints: 21400
2967.92/2975.72 c #Conflicts: 326000 | #Constraints: 22402
2967.92/2975.72 c #Conflicts: 327000 | #Constraints: 23405
2967.92/2975.72 c #Conflicts: 328000 | #Constraints: 24405
2967.92/2975.72 c #Conflicts: 329000 | #Constraints: 25408
2967.92/2975.72 c #Conflicts: 330000 | #Constraints: 26413
2967.92/2975.72 c #Conflicts: 331000 | #Constraints: 27418
2967.92/2975.72 c #Conflicts: 332000 | #Constraints: 28421
2967.92/2975.72 c #Conflicts: 333000 | #Constraints: 29424
2967.92/2975.72 c INPROCESSING
2967.92/2975.72 c GARBAGE COLLECT
2967.92/2975.72 c rational objective 13.8754
3088.02/3096.13 c #Conflicts: 334000 | #Constraints: 18998
3088.02/3096.13 c #Conflicts: 335000 | #Constraints: 19999
3088.02/3096.13 c #Conflicts: 336000 | #Constraints: 20999
3088.02/3096.13 c #Conflicts: 337000 | #Constraints: 21999
3088.02/3096.13 c #Conflicts: 338000 | #Constraints: 23000
3088.02/3096.13 c #Conflicts: 339000 | #Constraints: 24001
3088.02/3096.13 c #Conflicts: 340000 | #Constraints: 25002
3088.02/3096.13 c #Conflicts: 341000 | #Constraints: 26002
3088.02/3096.13 c #Conflicts: 342000 | #Constraints: 27003
3088.02/3096.13 c #Conflicts: 343000 | #Constraints: 28003
3088.02/3096.13 c #Conflicts: 344000 | #Constraints: 29003
3088.02/3096.13 c #Conflicts: 345000 | #Constraints: 30004
3088.02/3096.13 c INPROCESSING
3088.02/3096.13 c GARBAGE COLLECT
3088.02/3096.13 c rational objective 13.8754
3202.41/3210.87 c #Conflicts: 346000 | #Constraints: 19348
3202.41/3210.87 c #Conflicts: 347000 | #Constraints: 20348
3202.41/3210.87 c #Conflicts: 348000 | #Constraints: 21352
3202.41/3210.87 c #Conflicts: 349000 | #Constraints: 22353
3202.41/3210.87 c #Conflicts: 350000 | #Constraints: 23353
3202.41/3210.87 c #Conflicts: 351000 | #Constraints: 24354
3202.41/3210.87 c #Conflicts: 352000 | #Constraints: 25355
3202.41/3210.87 c #Conflicts: 353000 | #Constraints: 26357
3202.41/3210.87 c #Conflicts: 354000 | #Constraints: 27358
3202.41/3210.87 c #Conflicts: 355000 | #Constraints: 28359
3202.41/3210.87 c #Conflicts: 356000 | #Constraints: 29359
3202.41/3210.87 c #Conflicts: 357000 | #Constraints: 30359
3202.41/3210.87 c INPROCESSING
3202.41/3210.87 c GARBAGE COLLECT
3202.41/3210.87 c rational objective 13.8755
3322.61/3331.31 c #Conflicts: 358000 | #Constraints: 19525
3322.61/3331.31 c #Conflicts: 359000 | #Constraints: 20526
3322.61/3331.31 c #Conflicts: 360000 | #Constraints: 21527
3322.61/3331.31 c #Conflicts: 361000 | #Constraints: 22527
3322.61/3331.31 c #Conflicts: 362000 | #Constraints: 23529
3322.61/3331.31 c #Conflicts: 363000 | #Constraints: 24529
3322.61/3331.31 c #Conflicts: 364000 | #Constraints: 25529
3322.61/3331.31 c #Conflicts: 365000 | #Constraints: 26529
3322.61/3331.31 c #Conflicts: 366000 | #Constraints: 27529
3322.61/3331.31 c #Conflicts: 367000 | #Constraints: 28529
3322.61/3331.31 c #Conflicts: 368000 | #Constraints: 29529
3322.61/3331.31 c #Conflicts: 369000 | #Constraints: 30529
3322.61/3331.31 c INPROCESSING
3322.61/3331.31 c GARBAGE COLLECT
3322.61/3331.31 c rational objective 13.8755
3477.21/3486.36 c #Conflicts: 370000 | #Constraints: 19482
3477.21/3486.36 c #Conflicts: 371000 | #Constraints: 20482
3477.21/3486.36 c #Conflicts: 372000 | #Constraints: 21482
3477.21/3486.36 c #Conflicts: 373000 | #Constraints: 22482
3477.21/3486.36 c #Conflicts: 374000 | #Constraints: 23486
3477.21/3486.36 c #Conflicts: 375000 | #Constraints: 24487
3477.21/3486.36 c #Conflicts: 376000 | #Constraints: 25487
3477.21/3486.36 c #Conflicts: 377000 | #Constraints: 26487
3477.21/3486.36 c #Conflicts: 378000 | #Constraints: 27487
3477.21/3486.36 c #Conflicts: 379000 | #Constraints: 28489
3477.21/3486.36 c #Conflicts: 380000 | #Constraints: 29491
3477.21/3486.36 c #Conflicts: 381000 | #Constraints: 30491
3477.21/3486.36 c INPROCESSING
3477.21/3486.36 c GARBAGE COLLECT
3477.21/3486.36 c rational objective 13.8755
3600.06/3609.50 c #Conflicts: 382000 | #Constraints: 19305
3600.06/3609.50 c #Conflicts: 383000 | #Constraints: 20305
3600.06/3609.50 c #Conflicts: 384000 | #Constraints: 21305
3600.06/3609.50 c #Conflicts: 385000 | #Constraints: 22305
3600.06/3609.50 c #Conflicts: 386000 | #Constraints: 23305
3600.06/3609.50 c #Conflicts: 387000 | #Constraints: 24305
3600.06/3609.50 c #Conflicts: 388000 | #Constraints: 25305
3600.06/3609.50 c #Conflicts: 389000 | #Constraints: 26305
3600.06/3609.50 c #Conflicts: 390000 | #Constraints: 27307
3600.06/3609.50 c #Conflicts: 391000 | #Constraints: 28308
3600.06/3609.50 c #Conflicts: 392000 | #Constraints: 29308
3600.06/3609.50 c #Conflicts: 393000 | #Constraints: 30308
3600.06/3609.50 c #Conflicts: 394000 | #Constraints: 31308
3600.06/3609.50 c INPROCESSING
3600.06/3609.50 c GARBAGE COLLECT
3600.06/3609.50 c Disabling crashed LP
3600.06/3609.50 c cpu time 3578.07 s
3600.06/3609.50 c deterministic time 460216019974 4.60e+11
3600.06/3609.50 c optimization time 0.032094 s
3600.06/3609.50 c total solve time 3577.74 s
3600.06/3609.50 c core-guided solve time 2483.11 s
3600.06/3609.50 c propagation time 2114.37 s
3600.06/3609.50 c conflict analysis time 946.962 s
3600.06/3609.50 c propagations 531978191
3600.06/3609.50 c resolve steps 1765598
3600.06/3609.50 c decisions 21730098
3600.06/3609.50 c conflicts 394200
3600.06/3609.50 c restarts 955
3600.06/3609.50 c inprocessing phases 54
3600.06/3609.50 c garbage collections 54 ,( 100.00 )
3600.06/3609.50 c input clauses 6882 ,( 92.79 )
3600.06/3609.50 c input cardinalities 499 ,( 6.73 )
3600.06/3609.50 c input general constraints 36 ,( 0.49 )
3600.06/3609.50 c input average constraint length 172.04
3600.06/3609.50 c input average constraint degree 72.58
3600.06/3609.50 c learned clauses 60948 ,( 15.45 )
3600.06/3609.50 c learned cardinalities 1462 ,( 0.37 )
3600.06/3609.50 c learned general constraints 332163 ,( 84.18 )
3600.06/3609.50 c learned average constraint length 3857.86
3600.06/3609.50 c learned average constraint degree 57244708302.73
3600.06/3609.50 c watched CF 32, 64, 128, Arb: 37204 , 0 , 0 , 0
3600.06/3609.50 c counting CF 32, 64, 128, Arb: 294996 , 0 , 0 , 0
3600.06/3609.50 c watched constraints 37204 ,( 11.20 )
3600.06/3609.50 c counting constraints 294995 ,( 88.80 )
3600.06/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 41427432 , 34976659 , 2639969680 ,( 148515335 , 2491454345 )
3600.06/3609.50 c gcd simplifications 1921
3600.06/3609.50 c detected cardinalities 27
3600.06/3609.50 c weakened non-implied lits 1007376458
3600.06/3609.50 c weakened non-implying lits 257193
3600.06/3609.50 c original variables 11201
3600.06/3609.50 c clausal propagations 26458702
3600.06/3609.50 c cardinality propagations 37947935
3600.06/3609.50 c watched propagations 12453330
3600.06/3609.50 c counting propagations 424767608
3600.06/3609.50 c watch lookups 143851564531
3600.06/3609.50 c watch backjump lookups 0
3600.06/3609.50 c watch checks 39819030385
3600.06/3609.50 c propagation checks 268208763130
3600.06/3609.50 c constraint additions 7228094903
3600.06/3609.50 c trail pops 554101531
3600.06/3609.50 c formula constraints 7306
3600.06/3609.50 c learned constraints 394017
3600.06/3609.50 c bound constraints 12
3600.06/3609.50 c core-guided constraints 99
3600.06/3609.50 c encountered formula constraints 517222
3600.06/3609.50 c encountered learned constraints 1356887
3600.06/3609.50 c encountered bound constraints 6
3600.06/3609.50 c encountered core-guided constraints 163267
3600.06/3609.50 c LP total time 600.076 s
3600.06/3609.50 c LP solve time 442.58 s
3600.06/3609.50 c LP constraints added 7369
3600.06/3609.50 c LP constraints removed 53
3600.06/3609.50 c LP pivots internal 394258
3600.06/3609.50 c LP pivots root 362946
3600.06/3609.50 c LP calls 408
3600.06/3609.50 c LP optimalities 36
3600.06/3609.50 c LP no pivot count 0
3600.06/3609.50 c LP infeasibilities 354
3600.06/3609.50 c LP valid Farkas constraints 340
3600.06/3609.50 c LP learned Farkas constraints 183
3600.06/3609.50 c LP basis resets 25
3600.06/3609.50 c LP cycling count 0
3600.06/3609.50 c LP singular count 12
3600.06/3609.50 c LP no primal count 0
3600.06/3609.50 c LP no farkas count 13
3600.06/3609.50 c LP other issue count 0
3600.06/3609.50 c LP Gomory cuts 33
3600.06/3609.50 c LP learned cuts 30
3600.06/3609.50 c LP deleted cuts 53
3600.06/3609.50 c LP encountered Gomory constraints 0
3600.06/3609.50 c LP encountered Farkas constraints 121771
3600.06/3609.50 c LP encountered learned Farkas constraints 462
3600.06/3609.50 c CG auxiliary variables introduced 36
3600.06/3609.50 c CG solutions found 3
3600.06/3609.50 c CG cores constructed 9
3600.06/3609.50 c CG core cardinality constraints returned 1
3600.06/3609.50 c CG unit cores 0
3600.06/3609.50 c CG single cores 9
3600.06/3609.50 c CG blocks removed during cardinality reduction 0
3600.06/3609.50 c CG first core best 0
3600.06/3609.50 c CG decision core best 0
3600.06/3609.50 c CG core reduction tie 0
3600.06/3609.50 c CG core degree average 1.22
3600.06/3609.50 c CG core slack average 1121.67
3600.06/3609.50 c CG core upper bound improvements 5
3600.06/3609.50 c STR number of successful calls 0
3600.06/3609.50 c STR number of unsuccessful calls 0
3600.06/3609.50 c STR number of inconclusive calls 0
3600.06/3609.50 c STR number of successful attempts 0
3600.06/3609.50 c STR number of unsuccessful attempts 0
3600.06/3609.50 c STR number of inconclusive attempts 0
3600.06/3609.50 c STR average degree increase per successful call inf
3600.06/3609.50 c STR average degree increase per successful attempt inf
3600.06/3609.50 c STR total number of conflicts for successful attempts 0
3600.06/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.50 c STR average number of conflicts per successful attempt inf
3600.06/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.50 c AVG.sumWPerc 78.85
3600.06/3609.50 c bigint constraints 0
3600.06/3609.50 o 15
3600.06/3609.50 s SATISFIABLE
3600.06/3609.50 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 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080
3600.06/3609.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61359 MiB free)
memory of node 1: 64465 MiB (61934 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502328-1751414836/watcher-4502328-1751414836 -o /tmp/evaluation-result-4502328-1751414836/solver-4502328-1751414836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751414736-67086 --watchdog 3760 run-opt-break.sh HOME/instance-4502328-1751414836.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=68908, runsolver pid=68905
[startup+0.100058 s]*
/proc/loadavg: 3.57 2.49 2.32 5/268 68919
/proc/meminfo: memFree=126251680/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68910] ppid=68908 vsize=22388 memory=14824 CPUtime=0.08 cores=0,2
/proc/68910/stat : 68910 (pbsuma) R 68908 68908 67073 0 -1 4194304 3892 0 0 0 8 0 0 0 20 0 1 0 57162356 22925312 3706 18446744073709551615 4210688 4653049 140724800508640 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 16695296 140724800510307 140724800510514 140724800510514 140724800516079 0
/proc/68910/statm: 5597 3706 928 108 0 3005 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 26580 KiB
Current children cumulated memory: 17896 KiB
[startup+0.205535 s]*
/proc/loadavg: 3.57 2.49 2.32 4/265 68927
/proc/meminfo: memFree=126251680/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68910] ppid=68908 vsize=32824 memory=24672 CPUtime=0.18 cores=0,2
/proc/68910/stat : 68910 (pbsuma) R 68908 68908 67073 0 -1 4194304 6861 0 0 0 17 1 0 0 20 0 1 0 57162356 33611776 6168 18446744073709551615 4210688 4653049 140724800508640 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 16695296 140724800510307 140724800510514 140724800510514 140724800516079 0
/proc/68910/statm: 8206 6168 928 108 0 5614 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 27744 KiB
[startup+0.305408 s]*
/proc/loadavg: 3.57 2.49 2.32 4/268 68935
/proc/meminfo: memFree=126274284/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68910] ppid=68908 vsize=59300 memory=45064 CPUtime=0.28 cores=0,2
/proc/68910/stat : 68910 (pbsuma) R 68908 68908 67073 0 -1 4194304 10426 0 0 0 26 2 0 0 20 0 1 0 57162356 60723200 11266 18446744073709551615 4210688 4653049 140724800508640 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 16695296 140724800510307 140724800510514 140724800510514 140724800516079 0
/proc/68910/statm: 14825 11266 992 108 0 12233 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 63492 KiB
Current children cumulated memory: 48136 KiB
[startup+0.700145 s]
/proc/loadavg: 3.57 2.49 2.32 5/271 68944
/proc/meminfo: memFree=126219436/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=63628 memory=20548 CPUtime=0.19 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 2804 0 0 0 18 1 0 0 20 0 1 0 57162405 65155072 5137 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 15907 5137 1888 1147 0 3334 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 67820 KiB
Current children cumulated memory: 23620 KiB
[startup+1.50018 s]
/proc/loadavg: 3.60 2.51 2.33 5/271 68944
/proc/meminfo: memFree=126126060/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=156120 memory=115148 CPUtime=0.99 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 20292 0 0 0 93 6 0 0 20 0 1 0 57162405 159866880 28787 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 39030 28787 2336 1147 0 26457 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 160312 KiB
Current children cumulated memory: 118220 KiB
[startup+3.10545 s]
/proc/loadavg: 3.60 2.51 2.33 5/271 68944
/proc/meminfo: memFree=126099008/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=187176 memory=139100 CPUtime=2.59 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 23894 0 0 0 241 18 0 0 20 0 1 0 57162405 191668224 34775 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 46794 34775 2400 1147 0 34221 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 191368 KiB
Current children cumulated memory: 142172 KiB
[startup+6.3002 s]
/proc/loadavg: 3.64 2.54 2.34 5/271 68944
/proc/meminfo: memFree=126019072/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=253860 memory=204260 CPUtime=5.78 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 36118 0 0 0 550 28 0 0 20 0 1 0 57162405 259952640 51065 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 63465 51065 2400 1147 0 50892 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 258052 KiB
Current children cumulated memory: 207332 KiB
[startup+12.7002 s]
/proc/loadavg: 3.66 2.56 2.35 5/271 68944
/proc/meminfo: memFree=125892364/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=385064 memory=317044 CPUtime=12.16 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 60223 0 0 0 1176 40 0 0 20 0 1 0 57162405 394305536 79261 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 96266 79261 2432 1147 0 83693 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 389256 KiB
Current children cumulated memory: 320116 KiB
[startup+25.5002 s]
/proc/loadavg: 3.72 2.61 2.37 5/272 68946
/proc/meminfo: memFree=125745200/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=569060 memory=480644 CPUtime=24.93 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 90404 0 0 0 2429 64 0 0 20 0 1 0 57162405 582717440 120161 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 142265 120161 2432 1147 0 129692 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 573252 KiB
Current children cumulated memory: 483716 KiB
[startup+51.1055 s]
/proc/loadavg: 3.89 2.76 2.43 5/272 68946
/proc/meminfo: memFree=125604620/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=658908 memory=582236 CPUtime=50.47 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 110733 0 0 0 4947 100 0 0 20 0 1 0 57162405 674721792 145559 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 164727 145559 2432 1147 0 152154 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 663100 KiB
Current children cumulated memory: 585308 KiB
[startup+102.3 s]
/proc/loadavg: 4.01 2.97 2.52 5/273 68953
/proc/meminfo: memFree=125180696/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=1007656 memory=870180 CPUtime=101.52 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 170579 0 0 0 9995 157 0 0 20 0 1 0 57162405 1031839744 217545 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 251914 217545 2432 1147 0 239341 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1011848 KiB
Current children cumulated memory: 873252 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.19 2.62 5/273 68955
/proc/meminfo: memFree=124983772/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=1017496 memory=886608 CPUtime=161.38 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 173731 0 0 0 15920 218 0 0 20 0 1 0 57162405 1041915904 221652 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 254374 221652 2432 1147 0 241801 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1021688 KiB
Current children cumulated memory: 889680 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.37 2.72 5/272 68957
/proc/meminfo: memFree=124800312/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=1244488 memory=1011492 CPUtime=221.21 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 197344 0 0 0 21834 287 0 0 20 0 1 0 57162405 1274355712 252873 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 311122 252873 2432 1147 0 298549 0
################
# More data... #
################
/proc/68944/statm: 883905 791433 2560 1147 0 871332 0
Current children cumulated CPU time: 3094.2 s
Current children cumulated vsize: 3539812 KiB
Current children cumulated memory: 3168804 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/270 69103
/proc/meminfo: memFree=121002864/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=3535620 memory=3165732 CPUtime=3153.58 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 452651 0 0 0 313411 1947 0 0 20 0 1 0 57162405 3620474880 791433 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 883905 791433 2560 1147 0 871332 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 3539812 KiB
Current children cumulated memory: 3168804 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.05 5/270 69105
/proc/meminfo: memFree=120982488/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=3535620 memory=3165732 CPUtime=3213.42 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 452935 0 0 0 319367 1975 0 0 20 0 1 0 57162405 3620474880 791433 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 883905 791433 2560 1147 0 871332 0
Current children cumulated CPU time: 3213.89 s
Current children cumulated vsize: 3539812 KiB
Current children cumulated memory: 3168804 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/270 69122
/proc/meminfo: memFree=120971532/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=3535620 memory=3165732 CPUtime=3273.26 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 452935 0 0 0 325314 2012 0 0 20 0 1 0 57162405 3620474880 791433 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 883905 791433 2560 1147 0 871332 0
Current children cumulated CPU time: 3273.73 s
Current children cumulated vsize: 3539812 KiB
Current children cumulated memory: 3168804 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/270 69124
/proc/meminfo: memFree=121042728/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=3453500 memory=3083820 CPUtime=3333.11 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 454162 0 0 0 331268 2043 0 0 20 0 1 0 57162405 3536384000 770955 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 863375 770955 2560 1147 0 850802 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 3457692 KiB
Current children cumulated memory: 3086892 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.12 4.06 5/269 69125
/proc/meminfo: memFree=120969268/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=3536852 memory=3167012 CPUtime=3392.96 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 456183 0 0 0 337234 2062 0 0 20 0 1 0 57162405 3621736448 791753 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 884213 791753 2560 1147 0 871640 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 3541044 KiB
Current children cumulated memory: 3170084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.06 5/269 69127
/proc/meminfo: memFree=120959260/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=3536852 memory=3168164 CPUtime=3452.8 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 456941 0 0 0 343204 2076 0 0 20 0 1 0 57162405 3621736448 792041 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 884213 792041 2560 1147 0 871640 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 3541044 KiB
Current children cumulated memory: 3171236 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.06 5/269 69223
/proc/meminfo: memFree=121369924/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=3536852 memory=3196240 CPUtime=3512.64 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 459222 0 0 0 349154 2110 0 0 20 0 1 0 57162405 3621736448 799060 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 884213 799060 2560 1147 0 871640 0
Current children cumulated CPU time: 3513.11 s
Current children cumulated vsize: 3541044 KiB
Current children cumulated memory: 3199312 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/270 69228
/proc/meminfo: memFree=120390576/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=3595668 memory=3254960 CPUtime=3572.47 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 460201 0 0 0 355105 2142 0 0 20 0 1 0 57162405 3681964032 813740 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 898917 813740 2560 1147 0 886344 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 3599860 KiB
Current children cumulated memory: 3258032 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.07 4.09 4.06 5/270 69229
/proc/meminfo: memFree=120151952/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=3595668 memory=3254960 CPUtime=3599.59 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 460218 0 0 0 357807 2152 0 0 20 0 1 0 57162405 3681964032 813740 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 898917 813740 2560 1147 0 886344 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3599860 KiB
Current children cumulated memory: 3258032 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.5 s]
# the end of solver process 68908 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.431644 s, system=0.042714 s
Sleeping 2 seconds
[startup+3609.52 s]
# the end of solver process 68944 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.51 s, system=21.5875 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.07 4.09 4.06 5/270 69229
/proc/meminfo: memFree=120151952/131249992 swapFree=33010684/33010684
[pid=68908] ppid=68905 vsize=4192 memory=3072 CPUtime=0.47 cores=0,2
/proc/68908/stat : 68908 (run-opt-break.s) S 68905 68908 67073 0 -1 4194304 239 12777 0 0 0 0 43 4 20 0 1 0 57162355 4292608 768 18446744073709551615 94127324454912 94127325349445 140734506361904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94127325588496 94127325636240 94127356239872 140734506363233 140734506363362 140734506363362 140734506368964 0
/proc/68908/statm: 1048 768 704 219 0 110 0
[pid=68944] ppid=68908 vsize=3595668 memory=3254960 CPUtime=3599.59 cores=0,2
/proc/68944/stat : 68944 (roundingsat) R 68908 68908 67073 0 -1 4194304 460218 0 0 0 357807 2152 0 0 20 0 1 0 57162405 3681964032 813740 18446744073709551615 4227072 8923433 140724583343424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 40710144 140724583348580 140724583348776 140724583348776 140724583354346 0
/proc/68944/statm: 898917 813740 2560 1147 0 886344 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3599860 KiB
Current children cumulated memory: 3258032 KiB
Child status: 2
Real time (s): 3609.52
CPU time (s): 3600.1
CPU user time (s): 3578.51
CPU system time (s): 21.5875
CPU usage (%): 99.7389
Max. virtual memory (cumulated for all children) (KiB): 3599860
Max. memory (cumulated for all children) (KiB): 3258032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.51
system time used= 21.5875
maximum resident set size= 3254960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473253
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 369
involuntary context switches= 4674
# summary of solver processes directly reported to runsolver:
# pid: 68908,68944
# total CPU time (s): 3600.1
# total CPU user time (s): 3578.51
# total CPU system time (s): 21.5875
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44111 second user time and 16.2082 second system time
The end
Begin job on nodeC025 at 2025-07-02 02:07:16
IDJOB=4502328
IDBENCH=155319
IDSOLVER=3359
FILE ID=nodeC025/4502328-1751414836
RUNJOBID= nodeC025-1751414736-67086
SLURM_JOB_ID= 9598325
Free space on /tmp= 432988 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-544324.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502328-1751414836/watcher-4502328-1751414836 -o /tmp/evaluation-result-4502328-1751414836/solver-4502328-1751414836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751414736-67086 --watchdog 3760 run-opt-break.sh HOME/instance-4502328-1751414836.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8c6c1213a1160c9558cfabfe880ab91b
RANDOM SEED=732110007
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.544
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.392
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.137
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.837
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.904
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.119
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126252724 kB
MemAvailable: 129123604 kB
Buffers: 3280 kB
Cached: 3668272 kB
SwapCached: 0 kB
Active: 935208 kB
Inactive: 3327828 kB
Active(anon): 609568 kB
Inactive(anon): 0 kB
Active(file): 325640 kB
Inactive(file): 3327828 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 37220 kB
Writeback: 0 kB
AnonPages: 594984 kB
Mapped: 113304 kB
Shmem: 18084 kB
KReclaimable: 113300 kB
Slab: 202868 kB
SReclaimable: 113300 kB
SUnreclaim: 89568 kB
KernelStack: 4288 kB
PageTables: 4244 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 963204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 352256 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC025 at 2025-07-02 03:07:26