Trace number 2698921

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 28.3447 28.3436

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-33-100-0.wbo
MD5SUM2e5305672cd925feb8447ea4f265e9b4
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.35779
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 constraints6015
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 304920
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 304919
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.00/0.05	c constraints 122/262 clauses 2846/5753 units 0
0.00/0.05	c vars 3249
0.59/0.61	c 0.515921 66.0586 59 132417
0.59/0.61	o 4847
0.59/0.64	c 0.532918 66.8555 65 150442
0.59/0.64	o 4668
0.69/0.78	c 0.621905 66.8555 130 187450
0.69/0.78	o 4665
0.79/0.82	c 0.6539 66.8555 139 212988
0.79/0.82	o 4342
0.79/0.86	c 0.683896 66.8555 165 230894
0.79/0.86	o 4335
0.89/0.91	c 0.72289 66.8555 191 257811
0.89/0.91	o 3811
0.89/0.94	c 0.739887 66.8555 196 268866
0.89/0.94	o 3799
1.19/1.26	c 0.947855 66.8555 412 298817
1.19/1.26	o 3798
1.29/1.30	c 0.971852 66.8555 426 309532
1.29/1.30	o 3619
1.29/1.33	c 0.991849 66.8555 439 327148
1.29/1.33	o 3592
1.29/1.37	c 1.02084 66.8555 447 333127
1.29/1.37	o 3590
1.29/1.39	c 1.03684 66.8555 453 344166
1.29/1.39	o 3302
1.49/1.53	c 1.13183 66.8555 557 354410
1.49/1.53	o 3286
1.49/1.56	c 1.15882 66.8555 567 366101
1.49/1.56	o 3269
1.69/1.73	c 1.26281 66.8555 676 391496
1.69/1.73	o 3135
1.69/1.75	c 1.27981 66.8555 682 400775
1.69/1.75	o 3105
1.69/1.77	c 1.2898 66.8555 694 408526
1.69/1.77	o 2810
1.79/1.80	c 1.3088 66.8555 706 424426
1.79/1.80	o 2635
1.79/1.85	c 1.34979 66.8555 733 432784
1.79/1.85	o 2628
1.99/2.09	c 1.49077 66.8555 836 444187
1.99/2.09	o 2507
2.10/2.10	c 1.50477 66.8555 838 453674
2.10/2.10	o 2005
2.10/2.12	c 1.51677 66.8555 838 460448
2.10/2.12	o 1927
2.10/2.15	c 1.54476 66.8555 851 466402
2.10/2.15	o 1912
2.29/2.36	c 1.68574 66.8555 969 475303
2.29/2.36	o 1903
2.29/2.38	c 1.70274 66.8555 974 477870
2.29/2.38	o 1900
2.39/2.42	c 1.73274 66.8555 994 482126
2.39/2.42	o 1893
2.80/2.82	c 2.00569 66.8555 1168 486600
2.80/2.82	o 1891
3.19/3.22	c 2.25466 66.8555 1378 495228
3.19/3.22	o 1888
3.49/3.51	c 2.43563 66.9844 1489 501862
3.49/3.51	o 1885
3.49/3.53	c 2.45163 67.457 1492 506625
3.49/3.53	o 1868
3.49/3.55	c 2.46862 67.457 1497 510241
3.49/3.55	o 1861
3.49/3.57	c 2.48662 67.457 1504 513114
3.49/3.57	o 1853
3.69/3.71	c 2.58761 67.457 1570 518108
3.69/3.71	o 1850
3.69/3.74	c 2.6116 67.457 1576 521742
3.69/3.74	o 1837
3.69/3.77	c 2.6226 67.457 1589 533558
3.69/3.77	o 1576
3.69/3.79	c 2.6396 67.457 1595 540469
3.69/3.79	o 1553
3.79/3.85	c 2.67759 67.457 1637 543560
3.79/3.85	o 1549
3.89/3.98	c 2.75658 67.457 1680 547321
3.89/3.98	o 1547
3.99/4.05	c 2.79857 67.457 1704 549099
3.99/4.05	o 1540
4.09/4.16	c 2.87456 67.457 1742 552262
4.09/4.16	o 1530
4.30/4.31	c 2.96255 67.457 1786 553945
4.30/4.31	o 1528
4.30/4.36	c 2.99554 67.457 1797 556431
4.30/4.36	o 1517
4.49/4.59	c 3.14452 67.457 1900 560753
4.49/4.59	o 1514
4.59/4.61	c 3.15652 67.457 1901 563633
4.59/4.61	o 1512
4.59/4.64	c 3.17452 67.457 1906 572798
4.59/4.64	o 1504
4.59/4.66	c 3.18651 67.457 1907 575435
4.59/4.66	o 1498
4.69/4.70	c 3.21751 67.457 1920 577858
4.69/4.70	o 1494
4.69/4.75	c 3.25351 67.457 1932 580356
4.69/4.75	o 1493
4.69/4.79	c 3.2795 67.457 1943 583977
4.69/4.79	o 1492
4.79/4.81	c 3.2955 67.457 1948 590406
4.79/4.81	o 1473
4.79/4.83	c 3.31549 67.457 1953 593592
4.79/4.83	o 1470
4.79/4.85	c 3.32749 67.457 1955 599155
4.79/4.85	o 1462
4.79/4.87	c 3.34149 67.457 1957 604898
4.79/4.87	o 1436
4.79/4.89	c 3.35349 67.457 1957 607930
4.79/4.89	o 1430
4.89/4.91	c 3.36849 67.457 1960 612836
4.89/4.91	o 1429
4.89/4.94	c 3.38948 67.457 1963 625309
4.89/4.94	o 1282
4.89/4.95	c 3.40048 67.457 1963 631959
4.89/4.95	o 1199
4.89/4.97	c 3.41248 67.457 1963 636033
4.89/4.97	o 1198
4.89/4.99	c 3.42748 67.457 1965 641194
4.89/4.99	o 1197
4.99/5.00	c 3.44048 67.457 1965 648184
4.99/5.00	o 1078
4.99/5.02	c 3.45447 67.457 1968 656280
4.99/5.02	o 1021
4.99/5.04	c 3.46847 67.457 1973 664171
4.99/5.04	o 995
4.99/5.06	c 3.48247 67.457 1975 668528
4.99/5.06	o 977
4.99/5.08	c 3.49947 67.457 1980 671186
4.99/5.08	o 971
5.09/5.10	c 3.51247 67.457 1981 672870
5.09/5.10	o 965
5.19/5.25	c 3.60345 67.457 2026 674632
5.19/5.25	o 962
5.49/5.57	c 3.80842 67.457 2138 676973
5.49/5.57	o 960
5.49/5.59	c 3.82442 67.457 2144 678325
5.49/5.59	o 959
5.59/5.63	c 3.84941 67.457 2157 679223
5.59/5.63	o 957
5.69/5.73	c 3.9234 67.457 2194 680058
5.69/5.73	o 954
6.09/6.14	c 4.18536 67.457 2379 682075
6.09/6.14	o 953
6.09/6.16	c 4.20036 67.457 2380 682823
6.09/6.16	o 952
6.20/6.20	c 4.22736 67.457 2391 683442
6.20/6.20	o 951
6.29/6.34	c 4.32034 67.457 2447 684358
6.29/6.34	o 950
6.50/6.58	c 4.47332 67.457 2537 685820
6.50/6.58	o 949
6.69/6.78	c 4.5993 67.457 2619 686947
6.69/6.78	o 946
6.79/6.82	c 4.6303 67.457 2627 687776
6.79/6.82	o 942
6.79/6.85	c 4.65129 67.457 2634 689087
6.79/6.85	o 940
6.79/6.87	c 4.66529 67.457 2640 690047
6.79/6.87	o 936
7.29/7.31	c 4.94325 67.457 2879 692235
7.29/7.31	o 933
7.60/7.63	c 5.15822 67.457 2986 694059
7.60/7.63	o 931
7.60/7.67	c 5.18421 67.457 2995 694837
7.60/7.67	o 930
7.60/7.69	c 5.20121 67.457 3000 696076
7.60/7.69	o 929
8.10/8.14	c 5.49316 67.457 3124 697800
8.10/8.14	o 928
8.29/8.39	c 5.66414 67.457 3227 699390
8.29/8.39	o 925
8.39/8.41	c 5.67414 67.457 3228 700116
8.39/8.41	o 924
8.39/8.42	c 5.68314 67.457 3228 700898
8.39/8.42	o 923
8.39/8.44	c 5.69513 67.457 3230 701873
8.39/8.44	o 920
8.39/8.48	c 5.72413 67.457 3242 704603
8.39/8.48	o 914
8.39/8.49	c 5.73613 67.457 3249 706465
8.39/8.49	o 909
8.59/8.62	c 5.81312 67.457 3290 708656
8.59/8.62	o 908
8.59/8.65	c 5.83311 67.457 3301 711607
8.59/8.65	o 900
9.19/9.25	c 6.22005 67.457 3520 714465
9.19/9.25	o 899
9.19/9.28	c 6.24205 67.457 3527 715222
9.19/9.28	o 898
9.29/9.31	c 6.25705 67.457 3529 716641
9.29/9.31	o 895
9.29/9.38	c 6.29504 67.457 3559 718770
9.29/9.38	o 893
9.39/9.41	c 6.31604 67.457 3563 720094
9.39/9.41	o 887
9.59/9.65	c 6.47401 67.457 3681 721708
9.59/9.65	o 886
9.59/9.67	c 6.48901 67.457 3684 722349
9.59/9.67	o 885
9.59/9.69	c 6.50201 67.457 3685 723400
9.59/9.69	o 883
9.69/9.71	c 6.51901 67.457 3687 724771
9.69/9.71	o 879
9.69/9.75	c 6.547 67.457 3698 725995
9.69/9.75	o 877
9.79/9.83	c 6.597 67.457 3728 727497
9.79/9.83	o 871
9.79/9.89	c 6.63799 67.457 3748 728143
9.79/9.89	o 870
10.19/10.24	c 6.85496 67.457 3851 729390
10.19/10.24	o 869
10.19/10.27	c 6.87695 67.457 3854 729981
10.19/10.27	o 868
10.29/10.30	c 6.89595 67.457 3861 731151
10.29/10.30	o 862
10.29/10.34	c 6.92495 67.5859 3869 732975
10.29/10.34	o 861
10.39/10.46	c 6.99694 67.5859 3903 733801
10.39/10.46	o 858
10.39/10.48	c 7.01293 67.5859 3910 734950
10.39/10.48	o 857
10.49/10.52	c 7.03693 67.5859 3925 735662
10.49/10.52	o 856
10.49/10.54	c 7.04693 67.5859 3927 737131
10.49/10.54	o 853
10.49/10.57	c 7.06893 67.5859 3934 738451
10.49/10.57	o 851
10.49/10.59	c 7.08292 67.5859 3936 739320
10.49/10.59	o 850
10.59/10.61	c 7.09592 67.5859 3939 740210
10.59/10.61	o 849
10.59/10.62	c 7.10592 67.5859 3941 741254
10.59/10.62	o 847
10.59/10.65	c 7.12292 67.5859 3947 742450
10.59/10.65	o 845
10.59/10.67	c 7.13891 67.5859 3949 744289
10.59/10.67	o 839
10.69/10.73	c 7.17891 67.5859 3969 745845
10.69/10.73	o 837
10.69/10.77	c 7.2009 67.5859 3977 746683
10.69/10.77	o 834
10.69/10.79	c 7.2109 67.5859 3980 747916
10.69/10.79	o 831
10.79/10.81	c 7.2289 67.5859 3983 749625
10.79/10.81	o 829
10.79/10.87	c 7.2679 67.5859 4004 751267
10.79/10.87	o 825
11.19/11.24	c 7.49286 67.5859 4143 753422
11.19/11.24	o 816
11.19/11.27	c 7.51486 67.5859 4153 754359
11.19/11.27	o 815
11.19/11.30	c 7.53385 67.5859 4158 755125
11.19/11.30	o 814
11.29/11.34	c 7.56485 67.5859 4172 756044
11.29/11.34	o 812
11.69/11.79	c 7.8568 67.5859 4317 757891
11.69/11.79	o 810
12.00/12.05	c 8.02278 67.5859 4401 759405
12.00/12.05	o 809
12.29/12.34	c 8.19675 67.5859 4518 760468
12.29/12.34	o 808
12.59/12.66	c 8.40172 67.5859 4621 761807
12.59/12.66	o 806
12.69/12.70	c 8.42872 67.5859 4633 763322
12.69/12.70	o 805
12.69/12.75	c 8.46571 67.5859 4650 763992
12.69/12.75	o 804
12.79/12.82	c 8.50171 67.7148 4668 764590
12.79/12.82	o 802
12.99/13.00	c 8.62169 67.7148 4750 765196
12.99/13.00	o 801
13.30/13.30	c 8.81466 67.7148 4875 766563
13.30/13.30	o 799
13.30/13.39	c 8.87665 67.7148 4925 767174
13.30/13.39	o 798
13.40/13.41	c 8.88965 67.7148 4930 767775
13.40/13.41	o 797
13.40/13.43	c 8.90664 67.7148 4933 768295
13.40/13.43	o 796
13.40/13.45	c 8.92064 67.7148 4935 769229
13.40/13.45	o 794
13.40/13.47	c 8.93764 67.7148 4938 770143
13.40/13.47	o 793
13.40/13.49	c 8.95064 67.7148 4940 771085
13.40/13.49	o 792
13.49/13.52	c 8.97064 67.7148 4948 771738
13.49/13.52	o 790
13.59/13.62	c 9.02563 67.7148 4981 772345
13.59/13.62	o 788
13.59/13.63	c 9.04162 67.7148 4986 773058
13.59/13.63	o 787
13.59/13.65	c 9.05562 67.7148 4988 774380
13.59/13.65	o 774
13.59/13.67	c 9.06762 67.7148 4989 775679
13.59/13.67	o 767
13.69/13.73	c 9.10661 67.7148 5008 776949
13.69/13.73	o 765
13.69/13.75	c 9.11861 67.7148 5012 777452
13.69/13.75	o 762
13.69/13.77	c 9.13961 67.7148 5017 778615
13.69/13.77	o 761
13.69/13.78	c 9.15061 67.7148 5017 779229
13.69/13.78	o 760
13.79/13.80	c 9.16161 67.7148 5022 779998
13.79/13.80	o 759
13.79/13.82	c 9.1746 67.7148 5022 780694
13.79/13.82	o 758
13.79/13.83	c 9.1876 67.7148 5023 781312
13.79/13.83	o 757
13.79/13.87	c 9.2106 67.7148 5035 781859
13.79/13.87	o 756
13.89/13.92	c 9.25359 67.7148 5054 782906
13.89/13.92	o 755
13.89/13.95	c 9.27359 67.7148 5060 784356
13.89/13.95	o 752
13.89/13.96	c 9.28359 67.7148 5062 785145
13.89/13.96	o 748
13.89/13.98	c 9.29759 67.7148 5063 786051
13.89/13.98	o 746
14.00/14.00	c 9.31758 67.7148 5070 786852
14.00/14.00	o 744
14.00/14.04	c 9.34158 67.7148 5075 788405
14.00/14.04	o 743
14.00/14.06	c 9.35858 67.7148 5079 789304
14.00/14.06	o 741
14.00/14.07	c 9.37157 67.7148 5080 790353
14.00/14.07	o 740
14.00/14.09	c 9.38557 67.7148 5081 791383
14.00/14.09	o 734
14.10/14.13	c 9.41057 67.7148 5091 792616
14.10/14.13	o 733
14.19/14.26	c 9.50356 67.7148 5149 793408
14.19/14.26	o 732
14.30/14.31	c 9.53455 67.7148 5166 793776
14.30/14.31	o 731
14.30/14.34	c 9.55755 67.7148 5180 794296
14.30/14.34	o 729
14.49/14.59	c 9.72152 67.8438 5263 795059
14.49/14.59	o 726
14.69/14.70	c 9.78651 67.8438 5295 796110
14.69/14.70	o 724
15.09/15.18	c 10.0865 67.8438 5494 797868
15.09/15.18	o 721
15.19/15.22	c 10.1105 67.8438 5501 798717
15.19/15.22	o 720
15.19/15.24	c 10.1245 67.8438 5501 799949
15.19/15.24	o 711
15.19/15.25	c 10.1375 67.8438 5501 801078
15.19/15.25	o 704
15.19/15.27	c 10.1545 67.8438 5502 801870
15.19/15.27	o 702
15.19/15.30	c 10.1745 67.8438 5505 802374
15.19/15.30	o 701
15.30/15.32	c 10.1845 67.8438 5505 803710
15.30/15.32	o 699
15.30/15.33	c 10.1984 67.8438 5507 805132
15.30/15.33	o 696
15.30/15.37	c 10.2204 67.8438 5514 807527
15.30/15.37	o 683
15.40/15.40	c 10.2454 67.8438 5523 808197
15.40/15.40	o 681
15.40/15.43	c 10.2624 67.8438 5525 808971
15.40/15.43	o 679
15.40/15.45	c 10.2744 67.8438 5529 809766
15.40/15.45	o 676
15.40/15.47	c 10.2894 67.8438 5539 810294
15.40/15.47	o 675
15.40/15.50	c 10.3114 67.8438 5549 811127
15.40/15.50	o 674
15.49/15.52	c 10.3314 67.8438 5558 812111
15.49/15.52	o 670
15.49/15.58	c 10.3654 67.8438 5582 812850
15.49/15.58	o 667
15.49/15.59	c 10.3774 67.8438 5582 813659
15.49/15.59	o 665
15.60/15.61	c 10.3864 67.8438 5583 814593
15.60/15.61	o 664
15.60/15.66	c 10.4254 67.8438 5596 815384
15.60/15.66	o 663
15.69/15.70	c 10.4534 67.8438 5610 816328
15.69/15.70	o 662
15.69/15.77	c 10.5014 67.8438 5638 817557
15.69/15.77	o 660
15.79/15.83	c 10.5404 67.8438 5659 818131
15.79/15.83	o 659
15.79/15.88	c 10.5684 67.8438 5672 819233
15.79/15.88	o 656
15.89/15.90	c 10.5774 67.8438 5675 820720
15.89/15.90	o 652
15.89/15.93	c 10.5934 67.8438 5683 821644
15.89/15.93	o 651
15.89/15.95	c 10.6084 67.8438 5689 822233
15.89/15.95	o 647
16.19/16.20	c 10.7834 67.8438 5795 823729
16.19/16.20	o 644
16.19/16.22	c 10.7974 67.8438 5797 824502
16.19/16.22	o 643
16.19/16.25	c 10.8144 67.8438 5802 826147
16.19/16.25	o 629
16.19/16.27	c 10.8274 67.8438 5805 826835
16.19/16.27	o 628
16.19/16.29	c 10.8404 67.8438 5807 827664
16.19/16.29	o 626
16.29/16.34	c 10.8783 67.8438 5830 828492
16.29/16.34	o 624
16.29/16.38	c 10.9003 67.8438 5841 829328
16.29/16.38	o 621
16.29/16.40	c 10.9183 67.8438 5843 829951
16.29/16.40	o 617
16.39/16.46	c 10.9543 67.9727 5875 830558
16.39/16.46	o 616
16.69/16.71	c 11.1023 67.9727 5946 831029
16.69/16.71	o 615
16.69/16.73	c 11.1153 67.9727 2974 831610
16.69/16.73	o 613
16.69/16.75	c 11.1283 67.9727 2975 832187
16.69/16.75	o 611
16.69/16.78	c 11.1513 67.9727 2983 832713
16.69/16.78	o 610
16.79/16.80	c 11.1693 67.9727 2987 833459
16.79/16.80	o 607
16.79/16.83	c 11.1913 67.9727 2993 834001
16.79/16.83	o 606
16.79/16.86	c 11.2093 67.9727 2999 834839
16.79/16.86	o 603
16.99/17.02	c 11.3103 67.9727 3049 835613
16.99/17.02	o 601
16.99/17.05	c 11.3353 67.9727 3058 836119
16.99/17.05	o 600
17.09/17.10	c 11.3673 67.9727 3087 836731
17.09/17.10	o 599
17.09/17.13	c 11.3903 67.9727 3092 837329
17.09/17.13	o 598
17.09/17.15	c 11.4023 67.9727 3094 837711
17.09/17.15	o 597
17.09/17.18	c 11.4233 67.9727 3100 838276
17.09/17.18	o 595
17.29/17.30	c 11.5043 67.9727 3147 838876
17.29/17.30	o 594
17.29/17.35	c 11.5262 67.9727 3175 839404
17.29/17.35	o 593
17.29/17.36	c 11.5402 67.9727 3182 839695
17.29/17.36	o 592
17.29/17.39	c 11.5652 67.9727 3188 840486
17.29/17.39	o 590
17.39/17.46	c 11.6122 67.9727 3207 840851
17.39/17.46	o 589
17.50/17.50	c 11.6342 67.9727 3215 841266
17.50/17.50	o 587
17.70/17.77	c 11.7942 67.9727 3319 842445
17.70/17.77	o 586
17.90/17.96	c 11.9282 67.9727 3385 843124
17.90/17.96	o 585
17.99/18.01	c 11.9542 67.9727 3397 843466
17.99/18.01	o 584
17.99/18.03	c 11.9702 67.9727 3405 843914
17.99/18.03	o 583
18.20/18.22	c 12.1012 67.9727 3479 844593
18.20/18.22	o 582
18.20/18.24	c 12.1172 67.9727 3483 845050
18.20/18.24	o 581
18.20/18.27	c 12.1312 67.9727 3488 845523
18.20/18.27	o 578
18.20/18.29	c 12.1482 67.9727 3491 845969
18.20/18.29	o 577
18.29/18.31	c 12.1592 67.9727 3492 846459
18.29/18.31	o 576
18.29/18.33	c 12.1741 67.9727 3494 847125
18.29/18.33	o 575
18.29/18.34	c 12.1881 67.9727 3495 847797
18.29/18.34	o 571
18.29/18.36	c 12.2071 67.9727 3504 848285
18.29/18.36	o 569
18.29/18.39	c 12.2271 67.9727 3510 849294
18.29/18.39	o 563
18.40/18.41	c 12.2391 67.9727 3511 849842
18.40/18.41	o 561
18.40/18.49	c 12.2881 67.9727 3534 850516
18.40/18.49	o 558
18.60/18.64	c 12.3841 67.9727 3595 851441
18.60/18.64	o 557
18.69/18.71	c 12.4331 67.9727 3675 852021
18.69/18.71	o 556
18.90/18.96	c 12.5791 67.9727 3786 853130
18.90/18.96	o 555
18.90/18.99	c 12.5991 67.9727 3801 853648
18.90/18.99	o 554
19.00/19.01	c 12.6161 67.9727 3805 854362
19.00/19.01	o 552
19.00/19.03	c 12.6311 67.9727 3808 855122
19.00/19.03	o 549
19.00/19.06	c 12.6541 67.9727 3818 855767
19.00/19.06	o 546
19.29/19.31	c 12.824 67.9727 3965 857055
19.29/19.31	o 544
19.39/19.40	c 12.884 67.9727 3988 857796
19.39/19.40	o 543
19.39/19.46	c 12.927 67.9727 4003 858266
19.39/19.46	o 542
19.39/19.48	c 12.939 67.9727 4003 858747
19.39/19.48	o 540
19.49/19.50	c 12.956 67.9727 4005 859127
19.49/19.50	o 539
19.49/19.52	c 12.97 67.9727 4007 859747
19.49/19.52	o 535
19.49/19.54	c 12.989 67.9727 4012 860701
19.49/19.54	o 528
19.49/19.56	c 13.003 67.9727 4014 861526
19.49/19.56	o 524
19.59/19.60	c 13.029 67.9727 4023 862153
19.59/19.60	o 523
19.59/19.64	c 13.05 67.9727 4035 862645
19.59/19.64	o 522
19.59/19.66	c 13.062 67.9727 4036 863197
19.59/19.66	o 521
19.70/19.70	c 13.094 67.9727 4044 863849
19.70/19.70	o 520
19.70/19.75	c 13.12 67.9727 4050 864379
19.70/19.75	o 519
19.70/19.78	c 13.135 67.9727 4053 864839
19.70/19.78	o 518
19.70/19.80	c 13.151 67.9727 4059 865349
19.70/19.80	o 516
19.80/19.89	c 13.208 67.9727 4084 865808
19.80/19.89	o 515
19.89/19.92	c 13.229 67.9727 4092 866081
19.89/19.92	o 514
19.99/20.01	c 13.282 67.9727 4123 866679
19.99/20.01	o 513
19.99/20.03	c 13.298 67.9727 4155 867034
19.99/20.03	o 511
19.99/20.05	c 13.315 67.9727 4166 867380
19.99/20.05	o 510
19.99/20.07	c 13.331 67.9727 4176 867753
19.99/20.07	o 508
19.99/20.09	c 13.347 67.9727 4181 868253
19.99/20.09	o 507
20.09/20.12	c 13.362 67.9727 4186 868895
20.09/20.12	o 506
20.09/20.16	c 13.385 67.9727 4205 869385
20.09/20.16	o 505
20.19/20.21	c 13.426 67.9727 4218 870119
20.19/20.21	o 500
20.29/20.38	c 13.5229 67.9727 4276 870685
20.29/20.38	o 498
20.39/20.42	c 13.5519 67.9727 4350 871014
20.39/20.42	o 497
20.39/20.43	c 13.5659 67.9727 4356 871404
20.39/20.43	o 495
20.39/20.45	c 13.5779 67.9727 4357 871706
20.39/20.45	o 494
20.39/20.47	c 13.5969 67.9727 4361 872112
20.39/20.47	o 492
20.49/20.57	c 13.6569 67.9727 4393 872713
20.49/20.57	o 491
20.59/20.60	c 13.6759 67.9727 4401 873327
20.59/20.60	o 490
20.59/20.64	c 13.7039 67.9727 4418 873800
20.59/20.64	o 489
20.59/20.67	c 13.7269 67.9727 4424 874380
20.59/20.67	o 487
20.59/20.69	c 13.7389 67.9727 4427 875517
20.59/20.69	o 482
20.69/20.73	c 13.7709 67.9727 4433 875831
20.69/20.73	o 481
20.69/20.75	c 13.7829 67.9727 4433 876489
20.69/20.75	o 480
20.69/20.77	c 13.7989 67.9727 4435 878020
20.69/20.77	o 467
20.69/20.79	c 13.8089 67.9727 4436 878733
20.69/20.79	o 466
20.80/20.83	c 13.8349 67.9727 4454 879917
20.80/20.83	o 465
20.80/20.85	c 13.8479 67.9727 4458 881262
20.80/20.85	o 455
20.80/20.87	c 13.8569 67.9727 4462 881715
20.80/20.87	o 453
20.80/20.90	c 13.8789 67.9727 4473 882526
20.80/20.90	o 449
20.90/20.92	c 13.8929 67.9727 4478 882917
20.90/20.92	o 448
20.99/21.01	c 13.9539 67.9727 4509 883513
20.99/21.01	o 446
20.99/21.06	c 13.9919 67.9727 4519 884142
20.99/21.06	o 444
21.09/21.17	c 14.0599 67.9727 4544 885068
21.09/21.17	o 440
21.19/21.25	c 14.1169 67.9727 4576 885893
21.19/21.25	o 438
21.29/21.34	c 14.1708 67.9727 4602 886459
21.29/21.34	o 437
21.29/21.39	c 14.2108 67.9727 4635 886990
21.29/21.39	o 435
21.39/21.41	c 14.2278 67.9727 4654 887509
21.39/21.41	o 433
21.39/21.43	c 14.2428 67.9727 4657 888143
21.39/21.43	o 429
21.39/21.48	c 14.2748 67.9727 4669 888918
21.39/21.48	o 427
21.59/21.61	c 14.3658 67.9727 4707 889482
21.59/21.61	o 425
21.59/21.65	c 14.3968 67.9727 4717 889990
21.59/21.65	o 422
21.59/21.68	c 14.4138 67.9727 4722 890337
21.59/21.68	o 420
21.69/21.75	c 14.4618 67.9727 4749 890694
21.69/21.75	o 419
21.69/21.77	c 14.4748 67.9727 4751 891236
21.69/21.77	o 418
21.69/21.79	c 14.4858 67.9727 4751 891583
21.69/21.79	o 417
21.79/21.81	c 14.5028 67.9727 4752 892431
21.79/21.81	o 414
21.79/21.82	c 14.5148 67.9727 4754 893221
21.79/21.82	o 413
21.79/21.84	c 14.5248 67.9727 4755 894025
21.79/21.84	o 407
21.79/21.86	c 14.5408 67.9727 4762 895167
21.79/21.86	o 405
21.79/21.88	c 14.5538 67.9727 4768 896148
21.79/21.88	o 401
21.90/21.92	c 14.5748 67.9727 4774 896674
21.90/21.92	o 400
21.90/21.94	c 14.5868 67.9727 4775 897297
21.90/21.94	o 397
21.90/21.98	c 14.6148 67.9727 4788 898254
21.90/21.98	o 394
22.00/22.00	c 14.6328 67.9727 4790 899063
22.00/22.00	o 392
22.00/22.02	c 14.6478 67.9727 4792 899604
22.00/22.02	o 389
22.00/22.06	c 14.6728 67.9727 4801 900193
22.00/22.06	o 388
22.09/22.11	c 14.7018 67.9727 4816 900724
22.09/22.11	o 387
22.09/22.13	c 14.7178 67.9727 4820 901108
22.09/22.13	o 386
22.09/22.16	c 14.7468 67.9727 4827 901656
22.09/22.16	o 382
22.19/22.22	c 14.7878 67.9727 4901 901995
22.19/22.22	o 381
22.19/22.24	c 14.8037 67.9727 4908 902458
22.19/22.24	o 380
22.19/22.28	c 14.8297 67.9727 4922 903021
22.19/22.28	o 379
22.19/22.29	c 14.8417 67.9727 4927 903333
22.19/22.29	o 377
22.29/22.32	c 14.8627 67.9727 4937 903599
22.29/22.32	o 376
22.29/22.35	c 14.8847 67.9727 4941 904412
22.29/22.35	o 370
22.39/22.41	c 14.9227 67.9727 4955 904742
22.39/22.41	o 369
22.39/22.43	c 14.9337 67.9727 4960 905125
22.39/22.43	o 368
22.39/22.46	c 14.9497 67.9727 4971 905354
22.39/22.46	o 367
22.50/22.50	c 14.9707 67.9727 4973 905579
22.50/22.50	o 366
22.50/22.52	c 14.9877 67.9727 4978 906191
22.50/22.52	o 365
22.50/22.54	c 15.0057 67.9727 4980 906602
22.50/22.54	o 364
22.50/22.57	c 15.0297 67.9727 4988 906909
22.50/22.57	o 363
22.59/22.69	c 15.0977 67.9727 5026 907671
22.59/22.69	o 358
22.69/22.72	c 15.1257 67.9727 5041 907985
22.69/22.72	o 357
22.69/22.76	c 15.1497 67.9727 5050 908435
22.69/22.76	o 353
22.69/22.78	c 15.1637 67.9727 5050 908592
22.69/22.78	o 352
22.79/22.80	c 15.1777 67.9727 5052 908951
22.79/22.80	o 351
22.79/22.85	c 15.2147 67.9727 5068 909440
22.79/22.85	o 350
22.79/22.86	c 15.2257 67.9727 5069 910004
22.79/22.86	o 348
22.79/22.88	c 15.2367 67.9727 5069 910337
22.79/22.88	o 346
22.79/22.90	c 15.2487 67.9727 5069 910608
22.79/22.90	o 345
22.89/22.91	c 15.2627 67.9727 5071 911033
22.89/22.91	o 344
22.89/22.94	c 15.2847 67.9727 5080 911680
22.89/22.94	o 342
22.89/22.96	c 15.3017 67.9727 5084 912586
22.89/22.96	o 334
22.89/22.98	c 15.3157 67.9727 5090 913422
22.89/22.98	o 333
22.89/23.00	c 15.3287 67.9727 5091 913653
22.89/23.00	o 332
22.99/23.06	c 15.3777 67.9727 5197 914271
22.99/23.06	o 331
23.09/23.16	c 15.4547 67.9727 5224 914769
23.09/23.16	o 330
23.19/23.24	c 15.5106 67.9727 5242 915040
23.19/23.24	o 329
23.19/23.26	c 15.5256 67.9727 5248 915390
23.19/23.26	o 327
23.30/23.31	c 15.5586 67.9727 5261 915677
23.30/23.31	o 326
23.30/23.33	c 15.5766 67.9727 5272 915990
23.30/23.33	o 325
23.30/23.38	c 15.6136 67.9727 5286 916632
23.30/23.38	o 323
23.30/23.39	c 15.6256 67.9727 5286 916821
23.30/23.39	o 322
23.39/23.42	c 15.6426 67.9727 5289 917134
23.39/23.42	o 321
23.39/23.45	c 15.6696 67.9727 5302 917572
23.39/23.45	o 320
23.39/23.47	c 15.6806 67.9727 5304 917898
23.39/23.47	o 319
23.39/23.49	c 15.6936 67.9727 5305 918261
23.39/23.49	o 317
23.50/23.51	c 15.7116 67.9727 5308 918508
23.50/23.51	o 316
23.50/23.53	c 15.7276 67.9727 5309 918923
23.50/23.53	o 314
23.50/23.55	c 15.7406 67.9727 5309 919576
23.50/23.55	o 309
23.50/23.56	c 15.7506 67.9727 5310 920090
23.50/23.56	o 307
23.50/23.58	c 15.7646 67.9727 5310 920471
23.50/23.58	o 306
23.50/23.59	c 15.7776 67.9727 5310 920859
23.50/23.59	o 305
23.59/23.61	c 15.7876 67.9727 5311 921306
23.59/23.61	o 304
23.59/23.63	c 15.8066 67.9727 5313 921973
23.59/23.63	o 302
23.59/23.65	c 15.8176 67.9727 5313 922471
23.59/23.65	o 301
23.70/23.70	c 15.8556 67.9727 5325 923094
23.70/23.70	o 299
23.70/23.74	c 15.8816 67.9727 5337 923499
23.70/23.74	o 297
23.70/23.75	c 15.8956 67.9727 5337 923851
23.70/23.75	o 295
23.70/23.77	c 15.9116 67.9727 5337 924134
23.70/23.77	o 293
23.70/23.79	c 15.9266 67.9727 5341 924464
23.70/23.79	o 291
23.79/23.81	c 15.9366 67.9727 5342 924683
23.79/23.81	o 290
23.79/23.82	c 15.9506 67.9727 5344 924986
23.79/23.82	o 288
23.79/23.84	c 15.9596 67.9727 5346 925479
23.79/23.84	o 283
23.79/23.86	c 15.9716 67.9727 5346 925689
23.79/23.86	o 281
23.79/23.87	c 15.9886 67.9727 5352 926037
23.79/23.87	o 280
23.89/23.93	c 16.0276 67.9727 5367 926353
23.89/23.93	o 279
23.89/23.96	c 16.0486 67.9727 5370 926739
23.89/23.96	o 277
23.89/23.98	c 16.0586 67.9727 5371 927035
23.89/23.98	o 276
23.89/23.99	c 16.0706 67.9727 5372 927468
23.89/23.99	o 274
23.99/24.01	c 16.0826 67.9727 5373 927863
23.99/24.01	o 273
23.99/24.03	c 16.0946 67.9727 5373 928218
23.99/24.03	o 271
23.99/24.05	c 16.1056 67.9727 5373 928406
23.99/24.05	o 270
23.99/24.07	c 16.1235 67.9727 5376 928696
23.99/24.07	o 268
24.10/24.10	c 16.1425 67.9727 5380 929103
24.10/24.10	o 267
24.10/24.12	c 16.1555 67.9727 5380 929483
24.10/24.12	o 266
24.10/24.13	c 16.1695 67.9727 5380 929879
24.10/24.13	o 264
24.10/24.15	c 16.1805 67.9727 5380 930245
24.10/24.15	o 263
24.10/24.17	c 16.1905 67.9727 5380 930636
24.10/24.17	o 262
24.10/24.18	c 16.2025 67.9727 5380 930962
24.10/24.18	o 261
24.10/24.20	c 16.2125 67.9727 5380 931302
24.10/24.20	o 260
24.20/24.21	c 16.2225 67.9727 5380 931602
24.20/24.21	o 259
24.20/24.23	c 16.2345 67.9727 5380 931958
24.20/24.23	o 257
24.20/24.24	c 16.2495 67.9727 5381 932333
24.20/24.24	o 256
24.20/24.27	c 16.2655 67.9727 5386 932742
24.20/24.27	o 254
24.20/24.29	c 16.2795 67.9727 5388 933120
24.20/24.29	o 253
24.29/24.30	c 16.2905 67.9727 5390 933781
24.29/24.30	o 252
24.29/24.33	c 16.3135 67.9727 5396 934308
24.29/24.33	o 251
24.29/24.35	c 16.3255 67.9727 5397 934651
24.29/24.35	o 249
24.29/24.36	c 16.3365 67.9727 5397 935081
24.29/24.36	o 248
24.29/24.38	c 16.3495 67.9727 5399 935446
24.29/24.38	o 246
24.29/24.39	c 16.3635 67.9727 5402 935797
24.29/24.39	o 245
24.39/24.43	c 16.3885 67.9727 5414 936180
24.39/24.43	o 244
24.39/24.46	c 16.4105 67.9727 5421 936536
24.39/24.46	o 243
24.39/24.49	c 16.4295 67.9727 5426 936839
24.39/24.49	o 242
24.49/24.53	c 16.4605 67.9727 5436 937252
24.49/24.53	o 241
24.49/24.56	c 16.4775 67.9727 5440 937679
24.49/24.56	o 239
24.59/24.60	c 16.5075 67.9727 5454 938115
24.59/24.60	o 238
24.59/24.62	c 16.5225 67.9727 5493 938398
24.59/24.62	o 236
24.59/24.64	c 16.5335 67.9727 5499 938775
24.59/24.64	o 234
24.59/24.66	c 16.5495 67.9727 5503 939003
24.59/24.66	o 233
24.59/24.68	c 16.5605 67.9727 5503 939323
24.59/24.68	o 231
24.69/24.71	c 16.5845 67.9727 5510 939897
24.69/24.71	o 229
24.69/24.72	c 16.5995 67.9727 5515 940242
24.69/24.72	o 227
24.69/24.74	c 16.6155 67.9727 5518 940819
24.69/24.74	o 223
24.69/24.77	c 16.6325 67.9727 5530 941234
24.69/24.77	o 222
24.79/24.88	c 16.7055 67.9727 5557 941852
24.79/24.88	o 220
24.89/24.90	c 16.7245 67.9727 5561 942151
24.89/24.90	o 219
24.89/24.92	c 16.7365 67.9727 5565 942336
24.89/24.92	o 218
24.89/24.93	c 16.7495 67.9727 5566 942630
24.89/24.93	o 217
24.89/24.95	c 16.7595 67.9727 5569 942844
24.89/24.95	o 216
24.89/24.96	c 16.7715 67.9727 5569 943045
24.89/24.96	o 215
24.89/24.98	c 16.7864 67.9727 5571 943248
24.89/24.98	o 214
24.99/25.00	c 16.7994 67.9727 5574 943507
24.99/25.00	o 213
24.99/25.01	c 16.8124 67.9727 5578 943778
24.99/25.01	o 211
24.99/25.05	c 16.8344 67.9727 5583 944199
24.99/25.05	o 209
24.99/25.07	c 16.8534 67.9727 5589 944611
24.99/25.07	o 208
25.09/25.12	c 16.8854 67.9727 5608 945208
25.09/25.12	o 207
25.09/25.18	c 16.9314 67.9727 5643 945773
25.09/25.18	o 206
25.09/25.20	c 16.9424 67.9727 5649 946059
25.09/25.20	o 205
25.20/25.22	c 16.9624 67.9727 5652 946442
25.20/25.22	o 204
25.20/25.25	c 16.9814 67.9727 5657 946901
25.20/25.25	o 203
25.20/25.26	c 16.9944 67.9727 5660 947125
25.20/25.26	o 202
25.20/25.28	c 17.0074 67.9727 5660 947336
25.20/25.28	o 201
25.20/25.30	c 17.0214 67.9727 5664 947756
25.20/25.30	o 199
25.30/25.33	c 17.0434 67.9727 5675 948025
25.30/25.33	o 197
25.30/25.35	c 17.0574 67.9727 5679 948286
25.30/25.35	o 196
25.30/25.37	c 17.0714 67.9727 5682 948679
25.30/25.37	o 194
25.30/25.38	c 17.0844 67.9727 5683 948906
25.30/25.38	o 193
25.39/25.43	c 17.1194 67.9727 5714 949293
25.39/25.43	o 191
25.39/25.47	c 17.1454 67.9727 5736 949708
25.39/25.47	o 190
25.39/25.49	c 17.1584 67.9727 5736 949894
25.39/25.49	o 189
25.49/25.50	c 17.1724 67.9727 5738 950163
25.49/25.50	o 187
25.49/25.52	c 17.1864 67.9727 5738 950435
25.49/25.52	o 186
25.49/25.54	c 17.1984 67.9727 5740 950808
25.49/25.54	o 184
25.49/25.55	c 17.2094 67.9727 5740 951111
25.49/25.55	o 182
25.49/25.57	c 17.2194 67.9727 5740 951286
25.49/25.57	o 181
25.49/25.58	c 17.2294 67.9727 5740 951559
25.49/25.58	o 179
25.60/25.60	c 17.2424 67.9727 5742 951734
25.60/25.60	o 178
25.60/25.62	c 17.2554 67.9727 5746 951980
25.60/25.62	o 177
25.60/25.64	c 17.2714 67.9727 5749 952249
25.60/25.64	o 176
25.60/25.67	c 17.2894 67.9727 5762 952555
25.60/25.67	o 175
25.60/25.69	c 17.3044 67.9727 5767 952745
25.60/25.69	o 174
25.69/25.70	c 17.3144 67.9727 5769 952910
25.69/25.70	o 173
25.69/25.78	c 17.3634 67.9727 5799 953252
25.69/25.78	o 172
25.79/25.81	c 17.3844 67.9727 5807 953684
25.79/25.81	o 169
25.79/25.84	c 17.4074 68.1016 5816 953993
25.79/25.84	o 168
25.79/25.85	c 17.4194 68.1016 5819 954309
25.79/25.85	o 166
25.79/25.87	c 17.4293 68.1016 5821 954737
25.79/25.87	o 163
25.79/25.89	c 17.4433 68.1016 5822 954962
25.79/25.89	o 162
25.89/25.91	c 17.4583 68.1016 5826 955148
25.89/25.91	o 161
25.89/25.93	c 17.4703 68.1016 5827 955317
25.89/25.93	o 160
25.89/25.96	c 17.4853 68.1016 5832 955455
25.89/25.96	o 159
25.89/25.98	c 17.4993 68.1016 5839 956145
25.89/25.98	o 151
25.99/26.02	c 17.5303 68.1016 5849 956744
25.99/26.02	o 148
25.99/26.04	c 17.5423 68.1016 5852 957027
25.99/26.04	o 146
25.99/26.07	c 17.5573 68.1016 5863 957388
25.99/26.07	o 145
25.99/26.09	c 17.5733 68.1016 5868 957687
25.99/26.09	o 144
26.09/26.10	c 17.5883 68.1016 5869 957917
26.09/26.10	o 142
26.09/26.12	c 17.5993 68.1016 5870 958151
26.09/26.12	o 140
26.09/26.15	c 17.6303 68.1016 5873 958386
26.09/26.15	o 139
26.09/26.18	c 17.6473 68.1016 5874 958565
26.09/26.18	o 138
26.09/26.19	c 17.6633 68.1016 5876 958904
26.09/26.19	o 137
26.19/26.21	c 17.6753 68.1016 5876 959125
26.19/26.21	o 136
26.19/26.22	c 17.6873 68.1016 5876 959393
26.19/26.23	o 134
26.19/26.24	c 17.6993 68.1016 5877 959591
26.19/26.24	o 133
26.19/26.26	c 17.7103 68.1016 5878 959774
26.19/26.26	o 132
26.19/26.27	c 17.7223 68.1016 5878 959985
26.19/26.27	o 131
26.19/26.29	c 17.7413 68.1016 5891 960260
26.19/26.29	o 130
26.29/26.31	c 17.7553 68.1016 5897 960501
26.29/26.31	o 128
26.29/26.34	c 17.7713 68.1016 5903 960761
26.29/26.34	o 127
26.29/26.36	c 17.7873 68.1016 5910 960972
26.29/26.36	o 126
26.29/26.37	c 17.7993 68.1016 5911 961090
26.29/26.37	o 125
26.40/26.41	c 17.8253 68.1016 5919 961463
26.40/26.41	o 124
26.40/26.43	c 17.8413 68.1016 5925 961652
26.40/26.43	o 123
26.40/26.45	c 17.8513 68.1016 5927 961838
26.40/26.45	o 122
26.40/26.46	c 17.8643 68.1016 5927 962016
26.40/26.46	o 121
26.40/26.48	c 17.8753 68.1016 5927 962145
26.40/26.48	o 120
26.49/26.53	c 17.9143 68.1016 6039 962618
26.49/26.53	o 119
26.49/26.56	c 17.9343 68.1016 6053 962918
26.49/26.56	o 118
26.59/26.63	c 17.9743 68.1016 6069 963385
26.59/26.63	o 117
26.59/26.65	c 17.9873 68.1016 6071 963537
26.59/26.65	o 116
26.59/26.66	c 18.0003 68.1016 6073 963676
26.59/26.66	o 115
26.59/26.69	c 18.0223 68.1016 6076 963869
26.59/26.69	o 114
26.69/26.71	c 18.0313 68.1016 6077 964118
26.69/26.71	o 113
26.69/26.73	c 18.0413 68.1016 6078 964397
26.69/26.73	o 111
26.69/26.75	c 18.0553 68.1016 6080 964758
26.69/26.75	o 109
26.69/26.76	c 18.0683 68.1016 6082 964986
26.69/26.76	o 108
26.69/26.78	c 18.0763 68.1016 6082 965199
26.69/26.78	o 107
26.69/26.79	c 18.0882 68.1016 6082 965410
26.69/26.79	o 106
26.80/26.81	c 18.1032 68.1016 6082 965645
26.80/26.81	o 105
26.80/26.82	c 18.1162 68.1016 6082 965888
26.80/26.82	o 104
26.80/26.84	c 18.1282 68.1016 6082 966166
26.80/26.84	o 103
26.80/26.85	c 18.1412 68.1016 6082 966407
26.80/26.85	o 102
26.80/26.87	c 18.1532 68.1016 6082 966651
26.80/26.87	o 101
26.80/26.88	c 18.1662 68.1016 6082 966864
26.80/26.88	o 100
26.89/26.90	c 18.1772 68.1016 6082 967070
26.89/26.90	o 99
26.89/26.92	c 18.1902 68.1016 6085 967279
26.89/26.92	o 98
26.89/26.93	c 18.2002 68.1016 6090 967434
26.89/26.93	o 97
26.89/26.96	c 18.2202 68.1016 5750 967623
26.89/26.96	o 96
26.99/27.00	c 18.2482 68.1016 5773 967963
26.99/27.00	o 95
26.99/27.02	c 18.2622 68.1016 5774 968194
26.99/27.02	o 94
26.99/27.04	c 18.2772 68.1016 5780 968397
26.99/27.04	o 93
26.99/27.07	c 18.2992 68.1016 5786 968686
26.99/27.07	o 92
26.99/27.08	c 18.3132 68.1016 5790 968848
26.99/27.08	o 91
27.09/27.10	c 18.3242 68.1016 5791 969065
27.09/27.10	o 89
27.09/27.11	c 18.3362 68.1016 5791 969177
27.09/27.11	o 88
27.09/27.13	c 18.3482 68.1016 5791 969282
27.09/27.13	o 87
27.09/27.15	c 18.3632 68.1016 3014 969422
27.09/27.15	o 86
27.09/27.16	c 18.3772 68.1016 3024 969565
27.09/27.16	o 85
27.09/27.19	c 18.3972 68.1016 3036 969804
27.09/27.19	o 84
27.20/27.21	c 18.4112 68.1016 3044 969983
27.20/27.21	o 83
27.20/27.23	c 18.4252 68.1016 3046 970189
27.20/27.23	o 82
27.20/27.25	c 18.4322 68.1016 3046 970357
27.20/27.25	o 81
27.20/27.27	c 18.4552 68.1016 2216 970554
27.20/27.27	o 80
27.20/27.29	c 18.4682 68.1016 2216 970778
27.20/27.29	o 79
27.29/27.30	c 18.4772 68.1016 2216 970964
27.29/27.30	o 78
27.29/27.31	c 18.4852 68.1016 2216 971164
27.29/27.31	o 77
27.29/27.33	c 18.4952 68.1016 2216 971335
27.29/27.33	o 76
27.29/27.34	c 18.5042 68.1016 2216 971499
27.29/27.34	o 75
27.29/27.35	c 18.5162 68.1016 1936 971806
27.29/27.35	o 74
27.29/27.37	c 18.5282 68.1016 1936 972332
27.29/27.37	o 69
27.29/27.38	c 18.5392 68.1016 1936 972514
27.29/27.38	o 68
27.29/27.39	c 18.5462 68.1016 1936 972724
27.29/27.39	o 67
27.40/27.40	c 18.5572 68.1016 1936 972890
27.40/27.40	o 66
27.40/27.42	c 18.5662 68.1016 1936 973114
27.40/27.42	o 65
27.40/27.43	c 18.5742 68.1016 1702 973316
27.40/27.43	o 64
27.40/27.44	c 18.5822 68.1016 1702 973482
27.40/27.44	o 63
27.40/27.45	c 18.5912 68.1016 1702 973666
27.40/27.45	o 62
27.40/27.46	c 18.6002 68.1016 1702 973818
27.40/27.46	o 61
27.40/27.47	c 18.6082 68.1016 1702 973960
27.40/27.47	o 60
27.40/27.49	c 18.6162 68.1016 1702 974120
27.40/27.49	o 59
27.40/27.50	c 18.6272 68.1016 1634 974393
27.40/27.50	o 57
27.49/27.51	c 18.6342 68.1016 1634 974559
27.49/27.51	o 56
27.49/27.52	c 18.6442 68.1016 1638 974763
27.49/27.52	o 55
27.49/27.53	c 18.6532 68.1016 1646 974930
27.49/27.53	o 54
27.49/27.54	c 18.6622 68.1016 1646 975086
27.49/27.54	o 53
27.49/27.56	c 18.6692 68.1016 1646 975285
27.49/27.56	o 52
27.49/27.57	c 18.6772 68.1016 1607 975441
27.49/27.57	o 51
27.49/27.58	c 18.6862 68.1016 1607 975618
27.49/27.58	o 50
27.49/27.59	c 18.6952 68.1016 1607 975770
27.49/27.59	o 49
27.59/27.60	c 18.7032 68.1016 1607 975917
27.59/27.60	o 48
27.59/27.61	c 18.7122 68.1016 1607 976435
27.59/27.61	o 43
27.59/27.62	c 18.7222 68.1016 1607 976625
27.59/27.62	o 42
27.59/27.63	c 18.7302 68.1016 1589 976823
27.59/27.63	o 41
27.59/27.64	c 18.7372 68.1016 1589 976994
27.59/27.64	o 40
27.59/27.65	c 18.7442 68.1016 1589 977288
27.59/27.65	o 38
27.59/27.66	c 18.7501 68.1016 1589 977458
27.59/27.66	o 37
27.59/27.67	c 18.7581 68.1016 1589 977648
27.59/27.67	o 36
27.59/27.68	c 18.7651 68.1016 1589 977804
27.59/27.68	o 35
27.59/27.68	c 18.7721 68.1016 1589 977957
27.59/27.68	o 34
27.59/27.69	c 18.7801 68.1016 1550 978127
27.59/27.69	o 33
27.69/27.70	c 18.7881 68.1016 1550 978395
27.69/27.70	o 31
27.69/27.71	c 18.7951 68.1016 1550 978555
27.69/27.71	o 30
27.69/27.72	c 18.8031 68.1016 1550 978740
27.69/27.72	o 29
27.69/27.73	c 18.8121 68.1016 1550 978888
27.69/27.73	o 28
27.69/27.74	c 18.8191 68.1016 1550 979030
27.69/27.74	o 27
27.69/27.74	c 18.8261 68.1016 1550 979214
27.69/27.74	o 26
27.69/27.75	c 18.8331 68.1016 1548 979373
27.69/27.75	o 25
27.69/27.76	c 18.8411 68.1016 1548 979527
27.69/27.76	o 24
27.69/27.77	c 18.8471 68.1016 1548 979669
27.69/27.77	o 23
27.69/27.78	c 18.8561 68.1016 1551 979805
27.69/27.78	o 22
27.69/27.78	c 18.8631 68.1016 1555 979936
27.69/27.78	o 21
27.69/27.79	c 18.8711 68.1016 1558 980100
27.69/27.79	o 20
27.79/27.80	c 18.8771 68.1016 1558 980268
27.79/27.80	o 19
27.79/27.81	c 18.8831 68.1016 1550 980398
27.79/27.81	o 18
27.79/27.82	c 18.8901 68.1016 1550 980521
27.79/27.82	o 17
27.79/27.83	c 18.9031 68.1016 1556 980683
27.79/27.83	o 16
27.79/27.84	c 18.9091 68.1016 1559 980825
27.79/27.84	o 15
27.79/27.85	c 18.9151 68.1016 1560 980953
27.79/27.85	o 14
27.79/27.85	c 18.9221 68.1016 1561 981075
27.79/27.85	o 13
27.79/27.86	c 18.9281 68.1016 1562 981201
27.79/27.86	o 12
27.79/27.87	c 18.9331 68.1016 1553 981316
27.79/27.87	o 11
27.79/27.89	c 18.9561 68.1016 1617 981680
27.79/27.89	o 9
27.90/27.90	c 18.9631 68.1016 1619 981809
27.90/27.90	o 8
27.90/27.90	c 18.9691 68.1016 1619 981935
27.90/27.90	o 7
27.90/27.91	c 18.9741 68.1016 1619 982056
27.90/27.91	o 6
27.90/27.92	c 18.9801 68.1016 1582 982186
27.90/27.92	o 5
27.90/27.92	c 18.9861 68.1016 1588 982423
27.90/27.92	o 3
27.90/27.93	c 18.9921 68.1016 1588 982548
27.90/27.93	o 2
27.90/27.94	c 18.9981 68.1016 1589 982668
27.90/27.94	o 1
28.19/28.22	c 19.2811 68.1016 3342 985629
28.19/28.22	s OPTIMUM FOUND
28.19/28.22	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-2698921-1278461877/watcher-2698921-1278461877 -o /tmp/evaluation-result-2698921-1278461877/solver-2698921-1278461877 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698921-1278461877.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.01 2.00 1.92 4/177 11217
/proc/meminfo: memFree=30761312/32950928 swapFree=67111528/67111528
[pid=11217] ppid=11215 vsize=2136 CPUtime=0
/proc/11217/stat : 11217 (pbct) R 11215 11217 10696 0 -1 4202496 255 0 0 0 0 0 0 0 23 0 1 0 14334897 2187264 175 4089446400 134512640 136422188 4289796048 18446744073709551615 135159096 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11217/statm: 534 175 144 467 0 65 0

