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-4531825-1752596240.opb'
0.29/0.33 c read 17.23MB (321.88ms)
0.29/0.33 c [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.29/0.39 c output proof to 'PROOFDIR/proof-4531825-1752596240'
0.29/0.39 c
0.29/0.39 c make graph and approximate orbits
0.62/0.72 c [group: #orbits ~= 0] (328.31ms)
0.62/0.72 c
0.62/0.72 c detect special group actions
0.62/0.72 c probe for Johnson action (limit=64)
0.62/0.72 c probe for row-column symmetry (limit=64, splits=16.78M)
0.62/0.73 c probe for row symmetry (limit=64, splits=16.78M)
0.62/0.74 c (23.02ms)
0.62/0.74 c
0.62/0.74 c detect symmetries on remainder
0.62/0.74 c [graph: #vertices 706709 #edges 2766416]
0.62/0.75 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.62/0.79 c [group: #symmetries 1.00*10^0 #generators 0] (49.66ms)
0.62/0.79 c
0.62/0.79 c finalize break order and special generators
0.62/0.79 c
0.62/0.79 c generation finished
0.62/0.79 c [sbp: #constraints 0 #add_vars 0]
0.62/0.79 c
0.62/0.79 c write result to 'HOME/instance-4531825-1752596240.opb.pre'
0.72/0.83 c wrote 17.23MB (35.60ms)
0.72/0.83 c ------------------------------------------------------------------
0.72/0.83 c 328.31ms 40.27% approx_orbits
0.72/0.83 c 321.88ms 39.48% parse
0.72/0.83 c 56.46ms 6.93% other
0.72/0.83 c 49.66ms 6.09% detect_generic
0.72/0.83 c 35.60ms 4.37% output
0.72/0.83 c 23.02ms 2.82% detect_special
0.72/0.83 c 0.38ms 0.05% finalize_order
0.72/0.83 c ───────────────────────────────────────────────
0.72/0.83 c 815.31ms 100% total
0.72/0.83 c ------------------------------------------------------------------
0.82/0.98 c RoundingSat 2
0.82/0.98 c branch pb25
0.82/0.98 c commit 0f876b3
4.48/4.66 c #variables 10000 #constraints 656900
4.48/4.66 c objective is ce32
5.38/5.52 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.38/5.52 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.38/5.52 c bounds 5338 >= 0 @ 3.73291
7.57/7.76 c rational objective 172.654
10.96/11.14 c bounds 5331 >= 0 @ 9.21721
11.25/11.40 c bounds 5330 >= 0 @ 9.46763
11.25/11.41 c bounds 5326 >= 0 @ 9.47961
11.36/11.52 c bounds 5321 >= 0 @ 9.58365
11.55/11.79 c bounds 5304 >= 0 @ 9.85443
11.65/11.81 c bounds 5303 >= 0 @ 9.86622
11.65/11.81 c bounds 5302 >= 0 @ 9.8722
11.65/11.83 c bounds 5233 >= 0 @ 9.89098
11.65/11.84 c bounds 5212 >= 0 @ 9.90223
11.76/11.94 c bounds 5137 >= 0 @ 9.98898
11.76/11.94 c bounds 5134 >= 0 @ 9.99383
11.76/11.95 c bounds 5054 >= 0 @ 10.0024
11.76/11.98 c bounds 5040 >= 0 @ 10.0256
11.86/12.07 c bounds 4974 >= 0 @ 10.1141
11.96/12.15 c bounds 4970 >= 0 @ 10.1976
12.06/12.29 c bounds 4909 >= 0 @ 10.3302
12.15/12.30 c bounds 4832 >= 0 @ 10.3484
12.25/12.42 c bounds 4802 >= 0 @ 10.4589
12.25/12.44 c bounds 4721 >= 0 @ 10.479
12.25/12.45 c bounds 4678 >= 0 @ 10.4898
12.25/12.46 c bounds 4626 >= 0 @ 10.499
12.25/12.49 c bounds 4607 >= 0 @ 10.5211
12.45/12.60 c bounds 4586 >= 0 @ 10.6236
12.45/12.62 c bounds 4584 >= 0 @ 10.6401
12.55/12.72 c bounds 4579 >= 0 @ 10.7384
12.55/12.74 c bounds 4564 >= 0 @ 10.7566
12.55/12.76 c bounds 4562 >= 0 @ 10.7729
12.65/12.88 c bounds 4549 >= 0 @ 10.8947
12.65/12.89 c bounds 4515 >= 0 @ 10.9025
12.75/12.91 c bounds 4428 >= 0 @ 10.915
12.75/12.92 c bounds 4372 >= 0 @ 10.924
12.75/12.93 c bounds 4324 >= 0 @ 10.9352
12.75/12.94 c bounds 4294 >= 0 @ 10.9445
12.75/12.96 c bounds 4282 >= 0 @ 10.9566
12.75/12.98 c bounds 4276 >= 0 @ 10.9722
12.86/13.08 c bounds 4269 >= 0 @ 11.0746
12.86/13.09 c bounds 4262 >= 0 @ 11.0811
12.95/13.11 c bounds 4259 >= 0 @ 11.0962
12.95/13.12 c bounds 4258 >= 0 @ 11.1016
13.04/13.23 c bounds 4220 >= 0 @ 11.2074
13.04/13.24 c bounds 4171 >= 0 @ 11.2209
13.04/13.25 c bounds 4061 >= 0 @ 11.2249
13.04/13.26 c bounds 4040 >= 0 @ 11.2291
13.45/13.67 c bounds 4033 >= 0 @ 11.6389
13.45/13.68 c bounds 4005 >= 0 @ 11.6483
13.64/13.89 c bounds 3942 >= 0 @ 11.8508
13.74/14.00 c bounds 3903 >= 0 @ 11.9564
13.85/14.01 c bounds 3890 >= 0 @ 11.9676
13.85/14.06 c bounds 3887 >= 0 @ 12.013
13.85/14.07 c bounds 3822 >= 0 @ 12.0185
13.95/14.19 c bounds 3821 >= 0 @ 12.1421
14.14/14.32 c bounds 3762 >= 0 @ 12.2657
14.14/14.35 c bounds 3754 >= 0 @ 12.2977
14.14/14.38 c bounds 3751 >= 0 @ 12.3263
14.14/14.39 c bounds 3747 >= 0 @ 12.332
14.34/14.56 c bounds 3744 >= 0 @ 12.493
14.34/14.57 c bounds 3736 >= 0 @ 12.506
14.44/14.67 c bounds 3729 >= 0 @ 12.6024
14.44/14.68 c bounds 3709 >= 0 @ 12.614
14.54/14.70 c bounds 3680 >= 0 @ 12.6264
14.74/14.93 c bounds 3671 >= 0 @ 12.8552
14.74/14.96 c bounds 3656 >= 0 @ 12.8795
14.74/14.97 c bounds 3627 >= 0 @ 12.8959
14.74/14.99 c bounds 3598 >= 0 @ 12.9065
14.74/15.00 c bounds 3584 >= 0 @ 12.9154
14.84/15.01 c bounds 3566 >= 0 @ 12.9263
14.84/15.02 c bounds 3483 >= 0 @ 12.9337
14.84/15.03 c bounds 3456 >= 0 @ 12.9468
14.95/15.16 c bounds 3435 >= 0 @ 13.0701
14.95/15.18 c bounds 3363 >= 0 @ 13.084
15.04/15.20 c bounds 3349 >= 0 @ 13.1034
15.04/15.21 c bounds 3298 >= 0 @ 13.1161
15.04/15.23 c bounds 3285 >= 0 @ 13.1351
15.04/15.25 c bounds 3264 >= 0 @ 13.1502
15.04/15.27 c bounds 3259 >= 0 @ 13.1727
15.04/15.29 c bounds 3223 >= 0 @ 13.1851
15.24/15.40 c bounds 3191 >= 0 @ 13.2896
15.24/15.41 c bounds 3111 >= 0 @ 13.2979
15.24/15.43 c bounds 3101 >= 0 @ 13.3151
15.24/15.44 c bounds 3100 >= 0 @ 13.323
15.24/15.46 c bounds 3055 >= 0 @ 13.3375
15.24/15.47 c bounds 3011 >= 0 @ 13.3467
15.24/15.48 c bounds 3006 >= 0 @ 13.3548
15.34/15.58 c bounds 2985 >= 0 @ 13.4593
15.54/15.70 c bounds 2980 >= 0 @ 13.5639
15.54/15.71 c bounds 2970 >= 0 @ 13.5769
15.54/15.73 c bounds 2908 >= 0 @ 13.5924
15.63/15.83 c bounds 2905 >= 0 @ 13.6876
15.74/15.95 c bounds 2884 >= 0 @ 13.808
15.74/15.97 c bounds 2883 >= 0 @ 13.8247
15.74/15.98 c bounds 2876 >= 0 @ 13.8334
15.84/16.10 c bounds 2869 >= 0 @ 13.9529
15.94/16.13 c bounds 2851 >= 0 @ 13.9771
15.94/16.14 c bounds 2794 >= 0 @ 13.9861
15.94/16.15 c bounds 2781 >= 0 @ 13.994
21.61/21.85 c #Conflicts: 1000 | #Constraints: 658024
21.61/21.85 c bounds 2773 >= 0 @ 19.532
21.61/21.86 c bounds 2772 >= 0 @ 19.5441
21.93/22.19 c bounds 2759 >= 0 @ 19.8548
22.41/22.62 c bounds 2753 >= 0 @ 20.2759
22.41/22.65 c bounds 2748 >= 0 @ 20.2995
22.61/22.82 c bounds 2732 >= 0 @ 20.4589
22.82/23.05 c bounds 2731 >= 0 @ 20.6793
22.92/23.14 c bounds 2722 >= 0 @ 20.7739
22.92/23.16 c bounds 2684 >= 0 @ 20.789
22.92/23.17 c bounds 2645 >= 0 @ 20.801
22.92/23.19 c bounds 2621 >= 0 @ 20.8184
23.01/23.21 c bounds 2586 >= 0 @ 20.8327
23.01/23.22 c bounds 2580 >= 0 @ 20.842
23.91/24.13 c bounds 2579 >= 0 @ 21.7248
24.81/25.05 c bounds 2563 >= 0 @ 22.6231
24.81/25.07 c bounds 2561 >= 0 @ 22.6394
24.91/25.15 c bounds 2548 >= 0 @ 22.7135
24.91/25.17 c bounds 2539 >= 0 @ 22.7403
25.91/26.17 c bounds 2537 >= 0 @ 23.7125
26.00/26.24 c bounds 2536 >= 0 @ 23.7803
26.10/26.37 c bounds 2535 >= 0 @ 23.909
26.20/26.46 c bounds 2507 >= 0 @ 23.9933
26.20/26.49 c bounds 2489 >= 0 @ 24.0173
26.30/26.50 c bounds 2481 >= 0 @ 24.0333
26.30/26.53 c bounds 2448 >= 0 @ 24.0546
26.30/26.54 c bounds 2443 >= 0 @ 24.0698
26.30/26.56 c bounds 2433 >= 0 @ 24.0831
26.40/26.68 c bounds 2430 >= 0 @ 24.2009
26.50/26.70 c bounds 2367 >= 0 @ 24.2123
26.50/26.71 c bounds 2349 >= 0 @ 24.2298
26.50/26.73 c bounds 2337 >= 0 @ 24.2421
26.60/26.84 c bounds 2286 >= 0 @ 24.3461
26.60/26.85 c bounds 2275 >= 0 @ 24.3583
26.60/26.89 c bounds 2258 >= 0 @ 24.398
26.70/26.91 c bounds 2253 >= 0 @ 24.4105
26.70/26.92 c bounds 2212 >= 0 @ 24.4217
26.80/27.04 c bounds 2206 >= 0 @ 24.5361
26.80/27.06 c bounds 2203 >= 0 @ 24.5484
26.80/27.08 c bounds 2200 >= 0 @ 24.5669
26.80/27.09 c bounds 2147 >= 0 @ 24.5802
26.91/27.13 c bounds 2139 >= 0 @ 24.6157
26.91/27.17 c bounds 2124 >= 0 @ 24.6499
27.00/27.29 c bounds 2120 >= 0 @ 24.7617
27.09/27.30 c bounds 2118 >= 0 @ 24.7745
27.09/27.32 c bounds 2070 >= 0 @ 24.7852
27.09/27.33 c bounds 2067 >= 0 @ 24.7953
27.09/27.35 c bounds 2063 >= 0 @ 24.8067
27.20/27.40 c bounds 2059 >= 0 @ 24.8545
27.20/27.41 c bounds 1983 >= 0 @ 24.8683
27.20/27.43 c bounds 1969 >= 0 @ 24.8799
27.20/27.45 c bounds 1950 >= 0 @ 24.8966
27.20/27.46 c bounds 1930 >= 0 @ 24.9084
27.50/27.75 c bounds 1923 >= 0 @ 25.1871
27.50/27.78 c bounds 1899 >= 0 @ 25.2078
27.60/27.80 c bounds 1885 >= 0 @ 25.2266
31.89/32.19 c #Conflicts: 2000 | #Constraints: 659118
31.89/32.19 c INPROCESSING
31.89/32.19 c GARBAGE COLLECT
31.89/32.19 c bounds 1881 >= 0 @ 29.5366
31.98/32.21 c bounds 1870 >= 0 @ 29.5497
31.98/32.22 c bounds 1846 >= 0 @ 29.5675
32.28/32.55 c bounds 1844 >= 0 @ 29.8849
32.28/32.55 c bounds 1835 >= 0 @ 29.8928
32.38/32.67 c bounds 1834 >= 0 @ 30.005
33.68/33.96 c bounds 1831 >= 0 @ 31.2683
33.68/33.99 c bounds 1826 >= 0 @ 31.3003
35.37/35.62 c bounds 1825 >= 0 @ 32.8873
36.35/36.61 c bounds 1805 >= 0 @ 33.8456
36.35/36.63 c bounds 1802 >= 0 @ 33.8646
36.35/36.65 c bounds 1790 >= 0 @ 33.879
36.35/36.67 c bounds 1774 >= 0 @ 33.8933
36.35/36.69 c bounds 1741 >= 0 @ 33.9089
36.46/36.73 c bounds 1735 >= 0 @ 33.9496
36.76/37.03 c bounds 1727 >= 0 @ 34.2346
36.86/37.12 c bounds 1726 >= 0 @ 34.3248
37.85/38.12 c bounds 1725 >= 0 @ 35.2987
37.85/38.14 c bounds 1724 >= 0 @ 35.3257
38.05/38.39 c bounds 1709 >= 0 @ 35.5605
38.14/38.44 c bounds 1702 >= 0 @ 35.6127
38.24/38.57 c bounds 1681 >= 0 @ 35.7413
38.34/38.60 c bounds 1676 >= 0 @ 35.7706
38.34/38.69 c bounds 1653 >= 0 @ 35.8619
38.75/39.07 c bounds 1650 >= 0 @ 36.2335
38.95/39.23 c bounds 1643 >= 0 @ 36.3811
38.95/39.24 c bounds 1640 >= 0 @ 36.3953
38.95/39.26 c bounds 1623 >= 0 @ 36.4054
38.95/39.28 c bounds 1622 >= 0 @ 36.4267
39.05/39.30 c bounds 1615 >= 0 @ 36.4434
39.05/39.32 c bounds 1573 >= 0 @ 36.4569
39.05/39.33 c bounds 1566 >= 0 @ 36.4708
39.05/39.35 c bounds 1532 >= 0 @ 36.4836
39.24/39.53 c bounds 1531 >= 0 @ 36.6629
39.54/39.81 c bounds 1527 >= 0 @ 36.9281
39.54/39.84 c bounds 1515 >= 0 @ 36.9528
39.54/39.86 c bounds 1510 >= 0 @ 36.9688
39.64/39.96 c bounds 1404 >= 0 @ 37.0642
39.64/39.97 c bounds 1397 >= 0 @ 37.0753
39.64/39.99 c bounds 1386 >= 0 @ 37.0896
39.74/40.01 c bounds 1328 >= 0 @ 37.0986
39.74/40.02 c bounds 1313 >= 0 @ 37.1108
40.13/40.47 c bounds 1312 >= 0 @ 37.5459
40.73/41.03 c bounds 1294 >= 0 @ 38.0974
40.73/41.05 c bounds 1286 >= 0 @ 38.1132
40.73/41.07 c bounds 1281 >= 0 @ 38.1263
40.73/41.08 c bounds 1277 >= 0 @ 38.1403
40.84/41.10 c bounds 1266 >= 0 @ 38.1548
40.84/41.12 c bounds 1262 >= 0 @ 38.1695
40.84/41.14 c bounds 1252 >= 0 @ 38.183
41.83/42.16 c #Conflicts: 3000 | #Constraints: 659021
41.83/42.16 c bounds 1246 >= 0 @ 39.1856
42.13/42.43 c bounds 1244 >= 0 @ 39.4473
42.13/42.45 c bounds 1240 >= 0 @ 39.4598
42.13/42.47 c bounds 1231 >= 0 @ 39.4708
42.13/42.49 c bounds 1195 >= 0 @ 39.4879
42.23/42.52 c bounds 1156 >= 0 @ 39.5127
42.23/42.54 c bounds 1079 >= 0 @ 39.5258
42.43/42.71 c bounds 1076 >= 0 @ 39.6812
42.43/42.79 c bounds 916 >= 0 @ 39.7658
42.52/42.81 c bounds 906 >= 0 @ 39.7761
42.52/42.83 c bounds 903 >= 0 @ 39.7908
42.52/42.84 c bounds 902 >= 0 @ 39.8016
42.52/42.88 c bounds 814 >= 0 @ 39.8233
42.52/42.89 c bounds 809 >= 0 @ 39.8324
42.62/42.91 c bounds 798 >= 0 @ 39.8456
42.73/43.04 c bounds 759 >= 0 @ 39.9767
42.73/43.08 c bounds 758 >= 0 @ 40.0073
42.93/43.28 c bounds 757 >= 0 @ 40.2065
43.52/43.87 c bounds 751 >= 0 @ 40.7673
43.52/43.88 c bounds 741 >= 0 @ 40.7789
43.72/44.04 c bounds 740 >= 0 @ 40.9228
43.72/44.06 c bounds 736 >= 0 @ 40.9351
43.72/44.08 c bounds 735 >= 0 @ 40.9553
43.83/44.12 c bounds 728 >= 0 @ 40.993
44.02/44.36 c bounds 639 >= 0 @ 41.2203
44.92/45.22 c #Conflicts: 4000 | #Constraints: 660051
44.92/45.22 c bounds 638 >= 0 @ 42.0609
47.00/47.35 c INPROCESSING
47.00/47.35 c GARBAGE COLLECT
47.00/47.35 c bounds 622 >= 0 @ 44.1318
56.05/56.47 c #Conflicts: 5000 | #Constraints: 659344
56.05/56.47 c #Conflicts: 6000 | #Constraints: 660344
56.05/56.47 c INPROCESSING
56.05/56.47 c bounds 612 >= 0 @ 53.0842
56.05/56.48 c bounds 604 >= 0 @ 53.0906
56.15/56.50 c bounds 602 >= 0 @ 53.1122
58.54/58.96 c #Conflicts: 7000 | #Constraints: 659337
58.54/58.96 c bounds 597 >= 0 @ 55.5167
69.01/69.46 c #Conflicts: 8000 | #Constraints: 660340
69.01/69.46 c #Conflicts: 9000 | #Constraints: 661340
69.01/69.46 c INPROCESSING
69.01/69.46 c GARBAGE COLLECT
69.01/69.46 c rational objective 173.574
79.17/79.65 c #Conflicts: 10000 | #Constraints: 660028
79.17/79.65 c #Conflicts: 11000 | #Constraints: 661028
79.17/79.65 c #Conflicts: 12000 | #Constraints: 662028
79.17/79.65 c INPROCESSING
79.17/79.65 c bounds 589 >= 0 @ 75.9118
79.17/79.67 c bounds 588 >= 0 @ 75.9233
80.86/81.33 c bounds 585 >= 0 @ 77.5518
93.93/94.42 c #Conflicts: 13000 | #Constraints: 660475
93.93/94.42 c #Conflicts: 14000 | #Constraints: 661475
93.93/94.42 c #Conflicts: 15000 | #Constraints: 662475
93.93/94.42 c INPROCESSING
93.93/94.42 c GARBAGE COLLECT
93.93/94.42 c rational objective 174.482
123.34/123.98 c #Conflicts: 16000 | #Constraints: 660706
123.34/123.98 c #Conflicts: 17000 | #Constraints: 661706
123.34/123.98 c #Conflicts: 18000 | #Constraints: 662706
123.34/123.98 c INPROCESSING
123.34/123.98 c GARBAGE COLLECT
123.34/123.98 c #Conflicts: 19000 | #Constraints: 660726
123.34/123.98 c #Conflicts: 20000 | #Constraints: 661726
123.34/123.98 c #Conflicts: 21000 | #Constraints: 662726
123.34/123.98 c INPROCESSING
123.34/123.98 c GARBAGE COLLECT
123.34/123.98 c rational objective 174.995
127.43/128.02 c bounds 580 >= 0 @ 123.718
127.53/128.15 c bounds 578 >= 0 @ 123.84
127.53/128.17 c bounds 576 >= 0 @ 123.864
127.53/128.19 c bounds 572 >= 0 @ 123.878
236.39/237.35 c #Conflicts: 22000 | #Constraints: 660539
236.39/237.35 c #Conflicts: 23000 | #Constraints: 661717
236.39/237.35 c #Conflicts: 24000 | #Constraints: 663098
236.39/237.35 c #Conflicts: 25000 | #Constraints: 664526
236.39/237.35 c INPROCESSING
236.39/237.35 c GARBAGE COLLECT
236.39/237.35 c #Conflicts: 26000 | #Constraints: 661636
236.39/237.35 c #Conflicts: 27000 | #Constraints: 662742
236.39/237.35 c #Conflicts: 28000 | #Constraints: 663771
236.39/237.35 c #Conflicts: 29000 | #Constraints: 664801
236.39/237.35 c INPROCESSING
236.39/237.35 c GARBAGE COLLECT
236.39/237.35 c rational objective 176.464
281.36/282.40 c #Conflicts: 30000 | #Constraints: 661870
281.36/282.40 c #Conflicts: 31000 | #Constraints: 662873
281.36/282.40 c #Conflicts: 32000 | #Constraints: 663912
281.36/282.40 c #Conflicts: 33000 | #Constraints: 664929
281.36/282.40 c INPROCESSING
281.36/282.40 c GARBAGE COLLECT
281.36/282.40 c #Conflicts: 34000 | #Constraints: 661936
281.36/282.40 c #Conflicts: 35000 | #Constraints: 662955
281.36/282.40 c #Conflicts: 36000 | #Constraints: 664006
281.36/282.40 c #Conflicts: 37000 | #Constraints: 665044
281.36/282.40 c INPROCESSING
281.36/282.40 c GARBAGE COLLECT
281.36/282.40 c rational objective 176.492
329.50/330.71 c #Conflicts: 38000 | #Constraints: 661907
329.50/330.71 c #Conflicts: 39000 | #Constraints: 662912
329.50/330.71 c #Conflicts: 40000 | #Constraints: 663939
329.50/330.71 c #Conflicts: 41000 | #Constraints: 664971
329.50/330.71 c INPROCESSING
329.50/330.71 c GARBAGE COLLECT
329.50/330.71 c rational objective 176.779
374.28/375.61 c #Conflicts: 42000 | #Constraints: 661677
374.28/375.61 c #Conflicts: 43000 | #Constraints: 662679
374.28/375.61 c #Conflicts: 44000 | #Constraints: 663683
374.28/375.61 c #Conflicts: 45000 | #Constraints: 664700
374.28/375.61 c #Conflicts: 46000 | #Constraints: 665716
374.28/375.61 c INPROCESSING
374.28/375.61 c GARBAGE COLLECT
374.28/375.61 c rational objective 177.767
423.85/425.39 c #Conflicts: 47000 | #Constraints: 662237
423.85/425.39 c #Conflicts: 48000 | #Constraints: 663255
423.85/425.39 c #Conflicts: 49000 | #Constraints: 664265
423.85/425.39 c #Conflicts: 50000 | #Constraints: 665280
423.85/425.39 c #Conflicts: 51000 | #Constraints: 666284
423.85/425.39 c INPROCESSING
423.85/425.39 c GARBAGE COLLECT
423.85/425.39 c #Conflicts: 52000 | #Constraints: 662625
423.85/425.39 c #Conflicts: 53000 | #Constraints: 663636
423.85/425.39 c #Conflicts: 54000 | #Constraints: 664654
423.85/425.39 c #Conflicts: 55000 | #Constraints: 665662
423.85/425.39 c #Conflicts: 56000 | #Constraints: 666686
423.85/425.39 c INPROCESSING
423.85/425.39 c GARBAGE COLLECT
423.85/425.39 c #Conflicts: 57000 | #Constraints: 662844
423.85/425.39 c #Conflicts: 58000 | #Constraints: 663850
423.85/425.39 c bounds 348 >= 0 @ 417.885
517.27/521.64 c #Conflicts: 59000 | #Constraints: 664857
517.27/521.64 c #Conflicts: 60000 | #Constraints: 665876
517.27/521.64 c #Conflicts: 61000 | #Constraints: 666918
517.27/521.64 c INPROCESSING
517.27/521.64 c GARBAGE COLLECT
517.27/521.64 c #Conflicts: 62000 | #Constraints: 662842
517.27/521.64 c #Conflicts: 63000 | #Constraints: 663846
517.27/521.64 c #Conflicts: 64000 | #Constraints: 664855
517.27/521.64 c #Conflicts: 65000 | #Constraints: 665863
517.27/521.64 c #Conflicts: 66000 | #Constraints: 666871
517.27/521.64 c INPROCESSING
517.27/521.64 c GARBAGE COLLECT
517.27/521.64 c rational objective 192.13
576.85/582.60 c #Conflicts: 67000 | #Constraints: 662622
576.85/582.60 c #Conflicts: 68000 | #Constraints: 663628
576.85/582.60 c #Conflicts: 69000 | #Constraints: 664633
576.85/582.60 c #Conflicts: 70000 | #Constraints: 665638
576.85/582.60 c #Conflicts: 71000 | #Constraints: 666648
576.85/582.60 c #Conflicts: 72000 | #Constraints: 667687
576.85/582.60 c INPROCESSING
576.85/582.60 c GARBAGE COLLECT
576.85/582.60 c #Conflicts: 73000 | #Constraints: 663237
576.85/582.60 c #Conflicts: 74000 | #Constraints: 664242
576.85/582.60 c #Conflicts: 75000 | #Constraints: 665246
576.85/582.60 c #Conflicts: 76000 | #Constraints: 666249
576.85/582.60 c #Conflicts: 77000 | #Constraints: 667260
576.85/582.60 c #Conflicts: 78000 | #Constraints: 668267
576.85/582.60 c INPROCESSING
576.85/582.60 c GARBAGE COLLECT
576.85/582.60 c rational objective 194.575
654.63/663.14 c #Conflicts: 79000 | #Constraints: 663613
654.63/663.14 c #Conflicts: 80000 | #Constraints: 664622
654.63/663.14 c #Conflicts: 81000 | #Constraints: 665633
654.63/663.14 c #Conflicts: 82000 | #Constraints: 666664
654.63/663.14 c #Conflicts: 83000 | #Constraints: 667690
654.63/663.14 c #Conflicts: 84000 | #Constraints: 668707
654.63/663.14 c INPROCESSING
654.63/663.14 c GARBAGE COLLECT
654.63/663.14 c #Conflicts: 85000 | #Constraints: 663856
654.63/663.14 c #Conflicts: 86000 | #Constraints: 664890
654.63/663.14 c #Conflicts: 87000 | #Constraints: 665939
654.63/663.14 c #Conflicts: 88000 | #Constraints: 666978
654.63/663.14 c #Conflicts: 89000 | #Constraints: 668014
654.63/663.14 c #Conflicts: 90000 | #Constraints: 669049
654.63/663.14 c INPROCESSING
654.63/663.14 c GARBAGE COLLECT
654.63/663.14 c rational objective 202.356
720.76/732.47 c #Conflicts: 91000 | #Constraints: 663916
720.76/732.47 c #Conflicts: 92000 | #Constraints: 664923
720.76/732.47 c #Conflicts: 93000 | #Constraints: 665942
720.76/732.47 c #Conflicts: 94000 | #Constraints: 666946
720.76/732.47 c #Conflicts: 95000 | #Constraints: 667958
720.76/732.47 c #Conflicts: 96000 | #Constraints: 668978
720.76/732.47 c INPROCESSING
720.76/732.47 c GARBAGE COLLECT
720.76/732.47 c #Conflicts: 97000 | #Constraints: 663689
720.76/732.47 c #Conflicts: 98000 | #Constraints: 664694
720.76/732.47 c #Conflicts: 99000 | #Constraints: 665702
720.76/732.47 c #Conflicts: 100000 | #Constraints: 666705
720.76/732.47 c #Conflicts: 101000 | #Constraints: 667754
720.76/732.47 c #Conflicts: 102000 | #Constraints: 668787
720.76/732.47 c #Conflicts: 103000 | #Constraints: 669800
720.76/732.47 c INPROCESSING
720.76/732.47 c GARBAGE COLLECT
720.76/732.47 c rational objective 230.642
761.10/772.92 c #Conflicts: 104000 | #Constraints: 664297
761.10/772.92 c #Conflicts: 105000 | #Constraints: 665300
761.10/772.92 c #Conflicts: 106000 | #Constraints: 666304
761.10/772.92 c #Conflicts: 107000 | #Constraints: 667307
761.10/772.92 c #Conflicts: 108000 | #Constraints: 668313
761.10/772.92 c #Conflicts: 109000 | #Constraints: 669324
761.10/772.92 c #Conflicts: 110000 | #Constraints: 670331
761.10/772.92 c INPROCESSING
761.10/772.92 c GARBAGE COLLECT
761.10/772.92 c rational objective 230.642
766.85/778.77 c bounds 347 >= 0 @ 759.415
767.25/779.17 c bounds 345 >= 0 @ 759.808
768.25/780.10 c bounds 344 >= 0 @ 760.717
773.14/785.01 c bounds 342 >= 0 @ 765.502
773.14/785.03 c bounds 342 >= 5 @ 765.514
773.14/785.05 c bounds 342 >= 10 @ 765.527
773.14/785.08 c bounds 342 >= 15 @ 765.555
777.22/789.14 c #Conflicts: 111000 | #Constraints: 664678
777.22/789.14 c bounds 342 >= 20 @ 769.544
804.84/816.88 c #Conflicts: 112000 | #Constraints: 665690
804.84/816.88 c #Conflicts: 113000 | #Constraints: 666690
804.84/816.88 c #Conflicts: 114000 | #Constraints: 667690
804.84/816.88 c #Conflicts: 115000 | #Constraints: 668690
804.84/816.88 c #Conflicts: 116000 | #Constraints: 669690
804.84/816.88 c #Conflicts: 117000 | #Constraints: 670690
804.84/816.88 c INPROCESSING
804.84/816.88 c GARBAGE COLLECT
804.84/816.88 c rational objective 176.828
821.19/833.29 c #Conflicts: 118000 | #Constraints: 664830
821.19/833.29 c bounds 340 >= 20 @ 813.102
861.17/873.37 c #Conflicts: 119000 | #Constraints: 665848
861.17/873.37 c #Conflicts: 120000 | #Constraints: 666859
861.17/873.37 c #Conflicts: 121000 | #Constraints: 667870
861.17/873.37 c bounds 338 >= 20 @ 852.587
861.28/873.41 c bounds 338 >= 24 @ 852.608
879.93/892.19 c #Conflicts: 122000 | #Constraints: 668877
879.93/892.19 c #Conflicts: 123000 | #Constraints: 669877
879.93/892.19 c #Conflicts: 124000 | #Constraints: 670877
879.93/892.19 c INPROCESSING
879.93/892.19 c GARBAGE COLLECT
879.93/892.19 c rational objective 177.999
920.80/933.12 c #Conflicts: 125000 | #Constraints: 664819
920.80/933.12 c #Conflicts: 126000 | #Constraints: 665819
920.80/933.12 c #Conflicts: 127000 | #Constraints: 666819
920.80/933.12 c #Conflicts: 128000 | #Constraints: 667819
920.80/933.12 c #Conflicts: 129000 | #Constraints: 668819
920.80/933.12 c #Conflicts: 130000 | #Constraints: 669819
920.80/933.12 c #Conflicts: 131000 | #Constraints: 670819
920.80/933.12 c INPROCESSING
920.80/933.12 c rational objective 178.109
960.68/973.15 c #Conflicts: 132000 | #Constraints: 664590
960.68/973.15 c #Conflicts: 133000 | #Constraints: 665590
960.68/973.15 c #Conflicts: 134000 | #Constraints: 666590
960.68/973.15 c #Conflicts: 135000 | #Constraints: 667590
960.68/973.15 c #Conflicts: 136000 | #Constraints: 668590
960.68/973.15 c #Conflicts: 137000 | #Constraints: 669590
960.68/973.15 c #Conflicts: 138000 | #Constraints: 670590
960.68/973.15 c #Conflicts: 139000 | #Constraints: 671590
960.68/973.15 c INPROCESSING
960.68/973.15 c GARBAGE COLLECT
960.68/973.15 c rational objective 178.384
1003.36/1015.90 c #Conflicts: 140000 | #Constraints: 665182
1003.36/1015.90 c #Conflicts: 141000 | #Constraints: 666182
1003.36/1015.90 c #Conflicts: 142000 | #Constraints: 667182
1003.36/1015.90 c #Conflicts: 143000 | #Constraints: 668182
1003.36/1015.90 c #Conflicts: 144000 | #Constraints: 669182
1003.36/1015.90 c #Conflicts: 145000 | #Constraints: 670182
1003.36/1015.90 c #Conflicts: 146000 | #Constraints: 671182
1003.36/1015.90 c #Conflicts: 147000 | #Constraints: 672182
1003.36/1015.90 c INPROCESSING
1003.36/1015.90 c GARBAGE COLLECT
1003.36/1015.90 c rational objective 178.391
1162.07/1175.49 c #Conflicts: 148000 | #Constraints: 665589
1162.07/1175.49 c #Conflicts: 149000 | #Constraints: 666594
1162.07/1175.49 c #Conflicts: 150000 | #Constraints: 667601
1162.07/1175.49 c #Conflicts: 151000 | #Constraints: 668609
1162.07/1175.49 c #Conflicts: 152000 | #Constraints: 669613
1162.07/1175.49 c #Conflicts: 153000 | #Constraints: 670623
1162.07/1175.49 c #Conflicts: 154000 | #Constraints: 671641
1162.07/1175.49 c #Conflicts: 155000 | #Constraints: 672649
1162.07/1175.49 c INPROCESSING
1162.07/1175.49 c #Conflicts: 156000 | #Constraints: 665819
1162.07/1175.49 c #Conflicts: 157000 | #Constraints: 666823
1162.07/1175.49 c #Conflicts: 158000 | #Constraints: 667830
1162.07/1175.49 c #Conflicts: 159000 | #Constraints: 668840
1162.07/1175.49 c #Conflicts: 160000 | #Constraints: 669849
1162.07/1175.49 c #Conflicts: 161000 | #Constraints: 670853
1162.07/1175.49 c #Conflicts: 162000 | #Constraints: 671862
1162.07/1175.49 c #Conflicts: 163000 | #Constraints: 672873
1162.07/1175.49 c INPROCESSING
1162.07/1175.49 c GARBAGE COLLECT
1162.07/1175.49 c #Conflicts: 164000 | #Constraints: 665830
1162.07/1175.49 c #Conflicts: 165000 | #Constraints: 666849
1162.07/1175.49 c #Conflicts: 166000 | #Constraints: 667868
1162.07/1175.49 c #Conflicts: 167000 | #Constraints: 668884
1162.07/1175.49 c #Conflicts: 168000 | #Constraints: 669893
1162.07/1175.49 c #Conflicts: 169000 | #Constraints: 670901
1162.07/1175.49 c #Conflicts: 170000 | #Constraints: 671912
1162.07/1175.49 c #Conflicts: 171000 | #Constraints: 672917
1162.07/1175.49 c INPROCESSING
1162.07/1175.49 c #Conflicts: 172000 | #Constraints: 665650
1162.07/1175.49 c #Conflicts: 173000 | #Constraints: 666652
1162.07/1175.49 c #Conflicts: 174000 | #Constraints: 667654
1162.07/1175.49 c #Conflicts: 175000 | #Constraints: 668661
1162.07/1175.49 c #Conflicts: 176000 | #Constraints: 669668
1162.07/1175.49 c #Conflicts: 177000 | #Constraints: 670675
1162.07/1175.49 c #Conflicts: 178000 | #Constraints: 671681
1162.07/1175.49 c #Conflicts: 179000 | #Constraints: 672686
1162.07/1175.49 c #Conflicts: 180000 | #Constraints: 673690
1162.07/1175.49 c INPROCESSING
1162.07/1175.49 c GARBAGE COLLECT
1162.07/1175.49 c rational objective 178.4
1215.31/1228.93 c #Conflicts: 181000 | #Constraints: 666243
1215.31/1228.93 c #Conflicts: 182000 | #Constraints: 667255
1215.31/1228.93 c #Conflicts: 183000 | #Constraints: 668267
1215.31/1228.93 c #Conflicts: 184000 | #Constraints: 669279
1215.31/1228.93 c #Conflicts: 185000 | #Constraints: 670289
1215.31/1228.93 c #Conflicts: 186000 | #Constraints: 671296
1215.31/1228.93 c #Conflicts: 187000 | #Constraints: 672309
1215.31/1228.93 c #Conflicts: 188000 | #Constraints: 673321
1215.31/1228.93 c #Conflicts: 189000 | #Constraints: 674328
1215.31/1228.93 c INPROCESSING
1215.31/1228.93 c GARBAGE COLLECT
1215.31/1228.93 c rational objective 178.404
1416.71/1431.40 c #Conflicts: 190000 | #Constraints: 666723
1416.71/1431.40 c #Conflicts: 191000 | #Constraints: 667818
1416.71/1431.40 c #Conflicts: 192000 | #Constraints: 668888
1416.71/1431.40 c #Conflicts: 193000 | #Constraints: 669970
1416.71/1431.40 c #Conflicts: 194000 | #Constraints: 671040
1416.71/1431.40 c #Conflicts: 195000 | #Constraints: 672088
1416.71/1431.40 c #Conflicts: 196000 | #Constraints: 673140
1416.71/1431.40 c #Conflicts: 197000 | #Constraints: 674188
1416.71/1431.40 c #Conflicts: 198000 | #Constraints: 675276
1416.71/1431.40 c INPROCESSING
1416.71/1431.40 c GARBAGE COLLECT
1416.71/1431.40 c rational objective 178.406
1482.76/1498.87 c #Conflicts: 199000 | #Constraints: 667125
1482.76/1498.87 c #Conflicts: 200000 | #Constraints: 668134
1482.76/1498.87 c #Conflicts: 201000 | #Constraints: 669143
1482.76/1498.87 c #Conflicts: 202000 | #Constraints: 670153
1482.76/1498.87 c #Conflicts: 203000 | #Constraints: 671158
1482.76/1498.87 c #Conflicts: 204000 | #Constraints: 672164
1482.76/1498.87 c #Conflicts: 205000 | #Constraints: 673172
1482.76/1498.87 c #Conflicts: 206000 | #Constraints: 674178
1482.76/1498.87 c #Conflicts: 207000 | #Constraints: 675194
1482.76/1498.87 c INPROCESSING
1482.76/1498.87 c GARBAGE COLLECT
1482.76/1498.87 c rational objective 178.406
1830.19/1847.65 c #Conflicts: 208000 | #Constraints: 666995
1830.19/1847.65 c #Conflicts: 209000 | #Constraints: 668000
1830.19/1847.65 c #Conflicts: 210000 | #Constraints: 669007
1830.19/1847.65 c #Conflicts: 211000 | #Constraints: 670011
1830.19/1847.65 c #Conflicts: 212000 | #Constraints: 671017
1830.19/1847.65 c #Conflicts: 213000 | #Constraints: 672021
1830.19/1847.65 c #Conflicts: 214000 | #Constraints: 673029
1830.19/1847.65 c #Conflicts: 215000 | #Constraints: 674036
1830.19/1847.65 c #Conflicts: 216000 | #Constraints: 675046
1830.19/1847.65 c INPROCESSING
1830.19/1847.65 c #Conflicts: 217000 | #Constraints: 666724
1830.19/1847.65 c #Conflicts: 218000 | #Constraints: 667726
1830.19/1847.65 c #Conflicts: 219000 | #Constraints: 668743
1830.19/1847.65 c #Conflicts: 220000 | #Constraints: 669758
1830.19/1847.65 c #Conflicts: 221000 | #Constraints: 670777
1830.19/1847.65 c #Conflicts: 222000 | #Constraints: 671795
1830.19/1847.65 c #Conflicts: 223000 | #Constraints: 672804
1830.19/1847.65 c #Conflicts: 224000 | #Constraints: 673813
1830.19/1847.65 c #Conflicts: 225000 | #Constraints: 674821
1830.19/1847.65 c #Conflicts: 226000 | #Constraints: 675832
1830.19/1847.65 c INPROCESSING
1830.19/1847.65 c GARBAGE COLLECT
1830.19/1847.65 c #Conflicts: 227000 | #Constraints: 667330
1830.19/1847.65 c #Conflicts: 228000 | #Constraints: 668336
1830.19/1847.65 c #Conflicts: 229000 | #Constraints: 669346
1830.19/1847.65 c #Conflicts: 230000 | #Constraints: 670351
1830.19/1847.65 c #Conflicts: 231000 | #Constraints: 671353
1830.19/1847.65 c #Conflicts: 232000 | #Constraints: 672356
1830.19/1847.65 c #Conflicts: 233000 | #Constraints: 673358
1830.19/1847.65 c #Conflicts: 234000 | #Constraints: 674365
1830.19/1847.65 c #Conflicts: 235000 | #Constraints: 675374
1830.19/1847.65 c #Conflicts: 236000 | #Constraints: 676378
1830.19/1847.65 c INPROCESSING
1830.19/1847.65 c rational objective 178.406
1955.58/1973.78 c #Conflicts: 237000 | #Constraints: 667681
1955.58/1973.78 c #Conflicts: 238000 | #Constraints: 668692
1955.58/1973.78 c #Conflicts: 239000 | #Constraints: 669701
1955.58/1973.78 c #Conflicts: 240000 | #Constraints: 670705
1955.58/1973.78 c #Conflicts: 241000 | #Constraints: 671709
1955.58/1973.78 c #Conflicts: 242000 | #Constraints: 672714
1955.58/1973.78 c #Conflicts: 243000 | #Constraints: 673718
1955.58/1973.78 c #Conflicts: 244000 | #Constraints: 674723
1955.58/1973.78 c #Conflicts: 245000 | #Constraints: 675730
1955.58/1973.78 c #Conflicts: 246000 | #Constraints: 676740
1955.58/1973.78 c INPROCESSING
1955.58/1973.78 c GARBAGE COLLECT
1955.58/1973.78 c #Conflicts: 247000 | #Constraints: 667859
1955.58/1973.78 c #Conflicts: 248000 | #Constraints: 668868
1955.58/1973.78 c #Conflicts: 249000 | #Constraints: 669877
1955.58/1973.78 c #Conflicts: 250000 | #Constraints: 670891
1955.58/1973.78 c #Conflicts: 251000 | #Constraints: 671898
1955.58/1973.78 c #Conflicts: 252000 | #Constraints: 672901
1955.58/1973.78 c #Conflicts: 253000 | #Constraints: 673908
1955.58/1973.78 c #Conflicts: 254000 | #Constraints: 674910
1955.58/1973.78 c #Conflicts: 255000 | #Constraints: 675910
1955.58/1973.78 c #Conflicts: 256000 | #Constraints: 676910
1955.58/1973.78 c INPROCESSING
1955.58/1973.78 c rational objective 178.406
2017.50/2036.19 c #Conflicts: 257000 | #Constraints: 667852
2017.50/2036.19 c #Conflicts: 258000 | #Constraints: 668856
2017.50/2036.19 c #Conflicts: 259000 | #Constraints: 669858
2017.50/2036.19 c #Conflicts: 260000 | #Constraints: 670864
2017.50/2036.19 c #Conflicts: 261000 | #Constraints: 671873
2017.50/2036.19 c #Conflicts: 262000 | #Constraints: 672881
2017.50/2036.19 c #Conflicts: 263000 | #Constraints: 673893
2017.50/2036.19 c #Conflicts: 264000 | #Constraints: 674898
2017.50/2036.19 c #Conflicts: 265000 | #Constraints: 675911
2017.50/2036.19 c #Conflicts: 266000 | #Constraints: 676929
2017.50/2036.19 c INPROCESSING
2017.50/2036.19 c GARBAGE COLLECT
2017.50/2036.19 c rational objective 178.406
2184.26/2203.94 c #Conflicts: 267000 | #Constraints: 667652
2184.26/2203.94 c #Conflicts: 268000 | #Constraints: 668660
2184.26/2203.94 c #Conflicts: 269000 | #Constraints: 669672
2184.26/2203.94 c #Conflicts: 270000 | #Constraints: 670678
2184.26/2203.94 c #Conflicts: 271000 | #Constraints: 671693
2184.26/2203.94 c #Conflicts: 272000 | #Constraints: 672706
2184.26/2203.94 c #Conflicts: 273000 | #Constraints: 673714
2184.26/2203.94 c #Conflicts: 274000 | #Constraints: 674724
2184.26/2203.94 c #Conflicts: 275000 | #Constraints: 675734
2184.26/2203.94 c #Conflicts: 276000 | #Constraints: 676749
2184.26/2203.94 c #Conflicts: 277000 | #Constraints: 677753
2184.26/2203.94 c INPROCESSING
2184.26/2203.94 c GARBAGE COLLECT
2184.26/2203.94 c #Conflicts: 278000 | #Constraints: 668263
2184.26/2203.94 c #Conflicts: 279000 | #Constraints: 669266
2184.26/2203.94 c #Conflicts: 280000 | #Constraints: 670270
2184.26/2203.94 c #Conflicts: 281000 | #Constraints: 671275
2184.26/2203.94 c #Conflicts: 282000 | #Constraints: 672284
2184.26/2203.94 c #Conflicts: 283000 | #Constraints: 673289
2184.26/2203.94 c #Conflicts: 284000 | #Constraints: 674297
2184.26/2203.94 c #Conflicts: 285000 | #Constraints: 675302
2184.26/2203.94 c #Conflicts: 286000 | #Constraints: 676304
2184.26/2203.94 c #Conflicts: 287000 | #Constraints: 677314
2184.26/2203.94 c #Conflicts: 288000 | #Constraints: 678317
2184.26/2203.94 c INPROCESSING
2184.26/2203.94 c rational objective 178.406
2329.64/2349.97 c #Conflicts: 289000 | #Constraints: 668652
2329.64/2349.97 c #Conflicts: 290000 | #Constraints: 669657
2329.64/2349.97 c #Conflicts: 291000 | #Constraints: 670666
2329.64/2349.97 c #Conflicts: 292000 | #Constraints: 671681
2329.64/2349.97 c #Conflicts: 293000 | #Constraints: 672696
2329.64/2349.97 c #Conflicts: 294000 | #Constraints: 673716
2329.64/2349.97 c #Conflicts: 295000 | #Constraints: 674733
2329.64/2349.97 c #Conflicts: 296000 | #Constraints: 675742
2329.64/2349.97 c #Conflicts: 297000 | #Constraints: 676747
2329.64/2349.97 c #Conflicts: 298000 | #Constraints: 677757
2329.64/2349.97 c #Conflicts: 299000 | #Constraints: 678758
2329.64/2349.97 c INPROCESSING
2329.64/2349.97 c GARBAGE COLLECT
2329.64/2349.97 c rational objective 178.406
2456.68/2477.40 c #Conflicts: 300000 | #Constraints: 668879
2456.68/2477.40 c #Conflicts: 301000 | #Constraints: 669882
2456.68/2477.40 c #Conflicts: 302000 | #Constraints: 670886
2456.68/2477.40 c #Conflicts: 303000 | #Constraints: 671892
2456.68/2477.40 c #Conflicts: 304000 | #Constraints: 672895
2456.68/2477.40 c #Conflicts: 305000 | #Constraints: 673898
2456.68/2477.40 c #Conflicts: 306000 | #Constraints: 674902
2456.68/2477.40 c #Conflicts: 307000 | #Constraints: 675907
2456.68/2477.40 c #Conflicts: 308000 | #Constraints: 676912
2456.68/2477.40 c #Conflicts: 309000 | #Constraints: 677917
2456.68/2477.40 c #Conflicts: 310000 | #Constraints: 678922
2456.68/2477.40 c INPROCESSING
2456.68/2477.40 c #Conflicts: 311000 | #Constraints: 668870
2456.68/2477.40 c #Conflicts: 312000 | #Constraints: 669876
2456.68/2477.40 c #Conflicts: 313000 | #Constraints: 670891
2456.68/2477.40 c #Conflicts: 314000 | #Constraints: 671908
2456.68/2477.40 c #Conflicts: 315000 | #Constraints: 672923
2456.68/2477.40 c #Conflicts: 316000 | #Constraints: 673936
2456.68/2477.40 c #Conflicts: 317000 | #Constraints: 674948
2456.68/2477.40 c #Conflicts: 318000 | #Constraints: 675961
2456.68/2477.40 c #Conflicts: 319000 | #Constraints: 676984
2456.68/2477.40 c #Conflicts: 320000 | #Constraints: 677999
2456.68/2477.40 c #Conflicts: 321000 | #Constraints: 679018
2456.68/2477.40 c INPROCESSING
2456.68/2477.40 c GARBAGE COLLECT
2456.68/2477.40 c rational objective 178.406
2565.16/2586.54 c #Conflicts: 322000 | #Constraints: 668712
2565.16/2586.54 c #Conflicts: 323000 | #Constraints: 669717
2565.16/2586.54 c #Conflicts: 324000 | #Constraints: 670725
2565.16/2586.54 c #Conflicts: 325000 | #Constraints: 671741
2565.16/2586.54 c #Conflicts: 326000 | #Constraints: 672758
2565.16/2586.54 c #Conflicts: 327000 | #Constraints: 673766
2565.16/2586.54 c #Conflicts: 328000 | #Constraints: 674773
2565.16/2586.54 c #Conflicts: 329000 | #Constraints: 675777
2565.16/2586.54 c #Conflicts: 330000 | #Constraints: 676792
2565.16/2586.54 c #Conflicts: 331000 | #Constraints: 677805
2565.16/2586.54 c #Conflicts: 332000 | #Constraints: 678817
2565.16/2586.54 c #Conflicts: 333000 | #Constraints: 679826
2565.16/2586.54 c INPROCESSING
2565.16/2586.54 c GARBAGE COLLECT
2565.16/2586.54 c rational objective 178.406
2748.58/2771.05 c #Conflicts: 334000 | #Constraints: 669321
2748.58/2771.05 c #Conflicts: 335000 | #Constraints: 670328
2748.58/2771.05 c #Conflicts: 336000 | #Constraints: 671336
2748.58/2771.05 c #Conflicts: 337000 | #Constraints: 672347
2748.58/2771.05 c #Conflicts: 338000 | #Constraints: 673350
2748.58/2771.05 c #Conflicts: 339000 | #Constraints: 674355
2748.58/2771.05 c #Conflicts: 340000 | #Constraints: 675364
2748.58/2771.05 c #Conflicts: 341000 | #Constraints: 676373
2748.58/2771.05 c #Conflicts: 342000 | #Constraints: 677379
2748.58/2771.05 c #Conflicts: 343000 | #Constraints: 678387
2748.58/2771.05 c #Conflicts: 344000 | #Constraints: 679393
2748.58/2771.05 c #Conflicts: 345000 | #Constraints: 680412
2748.58/2771.05 c INPROCESSING
2748.58/2771.05 c rational objective 178.406
2851.96/2875.27 c #Conflicts: 346000 | #Constraints: 669702
2851.96/2875.27 c #Conflicts: 347000 | #Constraints: 670708
2851.96/2875.27 c #Conflicts: 348000 | #Constraints: 671717
2851.96/2875.27 c #Conflicts: 349000 | #Constraints: 672731
2851.96/2875.27 c #Conflicts: 350000 | #Constraints: 673748
2851.96/2875.27 c #Conflicts: 351000 | #Constraints: 674762
2851.96/2875.27 c #Conflicts: 352000 | #Constraints: 675777
2851.96/2875.27 c #Conflicts: 353000 | #Constraints: 676787
2851.96/2875.27 c #Conflicts: 354000 | #Constraints: 677791
2851.96/2875.27 c #Conflicts: 355000 | #Constraints: 678797
2851.96/2875.27 c #Conflicts: 356000 | #Constraints: 679801
2851.96/2875.27 c #Conflicts: 357000 | #Constraints: 680805
2851.96/2875.27 c INPROCESSING
2851.96/2875.27 c GARBAGE COLLECT
2851.96/2875.27 c rational objective 178.406
2936.51/2960.13 c #Conflicts: 358000 | #Constraints: 669903
2936.51/2960.13 c #Conflicts: 359000 | #Constraints: 670908
2936.51/2960.13 c #Conflicts: 360000 | #Constraints: 671912
2936.51/2960.13 c #Conflicts: 361000 | #Constraints: 672917
2936.51/2960.13 c #Conflicts: 362000 | #Constraints: 673922
2936.51/2960.13 c #Conflicts: 363000 | #Constraints: 674927
2936.51/2960.13 c #Conflicts: 364000 | #Constraints: 675936
2936.51/2960.13 c #Conflicts: 365000 | #Constraints: 676939
2936.51/2960.13 c #Conflicts: 366000 | #Constraints: 677945
2936.51/2960.13 c #Conflicts: 367000 | #Constraints: 678951
2936.51/2960.13 c #Conflicts: 368000 | #Constraints: 679961
2936.51/2960.13 c #Conflicts: 369000 | #Constraints: 680968
2936.51/2960.13 c INPROCESSING
2936.51/2960.13 c rational objective 178.406
3012.80/3036.89 c #Conflicts: 370000 | #Constraints: 669888
3012.80/3036.89 c #Conflicts: 371000 | #Constraints: 670894
3012.80/3036.89 c #Conflicts: 372000 | #Constraints: 671903
3012.80/3036.89 c #Conflicts: 373000 | #Constraints: 672908
3012.80/3036.89 c #Conflicts: 374000 | #Constraints: 673913
3012.80/3036.89 c #Conflicts: 375000 | #Constraints: 674919
3012.80/3036.89 c #Conflicts: 376000 | #Constraints: 675930
3012.80/3036.89 c #Conflicts: 377000 | #Constraints: 676940
3012.80/3036.89 c #Conflicts: 378000 | #Constraints: 677943
3012.80/3036.89 c #Conflicts: 379000 | #Constraints: 678950
3012.80/3036.89 c #Conflicts: 380000 | #Constraints: 679953
3012.80/3036.89 c #Conflicts: 381000 | #Constraints: 680958
3012.80/3036.89 c INPROCESSING
3012.80/3036.89 c GARBAGE COLLECT
3012.80/3036.89 c rational objective 178.407
3093.71/3118.16 c #Conflicts: 382000 | #Constraints: 669676
3093.71/3118.16 c #Conflicts: 383000 | #Constraints: 670679
3093.71/3118.16 c #Conflicts: 384000 | #Constraints: 671681
3093.71/3118.16 c #Conflicts: 385000 | #Constraints: 672688
3093.71/3118.16 c #Conflicts: 386000 | #Constraints: 673704
3093.71/3118.16 c #Conflicts: 387000 | #Constraints: 674710
3093.71/3118.16 c #Conflicts: 388000 | #Constraints: 675715
3093.71/3118.16 c #Conflicts: 389000 | #Constraints: 676724
3093.71/3118.16 c #Conflicts: 390000 | #Constraints: 677729
3093.71/3118.16 c #Conflicts: 391000 | #Constraints: 678733
3093.71/3118.16 c #Conflicts: 392000 | #Constraints: 679736
3093.71/3118.16 c #Conflicts: 393000 | #Constraints: 680740
3093.71/3118.16 c #Conflicts: 394000 | #Constraints: 681753
3093.71/3118.16 c INPROCESSING
3093.71/3118.16 c GARBAGE COLLECT
3093.71/3118.16 c rational objective 178.407
3297.49/3322.77 c #Conflicts: 395000 | #Constraints: 670296
3297.49/3322.77 c #Conflicts: 396000 | #Constraints: 671302
3297.49/3322.77 c #Conflicts: 397000 | #Constraints: 672313
3297.49/3322.77 c #Conflicts: 398000 | #Constraints: 673320
3297.49/3322.77 c #Conflicts: 399000 | #Constraints: 674325
3297.49/3322.77 c #Conflicts: 400000 | #Constraints: 675330
3297.49/3322.77 c #Conflicts: 401000 | #Constraints: 676337
3297.49/3322.77 c #Conflicts: 402000 | #Constraints: 677342
3297.49/3322.77 c #Conflicts: 403000 | #Constraints: 678347
3297.49/3322.77 c #Conflicts: 404000 | #Constraints: 679350
3297.49/3322.77 c #Conflicts: 405000 | #Constraints: 680354
3297.49/3322.77 c #Conflicts: 406000 | #Constraints: 681362
3297.49/3322.77 c #Conflicts: 407000 | #Constraints: 682367
3297.49/3322.77 c INPROCESSING
3297.49/3322.77 c GARBAGE COLLECT
3297.49/3322.77 c rational objective 178.407
3376.75/3402.36 c #Conflicts: 408000 | #Constraints: 670692
3376.75/3402.36 c #Conflicts: 409000 | #Constraints: 671696
3376.75/3402.36 c #Conflicts: 410000 | #Constraints: 672700
3376.75/3402.36 c #Conflicts: 411000 | #Constraints: 673705
3376.75/3402.36 c #Conflicts: 412000 | #Constraints: 674711
3376.75/3402.36 c #Conflicts: 413000 | #Constraints: 675714
3376.75/3402.36 c #Conflicts: 414000 | #Constraints: 676718
3376.75/3402.36 c #Conflicts: 415000 | #Constraints: 677727
3376.75/3402.36 c #Conflicts: 416000 | #Constraints: 678736
3376.75/3402.36 c #Conflicts: 417000 | #Constraints: 679749
3376.75/3402.36 c #Conflicts: 418000 | #Constraints: 680768
3376.75/3402.36 c #Conflicts: 419000 | #Constraints: 681781
3376.75/3402.36 c #Conflicts: 420000 | #Constraints: 682795
3376.75/3402.36 c INPROCESSING
3376.75/3402.36 c GARBAGE COLLECT
3376.75/3402.36 c rational objective 178.407
3467.00/3492.91 c #Conflicts: 421000 | #Constraints: 670906
3467.00/3492.91 c #Conflicts: 422000 | #Constraints: 671910
3467.00/3492.91 c #Conflicts: 423000 | #Constraints: 672918
3467.00/3492.91 c #Conflicts: 424000 | #Constraints: 673922
3467.00/3492.91 c #Conflicts: 425000 | #Constraints: 674928
3467.00/3492.91 c #Conflicts: 426000 | #Constraints: 675938
3467.00/3492.91 c #Conflicts: 427000 | #Constraints: 676950
3467.00/3492.91 c #Conflicts: 428000 | #Constraints: 677958
3467.00/3492.91 c #Conflicts: 429000 | #Constraints: 678970
3467.00/3492.91 c #Conflicts: 430000 | #Constraints: 679987
3467.00/3492.91 c #Conflicts: 431000 | #Constraints: 681002
3467.00/3492.91 c #Conflicts: 432000 | #Constraints: 682013
3467.00/3492.91 c #Conflicts: 433000 | #Constraints: 683025
3467.00/3492.91 c INPROCESSING
3467.00/3492.91 c GARBAGE COLLECT
3467.00/3492.91 c rational objective 178.408
3600.05/3628.30 c #Conflicts: 434000 | #Constraints: 670918
3600.05/3628.30 c #Conflicts: 435000 | #Constraints: 671921
3600.05/3628.30 c #Conflicts: 436000 | #Constraints: 672924
3600.05/3628.30 c #Conflicts: 437000 | #Constraints: 673929
3600.05/3628.30 c #Conflicts: 438000 | #Constraints: 674933
3600.05/3628.30 c #Conflicts: 439000 | #Constraints: 675940
3600.05/3628.30 c #Conflicts: 440000 | #Constraints: 676948
3600.05/3628.30 c #Conflicts: 441000 | #Constraints: 677959
3600.05/3628.30 c #Conflicts: 442000 | #Constraints: 678962
3600.05/3628.30 c #Conflicts: 443000 | #Constraints: 679968
3600.05/3628.30 c #Conflicts: 444000 | #Constraints: 680975
3600.05/3628.30 c #Conflicts: 445000 | #Constraints: 681981
3600.05/3628.30 c #Conflicts: 446000 | #Constraints: 682984
3600.05/3628.30 c INPROCESSING
3600.05/3628.30 c GARBAGE COLLECT
3600.05/3628.30 c #Conflicts: 447000 | #Constraints: 670711
3600.05/3628.30 c #Conflicts: 448000 | #Constraints: 671717
3600.05/3628.30 c #Conflicts: 449000 | #Constraints: 672725
3600.05/3628.30 c #Conflicts: 450000 | #Constraints: 673740
3600.05/3628.30 c #Conflicts: 451000 | #Constraints: 674742
3600.05/3628.30 c #Conflicts: 452000 | #Constraints: 675753
3600.05/3628.30 c #Conflicts: 453000 | #Constraints: 676759
3600.05/3628.30 c #Conflicts: 454000 | #Constraints: 677769
3600.05/3628.30 c #Conflicts: 455000 | #Constraints: 678777
3600.05/3628.30 c cpu time 3578.34 s
3600.05/3628.30 c deterministic time 110158609272 1.10e+11
3600.05/3628.30 c optimization time 46.9807 s
3600.05/3628.30 c total solve time 3528.48 s
3600.05/3628.30 c core-guided solve time 3156.17 s
3600.05/3628.30 c propagation time 1463.88 s
3600.05/3628.30 c conflict analysis time 707.694 s
3600.05/3628.30 c propagations 54405201
3600.05/3628.30 c resolve steps 11303150
3600.05/3628.30 c decisions 11509925
3600.05/3628.30 c conflicts 455835
3600.05/3628.30 c restarts 1021
3600.05/3628.30 c inprocessing phases 58
3600.05/3628.30 c garbage collections 46 ,( 79.31 )
3600.05/3628.30 c input clauses 656904 ,( 99.96 )
3600.05/3628.30 c input cardinalities 9 ,( 0.00 )
3600.05/3628.30 c input general constraints 260 ,( 0.04 )
3600.05/3628.30 c input average constraint length 5.90
3600.05/3628.30 c input average constraint degree 185.06
3600.05/3628.30 c learned clauses 434915 ,( 94.26 )
3600.05/3628.30 c learned cardinalities 13 ,( 0.00 )
3600.05/3628.30 c learned general constraints 26458 ,( 5.73 )
3600.05/3628.30 c learned average constraint length 2724.78
3600.05/3628.30 c learned average constraint degree 21357191655.05
3600.05/3628.30 c watched CF 32, 64, 128, Arb: 5045 , 0 , 0 , 0
3600.05/3628.30 c counting CF 32, 64, 128, Arb: 21674 , 0 , 0 , 0
3600.05/3628.30 c watched constraints 5045 ,( 18.88 )
3600.05/3628.30 c counting constraints 21673 ,( 81.12 )
3600.05/3628.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 253428635 , 860026 , 381988660 ,( 19272435 , 362716225 )
3600.05/3628.30 c gcd simplifications 435
3600.05/3628.30 c detected cardinalities 0
3600.05/3628.30 c weakened non-implied lits 439536780
3600.05/3628.30 c weakened non-implying lits 18737
3600.05/3628.30 c original variables 10000
3600.05/3628.30 c clausal propagations 49335288
3600.05/3628.30 c cardinality propagations 24073
3600.05/3628.30 c watched propagations 22761
3600.05/3628.30 c counting propagations 4401993
3600.05/3628.30 c watch lookups 37819115364
3600.05/3628.30 c watch backjump lookups 0
3600.05/3628.30 c watch checks 9559052048
3600.05/3628.30 c propagation checks 59532116921
3600.05/3628.30 c constraint additions 3115357796
3600.05/3628.30 c trail pops 66361045
3600.05/3628.30 c formula constraints 656900
3600.05/3628.30 c learned constraints 455660
3600.05/3628.30 c bound constraints 251
3600.05/3628.30 c core-guided constraints 22
3600.05/3628.30 c encountered formula constraints 9037013
3600.05/3628.30 c encountered learned constraints 2682626
3600.05/3628.30 c encountered bound constraints 2469
3600.05/3628.30 c encountered core-guided constraints 15551
3600.05/3628.30 c LP total time 2108.52 s
3600.05/3628.30 c LP solve time 1723.34 s
3600.05/3628.30 c LP constraints added 656986
3600.05/3628.30 c LP constraints removed 58
3600.05/3628.30 c LP pivots internal 455868
3600.05/3628.30 c LP pivots root 235103
3600.05/3628.30 c LP calls 5774
3600.05/3628.30 c LP optimalities 197
3600.05/3628.30 c LP no pivot count 1
3600.05/3628.30 c LP infeasibilities 5532
3600.05/3628.30 c LP valid Farkas constraints 5530
3600.05/3628.30 c LP learned Farkas constraints 175
3600.05/3628.30 c LP basis resets 43
3600.05/3628.30 c LP cycling count 28
3600.05/3628.30 c LP singular count 10
3600.05/3628.30 c LP no primal count 0
3600.05/3628.30 c LP no farkas count 2
3600.05/3628.30 c LP other issue count 3
3600.05/3628.30 c LP Gomory cuts 21
3600.05/3628.30 c LP learned cuts 65
3600.05/3628.30 c LP deleted cuts 58
3600.05/3628.30 c LP encountered Gomory constraints 0
3600.05/3628.30 c LP encountered Farkas constraints 20981
3600.05/3628.30 c LP encountered learned Farkas constraints 170
3600.05/3628.30 c CG auxiliary variables introduced 9
3600.05/3628.30 c CG solutions found 245
3600.05/3628.30 c CG cores constructed 5
3600.05/3628.30 c CG core cardinality constraints returned 0
3600.05/3628.30 c CG unit cores 0
3600.05/3628.30 c CG single cores 5
3600.05/3628.30 c CG blocks removed during cardinality reduction 0
3600.05/3628.30 c CG first core best 0
3600.05/3628.30 c CG decision core best 0
3600.05/3628.30 c CG core reduction tie 0
3600.05/3628.30 c CG core degree average 1.00
3600.05/3628.30 c CG core slack average 2246.20
3600.05/3628.30 c CG core upper bound improvements 0
3600.05/3628.30 c STR number of successful calls 0
3600.05/3628.30 c STR number of unsuccessful calls 0
3600.05/3628.30 c STR number of inconclusive calls 0
3600.05/3628.30 c STR number of successful attempts 0
3600.05/3628.30 c STR number of unsuccessful attempts 0
3600.05/3628.30 c STR number of inconclusive attempts 0
3600.05/3628.30 c STR average degree increase per successful call inf
3600.05/3628.30 c STR average degree increase per successful attempt inf
3600.05/3628.30 c STR total number of conflicts for successful attempts 0
3600.05/3628.30 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3628.30 c STR total number of conflicts for inconclusive attempts 0
3600.05/3628.30 c STR average number of conflicts per successful attempt inf
3600.05/3628.30 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3628.30 c STR average number of conflicts per inconclusive attempt inf
3600.05/3628.30 c AVG.sumWPerc 79.85
3600.05/3628.30 c bigint constraints 0
3600.05/3628.30 o 338
3600.05/3628.30 s SATISFIABLE
3600.05/3628.30 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
3600.05/3628.30 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 (62672 MiB free)
memory of node 1: 64465 MiB (63696 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531825-1752596240/watcher-4531825-1752596240 -o /tmp/evaluation-result-4531825-1752596240/solver-4531825-1752596240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752596240-130167 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531825-1752596240.opb PROOFDIR/proof-4531825-1752596240
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 FSIZE limit: 102400000 KiB
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=130201, runsolver pid=130197
[startup+0.10006 s]*
/proc/loadavg: 2.29 2.66 3.31 5/293 130209
/proc/meminfo: memFree=129123468/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130203] ppid=130201 vsize=165748 memory=150424 CPUtime=0.08 cores=0,2
/proc/130203/stat : 130203 (pbsuma) R 130201 130201 130157 0 -1 4194304 4657 0 0 0 5 3 0 0 20 0 1 0 175301578 169725952 37606 18446744073709551615 4210688 4653049 140737202500784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 30150656 140737202510049 140737202510384 140737202510384 140737202515951 0
/proc/130203/statm: 41437 37606 960 108 0 38845 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 169940 KiB
Current children cumulated memory: 153496 KiB
[startup+0.206422 s]*
/proc/loadavg: 2.29 2.66 3.31 5/298 130220
/proc/meminfo: memFree=129056264/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130203] ppid=130201 vsize=181844 memory=168440 CPUtime=0.18 cores=0,2
/proc/130203/stat : 130203 (pbsuma) R 130201 130201 130157 0 -1 4194304 9102 0 0 0 15 3 0 0 20 0 1 0 175301578 186208256 42110 18446744073709551615 4210688 4653049 140737202500784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 30150656 140737202510049 140737202510384 140737202510384 140737202515951 0
/proc/130203/statm: 45461 42110 960 108 0 42869 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 186036 KiB
Current children cumulated memory: 171512 KiB
[startup+0.306353 s]*
/proc/loadavg: 2.29 2.66 3.31 5/304 130230
/proc/meminfo: memFree=128741216/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130203] ppid=130201 vsize=195708 memory=185584 CPUtime=0.29 cores=0,2
/proc/130203/stat : 130203 (pbsuma) R 130201 130201 130157 0 -1 4194304 12351 0 0 0 25 4 0 0 20 0 1 0 175301578 200404992 46396 18446744073709551615 4210688 4653049 140737202500784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 30150656 140737202510049 140737202510384 140737202510384 140737202515951 0
/proc/130203/statm: 48927 46396 960 108 0 46335 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 199900 KiB
Current children cumulated memory: 188656 KiB
[startup+0.700218 s]
/proc/loadavg: 2.29 2.66 3.31 5/304 130230
/proc/meminfo: memFree=128529148/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130203] ppid=130201 vsize=309832 memory=264832 CPUtime=0.62 cores=0,2
/proc/130203/stat : 130203 (pbsuma) R 130201 130201 130157 0 -1 4194304 21984 0 0 0 56 6 0 0 20 0 1 0 175301578 317267968 66208 18446744073709551615 4210688 4653049 140737202500784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 30150656 140737202510049 140737202510384 140737202510384 140737202515951 0
/proc/130203/statm: 77458 66208 992 108 0 74866 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 314024 KiB
Current children cumulated memory: 267904 KiB
[startup+1.50022 s]
/proc/loadavg: 2.29 2.66 3.31 5/304 130231
/proc/meminfo: memFree=128438628/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=104164 memory=58616 CPUtime=0.51 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 11724 0 0 0 40 11 0 0 20 0 1 0 175301674 106663936 14654 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 26041 14654 2016 1147 0 13467 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 108356 KiB
Current children cumulated memory: 61688 KiB
[startup+3.10609 s]
/proc/loadavg: 2.29 2.66 3.31 4/299 130241
/proc/meminfo: memFree=128197076/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=263056 memory=202712 CPUtime=2.1 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 44140 0 0 0 159 51 0 0 20 0 1 0 175301674 269369344 50678 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 65764 50678 2016 1147 0 53190 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 267248 KiB
Current children cumulated memory: 205784 KiB
[startup+6.30021 s]
/proc/loadavg: 2.43 2.68 3.31 5/304 130281
/proc/meminfo: memFree=126505864/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=1064972 memory=804312 CPUtime=5.29 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 87973 0 0 0 443 86 0 0 20 0 1 0 175301674 1090531328 201078 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 266243 201078 2304 1147 0 253669 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 1069164 KiB
Current children cumulated memory: 807384 KiB
[startup+12.7002 s]
/proc/loadavg: 2.71 2.74 3.33 4/304 130283
/proc/meminfo: memFree=126595328/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=1245016 memory=914132 CPUtime=11.66 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 97135 0 0 0 1071 95 0 0 20 0 1 0 175301674 1274896384 228533 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 311254 228533 2400 1147 0 298680 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 1249208 KiB
Current children cumulated memory: 917204 KiB
[startup+25.5002 s]
/proc/loadavg: 3.00 2.80 3.34 5/302 130344
/proc/meminfo: memFree=125952892/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=1503008 memory=1150588 CPUtime=24.42 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 123190 0 0 0 2305 137 0 0 20 0 1 0 175301674 1539080192 287647 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 375752 287647 2400 1147 0 363178 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 1507200 KiB
Current children cumulated memory: 1153660 KiB
[startup+51.1063 s]
/proc/loadavg: 3.42 2.91 3.37 4/300 130393
/proc/meminfo: memFree=125122696/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=1581980 memory=1251460 CPUtime=49.9 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 133179 0 0 0 4778 212 0 0 20 0 1 0 175301674 1619947520 312865 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 395495 312865 2400 1147 0 382921 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 1586172 KiB
Current children cumulated memory: 1254532 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 3.16 3.43 5/302 130572
/proc/meminfo: memFree=124565692/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=1757520 memory=1379372 CPUtime=100.91 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 146938 0 0 0 9827 264 0 0 20 0 1 0 175301674 1799700480 344843 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 439380 344843 2400 1147 0 426806 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 1761712 KiB
Current children cumulated memory: 1382444 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 3.33 3.47 5/301 130669
/proc/meminfo: memFree=123388968/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=2094348 memory=1644480 CPUtime=160.72 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 208431 0 0 0 15740 332 0 0 20 0 1 0 175301674 2144612352 411120 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 523587 411120 2400 1147 0 511013 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 2098540 KiB
Current children cumulated memory: 1647552 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.47 3.51 5/301 130671
/proc/meminfo: memFree=120830120/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=2747232 memory=2209404 CPUtime=220.54 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 313202 0 0 0 21662 392 0 0 20 0 1 0 175301674 2813165568 552351 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 686808 552351 2400 1147 0 674234 0
################
# More data... #
################
[pid=130231] ppid=130201 vsize=4464124 memory=3830940 CPUtime=3077.06 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 651998 0 0 0 305790 1916 0 0 20 0 1 0 175301674 4571262976 957735 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 1116031 957735 2560 1147 0 1103457 0
Current children cumulated CPU time: 3077.95 s
Current children cumulated vsize: 4468316 KiB
Current children cumulated memory: 3834012 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 130830
/proc/meminfo: memFree=89530748/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=4464124 memory=3830940 CPUtime=3136.83 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 652075 0 0 0 311740 1943 0 0 20 0 1 0 175301674 4571262976 957735 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 1116031 957735 2560 1147 0 1103457 0
Current children cumulated CPU time: 3137.72 s
Current children cumulated vsize: 4468316 KiB
Current children cumulated memory: 3834012 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 130832
/proc/meminfo: memFree=89150300/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=4464124 memory=3830940 CPUtime=3196.5 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 652108 0 0 0 317683 1967 0 0 20 0 1 0 175301674 4571262976 957735 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 1116031 957735 2560 1147 0 1103457 0
Current children cumulated CPU time: 3197.39 s
Current children cumulated vsize: 4468316 KiB
Current children cumulated memory: 3834012 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/271 130834
/proc/meminfo: memFree=88703388/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=4464124 memory=3832988 CPUtime=3256.32 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 652322 0 0 0 323662 1970 0 0 20 0 1 0 175301674 4571262976 958247 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 1116031 958247 2560 1147 0 1103457 0
Current children cumulated CPU time: 3257.21 s
Current children cumulated vsize: 4468316 KiB
Current children cumulated memory: 3836060 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 130838
/proc/meminfo: memFree=88139364/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=4464128 memory=3832992 CPUtime=3316.14 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 654398 0 0 0 329623 1991 0 0 20 0 1 0 175301674 4571267072 958248 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 1116032 958248 2560 1147 0 1103458 0
Current children cumulated CPU time: 3317.03 s
Current children cumulated vsize: 4468320 KiB
Current children cumulated memory: 3836064 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/271 130845
/proc/meminfo: memFree=87703676/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=4464128 memory=3832992 CPUtime=3375.86 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 655252 0 0 0 335570 2016 0 0 20 0 1 0 175301674 4571267072 958248 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 1116032 958248 2560 1147 0 1103458 0
Current children cumulated CPU time: 3376.75 s
Current children cumulated vsize: 4468320 KiB
Current children cumulated memory: 3836064 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 130849
/proc/meminfo: memFree=87258880/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=4471012 memory=3839876 CPUtime=3435.62 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 655935 0 0 0 341529 2033 0 0 20 0 1 0 175301674 4578316288 959969 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 1117753 959969 2560 1147 0 1105179 0
Current children cumulated CPU time: 3436.51 s
Current children cumulated vsize: 4475204 KiB
Current children cumulated memory: 3842948 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 130851
/proc/meminfo: memFree=86794768/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=4467120 memory=3835984 CPUtime=3493.55 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 657670 0 0 0 347307 2048 0 0 20 0 1 0 175301674 4574330880 958996 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 1116780 958996 2560 1147 0 1104206 0
Current children cumulated CPU time: 3494.44 s
Current children cumulated vsize: 4471312 KiB
Current children cumulated memory: 3839056 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 130853
/proc/meminfo: memFree=86358812/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=4467120 memory=3835984 CPUtime=3553.35 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 659619 0 0 0 353269 2066 0 0 20 0 1 0 175301674 4574330880 958996 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 1116780 958996 2560 1147 0 1104206 0
Current children cumulated CPU time: 3554.24 s
Current children cumulated vsize: 4471312 KiB
Current children cumulated memory: 3839056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3628.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/272 130853
/proc/meminfo: memFree=86066840/131249988 swapFree=33010160/33010684
[pid=130201] ppid=130197 vsize=4192 memory=3072 CPUtime=0.89 cores=0,2
/proc/130201/stat : 130201 (run-opt-ls-log.) S 130197 130201 130157 0 -1 4194304 240 28721 0 0 0 0 79 10 20 0 1 0 175301577 4292608 768 18446744073709551615 94912510382080 94912511276613 140720443123872 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94912511515664 94912511563408 94912517611520 140720443128089 140720443128287 140720443128287 140720443133891 0
/proc/130201/statm: 1048 768 704 219 0 110 0
[pid=130231] ppid=130201 vsize=4467120 memory=3835984 CPUtime=3599.16 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130201 130201 130157 0 -1 4194304 662291 0 0 0 357833 2083 0 0 20 0 1 0 175301674 4574330880 958996 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 1116780 958996 2560 1147 0 1104206 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4471312 KiB
Current children cumulated memory: 3839056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3628.3 s]
# the end of solver process 130201 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.795626 s, system=0.106043 s
[startup+3628.46 s]
# the end of solver process 130231 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3579.2 s, system=20.984 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+3628.4 s]*
/proc/loadavg: 4.15 4.10 4.09 5/270 130853
/proc/meminfo: memFree=88212436/131249988 swapFree=33010160/33010684
[pid=130231] ppid=130197 vsize=3564892 memory=2878088 CPUtime=3599.23 cores=0,2
/proc/130231/stat : 130231 (roundingsat) R 130197 130201 130157 0 -1 4194304 662311 0 0 0 357838 2085 0 0 20 0 1 0 175301674 3650449408 719522 18446744073709551615 4227072 8923577 140725378592240 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15859712 140725378595060 140725378595366 140725378595366 140725378600938 0
/proc/130231/statm: 891223 719522 2592 1147 0 878649 0
Current cumulated CPU time of completed processes: 0.901669 s
Current children cumulated CPU time: 3599.23 s
Current children cumulated vsize: 3564892 KiB
Current children cumulated memory: 2878088 KiB
Child status: 2
Real time (s): 3628.46
CPU time (s): 3600.19
CPU user time (s): 3579.2
CPU system time (s): 20.984
CPU usage (%): 99.2207
Max. virtual memory (cumulated for all children) (KiB): 4514272
Max. memory (cumulated for all children) (KiB): 3880276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.2
system time used= 20.984
maximum resident set size= 3877204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 691287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20199360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 734
involuntary context switches= 5426
# summary of solver processes directly reported to runsolver:
# pid: 130201,130231
# total CPU time (s): 3600.19
# total CPU user time (s): 3579.2
# total CPU system time (s): 20.984
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32466 second user time and 16.9245 second system time
The end
Begin job on nodeC020 at 2025-07-15 18:17:20
IDJOB=4531825
IDBENCH=147564
IDSOLVER=3392
FILE ID=nodeC020/4531825-1752596240
RUNJOBID= nodeC020-1752596240-130167
SLURM_JOB_ID= 9684367
Free space on /tmp= 431996 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531825-1752596240/watcher-4531825-1752596240 -o /tmp/evaluation-result-4531825-1752596240/solver-4531825-1752596240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752596240-130167 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531825-1752596240.opb PROOFDIR/proof-4531825-1752596240
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=2050097675
nodeC020 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 : 3599.923
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.79
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.898
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.79
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.234
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.79
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 : 3599.955
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.79
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.899
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.79
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 : 3601.041
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.79
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 : 3488.228
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.575
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129419040 kB
MemAvailable: 129694308 kB
Buffers: 2128 kB
Cached: 1071452 kB
SwapCached: 8 kB
Active: 889772 kB
Inactive: 280296 kB
Active(anon): 98180 kB
Inactive(anon): 24544 kB
Active(file): 791592 kB
Inactive(file): 255752 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 143876 kB
Writeback: 0 kB
AnonPages: 97096 kB
Mapped: 107444 kB
Shmem: 26236 kB
KReclaimable: 134324 kB
Slab: 231108 kB
SReclaimable: 134324 kB
SUnreclaim: 96784 kB
KernelStack: 4564 kB
PageTables: 2764 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 377000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150952 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432048 MiB
End job on nodeC020 at 2025-07-15 19:17:49