0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.03	c constraints 0/176 clauses 0/6568 units 0
0.00/0.03	c vars 2355
0.38/0.44	c 0.401938 54.3555 76 47010
0.38/0.44	o 2161
0.49/0.50	c 0.436933 55 106 71440
0.49/0.50	o 2160
0.49/0.55	c 0.467928 55 120 106050
0.49/0.55	o 1890
0.49/0.57	c 0.482926 55 125 118997
0.49/0.57	o 1864
1.09/1.14	c 0.811876 55 338 137058
1.09/1.14	o 1859
1.39/1.40	c 0.971852 55 457 149262
1.39/1.40	o 1858
1.39/1.44	c 0.994848 55 470 171113
1.39/1.44	o 1660
1.59/1.68	c 1.14183 55 537 178592
1.59/1.68	o 1658
1.89/1.94	c 1.3108 55 640 206599
1.89/1.94	o 1383
1.89/1.97	c 1.3278 55 649 211262
1.89/1.97	o 1381
2.19/2.26	c 1.42478 55 732 214054
2.19/2.26	o 1380
2.30/2.32	c 1.45278 55 748 232523
2.30/2.32	o 1369
2.89/2.91	c 1.65075 55 956 238640
2.89/2.91	o 1368
3.09/3.14	c 1.76773 55 1022 242336
3.09/3.14	o 1365
3.40/3.41	c 1.92471 55 1135 245965
3.40/3.41	o 1364
3.90/3.91	c 2.21366 55 1268 252022
3.90/3.91	o 1360
3.90/3.92	c 2.22566 55 1269 256413
3.90/3.92	o 1356
3.90/3.95	c 2.24766 55 1276 263864
3.90/3.95	o 1350
3.90/3.99	c 2.26566 55 1288 269653
3.90/3.99	o 1349
4.19/4.23	c 2.42963 55 1390 274714
4.19/4.23	o 1345
4.29/4.31	c 2.47762 55 1414 277995
4.29/4.31	o 1344
4.29/4.34	c 2.49262 55 1416 284424
4.29/4.34	o 1334
4.40/4.45	c 2.55861 55 1447 288339
4.40/4.45	o 1333
4.59/4.62	c 2.67059 55 1485 289394
4.59/4.62	o 1332
4.89/4.94	c 2.84057 55 1575 290968
4.89/4.94	o 1329
4.89/4.96	c 2.85257 55 1585 296391
4.89/4.96	o 1326
4.89/4.97	c 2.86156 55 1588 299041
4.89/4.97	o 1323
4.89/4.99	c 2.87256 55 1590 302848
4.89/4.99	o 1322
5.09/5.14	c 2.97655 55.1289 1638 304411
5.09/5.14	o 1320
5.09/5.17	c 2.99254 55.1289 1654 306726
5.09/5.17	o 1319
5.49/5.52	c 3.22651 55.1289 1739 309992
5.49/5.52	o 1314
5.69/5.76	c 3.38648 55.1289 1822 311146
5.69/5.76	o 1313
5.69/5.79	c 3.41148 55.1289 1830 317529
5.69/5.79	o 1311
5.79/5.82	c 3.43048 55.1289 1838 326242
5.79/5.82	o 1291
5.79/5.85	c 3.45847 55.1289 1852 329780
5.79/5.85	o 1288
5.79/5.87	c 3.46947 55.1289 1855 333357
5.79/5.87	o 1273
5.89/6.00	c 3.55346 55.1289 1891 335507
5.89/6.00	o 1268
5.99/6.02	c 3.56846 55.1289 1896 337400
5.99/6.02	o 1263
5.99/6.04	c 3.58046 55.1289 1902 339196
5.99/6.04	o 1260
5.99/6.06	c 3.59245 55.1289 1907 346929
5.99/6.06	o 1238
5.99/6.08	c 3.60945 55.1289 1908 355729
5.99/6.08	o 1234
6.09/6.10	c 3.62145 55.1289 1909 363698
6.09/6.10	o 1191
6.09/6.11	c 3.63345 55.1289 1910 368018
6.09/6.11	o 1168
6.09/6.13	c 3.64545 55.1289 1910 375203
6.09/6.13	o 1146
6.09/6.14	c 3.65344 55.1289 1912 379626
6.09/6.14	o 1140
6.09/6.16	c 3.65844 55.1289 1912 383219
6.09/6.16	o 1115
6.09/6.17	c 3.66944 55.1289 1917 385864
6.09/6.17	o 1114
6.29/6.31	c 3.75543 55.1289 1953 387753
6.29/6.31	o 1112
6.49/6.58	c 3.9264 55.1289 2034 388426
6.49/6.58	o 1111
6.59/6.65	c 3.9654 55.1289 2052 389464
6.59/6.65	o 1110
6.79/6.81	c 4.07138 55.1289 2088 392304
6.79/6.81	o 1109
7.19/7.20	c 4.31134 55.1289 2198 394782
7.19/7.20	o 1107
7.19/7.23	c 4.33634 55.1289 2203 398179
7.19/7.23	o 1102
7.29/7.34	c 4.39433 55.1289 2242 400947
7.29/7.34	o 1099
7.39/7.40	c 4.43333 55.1289 2257 402443
7.39/7.40	o 1098
7.39/7.47	c 4.48232 55.1289 2268 403331
7.39/7.47	o 1095
7.59/7.62	c 4.5733 55.2578 2319 410664
7.59/7.62	o 1094
7.69/7.72	c 4.64329 55.2578 2346 411108
7.69/7.72	o 1093
7.69/7.76	c 4.66729 55.2578 2356 414482
7.69/7.76	o 1085
7.69/7.78	c 4.68029 55.2578 2358 416307
7.69/7.78	o 1084
7.69/7.79	c 4.69029 55.2578 2362 418854
7.69/7.79	o 1080
7.80/7.81	c 4.69928 55.2578 2362 420257
7.80/7.81	o 1079
7.80/7.83	c 4.71628 55.2578 2367 421278
7.80/7.83	o 1077
7.80/7.84	c 4.72628 55.2578 2368 423154
7.80/7.84	o 1076
7.80/7.86	c 4.73528 55.2578 2370 424553
7.80/7.86	o 1074
7.80/7.88	c 4.74528 55.2578 2373 427201
7.80/7.88	o 1068
7.80/7.89	c 4.75928 55.2578 2375 430814
7.80/7.89	o 1067
7.89/7.91	c 4.77027 55.2578 2378 437928
7.89/7.91	o 1031
7.89/7.92	c 4.78027 55.2578 2378 439920
7.89/7.92	o 1016
7.89/7.93	c 4.79027 55.2578 2378 441382
7.89/7.93	o 1014
7.89/7.96	c 4.80327 55.2578 2388 442166
7.89/7.96	o 1013
7.99/8.07	c 4.86726 55.2578 2426 443093
7.99/8.07	o 1012
8.29/8.38	c 5.05423 55.2578 2539 445325
8.29/8.38	o 1009
8.39/8.49	c 5.13022 55.2578 2570 446912
8.39/8.49	o 1008
8.49/8.56	c 5.16021 55.2578 2594 449622
8.49/8.56	o 1007
8.59/8.60	c 5.17621 55.2578 2602 451048
8.59/8.60	o 1006
8.59/8.68	c 5.20521 55.2578 2625 454161
8.59/8.68	o 1002
8.99/9.05	c 5.32819 55.2578 2719 455937
8.99/9.05	o 995
8.99/9.06	c 5.33419 55.2578 2721 457449
8.99/9.06	o 989
9.09/9.16	c 5.36618 55.2578 2745 459445
9.09/9.16	o 983
9.09/9.18	c 5.37618 55.2578 2749 460547
9.09/9.18	o 981
9.19/9.22	c 5.39418 55.2578 2760 461749
9.19/9.22	o 980
9.19/9.24	c 5.40318 55.2578 2761 464101
9.19/9.24	o 979
9.19/9.27	c 5.41718 55.2578 2767 466841
9.19/9.27	o 974
9.19/9.28	c 5.42117 55.2578 2768 467973
9.19/9.28	o 970
9.19/9.30	c 5.42717 55.2578 2770 470084
9.19/9.30	o 969
9.29/9.31	c 5.44017 55.2578 2774 474217
9.29/9.31	o 965
9.29/9.33	c 5.44617 55.2578 2776 478848
9.29/9.33	o 964
9.29/9.35	c 5.45517 55.2578 2779 484405
9.29/9.35	o 931
9.29/9.37	c 5.46717 55.2578 2782 487463
9.29/9.37	o 928
9.29/9.38	c 5.47417 55.2578 2786 490996
9.29/9.38	o 910
9.39/9.40	c 5.48017 55.2578 2789 495183
9.39/9.40	o 909
9.39/9.42	c 5.49116 55.2578 2793 496411
9.39/9.42	o 908
9.39/9.43	c 5.50116 55.2578 2794 498759
9.39/9.43	o 905
9.39/9.45	c 5.50516 55.2578 2795 501521
9.39/9.45	o 900
9.39/9.47	c 5.51716 55.2578 2798 504363
9.39/9.47	o 899
9.39/9.49	c 5.52916 55.2578 2802 506446
9.39/9.49	o 898
9.49/9.51	c 5.54016 55.2578 2805 512039
9.49/9.51	o 892
9.49/9.54	c 5.55915 55.2578 2817 514336
9.49/9.54	o 890
9.49/9.56	c 5.57215 55.2578 2820 516225
9.49/9.56	o 886
9.49/9.58	c 5.58515 55.3867 2828 519324
9.49/9.58	o 877
9.59/9.62	c 5.61215 55.3867 2834 520201
9.59/9.62	o 876
9.59/9.65	c 5.62814 55.3867 2838 523460
9.59/9.65	o 873
9.59/9.68	c 5.65314 55.3867 2849 526182
9.59/9.68	o 872
9.69/9.74	c 5.68813 55.3867 2859 527090
9.69/9.74	o 869
9.69/9.78	c 5.70913 55.3867 2879 529579
9.69/9.78	o 867
9.79/9.80	c 5.72013 55.3867 2882 530725
9.79/9.80	o 859
9.79/9.82	c 5.73213 55.3867 2888 532791
9.79/9.82	o 853
9.79/9.86	c 5.75213 55.3867 2897 534325
9.79/9.86	o 852
9.79/9.87	c 5.75712 55.3867 2903 534993
9.79/9.87	o 850
9.79/9.88	c 5.76712 55.3867 2906 535927
9.79/9.88	o 849
9.79/9.90	c 5.77612 55.3867 2908 537163
9.79/9.90	o 848
9.89/9.94	c 5.80312 55.3867 2918 542171
9.89/9.94	o 844
9.89/9.96	c 5.81712 55.3867 2921 544273
9.89/9.96	o 841
9.89/9.99	c 5.83511 55.3867 2925 546790
9.89/9.99	o 840
10.00/10.00	c 5.84711 55.3867 2926 549164
10.00/10.00	o 836
10.00/10.04	c 5.86711 55.3867 2929 550419
10.00/10.04	o 835
10.00/10.06	c 5.87611 55.3867 2930 551715
10.00/10.06	o 832
10.00/10.07	c 5.8861 55.3867 2931 552987
10.00/10.07	o 830
10.00/10.09	c 5.9041 55.3867 2935 554188
10.00/10.09	o 826
10.09/10.17	c 5.94909 55.3867 2962 554909
10.09/10.17	o 825
10.09/10.18	c 5.95809 55.3867 2962 555964
10.09/10.18	o 824
10.19/10.20	c 5.97309 55.3867 2964 560087
10.19/10.20	o 806
10.19/10.21	c 5.98609 55.3867 2971 561941
10.19/10.21	o 803
10.19/10.23	c 5.99609 55.3867 2972 564915
10.19/10.23	o 802
10.19/10.24	c 6.00509 55.3867 2972 568110
10.19/10.24	o 794
10.19/10.26	c 6.01509 55.3867 2973 572087
10.19/10.26	o 771
10.19/10.27	c 6.02608 55.3867 2976 575197
10.19/10.27	o 762
10.19/10.29	c 6.03808 55.3867 2980 576651
10.19/10.29	o 759
10.29/10.30	c 6.04908 55.3867 2982 578449
10.29/10.30	o 756
10.49/10.53	c 6.20106 55.3867 3064 581204
10.49/10.53	o 755
10.79/10.82	c 6.38103 55.3867 3147 582161
10.79/10.82	o 754
11.00/11.04	c 6.51501 55.3867 3217 582655
11.00/11.04	o 753
11.19/11.21	c 6.61499 55.3867 3272 583314
11.19/11.21	o 751
11.19/11.23	c 6.63099 55.3867 3276 583595
11.19/11.23	o 750
11.19/11.26	c 6.64799 55.3867 3279 583961
11.19/11.26	o 749
11.29/11.37	c 6.71598 55.3867 3313 584387
11.29/11.37	o 748
11.29/11.39	c 6.72598 55.3867 3314 584704
11.29/11.39	o 746
11.39/11.47	c 6.77797 55.3867 3355 585277
11.39/11.47	o 741
11.39/11.49	c 6.78897 55.3867 3362 585555
11.39/11.49	o 740
11.59/11.63	c 6.88295 55.3867 3401 586086
11.59/11.63	o 739
11.69/11.77	c 6.96294 55.3867 3436 587091
11.69/11.77	o 737
11.69/11.80	c 6.97694 55.3867 3442 587393
11.69/11.80	o 736
11.79/11.82	c 6.98794 55.3867 3448 587788
11.79/11.82	o 735
11.79/11.84	c 7.00293 55.3867 3452 588135
11.79/11.84	o 734
11.79/11.87	c 7.02493 55.3867 1736 588479
11.79/11.87	o 733
11.79/11.88	c 7.03593 55.3867 1739 589035
11.79/11.88	o 732
11.89/11.90	c 7.04893 55.3867 1741 590979
11.89/11.90	o 724
11.89/11.92	c 7.06093 55.3867 1747 592054
11.89/11.92	o 722
11.99/12.00	c 7.11092 55.3867 1768 592848
11.99/12.00	o 721
11.99/12.08	c 7.16291 55.3867 1786 593470
11.99/12.08	o 720
12.10/12.18	c 7.2469 55.3867 1818 594426
12.10/12.18	o 719
12.29/12.30	c 7.32888 55.3867 1846 595242
12.29/12.31	o 718
12.59/12.64	c 7.53885 55.3867 1955 596804
12.59/12.64	o 717
12.69/12.70	c 7.57585 55.3867 1970 598534
12.69/12.70	o 716
12.69/12.74	c 7.60184 55.3867 1986 600073
12.69/12.74	o 715
12.69/12.78	c 7.62984 55.3867 2006 601032
12.69/12.78	o 713
13.09/13.11	c 7.82481 55.3867 2108 602601
13.09/13.11	o 712
13.09/13.15	c 7.85181 55.3867 2118 603242
13.09/13.15	o 711
13.09/13.20	c 7.8838 55.3867 2130 603903
13.09/13.20	o 709
13.30/13.37	c 7.99678 55.3867 2186 608069
13.30/13.37	o 708
13.30/13.39	c 8.00578 55.3867 2187 609069
13.30/13.39	o 707
13.39/13.40	c 8.01878 55.3867 2190 610314
13.39/13.40	o 706
13.69/13.72	c 8.19375 55.3867 2303 613329
13.69/13.72	o 704
13.99/14.08	c 8.42372 55.3867 2418 615164
13.99/14.08	o 702
14.20/14.22	c 8.50571 55.3867 2460 616300
14.20/14.22	o 700
14.29/14.31	c 8.5657 55.3867 2483 616728
14.29/14.31	o 699
14.29/14.35	c 8.59369 55.3867 2489 618121
14.29/14.35	o 693
14.29/14.39	c 8.61369 55.3867 2499 619448
14.29/14.39	o 692
14.39/14.42	c 8.62869 55.3867 2503 620347
14.39/14.42	o 690
14.49/14.51	c 8.68268 55.3867 2538 621354
14.49/14.51	o 687
14.59/14.69	c 8.81466 55.3867 2590 623243
14.59/14.69	o 684
14.69/14.74	c 8.85165 55.3867 2609 624362
14.69/14.74	o 683
14.69/14.78	c 8.87465 55.3867 2623 627032
14.69/14.78	o 682
15.09/15.10	c 9.07862 55.3867 2733 628796
15.09/15.10	o 681
15.09/15.18	c 9.11061 55.3867 2760 629182
15.09/15.18	o 680
15.19/15.22	c 9.12661 55.3867 2783 629550
15.19/15.22	o 679
15.79/15.87	c 9.39957 55.3867 3014 631540
15.79/15.87	o 678
15.89/15.93	c 9.42757 55.3867 3033 632306
15.89/15.93	o 677
15.89/15.97	c 9.44556 55.3867 3044 633063
15.89/15.97	o 676
15.99/16.04	c 9.48656 55.3867 3063 633438
15.99/16.04	o 675
15.99/16.08	c 9.51255 55.3867 3078 633843
15.99/16.08	o 674
15.99/16.09	c 9.52255 55.3867 3078 634461
15.99/16.09	o 673
16.09/16.11	c 9.53755 55.3867 3082 635190
16.09/16.11	o 672
16.09/16.12	c 9.54555 55.3867 3084 635951
16.09/16.12	o 671
16.09/16.14	c 9.55355 55.3867 3089 636785
16.09/16.14	o 669
16.09/16.17	c 9.57354 55.3867 3093 638116
16.09/16.17	o 668
16.09/16.19	c 9.58254 55.3867 3096 639058
16.09/16.19	o 666
16.19/16.20	c 9.59054 55.3867 3096 639894
16.19/16.20	o 665
16.19/16.21	c 9.59954 55.3867 3097 640756
16.19/16.21	o 662
16.19/16.23	c 9.60554 55.3867 3100 642481
16.19/16.23	o 657
16.19/16.25	c 9.61954 55.3867 3108 644822
16.19/16.25	o 656
16.19/16.29	c 9.64353 55.3867 3119 646655
16.19/16.29	o 654
16.29/16.30	c 9.65153 55.3867 3121 647485
16.29/16.30	o 653
16.39/16.42	c 9.72652 55.3867 3154 648034
16.39/16.42	o 652
16.50/16.60	c 9.8405 55.3867 3203 648974
16.50/16.60	o 651
16.60/16.69	c 9.90649 55.3867 3249 649493
16.60/16.69	o 650
17.19/17.20	c 10.2244 55.5156 3429 650892
17.19/17.20	o 649
17.19/17.28	c 10.2704 55.5156 3454 651390
17.19/17.28	o 648
17.39/17.42	c 10.3454 55.5156 3489 651901
17.39/17.42	o 647
17.69/17.72	c 10.5204 55.5156 1819 652892
17.69/17.72	o 646
17.69/17.73	c 10.5334 55.5156 1825 653661
17.69/17.73	o 644
17.69/17.78	c 10.5624 55.5156 1833 654459
17.69/17.78	o 642
17.79/17.81	c 10.5754 55.5156 1841 654790
17.79/17.81	o 641
17.79/17.85	c 10.6014 55.5156 1856 655706
17.79/17.85	o 640
17.79/17.89	c 10.6334 55.5156 1872 657464
17.79/17.89	o 638
17.89/17.99	c 10.6904 55.5156 1895 662498
17.89/17.99	o 630
17.99/18.08	c 10.7504 55.5156 1913 663369
17.99/18.08	o 628
18.39/18.44	c 10.9843 55.5156 2020 666001
18.39/18.44	o 626
18.49/18.53	c 11.0333 55.5156 2048 666973
18.49/18.53	o 625
18.49/18.55	c 11.0483 55.5156 2050 668024
18.49/18.55	o 623
18.59/18.61	c 11.0863 55.5156 2063 668630
18.59/18.61	o 622
18.59/18.65	c 11.1203 55.5156 2075 670033
18.59/18.65	o 618
18.59/18.70	c 11.1473 55.5156 2092 670541
18.59/18.70	o 617
18.70/18.79	c 11.2103 55.5156 2128 671527
18.70/18.79	o 616
18.80/18.84	c 11.2373 55.5156 2145 671969
18.80/18.84	o 614
18.80/18.88	c 11.2623 55.5156 2159 672591
18.80/18.88	o 613
19.49/19.52	c 11.6592 55.5156 2352 674061
19.49/19.52	o 612
19.49/19.57	c 11.6852 55.5156 2366 674741
19.49/19.57	o 610
20.09/20.15	c 12.0442 55.5156 2540 676763
20.09/20.15	o 609
20.19/20.20	c 12.0792 55.5156 2554 677068
20.19/20.20	o 608
20.19/20.22	c 12.0922 55.5156 2557 677515
20.19/20.22	o 607
20.19/20.23	c 12.1032 55.5156 2558 677762
20.19/20.23	o 606
20.19/20.25	c 12.1112 55.5156 2558 678108
20.19/20.25	o 604
20.19/20.26	c 12.1232 55.5156 2562 678398
20.19/20.26	o 603
20.29/20.31	c 12.1641 55.5156 2585 680503
20.29/20.31	o 602
20.29/20.39	c 12.2111 55.5156 2601 681131
20.29/20.39	o 600
20.69/20.70	c 12.4041 55.5156 2712 683299
20.69/20.70	o 599
20.69/20.73	c 12.4201 55.5156 2717 684316
20.69/20.73	o 598
20.79/20.83	c 12.4881 55.5156 2751 685180
20.79/20.83	o 597
21.00/21.08	c 12.6531 55.5156 2805 685563
21.00/21.08	o 596
21.10/21.10	c 12.6651 55.5156 2811 686060
21.10/21.10	o 594
21.10/21.12	c 12.6751 55.5156 2812 687393
21.10/21.12	o 587
21.10/21.14	c 12.6891 55.5156 2818 688143
21.10/21.14	o 586
21.10/21.17	c 12.7071 55.5156 2833 688710
21.10/21.17	o 584
21.10/21.19	c 12.7181 55.5156 2841 689060
21.10/21.19	o 583
21.29/21.31	c 12.7881 55.5156 2880 689930
21.29/21.31	o 582
21.39/21.47	c 12.907 55.5156 2934 690920
21.39/21.47	o 579
21.49/21.50	c 12.93 55.5156 2941 691579
21.49/21.50	o 578
21.80/21.82	c 13.082 55.5156 3034 692169
21.80/21.82	o 576
21.89/21.90	c 13.117 55.5156 3060 692570
21.89/21.90	o 575
21.89/21.98	c 13.138 55.5156 3079 693608
21.89/21.98	o 573
22.00/22.06	c 13.166 55.5156 3099 693948
22.00/22.06	o 572
22.09/22.13	c 13.189 55.5156 3118 694334
22.09/22.13	o 571
22.09/22.16	c 13.202 55.5156 3126 694793
22.09/22.16	o 570
22.09/22.19	c 13.215 55.5156 3133 695416
22.09/22.19	o 569
22.19/22.22	c 13.226 55.5156 3139 695750
22.19/22.22	o 568
22.19/22.28	c 13.256 55.5156 3153 696360
22.19/22.28	o 567
22.29/22.35	c 13.283 55.5156 3195 696953
22.29/22.35	o 566
22.39/22.46	c 13.323 55.5156 3232 697767
22.39/22.46	o 564
22.59/22.60	c 13.414 55.5156 3278 699391
22.59/22.60	o 562
22.59/22.68	c 13.465 55.5156 3304 700206
22.59/22.68	o 561
22.69/22.72	c 13.4859 55.5156 3317 701514
22.69/22.72	o 560
22.69/22.74	c 13.4979 55.5156 3327 702274
22.69/22.74	o 559
22.69/22.76	c 13.5129 55.5156 3330 703238
22.69/22.76	o 550
23.39/23.47	c 13.9699 55.5156 3540 704882
23.39/23.47	o 549
23.49/23.59	c 14.0459 55.5156 3570 705188
23.49/23.59	o 548
23.69/23.76	c 14.1369 55.5156 1827 706256
23.69/23.76	o 547
23.79/23.80	c 14.1608 55.5156 1835 706593
23.79/23.80	o 546
23.79/23.82	c 14.1738 55.5156 1841 706926
23.79/23.82	o 545
23.79/23.88	c 14.2148 55.5156 1863 707780
23.79/23.88	o 543
23.89/23.93	c 14.2488 55.5156 1880 708274
23.89/23.93	o 541
23.89/23.99	c 14.2828 55.5156 1895 708909
23.89/23.99	o 540
23.99/24.03	c 14.3068 55.5156 1907 709261
23.99/24.03	o 539
24.09/24.10	c 14.3468 55.5156 1922 710066
24.09/24.10	o 537
24.09/24.13	c 14.3688 55.5156 1930 710311
24.09/24.13	o 536
24.20/24.23	c 14.4268 55.5156 1953 710806
24.20/24.23	o 535
24.29/24.31	c 14.4848 55.5156 1980 711244
24.29/24.31	o 534
24.29/24.34	c 14.5048 55.5156 1993 711713
24.29/24.34	o 532
24.29/24.36	c 14.5188 55.5156 1996 711897
24.29/24.36	o 531
24.29/24.39	c 14.5298 55.5156 1998 712331
24.29/24.39	o 529
24.39/24.40	c 14.5388 55.5156 1999 712696
24.39/24.40	o 528
24.39/24.42	c 14.5518 55.5156 2001 713071
24.39/24.42	o 527
24.39/24.44	c 14.5688 55.5156 2005 713456
24.39/24.44	o 526
24.39/24.47	c 14.5868 55.5156 2012 713707
24.39/24.47	o 525
24.60/24.67	c 14.7178 55.5156 2056 714863
24.60/24.67	o 524
24.60/24.69	c 14.7348 55.5156 2060 715271
24.60/24.69	o 523
24.69/24.73	c 14.7578 55.5156 2070 715892
24.69/24.73	o 522
24.69/24.76	c 14.7768 55.5156 2080 716167
24.69/24.76	o 521
24.69/24.79	c 14.7928 55.5156 2091 716540
24.69/24.79	o 520
24.99/25.07	c 14.9547 55.5156 2165 717869
24.99/25.07	o 519
24.99/25.09	c 14.9667 55.5156 2168 718181
24.99/25.09	o 518
25.09/25.11	c 14.9777 55.5156 2176 718489
25.09/25.11	o 516
25.09/25.14	c 14.9977 55.5156 2184 719150
25.09/25.14	o 515
25.19/25.23	c 15.0657 55.5156 2231 719900
25.19/25.23	o 514
25.69/25.71	c 15.3737 55.5156 2352 721289
25.69/25.71	o 513
25.69/25.74	c 15.3907 55.5156 2357 722263
25.69/25.74	o 512
25.69/25.76	c 15.4127 55.5156 2359 722680
25.69/25.76	o 511
25.79/25.83	c 15.4576 55.5156 2380 723307
25.79/25.83	o 510
26.09/26.17	c 15.6706 55.5156 2457 723857
26.09/26.17	o 509
26.09/26.18	c 15.6816 55.5156 2458 724170
26.09/26.18	o 508
26.19/26.22	c 15.7046 55.5156 2469 724839
26.19/26.22	o 507
26.19/26.27	c 15.7426 55.5156 2489 725400
26.19/26.27	o 506
26.19/26.29	c 15.7546 55.5156 2496 725836
26.19/26.29	o 505
26.29/26.31	c 15.7696 55.5156 2508 726335
26.29/26.31	o 504
26.39/26.50	c 15.8866 55.5156 2560 726812
26.39/26.50	o 503
26.49/26.57	c 15.9196 55.5156 2576 727139
26.49/26.57	o 502
26.49/26.59	c 15.9316 55.5156 2580 727502
26.49/26.59	o 501
26.59/26.63	c 15.9626 55.5156 2592 728072
26.59/26.63	o 500
26.59/26.68	c 15.9976 55.5156 2623 728778
26.59/26.68	o 499
26.99/27.00	c 16.1985 55.5156 2739 729551
26.99/27.00	o 498
27.09/27.18	c 16.3035 55.5156 2787 730630
27.09/27.18	o 497
27.19/27.29	c 16.3655 55.5156 2821 731069
27.19/27.29	o 496
27.30/27.30	c 16.3735 55.5156 2822 731244
27.30/27.30	o 495
27.30/27.32	c 16.3885 55.5156 2824 731558
27.30/27.32	o 493
27.30/27.34	c 16.4055 55.5156 2833 731988
27.30/27.34	o 492
27.39/27.44	c 16.4625 55.5156 2854 732544
27.39/27.44	o 491
27.39/27.47	c 16.4815 55.5156 2858 732964
27.39/27.47	o 490
27.39/27.49	c 16.4975 55.5156 2863 733619
27.39/27.49	o 489
27.50/27.51	c 16.5085 55.5156 2866 734562
27.50/27.51	o 487
27.50/27.57	c 16.5545 55.5156 2883 735028
27.50/27.57	o 486
27.60/27.62	c 16.5895 55.5156 2895 735775
27.60/27.62	o 485
27.60/27.69	c 16.6345 55.5156 2915 736783
27.60/27.69	o 484
27.69/27.72	c 16.6485 55.5156 2924 737636
27.69/27.72	o 483
27.69/27.75	c 16.6715 55.5156 2934 737952
27.69/27.75	o 482
27.69/27.79	c 16.6975 55.5156 2943 738582
27.69/27.79	o 481
27.80/27.81	c 16.7105 55.5156 2946 739178
27.80/27.81	o 480
27.80/27.84	c 16.7325 55.5156 2951 739764
27.80/27.84	o 479
27.80/27.87	c 16.7495 55.6445 2953 740404
27.80/27.87	o 478
27.80/27.88	c 16.7555 55.6445 2953 740775
27.80/27.88	o 477
27.89/27.90	c 16.7724 55.6445 2956 741155
27.89/27.90	o 476
27.89/27.99	c 16.8354 55.6445 2976 741768
27.89/27.99	o 474
27.99/28.01	c 16.8454 55.6445 2978 742241
27.99/28.01	o 471
27.99/28.05	c 16.8754 55.6445 2994 742704
27.99/28.05	o 470
27.99/28.07	c 16.8844 55.6445 2996 742967
27.99/28.07	o 469
27.99/28.09	c 16.8994 55.6445 2997 743291
27.99/28.09	o 467
28.10/28.11	c 16.9114 55.6445 2999 743658
28.10/28.11	o 465
28.10/28.12	c 16.9184 55.6445 2999 743901
28.10/28.12	o 464
28.10/28.14	c 16.9304 55.6445 3006 744337
28.10/28.14	o 463
28.10/28.18	c 16.9554 55.6445 3014 744764
28.10/28.18	o 462
28.19/28.21	c 16.9684 55.6445 3028 745214
28.19/28.21	o 461
28.19/28.27	c 16.9924 55.6445 3043 745649
28.19/28.27	o 460
28.29/28.31	c 17.0074 55.6445 3049 746759
28.29/28.31	o 459
28.29/28.34	c 17.0234 55.6445 3059 747323
28.29/28.34	o 458
28.39/28.40	c 17.0434 55.6445 3074 748202
28.39/28.40	o 456
28.39/28.42	c 17.0534 55.6445 3074 748525
28.39/28.42	o 455
28.39/28.43	c 17.0604 55.6445 3077 749012
28.39/28.43	o 454
28.50/28.56	c 17.1044 55.6445 3120 749747
28.50/28.56	o 452
28.70/28.71	c 17.1554 55.6445 3170 750095
28.70/28.71	o 451
28.70/28.73	c 17.1624 55.6445 3172 750223
28.70/28.73	o 450
28.70/28.74	c 17.1704 55.6445 3172 750379
28.70/28.74	o 449
28.70/28.76	c 17.1804 55.6445 3178 750548
28.70/28.76	o 448
28.70/28.78	c 17.1914 55.6445 3182 750894
28.70/28.78	o 446
28.79/28.82	c 17.2044 55.6445 3197 751139
28.79/28.82	o 445
28.79/28.85	c 17.2154 55.6445 3202 751385
28.79/28.85	o 443
28.79/28.87	c 17.2244 55.6445 3203 751713
28.79/28.87	o 442
28.79/28.88	c 17.2314 55.6445 3203 752015
28.79/28.88	o 440
28.89/28.90	c 17.2364 55.6445 3204 752285
28.89/28.90	o 439
28.89/28.97	c 17.2774 55.6445 3221 752617
28.89/28.97	o 438
28.99/29.02	c 17.3024 55.6445 3232 753275
28.99/29.02	o 437
28.99/29.09	c 17.3364 55.6445 3248 753783
28.99/29.09	o 434
29.09/29.12	c 17.3614 55.6445 3270 754062
29.09/29.12	o 433
29.09/29.15	c 17.3774 55.6445 3280 754467
29.09/29.15	o 432
29.09/29.19	c 17.4034 55.6445 3290 754805
29.09/29.19	o 431
29.19/29.21	c 17.4134 55.6445 3291 755258
29.19/29.21	o 430
29.19/29.22	c 17.4204 55.6445 3292 755688
29.19/29.22	o 427
29.19/29.23	c 17.4254 55.6445 3292 755902
29.19/29.23	o 426
29.19/29.25	c 17.4343 55.6445 3292 756474
29.19/29.25	o 423
29.19/29.26	c 17.4443 55.6445 3292 756912
29.19/29.26	o 419
29.19/29.27	c 17.4513 55.6445 3292 757172
29.19/29.27	o 417
29.19/29.29	c 17.4653 55.6445 3296 757486
29.19/29.29	o 416
29.29/29.31	c 17.4813 55.6445 3299 757968
29.29/29.31	o 415
29.39/29.42	c 17.5503 55.6445 3338 758446
29.39/29.42	o 414
29.70/29.71	c 17.7473 55.6445 3458 760008
29.70/29.71	o 413
29.80/29.82	c 17.8163 55.6445 3494 760406
29.80/29.82	o 412
29.80/29.84	c 17.8313 55.6445 3497 760828
29.80/29.84	o 411
29.80/29.85	c 17.8413 55.6445 3499 761017
29.80/29.85	o 410
30.19/30.22	c 18.0803 55.7773 3605 761678
30.19/30.22	o 409
30.19/30.24	c 18.0892 55.7773 3609 761925
30.19/30.24	o 408
30.19/30.25	c 18.1012 55.7773 3610 762189
30.19/30.25	o 407
30.19/30.27	c 18.1162 55.7773 3614 762899
30.19/30.27	o 406
30.29/30.30	c 18.1302 55.7773 3618 763308
30.29/30.30	o 405
30.29/30.35	c 18.1572 55.7773 3633 763559
30.29/30.35	o 404
30.29/30.36	c 18.1692 55.7773 3636 763839
30.29/30.36	o 403
30.59/30.65	c 18.3742 55.7773 1897 764865
30.59/30.65	o 402
30.70/30.71	c 18.4102 55.7773 1917 765170
30.70/30.71	o 401
30.70/30.76	c 18.4462 55.7773 1931 765385
30.70/30.76	o 399
30.70/30.78	c 18.4592 55.7773 1936 765514
30.70/30.78	o 398
30.79/30.81	c 18.4892 55.7773 1949 765965
30.79/30.81	o 397
30.79/30.84	c 18.5032 55.7773 1958 766319
30.79/30.84	o 396
30.99/31.03	c 18.6112 55.7773 2011 766728
30.99/31.03	o 395
30.99/31.06	c 18.6302 55.7773 2018 766858
30.99/31.06	o 394
30.99/31.08	c 18.6402 55.7773 2027 767095
30.99/31.08	o 393
31.09/31.10	c 18.6532 55.7773 2031 767610
31.09/31.10	o 392
31.09/31.12	c 18.6682 55.7773 2035 767875
31.09/31.12	o 391
31.09/31.15	c 18.6882 55.7773 2047 768371
31.09/31.15	o 390
31.19/31.20	c 18.7172 55.7773 2057 768663
31.19/31.20	o 389
31.19/31.21	c 18.7272 55.7773 2061 768973
31.19/31.21	o 388
31.19/31.24	c 18.7451 55.7773 2063 769491
31.19/31.24	o 387
31.19/31.25	c 18.7571 55.7773 2065 769851
31.19/31.25	o 386
31.19/31.28	c 18.7751 55.7773 2070 770295
31.19/31.28	o 385
31.29/31.32	c 18.8041 55.7773 2084 771070
31.29/31.32	o 384
31.29/31.35	c 18.8231 55.7773 2091 771853
31.29/31.35	o 383
31.29/31.38	c 18.8461 55.7773 2098 772661
31.29/31.38	o 382
31.39/31.40	c 18.8601 55.7773 2101 773021
31.39/31.40	o 381
31.39/31.42	c 18.8771 55.7773 2112 773245
31.39/31.42	o 380
31.39/31.44	c 18.8931 55.7773 2117 773575
31.39/31.44	o 379
31.39/31.49	c 18.9231 55.7773 2131 773839
31.39/31.49	o 378
31.49/31.52	c 18.9491 55.7773 2148 774273
31.49/31.52	o 377
31.79/31.88	c 19.1671 55.7773 2250 775049
31.79/31.88	o 376
31.79/31.90	c 19.1761 55.7773 2251 775550
31.79/31.90	o 375
31.90/31.93	c 19.2031 55.7773 2258 776058
31.90/31.93	o 374
31.90/32.00	c 19.2451 55.7773 2275 776324
31.90/32.00	o 373
32.00/32.02	c 19.2661 55.7773 2282 776618
32.00/32.02	o 372
32.10/32.18	c 19.3641 55.7773 2324 776865
32.10/32.18	o 371
32.19/32.20	c 19.3771 55.7773 2329 777038
32.19/32.20	o 370
32.19/32.22	c 19.3901 55.7773 2331 777535
32.19/32.22	o 369
32.19/32.23	c 19.399 55.7773 2331 777847
32.19/32.23	o 368
32.19/32.25	c 19.41 55.7773 2332 778118
32.19/32.25	o 367
32.19/32.27	c 19.426 55.7773 2335 778596
32.19/32.27	o 366
32.29/32.30	c 19.446 55.7773 2340 779103
32.29/32.30	o 363
32.29/32.32	c 19.457 55.7773 2344 779814
32.29/32.32	o 360
32.29/32.38	c 19.5 55.7773 2367 780616
32.29/32.38	o 358
32.39/32.44	c 19.535 55.7773 2379 781202
32.39/32.44	o 355
32.39/32.45	c 19.546 55.7773 2381 781305
32.39/32.45	o 354
32.39/32.46	c 19.557 55.7773 2381 781395
32.39/32.46	o 353
32.39/32.48	c 19.57 55.7773 2384 781750
32.39/32.48	o 349
32.50/32.50	c 19.585 55.7773 2387 781960
32.50/32.50	o 347
32.50/32.52	c 19.597 55.7773 2387 782170
32.50/32.52	o 345
32.50/32.53	c 19.606 55.7773 2387 782276
32.50/32.53	o 344
32.50/32.54	c 19.617 55.7773 2391 782398
32.50/32.54	o 343
32.50/32.56	c 19.626 55.7773 2391 782501
32.50/32.56	o 342
32.50/32.57	c 19.634 55.7773 2391 782649
32.50/32.57	o 341
32.50/32.58	c 19.647 55.7773 2392 782849
32.50/32.58	o 339
32.59/32.60	c 19.656 55.7773 2394 783098
32.59/32.60	o 338
32.59/32.62	c 19.672 55.7773 2399 783321
32.59/32.62	o 337
32.59/32.63	c 19.683 55.7773 2401 783737
32.59/32.63	o 334
32.59/32.65	c 19.698 55.7773 2408 783969
32.59/32.65	o 333
32.59/32.68	c 19.713 55.7773 2414 784259
32.59/32.68	o 332
32.69/32.71	c 19.738 55.7773 2422 784838
32.69/32.71	o 330
32.69/32.75	c 19.76 55.7773 2430 785311
32.69/32.75	o 328
32.69/32.78	c 19.78 55.7773 2436 785479
32.69/32.78	o 327
32.79/32.81	c 19.801 55.7773 2443 785657
32.79/32.81	o 326
32.79/32.82	c 19.809 55.7773 2443 785875
32.79/32.82	o 325
32.79/32.84	c 19.827 55.7773 2449 786155
32.79/32.84	o 322
32.79/32.87	c 19.845 55.7773 2458 786326
32.79/32.87	o 321
32.79/32.88	c 19.855 55.7773 2460 786661
32.79/32.88	o 320
32.89/32.90	c 19.868 55.7773 2466 787038
32.89/32.90	o 319
32.89/32.92	c 19.879 55.7773 2467 787249
32.89/32.92	o 318
32.89/32.94	c 19.897 55.7773 2469 787548
32.89/32.94	o 317
32.89/32.96	c 19.914 55.7773 2473 787723
32.89/32.96	o 316
32.89/32.98	c 19.925 55.7773 2474 788062
32.89/32.98	o 315
32.89/32.99	c 19.939 55.7773 2477 788506
32.89/32.99	o 313
33.00/33.01	c 19.949 55.7773 2481 788911
33.00/33.01	o 311
33.00/33.02	c 19.958 55.7773 2485 789243
33.00/33.02	o 310
33.10/33.19	c 20.0669 55.7773 2550 789567
33.10/33.19	o 309
33.19/33.21	c 20.0839 55.7773 2554 789887
33.19/33.21	o 308
33.19/33.26	c 20.1199 55.7773 2563 790088
33.19/33.26	o 307
33.19/33.28	c 20.1349 55.7773 2566 790255
33.19/33.28	o 306
33.29/33.33	c 20.1659 55.7773 2578 790485
33.29/33.33	o 305
33.39/33.41	c 20.2219 55.7773 2606 790677
33.39/33.41	o 304
33.49/33.50	c 20.2849 55.7773 2626 790935
33.49/33.50	o 303
33.49/33.59	c 20.3369 55.7773 2651 791128
33.49/33.59	o 302
33.60/33.60	c 20.3459 55.7773 2652 791278
33.60/33.60	o 301
33.60/33.62	c 20.3579 55.7773 2659 791475
33.60/33.62	o 300
33.60/33.63	c 20.3669 55.7773 2662 791635
33.60/33.63	o 299
33.60/33.66	c 20.3779 55.7773 2666 791951
33.60/33.66	o 298
33.60/33.69	c 20.3939 55.7773 2673 792155
33.60/33.69	o 297
33.69/33.71	c 20.4069 55.7773 2678 792508
33.69/33.71	o 296
33.69/33.73	c 20.4179 55.7773 2680 792644
33.69/33.73	o 295
33.69/33.74	c 20.4289 55.7773 2680 792807
33.69/33.74	o 294
33.69/33.75	c 20.4379 55.7773 2680 792948
33.69/33.75	o 293
33.69/33.77	c 20.4479 55.7773 2680 793092
33.69/33.77	o 292
33.69/33.78	c 20.4549 55.7773 2680 793237
33.69/33.78	o 291
33.69/33.79	c 20.4639 55.7773 2680 793370
33.69/33.79	o 290
33.79/33.81	c 20.4719 55.7773 2681 793495
33.79/33.81	o 289
33.79/33.83	c 20.4879 55.7773 2684 793793
33.79/33.83	o 288
33.79/33.84	c 20.4999 55.7773 2685 793969
33.79/33.84	o 287
33.79/33.86	c 20.5109 55.7773 2687 794169
33.79/33.86	o 286
33.79/33.87	c 20.5179 55.7773 2687 794412
33.79/33.87	o 285
33.79/33.89	c 20.5329 55.7773 2689 794668
33.79/33.89	o 284
33.89/33.93	c 20.5559 55.7773 2697 794961
33.89/33.93	o 283
33.89/33.94	c 20.5659 55.7773 2699 795154
33.89/33.95	o 282
33.89/33.97	c 20.5819 55.7773 2703 795439
33.89/33.97	o 281
33.89/33.98	c 20.5929 55.7773 2704 795643
33.89/33.98	o 280
33.99/34.00	c 20.6029 55.7773 2705 795813
33.99/34.00	o 279
33.99/34.02	c 20.6179 55.7773 2708 796004
33.99/34.02	o 278
33.99/34.03	c 20.6269 55.7773 2708 796149
33.99/34.03	o 277
33.99/34.04	c 20.6369 55.7773 2708 796298
33.99/34.04	o 276
33.99/34.06	c 20.6449 55.7773 2708 796449
33.99/34.06	o 275
33.99/34.07	c 20.6549 55.7773 2708 796587
33.99/34.07	o 274
33.99/34.08	c 20.6669 55.7773 2708 796721
33.99/34.08	o 273
33.99/34.10	c 20.6759 55.7773 2709 796899
33.99/34.10	o 272
34.09/34.12	c 20.6969 55.7773 2716 797123
34.09/34.12	o 271
34.09/34.14	c 20.7069 55.7773 2719 797302
34.09/34.14	o 270
34.09/34.16	c 20.7188 55.7773 2728 797479
34.09/34.16	o 269
34.29/34.33	c 20.8298 55.7773 2768 797714
34.29/34.33	o 268
34.29/34.38	c 20.8718 55.7773 2808 798126
34.29/34.38	o 267
34.39/34.48	c 20.9438 55.7773 2839 798483
34.39/34.48	o 266
34.49/34.55	c 20.9868 55.7773 2854 798860
34.49/34.55	o 265
34.49/34.56	c 20.9958 55.7773 2856 798993
34.49/34.56	o 264
34.49/34.57	c 21.0038 55.7773 2856 799098
34.49/34.57	o 263
34.49/34.59	c 21.0148 55.7773 2858 799252
34.49/34.59	o 262
34.59/34.61	c 21.0268 55.7773 2861 799445
34.59/34.61	o 261
34.59/34.63	c 21.0428 55.7773 2867 799893
34.59/34.63	o 260
34.59/34.67	c 21.0648 55.7773 2879 800319
34.59/34.67	o 259
34.69/34.71	c 21.1028 55.7773 2895 800482
34.69/34.71	o 258
34.79/34.87	c 21.1638 55.7773 2936 800905
34.79/34.87	o 257
34.79/34.88	c 21.1708 55.7773 2938 801027
34.79/34.88	o 256
34.89/34.90	c 21.1788 55.7773 2940 801143
34.89/34.90	o 255
34.89/34.92	c 21.1878 55.7773 2944 801244
34.89/34.92	o 254
34.89/34.93	c 21.1928 55.7773 2945 801313
34.89/34.93	o 253
34.89/34.94	c 21.2018 55.7773 2945 801422
34.89/34.94	o 252
34.89/34.96	c 21.2098 55.7773 2949 801520
34.89/34.96	o 251
34.89/34.98	c 21.2188 55.7773 2959 801648
34.89/34.98	o 250
34.89/34.99	c 21.2248 55.9062 2961 801765
34.89/34.99	o 249
34.99/35.01	c 21.2358 55.9062 2966 801898
34.99/35.01	o 248
34.99/35.06	c 21.2648 55.9062 3013 802189
34.99/35.06	o 247
35.19/35.22	c 21.3408 55.9062 3070 802664
35.19/35.22	o 246
35.19/35.26	c 21.3528 55.9062 3080 802947
35.19/35.26	o 244
35.19/35.28	c 21.3628 55.9062 3084 803049
35.19/35.28	o 243
35.19/35.30	c 21.3708 55.9062 3086 803166
35.19/35.30	o 242
35.30/35.38	c 21.4037 55.9062 3103 803416
35.30/35.38	o 241
35.39/35.40	c 21.4207 55.9062 3116 803554
35.39/35.40	o 240
35.39/35.42	c 21.4287 55.9062 3120 803736
35.39/35.42	o 239
35.39/35.44	c 21.4357 55.9062 3120 803895
35.39/35.44	o 238
35.39/35.45	c 21.4457 55.9062 3123 804062
35.39/35.45	o 237
35.39/35.47	c 21.4527 55.9062 3129 804245
35.39/35.47	o 236
35.39/35.49	c 21.4577 55.9062 3132 804422
35.39/35.49	o 235
35.59/35.62	c 21.5417 55.9062 3160 804844
35.59/35.62	o 234
35.70/35.75	c 21.6167 55.9062 3265 805793
35.70/35.75	o 233
35.70/35.79	c 21.6457 55.9062 3283 806221
35.70/35.79	o 232
35.80/35.86	c 21.6867 55.9062 3306 806545
35.80/35.86	o 231
35.80/35.88	c 21.7037 55.9062 3312 806774
35.80/35.88	o 230
35.89/35.90	c 21.7107 55.9062 3316 806975
35.89/35.90	o 229
36.00/36.01	c 21.7987 55.9062 3400 807357
36.00/36.01	o 228
36.30/36.37	c 22.0277 55.9062 3552 808584
36.30/36.37	o 227
36.40/36.40	c 22.0466 55.9062 3560 808764
36.40/36.40	o 226
36.40/36.42	c 22.0546 56.0352 3563 808929
36.40/36.42	o 225
36.40/36.43	c 22.0656 56.0352 3565 809063
36.40/36.43	o 224
36.40/36.45	c 22.0736 56.0352 3565 809174
36.40/36.45	o 223
36.40/36.46	c 22.0816 56.0352 3565 809282
36.40/36.46	o 222
36.40/36.48	c 22.0916 56.0352 3565 809375
36.40/36.48	o 221
36.40/36.49	c 22.1006 56.0352 3566 809503
36.40/36.49	o 220
36.49/36.51	c 22.1166 56.0352 3569 809724
36.49/36.51	o 219
36.49/36.53	c 22.1286 56.0352 3570 809931
36.49/36.53	o 218
36.49/36.54	c 22.1326 56.0352 3571 810192
36.49/36.54	o 217
36.49/36.56	c 22.1416 56.0352 3574 810352
36.49/36.56	o 216
36.49/36.59	c 22.1636 56.0352 3584 810565
36.49/36.59	o 215
36.59/36.62	c 22.1826 56.0352 3594 810742
36.59/36.62	o 214
36.69/36.71	c 22.2466 56.0352 3623 810969
36.69/36.71	o 213
36.69/36.74	c 22.2646 56.0352 3633 811263
36.69/36.74	o 212
36.69/36.76	c 22.2796 56.0352 3639 811538
36.69/36.76	o 211
36.69/36.78	c 22.2976 56.0352 3644 811806
36.69/36.78	o 210
36.79/36.80	c 22.3086 56.0352 3646 812022
36.79/36.80	o 209
36.79/36.83	c 22.3256 56.0352 3652 812163
36.79/36.83	o 208
36.89/36.92	c 22.3886 56.0352 3672 812453
36.89/36.92	o 207
36.89/36.97	c 22.4206 56.0352 3682 812872
36.89/36.97	o 206
36.99/37.01	c 22.4396 56.0352 3698 813247
36.99/37.01	o 205
36.99/37.05	c 22.4696 56.0352 3706 813404
36.99/37.05	o 204
36.99/37.07	c 22.4786 56.0352 3706 813476
36.99/37.07	o 203
36.99/37.08	c 22.4896 56.0352 3715 813571
36.99/37.08	o 202
37.09/37.12	c 22.5236 56.0352 3743 813915
37.09/37.12	o 201
37.09/37.19	c 22.5726 56.0352 3766 814193
37.09/37.19	o 200
37.19/37.21	c 22.5876 56.0352 3787 814390
37.19/37.21	o 199
37.19/37.23	c 22.5966 56.0352 3790 814508
37.19/37.23	o 198
37.19/37.26	c 22.6156 56.0352 3795 814609
37.19/37.26	o 197
37.19/37.28	c 22.6336 56.0352 3806 814754
37.19/37.28	o 196
37.29/37.37	c 22.6906 56.0352 3836 814935
37.29/37.37	o 195
37.29/37.40	c 22.7145 56.0352 3846 815249
37.29/37.40	o 194
37.40/37.44	c 22.7435 56.0352 3857 815480
37.40/37.44	o 193
37.40/37.48	c 22.7625 56.0352 3868 815693
37.40/37.48	o 192
37.40/37.50	c 22.7765 56.0352 1946 816027
37.40/37.50	o 191
37.49/37.52	c 22.7885 56.0352 1958 816206
37.49/37.52	o 190
37.69/37.71	c 22.9405 56.0352 2108 817125
37.69/37.71	o 189
37.69/37.75	c 22.9655 56.0352 2122 817352
37.69/37.75	o 188
37.79/37.80	c 23.0025 56.0352 2145 817651
37.79/37.80	o 187
37.79/37.83	c 23.0245 56.0352 2153 817845
37.79/37.83	o 186
37.79/37.85	c 23.0425 56.0352 2159 818056
37.79/37.85	o 185
37.89/37.95	c 23.1155 56.0352 2193 818380
37.89/37.95	o 184
37.89/37.97	c 23.1355 56.0352 2215 818532
37.89/37.97	o 183
37.89/37.99	c 23.1435 56.0352 2217 818721
37.89/37.99	o 182
37.99/38.02	c 23.1635 56.0352 2227 818867
37.99/38.02	o 181
37.99/38.04	c 23.1745 56.0352 2235 819108
37.99/38.04	o 180
38.10/38.17	c 23.2715 56.0352 2283 819501
38.10/38.17	o 179
38.19/38.25	c 23.3195 56.0352 2307 819901
38.19/38.25	o 178
38.29/38.33	c 23.3854 56.0352 2352 820432
38.29/38.33	o 177
38.29/38.37	c 23.4124 56.0352 2372 820708
38.29/38.37	o 176
38.29/38.39	c 23.4234 56.0352 2382 820933
38.29/38.39	o 175
38.39/38.40	c 23.4344 56.0352 2389 821272
38.39/38.40	o 173
38.39/38.46	c 23.4754 56.0352 2403 821560
38.39/38.46	o 172
38.39/38.47	c 23.4884 56.0352 2403 821618
38.39/38.47	o 171
38.39/38.49	c 23.4984 56.0352 2403 821667
38.39/38.49	o 170
38.50/38.52	c 23.5184 56.0352 2419 821782
38.50/38.52	o 169
38.50/38.55	c 23.5394 56.0352 2424 821995
38.50/38.55	o 168
38.50/38.57	c 23.5574 56.0352 2434 822473
38.50/38.57	o 166
38.50/38.59	c 23.5694 56.0352 2437 822780
38.50/38.59	o 165
38.60/38.61	c 23.5814 56.0352 2439 823092
38.60/38.61	o 164
38.60/38.63	c 23.5954 56.0352 2441 823245
38.60/38.63	o 163
38.60/38.66	c 23.6164 56.0352 2453 823626
38.60/38.66	o 162
38.60/38.69	c 23.6354 56.0352 2457 823927
38.60/38.69	o 161
38.69/38.72	c 23.6534 56.0352 2464 824154
38.69/38.72	o 160
38.69/38.74	c 23.6674 56.0352 2472 824319
38.69/38.74	o 159
38.69/38.75	c 23.6774 56.0352 2475 824454
38.69/38.75	o 158
38.69/38.77	c 23.6954 56.0352 2479 824607
38.69/38.78	o 157
38.79/38.80	c 23.7114 56.0352 2486 824749
38.79/38.80	o 156
38.89/38.93	c 23.7944 56.1641 2599 825537
38.89/38.93	o 155
38.89/38.94	c 23.8064 56.1641 2602 825812
38.89/38.94	o 154
38.89/38.96	c 23.8124 56.1641 2603 825928
38.89/38.96	o 153
38.89/38.97	c 23.8214 56.1641 2609 826105
38.89/38.97	o 152
38.99/39.03	c 23.8694 56.1641 2644 826596
38.99/39.03	o 151
39.19/39.21	c 23.9974 56.1641 2750 827101
39.19/39.21	o 150
39.19/39.24	c 24.0153 56.1641 2769 827214
39.19/39.24	o 149
39.29/39.31	c 24.0573 56.1641 2786 827592
39.29/39.31	o 148
39.29/39.33	c 24.0703 56.1641 2794 827759
39.29/39.33	o 147
39.29/39.36	c 24.0993 56.1641 2802 827931
39.29/39.36	o 146
39.39/39.40	c 24.1303 56.1641 2821 828077
39.39/39.40	o 145
39.39/39.44	c 24.1593 56.1641 2830 828358
39.39/39.44	o 144
39.39/39.48	c 24.1933 56.1641 2846 828543
39.39/39.48	o 143
39.59/39.62	c 24.2703 56.1641 2892 828763
39.59/39.62	o 142
39.59/39.66	c 24.2923 56.1641 2909 828953
39.59/39.66	o 141
39.59/39.68	c 24.3033 56.1641 2911 829007
39.59/39.68	o 140
39.69/39.71	c 24.3243 56.1641 2919 829176
39.69/39.71	o 139
39.69/39.73	c 24.3463 56.1641 2925 829276
39.69/39.73	o 138
39.69/39.78	c 24.3843 56.1641 2944 829502
39.69/39.78	o 137
39.79/39.81	c 24.4013 56.1641 2950 829804
39.79/39.81	o 136
39.79/39.83	c 24.4113 56.1641 2955 829924
39.79/39.83	o 135
39.79/39.85	c 24.4273 56.1641 2962 830160
39.79/39.85	o 133
39.79/39.87	c 24.4423 56.1641 2971 830407
39.79/39.87	o 132
39.79/39.89	c 24.4503 56.1641 2975 830500
39.79/39.89	o 131
39.89/39.96	c 24.5103 56.1641 3053 830717
39.89/39.96	o 130
39.89/39.99	c 24.5273 56.1641 3065 831061
39.89/39.99	o 129
40.00/40.07	c 24.5803 56.1641 3108 831467
40.00/40.07	o 128
40.00/40.10	c 24.5973 56.1641 3126 831631
40.00/40.10	o 127
40.19/40.25	c 24.7072 56.1641 3196 832072
40.19/40.25	o 126
40.19/40.27	c 24.7242 56.1641 3201 832209
40.19/40.27	o 125
40.19/40.29	c 24.7322 56.1641 3206 832317
40.19/40.29	o 124
40.29/40.31	c 24.7482 56.1641 3223 832466
40.29/40.31	o 123
40.29/40.35	c 24.7752 56.1641 3231 832730
40.29/40.35	o 122
40.29/40.36	c 24.7852 56.1641 3234 832865
40.29/40.36	o 121
40.29/40.39	c 24.7982 56.1641 3247 833056
40.29/40.39	o 120
40.39/40.40	c 24.8092 56.1641 3252 833249
40.39/40.40	o 118
40.39/40.42	c 24.8192 56.1641 3253 833340
40.39/40.42	o 117
40.39/40.43	c 24.8272 56.1641 3257 833493
40.39/40.43	o 116
40.39/40.47	c 24.8542 56.1641 3266 833614
40.39/40.47	o 115
40.39/40.48	c 24.8682 56.1641 3277 833700
40.39/40.48	o 114
40.49/40.50	c 24.8802 56.1641 3282 833781
40.49/40.50	o 113
40.49/40.52	c 24.8882 56.1641 3286 833861
40.49/40.52	o 112
40.49/40.55	c 24.9142 56.1641 3296 833979
40.49/40.55	o 111
40.49/40.59	c 24.9412 56.1641 3305 834148
40.49/40.59	o 110
40.59/40.64	c 24.9842 56.1641 3351 834329
40.59/40.64	o 109
40.59/40.67	c 24.9992 56.1641 3363 834466
40.59/40.67	o 108
40.59/40.68	c 25.0102 56.293 3364 834546
40.59/40.68	o 107
40.59/40.70	c 25.0202 56.293 3364 834596
40.59/40.70	o 106
40.70/40.71	c 25.0282 56.293 3364 834663
40.70/40.71	o 105
40.70/40.72	c 25.0352 56.293 3364 834719
40.70/40.72	o 104
40.70/40.74	c 25.0472 56.293 3364 834771
40.70/40.74	o 103
40.70/40.75	c 25.0562 56.293 3366 834869
40.70/40.75	o 102
40.70/40.76	c 25.0682 56.293 3367 834922
40.70/40.76	o 101
40.70/40.78	c 25.0802 56.293 3368 835003
40.70/40.78	o 100
40.70/40.79	c 25.0892 56.293 3370 835061
40.70/40.79	o 99
40.80/40.81	c 25.1002 56.293 3372 835107
40.80/40.81	o 98
40.80/40.83	c 25.1202 56.293 3392 835204
40.80/40.83	o 97
40.80/40.87	c 25.1412 56.293 3404 835520
40.80/40.87	o 96
40.90/40.90	c 25.1652 56.293 3414 835857
40.90/40.90	o 95
40.90/40.96	c 25.2052 56.293 3458 836094
40.90/40.96	o 94
40.90/40.99	c 25.2272 56.293 3469 836248
40.90/40.99	o 93
40.99/41.02	c 25.2512 56.293 3485 836548
40.99/41.02	o 92
40.99/41.06	c 25.2822 56.293 3399 836797
40.99/41.06	o 91
40.99/41.09	c 25.3012 56.293 3425 836961
40.99/41.09	o 90
41.09/41.11	c 25.3152 56.293 3428 837098
41.09/41.11	o 89
41.09/41.13	c 25.3271 56.293 3436 837269
41.09/41.13	o 88
41.09/41.15	c 25.3411 56.293 3440 837373
41.09/41.15	o 87
41.09/41.16	c 25.3531 56.293 3443 837501
41.09/41.16	o 86
41.19/41.20	c 25.3781 56.293 3455 837838
41.19/41.20	o 85
41.30/41.39	c 25.4881 56.293 3178 838329
41.30/41.39	o 84
41.39/41.40	c 25.4931 56.293 3178 838425
41.39/41.40	o 83
41.39/41.41	c 25.5001 56.293 3178 838517
41.39/41.41	o 82
41.39/41.42	c 25.5061 56.293 3178 838585
41.39/41.42	o 81
41.39/41.44	c 25.5101 56.293 3178 838655
41.39/41.44	o 80
41.39/41.45	c 25.5151 56.293 3178 838718
41.39/41.45	o 79
41.39/41.46	c 25.5211 56.293 3178 838783
41.39/41.46	o 78
41.39/41.47	c 25.5261 56.293 3179 838845
41.39/41.47	o 77
41.39/41.48	c 25.5301 56.293 3179 838920
41.39/41.48	o 76
41.39/41.49	c 25.5361 56.293 3179 839002
41.39/41.49	o 75
41.49/41.50	c 25.5431 56.293 3179 839067
41.49/41.50	o 74
41.49/41.51	c 25.5481 56.293 3179 839127
41.49/41.51	o 73
41.49/41.53	c 25.5531 56.293 3179 839185
41.49/41.53	o 72
41.49/41.54	c 25.5581 56.293 3179 839239
41.49/41.54	o 71
41.49/41.55	c 25.5651 56.293 2744 839297
41.49/41.55	o 70
41.49/41.56	c 25.5711 56.293 2744 839356
41.49/41.56	o 69
41.49/41.57	c 25.5791 56.293 2744 839420
41.49/41.57	o 68
41.49/41.58	c 25.5831 56.293 2744 839477
41.49/41.58	o 67
41.49/41.59	c 25.5891 56.293 2744 839531
41.49/41.59	o 66
41.59/41.60	c 25.5951 56.293 2744 839584
41.59/41.60	o 65
41.59/41.62	c 25.6101 56.293 2761 839708
41.59/41.62	o 64
41.59/41.67	c 25.6331 56.293 2784 840066
41.59/41.67	o 63
41.59/41.69	c 25.6411 56.293 2791 840293
41.59/41.69	o 62
41.69/41.71	c 25.6501 56.293 2511 840511
41.69/41.71	o 61
41.69/41.73	c 25.6651 56.293 2524 840670
41.69/41.73	o 60
41.69/41.76	c 25.6771 56.293 2536 840760
41.69/41.76	o 59
41.69/41.78	c 25.6851 56.293 2556 840860
41.69/41.78	o 58
41.80/41.82	c 25.7051 56.293 2573 841238
41.80/41.82	o 57
41.80/41.83	c 25.7101 56.293 2574 841304
41.80/41.83	o 56
41.80/41.84	c 25.7161 56.293 2331 841369
41.80/41.84	o 55
41.80/41.85	c 25.7211 56.293 2331 841439
41.80/41.85	o 54
41.80/41.86	c 25.7251 56.293 2332 841621
41.80/41.86	o 52
41.80/41.87	c 25.7291 56.293 2332 841677
41.80/41.87	o 51
41.80/41.88	c 25.7391 56.293 2334 841824
41.80/41.88	o 50
41.80/41.89	c 25.7421 56.293 2334 841880
41.80/41.89	o 49
41.80/41.90	c 25.7461 56.293 2335 841951
41.80/41.90	o 48
41.90/41.90	c 25.7531 56.293 2336 842020
41.90/41.90	o 47
41.90/41.91	c 25.7581 56.293 2336 842170
41.90/41.91	o 45
41.90/41.92	c 25.7631 56.293 2338 842405
41.90/41.92	o 43
41.90/41.93	c 25.7681 56.293 2338 842575
41.90/41.93	o 41
41.90/41.94	c 25.7741 56.293 2338 842655
41.90/41.94	o 40
41.90/41.94	c 25.7771 56.293 1777 842970
41.90/41.94	o 36
41.90/41.95	c 25.7801 56.293 1777 843040
41.90/41.95	o 35
41.90/41.96	c 25.7851 56.293 1777 843248
41.90/41.96	o 33
41.90/41.96	c 25.7881 56.293 1777 843366
41.90/41.96	o 32
41.90/41.97	c 25.7921 56.293 1777 843493
41.90/41.97	o 31
41.90/41.98	c 25.7971 56.293 1777 843573
41.90/41.98	o 30
41.90/41.98	c 25.8001 56.293 1777 843680
41.90/41.98	o 29
41.90/41.99	c 25.8051 56.293 1777 843741
41.90/41.99	o 28
41.90/41.99	c 25.8091 56.293 1777 843883
41.90/41.99	o 26
42.00/42.00	c 25.8131 56.293 1777 844016
42.00/42.00	o 24
42.00/42.01	c 25.8171 56.293 1778 844223
42.00/42.01	o 21
42.00/42.02	c 25.8261 56.293 1789 844385
42.00/42.02	o 20
42.00/42.02	c 25.8331 56.293 1660 844475
42.00/42.02	o 19
42.00/42.03	c 25.8371 56.293 1664 844527
42.00/42.03	o 18
42.00/42.03	c 25.8411 56.293 1669 844614
42.00/42.03	o 17
42.00/42.05	c 25.8591 56.293 1766 844817
42.00/42.05	o 16
42.00/42.05	c 25.8601 56.293 1766 844817
42.00/42.05	s OPTIMUM FOUND
42.00/42.05	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

