Trace number 2698787

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedOPTIMUM 51.7781 51.7779

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
MD5SUM68c125c2e3e966fc6e8a8bc50cef96ab
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.160974
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3939
Total number of constraints10412
Number of soft constraints6994
Number of constraints which are clauses9740
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints672
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 349089
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 349088
Biggest number in a constraint 69
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 258
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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.02/0.06	c constraints 235/437 clauses 3183/6557 units 0
0.02/0.06	c vars 3939
1.19/1.24	c 0.988849 92.6953 135 415194
1.19/1.24	o 8924
1.29/1.35	c 1.06384 93.8047 169 480537
1.29/1.35	o 7404
1.39/1.47	c 1.13983 93.8047 213 554184
1.39/1.47	o 6746
1.49/1.56	c 1.19782 93.8047 263 604324
1.49/1.56	o 6566
1.69/1.74	c 1.3138 93.9375 382 628365
1.69/1.74	o 5154
1.99/2.02	c 1.50677 93.9375 573 674014
1.99/2.02	o 5086
1.99/2.08	c 1.55176 93.9375 602 703571
1.99/2.08	o 4265
2.09/2.17	c 1.61175 93.9375 646 736439
2.09/2.17	o 4246
2.19/2.23	c 1.65975 93.9375 670 771941
2.19/2.23	o 3938
2.19/2.26	c 1.68174 93.9375 687 785574
2.19/2.26	o 3809
2.29/2.31	c 1.71374 93.9375 718 801674
2.29/2.31	o 3807
2.29/2.35	c 1.74273 93.9375 735 818265
2.29/2.35	o 3274
2.39/2.41	c 1.78873 93.9375 773 836023
2.39/2.41	o 3049
2.49/2.59	c 1.92471 94.0664 884 857021
2.49/2.59	o 2910
2.59/2.63	c 1.9487 94.0664 896 866459
2.59/2.63	o 2902
2.59/2.67	c 1.9777 94.0664 918 879995
2.59/2.67	o 2896
2.69/2.70	c 2.00969 94.0664 929 894022
2.69/2.70	o 2740
2.69/2.74	c 2.04169 94.0664 938 907883
2.69/2.74	o 2727
2.89/2.95	c 2.17767 94.0664 1055 922359
2.89/2.95	o 2674
2.89/2.99	c 2.21266 94.0664 1089 931243
2.89/2.99	o 2664
2.99/3.03	c 2.24466 94.0664 1107 945251
2.99/3.03	o 2076
3.09/3.12	c 2.31665 94.0664 1151 961072
3.09/3.12	o 2047
3.19/3.24	c 2.39663 94.0664 1218 963681
3.19/3.24	o 2045
3.19/3.29	c 2.43363 94.0664 1236 974973
3.19/3.29	o 2042
3.30/3.32	c 2.46062 94.0664 1248 986493
3.30/3.32	o 1955
3.30/3.37	c 2.49462 94.0664 1260 1004760
3.30/3.37	o 1792
3.39/3.42	c 2.52962 94.0664 1277 1012493
3.39/3.42	o 1787
3.39/3.49	c 2.57661 94.0664 1302 1025720
3.39/3.49	o 1782
4.19/4.24	c 3.08853 94.1953 1614 1032353
4.19/4.24	o 1779
4.19/4.28	c 3.11753 94.1953 1623 1043746
4.19/4.28	o 1738
4.29/4.32	c 3.14952 94.1953 1640 1056409
4.29/4.32	o 1650
4.29/4.35	c 3.17552 94.1953 1647 1066304
4.29/4.35	o 1597
4.29/4.40	c 3.20751 94.1953 1666 1071040
4.29/4.40	o 1590
4.49/4.53	c 3.2985 94.1953 1717 1072775
4.49/4.53	o 1589
4.49/4.57	c 3.32949 94.1953 1735 1082810
4.49/4.57	o 1587
4.59/4.60	c 3.34849 94.1953 1749 1088164
4.59/4.60	o 1585
4.59/4.63	c 3.37049 94.1953 1762 1093903
4.59/4.63	o 1582
4.59/4.66	c 3.39448 94.1953 1776 1097045
4.59/4.66	o 1579
4.59/4.69	c 3.41148 94.1953 1782 1104690
4.59/4.69	o 1527
4.69/4.72	c 3.43948 94.1953 1807 1108685
4.69/4.72	o 1518
4.69/4.75	c 3.46547 94.1953 1821 1113396
4.69/4.75	o 1514
4.69/4.78	c 3.49047 94.1953 1835 1129871
4.69/4.78	o 967
4.79/4.81	c 3.50847 94.1953 1838 1131191
4.79/4.81	o 966
4.79/4.83	c 3.52446 94.1953 1839 1138411
4.79/4.83	o 935
4.79/4.86	c 3.54546 94.1953 1840 1139469
4.79/4.86	o 931
4.79/4.88	c 3.56546 94.1953 1845 1142393
4.79/4.88	o 925
4.89/4.96	c 3.61745 94.1953 1865 1143986
4.89/4.96	o 923
4.99/5.07	c 3.69744 94.1953 1912 1145893
4.99/5.07	o 921
5.40/5.46	c 3.9424 94.3242 2044 1148582
5.40/5.46	o 920
5.50/5.52	c 3.98339 94.3242 2058 1150726
5.50/5.52	o 919
5.50/5.59	c 4.03839 94.3242 2078 1155015
5.50/5.59	o 917
5.59/5.63	c 4.06038 94.3242 2080 1157290
5.59/5.63	o 916
5.69/5.71	c 4.12737 94.3242 2109 1158284
5.69/5.71	o 914
5.79/5.82	c 4.19736 94.3242 2133 1159076
5.79/5.82	o 913
5.79/5.85	c 4.22136 94.3242 2143 1160392
5.79/5.85	o 911
5.89/5.98	c 4.31334 94.3242 2215 1161484
5.89/5.98	o 910
6.39/6.44	c 4.6113 94.3242 2431 1167810
6.39/6.44	o 907
6.50/6.54	c 4.68029 94.3242 2452 1168560
6.50/6.54	o 906
6.50/6.56	c 4.70029 94.3242 2456 1169523
6.50/6.56	o 904
6.59/6.61	c 4.73528 94.3242 2472 1170638
6.59/6.61	o 903
6.59/6.65	c 4.76727 94.3242 2478 1173002
6.59/6.65	o 902
6.59/6.68	c 4.79327 94.3242 2480 1174732
6.59/6.68	o 900
6.69/6.71	c 4.81627 94.3242 2483 1176339
6.69/6.71	o 899
6.69/6.73	c 4.83326 94.3242 2489 1178056
6.69/6.73	o 898
6.69/6.77	c 4.85726 94.3242 2494 1179143
6.69/6.77	o 894
6.69/6.80	c 4.87926 94.3242 2507 1180067
6.69/6.80	o 893
6.79/6.85	c 4.91825 94.3242 2523 1181985
6.79/6.85	o 892
6.79/6.88	c 4.94325 94.3242 2527 1184164
6.79/6.88	o 886
6.89/6.91	c 4.96624 94.3242 2529 1185018
6.89/6.91	o 885
6.89/6.94	c 4.98724 94.3242 2532 1186237
6.89/6.94	o 884
6.89/6.97	c 5.01324 94.3242 2534 1187377
6.89/6.97	o 883
6.99/7.06	c 5.07323 94.3242 2566 1188989
6.99/7.06	o 882
7.09/7.13	c 5.11522 94.3242 2589 1192058
7.09/7.13	o 881
7.19/7.20	c 5.16421 94.3242 2615 1193148
7.19/7.20	o 880
7.19/7.24	c 5.18821 94.3242 2621 1194230
7.19/7.24	o 876
7.19/7.29	c 5.2272 94.3242 2644 1196473
7.19/7.29	o 875
7.29/7.34	c 5.2672 94.3242 2654 1197766
7.29/7.34	o 873
7.39/7.40	c 5.30719 94.3242 2661 1198939
7.39/7.40	o 872
7.39/7.47	c 5.36019 94.3242 2686 1200269
7.39/7.47	o 870
7.60/7.66	c 5.48616 94.3242 2742 1202653
7.60/7.66	o 867
7.70/7.70	c 5.52316 94.4531 2751 1203496
7.70/7.70	o 866
7.70/7.75	c 5.56115 94.4531 2766 1206477
7.70/7.75	o 864
7.79/7.80	c 5.59515 94.4531 2776 1208100
7.79/7.80	o 862
8.09/8.15	c 5.80612 94.4531 2888 1210758
8.09/8.15	o 858
8.29/8.32	c 5.9111 94.4531 2965 1212302
8.29/8.32	o 856
8.29/8.35	c 5.9381 94.4531 2970 1213503
8.29/8.35	o 853
8.39/8.42	c 5.98909 94.4531 2984 1214637
8.39/8.42	o 851
8.39/8.46	c 6.01408 94.4531 2988 1215675
8.39/8.46	o 848
8.49/8.52	c 6.05608 94.4531 3002 1219349
8.49/8.52	o 847
8.49/8.58	c 6.10407 94.4531 3018 1221587
8.49/8.58	o 846
8.70/8.72	c 6.19806 94.4531 3055 1223608
8.70/8.72	o 845
9.09/9.18	c 6.49301 94.4531 3198 1225557
9.09/9.18	o 844
9.29/9.38	c 6.62699 94.4531 3252 1226647
9.29/9.38	o 842
9.39/9.42	c 6.65899 94.4531 3274 1227842
9.39/9.42	o 841
9.49/9.54	c 6.74697 94.4531 3315 1228698
9.49/9.54	o 840
9.49/9.59	c 6.78397 94.4531 3328 1230835
9.49/9.59	o 839
9.59/9.64	c 6.81796 94.4531 3340 1232541
9.59/9.64	o 838
9.59/9.67	c 6.84296 94.4531 3345 1233547
9.59/9.67	o 836
9.69/9.71	c 6.86996 94.4531 3349 1235139
9.69/9.71	o 835
9.69/9.73	c 6.88895 94.4531 3352 1236550
9.69/9.73	o 834
9.80/9.81	c 6.95194 94.4531 3370 1238325
9.80/9.81	o 833
9.80/9.84	c 6.97294 94.4531 3380 1239094
9.80/9.84	o 832
9.90/9.90	c 7.01493 94.4531 3394 1240538
9.90/9.90	o 829
9.90/9.95	c 7.05293 94.4531 3406 1242420
9.90/9.95	o 826
9.90/9.99	c 7.08192 94.4531 3419 1243441
9.90/9.99	o 825
10.09/10.15	c 7.18691 94.4531 3453 1244128
10.09/10.15	o 824
10.19/10.27	c 7.27189 94.4531 3487 1245153
10.19/10.27	o 823
10.39/10.41	c 7.35988 94.4531 3531 1246219
10.39/10.41	o 821
10.39/10.46	c 7.40087 94.582 3547 1247376
10.39/10.46	o 820
10.39/10.49	c 7.42187 94.582 3562 1248083
10.39/10.49	o 818
10.49/10.55	c 7.46387 94.582 3580 1249349
10.49/10.55	o 817
10.49/10.59	c 7.49786 94.582 3601 1250057
10.49/10.59	o 816
10.59/10.64	c 7.53685 94.582 3625 1251272
10.59/10.64	o 815
11.59/11.61	c 8.18475 94.582 3937 1252939
11.59/11.61	o 814
11.69/11.70	c 8.24375 94.582 3964 1254427
11.69/11.70	o 812
11.89/12.00	c 8.43872 94.582 4100 1256133
11.89/12.00	o 811
12.00/12.03	c 8.46471 94.582 4108 1257029
12.00/12.03	o 809
12.00/12.09	c 8.50371 94.582 4120 1257944
12.00/12.09	o 807
12.29/12.37	c 8.69468 94.582 4212 1259400
12.29/12.37	o 806
12.50/12.56	c 8.82566 94.582 4261 1260134
12.50/12.56	o 805
12.69/12.78	c 8.96864 94.7109 4335 1261463
12.69/12.78	o 803
12.79/12.81	c 8.99763 94.7109 4347 1263286
12.79/12.81	o 802
12.79/12.84	c 9.01863 94.7109 4353 1264274
12.79/12.84	o 800
12.79/12.86	c 9.03363 94.7109 4358 1264922
12.79/12.86	o 799
12.79/12.89	c 9.05462 94.7109 4362 1265845
12.79/12.89	o 798
12.89/12.99	c 9.12861 94.7109 4389 1267238
12.89/12.99	o 793
12.99/13.02	c 9.15061 94.7109 4396 1267849
12.99/13.02	o 792
12.99/13.05	c 9.1796 94.7109 4412 1268975
12.99/13.05	o 790
13.10/13.16	c 9.25259 94.7109 4452 1271511
13.10/13.16	o 788
13.10/13.19	c 9.27559 94.7109 4461 1272674
13.10/13.19	o 784
13.20/13.28	c 9.34458 94.7109 4495 1273895
13.20/13.28	o 783
13.29/13.33	c 9.37557 94.7109 4502 1275021
13.29/13.33	o 782
13.29/13.37	c 9.40557 94.7109 4513 1277026
13.29/13.37	o 776
13.40/13.42	c 9.44956 94.7109 4527 1278735
13.40/13.42	o 772
13.40/13.47	c 9.48856 94.7109 4563 1282725
13.40/13.47	o 771
13.99/14.03	c 9.8675 94.7109 4732 1285460
13.99/14.03	o 769
14.20/14.23	c 10.0035 94.7109 4779 1286385
14.20/14.23	o 768
14.49/14.53	c 10.1935 94.7109 4886 1287527
14.49/14.53	o 767
14.59/14.60	c 10.2364 94.7109 4906 1288574
14.59/14.60	o 766
14.59/14.63	c 10.2624 94.7109 4909 1289977
14.59/14.63	o 765
14.59/14.68	c 10.2954 94.7109 4936 1291194
14.59/14.68	o 761
14.69/14.71	c 10.3194 94.7109 4943 1292751
14.69/14.71	o 759
14.69/14.74	c 10.3404 94.7109 4948 1294208
14.69/14.74	o 756
14.69/14.77	c 10.3634 94.7109 4953 1296080
14.69/14.77	o 754
14.79/14.83	c 10.4084 94.7109 4968 1300070
14.79/14.83	o 751
14.79/14.86	c 10.4314 94.7109 4972 1301878
14.79/14.86	o 748
14.99/15.04	c 10.5544 94.7109 5026 1302813
14.99/15.04	o 747
15.09/15.17	c 10.6404 94.7109 5072 1303733
15.09/15.17	o 746
15.20/15.25	c 10.7024 94.8398 5121 1304894
15.20/15.25	o 745
15.20/15.30	c 10.7404 94.8398 5131 1305466
15.20/15.30	o 744
15.30/15.34	c 10.7724 94.8398 5140 1306261
15.30/15.34	o 743
15.40/15.44	c 10.8404 94.8398 5171 1307886
15.40/15.44	o 742
15.49/15.50	c 10.8773 94.8398 5202 1308882
15.49/15.50	o 740
15.79/15.81	c 11.0913 94.8398 5335 1310407
15.79/15.81	o 739
16.09/16.14	c 11.3283 94.8398 5443 1312194
16.09/16.14	o 736
16.09/16.17	c 11.3533 94.8398 5446 1313079
16.09/16.17	o 733
16.19/16.23	c 11.3993 94.8398 5470 1314104
16.19/16.23	o 732
16.39/16.44	c 11.5652 94.8398 5555 1314823
16.39/16.44	o 731
16.69/16.72	c 11.7502 94.8398 5633 1315771
16.69/16.72	o 730
16.69/16.79	c 11.8062 94.8398 5647 1317215
16.69/16.79	o 729
16.89/16.91	c 11.8922 94.8398 5680 1318325
16.89/16.91	o 728
17.09/17.17	c 12.0682 94.8398 5746 1319154
17.09/17.17	o 727
17.19/17.20	c 12.0892 94.8398 5752 1320125
17.19/17.20	o 725
17.19/17.27	c 12.1382 94.8398 5794 1321201
17.19/17.27	o 723
17.29/17.37	c 12.2071 94.8398 5828 1322785
17.29/17.37	o 721
17.39/17.40	c 12.2331 94.8398 5834 1323890
17.39/17.40	o 720
17.39/17.43	c 12.2591 94.8398 5840 1324810
17.39/17.43	o 718
17.50/17.55	c 12.3381 94.8398 5868 1326227
17.50/17.55	o 716
17.50/17.59	c 12.3691 94.8398 5879 1326850
17.50/17.59	o 715
17.59/17.62	c 12.3941 94.8398 5893 1327310
17.59/17.62	o 714
17.69/17.75	c 12.4781 94.8398 5930 1328227
17.69/17.75	o 713
18.19/18.22	c 12.7741 94.9688 6036 1329474
18.19/18.22	o 712
18.19/18.27	c 12.8101 94.9688 6048 1331803
18.19/18.27	o 710
18.39/18.46	c 12.934 94.9688 6105 1332783
18.39/18.46	o 709
18.50/18.51	c 12.973 94.9688 6118 1333385
18.50/18.51	o 708
18.60/18.65	c 13.079 94.9688 6160 1334573
18.60/18.65	o 707
18.70/18.71	c 13.116 94.9688 6181 1335479
18.70/18.71	o 704
18.70/18.74	c 13.144 94.9688 6184 1337323
18.70/18.74	o 702
18.79/18.88	c 13.241 94.9688 6238 1338934
18.79/18.88	o 701
18.89/18.90	c 13.265 94.9688 6240 1339469
18.89/18.90	o 700
18.89/18.93	c 13.287 94.9688 6245 1340080
18.89/18.93	o 699
18.89/18.97	c 13.316 94.9688 6250 1340531
18.89/18.97	o 698
18.99/19.02	c 13.358 94.9688 6259 1341846
18.99/19.02	o 695
18.99/19.06	c 13.389 94.9688 6273 1343435
18.99/19.06	o 690
19.09/19.11	c 13.433 94.9688 6309 1344578
19.09/19.11	o 687
19.09/19.16	c 13.472 94.9688 6337 1345692
19.09/19.16	o 686
19.19/19.20	c 13.4999 94.9688 6347 1346781
19.19/19.20	o 683
19.19/19.22	c 13.5219 94.9688 6351 1347355
19.19/19.22	o 682
19.19/19.29	c 13.5709 94.9688 6370 1348492
19.19/19.29	o 681
19.29/19.32	c 13.5979 94.9688 6377 1349989
19.29/19.32	o 678
19.39/19.45	c 13.6799 94.9688 6409 1351007
19.39/19.45	o 676
19.80/19.81	c 13.9059 95.375 6541 1352730
19.80/19.81	o 675
19.80/19.84	c 13.9269 95.375 6544 1353487
19.80/19.84	o 673
19.80/19.87	c 13.9489 95.375 6553 1354514
19.80/19.87	o 672
19.89/19.91	c 13.9789 95.375 6558 1355323
19.89/19.91	o 669
20.00/20.01	c 14.0549 95.375 6585 1356564
20.00/20.01	o 668
20.29/20.33	c 14.2578 95.375 6710 1357662
20.29/20.33	o 667
20.39/20.40	c 14.3088 95.375 6738 1358581
20.39/20.40	o 666
20.80/20.81	c 14.5828 95.375 6861 1359909
20.80/20.81	o 663
20.80/20.84	c 14.6028 95.375 6865 1360528
20.80/20.84	o 662
20.80/20.88	c 14.6348 95.375 6876 1361612
20.80/20.88	o 659
20.90/20.90	c 14.6538 95.375 6885 1362244
20.90/20.90	o 658
20.90/20.94	c 14.6778 95.375 6897 1363081
20.90/20.94	o 657
20.99/21.09	c 14.7808 95.375 6930 1363852
20.99/21.09	o 656
21.09/21.19	c 14.8457 95.375 6957 1364333
21.09/21.19	o 655
21.49/21.52	c 15.0667 95.375 7082 1365868
21.49/21.52	o 654
21.49/21.56	c 15.0947 95.375 7099 1366518
21.49/21.56	o 653
21.49/21.59	c 15.1217 95.375 7108 1366952
21.49/21.59	o 652
21.59/21.66	c 15.1657 95.375 7124 1368305
21.59/21.66	o 651
21.79/21.85	c 15.3027 95.375 7194 1369011
21.79/21.85	o 650
21.79/21.88	c 15.3297 95.375 7210 1369593
21.79/21.88	o 649
21.99/22.02	c 15.4257 95.375 7243 1370319
21.99/22.02	o 648
21.99/22.08	c 15.4706 95.375 7265 1371395
21.99/22.08	o 647
22.39/22.42	c 15.7056 95.375 7377 1373067
22.39/22.42	o 646
22.39/22.49	c 15.7496 95.375 7388 1374385
22.39/22.49	o 645
22.49/22.52	c 15.7756 95.375 7402 1375110
22.49/22.52	o 644
22.49/22.57	c 15.8076 95.375 7417 1375902
22.49/22.57	o 643
22.59/22.69	c 15.9056 95.375 7481 1376551
22.59/22.69	o 642
22.69/22.72	c 15.9296 95.375 7486 1376971
22.69/22.72	o 641
22.69/22.75	c 15.9456 95.375 7492 1377558
22.69/22.75	o 639
22.69/22.79	c 15.9746 95.375 7500 1378635
22.69/22.79	o 638
22.89/22.98	c 16.1036 95.375 7550 1379405
22.89/22.98	o 637
22.99/23.01	c 16.1235 95.375 7553 1380448
22.99/23.01	o 635
23.10/23.16	c 16.2245 95.375 7594 1381547
23.10/23.16	o 634
23.19/23.22	c 16.2645 95.375 7606 1382122
23.19/23.22	o 633
23.19/23.25	c 16.2925 95.375 7612 1382926
23.19/23.25	o 632
23.19/23.28	c 16.3155 95.375 7616 1383686
23.19/23.28	o 631
23.29/23.32	c 16.3435 95.375 7618 1384708
23.29/23.32	o 630
23.29/23.35	c 16.3685 95.375 7626 1385768
23.29/23.35	o 629
23.29/23.38	c 16.3955 95.375 7642 1386301
23.29/23.38	o 627
23.39/23.44	c 16.4355 95.375 7665 1387976
23.39/23.44	o 626
23.49/23.55	c 16.5115 95.375 7728 1388764
23.49/23.55	o 625
23.59/23.64	c 16.5765 95.375 7744 1389574
23.59/23.64	o 623
23.69/23.73	c 16.6435 95.375 7769 1390119
23.69/23.73	o 622
23.69/23.76	c 16.6655 95.375 7772 1390516
23.69/23.76	o 621
23.80/23.81	c 16.6995 95.375 7782 1391091
23.80/23.81	o 620
24.10/24.14	c 16.9384 95.5039 7891 1393561
24.10/24.14	o 619
24.10/24.19	c 16.9754 95.5039 7900 1394155
24.10/24.19	o 618
24.49/24.58	c 17.2324 95.5039 8064 1395573
24.49/24.58	o 617
24.59/24.62	c 17.2604 95.5039 8075 1396420
24.59/24.62	o 616
24.59/24.68	c 17.3074 95.5039 8091 1396941
24.59/24.68	o 615
24.69/24.72	c 17.3364 95.5039 8099 1397989
24.69/24.72	o 614
24.69/24.74	c 17.3604 95.5039 8102 1398777
24.69/24.74	o 612
24.69/24.77	c 17.3834 95.5039 8104 1400028
24.69/24.77	o 607
24.90/24.96	c 17.5223 95.5039 8222 1401641
24.90/24.96	o 605
24.99/25.03	c 17.5633 95.5039 8244 1402362
24.99/25.03	o 604
25.10/25.17	c 17.6623 95.5039 8275 1403202
25.10/25.17	o 603
25.20/25.25	c 17.7143 95.5039 8302 1404008
25.20/25.25	o 602
25.39/25.46	c 17.8573 95.5039 8363 1404751
25.39/25.46	o 601
25.49/25.58	c 17.9353 95.5039 8393 1405350
25.49/25.58	o 600
25.59/25.62	c 17.9683 95.5039 8432 1405971
25.59/25.62	o 599
25.59/25.66	c 18.0033 95.5039 8469 1406641
25.59/25.66	o 598
25.69/25.75	c 18.0683 95.5039 8501 1408279
25.69/25.75	o 597
25.89/25.96	c 18.2092 95.6328 8607 1409369
25.89/25.96	o 594
25.99/26.03	c 18.2652 95.6328 8666 1409901
25.99/26.03	o 593
25.99/26.08	c 18.3002 95.6328 8672 1410508
25.99/26.08	o 591
26.20/26.25	c 18.4222 95.6328 8716 1411807
26.20/26.25	o 590
26.30/26.35	c 18.4932 95.6328 8738 1412323
26.30/26.35	o 589
26.30/26.38	c 18.5192 95.6328 8741 1413030
26.30/26.38	o 587
26.39/26.44	c 18.5722 95.6328 8802 1413959
26.39/26.44	o 586
26.49/26.50	c 18.6192 95.6328 8815 1414695
26.49/26.50	o 585
26.49/26.54	c 18.6532 95.6328 8820 1415672
26.49/26.54	o 584
26.49/26.59	c 18.6852 95.6328 8831 1416625
26.49/26.59	o 581
26.60/26.62	c 18.7052 95.6328 8832 1417431
26.60/26.62	o 580
26.60/26.65	c 18.7312 95.6328 8839 1418545
26.60/26.65	o 579
26.70/26.73	c 18.7811 95.6328 8866 1419449
26.70/26.74	o 578
26.70/26.76	c 18.8041 95.6328 8876 1420110
26.70/26.76	o 577
26.70/26.79	c 18.8311 95.6328 8885 1420930
26.70/26.79	o 576
26.79/26.83	c 18.8611 95.6328 8900 1421738
26.79/26.83	o 575
27.09/27.19	c 19.1041 95.6328 9006 1422745
27.09/27.19	o 574
27.19/27.22	c 19.1261 95.6328 9012 1423344
27.19/27.22	o 572
27.19/27.24	c 19.1481 95.6328 9012 1423745
27.19/27.24	o 570
27.19/27.27	c 19.1681 95.6328 9014 1424132
27.19/27.27	o 569
27.19/27.29	c 19.1861 95.6328 9015 1424456
27.19/27.29	o 568
27.29/27.32	c 19.2101 95.6328 9018 1424889
27.29/27.32	o 567
27.29/27.36	c 19.2451 95.6328 9024 1425522
27.29/27.36	o 566
27.29/27.39	c 19.2671 95.6328 9026 1426079
27.29/27.39	o 565
27.39/27.47	c 19.3251 95.6328 9046 1426861
27.39/27.47	o 564
27.39/27.50	c 19.3461 95.6328 9047 1427329
27.39/27.50	o 563
27.49/27.53	c 19.3701 95.6328 9049 1427773
27.49/27.53	o 562
27.49/27.57	c 19.407 95.6328 9055 1428383
27.49/27.57	o 561
27.59/27.61	c 19.436 95.6328 9061 1429167
27.59/27.61	o 560
27.59/27.63	c 19.456 95.6328 9067 1430332
27.59/27.63	o 558
27.59/27.67	c 19.478 95.6328 9075 1431250
27.59/27.67	o 556
27.59/27.69	c 19.5 95.6328 9076 1432151
27.59/27.69	o 555
27.69/27.73	c 19.529 95.6328 9081 1432745
27.69/27.73	o 554
27.69/27.76	c 19.555 95.6328 9085 1433762
27.69/27.76	o 552
27.80/27.81	c 19.596 95.6328 9093 1434310
27.80/27.81	o 551
27.80/27.84	c 19.617 95.6328 9095 1434838
27.80/27.84	o 550
27.80/27.88	c 19.644 95.6328 9100 1435338
27.80/27.88	o 549
27.90/27.91	c 19.673 95.6328 9108 1435929
27.90/27.91	o 548
27.90/27.96	c 19.709 95.6328 9119 1436856
27.90/27.96	o 547
27.99/28.00	c 19.739 95.6328 9125 1437641
27.99/28.00	o 545
27.99/28.02	c 19.765 95.6328 9127 1438342
27.99/28.02	o 544
27.99/28.05	c 19.786 95.6328 9128 1439533
27.99/28.05	o 543
27.99/28.08	c 19.813 95.6328 9131 1440543
27.99/28.08	o 542
28.09/28.11	c 19.835 95.6328 9132 1441320
28.09/28.11	o 541
28.09/28.13	c 19.858 95.6328 9134 1442295
28.09/28.13	o 540
28.09/28.16	c 19.88 95.6328 9134 1443119
28.09/28.16	o 539
28.09/28.20	c 19.909 95.6328 9138 1444574
28.09/28.20	o 536
28.19/28.25	c 19.948 95.6328 9150 1445292
28.19/28.25	o 535
28.49/28.59	c 20.1819 95.7617 9261 1446372
28.49/28.59	o 533
28.60/28.64	c 20.2209 95.7617 9274 1446960
28.60/28.64	o 531
28.60/28.68	c 20.2589 95.7617 9281 1447668
28.60/28.68	o 530
28.69/28.71	c 20.2809 95.7617 9283 1448549
28.69/28.71	o 528
28.69/28.74	c 20.3099 95.7617 9286 1449396
28.69/28.74	o 527
28.69/28.77	c 20.3299 95.7617 9287 1449940
28.69/28.77	o 526
28.69/28.79	c 20.3509 95.7617 9287 1450977
28.69/28.79	o 525
28.79/28.82	c 20.3719 95.7617 9287 1451889
28.79/28.82	o 523
28.79/28.84	c 20.3939 95.7617 9287 1452599
28.79/28.84	o 522
28.79/28.87	c 20.4159 95.7617 9287 1453308
28.79/28.87	o 521
28.79/28.89	c 20.4389 95.7617 9288 1454241
28.79/28.89	o 520
28.89/28.92	c 20.4609 95.7617 9288 1455030
28.89/28.92	o 518
28.89/28.94	c 20.4799 95.7617 9289 1456057
28.89/28.94	o 516
28.89/28.97	c 20.5039 95.7617 9291 1456824
28.89/28.97	o 514
28.99/29.00	c 20.5229 95.7617 9292 1457748
28.99/29.00	o 513
28.99/29.03	c 20.5499 95.7617 9294 1459386
28.99/29.03	o 511
28.99/29.07	c 20.5779 95.7617 9302 1460518
28.99/29.07	o 509
29.09/29.14	c 20.6369 95.7617 9329 1461135
29.09/29.14	o 508
29.19/29.21	c 20.6859 95.7617 9345 1461831
29.19/29.21	o 507
29.19/29.25	c 20.7169 95.7617 9361 1462564
29.19/29.25	o 505
29.19/29.28	c 20.7388 95.7617 9363 1463188
29.19/29.28	o 504
29.29/29.30	c 20.7638 95.7617 9366 1464179
29.29/29.30	o 502
29.29/29.35	c 20.7968 95.7617 9374 1465437
29.29/29.35	o 500
29.29/29.38	c 20.8218 95.7617 9375 1466060
29.29/29.38	o 499
29.39/29.42	c 20.8548 95.7617 9389 1467116
29.39/29.42	o 498
29.79/29.85	c 21.1388 95.7617 9594 1468876
29.79/29.85	o 497
29.79/29.89	c 21.1658 95.7617 9605 1469325
29.79/29.89	o 496
29.89/29.94	c 21.2038 95.7617 9671 1469898
29.89/29.94	o 495
29.89/29.98	c 21.2388 95.7617 4864 1470423
29.89/29.98	o 494
29.99/30.01	c 21.2728 95.7617 4889 1470956
29.99/30.01	o 492
30.10/30.11	c 21.3368 95.7617 4914 1471465
30.10/30.11	o 491
30.49/30.55	c 21.6007 95.7617 5046 1472812
30.49/30.55	o 490
30.59/30.65	c 21.6767 95.7617 5085 1473333
30.59/30.65	o 489
30.59/30.68	c 21.6987 95.7617 5101 1473935
30.59/30.68	o 488
30.70/30.71	c 21.7197 95.7617 5117 1474652
30.70/30.71	o 487
30.70/30.74	c 21.7487 95.7617 5125 1475378
30.70/30.74	o 486
30.70/30.77	c 21.7747 95.7617 5133 1476073
30.70/30.77	o 485
30.80/30.80	c 21.8017 95.7617 5147 1476427
30.80/30.80	o 484
30.80/30.83	c 21.8237 95.7617 5157 1476974
30.80/30.83	o 483
30.80/30.88	c 21.8647 95.7617 5206 1477500
30.80/30.88	o 482
30.89/30.93	c 21.9017 95.7617 5239 1478196
30.89/30.93	o 480
30.89/30.95	c 21.9247 95.7617 5246 1478766
30.89/30.95	o 478
30.89/30.99	c 21.9567 95.7617 5265 1479347
30.89/30.99	o 477
30.99/31.02	c 21.9827 95.7617 5277 1479886
30.99/31.02	o 476
30.99/31.05	c 22.0107 95.7617 5291 1480622
30.99/31.05	o 475
31.19/31.28	c 22.1706 95.7617 5379 1481471
31.19/31.28	o 474
31.29/31.33	c 22.2086 95.7617 5389 1482095
31.29/31.33	o 473
31.29/31.36	c 22.2356 95.9961 5390 1482523
31.29/31.36	o 472
31.39/31.40	c 22.2646 95.9961 5405 1483068
31.39/31.40	o 471
31.69/31.77	c 22.5026 95.9961 5512 1483851
31.69/31.77	o 470
31.69/31.79	c 22.5236 95.9961 5517 1484350
31.69/31.79	o 469
31.80/31.83	c 22.5526 95.9961 5529 1484845
31.80/31.83	o 468
31.90/31.91	c 22.6026 95.9961 5547 1485445
31.90/31.91	o 467
31.90/31.94	c 22.6246 95.9961 5549 1486026
31.90/31.94	o 466
31.90/31.96	c 22.6486 95.9961 5549 1486594
31.90/31.96	o 465
31.90/31.99	c 22.6706 95.9961 5550 1487266
31.90/31.99	o 464
31.99/32.01	c 22.6935 95.9961 5550 1487918
31.99/32.01	o 462
31.99/32.04	c 22.7185 95.9961 5552 1488572
31.99/32.04	o 461
31.99/32.09	c 22.7525 95.9961 5563 1489126
31.99/32.09	o 460
32.09/32.11	c 22.7735 95.9961 5565 1489623
32.09/32.11	o 459
32.09/32.14	c 22.7945 95.9961 5567 1490205
32.09/32.14	o 458
32.09/32.19	c 22.8335 95.9961 5584 1490843
32.09/32.19	o 457
32.19/32.22	c 22.8635 95.9961 5595 1491427
32.19/32.22	o 455
32.19/32.25	c 22.8875 95.9961 5598 1492191
32.19/32.25	o 454
32.19/32.27	c 22.9065 95.9961 5599 1492891
32.19/32.27	o 453
32.29/32.30	c 22.9285 95.9961 5599 1493628
32.29/32.30	o 452
32.29/32.32	c 22.9525 95.9961 5602 1494331
32.29/32.32	o 451
32.29/32.35	c 22.9805 95.9961 5605 1495458
32.29/32.35	o 450
32.29/32.38	c 22.9995 95.9961 5605 1496185
32.29/32.38	o 448
32.39/32.40	c 23.0215 95.9961 5607 1496969
32.39/32.40	o 447
32.39/32.43	c 23.0425 95.9961 5607 1497818
32.39/32.43	o 444
32.39/32.46	c 23.0645 95.9961 5609 1498786
32.39/32.46	o 443
32.39/32.48	c 23.0845 95.9961 5611 1499360
32.39/32.48	o 441
32.49/32.51	c 23.1055 95.9961 5614 1500027
32.49/32.51	o 440
32.49/32.54	c 23.1245 95.9961 5614 1500612
32.49/32.54	o 439
32.49/32.57	c 23.1475 95.9961 5617 1501450
32.49/32.57	o 438
32.59/32.60	c 23.1725 95.9961 5620 1501970
32.59/32.60	o 436
32.59/32.65	c 23.2155 95.9961 5634 1502759
32.59/32.65	o 435
32.90/33.00	c 23.4324 95.9961 5743 1503480
32.90/33.00	o 434
33.00/33.04	c 23.4644 95.9961 5750 1504013
33.00/33.04	o 433
33.00/33.08	c 23.4984 95.9961 5758 1504715
33.00/33.08	o 432
33.20/33.20	c 23.5824 95.9961 5787 1505478
33.20/33.20	o 431
33.20/33.22	c 23.6024 95.9961 5797 1505837
33.20/33.22	o 430
33.20/33.25	c 23.6264 95.9961 5799 1506353
33.20/33.25	o 429
33.20/33.28	c 23.6484 95.9961 5801 1506789
33.20/33.28	o 428
33.29/33.31	c 23.6694 95.9961 5801 1507137
33.29/33.31	o 427
33.29/33.33	c 23.6874 95.9961 5801 1507516
33.29/33.33	o 426
33.29/33.36	c 23.7104 95.9961 5807 1507986
33.29/33.36	o 425
33.29/33.38	c 23.7294 95.9961 5808 1508382
33.29/33.38	o 424
33.39/33.41	c 23.7564 95.9961 5815 1508870
33.39/33.41	o 423
33.39/33.48	c 23.8064 95.9961 5832 1509371
33.39/33.48	o 421
33.49/33.53	c 23.8464 95.9961 5849 1509864
33.49/33.53	o 420
33.49/33.56	c 23.8704 95.9961 5851 1510419
33.49/33.56	o 418
33.59/33.62	c 23.9094 95.9961 5859 1511156
33.59/33.62	o 416
33.59/33.64	c 23.9324 95.9961 5864 1511841
33.59/33.64	o 415
33.59/33.67	c 23.9524 95.9961 5866 1512512
33.59/33.67	o 414
33.59/33.69	c 23.9724 95.9961 5870 1513329
33.59/33.69	o 411
33.69/33.72	c 23.9944 95.9961 5871 1514043
33.69/33.72	o 410
33.69/33.76	c 24.0263 95.9961 5876 1514864
33.69/33.76	o 409
33.69/33.79	c 24.0483 95.9961 5881 1515488
33.69/33.79	o 408
33.90/33.95	c 24.1453 95.9961 5937 1516139
33.90/33.95	o 407
33.90/33.98	c 24.1653 95.9961 5939 1516675
33.90/33.98	o 406
34.00/34.01	c 24.1893 95.9961 5942 1517526
34.00/34.01	o 405
34.00/34.03	c 24.2103 95.9961 5942 1518389
34.00/34.03	o 403
34.00/34.06	c 24.2333 95.9961 5943 1519095
34.00/34.06	o 402
34.00/34.08	c 24.2533 95.9961 5943 1519707
34.00/34.08	o 401
34.10/34.11	c 24.2723 95.9961 5943 1520202
34.10/34.11	o 400
34.10/34.13	c 24.2933 95.9961 5943 1520661
34.10/34.13	o 399
34.10/34.16	c 24.3123 95.9961 5943 1521145
34.10/34.16	o 398
34.10/34.18	c 24.3333 95.9961 5943 1521704
34.10/34.18	o 396
34.19/34.22	c 24.3623 95.9961 5947 1522368
34.19/34.22	o 395
34.19/34.25	c 24.3873 95.9961 5949 1523154
34.19/34.25	o 394
34.19/34.27	c 24.4103 95.9961 5950 1523922
34.19/34.27	o 393
34.19/34.30	c 24.4283 95.9961 5950 1524850
34.29/34.30	o 392
34.29/34.32	c 24.4493 95.9961 5950 1525504
34.29/34.32	o 391
34.29/34.35	c 24.4703 95.9961 5950 1526439
34.29/34.35	o 390
34.29/34.37	c 24.4943 95.9961 5952 1527430
34.29/34.37	o 389
34.40/34.44	c 24.5453 95.9961 5968 1527870
34.40/34.44	o 388
34.40/34.47	c 24.5723 95.9961 5979 1528306
34.40/34.47	o 387
34.49/34.53	c 24.6163 95.9961 6016 1529271
34.49/34.53	o 386
34.59/34.65	c 24.7072 95.9961 6040 1529995
34.59/34.65	o 384
34.89/34.91	c 24.8692 95.9961 6121 1530819
34.89/34.91	o 383
34.99/35.05	c 24.9652 95.9961 6157 1531570
34.99/35.05	o 382
34.99/35.08	c 24.9872 95.9961 6159 1531983
34.99/35.08	o 381
35.10/35.11	c 25.0132 95.9961 6163 1532370
35.10/35.11	o 380
35.10/35.14	c 25.0392 95.9961 6168 1532812
35.10/35.14	o 379
35.10/35.19	c 25.0782 95.9961 6185 1533612
35.10/35.19	o 378
35.20/35.23	c 25.1092 95.9961 6194 1534214
35.20/35.23	o 377
35.49/35.50	c 25.2832 95.9961 6283 1535079
35.49/35.50	o 376
35.49/35.54	c 25.3122 95.9961 6290 1535728
35.49/35.54	o 375
35.49/35.59	c 25.3511 95.9961 6305 1536325
35.49/35.59	o 374
35.59/35.63	c 25.3801 95.9961 6312 1536686
35.59/35.63	o 373
35.59/35.67	c 25.4131 95.9961 6317 1537084
35.59/35.67	o 372
35.69/35.71	c 25.4451 95.9961 6326 1537598
35.69/35.71	o 371
35.69/35.78	c 25.4951 95.9961 6347 1538124
35.69/35.78	o 369
35.79/35.84	c 25.5411 95.9961 6380 1538637
35.79/35.84	o 368
35.79/35.88	c 25.5811 95.9961 6408 1539027
35.79/35.88	o 367
35.89/35.91	c 25.5991 95.9961 6408 1539370
35.89/35.91	o 366
35.89/35.93	c 25.6231 95.9961 6408 1539683
35.89/35.93	o 365
35.89/35.96	c 25.6431 95.9961 6408 1540101
35.89/35.96	o 364
35.89/35.98	c 25.6631 95.9961 6420 1540424
35.89/35.98	o 363
35.99/36.03	c 25.6981 95.9961 6429 1540945
35.99/36.03	o 362
35.99/36.06	c 25.7281 95.9961 6431 1541376
35.99/36.06	o 361
35.99/36.09	c 25.7511 95.9961 6434 1541827
35.99/36.09	o 360
36.09/36.19	c 25.8171 95.9961 6467 1542370
36.09/36.19	o 359
36.20/36.23	c 25.8571 95.9961 6514 1542828
36.20/36.23	o 358
37.69/37.71	c 26.7829 95.9961 7090 1545094
37.69/37.71	o 357
37.69/37.75	c 26.8089 95.9961 7098 1545551
37.69/37.75	o 356
37.69/37.78	c 26.8329 95.9961 7105 1546059
37.69/37.78	o 355
37.80/37.83	c 26.8629 95.9961 7140 1546455
37.80/37.83	o 354
37.80/37.85	c 26.8829 95.9961 7143 1546930
37.80/37.85	o 353
37.80/37.88	c 26.9109 95.9961 7149 1547519
37.80/37.88	o 352
37.89/37.92	c 26.9329 95.9961 7159 1547875
37.89/37.92	o 351
37.89/37.97	c 26.9719 95.9961 7168 1548504
37.89/37.97	o 350
37.99/38.00	c 26.9979 95.9961 7171 1548969
37.99/38.00	o 349
37.99/38.03	c 27.0239 95.9961 7176 1549677
37.99/38.03	o 347
37.99/38.07	c 27.0469 95.9961 7184 1550166
37.99/38.07	o 346
38.09/38.10	c 27.0699 95.9961 7187 1550655
38.09/38.10	o 345
38.09/38.13	c 27.1009 95.9961 7190 1551203
38.09/38.13	o 344
38.09/38.17	c 27.1279 95.9961 7198 1552021
38.09/38.17	o 343
38.19/38.20	c 27.1529 95.9961 7208 1552479
38.19/38.20	o 342
38.19/38.23	c 27.1809 95.9961 7210 1553381
38.19/38.23	o 341
38.19/38.28	c 27.2249 95.9961 7222 1553989
38.19/38.29	o 340
38.29/38.37	c 27.2859 95.9961 7250 1554374
38.29/38.37	o 339
38.40/38.40	c 27.3128 95.9961 7265 1555062
38.40/38.40	o 338
38.40/38.47	c 27.3638 95.9961 7280 1556338
38.40/38.47	o 337
38.40/38.50	c 27.3898 95.9961 7283 1556836
38.40/38.50	o 336
38.59/38.69	c 27.5158 95.9961 7333 1557438
38.59/38.69	o 335
38.89/38.99	c 27.7198 95.9961 7416 1558156
38.89/38.99	o 334
38.99/39.08	c 27.7878 95.9961 7442 1558657
38.99/39.08	o 333
39.09/39.12	c 27.8148 95.9961 7448 1559247
39.09/39.12	o 332
39.09/39.16	c 27.8448 95.9961 7460 1559984
39.09/39.16	o 331
39.19/39.24	c 27.9078 95.9961 7562 1560700
39.19/39.24	o 330
39.19/39.29	c 27.9498 95.9961 7618 1561233
39.19/39.29	o 329
39.29/39.35	c 27.9837 95.9961 7627 1561907
39.29/39.35	o 328
39.29/39.39	c 28.0207 95.9961 7634 1562458
39.29/39.39	o 327
39.39/39.43	c 28.0507 95.9961 7677 1563529
39.39/39.43	o 325
39.39/39.45	c 28.0697 95.9961 7681 1564111
39.39/39.45	o 324
39.39/39.48	c 28.0937 95.9961 7683 1564551
39.39/39.48	o 323
39.49/39.51	c 28.1167 95.9961 7687 1565125
39.49/39.51	o 322
39.49/39.54	c 28.1387 95.9961 7692 1565713
39.49/39.54	o 321
39.49/39.58	c 28.1727 95.9961 7701 1566450
39.49/39.58	o 320
39.60/39.62	c 28.1997 95.9961 7707 1567110
39.60/39.62	o 319
39.60/39.64	c 28.2207 95.9961 7709 1567651
39.60/39.64	o 317
39.60/39.67	c 28.2447 95.9961 7713 1568082
39.60/39.67	o 316
39.69/39.70	c 28.2687 95.9961 7715 1568478
39.69/39.70	o 315
39.69/39.72	c 28.2897 95.9961 7717 1568813
39.69/39.72	o 314
39.69/39.75	c 28.3097 95.9961 7720 1569154
39.69/39.75	o 313
39.69/39.78	c 28.3327 95.9961 7724 1569552
39.69/39.78	o 312
39.80/39.82	c 28.3557 95.9961 7727 1570064
39.80/39.82	o 311
39.80/39.87	c 28.3987 95.9961 7739 1570914
39.80/39.87	o 310
39.89/39.91	c 28.4267 95.9961 7745 1571459
39.89/39.91	o 309
39.89/39.94	c 28.4497 95.9961 7746 1571827
39.89/39.94	o 308
39.89/39.97	c 28.4777 95.9961 7748 1572245
39.89/39.97	o 307
39.99/40.01	c 28.5047 95.9961 7757 1572876
39.99/40.01	o 306
39.99/40.08	c 28.5517 95.9961 7769 1573719
39.99/40.08	o 305
40.09/40.10	c 28.5737 95.9961 7770 1574157
40.09/40.10	o 304
40.09/40.13	c 28.5927 95.9961 7770 1574639
40.09/40.13	o 303
40.09/40.15	c 28.6106 95.9961 7770 1574998
40.09/40.15	o 302
40.09/40.19	c 28.6426 95.9961 7771 1575437
40.09/40.19	o 301
40.19/40.21	c 28.6656 95.9961 7777 1575898
40.19/40.21	o 300
40.19/40.25	c 28.7016 95.9961 7799 1576244
40.19/40.25	o 299
40.29/40.35	c 28.7786 95.9961 7897 1577099
40.29/40.35	o 298
40.39/40.45	c 28.8406 95.9961 7931 1579017
40.39/40.45	o 297
40.60/40.68	c 29.0396 95.9961 8125 1580126
40.60/40.68	o 296
40.69/40.71	c 29.0626 95.9961 8133 1580569
40.69/40.71	o 295
40.69/40.73	c 29.0826 95.9961 8137 1581125
40.69/40.73	o 294
40.69/40.77	c 29.1136 95.9961 8146 1581800
40.69/40.77	o 293
40.80/40.84	c 29.1636 95.9961 8160 1582325
40.80/40.84	o 292
40.80/40.88	c 29.1886 95.9961 8167 1583009
40.80/40.88	o 291
40.90/40.92	c 29.2176 95.9961 8173 1583667
40.90/40.92	o 290
40.90/40.97	c 29.2606 95.9961 8194 1584124
40.90/40.97	o 289
40.99/41.01	c 29.2905 95.9961 8211 1585036
40.99/41.01	o 287
40.99/41.08	c 29.3405 95.9961 8231 1585782
40.99/41.08	o 286
41.29/41.35	c 29.5055 95.9961 8306 1586321
41.29/41.35	o 285
41.29/41.39	c 29.5335 95.9961 8308 1586685
41.29/41.39	o 284
41.39/41.42	c 29.5575 95.9961 8309 1587049
41.39/41.42	o 283
41.39/41.44	c 29.5805 95.9961 8313 1587822
41.39/41.44	o 280
41.39/41.47	c 29.6015 95.9961 8314 1588202
41.39/41.47	o 279
41.49/41.50	c 29.6275 95.9961 8324 1588602
41.49/41.50	o 278
41.49/41.53	c 29.6575 95.9961 8343 1589165
41.49/41.53	o 277
41.49/41.56	c 29.6825 95.9961 8347 1589670
41.49/41.56	o 276
41.49/41.59	c 29.7035 95.9961 8348 1590077
41.49/41.59	o 275
41.60/41.61	c 29.7245 95.9961 8349 1590726
41.60/41.61	o 274
41.60/41.64	c 29.7445 95.9961 8350 1591216
41.60/41.64	o 273
41.60/41.67	c 29.7715 95.9961 8355 1591846
41.60/41.67	o 272
41.70/41.74	c 29.8215 95.9961 8377 1592455
41.70/41.74	o 271
41.70/41.78	c 29.8485 95.9961 8396 1592973
41.70/41.78	o 270
41.80/41.84	c 29.8945 95.9961 8425 1593358
41.80/41.84	o 269
41.89/41.90	c 29.9374 95.9961 8442 1593753
41.89/41.90	o 268
41.89/41.95	c 29.9774 95.9961 8464 1594300
41.89/41.95	o 267
41.89/41.98	c 30.0044 95.9961 8471 1594846
41.89/41.98	o 266
41.99/42.04	c 30.0494 96.125 8501 1595315
41.99/42.04	o 265
41.99/42.08	c 30.0864 96.125 8526 1595767
41.99/42.08	o 264
42.09/42.13	c 30.1284 96.125 8540 1596270
42.09/42.13	o 263
42.09/42.15	c 30.1544 96.125 8543 1596734
42.09/42.15	o 262
42.09/42.18	c 30.1804 96.125 8546 1597325
42.09/42.18	o 260
42.20/42.21	c 30.2044 96.125 8551 1597849
42.20/42.21	o 258
42.20/42.24	c 30.2264 96.125 8554 1598224
42.20/42.24	o 257
42.20/42.27	c 30.2494 96.125 8558 1598716
42.20/42.27	o 256
42.29/42.32	c 30.2894 96.125 8579 1599185
42.29/42.32	o 254
42.29/42.34	c 30.3114 96.125 8582 1599682
42.29/42.34	o 253
42.29/42.39	c 30.3454 96.125 8588 1600522
42.29/42.39	o 251
42.40/42.44	c 30.3824 96.125 8595 1601109
42.40/42.44	o 250
42.40/42.47	c 30.4094 96.125 8599 1601751
42.40/42.47	o 248
42.49/42.50	c 30.4434 96.125 8675 1602334
42.49/42.50	o 247
42.49/42.55	c 30.4814 96.125 8709 1602841
42.49/42.55	o 246
42.69/42.72	c 30.6083 96.125 8749 1603482
42.69/42.72	o 245
42.69/42.78	c 30.6493 96.125 8775 1604156
42.69/42.78	o 244
42.80/42.82	c 30.6893 96.125 8801 1604684
42.80/42.82	o 243
42.80/42.86	c 30.7203 96.125 8810 1605196
42.80/42.86	o 241
42.90/42.94	c 30.7853 96.125 8855 1605730
42.90/42.94	o 240
42.90/42.97	c 30.8103 96.125 8864 1606200
42.90/42.97	o 239
43.00/43.01	c 30.8393 96.125 8870 1606553
43.00/43.01	o 238
43.00/43.03	c 30.8613 96.125 8872 1606850
43.00/43.03	o 237
43.00/43.06	c 30.8853 96.125 8874 1607156
43.00/43.06	o 236
43.00/43.08	c 30.9053 96.125 8880 1607482
43.00/43.08	o 235
43.09/43.16	c 30.9683 96.125 8920 1608057
43.09/43.16	o 234
43.19/43.24	c 31.0273 96.125 8964 1608639
43.19/43.24	o 233
43.19/43.28	c 31.0693 96.125 8989 1609145
43.19/43.28	o 232
43.29/43.31	c 31.0923 96.125 8998 1609498
43.29/43.31	o 231
43.29/43.34	c 31.1133 96.125 9000 1609810
43.29/43.34	o 230
43.29/43.36	c 31.1373 96.125 9007 1610241
43.29/43.36	o 229
43.29/43.39	c 31.1603 96.125 9010 1610613
43.29/43.39	o 228
43.39/43.43	c 31.1943 96.125 9022 1611175
43.39/43.43	o 227
43.39/43.46	c 31.2173 96.125 9023 1611570
43.39/43.46	o 225
43.39/43.49	c 31.2373 96.125 9027 1611899
43.39/43.49	o 224
43.49/43.52	c 31.2652 96.125 9040 1612235
43.49/43.52	o 223
43.49/43.58	c 31.3172 96.125 9084 1612644
43.49/43.58	o 222
43.60/43.60	c 31.3382 96.125 9086 1612980
43.60/43.60	o 221
43.60/43.63	c 31.3622 96.125 9091 1613433
43.60/43.63	o 220
43.60/43.67	c 31.3952 96.125 9097 1614064
43.60/43.67	o 219
43.69/43.70	c 31.4192 96.125 9098 1614552
43.69/43.70	o 218
43.69/43.73	c 31.4402 96.125 9100 1614997
43.69/43.73	o 217
43.69/43.76	c 31.4572 96.125 9102 1615582
43.69/43.76	o 216
43.69/43.78	c 31.4792 96.125 9107 1616078
43.69/43.78	o 215
43.79/43.81	c 31.5012 96.125 9108 1616453
43.79/43.81	o 214
43.79/43.84	c 31.5222 96.125 9110 1616786
43.79/43.84	o 213
43.79/43.86	c 31.5392 96.125 9113 1617094
43.79/43.86	o 212
43.79/43.89	c 31.5602 96.125 9115 1617469
43.79/43.89	o 211
43.90/43.91	c 31.5792 96.125 9116 1617910
43.90/43.91	o 210
43.90/43.94	c 31.6022 96.125 9122 1618249
43.90/43.94	o 209
43.90/43.97	c 31.6262 96.125 9123 1618636
43.90/43.97	o 208
43.90/44.00	c 31.6552 96.125 9134 1619076
43.90/44.00	o 206
43.99/44.07	c 31.7122 96.125 9169 1619687
43.99/44.07	o 205
44.09/44.10	c 31.7362 96.2539 9178 1620155
44.09/44.10	o 204
44.09/44.14	c 31.7622 96.2539 9191 1620536
44.09/44.14	o 203
44.19/44.24	c 31.8452 96.2539 9234 1621062
44.19/44.24	o 202
44.19/44.28	c 31.8742 96.2539 9244 1621421
44.19/44.28	o 201
44.29/44.32	c 31.9061 96.2539 9246 1621776
44.29/44.32	o 200
44.29/44.35	c 31.9291 96.2539 9248 1622206
44.29/44.35	o 198
44.29/44.37	c 31.9491 96.2539 9248 1622522
44.29/44.37	o 197
44.39/44.40	c 31.9711 96.2539 9249 1622841
44.39/44.40	o 196
44.39/44.42	c 31.9921 96.2539 9249 1623156
44.39/44.42	o 195
44.39/44.45	c 32.0111 96.2539 9250 1623467
44.39/44.45	o 194
44.39/44.48	c 32.0291 96.2539 9251 1623783
44.39/44.48	o 193
44.49/44.50	c 32.0471 96.2539 9252 1624081
44.49/44.50	o 192
44.49/44.53	c 32.0701 96.2539 9254 1624395
44.49/44.53	o 191
44.59/44.60	c 32.1281 96.2539 9352 1625075
44.59/44.60	o 190
44.59/44.63	c 32.1561 96.2539 9359 1625441
44.59/44.63	o 189
44.59/44.66	c 32.1791 96.2539 9373 1625786
44.59/44.66	o 188
44.69/44.77	c 32.2601 96.2539 9413 1626423
44.69/44.77	o 187
44.79/44.83	c 32.3101 96.2539 9442 1626894
44.79/44.83	o 186
44.79/44.86	c 32.3321 96.2539 9445 1627271
44.79/44.86	o 185
44.79/44.89	c 32.3511 96.2539 9448 1627618
44.79/44.89	o 184
44.90/44.95	c 32.4041 96.2539 9457 1627992
44.90/44.95	o 183
44.90/44.98	c 32.4281 96.2539 9465 1628339
44.90/44.98	o 182
45.00/45.01	c 32.4501 96.2539 9469 1628662
45.00/45.01	o 181
45.00/45.03	c 32.4701 96.2539 9469 1629031
45.00/45.03	o 180
45.00/45.06	c 32.4891 96.2539 9470 1629310
45.00/45.06	o 179
45.00/45.09	c 32.5101 96.2539 9472 1629651
45.00/45.09	o 178
45.09/45.11	c 32.5291 96.2539 9475 1630048
45.09/45.11	o 177
45.09/45.14	c 32.5531 96.2539 9477 1630344
45.09/45.14	o 176
45.09/45.17	c 32.576 96.2539 9477 1630700
45.09/45.17	o 174
45.19/45.20	c 32.604 96.2539 9480 1631022
45.19/45.20	o 173
45.19/45.23	c 32.629 96.2539 9481 1631594
45.19/45.23	o 172
45.19/45.29	c 32.673 96.2539 9495 1632218
45.19/45.29	o 171
45.40/45.49	c 32.844 96.2539 9608 1633258
45.40/45.49	o 170
45.50/45.52	c 32.869 96.2539 9611 1633608
45.50/45.52	o 169
45.50/45.55	c 32.89 96.2539 9616 1633932
45.50/45.55	o 168
45.50/45.59	c 32.924 96.2539 9625 1634275
45.50/45.59	o 167
45.59/45.65	c 32.976 96.2539 9667 1634760
45.59/45.65	o 166
45.69/45.71	c 33.027 96.2539 9697 1635304
45.69/45.71	o 165
45.69/45.75	c 33.056 96.2539 9703 1635722
45.69/45.75	o 164
45.69/45.78	c 33.075 96.2539 9705 1636104
45.69/45.78	o 163
45.79/45.80	c 33.095 96.2539 9705 1636425
45.79/45.80	o 162
45.79/45.83	c 33.12 96.2539 9706 1636730
45.79/45.83	o 161
45.79/45.86	c 33.14 96.2539 9706 1637046
45.79/45.86	o 160
45.79/45.88	c 33.158 96.3828 9706 1637365
45.79/45.88	o 159
45.89/45.91	c 33.179 96.3828 9707 1637671
45.89/45.91	o 158
45.89/45.93	c 33.198 96.3828 9707 1638005
45.89/45.93	o 157
45.89/45.96	c 33.218 96.3828 9708 1638357
45.89/45.96	o 156
45.89/45.98	c 33.2389 96.3828 9708 1638685
45.89/45.98	o 155
45.99/46.01	c 33.2569 96.3828 9708 1638956
45.99/46.01	o 154
45.99/46.03	c 33.2779 96.3828 9708 1639310
45.99/46.03	o 153
45.99/46.06	c 33.2969 96.3828 9708 1639645
45.99/46.06	o 152
45.99/46.08	c 33.3169 96.3828 9708 1639948
45.99/46.08	o 151
46.10/46.11	c 33.3399 96.3828 9708 1640269
46.10/46.11	o 150
46.10/46.13	c 33.3639 96.3828 9708 1640568
46.10/46.13	o 149
46.10/46.16	c 33.3809 96.3828 9708 1640867
46.10/46.16	o 148
46.10/46.18	c 33.4039 96.3828 9708 1641150
46.10/46.18	o 147
46.20/46.21	c 33.4239 96.3828 9709 1641488
46.20/46.21	o 146
46.20/46.23	c 33.4459 96.3828 9709 1641824
46.20/46.23	o 145
46.20/46.26	c 33.4679 96.3828 9709 1642157
46.20/46.26	o 144
46.20/46.28	c 33.4889 96.3828 9709 1642527
46.20/46.28	o 143
46.29/46.31	c 33.5099 96.3828 9709 1642814
46.29/46.31	o 142
46.29/46.33	c 33.5299 96.3828 9709 1643131
46.29/46.33	o 141
46.29/46.36	c 33.5519 96.3828 9709 1643450
46.29/46.36	o 140
46.29/46.38	c 33.5729 96.3828 9709 1643743
46.29/46.38	o 139
46.39/46.42	c 33.6009 96.3828 9711 1644087
46.39/46.42	o 138
46.39/46.45	c 33.6279 96.3828 9713 1644427
46.39/46.45	o 137
46.39/46.48	c 33.6529 96.3828 9715 1644762
46.39/46.48	o 136
46.49/46.52	c 33.6879 96.3828 9729 1645267
46.49/46.52	o 135
46.49/46.55	c 33.7139 96.3828 9743 1645661
46.49/46.55	o 134
46.49/46.59	c 33.7489 96.3828 9752 1646107
46.49/46.59	o 133
46.59/46.62	c 33.7739 96.3828 9755 1646503
46.59/46.62	o 132
46.59/46.65	c 33.8029 96.3828 9760 1646888
46.59/46.65	o 131
46.59/46.68	c 33.8289 96.3828 9787 1647309
46.59/46.68	o 130
46.69/46.73	c 33.8708 96.3828 9825 1647632
46.69/46.73	o 129
46.89/46.91	c 34.0048 96.3828 9874 1648383
46.89/46.91	o 128
46.99/47.01	c 34.0878 96.3828 9964 1648942
46.99/47.01	o 127
46.99/47.05	c 34.1238 96.3828 9981 1649245
46.99/47.05	o 126
47.49/47.56	c 34.5058 96.3828 5328 1651102
47.49/47.56	o 125
47.49/47.59	c 34.5328 96.3828 5335 1651560
47.49/47.59	o 124
47.59/47.62	c 34.5577 96.3828 5341 1652004
47.59/47.62	o 123
47.59/47.68	c 34.6027 96.3828 5386 1652635
47.59/47.68	o 122
47.70/47.71	c 34.6217 96.3828 5387 1652943
47.70/47.71	o 121
47.70/47.73	c 34.6417 96.3828 5398 1653298
47.70/47.73	o 120
47.70/47.78	c 34.6827 96.3828 5438 1653671
47.70/47.78	o 119
47.79/47.82	c 34.7117 96.3828 5456 1654008
47.79/47.82	o 118
47.79/47.87	c 34.7557 96.3828 5498 1654395
47.79/47.87	o 117
47.89/47.90	c 34.7807 96.3828 5503 1654750
47.89/47.90	o 116
47.89/47.93	c 34.8057 96.3828 5511 1655220
47.89/47.93	o 115
47.99/48.03	c 34.8837 96.3828 5616 1656277
47.99/48.03	o 114
47.99/48.07	c 34.9117 96.3828 5620 1656697
47.99/48.07	o 113
48.09/48.10	c 34.9337 96.3828 5625 1657175
48.09/48.10	o 112
48.09/48.15	c 34.9717 96.3828 5644 1657976
48.09/48.15	o 111
48.19/48.29	c 35.0797 96.3828 5769 1659164
48.19/48.29	o 110
48.30/48.32	c 35.1077 96.3828 5801 1659488
48.30/48.32	o 109
48.40/48.43	c 35.1787 96.3828 5845 1661399
48.40/48.43	o 108
48.40/48.48	c 35.2176 96.3828 5921 1661810
48.40/48.48	o 107
48.49/48.51	c 35.2446 96.3828 5931 1662178
48.49/48.51	o 106
48.49/48.56	c 35.2846 96.3828 5942 1662569
48.49/48.56	o 105
48.49/48.58	c 35.3036 96.3828 5946 1662821
48.49/48.58	o 104
48.59/48.63	c 35.3396 96.3828 5959 1663344
48.59/48.63	o 103
48.59/48.68	c 35.3796 96.3828 5992 1663957
48.59/48.68	o 102
48.69/48.73	c 35.4226 96.3828 6036 1664435
48.69/48.73	o 101
48.79/48.81	c 35.4986 96.3828 6084 1665165
48.79/48.81	o 100
48.79/48.86	c 35.5456 96.3828 6107 1665739
48.79/48.86	o 99
48.90/48.90	c 35.5776 96.3828 6111 1666184
48.90/48.90	o 97
48.90/48.94	c 35.6046 96.3828 6038 1666615
48.90/48.94	o 96
48.99/49.03	c 35.6936 96.3828 6119 1667209
48.99/49.03	o 95
48.99/49.09	c 35.7376 96.3828 6137 1668086
48.99/49.09	o 94
49.09/49.14	c 35.7786 96.3828 5894 1668554
49.09/49.14	o 93
49.09/49.18	c 35.8126 96.3828 5902 1668894
49.09/49.18	o 92
49.20/49.20	c 35.8356 96.3828 5902 1669232
49.20/49.20	o 91
49.20/49.23	c 35.8605 96.3828 5903 1669532
49.20/49.23	o 90
49.20/49.26	c 35.8845 96.3828 5905 1669820
49.20/49.26	o 89
49.50/49.54	c 36.1035 96.5117 5542 1671246
49.50/49.54	o 88
49.50/49.58	c 36.1345 96.5117 5567 1671712
49.50/49.58	o 86
49.59/49.61	c 36.1575 96.5117 5560 1672041
49.59/49.61	o 85
49.59/49.64	c 36.1825 96.5117 5564 1672337
49.59/49.64	o 84
49.59/49.67	c 36.2005 96.5117 5574 1672649
49.59/49.67	o 83
49.69/49.70	c 36.2225 96.5117 5579 1672953
49.69/49.70	o 82
49.69/49.72	c 36.2425 96.5117 5581 1673330
49.69/49.72	o 81
49.69/49.75	c 36.2655 96.5117 5585 1673779
49.69/49.75	o 78
49.69/49.77	c 36.2875 96.5117 5585 1674153
49.69/49.77	o 77
49.79/49.80	c 36.3065 96.5117 5587 1674446
49.79/49.80	o 76
49.79/49.82	c 36.3265 96.5117 5587 1674764
49.79/49.82	o 75
49.79/49.86	c 36.3605 96.5117 5610 1675146
49.79/49.86	o 74
49.79/49.88	c 36.3825 96.5117 4922 1675466
49.79/49.88	o 73
49.89/49.91	c 36.4025 96.5117 4926 1675786
49.89/49.91	o 72
49.89/49.93	c 36.4205 96.5117 4926 1676099
49.89/49.93	o 71
49.89/49.95	c 36.4445 96.5117 4930 1676492
49.89/49.95	o 70
49.99/50.00	c 36.4795 96.5117 4951 1677184
49.99/50.00	o 69
49.99/50.07	c 36.5384 96.5117 4994 1677894
49.99/50.07	o 68
50.09/50.12	c 36.5734 96.5117 5000 1678300
50.09/50.12	o 67
50.09/50.14	c 36.5974 96.5117 4752 1678750
50.09/50.14	o 66
50.09/50.18	c 36.6234 96.5117 4762 1679106
50.09/50.18	o 65
50.19/50.22	c 36.6624 96.5117 4781 1679821
50.19/50.22	o 63
50.19/50.25	c 36.6854 96.5117 4787 1680123
50.19/50.25	o 62
50.19/50.27	c 36.7044 96.5117 4790 1680423
50.19/50.27	o 61
50.29/50.30	c 36.7314 96.5117 4804 1680754
50.29/50.30	o 60
50.29/50.32	c 36.7484 96.5117 4808 1681061
50.29/50.32	o 59
50.29/50.36	c 36.7734 96.5117 4585 1681429
50.29/50.36	o 58
50.29/50.39	c 36.8044 96.5117 4601 1681809
50.29/50.39	o 57
50.39/50.43	c 36.8304 96.5117 4609 1682177
50.39/50.43	o 56
50.39/50.45	c 36.8534 96.5117 4619 1682497
50.39/50.45	o 55
50.39/50.47	c 36.8734 96.5117 4622 1682817
50.39/50.47	o 54
50.39/50.49	c 36.8894 96.5117 4623 1683104
50.39/50.49	o 53
50.50/50.51	c 36.9054 96.5117 4625 1683376
50.50/50.51	o 52
50.50/50.53	c 36.9204 96.5117 4625 1683644
50.50/50.53	o 51
50.50/50.55	c 36.9384 96.5117 4540 1683916
50.50/50.55	o 50
50.50/50.57	c 36.9544 96.5117 4540 1684179
50.50/50.57	o 49
50.50/50.59	c 36.9694 96.5117 4540 1684438
50.50/50.59	o 48
50.60/50.60	c 36.9874 96.5117 4541 1684704
50.60/50.60	o 47
50.60/50.62	c 37.0004 96.5117 4543 1684988
50.60/50.62	o 46
50.60/50.64	c 37.0144 96.5117 4546 1685356
50.60/50.64	o 44
50.60/50.66	c 37.0354 96.5117 4549 1685660
50.60/50.66	o 43
50.60/50.68	c 37.0504 96.5117 4551 1685934
50.60/50.68	o 42
50.69/50.70	c 37.0684 96.5117 4551 1686287
50.69/50.70	o 40
50.69/50.72	c 37.0864 96.5117 4553 1686686
50.69/50.72	o 38
50.69/50.73	c 37.1024 96.5117 4554 1687008
50.69/50.73	o 37
50.69/50.75	c 37.1204 96.5117 4304 1687269
50.69/50.75	o 36
50.79/50.80	c 37.1693 96.5117 4354 1687663
50.79/50.80	o 34
50.79/50.82	c 37.1833 96.5117 4357 1687942
50.79/50.82	o 33
50.79/50.84	c 37.1993 96.5117 4359 1688271
50.79/50.84	o 32
50.79/50.86	c 37.2163 96.5117 4361 1688586
50.79/50.86	o 31
50.79/50.88	c 37.2363 96.5117 4370 1688962
50.79/50.88	o 30
50.89/50.92	c 37.2693 96.5117 4462 1689505
50.89/50.92	o 29
51.00/51.02	c 37.3653 96.5117 4495 1690302
51.00/51.02	o 28
51.00/51.04	c 37.3823 96.5117 4500 1690624
51.00/51.04	o 27
51.00/51.06	c 37.3973 96.5117 4500 1690907
51.00/51.06	o 26
51.00/51.08	c 37.4163 96.5117 4524 1691226
51.00/51.08	o 25
51.09/51.10	c 37.4343 96.5117 4417 1691553
51.09/51.10	o 24
51.09/51.13	c 37.4613 96.5117 4431 1691977
51.09/51.13	o 23
51.09/51.15	c 37.4773 96.5117 4435 1692358
51.09/51.15	o 22
51.09/51.16	c 37.4933 96.5117 4437 1692677
51.09/51.16	o 21
51.09/51.18	c 37.5093 96.5117 4440 1692972
51.09/51.18	o 20
51.09/51.19	c 37.5243 96.5117 4441 1693270
51.09/51.19	o 19
51.19/51.21	c 37.5363 96.5117 4442 1693607
51.19/51.21	o 18
51.19/51.22	c 37.5493 96.5117 4442 1693877
51.19/51.22	o 17
51.19/51.24	c 37.5633 96.5117 4442 1694131
51.19/51.24	o 16
51.19/51.25	c 37.5763 96.5117 4442 1694404
51.19/51.25	o 15
51.19/51.26	c 37.5893 96.5117 4442 1694702
51.19/51.26	o 14
51.19/51.28	c 37.6013 96.5117 4410 1694968
51.19/51.28	o 13
51.19/51.29	c 37.6133 96.5117 4410 1695218
51.19/51.29	o 12
51.29/51.31	c 37.6293 96.5117 4414 1695539
51.29/51.31	o 11
51.29/51.38	c 37.6973 96.5117 4490 1696193
51.29/51.38	o 10
51.29/51.40	c 37.7123 96.5117 4494 1696513
51.29/51.40	o 9
51.39/51.41	c 37.7253 96.5117 4495 1696793
51.39/51.41	o 8
51.39/51.42	c 37.7393 96.5117 4497 1697195
51.39/51.42	o 7
51.39/51.44	c 37.7543 96.5117 4502 1697552
51.39/51.44	o 6
51.39/51.46	c 37.7693 96.5117 4253 1697902
51.39/51.46	o 5
51.39/51.47	c 37.7833 96.5117 4257 1698186
51.39/51.47	o 4
51.49/51.55	c 37.8552 96.5117 4363 1698784
51.49/51.55	o 3
51.49/51.56	c 37.8712 96.5117 4375 1699076
51.49/51.56	o 2
51.49/51.58	c 37.8832 96.5117 4377 1699343
51.49/51.58	o 1
51.60/51.61	c 37.9172 96.5117 4639 1700012
51.60/51.61	s OPTIMUM FOUND
51.60/51.61	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

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698787-1278461541/watcher-2698787-1278461541 -o /tmp/evaluation-result-2698787-1278461541/solver-2698787-1278461541 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698787-1278461541.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.00 2.00 1.92 4/178 13037
/proc/meminfo: memFree=30912236/32951124 swapFree=67111528/67111528
[pid=13037] ppid=13035 vsize=2136 CPUtime=0
/proc/13037/stat : 13037 (pbct) R 13035 13037 12739 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 14366320 2187264 175 4089446400 134512640 136422188 4293994800 18446744073709551615 135372822 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13037/statm: 534 175 144 467 0 65 0

