Trace number 2699005

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 78.2971 78.2941

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf7.ucl--soft-0-100-0.wbo
MD5SUM97204d9d3071460ca4d6ce46ec0d7b5a
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 benchmark0.096984
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3736
Total number of constraints10457
Number of soft constraints10457
Number of constraints which are clauses10089
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints368
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 528640
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 528639
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.04/0.06	c constraints 0/368 clauses 0/10089 units 0
0.04/0.06	c vars 3736
0.99/1.03	c 0.820875 89.6445 156 137916
0.99/1.03	o 6507
1.69/1.72	c 0.994848 90.9844 474 270731
1.69/1.72	o 6153
1.89/1.99	c 1.06584 90.9844 586 291895
1.89/1.99	o 5163
1.99/2.02	c 1.07184 90.9844 591 307818
1.99/2.02	o 4826
1.99/2.07	c 1.08184 90.9844 599 324790
1.99/2.07	o 4824
2.09/2.15	c 1.09883 90.9844 621 336421
2.09/2.15	o 4823
2.39/2.46	c 1.15082 90.9844 737 373209
2.39/2.46	o 4165
2.49/2.50	c 1.15782 90.9844 745 391907
2.49/2.50	o 3659
2.49/2.56	c 1.17182 90.9844 763 414504
2.49/2.56	o 3520
5.40/5.40	c 2.06469 91.3711 1769 447406
5.40/5.40	o 3518
5.79/5.88	c 2.17067 91.5 1989 480696
5.79/5.88	o 3507
5.89/5.93	c 2.18367 91.5 1998 498636
5.89/5.93	o 3463
5.89/5.96	c 2.19267 91.5 2001 516296
5.89/5.96	o 2975
6.09/6.17	c 2.23866 91.5 2102 542782
6.09/6.17	o 2954
6.19/6.21	c 2.25266 91.5 2109 563287
6.19/6.21	o 2425
6.19/6.24	c 2.25966 91.5 2111 577277
6.19/6.24	o 2280
6.19/6.27	c 2.26666 91.5 2116 583138
6.19/6.27	o 2274
6.39/6.45	c 2.29965 91.6484 2161 587340
6.39/6.45	o 2272
9.59/9.60	c 2.82557 91.7773 3069 611383
9.59/9.60	o 2236
9.59/9.64	c 2.83757 91.7773 3071 631621
9.59/9.64	o 2142
9.59/9.67	c 2.84357 91.7773 3074 644282
9.59/9.67	o 1741
9.69/9.76	c 2.86056 91.7773 3086 652037
9.69/9.76	o 1739
14.39/14.45	c 4.08538 92.0352 4114 674783
14.39/14.45	o 1738
14.59/14.68	c 4.14037 92.0352 4155 679959
14.59/14.68	o 1737
15.09/15.14	c 4.22636 92.0352 4296 684534
15.09/15.14	o 1730
15.29/15.35	c 4.26435 92.0352 4342 688610
15.29/15.35	o 1729
16.19/16.28	c 4.43532 92.0352 4558 696404
16.19/16.28	o 1726
16.29/16.36	c 4.45432 92.0352 4573 698469
16.29/16.36	o 1725
16.40/16.49	c 4.47832 92.0352 4602 700244
16.40/16.49	o 1723
16.50/16.54	c 4.48732 92.0352 4604 705187
16.50/16.54	o 1716
16.69/16.77	c 4.54131 92.0352 4648 708191
16.69/16.77	o 1715
16.79/16.84	c 4.56031 92.1641 4665 712737
16.79/16.84	o 1708
16.99/17.01	c 4.5983 92.1641 4689 716023
16.99/17.01	o 1707
17.09/17.15	c 4.66729 92.1641 4721 721036
17.09/17.15	o 1706
18.39/18.45	c 5.12922 92.1641 4980 726780
18.39/18.45	o 1701
18.49/18.53	c 5.14622 92.1641 4988 728005
18.49/18.53	o 1697
18.49/18.56	c 5.15422 92.1641 4995 732590
18.49/18.56	o 1694
18.59/18.62	c 5.16421 92.1641 5009 742500
18.59/18.62	o 1684
18.59/18.65	c 5.17221 92.1641 5015 749911
18.59/18.65	o 1679
18.70/18.73	c 5.18721 92.1641 5030 753406
18.70/18.73	o 1678
19.09/19.13	c 5.2942 92.1641 5149 757548
19.09/19.13	o 1677
19.49/19.54	c 5.36318 92.1641 5221 759906
19.49/19.54	o 1675
19.99/20.05	c 5.46617 92.293 5332 766481
19.99/20.05	o 1663
20.69/20.76	c 5.60115 92.293 5471 771631
20.69/20.76	o 1660
20.89/20.98	c 5.65714 92.293 5520 774009
20.89/20.98	o 1658
21.00/21.01	c 5.66414 92.293 5523 781196
21.00/21.01	o 1648
21.00/21.05	c 5.67514 92.293 5529 793319
21.00/21.05	o 1646
21.00/21.08	c 5.68314 92.293 5536 795243
21.00/21.08	o 1645
21.09/21.12	c 5.68813 92.293 5543 802280
21.09/21.12	o 1644
21.09/21.17	c 5.70013 92.293 5555 813928
21.09/21.17	o 1637
21.19/21.23	c 5.71013 92.293 5567 846309
21.19/21.23	o 1584
21.19/21.27	c 5.71713 92.293 5573 856856
21.19/21.27	o 1573
21.19/21.29	c 5.72613 92.293 5578 864638
21.19/21.29	o 1570
21.29/21.33	c 5.73413 92.293 5583 876096
21.29/21.33	o 1569
21.29/21.36	c 5.74213 92.293 5586 886363
21.29/21.36	o 1566
21.29/21.39	c 5.74813 92.293 5592 891248
21.29/21.39	o 1565
21.40/21.44	c 5.75912 92.293 5596 915115
21.40/21.44	o 1520
21.40/21.46	c 5.76612 92.293 5598 926234
21.40/21.46	o 1463
21.50/21.51	c 5.77412 92.4375 5605 946488
21.50/21.51	o 1130
21.59/21.60	c 5.79512 92.4375 5619 948863
21.59/21.60	o 1124
22.00/22.07	c 5.88211 92.4375 5730 951352
22.00/22.07	o 1123
22.09/22.15	c 5.9151 92.4375 5758 954123
22.09/22.15	o 1121
22.19/22.25	c 5.9461 92.4375 5781 954932
22.19/22.25	o 1120
24.20/24.24	c 6.49301 92.4375 6220 957943
24.20/24.24	o 1119
24.49/24.56	c 6.62899 92.4375 3169 959873
24.49/24.56	o 1118
24.89/24.95	c 6.74297 92.4375 3275 962172
24.89/24.95	o 1112
24.89/24.98	c 6.74997 92.4375 3278 963364
24.89/24.98	o 1111
25.09/25.18	c 6.81596 92.4375 3316 966846
25.09/25.18	o 1109
25.19/25.22	c 6.82796 92.4375 3319 968286
25.19/25.22	o 1108
25.19/25.27	c 6.84096 92.4375 3327 972296
25.19/25.27	o 1107
25.30/25.38	c 6.87096 92.4375 3345 973415
25.30/25.38	o 1106
25.39/25.42	c 6.88395 92.4375 3349 974589
25.39/25.42	o 1105
25.59/25.61	c 6.95294 92.4375 3392 976014
25.59/25.61	o 1104
26.20/26.22	c 7.06193 92.4375 3530 977601
26.20/26.22	o 1103
26.30/26.32	c 7.08592 92.4375 3547 978356
26.30/26.32	o 1102
26.30/26.39	c 7.10492 92.4375 3565 978837
26.30/26.39	o 1101
26.39/26.46	c 7.12492 92.4375 3578 979890
26.39/26.46	o 1099
26.49/26.50	c 7.13492 92.4375 3586 986047
26.49/26.50	o 1096
26.49/26.57	c 7.15291 92.4375 3593 988109
26.49/26.57	o 1095
26.69/26.76	c 7.18491 92.4375 3637 991213
26.69/26.76	o 1089
26.99/27.06	c 7.2409 92.4375 3690 993598
26.99/27.06	o 1088
27.09/27.13	c 7.2589 92.4375 3699 995718
27.09/27.13	o 1087
27.49/27.57	c 7.37888 92.4375 3804 998551
27.49/27.57	o 1086
27.59/27.65	c 7.39388 92.4375 3821 999337
27.59/27.65	o 1085
27.59/27.68	c 7.40387 92.4375 3824 1000840
27.59/27.68	o 1083
27.69/27.72	c 7.41287 92.4375 3827 1001838
27.69/27.72	o 1082
27.79/27.80	c 7.43487 92.4375 3845 1004715
27.79/27.80	o 1081
27.79/27.83	c 7.44587 92.4375 3848 1006731
27.79/27.83	o 1080
27.79/27.86	c 7.45287 92.4375 3851 1010354
27.79/27.86	o 1075
27.79/27.89	c 7.46087 92.4375 3852 1013808
27.79/27.89	o 1071
27.89/27.97	c 7.47386 92.4375 3870 1020527
27.89/27.97	o 1069
27.99/28.07	c 7.50186 92.4375 3888 1021953
27.99/28.07	o 1068
28.09/28.15	c 7.51786 92.4375 3904 1025304
28.09/28.15	o 1067
28.19/28.21	c 7.52986 92.4375 3909 1030157
28.19/28.21	o 1055
28.69/28.70	c 7.60984 92.4375 4020 1031915
28.69/28.70	o 1053
29.39/29.40	c 7.74282 92.4375 4161 1034643
29.39/29.40	o 1052
29.39/29.49	c 7.76882 92.4375 4180 1036694
29.39/29.49	o 1049
29.50/29.60	c 7.78682 92.4375 4200 1037565
29.50/29.60	o 1047
29.59/29.62	c 7.79481 92.4375 4210 1038532
29.59/29.62	o 1046
29.59/29.65	c 7.80281 92.4375 4212 1039338
29.59/29.65	o 1044
29.79/29.80	c 7.83581 92.4375 4235 1040212
29.79/29.80	o 1041
30.99/31.08	c 8.24075 92.4375 4502 1042497
30.99/31.08	o 1040
31.49/31.51	c 8.38172 92.4375 4609 1043861
31.49/31.51	o 1038
31.59/31.68	c 8.41972 92.4375 4640 1045344
31.59/31.68	o 1036
31.80/31.87	c 8.45771 92.4375 4667 1046298
31.80/31.87	o 1034
31.90/31.91	c 8.47171 92.4375 4673 1047667
31.90/31.91	o 1033
32.09/32.18	c 8.5217 92.4375 4715 1049018
32.09/32.18	o 1032
32.59/32.67	c 8.61169 92.4375 4791 1050331
32.59/32.67	o 1031
32.69/32.70	c 8.62269 92.4375 4793 1051664
32.69/32.70	o 1030
32.69/32.73	c 8.63569 92.4375 4797 1052948
32.69/32.73	o 1029
32.90/32.92	c 8.68068 92.4375 4826 1053890
32.90/32.92	o 1028
33.29/33.39	c 8.77867 92.4375 4935 1055410
33.29/33.39	o 1027
33.39/33.41	c 8.78766 92.4375 4936 1056074
33.39/33.41	o 1026
33.39/33.45	c 8.79966 92.4375 4939 1056804
33.39/33.45	o 1025
33.49/33.52	c 8.81466 92.4375 4953 1057424
33.49/33.52	o 1024
34.50/34.53	c 8.99963 92.4375 5162 1061166
34.50/34.53	o 1023
34.59/34.65	c 9.03463 92.4375 5182 1061887
34.59/34.65	o 1022
34.99/35.04	c 9.11361 92.4375 5243 1062957
34.99/35.04	o 1021
34.99/35.07	c 9.12661 92.4375 5248 1065519
34.99/35.07	o 1019
35.10/35.12	c 9.14061 92.4375 5252 1067228
35.10/35.12	o 1018
35.10/35.18	c 9.15161 92.4375 5260 1068876
35.10/35.18	o 1016
35.40/35.49	c 9.2326 92.4375 5332 1070096
35.40/35.49	o 1014
35.49/35.53	c 9.24459 92.4375 5339 1071456
35.49/35.53	o 1012
36.19/36.22	c 9.39657 92.4375 5481 1073612
36.19/36.22	o 1011
36.19/36.29	c 9.40857 92.4375 5489 1075307
36.19/36.29	o 1010
37.40/37.48	c 9.75652 92.4375 5723 1078195
37.40/37.48	o 1009
37.59/37.66	c 9.8555 92.4375 5763 1078761
37.59/37.66	o 1008
37.59/37.69	c 9.8655 92.4375 5763 1080861
37.59/37.69	o 998
37.69/37.71	c 9.8745 92.4375 5763 1081844
37.69/37.71	o 997
37.69/37.74	c 9.8835 92.4375 5763 1083343
37.69/37.74	o 991
37.69/37.77	c 9.8955 92.4375 5765 1084804
37.69/37.77	o 989
37.89/37.91	c 9.95949 92.4375 5812 1086639
37.89/37.91	o 988
38.40/38.46	c 10.0975 92.4375 5929 1088946
38.40/38.46	o 987
38.40/38.49	c 10.1095 92.4375 5932 1090644
38.40/38.49	o 986
38.49/38.52	c 10.1195 92.4375 5939 1091501
38.49/38.52	o 985
38.69/38.77	c 10.2084 92.4375 5980 1093464
38.69/38.77	o 984
38.89/38.95	c 10.2844 92.4375 6023 1095262
38.89/38.95	o 983
39.39/39.45	c 10.3594 92.4375 6131 1099623
39.39/39.45	o 982
39.49/39.52	c 10.3794 92.4375 6138 1102693
39.49/39.52	o 981
39.49/39.57	c 10.4014 92.4375 6143 1104724
39.49/39.57	o 980
39.60/39.67	c 10.4344 92.4375 6166 1106717
39.60/39.67	o 977
39.69/39.72	c 10.4464 92.4375 6170 1109125
39.69/39.72	o 975
39.79/39.86	c 10.4814 92.4375 6190 1110658
39.79/39.86	o 972
39.89/39.95	c 10.4994 92.4375 6204 1113246
39.89/39.95	o 966
39.89/39.98	c 10.5094 92.4375 6207 1116038
39.89/39.98	o 960
40.00/40.01	c 10.5194 92.4375 6209 1119871
40.00/40.01	o 948
40.00/40.03	c 10.5284 92.4375 6211 1121419
40.00/40.03	o 947
40.00/40.08	c 10.5374 92.4375 6215 1124277
40.00/40.08	o 942
40.09/40.13	c 10.5494 92.4375 6219 1125687
40.09/40.13	o 937
40.19/40.24	c 10.5804 92.4375 6236 1126485
40.19/40.24	o 936
40.19/40.27	c 10.5914 92.4375 3124 1128085
40.19/40.27	o 935
40.49/40.51	c 10.6734 92.4375 3191 1128817
40.49/40.51	o 934
40.49/40.58	c 10.6884 92.4375 3199 1129753
40.49/40.58	o 932
40.60/40.64	c 10.7054 92.4375 3203 1130632
40.60/40.64	o 931
40.60/40.67	c 10.7204 92.4375 3207 1132053
40.60/40.67	o 930
40.70/40.70	c 10.7344 92.4375 3209 1133825
40.70/40.70	o 929
40.70/40.78	c 10.7504 92.4375 3229 1135847
40.70/40.78	o 926
40.89/40.90	c 10.7774 92.4375 3255 1137239
40.89/40.90	o 925
42.30/42.30	c 11.0383 92.4375 3519 1138932
42.30/42.30	o 924
42.39/42.46	c 11.1013 92.4375 3634 1140056
42.39/42.46	o 923
42.39/42.49	c 11.1103 92.4375 3638 1140735
42.39/42.49	o 922
42.49/42.55	c 11.1293 92.4375 3650 1141771
42.49/42.55	o 920
42.69/42.76	c 11.1683 92.4375 3692 1142257
42.69/42.76	o 919
42.90/42.98	c 11.2103 92.4375 3732 1143542
42.90/42.98	o 918
43.09/43.13	c 11.2393 92.4375 3760 1144363
43.09/43.13	o 917
43.09/43.19	c 11.2553 92.4375 3768 1146187
43.09/43.19	o 916
43.49/43.59	c 11.3803 92.4375 3829 1148573
43.49/43.59	o 912
43.69/43.77	c 11.4503 92.4375 3864 1149561
43.69/43.77	o 911
44.29/44.32	c 11.6572 92.4375 4015 1151049
44.29/44.32	o 910
44.39/44.47	c 11.6932 92.4375 4036 1151835
44.39/44.47	o 908
44.80/44.84	c 11.7872 92.4375 4138 1153314
44.80/44.84	o 906
44.80/44.87	c 11.7982 92.4375 4139 1154167
44.80/44.87	o 904
44.89/44.91	c 11.8072 92.4375 4142 1155066
44.89/44.91	o 903
44.89/44.94	c 11.8152 92.4375 4144 1155926
44.89/44.94	o 902
44.99/45.06	c 11.8502 92.4375 4159 1158286
44.99/45.06	o 901
45.10/45.12	c 11.8702 92.4375 4173 1159960
45.10/45.12	o 900
45.29/45.33	c 11.9042 92.4375 4212 1166740
45.29/45.33	o 899
45.29/45.38	c 11.9182 92.4375 4224 1168533
45.29/45.38	o 898
45.40/45.43	c 11.9322 92.4375 4233 1170123
45.40/45.43	o 896
45.40/45.47	c 11.9412 92.4375 4240 1175673
45.40/45.47	o 894
45.59/45.60	c 11.9642 92.4375 4259 1176692
45.59/45.60	o 893
45.89/45.98	c 12.0212 92.4375 4359 1178631
45.89/45.98	o 892
45.99/46.06	c 12.0412 92.4375 4369 1179644
45.99/46.06	o 891
45.99/46.08	c 12.0512 92.4375 4371 1181186
45.99/46.08	o 890
46.10/46.14	c 12.0662 92.4375 4376 1182506
46.10/46.14	o 889
46.20/46.23	c 12.1002 92.4375 4385 1184077
46.20/46.23	o 888
46.29/46.39	c 12.1472 92.4375 4424 1185345
46.29/46.39	o 887
46.39/46.41	c 12.1552 92.4375 4428 1185819
46.39/46.41	o 886
46.59/46.61	c 12.1931 92.4375 4479 1186636
46.59/46.61	o 885
46.70/46.75	c 12.2301 92.4375 4522 1187719
46.70/46.75	o 882
46.79/46.85	c 12.2621 92.4375 4551 1188359
46.79/46.85	o 881
46.79/46.89	c 12.2751 92.4375 4562 1189903
46.79/46.89	o 880
46.89/46.93	c 12.2871 92.4375 4566 1190812
46.89/46.93	o 879
46.89/46.96	c 12.3011 92.4375 4570 1191906
46.89/46.96	o 878
46.99/47.01	c 12.3141 92.4375 4578 1192903
46.99/47.01	o 877
47.09/47.15	c 12.3531 92.4375 4601 1194825
47.09/47.15	o 875
48.19/48.30	c 12.5531 92.4375 4805 1197961
48.19/48.30	o 873
48.30/48.33	c 12.5671 92.4375 4807 1198743
48.30/48.33	o 872
48.30/48.36	c 12.5791 92.4375 4812 1200516
48.30/48.36	o 866
48.40/48.43	c 12.5961 92.4375 4825 1202143
48.40/48.43	o 865
48.49/48.55	c 12.6251 92.4375 4847 1202906
48.49/48.55	o 864
48.60/48.60	c 12.6411 92.4375 4852 1204108
48.60/48.60	o 862
48.79/48.82	c 12.7201 92.4375 4895 1204757
48.79/48.82	o 861
48.79/48.89	c 12.7371 92.4375 4903 1205416
48.79/48.89	o 860
48.90/48.92	c 12.7491 92.4375 4905 1206190
48.90/48.92	o 857
48.90/48.95	c 12.7561 92.4375 4908 1208634
48.90/48.95	o 846
48.90/48.97	c 12.7641 92.4375 4909 1210888
48.90/48.97	o 837
48.99/49.00	c 12.7731 92.4375 4911 1212132
48.99/49.00	o 836
48.99/49.03	c 12.7861 92.4375 4915 1214198
48.99/49.03	o 829
50.69/50.76	c 13.282 92.4375 5319 1216172
50.69/50.76	o 828
50.80/50.81	c 13.301 92.4375 5328 1217093
50.80/50.81	o 827
51.09/51.14	c 13.43 92.4375 5393 1217777
51.09/51.14	o 826
51.09/51.17	c 13.442 92.4375 5397 1219629
51.09/51.17	o 824
51.19/51.20	c 13.453 92.4375 5404 1220495
51.19/51.20	o 823
51.19/51.24	c 13.467 92.4375 5422 1221357
51.19/51.24	o 822
51.19/51.26	c 13.476 92.4375 5424 1222828
51.19/51.26	o 818
51.19/51.29	c 13.484 92.4375 5432 1223820
51.19/51.29	o 817
51.29/51.32	c 13.4969 92.4375 5437 1225205
51.29/51.32	o 813
51.29/51.35	c 13.5089 92.4375 5441 1225943
51.29/51.35	o 812
51.29/51.38	c 13.5159 92.4375 5441 1227692
51.29/51.38	o 808
51.39/51.40	c 13.5229 92.4375 5442 1229149
51.39/51.40	o 807
51.39/51.43	c 13.5349 92.4375 5442 1230665
51.39/51.43	o 806
51.39/51.46	c 13.5439 92.4375 5442 1232223
51.39/51.46	o 805
51.39/51.48	c 13.5519 92.4375 5442 1234057
51.39/51.48	o 801
51.49/51.50	c 13.5619 92.4375 5443 1235407
51.49/51.50	o 798
51.49/51.53	c 13.5709 92.4375 5446 1236623
51.49/51.53	o 797
51.49/51.58	c 13.5849 92.4375 5449 1239491
51.49/51.58	o 795
51.60/51.64	c 13.5969 92.4375 5457 1240854
51.60/51.64	o 794
51.60/51.68	c 13.6069 92.4375 5462 1243042
51.60/51.68	o 787
51.70/51.71	c 13.6189 92.4375 5465 1245027
51.70/51.71	o 781
51.70/51.75	c 13.6279 92.4375 5469 1247194
51.70/51.75	o 775
51.70/51.78	c 13.6389 92.4375 5473 1248941
51.70/51.78	o 773
51.80/51.83	c 13.6509 92.4375 5481 1249553
51.80/51.83	o 772
51.80/51.89	c 13.6709 92.4375 5491 1251153
51.80/51.89	o 771
51.89/51.92	c 13.6789 92.4375 5495 1253626
51.89/51.92	o 770
51.89/51.96	c 13.6899 92.4375 5507 1254762
51.89/51.96	o 769
52.00/52.03	c 13.7079 92.4375 5522 1256659
52.00/52.03	o 768
52.00/52.07	c 13.7229 92.4375 5528 1257301
52.00/52.07	o 767
52.09/52.13	c 13.7429 92.4375 5538 1258532
52.09/52.13	o 766
52.09/52.18	c 13.7559 92.4375 5547 1260770
52.09/52.18	o 764
52.20/52.24	c 13.7799 92.4375 5571 1261444
52.20/52.24	o 763
52.20/52.27	c 13.7949 92.4375 5577 1262215
52.20/52.27	o 761
52.29/52.34	c 13.8099 92.4375 5591 1264130
52.29/52.34	o 760
52.39/52.45	c 13.8369 92.4375 5609 1264851
52.39/52.45	o 759
52.39/52.48	c 13.8439 92.4375 5609 1266069
52.39/52.48	o 757
52.49/52.50	c 13.8539 92.4375 5611 1267087
52.49/52.50	o 756
52.49/52.53	c 13.8629 92.4375 5613 1268386
52.49/52.53	o 755
52.49/52.57	c 13.8699 92.4375 5616 1271638
52.49/52.57	o 754
52.59/52.61	c 13.8799 92.4375 5618 1274201
52.59/52.61	o 749
52.59/52.63	c 13.8899 92.4375 5620 1275465
52.59/52.63	o 748
52.59/52.67	c 13.8999 92.4375 5624 1276884
52.59/52.67	o 745
52.70/52.77	c 13.9159 92.4375 5650 1278249
52.70/52.77	o 743
52.70/52.80	c 13.9259 92.4375 5653 1280624
52.70/52.80	o 742
52.80/52.85	c 13.9429 92.4375 5657 1284694
52.80/52.85	o 738
52.80/52.89	c 13.9509 92.4375 5659 1286982
52.80/52.89	o 737
52.90/52.92	c 13.9579 92.4375 5661 1288809
52.90/52.92	o 733
53.79/53.83	c 14.1129 92.4375 5859 1291818
53.79/53.83	o 732
53.79/53.89	c 14.1279 92.4375 5863 1292264
53.79/53.89	o 731
53.89/53.93	c 14.1409 92.4375 5867 1292744
53.89/53.93	o 730
53.89/53.97	c 14.1508 92.4375 5872 1293267
53.89/53.97	o 729
53.99/54.00	c 14.1638 92.4375 5875 1294717
53.99/54.00	o 728
54.09/54.12	c 14.1868 92.4375 5898 1295574
54.09/54.12	o 726
54.09/54.18	c 14.2018 92.4375 5905 1297485
54.09/54.18	o 722
54.29/54.34	c 14.2328 92.4375 5932 1299517
54.29/54.34	o 721
54.39/54.42	c 14.2558 92.4375 5944 1300215
54.39/54.42	o 718
54.49/54.50	c 14.2818 92.4375 5979 1300925
54.49/54.50	o 717
54.79/54.82	c 14.3498 92.4375 6046 1301739
54.79/54.82	o 716
55.70/55.79	c 14.5858 92.4375 6267 1304112
55.70/55.79	o 715
55.79/55.83	c 14.6118 92.4375 6271 1304713
55.79/55.83	o 714
55.79/55.86	c 14.6208 92.4375 6272 1305432
55.79/55.86	o 713
55.79/55.89	c 14.6318 92.4375 6273 1305999
55.79/55.89	o 712
55.90/55.91	c 14.6408 92.4375 6274 1306542
55.90/55.91	o 711
55.90/55.94	c 14.6508 92.4375 6277 1307085
55.90/55.94	o 710
55.90/55.97	c 14.6628 92.4375 6279 1307910
55.90/55.97	o 708
56.29/56.38	c 14.7408 92.4375 6346 1308607
56.29/56.38	o 707
56.39/56.45	c 14.7738 92.4375 6356 1309123
56.39/56.45	o 706
56.39/56.50	c 14.7948 92.4375 6367 1309884
56.39/56.50	o 704
56.49/56.54	c 14.8147 92.4375 3187 1311098
56.49/56.54	o 701
56.49/56.56	c 14.8257 92.4375 3190 1311859
56.49/56.56	o 700
56.49/56.59	c 14.8377 92.4375 3192 1312725
56.49/56.59	o 699
56.60/56.64	c 14.8577 92.4375 3202 1313512
56.60/56.64	o 698
56.60/56.67	c 14.8777 92.4375 3206 1314607
56.60/56.67	o 697
56.69/56.74	c 14.9057 92.4375 3213 1315254
56.69/56.74	o 696
56.80/56.80	c 14.9347 92.4375 3220 1315959
56.80/56.80	o 694
56.80/56.83	c 14.9467 92.4375 3224 1317145
56.80/56.83	o 688
56.80/56.86	c 14.9607 92.4375 3225 1317922
56.80/56.86	o 687
56.89/56.92	c 14.9877 92.4375 3232 1318561
56.89/56.92	o 686
56.89/56.95	c 15.0047 92.4375 3233 1319744
56.89/56.95	o 685
56.89/56.98	c 15.0257 92.4375 3237 1320561
56.89/56.98	o 683
56.99/57.00	c 15.0357 92.4375 3239 1321035
56.99/57.00	o 682
56.99/57.06	c 15.0577 92.4375 3246 1323459
56.99/57.06	o 679
56.99/57.10	c 15.0747 92.4375 3252 1325520
56.99/57.10	o 678
57.10/57.15	c 15.0917 92.4375 3259 1327058
57.10/57.15	o 675
57.10/57.20	c 15.1137 92.4375 3268 1327935
57.10/57.20	o 671
57.20/57.26	c 15.1447 92.4375 3280 1328687
57.20/57.26	o 670
57.20/57.29	c 15.1597 92.4375 3282 1329354
57.20/57.29	o 669
57.30/57.33	c 15.1827 92.4375 3283 1331508
57.30/57.33	o 661
57.40/57.40	c 15.2107 92.4375 3296 1332109
57.40/57.40	o 660
57.49/57.53	c 15.2717 92.4375 3314 1333109
57.49/57.53	o 659
57.49/57.56	c 15.2867 92.4375 3316 1334152
57.49/57.56	o 658
57.79/57.83	c 15.3817 92.4375 3370 1334961
57.79/57.83	o 656
57.79/57.86	c 15.3927 92.4375 3371 1335315
57.79/57.86	o 655
57.90/57.93	c 15.4177 92.4375 3382 1335945
57.90/57.93	o 654
57.90/57.95	c 15.4277 92.4375 3383 1337115
57.90/57.95	o 650
57.90/57.99	c 15.4387 92.4375 3387 1339241
57.90/57.99	o 648
58.30/58.38	c 15.5166 92.4375 3477 1341999
58.30/58.38	o 641
58.49/58.53	c 15.5496 92.4375 3500 1342792
58.49/58.53	o 640
58.49/58.56	c 15.5596 92.4375 3502 1344204
58.49/58.56	o 635
58.99/59.07	c 15.6366 92.4375 3607 1346134
58.99/59.07	o 634
59.09/59.11	c 15.6526 92.4375 3612 1347419
59.09/59.11	o 633
59.09/59.14	c 15.6596 92.4375 3614 1348139
59.09/59.14	o 632
59.19/59.20	c 15.6746 92.4375 3622 1350436
59.19/59.20	o 631
59.19/59.24	c 15.6856 92.4375 3628 1351280
59.19/59.24	o 630
59.40/59.48	c 15.7496 92.4375 3665 1352069
59.40/59.48	o 629
59.49/59.51	c 15.7596 92.4375 3667 1352623
59.49/59.51	o 628
60.30/60.32	c 15.9526 92.4375 3812 1353813
60.30/60.32	o 627
60.30/60.35	c 15.9636 92.4375 3816 1354652
60.30/60.35	o 625
60.40/60.40	c 15.9776 92.4375 3822 1355286
60.40/60.40	o 624
60.40/60.44	c 15.9896 92.4375 3839 1355898
60.40/60.44	o 623
60.40/60.48	c 16.0046 92.4375 3873 1356576
60.40/60.49	o 622
60.59/60.60	c 16.0356 92.4375 3886 1357508
60.59/60.60	o 619
60.59/60.63	c 16.0466 92.4375 3889 1358157
60.59/60.63	o 616
60.59/60.68	c 16.0656 92.4375 3897 1358847
60.59/60.68	o 614
60.69/60.74	c 16.0806 92.4375 3904 1359341
60.69/60.74	o 613
60.69/60.77	c 16.0906 92.4375 3905 1359732
60.69/60.77	o 612
60.79/60.80	c 16.1006 92.4375 3907 1360736
60.79/60.80	o 609
61.30/61.37	c 16.2125 92.4375 4039 1362098
61.30/61.37	o 607
62.29/62.30	c 16.3685 92.4375 4242 1363916
62.29/62.30	o 606
62.40/62.45	c 16.4065 92.4375 4260 1364470
62.40/62.45	o 604
62.40/62.48	c 16.4185 92.4375 4262 1364961
62.40/62.48	o 603
62.59/62.67	c 16.4555 92.4375 4290 1365607
62.59/62.67	o 601
62.70/62.70	c 16.4665 92.4375 4291 1366147
62.70/62.70	o 600
62.70/62.78	c 16.4835 92.4375 4302 1367364
62.70/62.78	o 598
62.79/62.82	c 16.4975 92.4375 4305 1368111
62.79/62.82	o 597
62.89/62.90	c 16.5205 92.4375 4323 1368493
62.89/62.90	o 596
63.20/63.25	c 16.6285 92.4375 4391 1369108
63.20/63.25	o 595
63.20/63.28	c 16.6475 92.4375 4393 1369470
63.20/63.28	o 594
63.30/63.33	c 16.6685 92.4375 4406 1370342
63.30/63.33	o 593
63.30/63.35	c 16.6855 92.4375 4408 1370819
63.30/63.35	o 592
63.30/63.38	c 16.6985 92.4375 4411 1371160
63.30/63.38	o 591
63.39/63.41	c 16.7135 92.4375 4415 1371941
63.39/63.41	o 590
63.49/63.53	c 16.7585 92.4375 4437 1372524
63.49/63.53	o 589
63.49/63.57	c 16.7794 92.4375 4443 1373150
63.49/63.57	o 587
63.59/63.61	c 16.7914 92.4375 4452 1373957
63.59/63.61	o 585
63.59/63.64	c 16.8074 92.4375 4457 1374538
63.59/63.64	o 583
63.59/63.68	c 16.8304 92.4375 4461 1375337
63.59/63.68	o 581
63.70/63.72	c 16.8484 92.4375 4466 1375935
63.70/63.72	o 580
63.70/63.74	c 16.8654 92.4375 4467 1377390
63.70/63.74	o 570
63.70/63.77	c 16.8824 92.4375 4467 1377827
63.70/63.77	o 569
63.70/63.80	c 16.8974 92.4375 4468 1378098
63.70/63.80	o 568
63.80/63.84	c 16.9184 92.4375 4474 1379246
63.80/63.84	o 567
63.90/63.90	c 16.9454 92.4375 4478 1380058
63.90/63.90	o 565
63.90/63.94	c 16.9644 92.4375 4483 1380809
63.90/63.94	o 562
63.90/63.96	c 16.9804 92.4375 4486 1381322
63.90/63.96	o 561
63.90/63.99	c 16.9984 92.4375 4494 1382291
63.90/63.99	o 560
64.50/64.54	c 17.1184 92.4375 4600 1383747
64.50/64.54	o 558
64.59/64.62	c 17.1424 92.4375 4617 1384354
64.59/64.62	o 557
64.59/64.69	c 17.1634 92.4375 4623 1384805
64.59/64.69	o 556
64.69/64.72	c 17.1724 92.4375 4627 1385191
64.69/64.72	o 555
64.80/64.88	c 17.2364 92.4375 4654 1385793
64.80/64.88	o 554
64.90/64.92	c 17.2494 92.4375 4656 1386350
64.90/64.92	o 553
64.90/64.96	c 17.2614 92.4375 4658 1387154
64.90/64.96	o 551
64.90/64.99	c 17.2714 92.4375 4660 1387970
64.90/64.99	o 550
64.99/65.03	c 17.2864 92.4375 4664 1389350
64.99/65.03	o 546
64.99/65.09	c 17.3054 92.4375 4673 1390558
64.99/65.09	o 545
65.09/65.13	c 17.3184 92.4375 4676 1391450
65.09/65.13	o 541
65.09/65.17	c 17.3294 92.4375 4678 1393458
65.09/65.17	o 538
65.19/65.20	c 17.3404 92.4375 4679 1394718
65.19/65.20	o 537
65.19/65.29	c 17.3654 92.4375 4693 1397307
65.19/65.29	o 532
65.30/65.32	c 17.3844 92.4375 4705 1398009
65.30/65.32	o 531
65.39/65.40	c 17.4074 92.4375 4715 1398735
65.39/65.40	o 529
65.39/65.47	c 17.4283 92.4375 4723 1400071
65.39/65.47	o 526
65.39/65.49	c 17.4373 92.4375 4724 1402027
65.39/65.49	o 524
65.59/65.61	c 17.4623 92.4375 4743 1402982
65.59/65.61	o 522
65.59/65.68	c 17.4793 92.4375 4755 1404211
65.59/65.68	o 521
65.70/65.71	c 17.4863 92.4375 4756 1405592
65.70/65.71	o 520
65.70/65.75	c 17.4953 92.4375 4760 1407667
65.70/65.75	o 518
65.80/65.90	c 17.5383 92.4375 4790 1408465
65.80/65.90	o 517
65.90/65.93	c 17.5483 92.4375 4792 1408834
65.90/65.93	o 516
65.90/65.98	c 17.5623 92.4375 4797 1409161
65.90/65.98	o 515
65.90/66.00	c 17.5713 92.4375 4800 1409919
65.90/66.00	o 513
66.00/66.05	c 17.5843 92.4375 4806 1411859
66.00/66.05	o 507
66.00/66.07	c 17.5943 92.4375 4808 1412864
66.00/66.07	o 505
66.09/66.11	c 17.6043 92.4375 4815 1413377
66.09/66.11	o 504
66.09/66.14	c 17.6183 92.4375 4819 1413742
66.09/66.14	o 503
66.09/66.16	c 17.6273 92.4375 4819 1414041
66.09/66.16	o 502
66.20/66.20	c 17.6353 92.4375 4823 1414767
66.20/66.20	o 500
66.20/66.27	c 17.6473 92.4375 4834 1415827
66.20/66.27	o 497
66.29/66.30	c 17.6583 92.4375 4836 1416462
66.29/66.30	o 495
66.29/66.38	c 17.6803 92.4375 4843 1417067
66.29/66.38	o 494
66.39/66.41	c 17.6913 92.4375 4844 1418383
66.39/66.41	o 489
66.39/66.43	c 17.7013 92.4375 4847 1419844
66.39/66.43	o 486
66.39/66.46	c 17.7113 92.4375 4849 1420956
66.39/66.46	o 484
66.50/66.51	c 17.7283 92.4375 4857 1421749
66.50/66.51	o 483
66.50/66.56	c 17.7433 92.4375 4860 1422528
66.50/66.56	o 482
66.89/66.97	c 17.8083 92.4375 4940 1423837
66.89/66.97	o 478
66.89/67.00	c 17.8173 92.4375 4943 1425184
66.89/67.00	o 472
66.99/67.04	c 17.8283 92.4375 4945 1426155
66.99/67.04	o 471
66.99/67.06	c 17.8383 92.4375 4947 1427030
66.99/67.06	o 469
67.10/67.10	c 17.8483 92.4375 4951 1427659
67.10/67.10	o 468
67.10/67.13	c 17.8603 92.4375 4955 1428359
67.10/67.13	o 467
67.29/67.36	c 17.9053 92.4375 5000 1428722
67.29/67.36	o 466
67.29/67.39	c 17.9163 92.4375 5003 1428980
67.29/67.39	o 465
67.39/67.43	c 17.9283 92.4375 5011 1429249
67.39/67.43	o 464
67.39/67.46	c 17.9353 92.4375 5017 1429561
67.39/67.46	o 463
67.39/67.49	c 17.9453 92.4375 5021 1429901
67.39/67.49	o 462
67.49/67.51	c 17.9533 92.4375 5022 1430200
67.49/67.51	o 461
67.59/67.61	c 17.9733 92.4375 5033 1431173
67.59/67.61	o 457
67.59/67.64	c 17.9853 92.4375 5035 1432471
67.59/67.64	o 455
67.59/67.67	c 17.9933 92.4375 5038 1432829
67.59/67.67	o 454
67.59/67.69	c 18.0003 92.4375 5038 1433228
67.59/67.69	o 453
67.70/67.72	c 18.0143 92.4375 5039 1433809
67.70/67.72	o 451
67.70/67.75	c 18.0253 92.4375 5041 1434340
67.70/67.75	o 450
67.79/67.80	c 18.0423 92.4375 5051 1435305
67.79/67.80	o 445
67.79/67.83	c 18.0493 92.4375 5051 1435514
67.79/67.83	o 444
67.79/67.85	c 18.0593 92.4375 5051 1435882
67.79/67.85	o 442
67.79/67.88	c 18.0673 92.4375 5051 1436079
67.79/67.88	o 441
67.90/67.90	c 18.0773 92.4375 5053 1436402
67.90/67.90	o 440
67.90/67.94	c 18.0912 92.4375 5056 1436843
67.90/67.94	o 438
67.99/68.03	c 18.1162 92.4375 5070 1437217
67.99/68.03	o 437
67.99/68.07	c 18.1262 92.4375 5075 1437787
67.99/68.07	o 434
68.10/68.13	c 18.1422 92.4375 5082 1438201
68.10/68.13	o 433
68.10/68.16	c 18.1512 92.4375 5083 1438450
68.10/68.16	o 432
68.10/68.19	c 18.1612 92.4375 5084 1439133
68.10/68.19	o 430
68.20/68.23	c 18.1712 92.4375 5088 1440132
68.20/68.23	o 425
68.20/68.26	c 18.1782 92.4375 5090 1440711
68.20/68.26	o 424
68.20/68.28	c 18.1902 92.4375 5092 1441114
68.20/68.28	o 423
68.30/68.33	c 18.2012 92.4375 5097 1443236
68.30/68.33	o 415
68.30/68.36	c 18.2092 92.4375 5097 1444681
68.30/68.36	o 409
68.30/68.39	c 18.2202 92.4375 5099 1446684
68.30/68.39	o 407
68.40/68.47	c 18.2372 92.4375 5111 1447115
68.40/68.47	o 406
68.49/68.51	c 18.2532 92.4375 5113 1447420
68.49/68.51	o 405
68.49/68.55	c 18.2662 92.4375 5116 1448893
68.49/68.55	o 399
68.49/68.59	c 18.2772 92.4375 5118 1449813
68.49/68.59	o 397
68.59/68.62	c 18.2912 92.4375 5123 1450981
68.59/68.62	o 395
68.69/68.73	c 18.3102 92.4375 5146 1451364
68.69/68.73	o 394
68.69/68.77	c 18.3252 92.4375 5157 1452106
68.69/68.78	o 393
68.89/68.99	c 18.3892 92.4375 5196 1452561
68.89/68.99	o 392
69.00/69.03	c 18.4032 92.4375 5200 1452880
69.00/69.03	o 391
69.00/69.06	c 18.4132 92.4375 5210 1454356
69.00/69.06	o 384
69.09/69.10	c 18.4242 92.4375 5216 1455395
69.09/69.10	o 377
69.09/69.16	c 18.4482 92.4375 5222 1456031
69.09/69.16	o 374
69.20/69.21	c 18.4642 92.4375 5233 1456576
69.20/69.21	o 372
69.30/69.39	c 18.5062 92.4375 5268 1457575
69.30/69.39	o 370
69.40/69.42	c 18.5202 92.4375 5274 1458462
69.40/69.42	o 365
69.40/69.45	c 18.5292 92.4375 5275 1459195
69.40/69.45	o 361
69.40/69.47	c 18.5392 92.4375 5278 1459862
69.40/69.47	o 358
69.40/69.49	c 18.5492 92.4375 5278 1460368
69.40/69.49	o 356
69.50/69.53	c 18.5672 92.4375 5279 1460922
69.50/69.53	o 354
69.50/69.57	c 18.5882 92.4375 5282 1461392
69.50/69.57	o 351
69.59/69.62	c 18.6122 92.4375 5286 1461888
69.59/69.62	o 349
69.59/69.65	c 18.6322 92.4375 5290 1462545
69.59/69.65	o 346
69.69/69.70	c 18.6532 92.4375 5295 1462856
69.69/69.70	o 345
69.69/69.73	c 18.6702 92.4375 5298 1463469
69.69/69.73	o 343
69.69/69.76	c 18.6882 92.4375 5301 1464198
69.69/69.76	o 340
69.79/69.80	c 18.7012 92.4375 5306 1466067
69.79/69.80	o 335
69.89/69.90	c 18.7392 92.4375 5321 1466652
69.89/69.90	o 334
69.89/69.99	c 18.7921 92.4375 5333 1467005
69.89/69.99	o 333
70.00/70.04	c 18.8101 92.4375 5335 1467923
70.00/70.04	o 330
70.00/70.08	c 18.8351 92.4375 5343 1468554
70.00/70.08	o 329
70.10/70.17	c 18.8651 92.4375 5360 1469295
70.10/70.17	o 327
70.20/70.20	c 18.8781 92.4375 5363 1470086
70.20/70.20	o 323
70.20/70.25	c 18.9041 92.4375 5369 1470588
70.20/70.25	o 321
70.20/70.27	c 18.9181 92.4375 5369 1470832
70.20/70.27	o 320
70.20/70.30	c 18.9331 92.4375 5369 1471104
70.20/70.30	o 319
70.30/70.32	c 18.9491 92.4375 5369 1471343
70.30/70.32	o 318
70.30/70.35	c 18.9611 92.4375 5369 1471620
70.30/70.35	o 317
70.30/70.37	c 18.9761 92.4375 5369 1472004
70.30/70.37	o 315
70.30/70.40	c 18.9891 92.4375 5369 1472383
70.30/70.40	o 313
70.40/70.42	c 19.0021 92.4375 5373 1472894
70.40/70.42	o 312
70.40/70.46	c 19.0191 92.4375 5375 1473137
70.40/70.46	o 311
70.40/70.48	c 19.0291 92.4375 5375 1473740
70.40/70.48	o 310
70.49/70.51	c 19.0441 92.4375 5375 1474231
70.49/70.51	o 308
70.49/70.53	c 19.0601 92.4375 5376 1474689
70.49/70.53	o 307
70.49/70.56	c 19.0771 92.4375 5377 1475319
70.49/70.56	o 304
70.59/70.63	c 19.1221 92.4375 5398 1475953
70.59/70.63	o 303
70.70/70.70	c 19.1581 92.4375 5416 1476240
70.70/70.70	o 302
70.70/70.75	c 19.1751 92.4375 5418 1476491
70.70/70.75	o 301
70.70/70.78	c 19.1861 92.4375 5419 1476758
70.70/70.78	o 300
70.79/70.80	c 19.1991 92.4375 5419 1477054
70.79/70.80	o 299
70.79/70.84	c 19.2101 92.4375 5421 1477387
70.79/70.84	o 298
70.79/70.88	c 19.2211 92.4375 5425 1477603
70.79/70.88	o 297
70.89/70.91	c 19.2371 92.4375 5427 1477907
70.89/70.91	o 296
70.89/70.94	c 19.2531 92.4375 5428 1478168
70.89/70.94	o 295
70.89/70.97	c 19.2731 92.4375 5430 1478592
70.89/70.97	o 294
70.89/70.99	c 19.2831 92.4375 5433 1479118
70.89/70.99	o 293
71.09/71.14	c 19.3211 92.4375 5470 1479883
71.09/71.14	o 291
71.20/71.23	c 19.3401 92.4375 5478 1480184
71.20/71.23	o 290
71.20/71.26	c 19.3501 92.4375 5479 1480465
71.20/71.26	o 289
71.20/71.28	c 19.3601 92.4375 5482 1481140
71.20/71.28	o 285
71.30/71.31	c 19.3721 92.4375 5482 1481393
71.30/71.31	o 284
71.30/71.33	c 19.3821 92.4375 5482 1481594
71.30/71.33	o 283
71.30/71.36	c 19.3941 92.4375 5482 1481790
71.30/71.36	o 282
71.30/71.38	c 19.405 92.4375 5482 1482067
71.30/71.38	o 281
71.40/71.41	c 19.415 92.4375 5482 1482306
71.40/71.41	o 280
71.40/71.44	c 19.423 92.4375 5483 1482533
71.40/71.44	o 279
71.40/71.46	c 19.433 92.4375 5483 1482763
71.40/71.46	o 278
71.40/71.49	c 19.443 92.4375 5484 1483001
71.40/71.49	o 277
71.50/71.52	c 19.453 92.4375 5486 1483235
71.50/71.52	o 276
71.50/71.54	c 19.462 92.4375 5486 1483510
71.50/71.54	o 275
71.50/71.57	c 19.47 92.4375 5486 1483792
71.50/71.57	o 274
71.50/71.59	c 19.479 92.4375 5486 1484069
71.50/71.59	o 273
71.60/71.61	c 19.488 92.4375 5486 1484352
71.60/71.61	o 272
71.60/71.64	c 19.498 92.4375 5486 1484631
71.60/71.64	o 271
71.60/71.66	c 19.506 92.4375 5487 1484915
71.60/71.66	o 270
71.60/71.69	c 19.514 92.4375 5490 1485239
71.60/71.69	o 269
71.69/71.72	c 19.523 92.4375 5490 1485677
71.69/71.72	o 267
71.69/71.74	c 19.531 92.4375 5491 1486091
71.69/71.74	o 265
71.69/71.77	c 19.542 92.4375 5491 1486526
71.69/71.77	o 263
71.69/71.79	c 19.549 92.4375 5491 1486787
71.69/71.79	o 262
71.80/71.81	c 19.557 92.4375 5491 1487075
71.80/71.81	o 261
71.80/71.84	c 19.566 92.4375 5491 1487344
71.80/71.84	o 260
71.80/71.86	c 19.577 92.4375 5491 1487621
71.80/71.86	o 259
71.80/71.89	c 19.586 92.4375 5491 1487909
71.80/71.89	o 258
71.89/71.91	c 19.596 92.4375 5492 1488202
71.89/71.91	o 257
71.89/71.94	c 19.608 92.4375 5493 1488432
71.89/71.94	o 256
71.89/71.99	c 19.623 92.4375 5500 1488709
71.89/71.99	o 255
71.99/72.05	c 19.649 92.4375 5502 1488894
71.99/72.05	o 254
71.99/72.07	c 19.66 92.4375 5504 1489211
71.99/72.07	o 252
72.09/72.10	c 19.671 92.4375 5504 1489381
72.09/72.10	o 251
72.09/72.12	c 19.681 92.4375 5504 1489550
72.09/72.12	o 250
72.09/72.15	c 19.693 92.4375 5505 1489727
72.09/72.15	o 249
72.09/72.17	c 19.703 92.4375 5505 1489930
72.09/72.17	o 248
72.20/72.20	c 19.713 92.4375 5506 1490122
72.20/72.20	o 247
72.20/72.22	c 19.72 92.4375 5506 1490316
72.20/72.22	o 246
72.20/72.25	c 19.729 92.4375 5506 1490501
72.20/72.25	o 245
72.20/72.27	c 19.739 92.4375 5507 1490702
72.20/72.27	o 244
72.20/72.29	c 19.746 92.4375 5507 1490881
72.20/72.29	o 243
72.29/72.32	c 19.757 92.4375 5508 1491069
72.29/72.32	o 242
72.29/72.34	c 19.768 92.4375 5508 1491248
72.29/72.34	o 241
72.29/72.37	c 19.779 92.4375 5508 1491452
72.29/72.37	o 240
72.29/72.39	c 19.79 92.4375 5510 1491654
72.29/72.39	o 239
72.40/72.41	c 19.799 92.4375 5510 1491859
72.40/72.41	o 238
72.40/72.45	c 19.81 92.4375 5512 1492087
72.40/72.45	o 237
72.40/72.48	c 19.819 92.4375 5514 1492326
72.40/72.48	o 236
72.60/72.61	c 19.868 92.4375 5557 1492833
72.60/72.61	o 235
72.60/72.65	c 19.882 92.4375 5564 1492999
72.60/72.65	o 234
72.60/72.68	c 19.894 92.4375 5568 1493247
72.60/72.68	o 233
72.69/72.72	c 19.905 92.4375 5575 1493430
72.69/72.72	o 232
72.69/72.76	c 19.919 92.4375 5578 1493601
72.69/72.76	o 231
72.69/72.78	c 19.929 92.4375 5579 1493738
72.69/72.78	o 230
72.80/72.81	c 19.94 92.4375 5589 1494078
72.80/72.81	o 229
72.80/72.83	c 19.949 92.4375 5589 1494475
72.80/72.83	o 226
72.80/72.89	c 19.967 92.4375 5602 1494808
72.80/72.89	o 225
72.89/72.92	c 19.978 92.4375 5604 1495125
72.89/72.92	o 224
72.89/72.97	c 19.996 92.4375 5611 1495478
72.89/72.97	o 223
72.89/72.99	c 20.003 92.4375 5613 1495834
72.89/72.99	o 222
72.99/73.03	c 20.014 92.4375 5634 1496210
72.99/73.03	o 221
72.99/73.06	c 20.024 92.4375 5635 1496391
72.99/73.06	o 220
73.10/73.10	c 20.039 92.4375 5640 1496668
73.10/73.10	o 219
73.10/73.13	c 20.049 92.4375 5640 1496851
73.10/73.13	o 218
73.10/73.16	c 20.0639 92.4375 5642 1497043
73.10/73.16	o 217
73.10/73.19	c 20.0739 92.4375 5643 1497221
73.10/73.19	o 216
73.19/73.23	c 20.0909 92.4375 5659 1497432
73.19/73.23	o 215
73.19/73.25	c 20.1009 92.4375 5664 1497594
73.19/73.25	o 214
73.30/73.30	c 20.1109 92.4375 5684 1497834
73.30/73.30	o 213
73.30/73.32	c 20.1199 92.4375 5696 1498047
73.30/73.32	o 212
73.30/73.35	c 20.1279 92.4375 5696 1498203
73.30/73.35	o 211
73.30/73.37	c 20.1379 92.4375 5699 1498353
73.30/73.37	o 210
73.39/73.40	c 20.1469 92.4375 5701 1498589
73.39/73.40	o 209
73.39/73.42	c 20.1559 92.4375 5702 1498782
73.39/73.42	o 208
73.39/73.49	c 20.1789 92.4375 5707 1498986
73.39/73.49	o 207
73.49/73.52	c 20.1889 92.4375 5715 1499226
73.49/73.52	o 206
73.49/73.58	c 20.2059 92.4375 5718 1499404
73.49/73.58	o 205
73.60/73.62	c 20.2189 92.4375 5722 1499630
73.60/73.62	o 204
73.80/73.81	c 20.2519 92.4375 5756 1499825
73.80/73.81	o 203
73.80/73.83	c 20.2599 92.4375 5757 1500023
73.80/73.83	o 202
73.80/73.86	c 20.2689 92.4375 5759 1500204
73.80/73.86	o 201
73.89/73.90	c 20.2839 92.4375 5762 1500506
73.89/73.90	o 200
73.89/73.92	c 20.2909 92.4375 5762 1501140
73.89/73.92	o 196
73.89/73.94	c 20.3009 92.4375 5762 1501391
73.89/73.94	o 195
73.89/73.97	c 20.3089 92.4375 5762 1501951
73.89/73.97	o 191
73.99/74.00	c 20.3199 92.4375 5764 1502452
73.99/74.00	o 188
73.99/74.03	c 20.3299 92.4375 5764 1502645
73.99/74.03	o 187
73.99/74.05	c 20.3399 92.4375 5764 1502836
73.99/74.05	o 186
73.99/74.08	c 20.3499 92.4375 5766 1503074
73.99/74.08	o 185
74.10/74.11	c 20.3589 92.4375 5767 1503268
74.10/74.11	o 184
74.10/74.16	c 20.3729 92.4375 5771 1503449
74.10/74.16	o 183
74.20/74.24	c 20.4029 92.4375 5788 1503742
74.20/74.24	o 182
74.20/74.29	c 20.4199 92.4375 5797 1504088
74.20/74.29	o 181
74.30/74.34	c 20.4349 92.4375 5802 1504413
74.30/74.34	o 180
74.30/74.36	c 20.4459 92.4375 5805 1504645
74.30/74.36	o 179
74.39/74.40	c 20.4589 92.4375 5810 1504956
74.39/74.40	o 178
74.39/74.43	c 20.4729 92.4375 5815 1505124
74.39/74.43	o 177
74.39/74.45	c 20.4829 92.4375 5815 1505302
74.39/74.45	o 176
74.39/74.48	c 20.4959 92.4375 5830 1505469
74.39/74.48	o 175
74.50/74.50	c 20.5059 92.4375 5832 1505578
74.50/74.50	o 174
74.50/74.53	c 20.5139 92.4375 5839 1505737
74.50/74.53	o 173
74.50/74.55	c 20.5249 92.4375 5845 1506239
74.50/74.55	o 171
74.50/74.58	c 20.5359 92.4375 5848 1506491
74.50/74.58	o 170
74.59/74.61	c 20.5469 92.4375 5848 1506723
74.59/74.61	o 169
74.59/74.63	c 20.5569 92.4375 5848 1506891
74.59/74.63	o 168
74.59/74.66	c 20.5649 92.4375 5848 1507061
74.59/74.66	o 167
74.59/74.68	c 20.5739 92.4375 5849 1507211
74.59/74.68	o 166
74.70/74.71	c 20.5829 92.4375 5852 1507385
74.70/74.71	o 165
74.70/74.75	c 20.5999 92.4375 5859 1507611
74.70/74.75	o 164
74.70/74.79	c 20.6129 92.4375 5866 1507980
74.70/74.79	o 162
74.80/74.83	c 20.6279 92.4375 5871 1508151
74.80/74.83	o 161
74.80/74.89	c 20.6479 92.4375 5880 1508324
74.80/74.89	o 160
74.89/74.93	c 20.6619 92.4375 5886 1508509
74.89/74.93	o 159
74.89/74.97	c 20.6759 92.4375 5887 1508718
74.89/74.97	o 158
74.89/74.99	c 20.6849 92.4375 5888 1508876
74.89/74.99	o 157
74.99/75.02	c 20.6949 92.4375 5891 1509186
74.99/75.02	o 155
74.99/75.04	c 20.7069 92.4375 5903 1509332
74.99/75.04	o 154
74.99/75.07	c 20.7158 92.4375 5903 1509549
74.99/75.07	o 153
75.09/75.10	c 20.7258 92.4375 5904 1509694
75.09/75.10	o 152
75.09/75.13	c 20.7398 92.4375 5912 1509986
75.09/75.13	o 151
75.20/75.20	c 20.7638 92.4375 5917 1510218
75.20/75.20	o 150
75.20/75.23	c 20.7738 92.4375 5918 1510499
75.20/75.23	o 149
75.20/75.27	c 20.7898 92.4375 5920 1510743
75.20/75.27	o 148
75.20/75.29	c 20.8018 92.4375 5927 1511065
75.20/75.29	o 147
75.30/75.32	c 20.8138 92.4375 5929 1511414
75.30/75.32	o 146
75.30/75.37	c 20.8268 92.4375 5934 1511923
75.30/75.37	o 143
75.39/75.40	c 20.8368 92.4375 5938 1512122
75.39/75.40	o 142
75.39/75.42	c 20.8458 92.4375 5938 1512329
75.39/75.42	o 141
75.39/75.45	c 20.8578 92.4375 5939 1512510
75.39/75.45	o 140
75.39/75.48	c 20.8688 92.4375 5940 1513053
75.39/75.48	o 136
75.50/75.51	c 20.8778 92.4375 5940 1513219
75.50/75.51	o 135
75.50/75.53	c 20.8848 92.4375 5940 1513419
75.50/75.53	o 134
75.50/75.56	c 20.8918 92.4375 5940 1513675
75.50/75.56	o 133
75.50/75.58	c 20.9038 92.4375 5940 1513867
75.50/75.58	o 132
75.59/75.61	c 20.9128 92.4375 5940 1514403
75.59/75.61	o 128
75.59/75.63	c 20.9208 92.4375 5941 1514591
75.59/75.63	o 127
75.59/75.66	c 20.9278 92.4375 5945 1514836
75.59/75.66	o 126
75.59/75.68	c 20.9398 92.4375 5947 1515076
75.59/75.68	o 125
75.70/75.71	c 20.9498 92.4375 5948 1515288
75.70/75.71	o 124
75.70/75.74	c 20.9598 92.4375 5954 1515647
75.70/75.74	o 123
75.70/75.76	c 20.9688 92.4375 5954 1515867
75.70/75.76	o 122
75.70/75.79	c 20.9808 92.4375 5960 1516186
75.70/75.79	o 121
75.80/75.82	c 20.9928 92.4375 5962 1516553
75.80/75.82	o 120
75.80/75.90	c 21.0218 92.4375 5987 1516933
75.80/75.90	o 119
76.00/76.05	c 21.0848 92.4375 6016 1517304
76.00/76.05	o 118
76.00/76.08	c 21.1008 92.4375 6017 1517450
76.00/76.08	o 117
76.09/76.10	c 21.1128 92.4375 6017 1517583
76.09/76.10	o 116
76.09/76.13	c 21.1238 92.4375 6017 1517699
76.09/76.13	o 115
76.09/76.15	c 21.1338 92.4375 6017 1517828
76.09/76.15	o 114
76.09/76.17	c 21.1488 92.4375 6018 1518014
76.09/76.17	o 113
76.20/76.20	c 21.1648 92.4375 6018 1518155
76.20/76.20	o 112
76.20/76.22	c 21.1778 92.4375 6018 1518417
76.20/76.22	o 110
76.20/76.25	c 21.1908 92.4375 6024 1518595
76.20/76.25	o 109
76.20/76.27	c 21.2048 92.4375 6027 1518757
76.20/76.27	o 108
76.30/76.30	c 21.2208 92.4375 6033 1518919
76.30/76.30	o 107
76.30/76.32	c 21.2388 92.4375 6033 1519157
76.30/76.32	o 106
76.30/76.35	c 21.2488 92.4375 6033 1519538
76.30/76.35	o 104
76.30/76.37	c 21.2588 92.4375 6034 1519760
76.30/76.37	o 103
76.30/76.40	c 21.2718 92.4375 6037 1520165
76.30/76.40	o 100
76.40/76.43	c 21.2928 92.4375 6040 1520292
76.40/76.43	o 99
76.40/76.46	c 21.3088 92.4375 6043 1520598
76.40/76.46	o 98
76.40/76.48	c 21.3178 92.4375 6043 1520700
76.40/76.48	o 97
76.49/76.51	c 21.3348 92.4375 6046 1520860
76.49/76.51	o 96
76.49/76.54	c 21.3538 92.4375 6050 1521025
76.49/76.54	o 95
76.59/76.60	c 21.3877 92.4375 4362 1521220
76.59/76.60	o 94
76.59/76.62	c 21.4037 92.4375 4363 1521390
76.59/76.62	o 93
76.59/76.65	c 21.4167 92.4375 4366 1521544
76.59/76.65	o 92
76.59/76.67	c 21.4297 92.4375 4368 1521663
76.59/76.67	o 91
76.70/76.70	c 21.4427 92.4375 4370 1521789
76.70/76.70	o 90
76.70/76.72	c 21.4567 92.4375 4370 1521895
76.70/76.72	o 89
76.70/76.76	c 21.4817 92.4375 4380 1522043
76.70/76.76	o 88
76.70/76.79	c 21.4957 92.4375 2401 1522246
76.70/76.79	o 87
76.79/76.81	c 21.5057 92.4375 2401 1522405
76.79/76.81	o 86
76.79/76.83	c 21.5187 92.4375 2401 1522547
76.79/76.83	o 85
76.79/76.85	c 21.5337 92.4375 2401 1522678
76.79/76.85	o 84
76.79/76.87	c 21.5497 92.4375 2401 1522800
76.79/76.87	o 83
76.79/76.90	c 21.5607 92.4375 2401 1522918
76.79/76.90	o 82
76.90/76.92	c 21.5757 92.4375 1915 1523043
76.90/76.92	o 81
76.90/76.94	c 21.5887 92.4375 1917 1523199
76.90/76.94	o 80
76.90/76.97	c 21.6057 92.4375 1924 1523370
76.90/76.97	o 79
76.90/76.99	c 21.6197 92.4375 1925 1523620
76.90/76.99	o 78
77.00/77.01	c 21.6347 92.4375 1926 1523840
77.00/77.01	o 77
77.00/77.03	c 21.6467 92.4375 1746 1524065
77.00/77.03	o 76
77.00/77.05	c 21.6597 92.4375 1746 1524238
77.00/77.05	o 75
77.00/77.07	c 21.6737 92.4375 1746 1524429
77.00/77.07	o 74
77.00/77.09	c 21.6867 92.4375 1746 1524846
77.00/77.09	o 71
77.09/77.11	c 21.6987 92.4375 1746 1525002
77.09/77.11	o 70
77.09/77.13	c 21.7097 92.4375 1399 1525179
77.09/77.13	o 69
77.09/77.15	c 21.7237 92.4375 1399 1525336
77.09/77.15	o 68
77.09/77.17	c 21.7347 92.4375 1400 1525501
77.09/77.17	o 67
77.09/77.19	c 21.7457 92.4375 1400 1525622
77.09/77.19	o 66
77.19/77.21	c 21.7597 92.4375 1402 1525804
77.19/77.21	o 65
77.19/77.23	c 21.7717 92.4375 1255 1525922
77.19/77.23	o 64
77.19/77.25	c 21.7787 92.4375 1255 1526104
77.19/77.25	o 63
77.19/77.27	c 21.7907 92.4375 1255 1526355
77.19/77.27	o 62
77.19/77.29	c 21.8017 92.4375 1255 1526532
77.19/77.29	o 61
77.29/77.30	c 21.8137 92.4375 1256 1526702
77.29/77.30	o 60
77.29/77.32	c 21.8237 92.4375 1231 1526844
77.29/77.32	o 59
77.29/77.34	c 21.8327 92.4375 1231 1526981
77.29/77.34	o 58
77.29/77.36	c 21.8407 92.4375 1231 1527268
77.29/77.36	o 56
77.29/77.37	c 21.8507 92.4375 1231 1527527
77.29/77.37	o 54
77.29/77.39	c 21.8617 92.4375 1231 1527646
77.29/77.39	o 53
77.39/77.40	c 21.8717 92.4375 1196 1527797
77.39/77.40	o 52
77.39/77.42	c 21.8817 92.4375 1197 1527947
77.39/77.42	o 51
77.39/77.44	c 21.8887 92.4375 1197 1528094
77.39/77.44	o 50
77.39/77.45	c 21.8987 92.4375 1197 1528415
77.39/77.45	o 48
77.39/77.47	c 21.9067 92.4375 1197 1528591
77.39/77.47	o 47
77.39/77.48	c 21.9157 92.4375 1179 1528771
77.39/77.48	o 46
77.50/77.50	c 21.9237 92.4375 1179 1528936
77.50/77.50	o 45
77.50/77.51	c 21.9307 92.4375 1179 1529106
77.50/77.51	o 44
77.50/77.53	c 21.9367 92.4375 1179 1529253
77.50/77.53	o 43
77.50/77.54	c 21.9447 92.4375 1179 1529398
77.50/77.54	o 42
77.50/77.55	c 21.9517 92.4375 1163 1529542
77.50/77.55	o 41
77.50/77.57	c 21.9597 92.4375 1163 1529677
77.50/77.57	o 40
77.50/77.58	c 21.9677 92.4375 1163 1529820
77.50/77.58	o 39
77.50/77.59	c 21.9747 92.4375 1163 1529957
77.50/77.59	o 38
77.59/77.61	c 21.9827 92.4375 1163 1530112
77.59/77.61	o 37
77.59/77.62	c 21.9897 92.4375 1163 1530259
77.59/77.62	o 36
77.59/77.63	c 21.9987 92.4375 1153 1530396
77.59/77.63	o 35
77.59/77.65	c 22.0067 92.4375 1153 1530532
77.59/77.65	o 34
77.59/77.66	c 22.0137 92.4375 1154 1530733
77.59/77.66	o 33
77.59/77.67	c 22.0217 92.4375 1154 1530855
77.59/77.67	o 32
77.59/77.68	c 22.0287 92.4375 1154 1530974
77.59/77.68	o 31
77.69/77.70	c 22.0357 92.4375 1154 1531083
77.69/77.70	o 30
77.69/77.71	c 22.0426 92.4375 1146 1531191
77.69/77.71	o 29
77.69/77.72	c 22.0486 92.4375 1146 1531305
77.69/77.72	o 28
77.69/77.73	c 22.0556 92.4375 1146 1531416
77.69/77.73	o 27
77.69/77.74	c 22.0626 92.4375 1146 1531546
77.69/77.74	o 26
77.69/77.75	c 22.0696 92.4375 1146 1531670
77.69/77.75	o 25
77.69/77.76	c 22.0756 92.4375 1146 1531784
77.69/77.76	o 24
77.69/77.78	c 22.0816 92.4375 1134 1531893
77.69/77.78	o 23
77.69/77.79	c 22.0886 92.4375 1134 1532000
77.69/77.79	o 22
77.69/77.80	c 22.0946 92.4375 1134 1532107
77.69/77.80	o 21
77.79/77.81	c 22.1026 92.5664 1134 1532217
77.79/77.81	o 20
77.79/77.82	c 22.1076 92.5664 1134 1532326
77.79/77.82	o 19
77.79/77.83	c 22.1166 92.5664 1136 1532480
77.79/77.83	o 18
77.79/77.84	c 22.1236 92.5664 1131 1532605
77.79/77.84	o 17
77.79/77.87	c 22.1416 92.5664 1145 1532737
77.79/77.87	o 16
77.89/77.95	c 22.1966 92.5664 1370 1533296
77.89/77.95	o 15
77.89/77.98	c 22.2126 92.5664 1389 1533420
77.89/77.98	o 14
77.89/77.99	c 22.2196 92.5664 1394 1533551
77.89/77.99	o 13
77.89/78.00	c 22.2256 92.5664 1399 1533674
77.89/78.00	o 12
78.00/78.01	c 22.2316 92.5664 1399 1533790
78.00/78.01	o 11
78.00/78.02	c 22.2386 92.5664 1415 1533917
78.00/78.02	o 10
78.00/78.03	c 22.2456 92.5664 1414 1534036
78.00/78.03	o 9
78.00/78.04	c 22.2526 92.5664 1414 1534155
78.00/78.04	o 8
78.00/78.04	c 22.2596 92.5664 1414 1534273
78.00/78.04	o 7
78.00/78.05	c 22.2676 92.5664 1415 1534368
78.00/78.05	o 6
78.00/78.06	c 22.2756 92.5664 1422 1534484
78.00/78.06	o 5
78.00/78.07	c 22.2856 92.5664 1427 1534633
78.00/78.07	o 4
78.00/78.08	c 22.2916 92.5664 1428 1534732
78.00/78.08	o 3
78.00/78.09	c 22.2976 92.5664 1423 1534862
78.00/78.09	o 2
78.10/78.10	c 22.3086 92.5664 1444 1535063
78.10/78.10	o 1
78.10/78.13	c 22.3386 92.5664 1562 1535345
78.10/78.13	s OPTIMUM FOUND
78.10/78.13	v -x1 x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 -x11 x12 -x13 -x14 -x15 x16 -x17 -x18 x19 x20 -x21 x22 x23 x24 -x25 -x26 x27 -x28 -x29 x30 x31 x32 -x33 -x34 x35 x36 x37 -x38 -x39 x40 -x41 x42 -x43 -x44 x45 -x46 -x47 x48 -x49 -x50 x51 x52 x53 x54 x55 x56 x57 -x58 -x59 -x60 -x61 x62 -x63 x64 -x65 -x66 x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 x78 -x79 x80 -x81 -x82 -x83 -x84 x85 -x86 x87 x88 -x89 -x90 x91 -x92 -x93 x94 x95 x96 -x97 -x98 x99 -x100 x101 x102 x103 x104 x105 x106 -x107 -x108 x109 x110 -x111 x112 -x113 -x114 x115 x116 -x117 -x118 x119 x120 -x121 -x122 -x123 x124 x125 x126 x127 x128 x129 x130 -x131 x132 x133 x134 -x135 x136 -x137 -x138 -x139 x140 x141 -x142 -x143 x144 -x145 -x146 x147 -x148 -x149 x150 x151 x152 x153 x154 -x155 -x156 -x157 x158 -x159 x160 x161 -x162 -x163 -x164 x165 -x166 x167 x168 -x169 -x170 x171 -x172 x173 x174 -x175 x176 x177 x178 -x179 x180 x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 x230 -x231 -x232 x233 x234 x235 -x236 x237 -x238 x239 -x240 x241 x242 -x243 x244 -x245 -x246 x247 -x248 x249 x250 x251 -x252 -x253 -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 -x262 x263 x264 -x265 -x266 -x267 -x268 x269 x270 x271 -x272 x273 x274 x275 x276 x277 -x278 -x279 x280 x281 -x282 -x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 -x293 x294 x295 x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 x321 -x322 x323 x324 x325 -x326 -x327 -x328 -x329 x330 x331 x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 x340 x341 x342 x343 x344 x345 x346 x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 x378 x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 x398 x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 x416 x417 -x418 -x419 x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 x436 x437 x438 -x439 -x440 x441 x442 -x443 -x444 -x445 x446 -x447 x448 x449 x450 -x451 -x452 -x453 x454 -x455 x456 x457 x458 -x459 -x460 -x461 x462 x463 x464 -x465 -x466 -x467 x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 x565 -x566 x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 x638 x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 x650 x651 x652 x653 x654 -x655 -x656 -x657 -x658 -x659 x660 x661 -x662 -x663 -x664 -x665 x666 x667 x668 -x669 x670 x671 -x672 -x673 x674 x675 x676 -x677 -x678 x679 x680 -x681 -x682 x683 x684 x685 x686 x687 x688 x689 -x690 x691 -x692 x693 -x694 x695 x696 -x697 -x698 x699 x700 -x701 x702 -x703 -x704 x705 -x706 x707 x708 x709 -x710 -x711 -x712 -x713 x714 x715 x716 x717 x718 x719 x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 x729 -x730 x731 x732 -x733 -x734 x735 x736 -x737 x738 -x739 -x740 x741 -x742 x743 x744 x745 -x746 -x747 -x748 -x749 x750 x751 x752 x753 x754 x755 x756 -x757 -x758 -x759 x760 x761 x762 x763 x764 x765 x766 x767 -x768 x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 x788 x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 x798 x799 x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 x873 x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 x907 x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 x923 x924 x925 x926 x927 -x928 -x929 -x930 -x931 -x932 x933 x934 -x935 -x936 -x937 -x938 x939 x940 x941 -x942 x943 x944 -x945 -x946 x947 x948 x949 -x950 -x951 x952 x953 -x954 -x955 x956 x957 x958 x959 x960 x961 x962 -x963 -x964 -x965 -x966 x967 x968 x969 x970 x971 x972 x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 x983 x984 x985 x986 -x987 x988 -x989 -x990 -x991 x992 -x993 x994 x995 x996 -x997 x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 x1064 x1065 x1066 -x1067 x1068 x1069 x1070 x1071 x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 x1289 x1290 x1291 x1292 x1293 x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 x1304 x1305 -x1306 x1307 x1308 x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 x1381 -x1382 x1383 x1384 -x1385 x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 x1397 x1398 x1399 -x1400 x1401 x1402 x1403 -x1404 -x1405 x1406 -x1407 x1408 x1409 x1410 -x1411 -x1412 -x1413 x1414 x1415 x1416 -x1417 -x1418 -x1419 -x1420 x1421 x1422 x1423 x1424 x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 x1438 x1439 x1440 -x1441 -x1442 x1443 x1444 x1445 x1446 x1447 x1448 -x1449 x1450 -x1451 x1452 x1453 x1454 x1455 -x1456 x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 x1506 x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 -x1520 -x1521 -x1522 x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 x1560 -x1561 x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 x1606 x1607 x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 x1658 x1659 -x1660 -x1661 -x1662 -x1663 x1664 x1665 x1666 x1667 x1668 x1669 x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 x1684 -x1685 x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 x1700 -x1701 x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 x1711 x1712 x1713 x1714 x1715 x1716 x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 x1757 x1758 -x1759 -x1760 x1761 x1762 x1763 x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 x1920 x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 x2103 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 -x2154 x2155 x2156 x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 x2278 x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 x2552 x2553 x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 x2822 x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 x2850 -x2851 -x2852 x2853 x2854 x2855 x2856 x2857 x2858 -x2859 -x2860 -x2861 -x2862 x2863 -x2864 x2865 -x2866 -x2867 x2868 x2869 x2870 x2871 x2872 x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 x2898 -x2899 x2900 -x2901 x2902 -x2903 -x2904 x2905 x2906 x2907 x2908 x2909 x2910 -x2911 x2912 x2913 x2914 x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 x2923 x2924 -x2925 x2926 -x2927 x2928 -x2929 -x2930 x2931 x2932 x2933 x2934 x2935 x2936 -x2937 x2938 x2939 x2940 x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 x3006 -x3007 -x3008 -x3009 x3010 x3011 x3012 x3013 x3014 x3015 x3016 x3017 x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 x3036 x3037 x3038 -x3039 -x3040 -x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x3060 x3061 x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 x3087 x3088 x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 x3127 x3128 x3129 -x3130 x3131 x3132 -x3133 -x3134 x3135 x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 x3144 -x3145 x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3181 x3182 x3183 x3184 x3185 x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 x3222 x3223 -x3224 x3225 x3226 -x3227 x3228 x3229 -x3230 x3231 x3232 -x3233 x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 x3297 -x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 x3325 x3326 -x3327 x3328 x3329 -x3330 x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 x3367 x3368 -x3369 x3370 x3371 -x3372 x3373 x3374 -x3375 x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 x3626 x3627 x3628 x3629 -x3630 -x3631 x3632 x3633 x3634 -x3635 x3636 -x3637 x3638 x3639 -x3640 -x3641 x3642 x3643 -x3644 -x3645 x3646 x3647 -x3648 x3649 x3650 -x3651 -x3652 -x3653 x3654 x3655 x3656 -x3657 x3658 x3659 x3660 x3661 -x3662 x3663 -x3664 x3665 x3666 x3667 x3668 x3669 x3670 x3671 -x3672 x3673 -x3674 -x3675 -x3676 -x3677 x3678 x3679 x3680 -x3681 -x3682 x3683 -x3684 x3685 -x3686 x3687 -x3688 -x3689 -x3690 x3691 x3692 -x3693 x3694 -x3695 -x3696 -x3697 x3698 -x3699 -x3700 x3701 x3702 x3703 x3704 x3705 -x3706 x3707 x3708 x3709 -x3710 -x3711 -x3712 x3713 -x3714 -x3715 -x3716 x3717 x3718 -x3719 x3720 x3721 x3722 x3723 x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 x3735 -x3736

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-2699005-1278465162/watcher-2699005-1278465162 -o /tmp/evaluation-result-2699005-1278465162/solver-2699005-1278465162 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699005-1278465162.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.06 2.02 1.95 3/178 14469
/proc/meminfo: memFree=29824688/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=2136 CPUtime=0
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 254 0 0 0 0 0 0 0 20 0 1 0 14729794 2187264 173 4089446400 134512640 136422188 4286722128 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14469/statm: 534 173 144 467 0 65 0