OK	16

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699133-1278465262/watcher-2699133-1278465262 -o /tmp/evaluation-result-2699133-1278465262/solver-2699133-1278465262 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699133-1278465262.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.17 2.04 1.96 4/178 14526
/proc/meminfo: memFree=29825736/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=2136 CPUtime=0
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 14739830 2187264 175 4089446400 134512640 136422188 4288956320 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14526/statm: 534 175 144 467 0 65 0

[startup+0.102594 s]
/proc/loadavg: 2.17 2.04 1.96 4/178 14526
/proc/meminfo: memFree=29825736/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=20772 CPUtime=0.09
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 4884 0 0 0 9 0 0 0 25 0 1 0 14739830 21270528 4771 4089446400 134512640 136422188 4288956320 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 5193 4773 193 467 0 4724 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20772

[startup+0.20057 s]
/proc/loadavg: 2.17 2.04 1.96 4/178 14526
/proc/meminfo: memFree=29825736/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=48976 CPUtime=0.19
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 12291 0 0 0 18 1 0 0 25 0 1 0 14739830 50151424 11664 4089446400 134512640 136422188 4288956320 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 12277 11671 194 467 0 11808 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 48976

[startup+0.300537 s]
/proc/loadavg: 2.17 2.04 1.96 4/178 14526
/proc/meminfo: memFree=29825736/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=54908 CPUtime=0.29
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 13773 0 0 0 27 2 0 0 25 0 1 0 14739830 56225792 12899 4089446400 134512640 136422188 4288956320 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 13727 12899 207 467 0 13258 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54908

