Trace number 2698782

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 45.4221 45.4211

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-33-100-0.wbo
MD5SUM24165b373ac62bb316922f56a500ddfe
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.099984
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5072
Total number of constraints12829
Number of soft constraints8490
Number of constraints which are clauses11721
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1108
Minimum length of a constraint1
Maximum length of a constraint15
Top cost 429589
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 429588
Biggest number in a constraint 165
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 546
Number of bits of the biggest sum of numbers10
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.09	c constraints 386/722 clauses 3953/7768 units 0
0.02/0.09	c vars 5072
1.79/1.88	c 1.52277 133.91 193 581355
1.79/1.88	o 10419
2.39/2.47	c 1.93271 135.719 380 923859
2.39/2.47	o 10074
2.49/2.60	c 2.01669 135.719 427 988921
2.59/2.60	o 9413
2.69/2.72	c 2.10568 135.719 485 1057466
2.69/2.72	o 8899
2.79/2.82	c 2.16767 135.719 546 1097860
2.79/2.82	o 8371
2.79/2.89	c 2.21966 135.719 596 1122825
2.79/2.89	o 7850
2.99/3.03	c 2.31965 135.719 735 1176350
2.99/3.03	o 7836
3.09/3.11	c 2.37764 135.719 806 1211368
3.09/3.11	o 6776
3.20/3.26	c 2.50062 135.719 958 1240522
3.20/3.26	o 6117
3.39/3.42	c 2.6256 135.848 1125 1277318
3.39/3.42	o 5573
3.59/3.69	c 2.81757 135.848 1252 1332246
3.59/3.69	o 5231
3.89/3.90	c 2.98055 135.848 1440 1381992
3.89/3.90	o 5207
3.99/4.05	c 3.08753 135.848 1518 1452357
3.99/4.05	o 5019
4.09/4.12	c 3.14052 135.848 1545 1477203
4.09/4.12	o 4807
4.30/4.37	c 3.32649 135.848 1681 1514282
4.30/4.37	o 4708
4.49/4.52	c 3.44148 135.977 1811 1537564
4.49/4.52	o 4699
4.59/4.60	c 3.50047 135.977 1837 1551856
4.59/4.60	o 4696
4.69/4.75	c 3.60545 135.977 1918 1570548
4.69/4.75	o 4678
4.79/4.83	c 3.67844 135.977 1947 1592767
4.79/4.83	o 3501
5.19/5.21	c 3.9624 135.977 2171 1623245
5.19/5.21	o 3499
5.19/5.27	c 4.01039 135.977 2192 1639206
5.19/5.27	o 3493
5.29/5.32	c 4.06038 135.977 2235 1650860
5.29/5.32	o 3485
5.50/5.58	c 4.27035 136.105 2458 1692132
5.50/5.58	o 3474
5.60/5.66	c 4.32734 136.105 2477 1710396
5.60/5.66	o 3408
5.70/5.78	c 4.42933 136.105 2597 1741190
5.70/5.78	o 2232
5.79/5.86	c 4.48732 136.105 2672 1758893
5.79/5.86	o 2230
6.69/6.79	c 5.13022 136.242 3100 1767123
6.69/6.79	o 2229
6.79/6.88	c 5.20121 136.242 3125 1776120
6.79/6.88	o 2228
6.89/6.94	c 5.2482 136.242 3154 1781006
6.89/6.94	o 2226
7.09/7.14	c 5.38318 136.242 3211 1786376
7.09/7.14	o 2225
7.19/7.20	c 5.42817 136.242 3222 1789510
7.19/7.20	o 2224
7.29/7.34	c 5.53316 136.242 3271 1798472
7.29/7.34	o 2220
7.39/7.44	c 5.61115 136.242 3288 1812846
7.39/7.44	o 2213
7.70/7.76	c 5.83611 136.242 3364 1818368
7.70/7.76	o 2208
7.89/7.90	c 5.9451 136.242 3403 1829074
7.89/7.90	o 2207
7.89/7.97	c 6.00709 136.242 3412 1843473
7.89/7.97	o 2202
8.00/8.05	c 6.07408 136.242 3448 1849790
8.00/8.05	o 2201
8.09/8.16	c 6.16406 136.242 3478 1873393
8.09/8.16	o 2191
8.19/8.28	c 6.24505 136.242 3512 1881866
8.19/8.28	o 2189
8.29/8.38	c 6.33204 136.242 3552 1904578
8.29/8.38	o 2073
8.39/8.44	c 6.37503 136.242 3589 1913510
8.39/8.44	o 2067
8.39/8.49	c 6.41602 136.242 3603 1927499
8.39/8.49	o 2065
8.50/8.59	c 6.50601 136.242 3687 1938680
8.50/8.59	o 2062
8.59/8.64	c 6.55 136.242 3700 1946942
8.59/8.64	o 2058
8.70/8.71	c 6.603 136.242 3717 1967835
8.70/8.71	o 1478
8.70/8.79	c 6.66999 136.242 3806 1975980
8.70/8.79	o 1472
8.99/9.05	c 6.84196 136.242 3855 1980217
8.99/9.05	o 1471
9.39/9.40	c 7.08792 136.371 3961 1986526
9.39/9.40	o 1468
9.39/9.49	c 7.15391 136.371 3983 1994163
9.39/9.49	o 1461
9.59/9.68	c 7.28889 136.371 4030 1996408
9.59/9.68	o 1459
9.69/9.73	c 7.33289 136.371 4038 2001140
9.69/9.73	o 1456
9.80/9.81	c 7.38788 136.371 4049 2011757
9.80/9.81	o 1453
9.80/9.87	c 7.43887 136.371 4056 2021233
9.80/9.87	o 1452
10.50/10.51	c 7.8708 136.371 4285 2027360
10.50/10.51	o 1451
10.59/10.64	c 7.97079 136.371 4319 2029975
10.59/10.64	o 1450
10.69/10.76	c 8.07077 136.371 4459 2031658
10.69/10.76	o 1449
10.79/10.82	c 8.11976 136.371 4471 2034273
10.79/10.82	o 1448
10.90/10.91	c 8.18576 136.371 4490 2042043
10.90/10.91	o 1447
10.90/10.95	c 8.22375 136.371 4504 2046462
10.90/10.95	o 1446
10.90/11.00	c 8.26774 136.371 4514 2058570
10.90/11.00	o 1378
11.00/11.04	c 8.29874 136.371 4519 2069116
11.00/11.04	o 1101
11.00/11.08	c 8.33773 136.371 4527 2073407
11.00/11.08	o 1098
11.19/11.22	c 8.46471 136.371 4686 2081373
11.19/11.22	o 1097
11.59/11.69	c 8.76467 136.371 4772 2083988
11.59/11.69	o 1095
11.79/11.80	c 8.84366 136.371 4786 2086326
11.79/11.80	o 1094
11.79/11.87	c 8.89965 136.371 4802 2089634
11.79/11.87	o 1093
11.90/11.94	c 8.95664 136.371 4813 2094309
11.90/11.94	o 1091
12.00/12.08	c 9.07262 136.5 4925 2099694
12.00/12.08	o 1088
12.10/12.13	c 9.11761 136.5 4930 2104563
12.10/12.13	o 1087
12.10/12.17	c 9.15261 136.5 4932 2108337
12.10/12.17	o 1068
12.19/12.22	c 9.1916 136.5 4936 2110602
12.19/12.22	o 1063
12.19/12.28	c 9.23559 136.5 4943 2112190
12.19/12.28	o 1062
12.29/12.33	c 9.27359 136.5 4948 2117901
12.29/12.33	o 1059
12.39/12.40	c 9.33358 136.5 4979 2119424
12.39/12.41	o 1056
12.39/12.46	c 9.37457 136.5 4984 2121159
12.39/12.46	o 1050
12.49/12.51	c 9.41757 136.5 4990 2125266
12.49/12.51	o 1044
12.49/12.59	c 9.48956 136.5 5035 2133946
12.49/12.59	o 1030
12.60/12.67	c 9.56155 136.5 5082 2145091
12.60/12.67	o 1015
12.69/12.71	c 9.59854 136.5 5085 2148399
12.69/12.71	o 1009
12.69/12.76	c 9.64353 136.5 5089 2154189
12.69/12.76	o 999
12.79/12.82	c 9.68953 136.5 5105 2156637
12.79/12.82	o 998
12.89/12.92	c 9.77251 136.5 5120 2158872
12.89/12.92	o 996
12.89/12.98	c 9.82351 136.5 5124 2160258
12.89/12.98	o 995
12.99/13.05	c 9.8775 136.5 5134 2162505
12.99/13.05	o 992
13.20/13.29	c 10.0685 136.5 5272 2169609
13.20/13.29	o 991
13.29/13.34	c 10.1075 136.5 5277 2171266
13.29/13.34	o 990
13.39/13.46	c 10.1924 136.5 5327 2172989
13.39/13.46	o 988
13.49/13.51	c 10.2364 136.5 5373 2175753
13.49/13.51	o 986
13.49/13.56	c 10.2714 136.5 5378 2179046
13.49/13.56	o 984
13.59/13.63	c 10.3284 136.5 5388 2192784
13.59/13.63	o 966
13.59/13.69	c 10.3684 136.5 5395 2197493
13.59/13.69	o 965
13.69/13.76	c 10.4194 136.5 5403 2201655
13.69/13.76	o 963
14.39/14.49	c 10.9183 136.5 5554 2204145
14.39/14.49	o 961
14.60/14.63	c 11.0193 136.5 5593 2205285
14.60/14.63	o 960
14.69/14.72	c 11.0803 136.5 5607 2206773
14.69/14.72	o 958
15.09/15.18	c 11.3893 136.629 5711 2208436
15.09/15.18	o 957
15.20/15.22	c 11.4273 136.629 5717 2209619
15.20/15.22	o 956
15.20/15.28	c 11.4673 136.629 5725 2211231
15.20/15.28	o 955
15.49/15.59	c 11.7022 136.629 5779 2212656
15.49/15.59	o 954
15.60/15.64	c 11.7472 136.629 5792 2213998
15.60/15.64	o 953
15.69/15.77	c 11.8402 136.629 5873 2215745
15.69/15.77	o 952
15.90/15.97	c 12.0032 136.629 6044 2218269
15.90/15.97	o 951
16.59/16.66	c 12.4701 136.629 6218 2221124
16.59/16.66	o 950
16.70/16.72	c 12.5211 136.629 6231 2222489
16.70/16.72	o 949
17.39/17.42	c 12.994 136.629 6447 2227206
17.39/17.42	o 946
17.50/17.54	c 13.091 136.629 6466 2229163
17.50/17.54	o 944
17.60/17.60	c 13.143 136.629 6477 2231783
17.60/17.60	o 941
17.69/17.72	c 13.233 136.629 6526 2233231
17.69/17.72	o 940
17.69/17.79	c 13.284 136.629 6557 2234363
17.69/17.79	o 939
17.79/17.84	c 13.325 136.629 6570 2235974
17.79/17.84	o 938
17.79/17.89	c 13.37 136.758 6585 2237881
17.79/17.89	o 936
17.89/17.96	c 13.419 136.758 6598 2241119
17.89/17.96	o 935
17.99/18.00	c 13.459 136.758 6610 2243357
17.99/18.00	o 932
17.99/18.06	c 13.5059 136.758 6674 2246442
17.99/18.06	o 927
18.09/18.13	c 13.5609 136.758 6709 2248245
18.09/18.13	o 926
18.09/18.19	c 13.6139 136.758 6725 2250967
18.09/18.19	o 925
18.19/18.28	c 13.6819 136.758 6797 2252989
18.19/18.28	o 923
18.30/18.39	c 13.7699 136.758 6837 2256817
18.30/18.39	o 922
18.39/18.43	c 13.8039 136.758 6839 2258380
18.39/18.43	o 920
18.49/18.51	c 13.8729 136.758 6889 2260975
18.49/18.51	o 918
18.49/18.59	c 13.9279 136.758 6901 2264606
18.49/18.59	o 916
18.60/18.70	c 14.0099 136.758 6972 2266940
18.60/18.70	o 915
18.79/18.83	c 14.1119 136.758 7038 2269601
18.79/18.83	o 914
18.99/19.00	c 14.2328 136.758 7119 2275705
18.99/19.00	o 913
18.99/19.07	c 14.2838 136.758 7129 2277092
18.99/19.07	o 912
19.09/19.18	c 14.3778 136.758 7218 2280237
19.09/19.18	o 909
19.19/19.23	c 14.4148 136.758 7222 2282184
19.19/19.23	o 903
19.19/19.29	c 14.4688 136.758 7231 2283473
19.19/19.29	o 900
19.29/19.38	c 14.5348 136.758 7239 2286648
19.29/19.38	o 897
19.39/19.43	c 14.5788 136.758 7244 2288420
19.39/19.43	o 896
19.59/19.69	c 14.7558 136.758 7309 2292762
19.59/19.69	o 895
19.70/19.78	c 14.8247 136.758 7321 2297597
19.70/19.78	o 894
19.80/19.88	c 14.8987 136.758 7333 2298760
19.80/19.88	o 893
19.89/19.97	c 14.9687 136.758 7349 2302885
19.89/19.97	o 891
20.19/20.22	c 15.1437 136.758 7442 2304171
20.19/20.22	o 890
20.39/20.44	c 15.3177 136.758 7544 2306015
20.39/20.44	o 887
20.49/20.50	c 15.3587 136.758 7547 2307352
20.49/20.50	o 883
20.49/20.54	c 15.3947 136.758 7550 2308290
20.49/20.54	o 882
20.59/20.62	c 15.4557 136.758 7564 2309310
20.59/20.62	o 881
20.59/20.67	c 15.4986 136.758 7565 2311050
20.59/20.67	o 880
20.70/20.71	c 15.5366 136.758 7571 2313066
20.70/20.71	o 877
20.70/20.79	c 15.5866 136.758 7578 2314520
20.70/20.79	o 874
20.79/20.84	c 15.6326 136.758 7581 2317332
20.79/20.84	o 869
20.90/20.92	c 15.7036 136.887 7594 2321993
20.90/20.92	o 866
21.00/21.00	c 15.7636 136.887 7601 2324729
21.00/21.00	o 861
21.19/21.26	c 15.9666 136.887 7692 2329151
21.19/21.26	o 860
21.30/21.31	c 16.0066 136.887 7697 2331581
21.30/21.31	o 853
21.39/21.42	c 16.0856 136.887 7754 2333136
21.39/21.42	o 849
21.39/21.48	c 16.1375 136.887 7778 2336812
21.39/21.48	o 845
21.49/21.54	c 16.1885 136.887 7792 2339362
21.49/21.54	o 844
21.59/21.64	c 16.2595 136.887 7810 2341292
21.59/21.64	o 842
21.59/21.69	c 16.3015 136.887 7812 2343470
21.59/21.69	o 841
21.69/21.73	c 16.3395 136.887 7812 2347042
21.69/21.73	o 833
21.69/21.77	c 16.3725 136.887 7812 2350259
21.69/21.77	o 828
21.80/21.81	c 16.4075 136.887 7812 2352629
21.80/21.81	o 827
21.80/21.85	c 16.4415 136.887 7818 2355637
21.80/21.85	o 826
21.90/21.90	c 16.4825 136.887 7863 2358154
21.90/21.90	o 825
21.90/21.94	c 16.5185 136.887 7863 2360556
21.90/21.94	o 822
21.90/21.98	c 16.5515 136.887 7866 2363165
21.90/21.98	o 817
21.99/22.03	c 16.5935 136.887 7875 2364682
21.99/22.03	o 816
21.99/22.08	c 16.6335 136.887 7877 2366191
21.99/22.08	o 814
22.09/22.12	c 16.6755 136.887 7880 2367800
22.09/22.12	o 813
22.09/22.16	c 16.7105 136.887 7880 2370027
22.09/22.16	o 810
22.20/22.20	c 16.7485 136.887 7884 2371812
22.20/22.20	o 805
22.20/22.26	c 16.7894 136.887 7890 2373809
22.20/22.26	o 804
22.29/22.30	c 16.8274 136.887 7890 2375111
22.29/22.30	o 803
22.29/22.34	c 16.8624 136.887 7891 2377101
22.29/22.34	o 801
22.29/22.38	c 16.9044 136.887 7894 2378843
22.29/22.38	o 799
22.39/22.45	c 16.9524 136.887 7900 2382737
22.39/22.45	o 794
22.49/22.50	c 17.0044 136.887 7905 2387751
22.49/22.50	o 792
22.49/22.56	c 17.0524 136.887 7907 2392186
22.49/22.56	o 789
22.59/22.60	c 17.0864 136.887 7911 2396264
22.59/22.60	o 787
22.59/22.66	c 17.1384 136.887 7917 2403438
22.59/22.66	o 781
22.69/22.71	c 17.1734 136.887 7939 2407492
22.69/22.71	o 778
22.69/22.75	c 17.2114 136.887 7971 2410231
22.69/22.75	o 765
22.79/22.83	c 17.2684 136.887 7985 2420697
22.79/22.83	o 737
22.79/22.87	c 17.3054 136.887 8000 2426234
22.79/22.87	o 736
22.89/22.92	c 17.3474 136.887 8004 2436853
22.89/22.92	o 665
22.89/22.97	c 17.3844 136.887 8007 2438617
22.89/22.97	o 663
23.00/23.01	c 17.4184 136.887 8010 2444704
23.00/23.01	o 653
23.00/23.06	c 17.4623 136.887 8012 2448270
23.00/23.06	o 651
23.00/23.10	c 17.4993 136.887 8013 2452375
23.00/23.10	o 642
23.10/23.14	c 17.5373 136.887 8032 2455691
23.10/23.14	o 638
23.10/23.18	c 17.5763 136.887 8032 2458068
23.10/23.18	o 635
23.20/23.24	c 17.6233 136.887 8035 2463007
23.20/23.24	o 627
23.20/23.28	c 17.6603 136.887 8037 2465780
23.20/23.28	o 626
23.29/23.32	c 17.6963 136.887 8037 2468069
23.29/23.32	o 622
23.29/23.38	c 17.7493 136.887 8043 2469866
23.29/23.38	o 619
23.39/23.44	c 17.7943 136.887 8046 2476764
23.39/23.44	o 611
23.49/23.58	c 17.8973 136.887 8081 2480312
23.49/23.58	o 599
23.60/23.65	c 17.9583 136.887 8136 2483322
23.60/23.65	o 598
23.69/23.70	c 17.9943 136.887 8143 2484264
23.69/23.70	o 595
23.69/23.79	c 18.0593 137.016 8165 2485030
23.69/23.79	o 594
23.80/23.85	c 18.1062 137.016 8175 2485813
23.80/23.85	o 593
23.90/23.94	c 18.1762 137.016 8191 2487491
23.90/23.94	o 592
23.90/23.98	c 18.2122 137.016 8193 2488833
23.90/23.98	o 591
23.99/24.05	c 18.2642 137.016 8208 2490449
23.99/24.05	o 590
24.29/24.33	c 18.4472 137.016 8278 2491363
24.29/24.33	o 589
24.29/24.38	c 18.4842 137.016 8283 2492152
24.29/24.38	o 587
24.49/24.59	c 18.6322 137.016 8342 2493539
24.49/24.59	o 583
24.79/24.84	c 18.8191 137.016 8423 2494452
24.79/24.84	o 582
24.89/24.96	c 18.8941 137.016 8446 2495168
24.89/24.96	o 581
24.99/25.01	c 18.9401 137.016 8462 2496068
24.99/25.01	o 580
25.09/25.10	c 19.0181 137.016 8520 2497194
25.09/25.10	o 578
25.09/25.19	c 19.1021 137.016 8576 2498544
25.09/25.19	o 577
25.30/25.37	c 19.2251 137.016 8611 2499670
25.30/25.37	o 576
25.40/25.42	c 19.2641 137.016 8627 2500456
25.40/25.42	o 575
25.50/25.55	c 19.3601 137.016 8650 2502419
25.50/25.55	o 572
25.60/25.68	c 19.452 137.016 8674 2504067
25.60/25.68	o 571
25.70/25.74	c 19.497 137.016 8681 2505280
25.70/25.74	o 569
25.70/25.79	c 19.546 137.016 8685 2506032
25.70/25.79	o 568
25.90/25.96	c 19.669 137.016 8716 2507869
25.90/25.96	o 567
25.99/26.05	c 19.751 137.016 8773 2508758
25.99/26.05	o 566
26.09/26.13	c 19.822 137.016 8829 2509605
26.09/26.13	o 565
26.09/26.19	c 19.873 137.016 8860 2510296
26.09/26.19	o 564
26.30/26.35	c 19.984 137.016 8899 2511112
26.30/26.35	o 563
26.30/26.40	c 20.029 137.016 8912 2511738
26.30/26.40	o 562
26.39/26.45	c 20.0739 137.016 8930 2512304
26.39/26.45	o 561
26.39/26.49	c 20.1099 137.016 8932 2512851
26.39/26.49	o 560
26.49/26.54	c 20.1559 137.016 8938 2513533
26.49/26.54	o 559
26.59/26.63	c 20.2179 137.016 8947 2514570
26.59/26.63	o 556
26.59/26.67	c 20.2569 137.016 8963 2515205
26.59/26.67	o 555
26.69/26.75	c 20.3209 137.016 8989 2516159
26.69/26.75	o 554
26.79/26.85	c 20.3929 137.016 9026 2517067
26.79/26.85	o 553
26.90/26.91	c 20.4419 137.016 9032 2517925
26.90/26.91	o 552
26.90/26.96	c 20.4899 137.016 9039 2519052
26.90/26.96	o 549
26.99/27.01	c 20.5259 137.145 9062 2519889
26.99/27.01	o 548
27.09/27.12	c 20.6079 137.145 9077 2521207
27.09/27.12	o 547
27.19/27.23	c 20.6899 137.145 9090 2523024
27.19/27.23	o 546
27.19/27.28	c 20.7348 137.145 9120 2524006
27.19/27.28	o 545
27.29/27.35	c 20.7978 137.145 9161 2525160
27.29/27.35	o 544
27.40/27.43	c 20.8748 137.145 9235 2526424
27.40/27.43	o 543
27.50/27.53	c 20.9448 137.145 9246 2527508
27.50/27.53	o 542
27.50/27.57	c 20.9788 137.145 9248 2528529
27.50/27.57	o 541
27.60/27.61	c 21.0168 137.145 9251 2529578
27.60/27.61	o 540
27.60/27.65	c 21.0548 137.145 9254 2530608
27.60/27.65	o 539
27.60/27.69	c 21.0918 137.145 9255 2531697
27.60/27.69	o 538
27.69/27.75	c 21.1378 137.145 9256 2532587
27.69/27.75	o 536
27.69/27.79	c 21.1708 137.145 9260 2533720
27.69/27.79	o 535
27.79/27.87	c 21.2328 137.145 9268 2536492
27.79/27.87	o 534
27.89/27.94	c 21.2928 137.145 9274 2537544
27.89/27.94	o 533
27.99/28.03	c 21.3598 137.145 9292 2538336
27.99/28.03	o 532
28.09/28.15	c 21.4437 137.145 9317 2539120
28.09/28.15	o 531
28.59/28.67	c 21.8177 137.145 9582 2541608
28.59/28.67	o 530
28.79/28.87	c 21.9687 137.145 9698 2543566
28.79/28.87	o 529
28.89/28.94	c 22.0207 137.145 9757 2544393
28.89/28.94	o 528
29.10/29.14	c 22.1606 137.145 9919 2545686
29.10/29.14	o 527
29.60/29.62	c 22.4866 137.145 10030 2547336
29.60/29.62	o 524
29.60/29.67	c 22.5256 137.145 10033 2548518
29.60/29.67	o 522
29.70/29.72	c 22.5666 137.145 10037 2548999
29.70/29.72	o 521
29.70/29.79	c 22.6126 137.145 10048 2550621
29.70/29.79	o 520
29.80/29.85	c 22.6546 137.145 10055 2551702
29.80/29.85	o 518
29.89/29.90	c 22.7015 137.145 10059 2552927
29.89/29.90	o 517
29.89/29.97	c 22.7545 137.145 10067 2553850
29.89/29.97	o 516
30.00/30.02	c 22.7955 137.145 10072 2554625
30.00/30.02	o 515
30.00/30.09	c 22.8465 137.145 10082 2556058
30.00/30.09	o 513
30.99/31.06	c 23.4754 137.273 10384 2558447
30.99/31.06	o 511
31.09/31.11	c 23.5254 137.273 10396 2559761
31.09/31.11	o 510
31.19/31.21	c 23.5874 137.273 10410 2560536
31.19/31.21	o 509
31.19/31.27	c 23.6404 137.273 10416 2561464
31.19/31.27	o 507
31.29/31.35	c 23.6984 137.273 10437 2562272
31.29/31.35	o 506
31.29/31.39	c 23.7324 137.273 10438 2563477
31.29/31.39	o 504
31.39/31.46	c 23.7944 137.273 10442 2565626
31.39/31.46	o 502
31.49/31.51	c 23.8404 137.273 10444 2566998
31.49/31.51	o 500
31.49/31.58	c 23.8904 137.273 10449 2568756
31.49/31.58	o 499
31.59/31.64	c 23.9374 137.273 10457 2569843
31.59/31.64	o 497
31.69/31.70	c 23.9924 137.273 10461 2571905
31.69/31.70	o 493
31.69/31.75	c 24.0353 137.273 10474 2573062
31.69/31.75	o 491
31.69/31.80	c 24.0793 137.273 10479 2573749
31.69/31.80	o 490
31.89/31.91	c 24.1643 137.273 10506 2576309
31.89/31.91	o 487
31.89/31.98	c 24.2253 137.273 10518 2577200
31.89/31.98	o 486
31.99/32.09	c 24.3043 137.273 10540 2578428
31.99/32.09	o 485
32.09/32.15	c 24.3533 137.273 10555 2580394
32.09/32.15	o 482
32.09/32.19	c 24.3933 137.273 10558 2581599
32.09/32.19	o 481
32.20/32.24	c 24.4353 137.273 10561 2582610
32.20/32.24	o 479
32.20/32.28	c 24.4703 137.273 10566 2584097
32.20/32.28	o 477
32.29/32.33	c 24.5143 137.273 10572 2584879
32.29/32.33	o 476
32.29/32.37	c 24.5493 137.273 10574 2585566
32.29/32.37	o 475
32.39/32.46	c 24.6253 137.273 10641 2586422
32.39/32.46	o 474
32.49/32.50	c 24.6612 137.273 10643 2587413
32.49/32.50	o 473
32.49/32.54	c 24.6982 137.273 10655 2588355
32.49/32.54	o 472
32.59/32.60	c 24.7472 137.273 10742 2589845
32.59/32.60	o 471
32.59/32.65	c 24.7922 137.273 10744 2592198
32.59/32.65	o 470
32.69/32.70	c 24.8312 137.273 10749 2593460
32.69/32.70	o 467
32.69/32.76	c 24.8812 137.273 10769 2595196
32.69/32.76	o 463
32.79/32.81	c 24.9192 137.273 10770 2596276
32.79/32.81	o 462
32.79/32.85	c 24.9552 137.273 10771 2597386
32.79/32.85	o 458
32.79/32.89	c 24.9882 137.273 10773 2598170
32.79/32.89	o 457
32.89/32.93	c 25.0202 137.273 10779 2598987
32.89/32.93	o 456
32.89/32.98	c 25.0592 137.273 10783 2600055
32.89/32.98	o 453
33.00/33.02	c 25.0962 137.273 10795 2600822
33.00/33.02	o 452
33.00/33.09	c 25.1602 137.273 10865 2602014
33.00/33.09	o 450
33.10/33.14	c 25.1952 137.273 10867 2602918
33.10/33.14	o 449
33.10/33.18	c 25.2292 137.273 10868 2603780
33.10/33.18	o 448
33.19/33.22	c 25.2662 137.273 10868 2604659
33.19/33.22	o 447
33.19/33.26	c 25.3012 137.273 10869 2605474
33.19/33.26	o 446
33.29/33.30	c 25.3321 137.273 10871 2606206
33.29/33.30	o 445
33.29/33.34	c 25.3661 137.273 10871 2607235
33.29/33.34	o 443
33.29/33.38	c 25.4051 137.273 10871 2608031
33.29/33.38	o 442
33.39/33.42	c 25.4391 137.273 10871 2608963
33.39/33.42	o 441
33.39/33.46	c 25.4721 137.273 10871 2609771
33.39/33.47	o 440
33.50/33.51	c 25.5091 137.273 10872 2610680
33.50/33.51	o 439
33.50/33.56	c 25.5531 137.273 10873 2611761
33.50/33.56	o 438
33.59/33.60	c 25.5901 137.273 10874 2613348
33.59/33.60	o 431
33.59/33.64	c 25.6301 137.273 10875 2614701
33.59/33.64	o 428
33.59/33.69	c 25.6641 137.273 10875 2615697
33.59/33.69	o 426
33.69/33.73	c 25.6991 137.273 10875 2616558
33.69/33.73	o 424
33.69/33.77	c 25.7371 137.273 10875 2617239
33.69/33.77	o 423
33.79/33.81	c 25.7681 137.273 10876 2618490
33.79/33.81	o 418
33.79/33.85	c 25.8041 137.402 10877 2619692
33.79/33.85	o 417
33.79/33.89	c 25.8401 137.402 10878 2620772
33.79/33.89	o 416
33.89/33.93	c 25.8751 137.402 10878 2621794
33.89/33.93	o 413
33.89/33.97	c 25.9121 137.402 10878 2622872
33.89/33.97	o 412
33.99/34.01	c 25.9491 137.402 10878 2624099
33.99/34.01	o 406
33.99/34.06	c 25.988 137.402 10881 2625344
33.99/34.06	o 401
33.99/34.10	c 26.025 137.402 10881 2626242
33.99/34.10	o 400
34.10/34.14	c 26.059 137.402 10883 2627669
34.10/34.14	o 397
34.19/34.22	c 26.123 137.402 10941 2628510
34.19/34.22	o 396
34.39/34.40	c 26.259 137.402 11024 2629567
34.39/34.40	o 394
34.39/34.44	c 26.303 137.402 11025 2630236
34.39/34.44	o 393
34.39/34.49	c 26.347 137.402 11030 2630988
34.39/34.49	o 392
34.49/34.56	c 26.395 137.402 11038 2631821
34.49/34.56	o 391
34.59/34.60	c 26.428 137.402 11041 2632466
34.59/34.60	o 390
34.59/34.64	c 26.464 137.402 11042 2633290
34.59/34.64	o 387
34.59/34.69	c 26.508 137.402 11047 2634047
34.59/34.69	o 386
34.69/34.75	c 26.554 137.402 11051 2634773
34.69/34.75	o 385
34.79/34.81	c 26.606 137.402 11058 2635737
34.79/34.81	o 384
34.79/34.86	c 26.6469 137.402 11058 2636551
34.79/34.86	o 383
34.90/34.90	c 26.6859 137.402 11060 2637369
34.90/34.90	o 382
34.90/34.95	c 26.7289 137.402 11068 2638743
34.90/34.95	o 380
34.99/35.00	c 26.7689 137.402 11095 2639732
34.99/35.00	o 379
34.99/35.04	c 26.8089 137.402 11118 2641215
34.99/35.04	o 375
34.99/35.10	c 26.8599 137.402 11199 2642263
34.99/35.10	o 373
35.10/35.15	c 26.9069 137.402 11215 2643021
35.10/35.15	o 371
35.20/35.21	c 26.9679 137.402 11262 2644022
35.20/35.21	o 370
35.20/35.26	c 27.0059 137.402 11263 2645230
35.20/35.26	o 364
35.29/35.31	c 27.0479 137.402 11267 2646684
35.29/35.31	o 358
35.29/35.35	c 27.0899 137.402 11270 2647241
35.29/35.35	o 356
35.29/35.40	c 27.1279 137.402 11272 2647834
35.29/35.40	o 355
35.39/35.44	c 27.1629 137.402 11273 2648480
35.39/35.44	o 354
35.39/35.48	c 27.2019 137.402 11274 2649148
35.39/35.48	o 353
35.49/35.52	c 27.2349 137.402 11274 2649814
35.49/35.52	o 352
35.49/35.56	c 27.2699 137.402 11274 2650480
35.49/35.56	o 351
35.59/35.62	c 27.3118 137.402 11279 2651256
35.59/35.62	o 350
35.59/35.66	c 27.3508 137.402 11282 2651973
35.59/35.66	o 349
35.70/35.70	c 27.3858 137.402 11282 2652713
35.70/35.70	o 347
35.70/35.74	c 27.4188 137.402 11282 2653811
35.70/35.74	o 344
35.70/35.78	c 27.4548 137.402 11283 2654473
35.70/35.78	o 343
35.79/35.82	c 27.4908 137.402 11283 2655520
35.79/35.82	o 339
35.79/35.87	c 27.5308 137.402 11285 2656431
35.79/35.87	o 338
35.90/35.91	c 27.5688 137.402 11286 2657250
35.90/35.91	o 336
35.90/35.96	c 27.6058 137.402 11289 2658127
35.90/35.96	o 334
35.99/36.01	c 27.6548 137.402 11294 2658823
35.99/36.01	o 333
35.99/36.08	c 27.7068 137.402 11297 2659583
35.99/36.08	o 332
36.10/36.12	c 27.7448 137.402 11298 2660109
36.10/36.12	o 331
36.10/36.16	c 27.7788 137.402 11298 2660650
36.10/36.16	o 330
36.20/36.20	c 27.8148 137.402 11298 2661450
36.20/36.20	o 328
36.20/36.25	c 27.8508 137.402 11300 2662027
36.20/36.25	o 327
36.20/36.29	c 27.8878 137.402 11302 2662723
36.20/36.29	o 326
36.40/36.44	c 27.9937 137.402 11330 2663628
36.40/36.44	o 325
36.40/36.49	c 28.0407 137.402 11338 2664287
36.40/36.49	o 324
36.49/36.56	c 28.0957 137.402 11346 2665053
36.49/36.56	o 323
36.59/36.61	c 28.1407 137.402 11349 2666003
36.59/36.61	o 322
36.59/36.65	c 28.1787 137.402 11351 2666632
36.59/36.65	o 321
36.69/36.70	c 28.2217 137.402 11355 2667350
36.69/36.70	o 320
36.69/36.76	c 28.2687 137.402 11359 2668018
36.69/36.76	o 319
36.79/36.80	c 28.3087 137.402 11359 2668582
36.79/36.80	o 318
36.79/36.84	c 28.3447 137.402 11361 2669653
36.79/36.84	o 312
36.79/36.88	c 28.3797 137.402 11361 2670191
36.79/36.88	o 311
36.90/36.92	c 28.4157 137.402 11362 2670862
36.90/36.92	o 309
36.90/36.97	c 28.4587 137.402 11366 2671372
36.90/36.97	o 308
36.99/37.01	c 28.4957 137.402 11366 2671845
36.99/37.01	o 307
36.99/37.06	c 28.5317 137.402 11366 2672602
36.99/37.06	o 305
37.09/37.10	c 28.5677 137.402 11366 2673301
37.09/37.10	o 302
37.09/37.14	c 28.6057 137.402 11367 2674003
37.09/37.14	o 299
37.09/37.18	c 28.6416 137.402 11367 2674506
37.09/37.18	o 298
37.19/37.22	c 28.6826 137.402 11369 2675188
37.19/37.22	o 296
37.19/37.26	c 28.7166 137.402 11370 2675656
37.19/37.26	o 295
37.29/37.31	c 28.7536 137.531 11370 2676245
37.29/37.31	o 293
37.29/37.35	c 28.7916 137.531 11371 2676799
37.29/37.35	o 292
37.29/37.39	c 28.8316 137.531 11375 2677620
37.29/37.39	o 289
37.39/37.46	c 28.8886 137.531 11381 2678443
37.39/37.46	o 287
37.49/37.51	c 28.9336 137.531 11387 2679716
37.49/37.51	o 285
37.49/37.56	c 28.9706 137.531 11390 2680508
37.49/37.56	o 284
37.59/37.63	c 29.0316 137.531 11403 2682226
37.59/37.63	o 279
37.59/37.69	c 29.0826 137.531 11421 2683374
37.59/37.69	o 277
37.69/37.74	c 29.1316 137.531 11441 2684234
37.69/37.74	o 275
37.69/37.79	c 29.1676 137.531 11442 2684926
37.69/37.79	o 274
37.79/37.83	c 29.2026 137.531 11444 2686313
37.79/37.83	o 267
37.79/37.87	c 29.2356 137.531 11447 2687115
37.79/37.87	o 265
37.89/37.92	c 29.2755 137.531 11450 2687888
37.89/37.92	o 263
37.89/37.96	c 29.3085 137.531 11452 2688703
37.89/37.96	o 262
37.99/38.00	c 29.3445 137.531 11454 2689423
37.99/38.00	o 261
37.99/38.04	c 29.3805 137.531 11454 2690176
37.99/38.04	o 259
38.09/38.10	c 29.4255 137.531 11458 2691230
38.09/38.10	o 258
38.09/38.14	c 29.4665 137.531 11460 2691940
38.09/38.14	o 257
38.09/38.19	c 29.5055 137.531 11462 2692871
38.09/38.19	o 255
38.19/38.24	c 29.5455 137.531 11464 2693683
38.19/38.24	o 254
38.29/38.30	c 29.5925 137.531 11470 2694694
38.29/38.30	o 252
38.29/38.34	c 29.6325 137.531 11470 2695245
38.29/38.34	o 251
38.29/38.39	c 29.6705 137.531 11471 2695746
38.29/38.39	o 250
38.39/38.43	c 29.7045 137.531 11472 2696381
38.39/38.43	o 249
38.39/38.47	c 29.7415 137.531 11472 2696896
38.39/38.47	o 248
38.50/38.51	c 29.7755 137.531 11472 2697580
38.50/38.51	o 246
38.50/38.56	c 29.8155 137.531 11473 2698130
38.50/38.56	o 245
38.59/38.61	c 29.8605 137.531 11474 2698737
38.59/38.61	o 244
38.59/38.65	c 29.8995 137.531 11478 2699592
38.59/38.65	o 242
38.70/38.71	c 29.9404 137.531 11480 2700377
38.70/38.71	o 240
38.70/38.75	c 29.9764 137.531 11480 2701096
38.70/38.75	o 238
38.79/38.80	c 30.0224 137.531 11482 2702117
38.79/38.80	o 237
38.79/38.84	c 30.0604 137.531 11483 2702741
38.79/38.84	o 236
38.89/38.91	c 30.1164 137.531 11489 2703950
38.89/38.91	o 235
38.89/38.95	c 30.1544 137.531 11491 2704810
38.89/38.95	o 233
38.89/38.99	c 30.1914 137.531 11491 2705753
38.89/38.99	o 228
38.99/39.05	c 30.2394 137.531 11493 2706805
38.99/39.05	o 227
38.99/39.09	c 30.2804 137.531 11497 2707716
38.99/39.09	o 223
39.09/39.13	c 30.3134 137.531 11498 2708397
39.09/39.13	o 222
39.09/39.18	c 30.3554 137.531 11499 2708978
39.09/39.18	o 221
39.19/39.24	c 30.4024 137.531 11501 2709677
39.19/39.24	o 220
39.19/39.29	c 30.4424 137.531 11505 2710262
39.19/39.29	o 219
39.30/39.33	c 30.4824 137.531 11509 2711079
39.30/39.33	o 217
39.30/39.38	c 30.5244 137.531 11516 2711725
39.30/39.38	o 216
39.40/39.47	c 30.6003 137.531 11539 2712571
39.40/39.47	o 215
39.50/39.53	c 30.6493 137.531 11547 2713103
39.50/39.53	o 214
39.50/39.57	c 30.6883 137.531 11552 2713878
39.50/39.57	o 211
39.60/39.65	c 30.7573 137.531 11572 2714700
39.60/39.65	o 210
39.69/39.70	c 30.8023 137.531 11592 2715242
39.69/39.70	o 209
39.69/39.76	c 30.8443 137.531 11604 2715914
39.69/39.76	o 208
39.80/39.80	c 30.8813 137.531 11604 2716466
39.80/39.80	o 207
39.80/39.85	c 30.9263 137.531 11608 2716962
39.80/39.85	o 206
39.80/39.89	c 30.9623 137.531 11609 2717519
39.80/39.89	o 205
39.89/39.94	c 30.9993 137.531 11610 2718206
39.89/39.94	o 203
39.89/39.98	c 31.0393 137.531 11620 2718962
39.89/39.98	o 201
40.00/40.02	c 31.0753 137.531 11621 2719509
40.00/40.02	o 200
40.00/40.07	c 31.1163 137.531 11626 2719926
40.00/40.07	o 199
40.09/40.13	c 31.1793 137.531 11644 2720620
40.09/40.13	o 198
40.09/40.19	c 31.2343 137.531 11676 2721493
40.09/40.19	o 197
40.19/40.25	c 31.2852 137.531 11704 2722124
40.19/40.25	o 196
40.19/40.29	c 31.3252 137.531 11706 2722636
40.19/40.29	o 195
40.29/40.34	c 31.3632 137.531 11730 2723242
40.29/40.34	o 194
40.29/40.38	c 31.4042 137.531 11732 2723702
40.29/40.38	o 193
40.39/40.43	c 31.4442 137.531 11736 2724318
40.39/40.43	o 190
40.39/40.47	c 31.4812 137.531 11739 2725247
40.39/40.47	o 187
40.49/40.52	c 31.5202 137.531 11740 2725870
40.49/40.52	o 185
40.49/40.57	c 31.5612 137.531 11741 2726477
40.49/40.57	o 183
40.59/40.62	c 31.6042 137.531 11742 2727077
40.59/40.62	o 181
40.59/40.66	c 31.6382 137.531 11742 2727756
40.59/40.66	o 178
40.70/40.71	c 31.6832 137.66 11745 2728294
40.70/40.71	o 177
40.70/40.75	c 31.7182 137.66 11746 2729165
40.70/40.75	o 174
40.70/40.79	c 31.7562 137.66 11746 2729848
40.70/40.79	o 171
40.79/40.83	c 31.7902 137.66 11747 2730674
40.79/40.83	o 169
40.79/40.88	c 31.8252 137.66 11750 2731210
40.79/40.88	o 167
40.90/40.92	c 31.8612 137.66 11752 2731843
40.90/40.92	o 166
40.90/40.96	c 31.9012 137.66 11756 2732212
40.90/40.96	o 165
41.00/41.03	c 31.9581 137.66 11797 2733113
41.00/41.03	o 161
41.00/41.07	c 31.9981 137.66 11800 2733496
41.00/41.07	o 160
41.10/41.12	c 32.0311 137.66 11804 2734056
41.10/41.12	o 159
41.10/41.16	c 32.0671 137.66 11806 2734629
41.10/41.16	o 157
41.20/41.20	c 32.1021 137.66 11806 2735300
41.20/41.20	o 154
41.20/41.24	c 32.1391 137.66 11807 2735972
41.20/41.24	o 151
41.20/41.29	c 32.1831 137.66 11808 2736731
41.20/41.29	o 147
41.30/41.33	c 32.2211 137.66 11809 2737310
41.30/41.33	o 146
41.30/41.37	c 32.2581 137.66 11810 2737911
41.30/41.37	o 144
41.39/41.41	c 32.2931 137.66 11810 2738426
41.39/41.41	o 143
41.39/41.45	c 32.3301 137.66 11810 2738905
41.39/41.45	o 142
41.39/41.49	c 32.3651 137.66 11811 2739417
41.39/41.49	o 141
41.49/41.54	c 32.4001 137.66 11811 2740104
41.49/41.54	o 138
41.49/41.58	c 32.4361 137.66 11811 2740580
41.49/41.58	o 137
41.59/41.62	c 32.4751 137.66 11811 2741062
41.59/41.62	o 136
41.59/41.67	c 32.5111 137.66 11816 2741760
41.59/41.67	o 134
41.69/41.71	c 32.5461 137.66 11823 2742619
41.69/41.71	o 131
41.69/41.75	c 32.585 137.66 11833 2743336
41.69/41.75	o 128
41.69/41.79	c 32.624 137.66 11833 2744020
41.69/41.79	o 125
41.80/41.83	c 32.656 137.66 11833 2744724
41.80/41.83	o 124
41.80/41.88	c 32.69 137.66 11833 2745428
41.80/41.88	o 121
41.89/41.92	c 32.727 137.66 11833 2745980
41.89/41.92	o 120
41.89/41.96	c 32.76 137.66 11833 2746497
41.89/41.96	o 119
42.00/42.00	c 32.793 137.66 11833 2746972
42.00/42.00	o 118
42.00/42.04	c 32.829 137.66 11833 2747608
42.00/42.04	o 116
42.00/42.08	c 32.867 137.66 11834 2748177
42.00/42.08	o 115
42.09/42.13	c 32.902 137.66 11837 2749012
42.09/42.13	o 111
42.09/42.17	c 32.938 137.66 11839 2749524
42.09/42.17	o 109
42.19/42.21	c 32.972 137.66 11840 2749917
42.19/42.21	o 108
42.19/42.25	c 33.008 137.66 11843 2750498
42.19/42.25	o 106
42.30/42.31	c 33.057 137.66 11846 2751113
42.30/42.31	o 105
42.30/42.36	c 33.098 137.66 11851 2751728
42.30/42.36	o 103
42.39/42.40	c 33.132 137.66 11853 2752256
42.39/42.40	o 102
42.39/42.44	c 33.165 137.66 11854 2752987
42.39/42.44	o 100
42.39/42.49	c 33.202 137.66 11858 2753565
42.39/42.49	o 99
42.49/42.55	c 33.2609 137.66 11902 2754212
42.49/42.55	o 98
42.59/42.61	c 33.3219 137.66 11951 2755190
42.59/42.61	o 93
42.59/42.66	c 33.3579 137.66 11952 2755762
42.59/42.66	o 92
42.69/42.70	c 33.3949 137.66 9889 2756133
42.69/42.70	o 91
42.69/42.74	c 33.4309 137.66 9890 2756503
42.69/42.74	o 90
42.69/42.78	c 33.4659 137.66 9892 2757135
42.69/42.78	o 89
42.80/42.82	c 33.4949 137.66 9894 2757635
42.80/42.82	o 88
42.80/42.87	c 33.5399 137.66 9898 2758322
42.80/42.87	o 86
42.90/42.91	c 33.5729 137.66 9898 2758843
42.90/42.91	o 85
42.90/42.95	c 33.6029 137.66 9898 2759307
42.90/42.95	o 83
42.90/42.99	c 33.6349 137.66 9898 2759940
42.90/42.99	o 81
43.00/43.03	c 33.6709 137.66 8057 2760843
43.00/43.03	o 76
43.00/43.07	c 33.7099 137.66 8059 2761266
43.00/43.07	o 75
43.09/43.12	c 33.7509 137.66 8069 2761990
43.09/43.12	o 74
43.09/43.17	c 33.7909 137.66 8071 2762831
43.09/43.17	o 71
43.19/43.21	c 33.8279 137.66 8075 2763359
43.19/43.21	o 70
43.19/43.25	c 33.8649 137.66 7982 2763683
43.19/43.25	o 69
43.19/43.29	c 33.9058 137.66 7983 2764352
43.19/43.29	o 68
43.30/43.33	c 33.9408 137.66 7983 2764961
43.30/43.33	o 67
43.30/43.36	c 33.9718 137.66 7983 2765532
43.30/43.36	o 66
43.39/43.40	c 34.0048 137.66 7983 2766084
43.39/43.40	o 65
43.39/43.43	c 34.0368 137.66 7984 2766481
43.39/43.43	o 64
43.39/43.47	c 34.0688 137.66 7973 2766999
43.39/43.47	o 63
43.50/43.51	c 34.1018 137.66 7982 2767437
43.50/43.51	o 62
43.50/43.55	c 34.1408 137.66 7986 2768015
43.50/43.55	o 61
43.50/43.59	c 34.1748 137.66 7990 2768525
43.50/43.59	o 60
43.59/43.63	c 34.2158 137.66 7997 2769189
43.59/43.63	o 59
43.59/43.68	c 34.2558 137.66 8001 2769788
43.59/43.68	o 58
43.70/43.71	c 34.2858 137.66 7982 2770285
43.70/43.71	o 57
43.70/43.75	c 34.3238 137.66 7985 2770857
43.70/43.75	o 56
43.70/43.79	c 34.3558 137.66 7988 2771362
43.70/43.79	o 55
43.80/43.82	c 34.3878 137.66 7988 2771977
43.80/43.82	o 53
43.80/43.86	c 34.4208 137.66 7989 2772494
43.80/43.86	o 52
43.80/43.89	c 34.4518 137.66 7991 2773052
43.80/43.89	o 51
43.89/43.93	c 34.4878 137.66 7986 2773574
43.89/43.93	o 50
43.89/43.97	c 34.5248 137.66 8003 2774193
43.89/43.97	o 49
44.00/44.01	c 34.5567 137.66 8007 2774844
44.00/44.01	o 47
44.00/44.04	c 34.5887 137.66 8011 2775341
44.00/44.04	o 46
44.00/44.08	c 34.6157 137.66 8018 2775848
44.00/44.08	o 45
44.09/44.12	c 34.6547 137.66 8035 2776328
44.09/44.12	o 44
44.09/44.16	c 34.6987 137.66 8052 2777023
44.09/44.16	o 42
44.19/44.20	c 34.7307 137.66 8056 2777519
44.19/44.20	o 41
44.19/44.23	c 34.7597 137.66 8056 2778077
44.19/44.23	o 40
44.19/44.26	c 34.7887 137.66 8056 2778597
44.19/44.26	o 39
44.30/44.31	c 34.8317 137.66 8098 2779279
44.30/44.31	o 38
44.30/44.34	c 34.8647 137.66 8110 2779612
44.30/44.34	o 37
44.30/44.38	c 34.8927 137.66 8111 2779928
44.30/44.38	o 36
44.40/44.41	c 34.9207 137.66 8111 2780208
44.40/44.41	o 35
44.40/44.44	c 34.9497 137.66 8113 2780534
44.40/44.44	o 34
44.40/44.47	c 34.9767 137.66 8117 2780871
44.40/44.47	o 33
44.49/44.50	c 35.0047 137.66 8117 2781219
44.49/44.50	o 32
44.49/44.53	c 35.0347 137.66 8123 2781586
44.49/44.53	o 31
44.49/44.59	c 35.0967 137.66 8163 2781990
44.49/44.59	o 30
44.60/44.63	c 35.1287 137.66 8167 2782543
44.60/44.63	o 29
44.60/44.66	c 35.1597 137.66 8169 2783079
44.60/44.66	o 27
44.60/44.69	c 35.1876 137.66 8173 2783556
44.60/44.69	o 26
44.69/44.72	c 35.2156 137.66 8176 2784267
44.69/44.72	o 24
44.69/44.76	c 35.2486 137.66 8182 2784630
44.69/44.76	o 23
44.69/44.79	c 35.2796 137.66 8188 2785044
44.69/44.79	o 22
44.79/44.82	c 35.3076 137.66 8190 2785446
44.79/44.82	o 21
44.79/44.85	c 35.3316 137.66 8193 2786000
44.79/44.85	o 18
44.79/44.88	c 35.3606 137.66 8197 2786376
44.79/44.88	o 17
44.89/44.90	c 35.3856 137.66 8197 2786726
44.89/44.90	o 16
44.89/44.93	c 35.4096 137.66 8197 2787121
44.89/44.93	o 15
44.89/44.96	c 35.4376 137.66 8182 2787522
44.89/44.96	o 14
44.89/44.99	c 35.4646 137.66 8183 2787987
44.89/44.99	o 12
45.00/45.01	c 35.4916 137.66 8184 2788366
45.00/45.01	o 11
45.00/45.04	c 35.5136 137.66 8184 2788813
45.00/45.04	o 9
45.00/45.07	c 35.5396 137.66 8184 2789181
45.00/45.07	o 8
45.00/45.09	c 35.5636 137.66 8185 2789632
45.00/45.09	o 7
45.10/45.12	c 35.5896 137.66 8191 2790206
45.10/45.12	o 4
45.10/45.14	c 35.6136 137.66 8191 2790563
45.10/45.14	o 3
45.10/45.17	c 35.6376 137.66 8184 2790904
45.10/45.17	o 2
45.10/45.18	c 35.6456 137.66 8187 2790943
45.10/45.18	s OPTIMUM FOUND
45.10/45.18	v -x1 x2 -x3 x4 -x5 x6 -x7 x8 x9 x10 x11 x12 -x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 x22 -x23 -x24 x25 -x26 x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 x46 x47 -x48 -x49 x50 -x51 x52 -x53 -x54 x55 -x56 x57 -x58 -x59 -x60 x61 x62 -x63 -x64 x65 -x66 x67 -x68 -x69 x70 -x71 x72 -x73 -x74 x75 -x76 x77 x78 x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 x104 x105 x106 x107 x108 -x109 -x110 x111 -x112 -x113 x114 x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 x125 x126 -x127 -x128 -x129 x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 x175 -x176 x177 -x178 -x179 -x180 -x181 x182 -x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 x192 -x193 -x194 x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 x236 x237 x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 -x247 x248 x249 x250 x251 x252 x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 x358 x359 x360 x361 -x362 -x363 x364 x365 -x366 -x367 -x368 x369 x370 x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 x408 x409 x410 x411 x412 x413 x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 x429 -x430 x431 -x432 -x433 -x434 x435 x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 x537 x538 x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 x614 x615 x616 -x617 x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 x639 -x640 -x641 -x642 x643 -x644 -x645 x646 -x647 x648 -x649 -x650 -x651 x652 x653 -x654 -x655 -x656 x657 x658 -x659 x660 -x661 -x662 x663 x664 -x665 -x666 -x667 -x668 -x669 x670 x671 x672 x673 -x674 x675 x676 x677 x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 x688 -x689 x690 -x691 x692 -x693 -x694 -x695 x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 x712 -x713 x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 x751 x752 x753 x754 -x755 x756 -x757 x758 -x759 x760 -x761 -x762 x763 x764 x765 x766 x767 x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 x853 x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 x886 x887 x888 x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 x955 x956 x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 x1032 -x1033 -x1034 -x1035 x1036 x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 x1167 x1168 x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 x1187 -x1188 -x1189 -x1190 x1191 x1192 x1193 x1194 x1195 x1196 -x1197 x1198 x1199 -x1200 x1201 x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 x1215 -x1216 x1217 x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 x1228 x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 x1346 x1347 x1348 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 x1444 x1445 x1446 x1447 x1448 -x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 -x1670 -x1671 x1672 -x1673 -x1674 x1675 x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 x1817 x1818 -x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 x1853 -x1854 -x1855 -x1856 x1857 -x1858 x1859 -x1860 -x1861 -x1862 x1863 x1864 x1865 x1866 x1867 x1868 x1869 x1870 -x1871 x1872 x1873 -x1874 x1875 x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 x1889 -x1890 x1891 x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 x1902 x1903 -x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 x2134 x2135 x2136 x2137 x2138 x2139 -x2140 -x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 -x2416 -x2417 x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 x2759 x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 x2771 x2772 x2773 x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 x2787 x2788 -x2789 x2790 x2791 x2792 -x2793 -x2794 x2795 x2796 x2797 -x2798 -x2799 -x2800 -x2801 x2802 -x2803 x2804 -x2805 -x2806 x2807 -x2808 x2809 -x2810 x2811 x2812 x2813 -x2814 -x2815 -x2816 x2817 -x2818 x2819 -x2820 x2821 -x2822 -x2823 -x2824 x2825 x2826 -x2827 -x2828 x2829 -x2830 x2831 -x2832 -x2833 x2834 -x2835 -x2836 -x2837 x2838 x2839 -x2840 -x2841 x2842 -x2843 x2844 -x2845 -x2846 -x2847 -x2848 x2849 x2850 -x2851 -x2852 -x2853 x2854 x2855 -x2856 x2857 -x2858 x2859 -x2860 x2861 -x2862 -x2863 x2864 -x2865 x2866 -x2867 -x2868 x2869 -x2870 x2871 -x2872 -x2873 x2874 -x2875 x2876 -x2877 -x2878 x2879 -x2880 x2881 -x2882 -x2883 x2884 -x2885 x2886 -x2887 -x2888 -x2889 x2890 -x2891 x2892 -x2893 -x2894 -x2895 x2896 -x2897 x2898 -x2899 -x2900 x2901 -x2902 x2903 -x2904 -x2905 -x2906 x2907 x2908 -x2909 -x2910 -x2911 x2912 x2913 -x2914 -x2915 x2916 -x2917 x2918 x2919 -x2920 x2921 -x2922 x2923 x2924 -x2925 -x2926 x2927 x2928 x2929 -x2930 x2931 -x2932 x2933 x2934 -x2935 -x2936 x2937 x2938 x2939 -x2940 x2941 -x2942 x2943 x2944 x2945 x2946 x2947 -x2948 -x2949 -x2950 x2951 x2952 x2953 x2954 x2955 -x2956 -x2957 -x2958 x2959 x2960 x2961 x2962 x2963 -x2964 x2965 -x2966 -x2967 -x2968 x2969 -x2970 -x2971 x2972 x2973 -x2974 -x2975 x2976 x2977 x2978 x2979 -x2980 -x2981 x2982 x2983 x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2992 x2993 x2994 -x2995 x2996 x2997 x2998 x2999 x3000 x3001 x3002 x3003 x3004 x3005 -x3006 -x3007 x3008 x3009 x3010 x3011 x3012 x3013 x3014 x3015 x3016 x3017 x3018 x3019 x3020 x3021 x3022 x3023 x3024 x3025 x3026 x3027 x3028 x3029 x3030 x3031 x3032 x3033 x3034 x3035 x3036 x3037 x3038 x3039 x3040 x3041 x3042 x3043 x3044 x3045 x3046 x3047 x3048 x3049 x3050 x3051 -x3052 -x3053 x3054 x3055 x3056 x3057 x3058 x3059 x3060 x3061 -x3062 -x3063 x3064 x3065 x3066 x3067 x3068 x3069 x3070 x3071 x3072 x3073 x3074 x3075 x3076 x3077 x3078 x3079 x3080 x3081 -x3082 -x3083 x3084 x3085 x3086 x3087 -x3088 -x3089 x3090 x3091 x3092 x3093 -x3094 -x3095 -x3096 x3097 x3098 x3099 x3100 x3101 x3102 x3103 x3104 x3105 x3106 x3107 x3108 x3109 -x3110 -x3111 x3112 x3113 x3114 x3115 x3116 x3117 -x3118 -x3119 x3120 x3121 x3122 x3123 x3124 -x3125 -x3126 -x3127 x3128 x3129 x3130 x3131 x3132 -x3133 -x3134 -x3135 x3136 x3137 x3138 x3139 x3140 -x3141 -x3142 -x3143 x3144 x3145 x3146 x3147 x3148 -x3149 -x3150 -x3151 x3152 x3153 -x3154 -x3155 x3156 x3157 x3158 x3159 -x3160 -x3161 x3162 x3163 x3164 x3165 x3166 x3167 -x3168 -x3169 x3170 x3171 x3172 x3173 x3174 -x3175 -x3176 -x3177 x3178 x3179 -x3180 -x3181 -x3182 x3183 x3184 x3185 x3186 x3187 -x3188 -x3189 -x3190 x3191 x3192 x3193 x3194 x3195 x3196 -x3197 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 x3211 -x3212 x3213 -x3214 x3215 x3216 x3217 x3218 x3219 -x3220 -x3221 -x3222 x3223 x3224 x3225 x3226 -x3227 -x3228 x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3292 -x3293 -x3294 -x3295 x3296 x3297 x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 x3327 x3328 x3329 x3330 x3331 x3332 x3333 x3334 x3335 x3336 x3337 x3338 x3339 x3340 -x3341 x3342 x3343 x3344 -x3345 x3346 x3347 -x3348 x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 -x3359 -x3360 x3361 x3362 x3363 -x3364 -x3365 x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 x3388 -x3389 -x3390 -x3391 -x3392 -x3393 x3394 x3395 x3396 x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 x3406 -x3407 -x3408 -x3409 x3410 -x3411 -x3412 -x3413 x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 x3426 -x3427 -x3428 -x3429 -x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 x3442 -x3443 -x3444 -x3445 x3446 -x3447 -x3448 -x3449 -x3450 x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 -x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 x3510 x3511 x3512 -x3513 -x3514 x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 x3561 -x3562 -x3563 -x3564 -x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 -x3580 -x3581 -x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 x3606 -x3607 -x3608 -x3609 x3610 -x3611 -x3612 -x3613 -x3614 x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 x3625 -x3626 -x3627 -x3628 -x3629 -x3630 x3631 -x3632 -x3633 -x3634 x3635 -x3636 x3637 -x3638 -x3639 -x3640 -x3641 x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 x3693 x3694 x3695 -x3696 -x3697 x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 -x3802 -x3803 -x3804 -x3805 x3806 x3807 x3808 x3809 -x3810 x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 x3826 x3827 x3828 x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 x3846 x3847 -x3848 -x3849 x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 x3861 -x3862 -x3863 -x3864 -x3865 x3866 -x3867 -x3868 -x3869 -x3870 x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 x3885 -x3886 -x3887 -x3888 -x3889 x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 x3930 -x3931 -x3932 -x3933 -x3934 x3935 -x3936 -x3937 -x3938 -x3939 x3940 -x3941 -x3942 x3943 -x3944 -x3945 x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 x4038 x4039 x4040 x4041 x4042 x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 x4065 x4066 -x4067 x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 x4354 x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4366 -x4367 -x4368 x4369 -x4370 -x4371 -x4372 x4373 -x4374 x4375 -x4376 -x4377 -x4378 x4379 -x4380 -x4381 -x4382 x4383 -x4384 -x4385 -x4386 -x4387 x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 x4397 -x4398 -x4399 x4400 -x4401 x4402 -x4403 -x4404 -x4405 -x4406 x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 x4428 -x4429 -x4430 -x4431 -x4432 -x4433 x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 x4449 -x4450 x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 x4490 -x4491 x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 x4547 x4548 x4549 x4550 x4551 x4552 x4553 x4554 x4555 x4556 x4557 x4558 -x4559 -x4560 -x4561 -x4562 x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 x4581 x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 x4590 -x4591 -x4592 x4593 x4594 x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 x4602 -x4603 -x4604 x4605 x4606 x4607 -x4608 -x4609 x4610 x4611 -x4612 -x4613 x4614 -x4615 x4616 x4617 -x4618 x4619 x4620 -x4621 x4622 x4623 x4624 x4625 x4626 -x4627 x4628 -x4629 x4630 -x4631 -x4632 x4633 x4634 -x4635 x4636 x4637 x4638 -x4639 x4640 x4641 -x4642 x4643 -x4644 x4645 -x4646 x4647 -x4648 x4649 x4650 -x4651 -x4652 x4653 -x4654 x4655 x4656 -x4657 -x4658 x4659 -x4660 -x4661 -x4662 x4663 -x4664 x4665 -x4666 x4667 -x4668 -x4669 x4670 -x4671 x4672 -x4673 x4674 x4675 -x4676 x4677 x4678 x4679 x4680 -x4681 -x4682 -x4683 x4684 x4685 -x4686 -x4687 x4688 -x4689 x4690 x4691 x4692 -x4693 -x4694 x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 x4705 -x4706 -x4707 -x4708 x4709 x4710 -x4711 x4712 x4713 -x4714 x4715 x4716 x4717 -x4718 -x4719 -x4720 -x4721 x4722 -x4723 x4724 x4725 -x4726 x4727 x4728 x4729 x4730 -x4731 x4732 x4733 -x4734 x4735 x4736 x4737 -x4738 -x4739 x4740 x4741 x4742 x4743 x4744 -x4745 x4746 -x4747 -x4748 x4749 -x4750 x4751 x4752 x4753 x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 x4761 -x4762 x4763 x4764 x4765 x4766 -x4767 x4768 x4769 x4770 -x4771 x4772 x4773 -x4774 x4775 x4776 x4777 x4778 x4779 x4780 x4781 -x4782 -x4783 -x4784 -x4785 x4786 x4787 x4788 -x4789 x4790 -x4791 -x4792 -x4793 x4794 x4795 -x4796 x4797 -x4798 x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 x4808 x4809 x4810 x4811 x4812 -x4813 x4814 -x4815 x4816 -x4817 -x4818 x4819 -x4820 x4821 x4822 -x4823 x4824 -x4825 -x4826 -x4827 x4828 x4829 -x4830 x4831 x4832 x4833 x4834 -x4835 x4836 x4837 -x4838 -x4839 x4840 x4841 -x4842 x4843 x4844 -x4845 x4846 x4847 -x4848 -x4849 x4850 x4851 x4852 x4853 -x4854 -x4855 -x4856 -x4857 -x4858 x4859 -x4860 -x4861 x4862 x4863 x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 x4874 x4875 x4876 -x4877 x4878 x4879 -x4880 x4881 x4882 x4883 -x4884 x4885 x4886 -x4887 x4888 x4889 x4890 x4891 x4892 x4893 -x4894 -x4895 x4896 x4897 x4898 x4899 x4900 -x4901 -x4902 x4903 x4904 -x4905 x4906 x4907 -x4908 x4909 x4910 x4911 x4912 x4913 -x4914 x4915 x4916 x4917 -x4918 -x4919 -x4920 x4921 x4922 -x4923 x4924 -x4925 x4926 -x4927 -x4928 x4929 x4930 x4931 x4932 -x4933 -x4934 x4935 x4936 -x4937 x4938 -x4939 -x4940 x4941 x4942 x4943 x4944 -x4945 -x4946 -x4947 x4948 -x4949 x4950 x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 x4959 -x4960 x4961 -x4962 -x4963 x4964 -x4965 x4966 x4967 x4968 -x4969 -x4970 x4971 -x4972 x4973 x4974 x4975 x4976 -x4977 -x4978 -x4979 -x4980 x4981 x4982 x4983 -x4984 -x4985 -x4986 -x4987 x4988 x4989 x4990 -x4991 x4992 x4993 x4994 x4995 x4996 x4997 x4998 x4999 x5000 x5001 -x5002 x5003 x5004 x5005 -x5006 x5007 x5008 -x5009 x5010 x5011 x5012 -x5013 x5014 x5015 -x5016 -x5017 -x5018 -x5019 -x5020 x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 x5028 -x5029 -x5030 x5031 -x5032 x5033 x5034 -x5035 -x5036 x5037 x5038 -x5039 -x5040 x5041 -x5042 x5043 -x5044 -x5045 -x5046 -x5047 x5048 -x5049 x5050 x5051 x5052 x5053 -x5054 -x5055 x5056 x5057 x5058 -x5059 -x5060 -x5061 x5062 -x5063 x5064 x5065 x5066 x5067 -x5068 -x5069 x5070 x5071 x5072

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698782-1278461522/watcher-2698782-1278461522 -o /tmp/evaluation-result-2698782-1278461522/solver-2698782-1278461522 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698782-1278461522.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.91 4/177 11101
/proc/meminfo: memFree=30856144/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=2136 CPUtime=0
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 14299420 2187264 176 4089446400 134512640 136422188 4292761008 18446744073709551615 135154944 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/11101/statm: 534 176 144 467 0 65 0