[startup+0.0452841 s]
/proc/loadavg: 2.06 2.02 1.95 3/178 14469
/proc/meminfo: memFree=29824688/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=2924 CPUtime=0.04
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 381 0 0 0 4 0 0 0 21 0 1 0 14729794 2994176 300 4089446400 134512640 136422188 4286722128 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14469/statm: 731 309 144 467 0 262 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2924

[startup+0.100269 s]
/proc/loadavg: 2.06 2.02 1.95 3/178 14469
/proc/meminfo: memFree=29824688/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=14432 CPUtime=0.09
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 3300 0 0 0 9 0 0 0 21 0 1 0 14729794 14778368 3186 4089446400 134512640 136422188 4286722128 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 3608 3189 193 467 0 3139 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14432

[startup+0.300229 s]
/proc/loadavg: 2.06 2.02 1.95 3/178 14469
/proc/meminfo: memFree=29824688/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=62156 CPUtime=0.29
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 15726 0 0 0 27 2 0 0 21 0 1 0 14729794 63647744 15143 4089446400 134512640 136422188 4286722128 18446744073709551615 134707319 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 15539 15143 193 467 0 15070 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62156

[startup+0.700152 s]
/proc/loadavg: 2.06 2.02 1.95 3/178 14469
/proc/meminfo: memFree=29824688/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=90792 CPUtime=0.69
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 23069 0 0 0 66 3 0 0 22 0 1 0 14729794 92971008 21345 4089446400 134512640 136422188 4286722128 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 22698 21345 207 467 0 22229 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90792