[startup+0.70042 s]
/proc/loadavg: 2.17 2.04 1.96 4/178 14526
/proc/meminfo: memFree=29825736/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=56316 CPUtime=0.68
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 14095 0 0 0 54 14 0 0 25 0 1 0 14739830 57667584 13217 4089446400 134512640 136422188 4288956320 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 14079 13217 236 467 0 13610 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56316

[startup+1.50033 s]
/proc/loadavg: 2.17 2.04 1.96 3/179 14527
/proc/meminfo: memFree=29773276/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=56316 CPUtime=1.49
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 14099 0 0 0 103 46 0 0 25 0 1 0 14739830 57667584 13218 4089446400 134512640 136422188 4288956320 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 14079 13218 237 467 0 13610 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56316

[startup+3.10104 s]
/proc/loadavg: 2.17 2.04 1.96 3/179 14527
/proc/meminfo: memFree=29773704/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=56316 CPUtime=3.09
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 14105 0 0 0 173 136 0 0 25 0 1 0 14739830 57667584 13218 4089446400 134512640 136422188 4288956320 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 14079 13218 237 467 0 13610 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56316

[startup+6.3004 s]
/proc/loadavg: 2.15 2.04 1.96 3/179 14527
/proc/meminfo: memFree=29773736/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=56448 CPUtime=6.29
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 14156 0 0 0 374 255 0 0 25 0 1 0 14739830 57802752 13235 4089446400 134512640 136422188 4288956320 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 14112 13235 237 467 0 13643 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56448

