0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4489510-1751357662.opb'
0.72/0.81 c read 17.23MB (795.97ms)
0.72/0.81 c [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.72/0.82 c
0.72/0.82 c make graph and approximate orbits
1.31/1.44 c [group: #orbits ~= 0] (622.03ms)
1.31/1.44 c
1.31/1.44 c detect special group actions
1.31/1.44 c probe for Johnson action (limit=64)
1.31/1.44 c probe for row-column symmetry (limit=64, splits=16.78M)
1.31/1.45 c probe for row symmetry (limit=64, splits=16.78M)
1.31/1.46 c (26.10ms)
1.31/1.46 c
1.31/1.46 c detect symmetries on remainder
1.31/1.47 c [graph: #vertices 706674 #edges 2766346]
1.31/1.47 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.41/1.53 c [group: #symmetries 1.00*10^0 #generators 0] (70.74ms)
1.41/1.53 c
1.41/1.53 c finalize break order and special generators
1.41/1.53 c
1.41/1.53 c generation finished
1.41/1.53 c [sbp: #constraints 0 #add_vars 0]
1.41/1.54 c
1.41/1.54 c write result to 'HOME/instance-4489510-1751357662.opb.pre'
1.41/1.59 c wrote 17.23MB (53.49ms)
1.41/1.59 c ------------------------------------------------------------------
1.41/1.59 c 795.97ms 50.61% parse
1.41/1.59 c 622.03ms 39.55% approx_orbits
1.41/1.59 c 70.74ms 4.50% detect_generic
1.41/1.59 c 53.49ms 3.40% output
1.41/1.59 c 26.10ms 1.66% detect_special
1.41/1.59 c 4.02ms 0.26% other
1.41/1.59 c 0.55ms 0.03% finalize_order
1.41/1.59 c ───────────────────────────────────────────────
1.41/1.59 c 1572.90ms 100% total
1.41/1.59 c ------------------------------------------------------------------
1.61/1.78 c RoundingSat 2
1.61/1.78 c branch pb25
1.61/1.78 c commit 63f22ad
4.19/4.39 c #variables 10000 #constraints 656900
4.19/4.39 c objective is ce32
4.19/4.39 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.19/4.39 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.19/4.39 c bounds - >= 0 @ 1.93513
6.49/6.68 c rational objective 154.151
11.67/11.85 c bounds 6811 >= 0 @ 9.24908
11.67/11.85 c bounds 6729 >= 0 @ 9.25516
11.67/11.86 c bounds 6710 >= 0 @ 9.2626
11.67/11.87 c bounds 6654 >= 0 @ 9.26998
11.67/11.88 c bounds 6617 >= 0 @ 9.27298
11.67/11.89 c bounds 6573 >= 0 @ 9.27873
11.77/11.90 c bounds 6237 >= 0 @ 9.28341
11.77/11.91 c bounds 6185 >= 0 @ 9.28532
11.77/11.92 c bounds 6144 >= 0 @ 9.29399
11.77/11.93 c bounds 6066 >= 0 @ 9.30073
11.77/11.94 c bounds 6045 >= 0 @ 9.30659
11.77/11.95 c bounds 5986 >= 0 @ 9.31428
11.77/11.96 c bounds 5902 >= 0 @ 9.31989
11.77/11.96 c bounds 5719 >= 0 @ 9.32521
11.77/11.97 c bounds 5454 >= 0 @ 9.33188
11.77/11.99 c bounds 5422 >= 0 @ 9.34941
11.77/12.00 c bounds 5389 >= 0 @ 9.35686
11.88/12.01 c bounds 5307 >= 0 @ 9.36301
11.88/12.02 c bounds 5238 >= 0 @ 9.36887
11.88/12.03 c bounds 5211 >= 0 @ 9.37475
11.88/12.04 c bounds 5194 >= 0 @ 9.3797
11.88/12.05 c bounds 5187 >= 0 @ 9.38703
11.88/12.06 c bounds 4856 >= 0 @ 9.3936
11.88/12.07 c bounds 4764 >= 0 @ 9.40174
11.88/12.08 c bounds 4714 >= 0 @ 9.40972
11.88/12.09 c bounds 4429 >= 0 @ 9.41605
11.88/12.10 c bounds 4289 >= 0 @ 9.4229
11.88/12.10 c bounds 4230 >= 0 @ 9.42951
11.98/12.11 c bounds 4122 >= 0 @ 9.43474
11.98/12.12 c bounds 4016 >= 0 @ 9.43717
11.98/12.13 c bounds 3888 >= 0 @ 9.44704
11.98/12.15 c bounds 3881 >= 0 @ 9.45894
11.98/12.16 c bounds 3874 >= 0 @ 9.471
11.98/12.17 c bounds 3813 >= 0 @ 9.48089
11.98/12.18 c bounds 3645 >= 0 @ 9.48931
12.87/13.02 c bounds 3631 >= 0 @ 10.3006
12.97/13.15 c bounds 3611 >= 0 @ 10.4342
13.17/13.35 c bounds 3558 >= 0 @ 10.6277
13.36/13.58 c bounds 3531 >= 0 @ 10.8543
13.46/13.70 c bounds 3530 >= 0 @ 10.9725
13.56/13.75 c bounds 3520 >= 0 @ 11.0281
13.66/13.87 c bounds 3515 >= 0 @ 11.1426
13.66/13.88 c bounds 3503 >= 0 @ 11.1483
13.76/13.90 c bounds 3478 >= 0 @ 11.1694
13.76/14.00 c bounds 3457 >= 0 @ 11.2637
13.76/14.01 c bounds 3411 >= 0 @ 11.2704
14.25/14.41 c bounds 3385 >= 0 @ 11.6672
14.25/14.42 c bounds 3338 >= 0 @ 11.6769
14.36/14.52 c bounds 3327 >= 0 @ 11.7697
14.36/14.53 c bounds 3154 >= 0 @ 11.7788
14.36/14.54 c bounds 3055 >= 0 @ 11.7855
14.36/14.55 c bounds 2905 >= 0 @ 11.7913
14.36/14.56 c bounds 2849 >= 0 @ 11.798
14.45/14.64 c bounds 2818 >= 0 @ 11.8791
14.56/14.74 c bounds 2813 >= 0 @ 11.973
14.56/14.75 c bounds 2809 >= 0 @ 11.9846
14.56/14.76 c bounds 2756 >= 0 @ 11.994
14.65/14.84 c bounds 2755 >= 0 @ 12.0672
15.36/15.56 c #Conflicts: 1000 | #Constraints: 657976
15.36/15.56 c bounds 2751 >= 0 @ 12.7753
15.36/15.57 c bounds 2749 >= 0 @ 12.783
15.36/15.58 c bounds 2737 >= 0 @ 12.793
15.46/15.60 c bounds 2734 >= 0 @ 12.809
17.04/17.24 c bounds 2728 >= 0 @ 14.4132
17.04/17.26 c bounds 2720 >= 0 @ 14.4285
17.04/17.28 c bounds 2700 >= 0 @ 14.4478
17.15/17.31 c bounds 2699 >= 0 @ 14.4664
17.15/17.32 c bounds 2693 >= 0 @ 14.4754
17.15/17.34 c bounds 2677 >= 0 @ 14.4997
17.25/17.40 c bounds 2647 >= 0 @ 14.5536
17.25/17.41 c bounds 2642 >= 0 @ 14.5639
17.25/17.42 c bounds 2630 >= 0 @ 14.5712
17.25/17.43 c bounds 2622 >= 0 @ 14.5827
17.25/17.44 c bounds 2600 >= 0 @ 14.5905
17.25/17.46 c bounds 2587 >= 0 @ 14.6094
17.35/17.50 c bounds 2546 >= 0 @ 14.6486
17.35/17.51 c bounds 2541 >= 0 @ 14.6567
17.35/17.53 c bounds 2512 >= 0 @ 14.668
17.35/17.54 c bounds 2511 >= 0 @ 14.6826
17.35/17.56 c bounds 2510 >= 0 @ 14.7016
17.35/17.58 c bounds 2509 >= 0 @ 14.7201
17.55/17.70 c bounds 2488 >= 0 @ 14.8389
17.55/17.72 c bounds 2485 >= 0 @ 14.8586
17.55/17.76 c bounds 2478 >= 0 @ 14.8923
17.55/17.77 c bounds 2446 >= 0 @ 14.9046
17.55/17.78 c bounds 2419 >= 0 @ 14.913
17.65/17.83 c bounds 2416 >= 0 @ 14.9574
17.65/17.84 c bounds 2412 >= 0 @ 14.9693
17.65/17.86 c bounds 2392 >= 0 @ 14.9854
17.65/17.88 c bounds 2378 >= 0 @ 15.0015
17.65/17.89 c bounds 2362 >= 0 @ 15.0141
17.75/17.91 c bounds 2343 >= 0 @ 15.0344
17.75/17.93 c bounds 2322 >= 0 @ 15.0465
17.75/17.94 c bounds 2300 >= 0 @ 15.0563
17.75/17.96 c bounds 2296 >= 0 @ 15.0679
17.75/17.97 c bounds 2282 >= 0 @ 15.082
17.75/17.98 c bounds 2278 >= 0 @ 15.0927
17.85/18.01 c bounds 2244 >= 0 @ 15.1173
17.85/18.02 c bounds 2221 >= 0 @ 15.1291
17.85/18.03 c bounds 2206 >= 0 @ 15.1369
18.05/18.23 c bounds 2179 >= 0 @ 15.332
18.05/18.26 c bounds 2161 >= 0 @ 15.3648
18.05/18.28 c bounds 2144 >= 0 @ 15.3786
18.05/18.29 c bounds 2113 >= 0 @ 15.3935
18.14/18.30 c bounds 2104 >= 0 @ 15.4017
18.14/18.37 c bounds 2090 >= 0 @ 15.4631
18.14/18.39 c bounds 2054 >= 0 @ 15.4778
18.24/18.40 c bounds 2030 >= 0 @ 15.4913
18.24/18.42 c bounds 1996 >= 0 @ 15.5109
18.24/18.44 c bounds 1947 >= 0 @ 15.5315
18.24/18.46 c bounds 1930 >= 0 @ 15.5451
18.24/18.47 c bounds 1920 >= 0 @ 15.5598
18.24/18.48 c bounds 1915 >= 0 @ 15.5679
18.35/18.51 c bounds 1877 >= 0 @ 15.5904
18.35/18.52 c bounds 1858 >= 0 @ 15.6046
18.44/18.60 c bounds 1855 >= 0 @ 15.676
18.44/18.62 c bounds 1816 >= 0 @ 15.6912
18.44/18.65 c bounds 1782 >= 0 @ 15.7214
18.44/18.67 c bounds 1745 >= 0 @ 15.7391
18.44/18.68 c bounds 1732 >= 0 @ 15.7487
18.54/18.70 c bounds 1729 >= 0 @ 15.7682
18.54/18.71 c bounds 1728 >= 0 @ 15.7758
18.54/18.77 c bounds 1699 >= 0 @ 15.8252
21.53/21.70 c #Conflicts: 2000 | #Constraints: 659040
21.53/21.70 c INPROCESSING
21.53/21.70 c GARBAGE COLLECT
21.53/21.70 c bounds 1693 >= 0 @ 18.7335
21.63/21.82 c bounds 1692 >= 0 @ 18.8525
21.73/21.91 c bounds 1686 >= 0 @ 18.9406
21.73/21.93 c bounds 1655 >= 0 @ 18.9502
21.73/21.94 c bounds 1620 >= 0 @ 18.9571
21.84/22.03 c bounds 1582 >= 0 @ 19.0469
21.84/22.04 c bounds 1577 >= 0 @ 19.0557
21.84/22.06 c bounds 1565 >= 0 @ 19.0674
21.84/22.09 c bounds 1558 >= 0 @ 19.0972
21.84/22.11 c bounds 1548 >= 0 @ 19.1121
21.94/22.12 c bounds 1541 >= 0 @ 19.1199
21.94/22.14 c bounds 1530 >= 0 @ 19.1431
22.43/22.69 c bounds 1514 >= 0 @ 19.6849
22.94/23.13 c bounds 1512 >= 0 @ 20.1237
22.94/23.15 c bounds 1510 >= 0 @ 20.1348
23.33/23.51 c bounds 1508 >= 0 @ 20.4965
23.33/23.52 c bounds 1474 >= 0 @ 20.5048
23.63/23.80 c bounds 1464 >= 0 @ 20.7773
23.63/23.82 c bounds 1425 >= 0 @ 20.7876
23.63/23.83 c bounds 1399 >= 0 @ 20.799
23.63/23.85 c bounds 1394 >= 0 @ 20.811
23.84/24.05 c bounds 1389 >= 0 @ 21.0041
23.93/24.17 c bounds 1388 >= 0 @ 21.1159
24.23/24.50 c bounds 1386 >= 0 @ 21.4275
24.42/24.61 c bounds 1375 >= 0 @ 21.539
24.42/24.63 c bounds 1364 >= 0 @ 21.5575
24.52/24.70 c bounds 1361 >= 0 @ 21.6201
26.52/26.76 c bounds 1360 >= 0 @ 23.6503
26.52/26.77 c bounds 1359 >= 0 @ 23.6591
26.71/26.91 c bounds 1358 >= 0 @ 23.7894
26.71/26.92 c bounds 1351 >= 0 @ 23.7974
26.71/26.94 c bounds 1350 >= 0 @ 23.8101
27.11/27.30 c bounds 1340 >= 0 @ 24.171
27.51/27.76 c #Conflicts: 3000 | #Constraints: 658972
27.51/27.76 c bounds 1339 >= 0 @ 24.6148
28.41/28.68 c bounds 1334 >= 0 @ 25.5261
28.61/28.87 c bounds 1321 >= 0 @ 25.7012
31.21/31.47 c bounds 1319 >= 0 @ 28.2517
31.21/31.49 c bounds 1318 >= 0 @ 28.2626
31.50/31.72 c bounds 1315 >= 0 @ 28.4865
31.50/31.73 c bounds 1312 >= 0 @ 28.5034
31.60/31.85 c bounds 1304 >= 0 @ 28.6165
31.60/31.89 c bounds 1297 >= 0 @ 28.6529
31.71/31.99 c bounds 1285 >= 0 @ 28.7501
32.10/32.38 c bounds 1284 >= 0 @ 29.1372
32.20/32.42 c bounds 1265 >= 0 @ 29.1739
32.40/32.67 c bounds 1257 >= 0 @ 29.4223
33.00/33.25 c bounds 1241 >= 0 @ 29.9808
33.30/33.55 c bounds 1219 >= 0 @ 30.2709
33.30/33.57 c bounds 1183 >= 0 @ 30.2857
33.30/33.59 c bounds 1136 >= 0 @ 30.3001
33.40/33.61 c bounds 1099 >= 0 @ 30.3107
67.49/67.81 c #Conflicts: 4000 | #Constraints: 660025
67.49/67.81 c INPROCESSING
67.49/67.81 c GARBAGE COLLECT
67.49/67.81 c bounds 1091 >= 0 @ 64.3531
67.49/67.85 c bounds 1085 >= 0 @ 64.3866
67.59/67.93 c bounds 1077 >= 0 @ 64.4702
67.70/68.08 c bounds 1074 >= 0 @ 64.6156
67.70/68.10 c bounds 1071 >= 0 @ 64.6298
68.09/68.46 c bounds 1069 >= 0 @ 64.9865
68.09/68.47 c bounds 1066 >= 0 @ 64.9969
68.19/68.57 c bounds 1059 >= 0 @ 65.0921
68.19/68.59 c bounds 1058 >= 0 @ 65.1105
68.49/68.83 c bounds 1047 >= 0 @ 65.3445
68.49/68.84 c bounds 995 >= 0 @ 65.3533
68.49/68.85 c bounds 994 >= 0 @ 65.3631
68.49/68.87 c bounds 975 >= 0 @ 65.3724
68.49/68.88 c bounds 973 >= 0 @ 65.3801
68.49/68.89 c bounds 853 >= 0 @ 65.3931
68.59/68.99 c bounds 847 >= 0 @ 65.4825
68.71/69.03 c bounds 844 >= 0 @ 65.5204
69.19/69.55 c bounds 842 >= 0 @ 66.0356
83.15/83.54 c #Conflicts: 5000 | #Constraints: 659378
83.15/83.54 c #Conflicts: 6000 | #Constraints: 660391
83.15/83.54 c INPROCESSING
83.15/83.54 c GARBAGE COLLECT
83.15/83.54 c bounds 841 >= 0 @ 79.7945
83.15/83.55 c bounds 840 >= 0 @ 79.8039
83.15/83.56 c bounds 829 >= 0 @ 79.811
83.15/83.59 c bounds 827 >= 0 @ 79.8376
83.25/83.61 c bounds 826 >= 0 @ 79.8513
83.35/83.71 c bounds 825 >= 0 @ 79.9424
83.35/83.73 c bounds 821 >= 0 @ 79.9601
83.44/83.85 c bounds 819 >= 0 @ 80.0746
83.44/83.87 c bounds 818 >= 0 @ 80.0861
83.54/83.97 c bounds 815 >= 0 @ 80.1841
83.54/83.99 c bounds 814 >= 0 @ 80.2045
83.54/84.01 c bounds 813 >= 0 @ 80.2212
83.94/84.30 c bounds 806 >= 0 @ 80.5066
83.94/84.33 c bounds 803 >= 0 @ 80.5374
83.94/84.37 c bounds 798 >= 0 @ 80.5712
83.94/84.38 c bounds 788 >= 0 @ 80.585
84.44/84.87 c bounds 780 >= 0 @ 81.0637
84.65/85.03 c bounds 765 >= 0 @ 81.2285
84.75/85.13 c bounds 761 >= 0 @ 81.3256
84.84/85.27 c bounds 758 >= 0 @ 81.466
84.84/85.29 c bounds 756 >= 0 @ 81.4808
84.94/85.31 c bounds 740 >= 0 @ 81.5024
84.94/85.34 c bounds 739 >= 0 @ 81.5256
84.94/85.37 c bounds 737 >= 0 @ 81.5545
85.04/85.48 c bounds 736 >= 0 @ 81.6688
85.14/85.51 c bounds 735 >= 0 @ 81.6971
85.14/85.53 c bounds 728 >= 0 @ 81.7174
85.14/85.55 c bounds 725 >= 0 @ 81.7345
85.14/85.57 c bounds 721 >= 0 @ 81.7491
85.24/85.66 c bounds 717 >= 0 @ 81.8388
85.34/85.75 c bounds 711 >= 0 @ 81.9226
85.44/85.84 c bounds 710 >= 0 @ 82.0099
85.53/85.94 c bounds 697 >= 0 @ 82.1073
85.53/85.98 c bounds 687 >= 0 @ 82.1419
85.65/86.01 c bounds 679 >= 0 @ 82.1734
85.75/86.14 c bounds 676 >= 0 @ 82.2992
85.75/86.16 c bounds 675 >= 0 @ 82.3217
85.94/86.37 c bounds 671 >= 0 @ 82.5181
85.94/86.39 c bounds 665 >= 0 @ 82.5442
86.04/86.41 c bounds 663 >= 0 @ 82.5593
86.14/86.55 c #Conflicts: 7000 | #Constraints: 659399
86.14/86.55 c bounds 657 >= 0 @ 82.7007
86.14/86.57 c bounds 647 >= 0 @ 82.7173
86.14/86.58 c bounds 643 >= 0 @ 82.731
86.24/86.61 c bounds 640 >= 0 @ 82.7591
86.24/86.63 c bounds 633 >= 0 @ 82.7751
86.24/86.65 c bounds 624 >= 0 @ 82.7934
86.24/86.68 c bounds 621 >= 0 @ 82.8207
86.34/86.71 c bounds 615 >= 0 @ 82.8485
86.34/86.73 c bounds 614 >= 0 @ 82.8616
86.34/86.75 c bounds 612 >= 0 @ 82.8715
86.34/86.78 c bounds 611 >= 0 @ 82.905
86.54/86.92 c bounds 610 >= 0 @ 83.0445
86.65/87.06 c bounds 604 >= 0 @ 83.1808
86.84/87.26 c bounds 602 >= 0 @ 83.3788
86.84/87.28 c bounds 592 >= 0 @ 83.396
87.03/87.42 c bounds 591 >= 0 @ 83.5273
87.03/87.44 c bounds 586 >= 0 @ 83.5401
87.03/87.45 c bounds 578 >= 0 @ 83.557
87.13/87.50 c bounds 573 >= 0 @ 83.602
87.13/87.54 c bounds 570 >= 0 @ 83.6345
87.13/87.57 c bounds 568 >= 0 @ 83.6647
87.13/87.60 c bounds 567 >= 0 @ 83.6827
87.23/87.63 c bounds 559 >= 0 @ 83.7096
87.34/87.75 c bounds 556 >= 0 @ 83.8292
87.34/87.77 c bounds 552 >= 0 @ 83.8468
87.44/87.80 c bounds 542 >= 0 @ 83.8726
87.65/88.06 c bounds 537 >= 0 @ 84.1321
87.65/88.10 c bounds 536 >= 0 @ 84.1645
88.44/88.83 c bounds 535 >= 0 @ 84.8926
88.75/89.14 c bounds 534 >= 0 @ 85.1968
88.75/89.18 c bounds 532 >= 0 @ 85.2398
88.84/89.29 c bounds 531 >= 0 @ 85.3405
88.93/89.31 c bounds 528 >= 0 @ 85.3539
89.23/89.61 c bounds 523 >= 0 @ 85.657
89.33/89.74 c bounds 517 >= 0 @ 85.7827
89.33/89.79 c bounds 504 >= 0 @ 85.8256
89.43/89.83 c bounds 502 >= 0 @ 85.8587
89.53/89.96 c bounds 501 >= 0 @ 85.985
89.53/89.98 c bounds 497 >= 0 @ 86.0077
89.53/90.00 c bounds 494 >= 0 @ 86.026
89.75/90.12 c bounds 493 >= 0 @ 86.1418
89.75/90.16 c bounds 490 >= 0 @ 86.1785
89.75/90.18 c bounds 481 >= 0 @ 86.1948
89.92/90.31 c bounds 480 >= 0 @ 86.3233
90.13/90.51 c bounds 476 >= 0 @ 86.5187
90.13/90.56 c bounds 473 >= 0 @ 86.5597
90.13/90.58 c bounds 464 >= 0 @ 86.5811
91.32/91.70 c bounds 453 >= 0 @ 87.6847
91.42/91.90 c bounds 446 >= 0 @ 87.8807
91.52/91.92 c bounds 442 >= 0 @ 87.8999
93.02/93.48 c bounds 441 >= 0 @ 89.453
93.52/93.95 c #Conflicts: 8000 | #Constraints: 660483
93.52/93.95 c bounds 440 >= 0 @ 89.9205
93.52/93.97 c bounds 438 >= 0 @ 89.9341
93.92/94.35 c bounds 437 >= 0 @ 90.3168
94.63/95.02 c bounds 436 >= 0 @ 90.976
95.42/95.82 c bounds 432 >= 0 @ 91.7597
95.42/95.89 c bounds 430 >= 0 @ 91.8301
95.73/96.13 c bounds 426 >= 0 @ 92.0621
95.81/96.27 c bounds 424 >= 0 @ 92.1924
95.91/96.31 c bounds 423 >= 0 @ 92.2329
96.21/96.68 c bounds 417 >= 0 @ 92.5919
96.91/97.39 c bounds 413 >= 0 @ 93.2952
98.72/99.14 c bounds 406 >= 0 @ 95.0216
99.10/99.52 c bounds 398 >= 0 @ 95.3893
99.41/99.82 c bounds 397 >= 0 @ 95.678
100.01/100.45 c bounds 393 >= 0 @ 96.2967
101.00/101.46 c bounds 392 >= 0 @ 97.2949
101.49/101.96 c #Conflicts: 9000 | #Constraints: 661529
101.49/101.96 c bounds 391 >= 0 @ 97.7653
128.73/129.25 c INPROCESSING
128.73/129.25 c GARBAGE COLLECT
128.73/129.25 c bounds 390 >= 0 @ 124.888
130.63/131.13 c bounds 386 >= 0 @ 126.749
151.95/152.59 c #Conflicts: 10000 | #Constraints: 660080
151.95/152.59 c #Conflicts: 11000 | #Constraints: 661091
151.95/152.59 c #Conflicts: 12000 | #Constraints: 662102
151.95/152.59 c INPROCESSING
151.95/152.59 c GARBAGE COLLECT
151.95/152.59 c bounds 385 >= 0 @ 147.898
152.06/152.65 c bounds 383 >= 0 @ 147.953
152.46/153.08 c bounds 382 >= 0 @ 148.382
155.74/156.39 c bounds 380 >= 0 @ 151.658
158.55/159.18 c bounds 377 >= 0 @ 154.423
159.45/160.09 c bounds 376 >= 0 @ 155.326
186.67/187.35 c #Conflicts: 13000 | #Constraints: 660530
186.67/187.35 c #Conflicts: 14000 | #Constraints: 661539
186.67/187.35 c #Conflicts: 15000 | #Constraints: 662544
186.67/187.35 c INPROCESSING
186.67/187.35 c GARBAGE COLLECT
186.67/187.35 c rational objective 156.044
262.28/263.14 c #Conflicts: 16000 | #Constraints: 660740
262.28/263.14 c #Conflicts: 17000 | #Constraints: 661749
262.28/263.14 c #Conflicts: 18000 | #Constraints: 662758
262.28/263.14 c INPROCESSING
262.28/263.14 c GARBAGE COLLECT
262.28/263.14 c #Conflicts: 19000 | #Constraints: 660747
262.28/263.14 c #Conflicts: 20000 | #Constraints: 661757
262.28/263.14 c #Conflicts: 21000 | #Constraints: 662764
262.28/263.14 c INPROCESSING
262.28/263.14 c GARBAGE COLLECT
262.28/263.14 c rational objective 157
298.26/299.28 c #Conflicts: 22000 | #Constraints: 660554
298.26/299.28 c #Conflicts: 23000 | #Constraints: 661565
298.26/299.28 c #Conflicts: 24000 | #Constraints: 662570
298.26/299.28 c bounds 366 >= 0 @ 293.579
389.62/390.82 c #Conflicts: 25000 | #Constraints: 663586
389.62/390.82 c INPROCESSING
389.62/390.82 c GARBAGE COLLECT
389.62/390.82 c #Conflicts: 26000 | #Constraints: 661162
389.62/390.82 c #Conflicts: 27000 | #Constraints: 662168
389.62/390.82 c #Conflicts: 28000 | #Constraints: 663178
389.62/390.82 c #Conflicts: 29000 | #Constraints: 664188
389.62/390.82 c INPROCESSING
389.62/390.82 c GARBAGE COLLECT
389.62/390.82 c #Conflicts: 30000 | #Constraints: 661562
389.62/390.82 c #Conflicts: 31000 | #Constraints: 662571
389.62/390.82 c #Conflicts: 32000 | #Constraints: 663580
389.62/390.82 c #Conflicts: 33000 | #Constraints: 664591
389.62/390.82 c INPROCESSING
389.62/390.82 c GARBAGE COLLECT
389.62/390.82 c rational objective 157.402
402.69/403.90 c bounds 365 >= 0 @ 397.495
428.42/429.77 c #Conflicts: 34000 | #Constraints: 661774
428.42/429.77 c #Conflicts: 35000 | #Constraints: 662783
428.42/429.77 c bounds 362 >= 0 @ 423.237
524.15/525.75 c #Conflicts: 36000 | #Constraints: 663797
524.15/525.75 c #Conflicts: 37000 | #Constraints: 664809
524.15/525.75 c INPROCESSING
524.15/525.75 c GARBAGE COLLECT
524.15/525.75 c #Conflicts: 38000 | #Constraints: 661775
524.15/525.75 c #Conflicts: 39000 | #Constraints: 662784
524.15/525.75 c #Conflicts: 40000 | #Constraints: 663789
524.15/525.75 c #Conflicts: 41000 | #Constraints: 664799
524.15/525.75 c INPROCESSING
524.15/525.75 c GARBAGE COLLECT
524.15/525.75 c rational objective 157.435
529.63/531.27 c bounds 361 >= 0 @ 524.186
529.93/531.58 c bounds 360 >= 0 @ 524.485
656.49/658.47 c #Conflicts: 42000 | #Constraints: 661585
656.49/658.47 c #Conflicts: 43000 | #Constraints: 662850
656.49/658.47 c #Conflicts: 44000 | #Constraints: 664395
656.49/658.47 c bounds 359 >= 0 @ 650.918
658.59/660.52 c #Conflicts: 45000 | #Constraints: 665560
658.59/660.52 c bounds 358 >= 0 @ 652.958
715.12/717.26 c #Conflicts: 46000 | #Constraints: 666561
715.12/717.26 c INPROCESSING
715.12/717.26 c GARBAGE COLLECT
715.12/717.26 c #Conflicts: 47000 | #Constraints: 662643
715.12/717.26 c #Conflicts: 48000 | #Constraints: 663643
715.12/717.26 c #Conflicts: 49000 | #Constraints: 664643
715.12/717.26 c #Conflicts: 50000 | #Constraints: 665643
715.12/717.26 c #Conflicts: 51000 | #Constraints: 666643
715.12/717.26 c INPROCESSING
715.12/717.26 c GARBAGE COLLECT
715.12/717.26 c rational objective 157.449
722.01/724.15 c bounds 357 >= 0 @ 715.981
725.49/727.62 c bounds 350 >= 0 @ 719.429
745.53/747.74 c #Conflicts: 52000 | #Constraints: 662783
745.53/747.74 c bounds 349 >= 0 @ 739.452
830.29/832.75 c #Conflicts: 53000 | #Constraints: 663784
830.29/832.75 c #Conflicts: 54000 | #Constraints: 664784
830.29/832.75 c #Conflicts: 55000 | #Constraints: 665788
830.29/832.75 c #Conflicts: 56000 | #Constraints: 667064
830.29/832.75 c INPROCESSING
830.29/832.75 c GARBAGE COLLECT
830.29/832.75 c rational objective 159.055
898.52/901.16 c #Conflicts: 57000 | #Constraints: 662995
898.52/901.16 c #Conflicts: 58000 | #Constraints: 664005
898.52/901.16 c #Conflicts: 59000 | #Constraints: 665013
898.52/901.16 c #Conflicts: 60000 | #Constraints: 666019
898.52/901.16 c #Conflicts: 61000 | #Constraints: 667025
898.52/901.16 c INPROCESSING
898.52/901.16 c GARBAGE COLLECT
898.52/901.16 c rational objective 158.083
909.68/912.30 c bounds 348 >= 0 @ 903.033
1087.71/1090.86 c #Conflicts: 62000 | #Constraints: 662885
1087.71/1090.86 c #Conflicts: 63000 | #Constraints: 663893
1087.71/1090.86 c #Conflicts: 64000 | #Constraints: 664905
1087.71/1090.86 c #Conflicts: 65000 | #Constraints: 665906
1087.71/1090.86 c #Conflicts: 66000 | #Constraints: 666915
1087.71/1090.86 c INPROCESSING
1087.71/1090.86 c GARBAGE COLLECT
1087.71/1090.86 c #Conflicts: 67000 | #Constraints: 662624
1087.71/1090.86 c #Conflicts: 68000 | #Constraints: 663637
1087.71/1090.86 c #Conflicts: 69000 | #Constraints: 664645
1087.71/1090.86 c #Conflicts: 70000 | #Constraints: 665658
1087.71/1090.86 c #Conflicts: 71000 | #Constraints: 666667
1087.71/1090.86 c #Conflicts: 72000 | #Constraints: 667676
1087.71/1090.86 c INPROCESSING
1087.71/1090.86 c GARBAGE COLLECT
1087.71/1090.86 c rational objective 158.492
1294.95/1298.61 c #Conflicts: 73000 | #Constraints: 663202
1294.95/1298.61 c #Conflicts: 74000 | #Constraints: 664212
1294.95/1298.61 c #Conflicts: 75000 | #Constraints: 665218
1294.95/1298.61 c #Conflicts: 76000 | #Constraints: 666229
1294.95/1298.61 c #Conflicts: 77000 | #Constraints: 667241
1294.95/1298.61 c #Conflicts: 78000 | #Constraints: 668251
1294.95/1298.61 c INPROCESSING
1294.95/1298.61 c GARBAGE COLLECT
1294.95/1298.61 c #Conflicts: 79000 | #Constraints: 663592
1294.95/1298.61 c #Conflicts: 80000 | #Constraints: 664601
1294.95/1298.61 c #Conflicts: 81000 | #Constraints: 665611
1294.95/1298.61 c #Conflicts: 82000 | #Constraints: 666617
1294.95/1298.61 c #Conflicts: 83000 | #Constraints: 667625
1294.95/1298.61 c #Conflicts: 84000 | #Constraints: 668632
1294.95/1298.61 c INPROCESSING
1294.95/1298.61 c GARBAGE COLLECT
1294.95/1298.61 c rational objective 158.517
1473.68/1477.88 c #Conflicts: 85000 | #Constraints: 663814
1473.68/1477.88 c #Conflicts: 86000 | #Constraints: 664867
1473.68/1477.88 c #Conflicts: 87000 | #Constraints: 665936
1473.68/1477.88 c #Conflicts: 88000 | #Constraints: 666999
1473.68/1477.88 c #Conflicts: 89000 | #Constraints: 668092
1473.68/1477.88 c #Conflicts: 90000 | #Constraints: 669160
1473.68/1477.88 c INPROCESSING
1473.68/1477.88 c #Conflicts: 91000 | #Constraints: 663989
1473.68/1477.88 c #Conflicts: 92000 | #Constraints: 665029
1473.68/1477.88 c #Conflicts: 93000 | #Constraints: 666066
1473.68/1477.88 c #Conflicts: 94000 | #Constraints: 667105
1473.68/1477.88 c #Conflicts: 95000 | #Constraints: 668144
1473.68/1477.88 c #Conflicts: 96000 | #Constraints: 669190
1473.68/1477.88 c INPROCESSING
1473.68/1477.88 c GARBAGE COLLECT
1473.68/1477.88 c #Conflicts: 97000 | #Constraints: 663785
1473.68/1477.88 c #Conflicts: 98000 | #Constraints: 664789
1473.68/1477.88 c #Conflicts: 99000 | #Constraints: 665793
1473.68/1477.88 c #Conflicts: 100000 | #Constraints: 666796
1473.68/1477.88 c #Conflicts: 101000 | #Constraints: 667802
1473.68/1477.88 c #Conflicts: 102000 | #Constraints: 668807
1473.68/1477.88 c #Conflicts: 103000 | #Constraints: 669813
1473.68/1477.88 c INPROCESSING
1473.68/1477.88 c GARBAGE COLLECT
1473.68/1477.88 c rational objective 158.517
1498.21/1502.49 c #Conflicts: 104000 | #Constraints: 664272
1498.21/1502.49 c bounds 341 >= 0 @ 1490.26
1590.66/1595.13 c #Conflicts: 105000 | #Constraints: 665279
1590.66/1595.13 c #Conflicts: 106000 | #Constraints: 666285
1590.66/1595.13 c #Conflicts: 107000 | #Constraints: 667292
1590.66/1595.13 c #Conflicts: 108000 | #Constraints: 668300
1590.66/1595.13 c #Conflicts: 109000 | #Constraints: 669314
1590.66/1595.13 c #Conflicts: 110000 | #Constraints: 670321
1590.66/1595.13 c INPROCESSING
1590.66/1595.13 c GARBAGE COLLECT
1590.66/1595.13 c rational objective 158.517
1601.53/1606.10 c bounds 340 >= 0 @ 1593.28
1604.21/1608.74 c bounds 339 >= 0 @ 1595.9
1604.41/1609.00 c bounds 338 >= 0 @ 1596.17
1609.40/1613.96 c #Conflicts: 111000 | #Constraints: 664638
1609.40/1613.96 c bounds 337 >= 0 @ 1601.08
1610.80/1615.32 c bounds 336 >= 0 @ 1602.43
1614.89/1619.49 c bounds 335 >= 0 @ 1606.57
1659.07/1663.77 c #Conflicts: 112000 | #Constraints: 665644
1659.07/1663.77 c #Conflicts: 113000 | #Constraints: 666645
1659.07/1663.77 c #Conflicts: 114000 | #Constraints: 667646
1659.07/1663.77 c #Conflicts: 115000 | #Constraints: 668652
1659.07/1663.77 c #Conflicts: 116000 | #Constraints: 669654
1659.07/1663.77 c #Conflicts: 117000 | #Constraints: 670655
1659.07/1663.77 c INPROCESSING
1659.07/1663.77 c GARBAGE COLLECT
1659.07/1663.77 c rational objective 158.517
1667.66/1672.34 c bounds 333 >= 0 @ 1659.04
1701.38/1706.17 c #Conflicts: 118000 | #Constraints: 664809
1701.38/1706.17 c #Conflicts: 119000 | #Constraints: 665825
1701.38/1706.17 c #Conflicts: 120000 | #Constraints: 666837
1701.38/1706.17 c bounds 332 >= 0 @ 1692.71
1726.91/1731.72 c #Conflicts: 121000 | #Constraints: 667841
1726.91/1731.72 c #Conflicts: 122000 | #Constraints: 668841
1726.91/1731.72 c #Conflicts: 123000 | #Constraints: 669841
1726.91/1731.72 c #Conflicts: 124000 | #Constraints: 670841
1726.91/1731.72 c INPROCESSING
1726.91/1731.72 c GARBAGE COLLECT
1726.91/1731.72 c rational objective 158.583
1810.60/1815.63 c #Conflicts: 125000 | #Constraints: 664783
1810.60/1815.63 c #Conflicts: 126000 | #Constraints: 665788
1810.60/1815.63 c #Conflicts: 127000 | #Constraints: 666812
1810.60/1815.63 c #Conflicts: 128000 | #Constraints: 667841
1810.60/1815.63 c #Conflicts: 129000 | #Constraints: 668861
1810.60/1815.63 c #Conflicts: 130000 | #Constraints: 669913
1810.60/1815.63 c #Conflicts: 131000 | #Constraints: 670941
1810.60/1815.63 c INPROCESSING
1810.60/1815.63 c #Conflicts: 132000 | #Constraints: 664644
1810.60/1815.63 c #Conflicts: 133000 | #Constraints: 665670
1810.60/1815.63 c #Conflicts: 134000 | #Constraints: 666687
1810.60/1815.63 c #Conflicts: 135000 | #Constraints: 667703
1810.60/1815.63 c #Conflicts: 136000 | #Constraints: 668729
1810.60/1815.63 c #Conflicts: 137000 | #Constraints: 669743
1810.60/1815.63 c #Conflicts: 138000 | #Constraints: 670766
1810.60/1815.63 c #Conflicts: 139000 | #Constraints: 671815
1810.60/1815.63 c INPROCESSING
1810.60/1815.63 c GARBAGE COLLECT
1810.60/1815.63 c #Conflicts: 140000 | #Constraints: 665299
1810.60/1815.63 c #Conflicts: 141000 | #Constraints: 666324
1810.60/1815.63 c bounds 315 >= 0 @ 1801.23
1926.00/1931.31 c #Conflicts: 142000 | #Constraints: 667338
1926.00/1931.31 c #Conflicts: 143000 | #Constraints: 668342
1926.00/1931.31 c #Conflicts: 144000 | #Constraints: 669346
1926.00/1931.31 c #Conflicts: 145000 | #Constraints: 670372
1926.00/1931.31 c #Conflicts: 146000 | #Constraints: 671401
1926.00/1931.31 c #Conflicts: 147000 | #Constraints: 672439
1926.00/1931.31 c INPROCESSING
1926.00/1931.31 c rational objective 158.673
1995.02/2000.51 c #Conflicts: 148000 | #Constraints: 665709
1995.02/2000.51 c #Conflicts: 149000 | #Constraints: 666746
1995.02/2000.51 c #Conflicts: 150000 | #Constraints: 667774
1995.02/2000.51 c #Conflicts: 151000 | #Constraints: 668803
1995.02/2000.51 c #Conflicts: 152000 | #Constraints: 669810
1995.02/2000.51 c #Conflicts: 153000 | #Constraints: 670821
1995.02/2000.51 c #Conflicts: 154000 | #Constraints: 671861
1995.02/2000.51 c #Conflicts: 155000 | #Constraints: 672914
1995.02/2000.51 c INPROCESSING
1995.02/2000.51 c GARBAGE COLLECT
1995.02/2000.51 c #Conflicts: 156000 | #Constraints: 665925
1995.02/2000.51 c #Conflicts: 157000 | #Constraints: 666925
1995.02/2000.51 c #Conflicts: 158000 | #Constraints: 667927
1995.02/2000.51 c #Conflicts: 159000 | #Constraints: 668933
1995.02/2000.51 c #Conflicts: 160000 | #Constraints: 669943
1995.02/2000.51 c bounds 299 >= 0 @ 1984.97
2022.04/2027.61 c #Conflicts: 161000 | #Constraints: 670950
2022.04/2027.61 c #Conflicts: 162000 | #Constraints: 671961
2022.04/2027.61 c #Conflicts: 163000 | #Constraints: 672963
2022.04/2027.61 c INPROCESSING
2022.04/2027.61 c rational objective 158.698
2077.50/2083.28 c #Conflicts: 164000 | #Constraints: 665858
2077.50/2083.28 c #Conflicts: 165000 | #Constraints: 666860
2077.50/2083.28 c #Conflicts: 166000 | #Constraints: 667869
2077.50/2083.28 c #Conflicts: 167000 | #Constraints: 668873
2077.50/2083.28 c #Conflicts: 168000 | #Constraints: 669880
2077.50/2083.28 c #Conflicts: 169000 | #Constraints: 670889
2077.50/2083.28 c #Conflicts: 170000 | #Constraints: 671891
2077.50/2083.28 c #Conflicts: 171000 | #Constraints: 672897
2077.50/2083.28 c INPROCESSING
2077.50/2083.28 c GARBAGE COLLECT
2077.50/2083.28 c rational objective 158.704
2159.60/2165.52 c #Conflicts: 172000 | #Constraints: 665633
2159.60/2165.52 c #Conflicts: 173000 | #Constraints: 666638
2159.60/2165.52 c #Conflicts: 174000 | #Constraints: 667647
2159.60/2165.52 c #Conflicts: 175000 | #Constraints: 668658
2159.60/2165.52 c #Conflicts: 176000 | #Constraints: 669662
2159.60/2165.52 c #Conflicts: 177000 | #Constraints: 670669
2159.60/2165.52 c #Conflicts: 178000 | #Constraints: 671679
2159.60/2165.52 c #Conflicts: 179000 | #Constraints: 672687
2159.60/2165.52 c #Conflicts: 180000 | #Constraints: 673691
2159.60/2165.52 c INPROCESSING
2159.60/2165.52 c rational objective 158.705
2222.14/2228.25 c #Conflicts: 181000 | #Constraints: 666235
2222.14/2228.25 c #Conflicts: 182000 | #Constraints: 667239
2222.14/2228.25 c #Conflicts: 183000 | #Constraints: 668249
2222.14/2228.25 c #Conflicts: 184000 | #Constraints: 669252
2222.14/2228.25 c #Conflicts: 185000 | #Constraints: 670264
2222.14/2228.25 c #Conflicts: 186000 | #Constraints: 671272
2222.14/2228.25 c #Conflicts: 187000 | #Constraints: 672278
2222.14/2228.25 c #Conflicts: 188000 | #Constraints: 673285
2222.14/2228.25 c #Conflicts: 189000 | #Constraints: 674287
2222.14/2228.25 c INPROCESSING
2222.14/2228.25 c GARBAGE COLLECT
2222.14/2228.25 c rational objective 159.399
2351.20/2357.62 c #Conflicts: 190000 | #Constraints: 666650
2351.20/2357.62 c #Conflicts: 191000 | #Constraints: 667658
2351.20/2357.62 c #Conflicts: 192000 | #Constraints: 668667
2351.20/2357.62 c #Conflicts: 193000 | #Constraints: 669672
2351.20/2357.62 c #Conflicts: 194000 | #Constraints: 670675
2351.20/2357.62 c #Conflicts: 195000 | #Constraints: 671679
2351.20/2357.62 c #Conflicts: 196000 | #Constraints: 672682
2351.20/2357.62 c #Conflicts: 197000 | #Constraints: 673684
2351.20/2357.62 c #Conflicts: 198000 | #Constraints: 674690
2351.20/2357.62 c INPROCESSING
2351.20/2357.62 c GARBAGE COLLECT
2351.20/2357.62 c #Conflicts: 199000 | #Constraints: 666841
2351.20/2357.62 c #Conflicts: 200000 | #Constraints: 667846
2351.20/2357.62 c #Conflicts: 201000 | #Constraints: 668855
2351.20/2357.62 c #Conflicts: 202000 | #Constraints: 669866
2351.20/2357.62 c #Conflicts: 203000 | #Constraints: 670869
2351.20/2357.62 c #Conflicts: 204000 | #Constraints: 671871
2351.20/2357.62 c #Conflicts: 205000 | #Constraints: 672872
2351.20/2357.62 c #Conflicts: 206000 | #Constraints: 673881
2351.20/2357.62 c #Conflicts: 207000 | #Constraints: 674899
2351.20/2357.62 c INPROCESSING
2351.20/2357.62 c GARBAGE COLLECT
2351.20/2357.62 c bounds 295 >= 0 @ 2340.01
2351.20/2357.64 c bounds 294 >= 0 @ 2340.02
2351.20/2357.67 c bounds 291 >= 0 @ 2340.05
2351.51/2357.90 c bounds 290 >= 0 @ 2340.27
2408.97/2415.57 c #Conflicts: 208000 | #Constraints: 666848
2408.97/2415.57 c #Conflicts: 209000 | #Constraints: 667862
2408.97/2415.57 c #Conflicts: 210000 | #Constraints: 668871
2408.97/2415.57 c #Conflicts: 211000 | #Constraints: 669884
2408.97/2415.57 c #Conflicts: 212000 | #Constraints: 670896
2408.97/2415.57 c #Conflicts: 213000 | #Constraints: 671904
2408.97/2415.57 c #Conflicts: 214000 | #Constraints: 672912
2408.97/2415.57 c bounds 289 >= 0 @ 2397.7
2409.06/2415.60 c bounds 289 >= 4 @ 2397.72
2409.06/2415.63 c bounds 289 >= 8 @ 2397.75
2409.06/2415.68 c bounds 289 >= 12 @ 2397.79
2409.26/2415.82 c bounds 289 >= 16 @ 2397.93
2412.46/2419.06 c bounds 289 >= 20 @ 2401.14
2431.21/2437.88 c #Conflicts: 215000 | #Constraints: 673944
2431.21/2437.88 c #Conflicts: 216000 | #Constraints: 674944
2431.21/2437.88 c INPROCESSING
2431.21/2437.88 c GARBAGE COLLECT
2431.21/2437.88 c rational objective 159
2452.95/2459.62 c #Conflicts: 217000 | #Constraints: 666676
2452.95/2459.62 c #Conflicts: 218000 | #Constraints: 667676
2452.95/2459.62 c bounds 289 >= 24 @ 2441.54
2505.42/2512.27 c #Conflicts: 219000 | #Constraints: 668688
2505.42/2512.27 c #Conflicts: 220000 | #Constraints: 669688
2505.42/2512.27 c #Conflicts: 221000 | #Constraints: 670688
2505.42/2512.27 c #Conflicts: 222000 | #Constraints: 671688
2505.42/2512.27 c #Conflicts: 223000 | #Constraints: 672688
2505.42/2512.27 c #Conflicts: 224000 | #Constraints: 673688
2505.42/2512.27 c #Conflicts: 225000 | #Constraints: 674688
2505.42/2512.27 c #Conflicts: 226000 | #Constraints: 675688
2505.42/2512.27 c INPROCESSING
2505.42/2512.27 c GARBAGE COLLECT
2505.42/2512.27 c rational objective 159
2586.02/2593.06 c #Conflicts: 227000 | #Constraints: 667247
2586.02/2593.06 c #Conflicts: 228000 | #Constraints: 668247
2586.02/2593.06 c #Conflicts: 229000 | #Constraints: 669247
2586.02/2593.06 c #Conflicts: 230000 | #Constraints: 670247
2586.02/2593.06 c #Conflicts: 231000 | #Constraints: 671247
2586.02/2593.06 c #Conflicts: 232000 | #Constraints: 672247
2586.02/2593.06 c #Conflicts: 233000 | #Constraints: 673247
2586.02/2593.06 c #Conflicts: 234000 | #Constraints: 674247
2586.02/2593.06 c #Conflicts: 235000 | #Constraints: 675247
2586.02/2593.06 c #Conflicts: 236000 | #Constraints: 676247
2586.02/2593.06 c INPROCESSING
2586.02/2593.06 c GARBAGE COLLECT
2586.02/2593.06 c rational objective 159
2594.79/2601.86 c bounds 288 >= 24 @ 2582.99
2594.89/2602.01 c bounds 287 >= 24 @ 2583.13
2595.00/2602.03 c bounds 282 >= 24 @ 2583.15
2595.00/2602.10 c bounds 279 >= 24 @ 2583.22
2595.58/2602.66 c bounds 278 >= 24 @ 2583.77
2595.58/2602.68 c bounds 277 >= 24 @ 2583.79
2602.36/2609.49 c #Conflicts: 237000 | #Constraints: 667644
2602.36/2609.49 c bounds 275 >= 24 @ 2590.55
2605.35/2612.40 c bounds 274 >= 24 @ 2593.44
2611.64/2618.76 c #Conflicts: 238000 | #Constraints: 668651
2611.64/2618.76 c bounds 269 >= 24 @ 2599.76
2611.73/2618.82 c bounds 269 >= 27 @ 2599.82
2614.04/2621.18 c bounds 269 >= 30 @ 2602.16
2639.88/2647.07 c #Conflicts: 239000 | #Constraints: 669666
2639.88/2647.07 c #Conflicts: 240000 | #Constraints: 670666
2639.88/2647.07 c #Conflicts: 241000 | #Constraints: 671666
2639.88/2647.07 c #Conflicts: 242000 | #Constraints: 672666
2639.88/2647.07 c #Conflicts: 243000 | #Constraints: 673666
2639.88/2647.07 c bounds 269 >= 33 @ 2627.76
2639.97/2647.16 c bounds 268 >= 33 @ 2627.84
2640.06/2647.27 c bounds 266 >= 33 @ 2627.95
2642.65/2649.88 c bounds 265 >= 33 @ 2630.52
2642.86/2650.07 c bounds 263 >= 33 @ 2630.71
2644.35/2651.51 c bounds 261 >= 33 @ 2632.14
2733.74/2741.17 c #Conflicts: 244000 | #Constraints: 674688
2733.74/2741.17 c #Conflicts: 245000 | #Constraints: 675697
2733.74/2741.17 c #Conflicts: 246000 | #Constraints: 676704
2733.74/2741.17 c INPROCESSING
2733.74/2741.17 c GARBAGE COLLECT
2733.74/2741.17 c rational objective 159
2840.45/2848.18 c #Conflicts: 247000 | #Constraints: 667837
2840.45/2848.18 c #Conflicts: 248000 | #Constraints: 668841
2840.45/2848.18 c #Conflicts: 249000 | #Constraints: 669842
2840.45/2848.18 c #Conflicts: 250000 | #Constraints: 670845
2840.45/2848.18 c #Conflicts: 251000 | #Constraints: 671845
2840.45/2848.18 c #Conflicts: 252000 | #Constraints: 672853
2840.45/2848.18 c #Conflicts: 253000 | #Constraints: 673861
2840.45/2848.18 c #Conflicts: 254000 | #Constraints: 674868
2840.45/2848.18 c #Conflicts: 255000 | #Constraints: 675871
2840.45/2848.18 c #Conflicts: 256000 | #Constraints: 676877
2840.45/2848.18 c INPROCESSING
2840.45/2848.18 c GARBAGE COLLECT
2840.45/2848.18 c rational objective 159.178
3016.50/3024.65 c #Conflicts: 257000 | #Constraints: 667827
3016.50/3024.65 c #Conflicts: 258000 | #Constraints: 668827
3016.50/3024.65 c #Conflicts: 259000 | #Constraints: 669834
3016.50/3024.65 c #Conflicts: 260000 | #Constraints: 670837
3016.50/3024.65 c #Conflicts: 261000 | #Constraints: 671842
3016.50/3024.65 c #Conflicts: 262000 | #Constraints: 672850
3016.50/3024.65 c #Conflicts: 263000 | #Constraints: 673855
3016.50/3024.65 c #Conflicts: 264000 | #Constraints: 674863
3016.50/3024.65 c #Conflicts: 265000 | #Constraints: 675871
3016.50/3024.65 c #Conflicts: 266000 | #Constraints: 676877
3016.50/3024.65 c INPROCESSING
3016.50/3024.65 c GARBAGE COLLECT
3016.50/3024.65 c rational objective 159.283
3177.07/3185.69 c #Conflicts: 267000 | #Constraints: 667628
3177.07/3185.69 c #Conflicts: 268000 | #Constraints: 668636
3177.07/3185.69 c #Conflicts: 269000 | #Constraints: 669641
3177.07/3185.69 c #Conflicts: 270000 | #Constraints: 670644
3177.07/3185.69 c #Conflicts: 271000 | #Constraints: 671653
3177.07/3185.69 c #Conflicts: 272000 | #Constraints: 672663
3177.07/3185.69 c #Conflicts: 273000 | #Constraints: 673673
3177.07/3185.69 c #Conflicts: 274000 | #Constraints: 674681
3177.07/3185.69 c #Conflicts: 275000 | #Constraints: 675687
3177.07/3185.69 c #Conflicts: 276000 | #Constraints: 676694
3177.07/3185.69 c #Conflicts: 277000 | #Constraints: 677708
3177.07/3185.69 c INPROCESSING
3177.07/3185.69 c GARBAGE COLLECT
3177.07/3185.69 c rational objective 159.313
3345.94/3354.98 c #Conflicts: 278000 | #Constraints: 668241
3345.94/3354.98 c #Conflicts: 279000 | #Constraints: 669243
3345.94/3354.98 c #Conflicts: 280000 | #Constraints: 670247
3345.94/3354.98 c #Conflicts: 281000 | #Constraints: 671250
3345.94/3354.98 c #Conflicts: 282000 | #Constraints: 672252
3345.94/3354.98 c #Conflicts: 283000 | #Constraints: 673261
3345.94/3354.98 c #Conflicts: 284000 | #Constraints: 674266
3345.94/3354.98 c #Conflicts: 285000 | #Constraints: 675267
3345.94/3354.98 c #Conflicts: 286000 | #Constraints: 676269
3345.94/3354.98 c #Conflicts: 287000 | #Constraints: 677274
3345.94/3354.98 c #Conflicts: 288000 | #Constraints: 678283
3345.94/3354.98 c INPROCESSING
3345.94/3354.98 c GARBAGE COLLECT
3345.94/3354.98 c rational objective 159.325
3481.98/3491.31 c #Conflicts: 289000 | #Constraints: 668628
3481.98/3491.31 c #Conflicts: 290000 | #Constraints: 669651
3481.98/3491.31 c #Conflicts: 291000 | #Constraints: 670684
3481.98/3491.31 c #Conflicts: 292000 | #Constraints: 671703
3481.98/3491.31 c #Conflicts: 293000 | #Constraints: 672739
3481.98/3491.31 c #Conflicts: 294000 | #Constraints: 673763
3481.98/3491.31 c #Conflicts: 295000 | #Constraints: 674775
3481.98/3491.31 c #Conflicts: 296000 | #Constraints: 675776
3481.98/3491.31 c #Conflicts: 297000 | #Constraints: 676785
3481.98/3491.31 c #Conflicts: 298000 | #Constraints: 677792
3481.98/3491.31 c #Conflicts: 299000 | #Constraints: 678793
3481.98/3491.31 c INPROCESSING
3481.98/3491.31 c GARBAGE COLLECT
3481.98/3491.31 c rational objective 159.325
3502.92/3512.37 c bounds 260 >= 33 @ 3488.34
3503.02/3512.40 c bounds 259 >= 33 @ 3488.36
3578.97/3588.60 c #Conflicts: 300000 | #Constraints: 668886
3578.97/3588.60 c #Conflicts: 301000 | #Constraints: 669895
3578.97/3588.60 c #Conflicts: 302000 | #Constraints: 670903
3578.97/3588.60 c #Conflicts: 303000 | #Constraints: 671914
3578.97/3588.60 c #Conflicts: 304000 | #Constraints: 672924
3578.97/3588.60 c #Conflicts: 305000 | #Constraints: 673935
3578.97/3588.60 c bounds 258 >= 33 @ 3564.06
3578.97/3588.63 c bounds 258 >= 35 @ 3564.08
3600.01/3609.70 c #Conflicts: 306000 | #Constraints: 674945
3600.01/3609.70 c #Conflicts: 307000 | #Constraints: 675955
3600.01/3609.70 c cpu time 3584.84 s
3600.01/3609.70 c deterministic time 353430710866 3.53e+11
3600.01/3609.70 c optimization time 21.5687 s
3600.01/3609.70 c total solve time 3561.33 s
3600.01/3609.70 c core-guided solve time 2630.65 s
3600.01/3609.70 c propagation time 1622.95 s
3600.01/3609.70 c conflict analysis time 682.453 s
3600.01/3609.70 c propagations 50087187
3600.01/3609.70 c resolve steps 5786519
3600.01/3609.70 c decisions 9668260
3600.01/3609.70 c conflicts 307891
3600.01/3609.70 c restarts 759
3600.01/3609.70 c inprocessing phases 46
3600.01/3609.70 c garbage collections 41 ,( 89.13 )
3600.01/3609.70 c input clauses 656911 ,( 99.94 )
3600.01/3609.70 c input cardinalities 21 ,( 0.00 )
3600.01/3609.70 c input general constraints 382 ,( 0.06 )
3600.01/3609.70 c input average constraint length 7.64
3600.01/3609.70 c input average constraint degree 265.03
3600.01/3609.70 c learned clauses 158872 ,( 50.86 )
3600.01/3609.70 c learned cardinalities 20 ,( 0.01 )
3600.01/3609.70 c learned general constraints 153492 ,( 49.14 )
3600.01/3609.70 c learned average constraint length 5017.83
3600.01/3609.70 c learned average constraint degree 222827404532.39
3600.01/3609.70 c watched CF 32, 64, 128, Arb: 4934 , 0 , 0 , 0
3600.01/3609.70 c counting CF 32, 64, 128, Arb: 148941 , 0 , 0 , 0
3600.01/3609.70 c watched constraints 4934 ,( 3.21 )
3600.01/3609.70 c counting constraints 148940 ,( 96.79 )
3600.01/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 81636901 , 379674 , 847517302 ,( 34265305 , 813251997 )
3600.01/3609.70 c gcd simplifications 2773
3600.01/3609.70 c detected cardinalities 1
3600.01/3609.70 c weakened non-implied lits 428978623
3600.01/3609.70 c weakened non-implying lits 129095
3600.01/3609.70 c original variables 10000
3600.01/3609.70 c clausal propagations 26849504
3600.01/3609.70 c cardinality propagations 22471
3600.01/3609.70 c watched propagations 30055
3600.01/3609.70 c counting propagations 21775906
3600.01/3609.70 c watch lookups 21403897309
3600.01/3609.70 c watch backjump lookups 0
3600.01/3609.70 c watch checks 6927481868
3600.01/3609.70 c propagation checks 320986537527
3600.01/3609.70 c constraint additions 3992460808
3600.01/3609.70 c trail pops 60052097
3600.01/3609.70 c formula constraints 656900
3600.01/3609.70 c learned constraints 306551
3600.01/3609.70 c bound constraints 361
3600.01/3609.70 c core-guided constraints 53
3600.01/3609.70 c encountered formula constraints 4782048
3600.01/3609.70 c encountered learned constraints 1130313
3600.01/3609.70 c encountered bound constraints 6292
3600.01/3609.70 c encountered core-guided constraints 15106
3600.01/3609.70 c LP total time 1774.07 s
3600.01/3609.70 c LP solve time 1488.81 s
3600.01/3609.70 c LP constraints added 656987
3600.01/3609.70 c LP constraints removed 63
3600.01/3609.70 c LP pivots internal 308059
3600.01/3609.70 c LP pivots root 217750
3600.01/3609.70 c LP calls 4694
3600.01/3609.70 c LP optimalities 200
3600.01/3609.70 c LP no pivot count 2
3600.01/3609.70 c LP infeasibilities 4471
3600.01/3609.70 c LP valid Farkas constraints 4465
3600.01/3609.70 c LP learned Farkas constraints 1340
3600.01/3609.70 c LP basis resets 25
3600.01/3609.70 c LP cycling count 13
3600.01/3609.70 c LP singular count 4
3600.01/3609.70 c LP no primal count 0
3600.01/3609.70 c LP no farkas count 6
3600.01/3609.70 c LP other issue count 2
3600.01/3609.70 c LP Gomory cuts 28
3600.01/3609.70 c LP learned cuts 59
3600.01/3609.70 c LP deleted cuts 63
3600.01/3609.70 c LP encountered Gomory constraints 0
3600.01/3609.70 c LP encountered Farkas constraints 156282
3600.01/3609.70 c LP encountered learned Farkas constraints 3029
3600.01/3609.70 c CG auxiliary variables introduced 21
3600.01/3609.70 c CG solutions found 351
3600.01/3609.70 c CG cores constructed 10
3600.01/3609.70 c CG core cardinality constraints returned 0
3600.01/3609.70 c CG unit cores 0
3600.01/3609.70 c CG single cores 10
3600.01/3609.70 c CG blocks removed during cardinality reduction 0
3600.01/3609.70 c CG first core best 0
3600.01/3609.70 c CG decision core best 0
3600.01/3609.70 c CG core reduction tie 0
3600.01/3609.70 c CG core degree average 1.00
3600.01/3609.70 c CG core slack average 1988.80
3600.01/3609.70 c CG core upper bound improvements 0
3600.01/3609.70 c STR number of successful calls 0
3600.01/3609.70 c STR number of unsuccessful calls 0
3600.01/3609.70 c STR number of inconclusive calls 0
3600.01/3609.70 c STR number of successful attempts 0
3600.01/3609.70 c STR number of unsuccessful attempts 0
3600.01/3609.70 c STR number of inconclusive attempts 0
3600.01/3609.70 c STR average degree increase per successful call inf
3600.01/3609.70 c STR average degree increase per successful attempt inf
3600.01/3609.70 c STR total number of conflicts for successful attempts 0
3600.01/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.70 c STR average number of conflicts per successful attempt inf
3600.01/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.70 c AVG.sumWPerc 95.82
3600.01/3609.70 c bigint constraints 0
3600.01/3609.70 o 258
3600.01/3609.70 s SATISFIABLE
3600.01/3609.70 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.01/3609.70 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: 63837 MiB (63215 MiB free)
memory of node 1: 64465 MiB (61442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489510-1751357662/watcher-4489510-1751357662 -o /tmp/evaluation-result-4489510-1751357662/solver-4489510-1751357662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751350437-46729 --watchdog 3760 run-opt-break.sh HOME/instance-4489510-1751357662.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=47450, runsolver pid=47443
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 4.24 4.23 4.15 6/247 47455
/proc/meminfo: memFree=127510912/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47452] ppid=47450 vsize=156864 memory=137108 CPUtime=0.08 cores=4,6
/proc/47452/stat : 47452 (pbsuma) R 47450 47450 46718 0 -1 4194304 1848 0 0 0 3 5 0 0 20 0 1 0 51445333 160628736 34277 18446744073709551615 4210688 4653049 140725108973344 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 33849344 140725108975971 140725108976178 140725108976178 140725108981743 0
/proc/47452/statm: 39216 34277 960 108 0 36624 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 161056 KiB
Current children cumulated memory: 140180 KiB
[startup+0.214983 s]*
/proc/loadavg: 4.24 4.23 4.15 5/250 47462
/proc/meminfo: memFree=127449472/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47452] ppid=47450 vsize=163272 memory=146320 CPUtime=0.17 cores=4,6
/proc/47452/stat : 47452 (pbsuma) R 47450 47450 46718 0 -1 4194304 3895 0 0 0 12 5 0 0 20 0 1 0 51445333 167190528 36580 18446744073709551615 4210688 4653049 140725108973344 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 33849344 140725108975971 140725108976178 140725108976178 140725108981743 0
/proc/47452/statm: 40818 36580 960 108 0 38226 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 167464 KiB
Current children cumulated memory: 149392 KiB
[startup+0.314838 s]*
/proc/loadavg: 4.24 4.23 4.15 5/250 47462
/proc/meminfo: memFree=127353568/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47452] ppid=47450 vsize=169244 memory=153516 CPUtime=0.26 cores=4,6
/proc/47452/stat : 47452 (pbsuma) R 47450 47450 46718 0 -1 4194304 5753 0 0 0 20 6 0 0 20 0 1 0 51445333 173305856 38379 18446744073709551615 4210688 4653049 140725108973344 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 33849344 140725108975971 140725108976178 140725108976178 140725108981743 0
/proc/47452/statm: 42311 38379 960 108 0 39719 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 173436 KiB
Current children cumulated memory: 156588 KiB
[startup+0.700387 s]
/proc/loadavg: 4.24 4.23 4.15 5/251 47467
/proc/meminfo: memFree=127333864/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47452] ppid=47450 vsize=193332 memory=179308 CPUtime=0.62 cores=4,6
/proc/47452/stat : 47452 (pbsuma) R 47450 47450 46718 0 -1 4194304 11283 0 0 0 53 9 0 0 20 0 1 0 51445333 197971968 44827 18446744073709551615 4210688 4653049 140725108973344 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 33849344 140725108975971 140725108976178 140725108976178 140725108981743 0
/proc/47452/statm: 48333 44827 960 108 0 45741 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 197524 KiB
Current children cumulated memory: 182380 KiB
[startup+1.50043 s]
/proc/loadavg: 4.24 4.23 4.15 6/254 47473
/proc/meminfo: memFree=127038624/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47452] ppid=47450 vsize=349104 memory=289208 CPUtime=1.41 cores=4,6
/proc/47452/stat : 47452 (pbsuma) R 47450 47450 46718 0 -1 4194304 26684 0 0 0 126 15 0 0 20 0 1 0 51445333 357482496 72302 18446744073709551615 4210688 4653049 140725108973344 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 33849344 140725108975971 140725108976178 140725108976178 140725108981743 0
/proc/47452/statm: 87276 72302 1024 108 0 84684 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 353296 KiB
Current children cumulated memory: 292280 KiB
[startup+3.11289 s]
/proc/loadavg: 4.24 4.23 4.15 5/251 47511
/proc/meminfo: memFree=129760632/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=123812 memory=69640 CPUtime=1.32 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 13248 0 0 0 93 39 0 0 20 0 1 0 51445509 126783488 17410 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 30953 17410 1920 1147 0 18380 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 128004 KiB
Current children cumulated memory: 72712 KiB
[startup+6.30041 s]
/proc/loadavg: 4.22 4.23 4.15 5/255 47523
/proc/meminfo: memFree=127693804/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=888216 memory=635900 CPUtime=4.5 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 47319 0 0 0 376 74 0 0 20 0 1 0 51445509 909533184 158975 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 222054 158975 2304 1147 0 209481 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 892408 KiB
Current children cumulated memory: 638972 KiB
[startup+12.7004 s]
/proc/loadavg: 4.20 4.23 4.15 5/255 47524
/proc/meminfo: memFree=127023552/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=1054716 memory=742840 CPUtime=10.87 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 53113 0 0 0 998 89 0 0 20 0 1 0 51445509 1080029184 185710 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 263679 185710 2400 1147 0 251106 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 1058908 KiB
Current children cumulated memory: 745912 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.22 4.15 5/255 47524
/proc/meminfo: memFree=126626352/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=1231656 memory=919384 CPUtime=23.63 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 77913 0 0 0 2240 123 0 0 20 0 1 0 51445509 1261215744 229846 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 307914 229846 2400 1147 0 295341 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 1235848 KiB
Current children cumulated memory: 922456 KiB
[startup+51.1133 s]
/proc/loadavg: 4.18 4.21 4.15 5/255 47524
/proc/meminfo: memFree=126126828/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=1450648 memory=1141392 CPUtime=49.16 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 103511 0 0 0 4771 145 0 0 20 0 1 0 51445509 1485463552 285348 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 362662 285348 2400 1147 0 350089 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 1454840 KiB
Current children cumulated memory: 1144464 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.20 4.14 5/255 47526
/proc/meminfo: memFree=124873000/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=1978768 memory=1541704 CPUtime=100.21 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 165661 0 0 0 9809 212 0 0 20 0 1 0 51445509 2026258432 385426 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 494692 385426 2400 1147 0 482119 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1982960 KiB
Current children cumulated memory: 1544776 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/255 47528
/proc/meminfo: memFree=124283048/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=2415524 memory=1921524 CPUtime=160.05 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 237840 0 0 0 15752 253 0 0 20 0 1 0 51445509 2473496576 480381 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 603881 480381 2400 1147 0 591308 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2419716 KiB
Current children cumulated memory: 1924596 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.13 5/254 47530
/proc/meminfo: memFree=124102140/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=2484244 memory=2010556 CPUtime=219.89 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 249682 0 0 0 21719 270 0 0 20 0 1 0 51445509 2543865856 502639 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 621061 502639 2400 1147 0 608488 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/47474/statm: 1287422 1107167 2528 1147 0 1274849 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 5153880 KiB
Current children cumulated memory: 4431740 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.15 5/254 47677
/proc/meminfo: memFree=117470604/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=5559108 memory=4701288 CPUtime=3152.15 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 730857 0 0 0 314028 1187 0 0 20 0 1 0 51445509 5692526592 1175322 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 1389777 1175322 2528 1147 0 1377204 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 5563300 KiB
Current children cumulated memory: 4704360 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/253 47679
/proc/meminfo: memFree=117093588/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=6003052 memory=4963508 CPUtime=3211.98 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 796580 0 0 0 319974 1224 0 0 20 0 1 0 51445509 6147125248 1240877 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 1500763 1240877 2528 1147 0 1488190 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 6007244 KiB
Current children cumulated memory: 4966580 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.14 5/253 47681
/proc/meminfo: memFree=117157372/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=6003052 memory=4963508 CPUtime=3271.83 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 797697 0 0 0 325936 1247 0 0 20 0 1 0 51445509 6147125248 1240877 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 1500763 1240877 2528 1147 0 1488190 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 6007244 KiB
Current children cumulated memory: 4966580 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/253 47683
/proc/meminfo: memFree=117099140/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=6063712 memory=5014168 CPUtime=3331.68 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 806063 0 0 0 331914 1254 0 0 20 0 1 0 51445509 6209241088 1253542 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 1515928 1253542 2528 1147 0 1503355 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 6067904 KiB
Current children cumulated memory: 5017240 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/253 47685
/proc/meminfo: memFree=116980968/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=6156600 memory=5107068 CPUtime=3391.52 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 811616 0 0 0 337881 1271 0 0 20 0 1 0 51445509 6304358400 1276767 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 1539150 1276767 2528 1147 0 1526577 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 6160792 KiB
Current children cumulated memory: 5110140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/254 47690
/proc/meminfo: memFree=116986528/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=6156600 memory=5107068 CPUtime=3451.37 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 812882 0 0 0 343853 1284 0 0 20 0 1 0 51445509 6304358400 1276767 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 1539150 1276767 2528 1147 0 1526577 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 6160792 KiB
Current children cumulated memory: 5110140 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/254 47696
/proc/meminfo: memFree=116940896/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=6156600 memory=5107068 CPUtime=3511.2 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 813549 0 0 0 349817 1303 0 0 20 0 1 0 51445509 6304358400 1276767 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 1539150 1276767 2528 1147 0 1526577 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 6160792 KiB
Current children cumulated memory: 5110140 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 47698
/proc/meminfo: memFree=116893768/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=6157416 memory=5107884 CPUtime=3571.01 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 815433 0 0 0 355779 1322 0 0 20 0 1 0 51445509 6305193984 1276971 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 1539354 1276971 2528 1147 0 1526781 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 6161608 KiB
Current children cumulated memory: 5110956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.08 4.10 4.11 5/254 47698
/proc/meminfo: memFree=116621488/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=6746956 memory=5462672 CPUtime=3598.32 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 894028 0 0 0 358483 1349 0 0 20 0 1 0 51445509 6908882944 1365668 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 1686739 1365668 2528 1147 0 1674166 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 6751148 KiB
Current children cumulated memory: 5465744 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.71 s]
# the end of solver process 47450 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.51905 s, system=0.183687 s
Sleeping 2 seconds
[startup+3609.76 s]
# the end of solver process 47474 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.37 s, system=13.7363 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.08 4.10 4.11 5/254 47698
/proc/meminfo: memFree=116621488/131382120 swapFree=33010160/33010684
[pid=47450] ppid=47443 vsize=4192 memory=3072 CPUtime=1.69 cores=4,6
/proc/47450/stat : 47450 (run-opt-break.s) S 47443 47450 46718 0 -1 4194304 237 28894 0 0 0 0 151 18 20 0 1 0 51445332 4292608 768 18446744073709551615 94923561709568 94923562604101 140727298031008 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94923562843152 94923562890896 94923585290240 140727298034017 140727298034146 140727298034146 140727298039748 0
/proc/47450/statm: 1048 768 704 219 0 110 0
[pid=47474] ppid=47450 vsize=6746956 memory=5462672 CPUtime=3598.32 cores=4,6
/proc/47474/stat : 47474 (roundingsat) R 47450 47450 46718 0 -1 4194304 894028 0 0 0 358483 1349 0 0 20 0 1 0 51445509 6908882944 1365668 18446744073709551615 4227072 8923433 140726917435840 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23453696 140726917441892 140726917442088 140726917442088 140726917447658 0
/proc/47474/statm: 1686739 1365668 2528 1147 0 1674166 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 6751148 KiB
Current children cumulated memory: 5465744 KiB
Child status: 2
Real time (s): 3609.76
CPU time (s): 3600.1
CPU user time (s): 3586.37
CPU system time (s): 13.7363
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 6751148
Max. memory (cumulated for all children) (KiB): 5465744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.37
system time used= 13.7363
maximum resident set size= 5462800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 923181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 435
involuntary context switches= 1678
# summary of solver processes directly reported to runsolver:
# pid: 47450,47474
# total CPU time (s): 3600.1
# total CPU user time (s): 3586.37
# total CPU system time (s): 13.7363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2697 second user time and 36.7233 second system time
The end
Begin job on nodeC008 at 2025-07-01 10:14:22
IDJOB=4489510
IDBENCH=147555
IDSOLVER=3359
FILE ID=nodeC008/4489510-1751357662
RUNJOBID= nodeC008-1751350437-46729
SLURM_JOB_ID= 9598137
Free space on /tmp= 432980 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489510-1751357662/watcher-4489510-1751357662 -o /tmp/evaluation-result-4489510-1751357662/solver-4489510-1751357662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751350437-46729 --watchdog 3760 run-opt-break.sh HOME/instance-4489510-1751357662.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=1450135855
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.338
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.219
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.182
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1396.740
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.832
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.221
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.381
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127649668 kB
MemAvailable: 127465692 kB
Buffers: 2144 kB
Cached: 625780 kB
SwapCached: 16 kB
Active: 2756012 kB
Inactive: 408200 kB
Active(anon): 2517572 kB
Inactive(anon): 36636 kB
Active(file): 238440 kB
Inactive(file): 371564 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 40464 kB
Writeback: 0 kB
AnonPages: 2535068 kB
Mapped: 109560 kB
Shmem: 17920 kB
KReclaimable: 91292 kB
Slab: 173620 kB
SReclaimable: 91292 kB
SUnreclaim: 82328 kB
KernelStack: 3920 kB
PageTables: 7856 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3174224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149320 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2445312 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432900 MiB
End job on nodeC008 at 2025-07-01 11:14:32