[startup+1.501 s]
/proc/loadavg: 2.06 2.01 1.95 3/179 14471
/proc/meminfo: memFree=29738872/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=93020 CPUtime=1.49
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 23670 0 0 0 93 56 0 0 25 0 1 0 14729794 95252480 21669 4089446400 134512640 136422188 4286722128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 23255 21669 237 467 0 22786 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93020

[startup+3.10071 s]
/proc/loadavg: 2.06 2.01 1.95 3/179 14471
/proc/meminfo: memFree=29738844/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=93296 CPUtime=3.1
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 23759 0 0 0 131 179 0 0 25 0 1 0 14729794 95535104 21750 4089446400 134512640 136422188 4286722128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 23324 21750 237 467 0 22855 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 93296

[startup+6.30013 s]
/proc/loadavg: 2.05 2.01 1.95 3/179 14471
/proc/meminfo: memFree=29738224/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=93692 CPUtime=6.29
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 23877 0 0 0 227 402 0 0 25 0 1 0 14729794 95940608 21860 4089446400 134512640 136422188 4286722128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 23423 21860 237 467 0 22954 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93692

[startup+12.701 s]
/proc/loadavg: 2.05 2.01 1.95 3/179 14471
/proc/meminfo: memFree=29738808/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=94108 CPUtime=12.69
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 23973 0 0 0 374 895 0 0 25 0 1 0 14729794 96366592 21951 4089446400 134512640 136422188 4286722128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 23527 21951 237 467 0 23058 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 94108