[startup+12.7002 s]
/proc/loadavg: 2.14 2.04 1.96 3/179 14528
/proc/meminfo: memFree=29773120/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=56712 CPUtime=12.69
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 14349 0 0 0 757 512 0 0 25 0 1 0 14739830 58073088 13321 4089446400 134512640 136422188 4288956320 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 14178 13321 237 467 0 13709 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56712

[startup+25.5009 s]
/proc/loadavg: 2.11 2.03 1.96 3/179 14528
/proc/meminfo: memFree=29773084/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=56844 CPUtime=25.5
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 14518 0 0 0 1523 1027 0 0 20 0 1 0 14739830 58208256 13359 4089446400 134512640 136422188 4288956320 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 14211 13359 237 467 0 13742 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 56844

Solver just ended. Dumping a history of the last processes samples

[startup+25.6009 s]
/proc/loadavg: 2.11 2.03 1.96 3/179 14528
/proc/meminfo: memFree=29773084/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=56844 CPUtime=25.59
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 14518 0 0 0 1529 1030 0 0 20 0 1 0 14739830 58208256 13359 4089446400 134512640 136422188 4288956320 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 14211 13359 237 467 0 13742 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 56844

[startup+32.0058 s]
/proc/loadavg: 2.10 2.03 1.96 3/179 14528
/proc/meminfo: memFree=29772824/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=57112 CPUtime=32
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 14687 0 0 0 1925 1275 0 0 25 0 1 0 14739830 58482688 13410 4089446400 134512640 136422188 4288956320 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 14278 13410 237 467 0 13809 0
Current children cumulated CPU time (s) 32
Current children cumulated vsize (KiB) 57112

