Trace number 2698984

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 43.0505 43.0506

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-0-100-0.wbo
MD5SUM796705696da137fb7128d801ba46f418
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark1.41778
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3249
Total number of constraints8983
Number of soft constraints8983
Number of constraints which are clauses8599
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 454955
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 454954
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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.05	c constraints 0/384 clauses 0/8599 units 0
0.02/0.05	c vars 3249
0.69/0.73	c 0.662899 79.4023 156 44979
0.69/0.73	o 4207
1.10/1.11	c 0.736887 80.332 325 145789
1.10/1.11	o 4205
1.19/1.28	c 0.78388 80.918 447 174774
1.19/1.28	o 4200
1.49/1.59	c 0.876866 80.918 659 221930
1.49/1.59	o 3855
1.59/1.68	c 0.902862 80.918 713 236176
1.59/1.68	o 3841
1.69/1.70	c 0.908861 80.918 723 251909
1.69/1.70	o 3136
1.79/1.88	c 0.956854 81.0469 833 265386
1.79/1.88	o 3134
2.20/2.23	c 1.10883 81.0469 939 298868
2.20/2.23	o 2519
2.39/2.47	c 1.18082 81.0469 1041 316566
2.39/2.47	o 2512
2.49/2.56	c 1.21881 81.0469 1079 324525
2.49/2.56	o 2510
2.49/2.59	c 1.23081 81.0469 1080 335139
2.49/2.59	o 2179
2.89/2.98	c 1.39979 81.1758 1248 348401
2.89/2.98	o 2177
2.99/3.07	c 1.44278 81.1758 1286 366381
2.99/3.07	o 2173
3.09/3.10	c 1.45478 81.1758 1289 381628
3.09/3.10	o 2076
3.09/3.13	c 1.46478 81.1758 1295 390270
3.09/3.13	o 2062
3.09/3.16	c 1.47578 81.1758 1297 405673
3.09/3.16	o 1994
3.09/3.20	c 1.48377 81.1758 1305 412032
3.09/3.20	o 1983
3.20/3.24	c 1.50177 81.1758 1316 418593
3.20/3.24	o 1976
3.20/3.30	c 1.52177 81.1758 1336 429617
3.20/3.30	o 1964
3.30/3.36	c 1.54876 81.1758 1343 434276
3.30/3.36	o 1953
3.49/3.58	c 1.60875 81.1758 1456 446413
3.49/3.58	o 1944
3.59/3.61	c 1.61575 81.1758 1461 453176
3.59/3.61	o 1922
3.59/3.63	c 1.62375 81.1758 1462 462133
3.59/3.63	o 1906
3.59/3.66	c 1.63775 81.1758 1464 471478
3.59/3.66	o 1890
3.69/3.70	c 1.65975 81.1758 1479 476967
3.69/3.70	o 1883
3.89/3.97	c 1.71474 81.1758 1550 483130
3.89/3.97	o 1881
4.39/4.42	c 1.81272 81.1758 1690 487153
4.39/4.42	o 1877
4.79/4.84	c 1.88371 81.3047 1831 509777
4.79/4.84	o 1871
4.79/4.89	c 1.89971 81.3047 1843 516767
4.79/4.89	o 1867
5.29/5.35	c 1.9887 81.3047 1957 525384
5.29/5.35	o 1856
5.39/5.41	c 1.9997 81.3047 1966 540616
5.39/5.41	o 1725
5.50/5.50	c 2.01669 81.3047 2004 553544
5.50/5.50	o 1724
5.50/5.54	c 2.03269 81.3047 2012 560569
5.50/5.54	o 1710
5.90/5.98	c 2.10968 81.3047 2120 580169
5.90/5.98	o 1696
5.99/6.00	c 2.11468 81.3047 2120 587383
5.99/6.00	o 1695
5.99/6.04	c 2.12168 81.3047 2125 600503
5.99/6.04	o 1690
5.99/6.06	c 2.12668 81.3047 2127 606428
5.99/6.06	o 1686
6.09/6.11	c 2.13468 81.3047 2136 620515
6.09/6.11	o 1672
6.60/6.70	c 2.27965 81.3047 2318 627771
6.60/6.70	o 1670
6.99/7.05	c 2.33465 81.4336 2422 640542
6.99/7.05	o 1669
6.99/7.08	c 2.34464 81.4336 2425 654806
6.99/7.08	o 1312
7.09/7.12	c 2.35264 81.4336 2432 675002
7.09/7.12	o 1209
7.09/7.14	c 2.36064 81.4336 2432 680472
7.09/7.14	o 1198
7.09/7.17	c 2.36764 81.4336 2433 686659
7.09/7.17	o 1178
7.19/7.22	c 2.38264 81.4336 2443 688465
7.19/7.22	o 1177
7.19/7.27	c 2.39764 81.4336 2452 689995
7.19/7.27	o 1173
7.19/7.29	c 2.40763 81.4336 2455 692587
7.19/7.29	o 1168
7.29/7.31	c 2.41163 81.4336 2457 694765
7.29/7.31	o 1164
7.29/7.34	c 2.41963 81.4336 2460 696962
7.29/7.34	o 1160
7.49/7.51	c 2.44563 81.4336 2490 699220
7.49/7.51	o 1156
7.49/7.54	c 2.45663 81.4336 2492 701077
7.49/7.54	o 1152
7.49/7.57	c 2.46163 81.4336 2495 712311
7.49/7.57	o 1113
7.49/7.59	c 2.46563 81.4336 2495 720801
7.49/7.59	o 1051
7.59/7.62	c 2.47462 81.4336 2498 723995
7.59/7.62	o 1050
7.79/7.85	c 2.51862 81.4336 2559 729734
7.79/7.85	o 1049
7.79/7.88	c 2.52662 81.4336 2563 730580
7.79/7.88	o 1048
7.90/7.92	c 2.53861 81.4336 2573 732088
7.90/7.92	o 1046
7.90/7.97	c 2.55061 81.4336 2579 733622
7.90/7.97	o 1045
7.99/8.01	c 2.56261 81.4336 2586 736078
7.99/8.01	o 1044
8.09/8.10	c 2.57761 81.4336 2603 737292
8.09/8.10	o 1042
8.70/8.76	c 2.79757 81.4336 2773 739594
8.70/8.76	o 1041
8.79/8.80	c 2.82057 81.5625 2778 741460
8.79/8.80	o 1039
9.09/9.18	c 2.95455 81.5625 2862 743712
9.09/9.18	o 1038
9.19/9.21	c 2.96655 81.5625 2862 745352
9.19/9.21	o 1034
9.19/9.23	c 2.97555 81.5625 2863 746780
9.19/9.23	o 1032
9.19/9.26	c 2.98955 81.5625 2865 757203
9.19/9.26	o 996
9.19/9.28	c 2.99754 81.5625 2865 765382
9.19/9.28	o 955
9.29/9.31	c 3.00954 81.5625 2869 777148
9.29/9.31	o 905
9.29/9.34	c 3.02554 81.5625 2870 783175
9.29/9.34	o 885
9.29/9.36	c 3.03654 81.5625 2871 786739
9.29/9.36	o 870
9.29/9.39	c 3.05054 81.5625 2874 790290
9.29/9.39	o 869
9.39/9.41	c 3.06053 81.5625 2875 793480
9.39/9.41	o 867
9.39/9.45	c 3.07853 81.5625 2881 797625
9.39/9.45	o 841
9.99/10.01	c 3.21751 81.5625 3011 799989
9.99/10.01	o 838
9.99/10.07	c 3.23351 81.5625 3021 800591
9.99/10.07	o 837
9.99/10.09	c 3.24151 81.5625 3023 802681
9.99/10.09	o 830
10.09/10.12	c 3.24951 81.5625 3026 804992
10.09/10.12	o 828
10.20/10.26	c 3.2885 81.5625 3058 806501
10.20/10.26	o 827
10.49/10.56	c 3.39148 81.5625 3107 807969
10.49/10.56	o 826
10.49/10.59	c 3.39848 81.5625 3112 809479
10.49/10.59	o 818
10.79/10.89	c 3.45147 81.5625 3171 810395
10.79/10.89	o 817
10.90/10.92	c 3.46347 81.5625 3175 810768
10.90/10.92	o 816
11.00/11.09	c 3.53446 81.5625 3306 811748
11.00/11.09	o 815
11.09/11.14	c 3.54846 81.5625 3316 812533
11.09/11.14	o 814
11.69/11.73	c 3.66944 81.5625 3446 814362
11.69/11.73	o 812
11.69/11.75	c 3.68744 81.5625 3452 814834
11.69/11.75	o 811
11.79/11.84	c 3.72043 81.5625 3467 815804
11.79/11.84	o 810
12.39/12.44	c 3.82342 81.6914 3608 818093
12.39/12.44	o 809
12.39/12.48	c 3.83242 81.6914 3615 818854
12.39/12.48	o 805
12.49/12.51	c 3.84841 81.6914 3621 819563
12.49/12.51	o 804
12.49/12.53	c 3.85641 81.6914 3621 820503
12.49/12.53	o 803
12.49/12.56	c 3.86541 81.6914 3622 822037
12.49/12.56	o 801
12.59/12.60	c 3.87841 81.6914 3626 823366
12.59/12.60	o 800
12.79/12.80	c 3.9314 81.6914 3674 823855
12.79/12.80	o 799
12.79/12.89	c 3.9444 81.6914 3697 824336
12.79/12.89	o 798
12.89/12.92	c 3.9554 81.6914 3717 825050
12.89/12.92	o 797
12.99/13.08	c 3.98239 81.6914 3768 825935
12.99/13.08	o 796
13.09/13.11	c 3.99239 81.6914 3772 827057
13.09/13.11	o 794
13.09/13.18	c 4.00939 81.6914 3782 828083
13.09/13.18	o 791
13.20/13.22	c 4.01739 81.6914 3785 829128
13.20/13.22	o 789
13.20/13.25	c 4.02939 81.6914 3789 830442
13.20/13.25	o 788
13.20/13.28	c 4.03639 81.6914 3792 831922
13.20/13.28	o 787
13.29/13.31	c 4.04538 81.6914 3793 832909
13.29/13.31	o 785
13.29/13.34	c 4.05538 81.6914 3795 835365
13.29/13.34	o 784
13.29/13.36	c 4.06338 81.6914 3796 836355
13.29/13.36	o 783
13.39/13.40	c 4.07338 81.6914 3799 837505
13.39/13.40	o 782
13.39/13.42	c 4.08038 81.6914 3799 839822
13.39/13.42	o 775
13.49/13.51	c 4.09738 81.6914 3817 841544
13.49/13.51	o 773
13.59/13.66	c 4.13937 81.6914 3857 843093
13.59/13.66	o 769
13.99/14.07	c 4.22536 81.6914 3945 843910
13.99/14.07	o 768
14.09/14.16	c 4.24435 81.6914 3958 844418
14.09/14.16	o 766
14.09/14.19	c 4.25335 81.6914 3965 844779
14.09/14.19	o 765
14.19/14.29	c 4.27435 81.6914 3987 845716
14.19/14.29	o 763
14.29/14.31	c 4.28335 81.6914 3989 846457
14.29/14.31	o 762
14.29/14.34	c 4.29135 81.6914 3991 847672
14.29/14.34	o 757
14.29/14.39	c 4.30434 81.6914 3995 848547
14.29/14.39	o 754
14.39/14.46	c 4.31834 81.6914 4007 849744
14.39/14.46	o 753
14.49/14.53	c 4.33734 81.6914 4028 850716
14.49/14.53	o 752
15.30/15.36	c 4.51731 81.6914 4231 852896
15.30/15.36	o 750
15.30/15.40	c 4.53031 81.6914 4242 853720
15.30/15.40	o 746
15.50/15.52	c 4.5783 81.8203 4277 854648
15.50/15.52	o 745
15.59/15.60	c 4.6203 81.8203 4320 855178
15.59/15.60	o 744
15.59/15.63	c 4.6323 81.8203 4326 855623
15.59/15.63	o 743
16.19/16.20	c 4.83026 81.8203 4465 857544
16.19/16.20	o 742
16.19/16.23	c 4.83826 81.8203 4467 858260
16.19/16.23	o 741
16.19/16.26	c 4.84926 81.8203 4471 859556
16.19/16.26	o 740
16.29/16.39	c 4.88126 81.8203 4499 862092
16.29/16.39	o 733
16.40/16.49	c 4.91425 81.8203 4532 863050
16.40/16.49	o 732
16.89/16.94	c 5.03024 81.8203 4663 864299
16.89/16.94	o 731
16.89/16.97	c 5.04023 81.8203 4669 865579
16.89/16.97	o 729
16.99/17.01	c 5.04923 81.8203 4676 866536
16.99/17.01	o 728
16.99/17.05	c 5.06123 81.8203 4688 867075
16.99/17.05	o 727
17.09/17.16	c 5.08523 81.8203 4707 868077
17.09/17.16	o 726
17.09/17.19	c 5.09622 81.8203 4715 869791
17.09/17.19	o 722
17.20/17.22	c 5.10522 81.8203 4721 871585
17.20/17.22	o 718
17.20/17.27	c 5.11722 81.8203 4732 872572
17.20/17.27	o 717
17.20/17.29	c 5.12322 81.8203 4732 873376
17.20/17.30	o 716
17.29/17.34	c 5.13122 81.8203 4737 874610
17.29/17.34	o 715
17.29/17.36	c 5.14322 81.8203 4741 875701
17.29/17.36	o 714
17.29/17.39	c 5.15222 81.8203 4743 876358
17.29/17.39	o 713
17.39/17.42	c 5.16122 81.8203 4749 877498
17.39/17.42	o 710
17.39/17.47	c 5.17721 81.8203 4759 878170
17.39/17.47	o 709
17.79/17.88	c 5.2522 81.8203 4839 879029
17.79/17.88	o 708
17.89/17.97	c 5.2782 81.8203 4870 881159
17.89/17.97	o 706
17.99/18.06	c 5.29819 81.8203 4888 882069
17.99/18.06	o 704
18.09/18.19	c 5.32219 81.8203 4907 882888
18.09/18.19	o 703
18.19/18.22	c 5.33219 81.8203 4912 883893
18.19/18.22	o 702
18.19/18.28	c 5.35618 81.8203 4923 884442
18.19/18.28	o 701
18.29/18.31	c 5.36618 81.8203 4938 884936
18.29/18.31	o 700
18.60/18.67	c 5.43117 81.8203 5045 886354
18.60/18.67	o 699
18.69/18.78	c 5.47017 81.9492 5071 886849
18.69/18.78	o 698
18.79/18.85	c 5.48717 81.9492 5094 888806
18.79/18.85	o 697
18.89/18.91	c 5.49816 81.9492 5110 890080
18.89/18.91	o 696
18.99/19.00	c 5.51916 81.9492 5131 891302
18.99/19.00	o 695
19.70/19.71	c 5.71213 81.9492 5294 893129
19.70/19.71	o 694
19.70/19.76	c 5.72613 81.9492 5303 893615
19.70/19.76	o 693
19.80/19.84	c 5.74213 81.9492 5319 894356
19.80/19.84	o 691
20.09/20.11	c 5.78512 81.9492 5372 895509
20.09/20.11	o 690
20.09/20.14	c 5.79712 81.9492 5376 896096
20.09/20.14	o 689
20.09/20.18	c 5.80912 81.9492 5384 897252
20.09/20.18	o 687
20.19/20.22	c 5.81912 81.9492 5389 899722
20.19/20.22	o 683
20.19/20.24	c 5.82711 81.9492 5393 902003
20.19/20.24	o 676
20.19/20.26	c 5.83411 81.9492 5399 904537
20.19/20.26	o 667
20.29/20.30	c 5.84411 81.9492 5403 905325
20.29/20.30	o 666
20.29/20.32	c 5.85011 81.9492 5405 906396
20.29/20.32	o 665
20.29/20.34	c 5.86011 81.9492 5408 908181
20.29/20.34	o 664
20.39/20.40	c 5.87311 81.9492 5428 909761
20.39/20.40	o 663
20.39/20.43	c 5.8831 81.9492 5429 910437
20.39/20.43	o 662
20.39/20.46	c 5.8961 81.9492 5434 910797
20.39/20.46	o 661
20.99/21.06	c 6.00009 81.9492 5569 912437
20.99/21.06	o 660
21.10/21.10	c 6.01408 81.9492 5574 913177
21.10/21.10	o 659
21.10/21.15	c 6.02908 81.9492 5590 914234
21.10/21.15	o 658
21.19/21.27	c 6.05808 81.9492 5613 916137
21.19/21.27	o 657
21.29/21.34	c 6.08207 81.9492 5627 917031
21.29/21.34	o 654
21.29/21.39	c 6.09407 81.9492 5635 917810
21.29/21.39	o 651
21.39/21.41	c 6.10107 81.9492 5635 919211
21.39/21.41	o 646
21.39/21.43	c 6.10807 81.9492 5635 920077
21.39/21.43	o 643
21.39/21.45	c 6.11707 81.9492 5637 921052
21.39/21.45	o 641
21.39/21.47	c 6.12607 81.9492 5638 922023
21.39/21.47	o 640
21.39/21.49	c 6.13507 81.9492 5639 923296
21.39/21.49	o 638
21.49/21.52	c 6.14407 81.9492 5640 924948
21.49/21.52	o 636
21.49/21.59	c 6.16506 81.9492 5654 926046
21.49/21.59	o 635
22.00/22.06	c 6.30704 82.0781 5764 927495
22.00/22.06	o 634
22.19/22.29	c 6.39003 82.0781 5816 928337
22.19/22.29	o 633
22.29/22.36	c 6.43202 82.0781 5833 929112
22.29/22.36	o 630
22.39/22.45	c 6.47202 82.0781 2934 929526
22.39/22.45	o 629
22.49/22.52	c 6.50201 82.0781 2952 929989
22.49/22.52	o 627
22.59/22.67	c 6.565 82.0781 3016 930541
22.59/22.67	o 626
22.69/22.70	c 6.578 82.0781 3041 931111
22.69/22.70	o 625
22.90/22.98	c 6.65399 82.0781 3108 931604
22.90/22.98	o 624
23.00/23.01	c 6.66799 82.0781 3117 932092
23.00/23.01	o 623
23.00/23.03	c 6.68198 82.0781 3121 932561
23.00/23.03	o 622
23.00/23.06	c 6.69798 82.0781 3126 933134
23.00/23.06	o 621
23.00/23.09	c 6.71698 82.0781 3131 933961
23.00/23.09	o 617
23.09/23.16	c 6.74198 82.0781 3145 934760
23.09/23.16	o 615
23.19/23.22	c 6.75297 82.0781 3167 935459
23.19/23.22	o 613
23.39/23.45	c 6.78597 82.0781 3212 936346
23.39/23.45	o 612
23.49/23.50	c 6.80197 82.0781 3224 937089
23.49/23.50	o 611
23.49/23.53	c 6.81396 82.0781 3227 938010
23.49/23.53	o 609
23.59/23.61	c 6.83396 82.0781 3235 938662
23.59/23.61	o 607
23.59/23.69	c 6.86296 82.0781 3266 939071
23.59/23.69	o 606
24.20/24.26	c 6.95594 82.0781 3402 941214
24.20/24.26	o 605
24.49/24.54	c 7.03893 82.0781 3449 942026
24.49/24.54	o 604
24.49/24.57	c 7.04793 82.0781 3452 943045
24.49/24.57	o 603
24.59/24.61	c 7.05893 82.0781 3457 943761
24.59/24.61	o 602
24.69/24.78	c 7.08992 82.0781 3496 944571
24.69/24.78	o 600
24.89/24.92	c 7.11892 82.0781 3529 945059
24.89/24.92	o 598
24.89/24.99	c 7.13291 82.0781 3542 945434
24.89/24.99	o 597
24.99/25.01	c 7.14091 82.0781 3547 945786
24.99/25.01	o 596
24.99/25.04	c 7.15091 82.0781 3553 946842
24.99/25.04	o 594
24.99/25.06	c 7.16191 82.0781 3556 947372
24.99/25.06	o 593
24.99/25.08	c 7.16991 82.0781 3559 948686
24.99/25.08	o 591
25.09/25.12	c 7.18291 82.0781 3565 950352
25.09/25.12	o 589
25.09/25.15	c 7.19491 82.0781 3573 951070
25.09/25.15	o 588
25.29/25.39	c 7.2249 82.0781 3626 952243
25.29/25.39	o 587
25.69/25.70	c 7.30089 82.0781 3704 953745
25.69/25.70	o 586
25.69/25.77	c 7.31589 82.0781 3724 954259
25.69/25.77	o 584
25.79/25.81	c 7.33888 82.0781 3737 954936
25.79/25.81	o 582
25.89/25.93	c 7.36688 82.0781 3765 955457
25.89/25.93	o 581
25.89/25.96	c 7.37788 82.0781 3769 956064
25.89/25.96	o 578
26.00/26.09	c 7.41687 82.0781 3804 956437
26.00/26.09	o 577
26.09/26.12	c 7.42887 82.0781 3814 956819
26.09/26.12	o 576
26.09/26.18	c 7.44587 82.0781 3821 957201
26.09/26.18	o 575
26.20/26.21	c 7.45887 82.0781 3832 958015
26.20/26.21	o 572
26.30/26.32	c 7.49386 82.0781 3853 958787
26.30/26.32	o 568
26.30/26.34	c 7.50586 82.0781 3857 959600
26.30/26.34	o 566
26.30/26.37	c 7.51586 82.0781 3859 960232
26.30/26.37	o 565
26.30/26.40	c 7.52486 82.0781 3864 960894
26.30/26.40	o 563
26.40/26.42	c 7.53485 82.0781 3867 961445
26.40/26.42	o 562
26.40/26.47	c 7.54685 82.0781 3873 962213
26.40/26.47	o 561
26.49/26.52	c 7.55985 82.0781 3881 963532
26.49/26.52	o 560
26.49/26.55	c 7.56885 82.0781 3889 965009
26.49/26.55	o 558
26.59/26.61	c 7.58585 82.0781 3903 966249
26.59/26.61	o 557
26.59/26.65	c 7.59685 82.0781 3910 967230
26.59/26.65	o 556
26.59/26.67	c 7.60784 82.0781 3912 967601
26.59/26.67	o 555
26.70/26.72	c 7.61884 82.0781 3925 968446
26.70/26.72	o 554
26.70/26.77	c 7.63384 82.0781 3944 970038
26.70/26.77	o 553
26.79/26.88	c 7.66383 82.0781 3970 971103
26.79/26.88	o 552
26.89/26.94	c 7.68283 82.0781 3992 971812
26.89/26.94	o 550
26.89/26.97	c 7.69583 82.0781 3999 973410
26.89/26.97	o 548
26.99/27.04	c 7.71483 82.0781 4005 974092
26.99/27.04	o 546
27.09/27.16	c 7.74182 82.0781 4047 974691
27.09/27.16	o 545
27.49/27.52	c 7.79781 82.0781 4129 975711
27.49/27.52	o 544
27.49/27.57	c 7.81181 82.0781 4138 976086
27.49/27.57	o 543
27.59/27.60	c 7.82081 82.0781 4145 976488
27.59/27.60	o 542
27.59/27.63	c 7.82781 82.0781 4147 977175
27.59/27.63	o 541
27.69/27.74	c 7.85581 82.0781 4164 977884
27.69/27.74	o 540
27.69/27.79	c 7.8728 82.0781 4171 978473
27.69/27.79	o 539
27.79/27.83	c 7.8878 82.0781 4175 979363
27.79/27.83	o 538
27.79/27.87	c 7.9028 82.0781 4189 981060
27.79/27.87	o 537
28.40/28.45	c 8.06577 82.0781 4310 982662
28.40/28.45	o 536
28.50/28.55	c 8.12276 82.0781 4343 983541
28.50/28.55	o 535
28.59/28.62	c 8.16076 82.0781 4350 984060
28.59/28.62	o 534
28.59/28.65	c 8.17576 82.0781 4352 984738
28.59/28.65	o 533
28.59/28.67	c 8.18775 82.0781 4353 985191
28.59/28.67	o 532
28.59/28.69	c 8.19875 82.0781 4355 985942
28.59/28.69	o 530
28.69/28.72	c 8.21575 82.0781 4363 986872
28.69/28.72	o 527
28.69/28.76	c 8.24175 82.0781 4369 987775
28.69/28.76	o 524
28.89/28.90	c 8.29774 82.0781 4411 988400
28.89/28.90	o 523
28.89/28.93	c 8.31774 82.0781 4418 989056
28.89/28.93	o 520
29.09/29.16	c 8.38772 82.0781 4458 989875
29.09/29.16	o 518
29.09/29.19	c 8.40572 82.0781 4464 990682
29.09/29.19	o 517
29.29/29.36	c 8.43672 82.0781 4493 991494
29.29/29.36	o 515
29.49/29.59	c 8.49471 82.0781 4548 992059
29.49/29.59	o 514
29.59/29.69	c 8.5187 82.0781 4564 993186
29.59/29.69	o 513
29.70/29.76	c 8.5347 82.0781 4574 993757
29.70/29.76	o 511
29.70/29.79	c 8.5467 82.0781 4589 994245
29.70/29.79	o 510
29.79/29.81	c 8.5577 82.0781 4591 995098
29.79/29.81	o 509
29.79/29.84	c 8.5677 82.0781 4593 995708
29.79/29.84	o 507
29.79/29.87	c 8.5767 82.0781 4599 996767
29.79/29.87	o 506
29.89/29.91	c 8.58969 82.0781 4605 997510
29.89/29.91	o 504
29.89/29.93	c 8.59769 82.0781 4606 997827
29.89/29.93	o 503
29.99/30.03	c 8.61669 82.0781 4629 998229
29.99/30.03	o 502
29.99/30.06	c 8.63069 82.0781 4634 999225
29.99/30.06	o 499
30.19/30.22	c 8.67168 82.0781 4666 1000322
30.19/30.22	o 496
30.59/30.67	c 8.76267 82.0781 4774 1001782
30.59/30.67	o 495
30.69/30.71	c 8.77666 82.0781 4786 1002176
30.69/30.71	o 494
30.69/30.74	c 8.78766 82.0781 4794 1003500
30.69/30.74	o 493
30.69/30.77	c 8.79766 82.0781 4800 1005029
30.69/30.77	o 492
30.90/30.90	c 8.82266 82.0781 4824 1006293
30.90/30.90	o 491
30.90/30.96	c 8.83766 82.0781 4837 1006749
30.90/30.96	o 490
31.20/31.23	c 8.89965 82.0781 4949 1007798
31.20/31.23	o 489
31.29/31.36	c 8.92464 82.0781 4985 1008184
31.29/31.36	o 488
31.39/31.42	c 8.95064 82.0781 5004 1008606
31.39/31.42	o 487
31.39/31.46	c 8.96464 82.0781 5018 1009620
31.39/31.46	o 486
31.49/31.51	c 8.97663 82.0781 5028 1010244
31.49/31.51	o 485
31.59/31.60	c 9.01663 82.0781 5065 1011065
31.59/31.60	o 484
31.59/31.65	c 9.03063 82.0781 5081 1011545
31.59/31.65	o 483
31.59/31.68	c 9.04462 82.0781 5084 1011803
31.59/31.68	o 482
31.69/31.74	c 9.06262 82.0781 5100 1012315
31.69/31.74	o 481
31.80/31.85	c 9.09862 82.0781 5128 1012655
31.80/31.85	o 480
31.80/31.88	c 9.10961 82.0781 5140 1013129
31.80/31.88	o 479
31.90/31.93	c 9.12461 82.0781 5150 1013659
31.90/31.93	o 477
31.90/31.95	c 9.13661 82.0781 5153 1014499
31.90/31.95	o 474
31.90/31.99	c 9.14761 82.0781 5163 1016018
31.90/31.99	o 468
31.99/32.05	c 9.17061 82.0781 5186 1016863
31.99/32.05	o 464
31.99/32.09	c 9.1876 82.0781 5188 1017102
31.99/32.09	o 463
32.09/32.12	c 9.1976 82.0781 5189 1018489
32.09/32.12	o 453
32.09/32.14	c 9.2056 82.0781 5189 1018888
32.09/32.14	o 452
32.20/32.21	c 9.2276 82.0781 5201 1020334
32.20/32.21	o 442
32.20/32.24	c 9.2416 82.0781 5203 1020637
32.20/32.24	o 441
32.20/32.26	c 9.25159 82.0781 5206 1021594
32.20/32.26	o 437
32.20/32.28	c 9.25859 82.0781 5208 1021927
32.20/32.28	o 436
32.29/32.30	c 9.27059 82.0781 5208 1022202
32.29/32.30	o 435
32.29/32.33	c 9.28159 82.0781 5211 1022733
32.29/32.33	o 434
32.29/32.37	c 9.29259 82.0781 5215 1023320
32.29/32.37	o 433
32.39/32.43	c 9.30559 82.0781 5228 1023884
32.39/32.43	o 432
32.39/32.45	c 9.31458 82.0781 5228 1024292
32.39/32.45	o 431
32.39/32.48	c 9.32458 82.0781 5231 1024867
32.39/32.48	o 430
32.59/32.62	c 9.36857 82.0781 5256 1025307
32.59/32.62	o 429
32.59/32.66	c 9.38257 82.0781 5260 1026153
32.59/32.66	o 425
32.59/32.68	c 9.39057 82.0781 5261 1027397
32.59/32.68	o 421
32.69/32.71	c 9.40157 82.0781 5263 1027893
32.69/32.71	o 419
32.69/32.74	c 9.40857 82.0781 5266 1030260
32.69/32.74	o 405
32.69/32.77	c 9.41657 82.0781 5271 1031572
32.69/32.77	o 403
32.69/32.79	c 9.42357 82.0781 5272 1032381
32.69/32.79	o 401
32.79/32.81	c 9.43057 82.0781 5273 1034346
32.79/32.81	o 385
32.79/32.83	c 9.43656 82.0781 5274 1035157
32.79/32.83	o 383
32.79/32.85	c 9.44656 82.0781 5275 1036258
32.79/32.85	o 377
32.79/32.88	c 9.45556 82.0781 5279 1037134
32.79/32.88	o 374
32.89/32.91	c 9.46356 82.0781 5281 1037907
32.89/32.91	o 372
32.89/32.94	c 9.47556 82.0781 5284 1039302
32.89/32.94	o 367
32.99/33.02	c 9.49756 82.0781 5297 1039915
32.99/33.02	o 365
32.99/33.04	c 9.50555 82.0781 5297 1040359
32.99/33.04	o 364
32.99/33.06	c 9.51355 82.0781 5297 1040888
32.99/33.06	o 362
32.99/33.08	c 9.52355 82.0781 5297 1041319
32.99/33.08	o 361
33.09/33.11	c 9.53355 82.0781 5298 1042122
33.09/33.11	o 358
33.09/33.18	c 9.55255 82.0781 5317 1042656
33.09/33.18	o 357
33.19/33.20	c 9.56055 82.0781 5319 1043070
33.19/33.20	o 356
33.19/33.28	c 9.57454 82.0781 5330 1043754
33.19/33.28	o 354
33.29/33.31	c 9.58654 82.0781 5334 1044413
33.29/33.31	o 353
33.29/33.38	c 9.60254 82.0781 5350 1045017
33.29/33.38	o 352
33.39/33.42	c 9.61554 82.0781 5360 1045712
33.39/33.42	o 351
33.39/33.45	c 9.62454 82.0781 5362 1046208
33.39/33.45	o 350
33.50/33.52	c 9.64353 82.0781 5382 1046954
33.50/33.52	o 349
33.50/33.57	c 9.65853 82.0781 5390 1047249
33.50/33.58	o 348
33.59/33.60	c 9.66753 82.0781 5391 1047530
33.59/33.60	o 347
33.59/33.62	c 9.67753 82.0781 5393 1047826
33.59/33.62	o 346
33.59/33.65	c 9.68653 82.0781 5400 1048218
33.59/33.65	o 345
33.79/33.84	c 9.76951 82.0781 5510 1049032
33.79/33.84	o 342
33.79/33.86	c 9.77751 82.0781 5512 1049380
33.79/33.86	o 341
33.89/33.97	c 9.79551 82.0781 5536 1049765
33.89/33.97	o 340
33.89/33.99	c 9.80251 82.0781 5538 1050003
33.89/33.99	o 339
34.00/34.03	c 9.81551 82.0781 5546 1050266
34.00/34.03	o 338
34.00/34.07	c 9.8295 82.0781 5552 1050510
34.00/34.07	o 337
34.00/34.10	c 9.8365 82.0781 5562 1050739
34.00/34.10	o 336
34.10/34.13	c 9.8585 82.0781 5588 1051086
34.10/34.13	o 335
34.39/34.46	c 9.96049 82.0781 5695 1051882
34.39/34.46	o 334
34.49/34.54	c 9.97748 82.0781 5707 1052350
34.49/34.54	o 333
34.49/34.58	c 9.99248 82.0781 5713 1052661
34.49/34.58	o 332
34.60/34.64	c 10.0255 82.0781 5718 1053153
34.60/34.64	o 331
34.60/34.69	c 10.0405 82.0781 5731 1053954
34.60/34.69	o 330
34.79/34.86	c 10.1075 82.0781 5771 1054277
34.79/34.86	o 329
34.79/34.90	c 10.1255 82.0781 5779 1054643
34.79/34.90	o 328
34.89/34.92	c 10.1395 82.0781 5784 1055074
34.89/34.92	o 327
34.99/35.02	c 10.1785 82.0781 5806 1055905
34.99/35.02	o 326
34.99/35.09	c 10.2194 82.0781 5881 1056634
34.99/35.09	o 325
35.10/35.15	c 10.2444 82.0781 5895 1057709
35.10/35.15	o 324
35.20/35.28	c 10.2884 82.0781 5924 1058307
35.20/35.28	o 323
35.29/35.31	c 10.3014 82.0781 5925 1058663
35.29/35.31	o 322
35.29/35.33	c 10.3134 82.0781 5926 1058900
35.29/35.33	o 321
35.29/35.35	c 10.3254 82.0781 5926 1059225
35.29/35.35	o 320
35.29/35.37	c 10.3384 82.0781 5928 1059571
35.29/35.37	o 319
35.40/35.40	c 10.3564 82.0781 5931 1059896
35.40/35.40	o 318
35.40/35.43	c 10.3694 82.0781 5936 1060135
35.40/35.43	o 317
35.40/35.45	c 10.3844 82.0781 5942 1060679
35.40/35.45	o 316
35.40/35.47	c 10.3944 82.0781 5942 1061058
35.40/35.47	o 315
35.40/35.49	c 10.4064 82.0781 5943 1061346
35.40/35.49	o 314
35.49/35.53	c 10.4224 82.0781 5947 1061909
35.49/35.53	o 313
35.49/35.56	c 10.4364 82.0781 5950 1062692
35.49/35.56	o 311
35.60/35.63	c 10.4674 82.0781 5958 1063413
35.60/35.63	o 309
35.60/35.67	c 10.4904 82.0781 5971 1063712
35.60/35.67	o 308
35.69/35.73	c 10.5254 82.0781 5986 1064037
35.69/35.73	o 307
35.80/35.82	c 10.5634 82.0781 6008 1064350
35.80/35.82	o 306
35.80/35.85	c 10.5784 82.0781 6009 1064730
35.80/35.85	o 304
35.80/35.87	c 10.5904 82.0781 6011 1065066
35.80/35.87	o 303
35.89/35.91	c 10.6074 82.0781 6013 1065320
35.89/35.91	o 302
35.89/35.93	c 10.6174 82.0781 6014 1065619
35.89/35.93	o 301
35.89/35.97	c 10.6344 82.0781 6033 1066177
35.89/35.97	o 300
36.00/36.00	c 10.6474 82.0781 3027 1066428
36.00/36.00	o 299
36.00/36.03	c 10.6554 82.0781 3029 1066768
36.00/36.03	o 298
36.00/36.05	c 10.6684 82.0781 3031 1067119
36.00/36.05	o 297
36.00/36.09	c 10.6914 82.0781 3033 1067621
36.00/36.09	o 296
36.09/36.11	c 10.7054 82.0781 3034 1067975
36.09/36.11	o 295
36.09/36.14	c 10.7154 82.0781 3035 1068199
36.09/36.14	o 294
36.09/36.16	c 10.7294 82.0781 3036 1068523
36.09/36.16	o 293
36.09/36.20	c 10.7484 82.0781 3050 1068913
36.09/36.20	o 292
36.19/36.22	c 10.7574 82.0781 3051 1069163
36.19/36.22	o 291
36.19/36.25	c 10.7684 82.0781 3052 1069522
36.19/36.25	o 290
36.19/36.27	c 10.7774 82.0781 3053 1069727
36.19/36.27	o 289
36.19/36.29	c 10.7844 82.0781 3054 1070160
36.19/36.29	o 288
36.30/36.31	c 10.7924 82.0781 3056 1070333
36.30/36.31	o 287
36.30/36.34	c 10.8034 82.0781 3074 1070697
36.30/36.34	o 286
36.30/36.36	c 10.8164 82.0781 3096 1071156
36.30/36.36	o 285
36.30/36.39	c 10.8234 82.0781 3097 1071714
36.30/36.39	o 284
36.39/36.41	c 10.8304 82.0781 3099 1072305
36.39/36.41	o 283
36.39/36.43	c 10.8404 82.0781 3100 1072817
36.39/36.43	o 282
36.39/36.46	c 10.8483 82.0781 3103 1073266
36.39/36.46	o 281
36.39/36.48	c 10.8563 82.0781 3108 1073775
36.39/36.48	o 280
36.50/36.52	c 10.8693 82.0781 3119 1074258
36.50/36.52	o 278
36.50/36.58	c 10.8883 82.0781 3137 1074734
36.50/36.58	o 276
36.70/36.71	c 10.9273 82.0781 3161 1075232
36.70/36.71	o 275
36.70/36.74	c 10.9413 82.0781 3169 1075685
36.70/36.74	o 274
36.70/36.77	c 10.9493 82.0781 3173 1075972
36.70/36.77	o 273
36.79/36.80	c 10.9603 82.0781 3177 1076321
36.79/36.80	o 272
36.79/36.82	c 10.9733 82.0781 3178 1076791
36.79/36.82	o 271
36.79/36.87	c 10.9923 82.0781 3181 1077357
36.79/36.87	o 269
36.79/36.89	c 11.0033 82.0781 3182 1077694
36.79/36.89	o 268
36.89/36.91	c 11.0123 82.0781 3183 1078018
36.89/36.91	o 267
36.89/36.94	c 11.0223 82.0781 3185 1078572
36.89/36.94	o 266
36.89/36.98	c 11.0403 82.0781 3195 1078948
36.89/36.98	o 265
37.00/37.01	c 11.0483 82.0781 3197 1079277
37.00/37.01	o 264
37.00/37.03	c 11.0573 82.0781 3197 1079569
37.00/37.03	o 263
37.00/37.05	c 11.0663 82.0781 3197 1079841
37.00/37.05	o 262
37.00/37.07	c 11.0743 82.0781 3197 1080156
37.00/37.07	o 261
37.00/37.09	c 11.0823 82.0781 3197 1080411
37.00/37.09	o 260
37.09/37.11	c 11.0913 82.0781 3197 1080712
37.09/37.11	o 259
37.09/37.13	c 11.0993 82.0781 3197 1081071
37.09/37.13	o 257
37.09/37.15	c 11.1093 82.0781 3197 1081322
37.09/37.15	o 256
37.09/37.17	c 11.1153 82.0781 3197 1081562
37.09/37.17	o 255
37.19/37.20	c 11.1233 82.0781 3197 1081766
37.19/37.20	o 254
37.19/37.22	c 11.1323 82.0781 3197 1081961
37.19/37.22	o 253
37.19/37.24	c 11.1473 82.0781 3197 1082163
37.19/37.24	o 252
37.19/37.26	c 11.1593 82.0781 3197 1082363
37.19/37.26	o 251
37.19/37.29	c 11.1733 82.0781 3198 1082675
37.19/37.29	o 250
37.30/37.32	c 11.1853 82.0781 3201 1082960
37.30/37.32	o 249
37.30/37.35	c 11.1923 82.0781 3201 1083369
37.30/37.35	o 247
37.30/37.37	c 11.2003 82.0781 3202 1083672
37.30/37.37	o 246
37.30/37.39	c 11.2113 82.0781 3204 1084223
37.30/37.39	o 245
37.40/37.42	c 11.2213 82.0781 3209 1084761
37.40/37.42	o 244
37.40/37.45	c 11.2323 82.0781 3211 1085106
37.40/37.45	o 243
37.40/37.47	c 11.2423 82.0781 3214 1085450
37.40/37.47	o 242
37.50/37.52	c 11.2613 82.0781 3222 1085851
37.50/37.52	o 241
37.50/37.55	c 11.2703 82.0781 3226 1086224
37.50/37.55	o 240
37.50/37.59	c 11.2833 82.0781 3230 1086496
37.50/37.59	o 239
37.59/37.65	c 11.3013 82.0781 3245 1086836
37.59/37.65	o 238
37.69/37.70	c 11.3213 82.0781 3255 1087336
37.69/37.70	o 236
37.69/37.73	c 11.3373 82.0781 3264 1087675
37.69/37.73	o 235
37.79/37.89	c 11.3643 82.0781 3300 1088191
37.79/37.89	o 234
37.89/37.91	c 11.3743 82.0781 3308 1088346
37.89/37.91	o 233
37.89/37.93	c 11.3843 82.0781 3311 1088494
37.89/37.93	o 232
37.89/37.95	c 11.3923 82.0781 3313 1088642
37.89/37.95	o 231
37.89/37.98	c 11.4033 82.0781 3315 1088812
37.89/37.98	o 230
37.99/38.00	c 11.4113 82.0781 3316 1088968
37.99/38.00	o 229
37.99/38.02	c 11.4193 82.0781 3316 1089159
37.99/38.02	o 228
37.99/38.04	c 11.4283 82.0781 3316 1089361
37.99/38.04	o 227
37.99/38.07	c 11.4373 82.0781 3316 1089501
37.99/38.07	o 226
37.99/38.09	c 11.4463 82.0781 3317 1089756
37.99/38.09	o 225
38.09/38.11	c 11.4563 82.0781 3317 1089937
38.09/38.11	o 224
38.09/38.13	c 11.4653 82.0781 3319 1090303
38.09/38.13	o 223
38.09/38.15	c 11.4773 82.0781 3319 1090433
38.09/38.15	o 222
38.09/38.18	c 11.4873 82.0781 3322 1090876
38.09/38.18	o 221
38.19/38.22	c 11.4963 82.0781 3325 1091241
38.19/38.22	o 220
38.19/38.24	c 11.5062 82.0781 3325 1091512
38.19/38.24	o 219
38.19/38.27	c 11.5152 82.0781 3327 1091949
38.19/38.27	o 218
38.29/38.31	c 11.5262 82.0781 3332 1092174
38.29/38.31	o 217
38.29/38.34	c 11.5352 82.0781 3335 1092750
38.29/38.34	o 216
38.29/38.37	c 11.5472 82.0781 3338 1093287
38.29/38.37	o 215
38.29/38.40	c 11.5582 82.0781 3344 1093671
38.29/38.40	o 213
38.40/38.44	c 11.5742 82.0781 3351 1094176
38.40/38.44	o 212
38.40/38.47	c 11.5882 82.0781 3364 1094477
38.40/38.47	o 211
38.50/38.51	c 11.6062 82.0781 3379 1094893
38.50/38.51	o 210
38.50/38.54	c 11.6162 82.0781 3380 1095104
38.50/38.54	o 209
38.50/38.56	c 11.6262 82.0781 3380 1095289
38.50/38.56	o 208
38.50/38.58	c 11.6332 82.0781 3380 1095511
38.50/38.58	o 207
38.59/38.60	c 11.6412 82.0781 3380 1095692
38.59/38.60	o 206
38.59/38.62	c 11.6502 82.0781 3380 1095851
38.59/38.62	o 205
38.59/38.64	c 11.6582 82.0781 3380 1096017
38.59/38.64	o 204
38.59/38.66	c 11.6662 82.0781 3380 1096150
38.59/38.66	o 203
38.59/38.68	c 11.6732 82.0781 3380 1096335
38.59/38.68	o 202
38.69/38.70	c 11.6822 82.0781 3380 1096488
38.69/38.70	o 201
38.69/38.73	c 11.6892 82.0781 3380 1096634
38.69/38.73	o 200
38.69/38.75	c 11.6982 82.0781 3380 1096787
38.69/38.75	o 199
38.69/38.77	c 11.7062 82.0781 3380 1096904
38.69/38.77	o 198
38.69/38.80	c 11.7182 82.0781 3431 1097146
38.69/38.80	o 197
38.79/38.82	c 11.7262 82.0781 3432 1097526
38.79/38.82	o 195
38.79/38.85	c 11.7392 82.0781 3435 1097829
38.79/38.85	o 194
38.79/38.87	c 11.7482 82.0781 3435 1098163
38.79/38.87	o 193
38.89/38.90	c 11.7582 82.0781 3440 1098706
38.89/38.90	o 191
38.89/38.92	c 11.7662 82.0781 3460 1098896
38.89/38.92	o 190
38.89/38.96	c 11.7812 82.0781 3466 1099397
38.89/38.96	o 188
38.89/38.99	c 11.7912 82.0781 3468 1099662
38.89/38.99	o 187
38.99/39.01	c 11.8012 82.0781 3469 1099839
38.99/39.01	o 186
38.99/39.06	c 11.8182 82.0781 3488 1100103
38.99/39.06	o 185
39.09/39.12	c 11.8352 82.0781 3505 1100416
39.09/39.12	o 184
39.09/39.15	c 11.8502 82.0781 3520 1100661
39.09/39.15	o 183
39.09/39.18	c 11.8602 82.0781 3530 1101008
39.09/39.18	o 182
39.19/39.22	c 11.8742 82.0781 3540 1101349
39.19/39.22	o 181
39.19/39.25	c 11.8822 82.0781 3546 1101631
39.19/39.25	o 180
39.19/39.27	c 11.8922 82.0781 3553 1101802
39.19/39.27	o 179
39.19/39.29	c 11.8992 82.0781 3554 1102087
39.19/39.29	o 178
39.29/39.31	c 11.9102 82.0781 3558 1102276
39.29/39.31	o 177
39.29/39.34	c 11.9212 82.0781 3564 1102635
39.29/39.34	o 175
39.29/39.36	c 11.9322 82.0781 3571 1102814
39.29/39.36	o 174
39.29/39.38	c 11.9402 82.0781 3572 1103143
39.29/39.38	o 173
39.39/39.41	c 11.9482 82.0781 3581 1103582
39.39/39.41	o 172
39.39/39.43	c 11.9562 82.0781 3582 1103928
39.39/39.43	o 171
39.39/39.45	c 11.9632 82.0781 3582 1104248
39.39/39.45	o 170
39.39/39.47	c 11.9722 82.0781 3582 1104572
39.39/39.47	o 169
39.39/39.49	c 11.9802 82.0781 3582 1104900
39.39/39.49	o 168
39.50/39.51	c 11.9892 82.0781 3582 1105240
39.50/39.51	o 167
39.50/39.53	c 11.9962 82.0781 3583 1105616
39.50/39.53	o 166
39.50/39.56	c 12.0032 82.0781 3584 1105798
39.50/39.56	o 165
39.50/39.58	c 12.0112 82.0781 3584 1106099
39.50/39.58	o 164
39.60/39.61	c 12.0212 82.0781 3587 1106471
39.60/39.61	o 163
39.60/39.63	c 12.0312 82.0781 3588 1106774
39.60/39.63	o 162
39.60/39.65	c 12.0402 82.0781 3590 1106963
39.60/39.65	o 161
39.69/39.70	c 12.0502 82.0781 3600 1107479
39.69/39.70	o 160
39.69/39.72	c 12.0602 82.0781 3605 1107828
39.69/39.72	o 159
39.69/39.74	c 12.0702 82.0781 3605 1107948
39.69/39.74	o 158
39.69/39.77	c 12.0802 82.0781 3608 1108112
39.69/39.77	o 157
39.79/39.83	c 12.1162 82.0781 3616 1108384
39.79/39.83	o 156
39.79/39.85	c 12.1262 82.0781 3620 1108922
39.79/39.85	o 155
39.89/39.91	c 12.1452 82.0781 3633 1109633
39.89/39.91	o 154
39.89/39.96	c 12.1602 82.0781 3649 1109888
39.89/39.96	o 153
39.89/39.98	c 12.1701 82.0781 3660 1110063
39.89/39.98	o 152
39.99/40.00	c 12.1771 82.0781 3661 1110252
39.99/40.00	o 151
39.99/40.03	c 12.1891 82.0781 3663 1110675
39.99/40.03	o 148
39.99/40.06	c 12.2001 82.0781 3665 1110893
39.99/40.06	o 147
39.99/40.08	c 12.2071 82.0781 3668 1111027
39.99/40.08	o 146
40.09/40.11	c 12.2151 82.0781 3670 1111178
40.09/40.11	o 145
40.09/40.13	c 12.2261 82.0781 3680 1111368
40.09/40.13	o 144
40.09/40.16	c 12.2361 82.0781 3686 1111530
40.09/40.16	o 143
40.19/40.21	c 12.2531 82.207 3708 1111874
40.19/40.21	o 142
40.19/40.24	c 12.2641 82.207 3711 1112123
40.19/40.24	o 141
40.19/40.26	c 12.2751 82.207 3714 1112473
40.19/40.26	o 140
40.29/40.31	c 12.2941 82.207 3728 1112837
40.29/40.31	o 139
40.29/40.34	c 12.3021 82.207 3732 1113072
40.29/40.34	o 138
40.29/40.36	c 12.3161 82.207 3735 1113362
40.29/40.36	o 136
40.39/40.41	c 12.3301 82.207 3746 1113873
40.39/40.41	o 134
40.39/40.44	c 12.3411 82.207 3749 1114056
40.39/40.44	o 133
40.39/40.46	c 12.3521 82.207 3750 1114231
40.39/40.46	o 132
40.39/40.48	c 12.3621 82.207 3751 1114465
40.39/40.48	o 131
40.49/40.50	c 12.3701 82.207 3752 1114660
40.49/40.50	o 130
40.49/40.53	c 12.3801 82.207 3752 1114912
40.49/40.53	o 129
40.49/40.55	c 12.3881 82.207 3753 1115159
40.49/40.55	o 128
40.49/40.57	c 12.3961 82.207 3753 1115393
40.49/40.57	o 127
40.49/40.59	c 12.4051 82.207 3755 1115673
40.49/40.59	o 126
40.59/40.63	c 12.4151 82.207 3760 1115999
40.59/40.63	o 124
40.59/40.65	c 12.4231 82.207 3760 1116190
40.59/40.65	o 123
40.59/40.67	c 12.4311 82.207 3760 1116358
40.59/40.67	o 122
40.59/40.69	c 12.4391 82.207 3760 1116528
40.59/40.69	o 121
40.70/40.71	c 12.4481 82.207 3760 1116682
40.70/40.71	o 120
40.70/40.73	c 12.4581 82.207 3760 1116919
40.70/40.73	o 119
40.70/40.75	c 12.4681 82.207 3760 1117102
40.70/40.75	o 118
40.70/40.77	c 12.4751 82.207 3760 1117311
40.70/40.77	o 117
40.70/40.80	c 12.4821 82.207 3760 1117485
40.79/40.80	o 116
40.79/40.82	c 12.4901 82.207 3760 1117688
40.79/40.82	o 115
40.79/40.84	c 12.4971 82.207 3760 1117883
40.79/40.84	o 114
40.79/40.86	c 12.5041 82.207 3760 1118058
40.79/40.86	o 113
40.79/40.88	c 12.5121 82.207 3760 1118238
40.79/40.88	o 112
40.89/40.90	c 12.5191 82.207 3760 1118396
40.89/40.90	o 111
40.89/40.92	c 12.5261 82.207 3760 1118594
40.89/40.92	o 110
40.89/40.94	c 12.5331 82.207 3760 1118777
40.89/40.94	o 109
40.89/40.96	c 12.5421 82.207 3761 1119003
40.89/40.96	o 108
40.89/40.99	c 12.5501 82.207 3761 1119188
40.89/40.99	o 107
40.99/41.01	c 12.5571 82.207 3761 1119367
40.99/41.01	o 106
40.99/41.03	c 12.5681 82.207 3761 1119538
40.99/41.03	o 105
40.99/41.05	c 12.5761 82.207 3761 1119690
40.99/41.05	o 104
40.99/41.07	c 12.5851 82.207 3761 1119853
40.99/41.07	o 103
40.99/41.09	c 12.5931 82.207 3761 1119996
40.99/41.09	o 102
41.09/41.11	c 12.6011 82.207 3761 1120144
41.09/41.11	o 101
41.09/41.13	c 12.6111 82.207 3761 1120331
41.09/41.13	o 100
41.09/41.15	c 12.6181 82.207 3761 1120500
41.09/41.15	o 99
41.09/41.17	c 12.6241 82.207 3761 1120697
41.09/41.17	o 98
41.19/41.20	c 12.6321 82.207 3497 1120865
41.19/41.20	o 97
41.19/41.22	c 12.6401 82.207 3497 1121057
41.19/41.22	o 96
41.19/41.24	c 12.6481 82.207 3497 1121242
41.19/41.24	o 95
41.19/41.26	c 12.6581 82.207 3498 1121408
41.19/41.26	o 94
41.19/41.28	c 12.6671 82.207 3500 1121561
41.19/41.28	o 93
41.29/41.30	c 12.6751 82.207 3500 1121732
41.29/41.30	o 92
41.29/41.32	c 12.6811 82.207 3500 1121874
41.29/41.32	o 91
41.29/41.35	c 12.6961 82.207 3504 1122091
41.29/41.35	o 90
41.29/41.38	c 12.7071 82.207 2160 1122440
41.29/41.38	o 89
41.39/41.40	c 12.7181 82.207 2164 1122766
41.39/41.40	o 88
41.39/41.42	c 12.7291 82.207 2178 1122909
41.39/41.42	o 87
41.39/41.46	c 12.7461 82.207 2189 1123067
41.39/41.46	o 86
41.39/41.48	c 12.7601 82.207 1923 1123210
41.39/41.48	o 85
41.49/41.51	c 12.7771 82.207 1927 1123491
41.49/41.51	o 84
41.49/41.53	c 12.7881 82.207 1932 1123793
41.49/41.53	o 83
41.49/41.55	c 12.7991 82.207 1932 1124061
41.49/41.55	o 82
41.49/41.57	c 12.8061 82.207 1932 1124319
41.49/41.57	o 81
41.49/41.59	c 12.8191 82.207 1587 1124572
41.49/41.59	o 80
41.59/41.61	c 12.83 82.207 1587 1124811
41.59/41.61	o 79
41.59/41.62	c 12.841 82.207 1587 1125065
41.59/41.62	o 78
41.59/41.64	c 12.851 82.207 1587 1125377
41.59/41.64	o 76
41.59/41.66	c 12.862 82.207 1587 1125609
41.59/41.66	o 75
41.59/41.68	c 12.872 82.207 1495 1125792
41.59/41.68	o 74
41.59/41.69	c 12.881 82.207 1495 1125973
41.59/41.69	o 73
41.70/41.71	c 12.891 82.207 1495 1126221
41.70/41.71	o 72
41.70/41.73	c 12.904 82.207 1495 1126432
41.70/41.73	o 71
41.70/41.75	c 12.915 82.207 1495 1126611
41.70/41.75	o 70
41.70/41.76	c 12.927 82.207 1416 1126850
41.70/41.76	o 69
41.70/41.78	c 12.934 82.207 1416 1127120
41.70/41.78	o 68
41.70/41.80	c 12.946 82.207 1416 1127358
41.70/41.80	o 67
41.79/41.81	c 12.955 82.207 1416 1127591
41.79/41.81	o 66
41.79/41.83	c 12.963 82.207 1416 1127923
41.79/41.83	o 64
41.79/41.84	c 12.97 82.207 1365 1128210
41.79/41.84	o 63
41.79/41.86	c 12.981 82.207 1365 1128531
41.79/41.86	o 61
41.79/41.87	c 12.992 82.207 1365 1128746
41.79/41.87	o 60
41.79/41.89	c 12.999 82.207 1365 1128935
41.79/41.89	o 59
41.89/41.90	c 13.01 82.207 1365 1129113
41.89/41.90	o 58
41.89/41.92	c 13.02 82.207 1266 1129282
41.89/41.92	o 57
41.89/41.93	c 13.026 82.207 1266 1129458
41.89/41.93	o 56
41.89/41.95	c 13.034 82.207 1267 1129677
41.89/41.95	o 55
41.89/41.97	c 13.045 82.207 1270 1129834
41.89/41.97	o 54
41.89/41.98	c 13.056 82.207 1271 1130067
41.89/41.98	o 53
41.99/42.00	c 13.066 82.207 1264 1130423
41.99/42.00	o 51
41.99/42.01	c 13.076 82.207 1264 1130555
41.99/42.01	o 50
41.99/42.02	c 13.084 82.207 1264 1130708
41.99/42.02	o 49
41.99/42.04	c 13.092 82.207 1264 1130852
41.99/42.04	o 48
41.99/42.05	c 13.101 82.207 1264 1130991
41.99/42.05	o 47
41.99/42.06	c 13.111 82.207 1255 1131138
41.99/42.06	o 46
41.99/42.08	c 13.119 82.207 1255 1131284
41.99/42.08	o 45
41.99/42.09	c 13.127 82.207 1256 1131416
41.99/42.09	o 44
42.09/42.10	c 13.135 82.207 1256 1131597
42.09/42.10	o 43
42.09/42.11	c 13.143 82.207 1257 1131718
42.09/42.11	o 42
42.09/42.13	c 13.147 82.207 1260 1131952
42.09/42.13	o 41
42.09/42.15	c 13.161 82.207 1256 1132153
42.09/42.15	o 40
42.09/42.16	c 13.173 82.207 1264 1132356
42.09/42.16	o 39
42.09/42.18	c 13.182 82.207 1267 1132591
42.09/42.18	o 38
42.09/42.19	c 13.19 82.207 1268 1132734
42.09/42.19	o 37
42.19/42.21	c 13.204 82.207 1269 1132890
42.19/42.21	o 36
42.19/42.22	c 13.213 82.207 1267 1133096
42.19/42.22	o 35
42.19/42.23	c 13.222 82.207 1267 1133239
42.19/42.23	o 34
42.19/42.25	c 13.231 82.207 1269 1133365
42.19/42.25	o 33
42.19/42.26	c 13.236 82.207 1269 1133489
42.19/42.26	o 32
42.19/42.27	c 13.243 82.207 1269 1133599
42.19/42.27	o 31
42.19/42.28	c 13.248 82.207 1269 1133723
42.19/42.28	o 30
42.29/42.30	c 13.263 82.207 1281 1133945
42.29/42.30	o 29
42.29/42.31	c 13.272 82.207 1285 1134233
42.29/42.31	o 27
42.29/42.32	c 13.282 82.207 1288 1134386
42.29/42.32	o 26
42.29/42.35	c 13.302 82.207 1299 1134546
42.29/42.35	o 25
42.29/42.36	c 13.31 82.207 1293 1134698
42.29/42.36	o 24
42.29/42.37	c 13.317 82.207 1294 1134830
42.29/42.37	o 23
42.29/42.38	c 13.325 82.207 1299 1135012
42.29/42.38	o 22
42.29/42.39	c 13.332 82.207 1305 1135124
42.29/42.39	o 21
42.39/42.41	c 13.348 82.207 1310 1135248
42.39/42.41	o 20
42.39/42.43	c 13.357 82.207 1315 1135407
42.39/42.43	o 19
42.39/42.45	c 13.373 82.207 1327 1135536
42.39/42.45	o 18
42.39/42.46	c 13.38 82.207 1330 1135643
42.39/42.46	o 17
42.39/42.47	c 13.388 82.207 1348 1135770
42.39/42.47	o 16
42.39/42.48	c 13.398 82.207 1365 1135913
42.39/42.48	o 15
42.39/42.49	c 13.406 82.207 1370 1136050
42.39/42.49	o 14
42.50/42.50	c 13.412 82.207 1363 1136188
42.50/42.50	o 13
42.50/42.51	c 13.421 82.207 1365 1136310
42.50/42.51	o 12
42.50/42.51	c 13.426 82.207 1365 1136411
42.50/42.51	o 11
42.50/42.52	c 13.432 82.207 1366 1136524
42.50/42.52	o 10
42.50/42.53	c 13.439 82.207 1367 1136658
42.50/42.53	o 9
42.50/42.54	c 13.444 82.207 1367 1136754
42.50/42.54	o 8
42.50/42.55	c 13.455 82.207 1373 1136885
42.50/42.55	o 7
42.50/42.56	c 13.461 82.207 1361 1137074
42.50/42.56	o 6
42.50/42.57	c 13.467 82.207 1364 1137226
42.50/42.57	o 5
42.50/42.57	c 13.472 82.207 1364 1137363
42.50/42.57	o 4
42.50/42.58	c 13.4789 82.207 1377 1137528
42.50/42.58	o 3
42.50/42.59	c 13.484 82.207 1379 1137640
42.50/42.59	o 2
42.50/42.60	c 13.4909 82.207 1382 1137741
42.50/42.60	o 1
42.90/42.91	c 13.7929 82.207 3062 1140537
42.90/42.91	s OPTIMUM FOUND
42.90/42.91	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

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-2698984-1278465118/watcher-2698984-1278465118 -o /tmp/evaluation-result-2698984-1278465118/solver-2698984-1278465118 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698984-1278465118.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.95 3/178 14414
/proc/meminfo: memFree=29825584/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=2136 CPUtime=0
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 254 0 0 0 0 0 0 0 20 0 1 0 14725392 2187264 174 4089446400 134512640 136422188 4290536256 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14414/statm: 534 174 144 467 0 65 0