[startup+0.0212591 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13037
/proc/meminfo: memFree=30912236/32951124 swapFree=67111528/67111528
[pid=13037] ppid=13035 vsize=2400 CPUtime=0.02
/proc/13037/stat : 13037 (pbct) R 13035 13037 12739 0 -1 4202496 300 0 0 0 2 0 0 0 25 0 1 0 14366320 2457600 219 4089446400 134512640 136422188 4293994800 18446744073709551615 135377392 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13037/statm: 600 219 144 467 0 131 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2400

[startup+0.100245 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13037
/proc/meminfo: memFree=30912236/32951124 swapFree=67111528/67111528
[pid=13037] ppid=13035 vsize=15424 CPUtime=0.09
/proc/13037/stat : 13037 (pbct) R 13035 13037 12739 0 -1 4202496 3511 0 0 0 9 0 0 0 25 0 1 0 14366320 15794176 3430 4089446400 134512640 136422188 4293994800 18446744073709551615 135405212 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13037/statm: 3856 3433 193 467 0 3387 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15424

[startup+0.300218 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13037
/proc/meminfo: memFree=30912236/32951124 swapFree=67111528/67111528
[pid=13037] ppid=13035 vsize=57580 CPUtime=0.29
/proc/13037/stat : 13037 (pbct) R 13035 13037 12739 0 -1 4202496 14763 0 0 0 28 1 0 0 25 0 1 0 14366320 58961920 14006 4089446400 134512640 136422188 4293994800 18446744073709551615 135801261 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13037/statm: 14395 14006 193 467 0 13926 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57580

[startup+0.700134 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 13037
/proc/meminfo: memFree=30912236/32951124 swapFree=67111528/67111528
[pid=13037] ppid=13035 vsize=94916 CPUtime=0.69
/proc/13037/stat : 13037 (pbct) R 13035 13037 12739 0 -1 4202496 24334 0 0 0 64 5 0 0 25 0 1 0 14366320 97193984 22403 4089446400 134512640 136422188 4293994800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13037/statm: 23729 22403 213 467 0 23260 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94916

[startup+1.50099 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13038
/proc/meminfo: memFree=30823072/32951124 swapFree=67111528/67111528
[pid=13037] ppid=13035 vsize=96052 CPUtime=1.49
/proc/13037/stat : 13037 (pbct) R 13035 13037 12739 0 -1 4202496 24737 0 0 0 115 34 0 0 25 0 1 0 14366320 98357248 22517 4089446400 134512640 136422188 4293994800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13037/statm: 24013 22517 237 467 0 23544 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96052

[startup+3.1007 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13038
/proc/meminfo: memFree=30822292/32951124 swapFree=67111528/67111528
[pid=13037] ppid=13035 vsize=96320 CPUtime=3.09
/proc/13037/stat : 13037 (pbct) R 13035 13037 12739 0 -1 4202496 24811 0 0 0 229 80 0 0 25 0 1 0 14366320 98631680 22573 4089446400 134512640 136422188 4293994800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13037/statm: 24080 22573 237 467 0 23611 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96320

[startup+6.30012 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13038
/proc/meminfo: memFree=30822292/32951124 swapFree=67111528/67111528
[pid=13037] ppid=13035 vsize=96584 CPUtime=6.29
/proc/13037/stat : 13037 (pbct) R 13035 13037 12739 0 -1 4202496 24901 0 0 0 452 177 0 0 25 0 1 0 14366320 98902016 22628 4089446400 134512640 136422188 4293994800 18446744073709551615 135805654 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13037/statm: 24146 22628 237 467 0 23677 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 96584

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13038
/proc/meminfo: memFree=30821924/32951124 swapFree=67111528/67111528
[pid=13037] ppid=13035 vsize=96848 CPUtime=12.69
/proc/13037/stat : 13037 (pbct) R 13035 13037 12739 0 -1 4202496 25056 0 0 0 891 378 0 0 25 0 1 0 14366320 99172352 22719 4089446400 134512640 136422188 4293994800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13037/statm: 24212 22719 237 467 0 23743 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 96848

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13038
/proc/meminfo: memFree=30821196/32951124 swapFree=67111528/67111528
[pid=13037] ppid=13035 vsize=97792 CPUtime=25.49
/proc/13037/stat : 13037 (pbct) R 13035 13037 12739 0 -1 4202496 25382 0 0 0 1788 761 0 0 25 0 1 0 14366320 100139008 22916 4089446400 134512640 136422188 4293994800 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13037/statm: 24448 22916 237 467 0 23979 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97792

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13040
/proc/meminfo: memFree=30820476/32951124 swapFree=67111528/67111528
[pid=13037] ppid=13035 vsize=98824 CPUtime=51.09
/proc/13037/stat : 13037 (pbct) R 13035 13037 12739 0 -1 4202496 26084 0 0 0 3743 1366 0 0 25 0 1 0 14366320 101195776 23112 4089446400 134512640 136422188 4293994800 18446744073709551615 135025862 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13037/statm: 24706 23112 237 467 0 24237 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 98824

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

[startup+51.501 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13040
/proc/meminfo: memFree=30820476/32951124 swapFree=67111528/67111528
[pid=13037] ppid=13035 vsize=98824 CPUtime=51.49
/proc/13037/stat : 13037 (pbct) R 13035 13037 12739 0 -1 4202496 26109 0 0 0 3780 1369 0 0 25 0 1 0 14366320 101195776 23116 4089446400 134512640 136422188 4293994800 18446744073709551615 135022543 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13037/statm: 24706 23116 237 467 0 24237 0
Current children cumulated CPU time (s) 51.49
Current children cumulated vsize (KiB) 98824

[startup+51.7059 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13040
/proc/meminfo: memFree=30820476/32951124 swapFree=67111528/67111528
[pid=13037] ppid=13035 vsize=91704 CPUtime=51.7
/proc/13037/stat : 13037 (pbct) R 13035 13037 12739 0 -1 4202496 26116 0 0 0 3800 1370 0 0 25 0 1 0 14366320 93904896 21918 4089446400 134512640 136422188 4293994800 18446744073709551615 135818353 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/13037/statm: 22926 21918 240 467 0 22457 0
Current children cumulated CPU time (s) 51.7
Current children cumulated vsize (KiB) 91704

Child status: 0
Real time (s): 51.7779
CPU time (s): 51.7781
CPU user time (s): 38.0742
CPU system time (s): 13.7039
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 98824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.0742
system time used= 13.7039
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26117
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= 3
involuntary context switches= 30

runsolver used 0.090986 second user time and 0.221966 second system time

The end

Launcher Data 

Begin job on node145 at 2010-07-07 02:12:21
IDJOB=2698787
IDBENCH=79003
IDSOLVER=1212
FILE ID=node145/2698787-1278461541
PBS_JOBID= 11233703
Free space on /tmp= 73848 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698787-1278461541/watcher-2698787-1278461541 -o /tmp/evaluation-result-2698787-1278461541/solver-2698787-1278461541 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698787-1278461541.wbo

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

MD5SUM BENCH= 68c125c2e3e966fc6e8a8bc50cef96ab
RANDOM SEED=293162443

node145.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.859
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.859
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.859
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.74
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.859
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.859
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.74
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.859
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.859
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.82
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.859
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30912880 kB
Buffers:        108324 kB
Cached:        1720156 kB
SwapCached:          0 kB
Active:         682984 kB
Inactive:      1221900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30912880 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2372 kB
Writeback:           0 kB
AnonPages:       76828 kB
Mapped:          15616 kB
Slab:            70352 kB
PageTables:       4832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   218452 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= 73848 MiB
End job on node145 at 2010-07-07 02:13:13