[startup+0.024708 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 11101
/proc/meminfo: memFree=30856144/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=2400 CPUtime=0.02
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 303 0 0 0 2 0 0 0 25 0 1 0 14299420 2457600 223 4089446400 134512640 136422188 4292761008 18446744073709551615 135818638 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/11101/statm: 600 223 144 467 0 131 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2400

[startup+0.100694 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 11101
/proc/meminfo: memFree=30856144/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=8108 CPUtime=0.1
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 1711 0 0 0 10 0 0 0 25 0 1 0 14299420 8302592 1631 4089446400 134512640 136422188 4292761008 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 2027 1634 187 467 0 1558 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8108

[startup+0.300654 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 11101
/proc/meminfo: memFree=30856144/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=54388 CPUtime=0.29
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 13819 0 0 0 28 1 0 0 25 0 1 0 14299420 55693312 13173 4089446400 134512640 136422188 4292761008 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 13597 13175 193 467 0 13128 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54388

[startup+0.700592 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 11101
/proc/meminfo: memFree=30856144/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=130524 CPUtime=0.69
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 33709 0 0 0 66 3 0 0 25 0 1 0 14299420 133656576 31552 4089446400 134512640 136422188 4292761008 18446744073709551615 135809822 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 32631 31552 203 467 0 32162 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 130524

[startup+1.50043 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11102
/proc/meminfo: memFree=30724944/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=136988 CPUtime=1.49
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 35255 0 0 0 127 22 0 0 25 0 1 0 14299420 140275712 33098 4089446400 134512640 136422188 4292761008 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 34247 33098 214 467 0 33778 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 136988

[startup+3.10112 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11102
/proc/meminfo: memFree=30723212/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=138972 CPUtime=3.09
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 35865 0 0 0 236 73 0 0 25 0 1 0 14299420 142307328 33275 4089446400 134512640 136422188 4292761008 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 34743 33275 237 467 0 34274 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 138972

[startup+6.30051 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11102
/proc/meminfo: memFree=30723368/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=139368 CPUtime=6.29
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 35974 0 0 0 477 152 0 0 25 0 1 0 14299420 142712832 33365 4089446400 134512640 136422188 4292761008 18446744073709551615 135028853 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 34842 33365 237 467 0 34373 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 139368

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11102
/proc/meminfo: memFree=30723252/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=139772 CPUtime=12.69
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 36120 0 0 0 958 311 0 0 25 0 1 0 14299420 143126528 33459 4089446400 134512640 136422188 4292761008 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 34943 33459 237 467 0 34474 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 139772

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11129
/proc/meminfo: memFree=30641260/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=140300 CPUtime=25.5
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 36401 0 0 0 1932 618 0 0 25 0 1 0 14299420 143667200 33611 4089446400 134512640 136422188 4292761008 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 35075 33611 237 467 0 34606 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 140300

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

[startup+38.3004 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11129
/proc/meminfo: memFree=30639164/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=140828 CPUtime=38.29
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 36722 0 0 0 2958 871 0 0 25 0 1 0 14299420 144207872 33741 4089446400 134512640 136422188 4292761008 18446744073709551615 134868256 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 35207 33741 237 467 0 34738 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 140828

[startup+41.5008 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11129
/proc/meminfo: memFree=30638916/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=140960 CPUtime=41.49
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 36822 0 0 0 3236 913 0 0 25 0 1 0 14299420 144343040 33773 4089446400 134512640 136422188 4292761008 18446744073709551615 134599225 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 35240 33773 237 467 0 34771 0
Current children cumulated CPU time (s) 41.49
Current children cumulated vsize (KiB) 140960

[startup+43.1005 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11129
/proc/meminfo: memFree=30639156/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=140960 CPUtime=43.09
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 36869 0 0 0 3372 937 0 0 25 0 1 0 14299420 144343040 33784 4089446400 134512640 136422188 4292761008 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 35240 33784 237 467 0 34771 0
Current children cumulated CPU time (s) 43.09
Current children cumulated vsize (KiB) 140960

[startup+44.7012 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11129
/proc/meminfo: memFree=30639032/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=140960 CPUtime=44.69
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 36921 0 0 0 3519 950 0 0 25 0 1 0 14299420 144343040 33793 4089446400 134512640 136422188 4292761008 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 35240 33793 237 467 0 34771 0
Current children cumulated CPU time (s) 44.69
Current children cumulated vsize (KiB) 140960

[startup+45.1061 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11129
/proc/meminfo: memFree=30638908/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=140960 CPUtime=45.1
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 36935 0 0 0 3557 953 0 0 25 0 1 0 14299420 144343040 33793 4089446400 134512640 136422188 4292761008 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 35240 33793 237 467 0 34771 0
Current children cumulated CPU time (s) 45.1
Current children cumulated vsize (KiB) 140960

[startup+45.3011 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11129
/proc/meminfo: memFree=30638908/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=130552 CPUtime=45.29
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 36942 0 0 0 3576 953 0 0 25 0 1 0 14299420 133685248 31782 4089446400 134512640 136422188 4292761008 18446744073709551615 135818409 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 32638 31782 240 467 0 32169 0
Current children cumulated CPU time (s) 45.29
Current children cumulated vsize (KiB) 130552

[startup+45.401 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11129
/proc/meminfo: memFree=30638908/32950928 swapFree=67111528/67111528
[pid=11101] ppid=11099 vsize=123636 CPUtime=45.39
/proc/11101/stat : 11101 (pbct) R 11099 11101 10696 0 -1 4202496 36942 0 0 0 3586 953 0 0 25 0 1 0 14299420 126603264 30572 4089446400 134512640 136422188 4292761008 18446744073709551615 135801306 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/11101/statm: 30909 30572 240 467 0 30440 0
Current children cumulated CPU time (s) 45.39
Current children cumulated vsize (KiB) 123636

Child status: 0
Real time (s): 45.4211
CPU time (s): 45.4221
CPU user time (s): 35.8785
CPU system time (s): 9.54355
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 140960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.8785
system time used= 9.54355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36943
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= 2
involuntary context switches= 54

runsolver used 0.078987 second user time and 0.176973 second system time

The end

Launcher Data 

Begin job on node115 at 2010-07-07 02:12:02
IDJOB=2698782
IDBENCH=79001
IDSOLVER=1212
FILE ID=node115/2698782-1278461522
PBS_JOBID= 11233763
Free space on /tmp= 73752 MiB

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

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

MD5SUM BENCH= 24165b373ac62bb316922f56a500ddfe
RANDOM SEED=121708134

node115.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.812
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.62
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.812
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.76
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.812
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
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.75
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.812
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.812
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.812
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.812
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30856664 kB
Buffers:         97596 kB
Cached:        1782260 kB
SwapCached:          0 kB
Active:         667580 kB
Inactive:      1293144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30856664 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2336 kB
Writeback:           0 kB
AnonPages:       81420 kB
Mapped:          15224 kB
Slab:            71248 kB
PageTables:       4776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   224220 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= 73748 MiB
End job on node115 at 2010-07-07 02:12:48