[startup+0.0228041 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 14414
/proc/meminfo: memFree=29825584/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=2400 CPUtime=0.02
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 303 0 0 0 2 0 0 0 21 0 1 0 14725392 2457600 223 4089446400 134512640 136422188 4290536256 18446744073709551615 134546403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14414/statm: 600 223 144 467 0 131 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2400

[startup+0.100796 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 14414
/proc/meminfo: memFree=29825584/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=16512 CPUtime=0.09
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 3811 0 0 0 9 0 0 0 21 0 1 0 14725392 16908288 3698 4089446400 134512640 136422188 4290536256 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 4128 3700 193 467 0 3659 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16512

[startup+0.30076 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 14414
/proc/meminfo: memFree=29825584/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=64636 CPUtime=0.29
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 16462 0 0 0 27 2 0 0 21 0 1 0 14725392 66187264 15772 4089446400 134512640 136422188 4290536256 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 16159 15780 194 467 0 15690 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64636

[startup+0.700686 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 14414
/proc/meminfo: memFree=29825584/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=81156 CPUtime=0.69
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 20643 0 0 0 65 4 0 0 22 0 1 0 14725392 83103744 19231 4089446400 134512640 136422188 4290536256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 20289 19231 214 467 0 19820 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81156

[startup+1.50053 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 14415
/proc/meminfo: memFree=29748572/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=82856 CPUtime=1.49
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 21140 0 0 0 86 63 0 0 25 0 1 0 14725392 84844544 19356 4089446400 134512640 136422188 4290536256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 20714 19356 237 467 0 20245 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82856

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 14415
/proc/meminfo: memFree=29748736/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=83120 CPUtime=3.09
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 21208 0 0 0 145 164 0 0 25 0 1 0 14725392 85114880 19414 4089446400 134512640 136422188 4290536256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 20780 19414 237 467 0 20311 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83120

[startup+6.30066 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 14416
/proc/meminfo: memFree=29748736/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=83252 CPUtime=6.3
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 21283 0 0 0 216 414 0 0 25 0 1 0 14725392 85250048 19464 4089446400 134512640 136422188 4290536256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 20813 19464 237 467 0 20344 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 83252

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 14416
/proc/meminfo: memFree=29749180/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=83648 CPUtime=12.69
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 21417 0 0 0 389 880 0 0 25 0 1 0 14725392 85655552 19543 4089446400 134512640 136422188 4290536256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 20912 19543 237 467 0 20443 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83648

[startup+25.5001 s]
/proc/loadavg: 2.08 2.02 1.95 3/179 14416
/proc/meminfo: memFree=29749644/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=84044 CPUtime=25.49
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 21639 0 0 0 724 1825 0 0 25 0 1 0 14725392 86061056 19643 4089446400 134512640 136422188 4290536256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 21011 19643 237 467 0 20542 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84044

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

[startup+31.906 s]
/proc/loadavg: 2.07 2.02 1.95 3/179 14416
/proc/meminfo: memFree=29749768/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=84044 CPUtime=31.9
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 21716 0 0 0 911 2279 0 0 25 0 1 0 14725392 86061056 19643 4089446400 134512640 136422188 4290536256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 21011 19643 237 467 0 20542 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 84044

[startup+38.3008 s]
/proc/loadavg: 2.07 2.02 1.95 3/179 14416
/proc/meminfo: memFree=29749140/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=84044 CPUtime=38.29
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 21905 0 0 0 1151 2678 0 0 25 0 1 0 14725392 86061056 19669 4089446400 134512640 136422188 4290536256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 21011 19669 237 467 0 20542 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 84044

[startup+41.5002 s]
/proc/loadavg: 2.06 2.02 1.95 3/179 14416
/proc/meminfo: memFree=29749232/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=84176 CPUtime=41.49
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 22054 0 0 0 1276 2873 0 0 25 0 1 0 14725392 86196224 19695 4089446400 134512640 136422188 4290536256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 21044 19695 237 467 0 20575 0
Current children cumulated CPU time (s) 41.49
Current children cumulated vsize (KiB) 84176

[startup+42.3011 s]
/proc/loadavg: 2.06 2.02 1.95 3/179 14416
/proc/meminfo: memFree=29749232/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=84176 CPUtime=42.29
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 22106 0 0 0 1325 2904 0 0 25 0 1 0 14725392 86196224 19696 4089446400 134512640 136422188 4290536256 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 21044 19696 237 467 0 20575 0
Current children cumulated CPU time (s) 42.29
Current children cumulated vsize (KiB) 84176

[startup+42.701 s]
/proc/loadavg: 2.06 2.02 1.95 3/179 14416
/proc/meminfo: memFree=29749232/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=84176 CPUtime=42.69
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 22147 0 0 0 1358 2911 0 0 25 0 1 0 14725392 86196224 19709 4089446400 134512640 136422188 4290536256 18446744073709551615 135801415 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 21044 19709 237 467 0 20575 0
Current children cumulated CPU time (s) 42.69
Current children cumulated vsize (KiB) 84176

[startup+42.906 s]
/proc/loadavg: 2.06 2.02 1.95 3/179 14416
/proc/meminfo: memFree=29749108/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=84176 CPUtime=42.9
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 22147 0 0 0 1378 2912 0 0 25 0 1 0 14725392 86196224 19709 4089446400 134512640 136422188 4290536256 18446744073709551615 134597938 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 21044 19709 237 467 0 20575 0
Current children cumulated CPU time (s) 42.9
Current children cumulated vsize (KiB) 84176

[startup+43.001 s]
/proc/loadavg: 2.06 2.02 1.95 3/179 14416
/proc/meminfo: memFree=29749108/32950928 swapFree=67111528/67111528
[pid=14414] ppid=14412 vsize=77616 CPUtime=43
/proc/14414/stat : 14414 (pbct) R 14412 14414 13631 0 -1 4202496 22151 0 0 0 1388 2912 0 0 25 0 1 0 14725392 79478784 18664 4089446400 134512640 136422188 4290536256 18446744073709551615 134701833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14414/statm: 19404 18664 240 467 0 18935 0
Current children cumulated CPU time (s) 43
Current children cumulated vsize (KiB) 77616

Child status: 0
Real time (s): 43.0506
CPU time (s): 43.0505
CPU user time (s): 13.9269
CPU system time (s): 29.1236
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 84180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.9269
system time used= 29.1236
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22152
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= 1
involuntary context switches= 42

runsolver used 0.068989 second user time and 0.160975 second system time

The end

Launcher Data 

Begin job on node116 at 2010-07-07 03:11:58
IDJOB=2698984
IDBENCH=79318
IDSOLVER=1212
FILE ID=node116/2698984-1278465118
PBS_JOBID= 11233761
Free space on /tmp= 73584 MiB

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

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

MD5SUM BENCH= 796705696da137fb7128d801ba46f418
RANDOM SEED=1098107846

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29826352 kB
Buffers:        113264 kB
Cached:        2779816 kB
SwapCached:          0 kB
Active:         946044 kB
Inactive:      2034092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29826352 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1980 kB
Writeback:           0 kB
AnonPages:       87156 kB
Mapped:          15652 kB
Slab:            80524 kB
PageTables:       4716 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   229040 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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