[startup+38.4006 s]
/proc/loadavg: 2.09 2.03 1.96 3/179 14528
/proc/meminfo: memFree=29772540/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=57376 CPUtime=38.39
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 14954 0 0 0 2342 1497 0 0 25 0 1 0 14739830 58753024 13501 4089446400 134512640 136422188 4288956320 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 14344 13501 237 467 0 13875 0
Current children cumulated CPU time (s) 38.39
Current children cumulated vsize (KiB) 57376

[startup+40.0003 s]
/proc/loadavg: 2.09 2.03 1.96 3/179 14528
/proc/meminfo: memFree=29772416/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=57508 CPUtime=40
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 15029 0 0 0 2453 1547 0 0 25 0 1 0 14739830 58888192 13533 4089446400 134512640 136422188 4288956320 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 14377 13533 237 467 0 13908 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (KiB) 57508

[startup+40.8061 s]
/proc/loadavg: 2.08 2.03 1.96 3/179 14528
/proc/meminfo: memFree=29772044/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=57640 CPUtime=40.8
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 15071 0 0 0 2509 1571 0 0 25 0 1 0 14739830 59023360 13546 4089446400 134512640 136422188 4288956320 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 14410 13546 237 467 0 13941 0
Current children cumulated CPU time (s) 40.8
Current children cumulated vsize (KiB) 57640