[startup+25.5006 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 14471
/proc/meminfo: memFree=29739164/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=94652 CPUtime=25.49
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 24155 0 0 0 690 1859 0 0 25 0 1 0 14729794 96923648 22083 4089446400 134512640 136422188 4286722128 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 23663 22083 237 467 0 23194 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 94652

[startup+51.101 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 14472
/proc/meminfo: memFree=29739112/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=94652 CPUtime=51.09
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 24306 0 0 0 1340 3769 0 0 25 0 1 0 14729794 96923648 22095 4089446400 134512640 136422188 4286722128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 23663 22095 237 467 0 23194 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 94652

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

[startup+63.9006 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 14472
/proc/meminfo: memFree=29738844/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=94652 CPUtime=63.9
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 24448 0 0 0 1694 4696 0 0 25 0 1 0 14729794 96923648 22097 4089446400 134512640 136422188 4286722128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 23663 22097 237 467 0 23194 0
Current children cumulated CPU time (s) 63.9
Current children cumulated vsize (KiB) 94652

[startup+70.3004 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 14472
/proc/meminfo: memFree=29738716/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=94652 CPUtime=70.3
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 24563 0 0 0 1893 5137 0 0 25 0 1 0 14729794 96923648 22098 4089446400 134512640 136422188 4286722128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 23663 22098 237 467 0 23194 0
Current children cumulated CPU time (s) 70.3
Current children cumulated vsize (KiB) 94652

[startup+73.5008 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 14472
/proc/meminfo: memFree=29738716/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=94652 CPUtime=73.49
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 24670 0 0 0 2017 5332 0 0 25 0 1 0 14729794 96923648 22108 4089446400 134512640 136422188 4286722128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 23663 22108 237 467 0 23194 0
Current children cumulated CPU time (s) 73.49
Current children cumulated vsize (KiB) 94652

[startup+76.7003 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 14472
/proc/meminfo: memFree=29738944/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=94652 CPUtime=76.7
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 24779 0 0 0 2144 5526 0 0 25 0 1 0 14729794 96923648 22124 4089446400 134512640 136422188 4286722128 18446744073709551615 134534963 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 23663 22124 237 467 0 23194 0
Current children cumulated CPU time (s) 76.7
Current children cumulated vsize (KiB) 94652

[startup+77.5002 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 14473
/proc/meminfo: memFree=29738696/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=94652 CPUtime=77.5
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 24821 0 0 0 2192 5558 0 0 25 0 1 0 14729794 96923648 22126 4089446400 134512640 136422188 4286722128 18446744073709551615 135687056 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 23663 22126 237 467 0 23194 0
Current children cumulated CPU time (s) 77.5
Current children cumulated vsize (KiB) 94652

[startup+77.901 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 14473
/proc/meminfo: memFree=29738696/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=94784 CPUtime=77.89
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 24857 0 0 0 2215 5574 0 0 25 0 1 0 14729794 97058816 22132 4089446400 134512640 136422188 4286722128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 23696 22132 237 467 0 23227 0
Current children cumulated CPU time (s) 77.89
Current children cumulated vsize (KiB) 94784

[startup+78.106 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 14473
/proc/meminfo: memFree=29738816/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=94784 CPUtime=78.1
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 24876 0 0 0 2230 5580 0 0 25 0 1 0 14729794 97058816 22137 4089446400 134512640 136422188 4286722128 18446744073709551615 135026682 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 23696 22137 237 467 0 23227 0
Current children cumulated CPU time (s) 78.1
Current children cumulated vsize (KiB) 94784

[startup+78.201 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 14473
/proc/meminfo: memFree=29738816/32950928 swapFree=67111528/67111528
[pid=14469] ppid=14467 vsize=87984 CPUtime=78.2
/proc/14469/stat : 14469 (pbct) R 14467 14469 13631 0 -1 4202496 24881 0 0 0 2240 5580 0 0 25 0 1 0 14729794 90095616 20999 4089446400 134512640 136422188 4286722128 18446744073709551615 135818420 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/14469/statm: 21996 20999 240 467 0 21527 0
Current children cumulated CPU time (s) 78.2
Current children cumulated vsize (KiB) 87984

Child status: 0
Real time (s): 78.2941
CPU time (s): 78.2971
CPU user time (s): 22.4906
CPU system time (s): 55.8065
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 94784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.4906
system time used= 55.8065
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24882
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= 74

runsolver used 0.108983 second user time and 0.287956 second system time

The end

Launcher Data 

Begin job on node116 at 2010-07-07 03:12:42
IDJOB=2699005
IDBENCH=79323
IDSOLVER=1212
FILE ID=node116/2699005-1278465162
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.rf7.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699005-1278465162/watcher-2699005-1278465162 -o /tmp/evaluation-result-2699005-1278465162/solver-2699005-1278465162 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699005-1278465162.wbo

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

MD5SUM BENCH= 97204d9d3071460ca4d6ce46ec0d7b5a
RANDOM SEED=1559649967

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:      29825332 kB
Buffers:        113428 kB
Cached:        2779868 kB
SwapCached:          0 kB
Active:         946260 kB
Inactive:      2034296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29825332 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2328 kB
Writeback:           0 kB
AnonPages:       87460 kB
Mapped:          15820 kB
Slab:            80560 kB
PageTables:       4492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   228216 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:14:00