[startup+0.097627 s]
/proc/loadavg: 2.01 2.00 1.92 4/177 11217
/proc/meminfo: memFree=30761312/32950928 swapFree=67111528/67111528
[pid=11217] ppid=11215 vsize=16544 CPUtime=0.09
/proc/11217/stat : 11217 (pbct) R 11215 11217 10696 0 -1 4202496 3846 0 0 0 9 0 0 0 23 0 1 0 14334897 16941056 3766 4089446400 134512640 136422188 4289796048 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11217/statm: 4169 3773 193 467 0 3700 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16544

[startup+0.100627 s]
/proc/loadavg: 2.01 2.00 1.92 4/177 11217
/proc/meminfo: memFree=30761312/32950928 swapFree=67111528/67111528
[pid=11217] ppid=11215 vsize=17136 CPUtime=0.09
/proc/11217/stat : 11217 (pbct) R 11215 11217 10696 0 -1 4202496 3996 0 0 0 9 0 0 0 23 0 1 0 14334897 17547264 3916 4089446400 134512640 136422188 4289796048 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11217/statm: 4284 3918 193 467 0 3815 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17136

[startup+0.30059 s]
/proc/loadavg: 2.01 2.00 1.92 4/177 11217
/proc/meminfo: memFree=30761312/32950928 swapFree=67111528/67111528
[pid=11217] ppid=11215 vsize=65016 CPUtime=0.29
/proc/11217/stat : 11217 (pbct) R 11215 11217 10696 0 -1 4202496 16531 0 0 0 28 1 0 0 23 0 1 0 14334897 66576384 15558 4089446400 134512640 136422188 4289796048 18446744073709551615 135809825 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11217/statm: 16254 15558 203 467 0 15785 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65016