[startup+41.6009 s]
/proc/loadavg: 2.08 2.03 1.96 3/179 14528
/proc/meminfo: memFree=29772044/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=57640 CPUtime=41.59
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 15113 0 0 0 2559 1600 0 0 25 0 1 0 14739830 59023360 13555 4089446400 134512640 136422188 4288956320 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 14410 13555 237 467 0 13941 0
Current children cumulated CPU time (s) 41.59
Current children cumulated vsize (KiB) 57640

[startup+42.0009 s]
/proc/loadavg: 2.08 2.03 1.96 3/179 14528
/proc/meminfo: memFree=29771920/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=57640 CPUtime=42
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 15144 0 0 0 2581 1619 0 0 25 0 1 0 14739830 59023360 13555 4089446400 134512640 136422188 4288956320 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 14410 13555 237 467 0 13941 0
Current children cumulated CPU time (s) 42
Current children cumulated vsize (KiB) 57640

[startup+42.1008 s]
/proc/loadavg: 2.08 2.03 1.96 3/179 14528
/proc/meminfo: memFree=29771920/32950928 swapFree=67111528/67111528
[pid=14526] ppid=14524 vsize=54268 CPUtime=42.09
/proc/14526/stat : 14526 (pbct) R 14524 14526 13631 0 -1 4202496 15155 0 0 0 2590 1619 0 0 25 0 1 0 14739830 55570432 12931 4089446400 134512640 136422188 4288956320 18446744073709551615 134701778 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14526/statm: 13567 12931 240 467 0 13098 0
Current children cumulated CPU time (s) 42.09
Current children cumulated vsize (KiB) 54268

Child status: 0
Real time (s): 42.1461
CPU time (s): 42.1476
CPU user time (s): 25.9481
CPU system time (s): 16.1995
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 57640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.9481
system time used= 16.1995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 28

runsolver used 0.05999 second user time and 0.143978 second system time

The end

Begin job on node116 at 2010-07-07 03:14:22
IDJOB=2699133
IDBENCH=79334
IDSOLVER=1212
FILE ID=node116/2699133-1278465262
PBS_JOBID= 11233761
Free space on /tmp= 73584 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699133-1278465262/watcher-2699133-1278465262 -o /tmp/evaluation-result-2699133-1278465262/solver-2699133-1278465262 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699133-1278465262.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d41d4dcc01415e574abb081114a32401
RANDOM SEED=789110674

node116.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29826256 kB
Buffers:        113708 kB
Cached:        2779860 kB
SwapCached:          0 kB
Active:         946036 kB
Inactive:      2034604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29826256 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2252 kB
Writeback:           0 kB
AnonPages:       86988 kB
Mapped:          15824 kB
Slab:            80368 kB
PageTables:       4600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   232340 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73580 MiB
End job on node116 at 2010-07-07 03:15:04