[startup+0.700518 s]
/proc/loadavg: 2.01 2.00 1.92 4/177 11217
/proc/meminfo: memFree=30761312/32950928 swapFree=67111528/67111528
[pid=11217] ppid=11215 vsize=68456 CPUtime=0.69
/proc/11217/stat : 11217 (pbct) R 11215 11217 10696 0 -1 4202496 17381 0 0 0 56 13 0 0 25 0 1 0 14334897 70098944 16406 4089446400 134512640 136422188 4289796048 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11217/statm: 17114 16406 236 467 0 16645 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68456

[startup+1.50035 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 11218
/proc/meminfo: memFree=30695848/32950928 swapFree=67111528/67111528
[pid=11217] ppid=11215 vsize=68456 CPUtime=1.49
/proc/11217/stat : 11217 (pbct) R 11215 11217 10696 0 -1 4202496 17392 0 0 0 111 38 0 0 25 0 1 0 14334897 70098944 16407 4089446400 134512640 136422188 4289796048 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11217/statm: 17114 16407 237 467 0 16645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68456

[startup+3.10105 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 11218
/proc/meminfo: memFree=30695848/32950928 swapFree=67111528/67111528
[pid=11217] ppid=11215 vsize=68456 CPUtime=3.09
/proc/11217/stat : 11217 (pbct) R 11215 11217 10696 0 -1 4202496 17407 0 0 0 217 92 0 0 25 0 1 0 14334897 70098944 16407 4089446400 134512640 136422188 4289796048 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11217/statm: 17114 16407 237 467 0 16645 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68456

[startup+6.30043 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 11218
/proc/meminfo: memFree=30695476/32950928 swapFree=67111528/67111528
[pid=11217] ppid=11215 vsize=69072 CPUtime=6.29
/proc/11217/stat : 11217 (pbct) R 11215 11217 10696 0 -1 4202496 17540 0 0 0 429 200 0 0 25 0 1 0 14334897 70729728 16494 4089446400 134512640 136422188 4289796048 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11217/statm: 17268 16494 237 467 0 16799 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69072

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 11219
/proc/meminfo: memFree=30695532/32950928 swapFree=67111528/67111528
[pid=11217] ppid=11215 vsize=69204 CPUtime=12.69
/proc/11217/stat : 11217 (pbct) R 11215 11217 10696 0 -1 4202496 17662 0 0 0 842 427 0 0 20 0 1 0 14334897 70864896 16558 4089446400 134512640 136422188 4289796048 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11217/statm: 17301 16558 237 467 0 16832 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69204

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11220
/proc/meminfo: memFree=30694852/32950928 swapFree=67111528/67111528
[pid=11217] ppid=11215 vsize=69600 CPUtime=25.49
/proc/11217/stat : 11217 (pbct) R 11215 11217 10696 0 -1 4202496 18081 0 0 0 1716 833 0 0 25 0 1 0 14334897 71270400 16665 4089446400 134512640 136422188 4289796048 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11217/statm: 17400 16665 237 467 0 16931 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69600

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

[startup+27.1005 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11220
/proc/meminfo: memFree=30694840/32950928 swapFree=67111528/67111528
[pid=11217] ppid=11215 vsize=69732 CPUtime=27.09
/proc/11217/stat : 11217 (pbct) R 11215 11217 10696 0 -1 4202496 18196 0 0 0 1832 877 0 0 25 0 1 0 14334897 71405568 16707 4089446400 134512640 136422188 4289796048 18446744073709551615 134856248 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11217/statm: 17433 16707 237 467 0 16964 0
Current children cumulated CPU time (s) 27.09
Current children cumulated vsize (KiB) 69732

[startup+27.9003 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11220
/proc/meminfo: memFree=30694840/32950928 swapFree=67111528/67111528
[pid=11217] ppid=11215 vsize=69732 CPUtime=27.9
/proc/11217/stat : 11217 (pbct) R 11215 11217 10696 0 -1 4202496 18266 0 0 0 1896 894 0 0 25 0 1 0 14334897 71405568 16708 4089446400 134512640 136422188 4289796048 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11217/statm: 17433 16708 237 467 0 16964 0
Current children cumulated CPU time (s) 27.9
Current children cumulated vsize (KiB) 69732

[startup+28.3002 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11220
/proc/meminfo: memFree=30694840/32950928 swapFree=67111528/67111528
[pid=11217] ppid=11215 vsize=65336 CPUtime=28.29
/proc/11217/stat : 11217 (pbct) R 11215 11217 10696 0 -1 4202496 18277 0 0 0 1935 894 0 0 25 0 1 0 14334897 66904064 15784 4089446400 134512640 136422188 4289796048 18446744073709551615 135806299 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11217/statm: 16334 15784 240 467 0 15865 0
Current children cumulated CPU time (s) 28.29
Current children cumulated vsize (KiB) 65336

Child status: 0
Real time (s): 28.3436
CPU time (s): 28.3447
CPU user time (s): 19.3941
CPU system time (s): 8.95064
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 69732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.3941
system time used= 8.95064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 49

runsolver used 0.036994 second user time and 0.116982 second system time

The end

Launcher Data 

Begin job on node115 at 2010-07-07 02:17:57
IDJOB=2698921
IDBENCH=79047
IDSOLVER=1212
FILE ID=node115/2698921-1278461877
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-ooo.tag8.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698921-1278461877/watcher-2698921-1278461877 -o /tmp/evaluation-result-2698921-1278461877/solver-2698921-1278461877 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698921-1278461877.wbo

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

MD5SUM BENCH= 2e5305672cd925feb8447ea4f265e9b4
RANDOM SEED=761296443

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:      30761840 kB
Buffers:         98436 kB
Cached:        1782616 kB
SwapCached:          0 kB
Active:         760328 kB
Inactive:      1294136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30761840 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2020 kB
Writeback:           0 kB
AnonPages:      173244 kB
Mapped:          15620 kB
Slab:            71372 kB
PageTables:       4828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   321200 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:18:25