Trace number 4455947

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
FiberSCIP 2024-07-02OPTIMUM 1217.31 1221.26

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-0-100-0.wbo
MD5SUMdb1a8fd1e0f423c1d2eb15479c500cc7
Bench CategorySOFT-LIN (WBO, only soft constraints, 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 benchmark4.4433
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9071
Total number of constraints25914
Number of soft constraints25914
Number of constraints which are clauses25190
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints724
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 1307646
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1307645
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 132
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.20	c Default LC presolving (default).
0.09/0.20	c ** Before presolving: virtualMemUsedAtLc = 204947109, getVmSize() = 151646208, SCIPgetMemUsed() = 118351470, SCIPgetMemTotal() = 125042326, SCIPgetMemExternEstim() = 79904783
0.09/0.20	c ** set memory limit for presolving in LC to 8.79603e+12 for SCIP **
1.29/1.39	c ** Estimated virtualMemUsedAtSolver = 297203287, getVmSize() = 399192064, SCIPgetMemUsed() = 203434724, SCIPgetMemTotal() = 365900148, SCIPgetMemExternEstim() = 79904783
1.29/1.39	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.29/1.39	c Original Problem   :
1.29/1.39	c   Problem name     : instance-4455947-1721718367
1.29/1.39	c   Variables        : 34985 (34985 binary, 0 integer, 0 implicit integer, 0 continuous)
1.29/1.39	c   Constraints      : 51829
1.29/1.39	c   Objective sense  : minimize
1.29/1.39	c Presolved Problem  :
1.29/1.39	c   Variables        : 60874 (34985 binary, 0 integer, 25889 implicit integer, 0 continuous)
1.29/1.39	c   Constraints      : 51828
1.29/1.39	c Constraints        : Number
1.29/1.39	c   linear           : 25914 
1.29/1.39	c   indicator        : 25914 
1.29/1.39	c ** Instance transfer method used: 0
1.49/1.58	c ** ParaScipInstance copy increased the number of variables. **
1.68/1.77	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.68/1.77	c                                Nodes    Active                                            
1.68/1.77	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
82.04/82.42	c *      82              0           1         1          69.0000                -          -
82.04/82.42	c        82              0           1         1          69.0000                -          -
215.31/216.22	c *     216              0           1         1          12.0000                -          -
215.31/216.22	c       216              0           1         1          12.0000                -          -
436.12/437.97	c       438              2           0         1          12.0000           0.0000          -
471.22/473.18	c       473              3           1         1          12.0000           0.0000          -
481.19/483.14	c       483              4           2         1          12.0000           0.0000          -
486.57/488.54	c       489              6           4         1          12.0000           0.0000          -
492.36/494.38	c       494              7           7         1          12.0000           0.0000          -
511.40/513.42	c       513              8           6         1          12.0000           0.0000          -
517.28/519.36	c       519             15          13         1          12.0000           0.0000          -
522.77/524.85	c       525             25          23         1          12.0000           0.0000          -
527.85/529.95	c       530             38          36         1          12.0000           0.0000          -
530.45/532.58	c *     533             41          39         1           4.0000           0.0000          -
534.34/536.42	c       536             60          56         1           4.0000           0.0000          -
540.43/542.56	c       543             75          71         1           4.0000           0.0000          -
553.19/555.36	c       555             93          87         1           4.0000           0.0000          -
559.18/561.38	c       561             94          88         1           4.0000           0.0000          -
565.16/567.36	c       567             95          89         1           4.0000           0.0000          -
569.35/571.53	c *     572            111         105         1           3.0000           0.0000          -
570.35/572.55	c       573            125          76         1           3.0000           0.0000          -
576.63/578.83	c       579            143          91         1           3.0000           0.0000          -
580.93/583.20	c *     583            145          93         1           2.0000           0.0000          -
583.03/585.29	c       585            153          12         1           2.0000           0.0000          -
593.10/595.34	c       595            161          18         1           2.0000           0.0000          -
599.48/601.71	c       602            166          23         1           2.0000           0.0000          -
604.47/606.78	c       607            171          28         1           2.0000           0.0000          -
611.85/614.11	c       614            195          32         1           2.0000           0.0000          -
619.93/622.29	c       622            199          30         1           2.0000           0.0000          -
626.22/628.58	c       629            207          38         1           2.0000           0.0000          -
632.00/634.31	c       634            290          47         1           2.0000           0.0000          -
638.28/640.66	c       641            314          39         1           2.0000           0.0000          -
643.96/646.39	c       646            335          43         1           2.0000           0.0000          -
650.44/652.84	c       653            370          38         1           2.0000           0.0000          -
656.53/658.99	c       659            380          48         1           2.0000           0.0000          -
662.11/664.54	c       665            399          52         1           2.0000           0.0000          -
667.50/669.94	c       670            421          51         1           2.0000           0.0000          -
672.88/675.31	c       675            463          55         1           2.0000           0.0000          -
678.58/681.05	c       681            493          56         1           2.0000           0.0000          -
686.65/689.11	c       689            503          55         1           2.0000           0.0000          -
692.03/694.50	c       694            506          58         1           2.0000           0.0000          -
697.91/700.46	c       700            528          55         1           2.0000           0.0000          -
701.80/704.37	c *     704            574          75         1           1.0000           0.0000          -
703.91/706.49	c       706            623          57         1           1.0000           0.0000          -
709.89/712.47	c       712            677          58         1           1.0000           0.0000          -
717.07/719.68	c       720            693          55         1           1.0000           0.0000          -
722.95/725.50	c       726            751          56         1           1.0000           0.0000          -
728.43/731.03	c       731            791          49         1           1.0000           0.0000          -
734.81/737.47	c       737            805          51         1           1.0000           0.0000          -
740.41/743.03	c       743            811          55         1           1.0000           0.0000          -
749.17/751.89	c       752            864          54         1           1.0000           0.0000          -
754.76/757.46	c       757            887          47         1           1.0000           0.0000          -
759.95/762.65	c       763            898          48         1           1.0000           0.0000          -
765.34/768.06	c       768            917          45         1           1.0000           0.0000          -
771.01/773.74	c       774            946          38         1           1.0000           0.0000          -
777.00/779.73	c       780            952          35         1           1.0000           0.0000          -
782.39/785.18	c       785            968          30         1           1.0000           0.0000          -
788.47/791.29	c       791            982          31         1           1.0000           0.0000          -
796.54/799.33	c       799            996          28         1           1.0000           0.0000          -
803.52/806.39	c       806           1030          25         1           1.0000           0.0000          -
808.61/811.43	c       811           1060          26         1           1.0000           0.0000          -
816.38/819.23	c       819           1087          23         1           1.0000           0.0000          -
824.57/827.49	c       827           1102          15         1           1.0000           0.0000          -
830.35/833.21	c       833           1105          16         1           1.0000           0.0000          -
836.33/839.27	c       839           1122          14         1           1.0000           0.0000          -
843.90/846.82	c       847           1133          14         1           1.0000           0.0000          -
850.48/853.40	c       853           1150          13         1           1.0000           0.0000          -
858.76/861.74	c       862           1176           5         1           1.0000           0.0000          -
864.34/867.37	c       867           1203          17         1           1.0000           0.0000          -
870.13/873.18	c       873           1216          18         1           1.0000           0.0000          -
875.31/878.35	c       878           1223          22         1           1.0000           0.0000          -
880.90/883.94	c       884           1253          25         1           1.0000           0.0000          -
888.17/891.21	c       891           1273          27         1           1.0000           0.0000          -
894.96/898.10	c       898           1299          22         1           1.0000           0.0000          -
901.14/904.20	c       904           1353          15         1           1.0000           0.0000          -
907.02/910.17	c       910           1374          19         1           1.0000           0.0000          -
913.80/916.98	c       917           1400          10         1           1.0000           0.0000          -
919.88/923.09	c       923           1431          12         1           1.0000           0.0000          -
927.36/930.50	c       930           1442          13         1           1.0000           0.0000          -
932.54/935.71	c       936           1451          12         1           1.0000           0.0000          -
938.93/942.16	c       942           1459          12         1           1.0000           0.0000          -
946.00/949.26	c       949           1469           4         1           1.0000           0.0000          -
952.79/956.05	c       956           1483           6         1           1.0000           0.0000          -
960.36/963.64	c       964           1501           4         1           1.0000           0.0000          -
966.34/969.67	c       970           1509           8         1           1.0000           0.0000          -
973.12/976.48	c       976           1520           5         1           1.0000           0.0000          -
978.21/981.54	c       982           1536          10         1           1.0000           0.0000          -
1006.12/1009.53	c      1010           1537           9         1           1.0000           0.0000          -
1013.50/1016.95	c      1017           1546           9         1           1.0000           0.0000          -
1018.88/1022.30	c      1022           1547          10         1           1.0000           0.0000          -
1028.57/1032.01	c      1032           1559           5         1           1.0000           0.0000          -
1040.92/1044.41	c      1044           1567           6         1           1.0000           0.0000          -
1047.51/1051.04	c      1051           1577           6         1           1.0000           0.0000          -
1052.79/1056.32	c      1056           1588           5         1           1.0000           0.0000          -
1059.17/1062.79	c      1063           1591           4         1           1.0000           0.0000          -
1066.05/1069.67	c      1070           1600           5         1           1.0000           0.0000          -
1072.74/1076.35	c      1076           1603           6         1           1.0000           0.0000          -
1079.32/1082.95	c      1083           1605           3         1           1.0000           0.0000          -
1084.90/1088.53	c      1089           1610           8         1           1.0000           0.0000          -
1094.18/1097.83	c      1098           1625           5         1           1.0000           0.0000          -
1100.26/1103.97	c      1104           1633           5         1           1.0000           0.0000          -
1106.24/1109.93	c      1110           1643           6         1           1.0000           0.0000          -
1114.13/1117.81	c      1118           1657           3         1           1.0000           0.0000          -
1123.00/1126.71	c      1127           1674           2         1           1.0000           0.0000          -
1131.48/1135.28	c      1135           1694           4         1           1.0000           0.0000          -
1140.05/1143.81	c      1144           1698           4         1           1.0000           0.0000          -
1148.03/1151.82	c      1152           1701           2         1           1.0000           0.0000          -
1153.22/1157.02	c      1157           1704           5         1           1.0000           0.0000          -
1158.60/1162.42	c      1162           1708           5         1           1.0000           0.0000          -
1165.78/1169.67	c      1170           1723           9         1           1.0000           0.0000          -
1171.36/1175.26	c      1175           1766           4         1           1.0000           0.0000          -
1177.05/1180.97	c      1181           1773           6         1           1.0000           0.0000          -
1182.43/1186.35	c      1186           1780           3         1           1.0000           0.0000          -
1188.82/1192.71	c      1193           1792           5         1           1.0000           0.0000          -
1193.91/1197.87	c      1198           1812           8         1           1.0000           0.0000          -
1202.09/1206.02	c      1206           1831           2         1           1.0000           0.0000          -
1209.77/1213.78	c      1214           1843           3         1           1.0000           0.0000          -
1215.85/1219.89	c      1220           1852           2         1           1.0000           0.0000          -
1216.85/1220.84	c      1221           1868           0         0           1.0000           1.0000      0.00%
1217.05/1221.05	c      1221           1868           0         0           1.0000           1.0000          -
1217.05/1221.05	c SCIP Status        : c problem is solved
1217.05/1221.05	c Total Time         : 1221.0400
1217.05/1221.05	c   solving          : 1221.0400
1217.05/1221.05	c   presolving       : 1.1908 (included in solving)
1217.05/1221.05	c B&B Tree           :
1217.05/1221.05	c   nodes (total)    : 1868
1217.05/1221.05	c Solution           :
1217.05/1221.05	c   Solutions found  : 7
1217.05/1221.05	c   Primal Bound     : +1.00000000000000e+00
1217.05/1221.05	c   Dual Bound       : +1.00000000000000e+00
1217.05/1221.05	c Gap                : 0.00000 %
1217.05/1221.08	o 1
1217.05/1221.08	s OPTIMUM FOUND
1217.05/1221.08	v -x9071 -x9070 -x9069 -x9068 x9067 -x9066 -x9065 -x9064 -x9063 -x9062 -x9061 -x9060 -x9059 -x9058 -x9057 x9056 x9055 x9054 x9053 
1217.05/1221.08	v x9052 x9051 -x9050 -x9049 -x9048 x9047 -x9046 -x9045 x9044 -x9043 x9042 x9041 x9040 x9039 x9038 x9037 x9036 x9035 x9034 x9033 
1217.05/1221.08	v x9032 -x9031 -x9030 -x9029 -x9028 x9027 -x9026 x9025 -x9024 -x9023 -x9022 -x9021 x9020 -x9019 -x9018 -x9017 x9016 x9015 x9014 
1217.05/1221.08	v x9013 x9012 -x9011 x9010 x9009 x9008 x9007 -x9006 x9005 -x9004 -x9003 -x9002 x9001 -x9000 -x8999 -x8998 -x8997 -x8996 -x8995 
1217.05/1221.08	v -x8994 -x8993 -x8992 -x8991 -x8990 x8989 -x8988 -x8987 -x8986 x8985 x8984 x8983 x8982 x8981 x8980 -x8979 -x8978 -x8977 -x8976 
1217.05/1221.08	v -x8975 x8974 -x8973 -x8972 x8971 x8970 -x8969 -x8968 -x8967 -x8966 -x8965 -x8964 x8963 x8962 -x8961 x8960 -x8959 -x8958 -x8957 
1217.05/1221.08	v -x8956 -x8955 -x8954 -x8953 x8952 -x8951 x8950 x8949 x8948 x8947 -x8946 -x8945 -x8944 -x8943 x8942 -x8941 -x8940 x8939 
1217.05/1221.08	v -x8938 -x8937 x8936 x8935 -x8934 -x8933 -x8932 -x8931 x8930 -x8929 -x8928 -x8927 -x8926 x8925 x8924 x8923 x8922 -x8921 x8920 
1217.05/1221.08	v x8919 x8918 x8917 x8916 x8915 x8914 x8913 x8912 x8911 -x8910 -x8909 x8908 x8907 x8906 x8905 x8904 x8903 x8902 -x8901 -x8900 -x8899 
1217.05/1221.08	v -x8898 -x8897 -x8896 -x8895 -x8894 -x8893 -x8892 -x8891 -x8890 x8889 x8888 -x8887 x8886 x8885 -x8884 x8883 x8882 x8881 
1217.05/1221.08	v -x8880 x8879 x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864 -x8863 -x8862 
1217.05/1221.08	v -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847 -x8846 -x8845 
1217.05/1221.08	v -x8844 -x8843 -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829 -x8828 -x8827 
1217.05/1221.08	v -x8826 -x8825 -x8824 -x8823 -x8822 -x8821 -x8820 -x8819 x8818 x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8809 
1217.05/1221.08	v -x8808 -x8807 -x8806 -x8805 -x8804 x8803 x8802 x8801 -x8800 x8799 x8798 -x8797 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 
1217.05/1221.08	v -x8789 -x8788 -x8787 x8786 x8785 -x8784 -x8783 x8782 x8781 x8780 -x8779 -x8778 -x8777 x8776 -x8775 -x8774 -x8773 x8772 x8771 
1217.05/1221.08	v x8770 -x8769 -x8768 -x8767 x8766 x8765 x8764 -x8763 -x8762 -x8761 -x8760 -x8759 x8758 -x8757 -x8756 -x8755 x8754 x8753 x8752 
1217.05/1221.08	v x8751 -x8750 -x8749 -x8748 -x8747 x8746 x8745 x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8738 -x8737 x8736 -x8735 -x8734 -x8733 
1217.05/1221.08	v x8732 x8731 x8730 x8729 x8728 -x8727 -x8726 -x8725 -x8724 -x8723 x8722 x8721 x8720 -x8719 -x8718 -x8717 -x8716 -x8715 -x8714 
1217.05/1221.08	v -x8713 -x8712 -x8711 x8710 -x8709 -x8708 -x8707 x8706 x8705 x8704 x8703 x8702 x8701 -x8700 -x8699 -x8698 -x8697 -x8696 
1217.05/1221.08	v -x8695 x8694 x8693 x8692 -x8691 -x8690 -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 x8678 -x8677 
1217.05/1221.08	v -x8676 -x8675 x8674 x8673 x8672 x8671 x8670 x8669 x8668 x8667 x8666 x8665 x8664 x8663 x8662 x8661 x8660 x8659 x8658 x8657 
1217.05/1221.08	v -x8656 x8655 x8654 x8653 -x8652 -x8651 -x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638 
1217.05/1221.08	v -x8637 -x8636 -x8635 -x8634 -x8633 x8632 x8631 -x8630 x8629 -x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 -x8620 
1217.05/1221.08	v -x8619 -x8618 -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 x8608 x8607 x8606 -x8605 -x8604 -x8603 x8602 
1217.05/1221.08	v -x8601 x8600 -x8599 -x8598 -x8597 -x8596 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 -x8584 
1217.05/1221.08	v -x8583 -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 x8574 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 
1217.05/1221.08	v -x8565 -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 -x8550 x8549 -x8548 
1217.05/1221.08	v -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540 -x8539 x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530 
1217.05/1221.08	v -x8529 -x8528 -x8527 x8526 x8525 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 
1217.05/1221.08	v -x8510 -x8509 -x8508 -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 x8501 x8500 -x8499 -x8498 x8497 -x8496 -x8495 -x8494 -x8493 
1217.05/1221.08	v -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 x8483 -x8482 x8481 x8480 x8479 -x8478 -x8477 -x8476 -x8475 
1217.05/1221.08	v -x8474 -x8473 -x8472 x8471 -x8470 -x8469 -x8468 x8467 -x8466 -x8465 -x8464 -x8463 x8462 -x8461 -x8460 -x8459 x8458 -x8457 -x8456 
1217.05/1221.08	v -x8455 x8454 -x8453 -x8452 x8451 -x8450 -x8449 -x8448 x8447 -x8446 -x8445 x8444 x8443 x8442 x8441 -x8440 -x8439 x8438 -x8437 
1217.05/1221.08	v -x8436 -x8435 x8434 x8433 x8432 x8431 x8430 x8429 -x8428 -x8427 -x8426 -x8425 -x8424 -x8423 -x8422 -x8421 -x8420 x8419 x8418 
1217.05/1221.08	v x8417 x8416 x8415 x8414 x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 
1217.05/1221.08	v -x8399 x8398 x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385 x8384 x8383 x8382 -x8381 
1217.05/1221.08	v -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366 -x8365 -x8364 -x8363 
1217.05/1221.08	v -x8362 -x8361 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348 -x8347 -x8346 -x8345 
1217.05/1221.08	v -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330 -x8329 -x8328 
1217.05/1221.08	v -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8313 -x8312 -x8311 -x8310 
1217.05/1221.08	v -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 -x8292 
1217.05/1221.08	v -x8291 -x8290 -x8289 -x8288 -x8287 x8286 -x8285 x8284 x8283 -x8282 x8281 x8280 -x8279 x8278 x8277 x8276 -x8275 -x8274 -x8273 
1217.05/1221.08	v -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258 -x8257 -x8256 -x8255 
1217.05/1221.08	v -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 x8248 x8247 -x8246 -x8245 -x8244 -x8243 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 
1217.05/1221.08	v -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 
1217.05/1221.08	v -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203 -x8202 -x8201 
1217.05/1221.08	v -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 -x8184 -x8183 
1217.05/1221.08	v -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166 -x8165 
1217.05/1221.08	v -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 x8154 -x8153 x8152 x8151 -x8150 x8149 x8148 -x8147 
1217.05/1221.08	v x8146 x8145 -x8144 x8143 x8142 x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 -x8130 -x8129 -x8128 
1217.05/1221.08	v -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 
1217.05/1221.08	v x8109 x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 -x8092 
1217.05/1221.08	v -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 -x8082 -x8081 -x8080 x8079 x8078 x8077 x8076 x8075 x8074 
1217.05/1221.08	v -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 x8066 x8065 x8064 x8063 x8062 x8061 x8060 -x8059 -x8058 -x8057 -x8056 -x8055 
1217.05/1221.08	v -x8054 -x8053 -x8052 -x8051 -x8050 -x8049 -x8048 x8047 -x8046 -x8045 x8044 -x8043 -x8042 -x8041 -x8040 x8039 x8038 x8037 x8036 
1217.05/1221.08	v x8035 x8034 x8033 -x8032 -x8031 -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 -x8024 -x8023 -x8022 -x8021 x8020 -x8019 x8018 -x8017 
1217.05/1221.08	v -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006 -x8005 -x8004 x8003 x8002 x8001 x8000 x7999 
1217.05/1221.08	v -x7998 -x7997 -x7996 -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 x7981 
1217.05/1221.08	v x7980 x7979 x7978 x7977 x7976 -x7975 x7974 -x7973 -x7972 -x7971 -x7970 x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 
1217.05/1221.08	v -x7961 -x7960 -x7959 -x7958 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 x7945 -x7944 
1217.05/1221.08	v -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 
1217.05/1221.08	v -x7925 -x7924 -x7923 -x7922 -x7921 x7920 -x7919 -x7918 -x7917 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 
1217.05/1221.08	v -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898 -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 x7891 -x7890 
1217.05/1221.08	v -x7889 -x7888 -x7887 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879 -x7878 x7877 -x7876 -x7875 -x7874 -x7873 -x7872 
1217.05/1221.08	v -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859 -x7858 -x7857 x7856 x7855 x7854 
1217.05/1221.08	v -x7853 -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 x7843 x7842 x7841 -x7840 -x7839 -x7838 -x7837 -x7836 
1217.05/1221.08	v -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 x7827 x7826 x7825 -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 
1217.05/1221.08	v -x7816 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 x7808 -x7807 -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 
1217.05/1221.08	v -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 x7786 -x7785 -x7784 -x7783 -x7782 -x7781 
1217.05/1221.08	v -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 
1217.05/1221.08	v -x7762 x7761 -x7760 -x7759 x7758 -x7757 -x7756 -x7755 x7754 x7753 -x7752 -x7751 -x7750 x7749 x7748 -x7747 x7746 x7745 -x7744 
1217.05/1221.08	v x7743 x7742 -x7741 x7740 x7739 x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 -x7730 x7729 x7728 x7727 x7726 x7725 
1217.05/1221.08	v -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 x7713 x7712 x7711 x7710 x7709 -x7708 -x7707 
1217.05/1221.08	v -x7706 x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 
1217.05/1221.08	v -x7687 x7686 x7685 x7684 x7683 x7682 -x7681 -x7680 -x7679 -x7678 x7677 x7676 x7675 x7674 x7673 x7672 x7671 x7670 x7669 
1217.05/1221.08	v x7668 -x7667 x7666 -x7665 -x7664 -x7663 -x7662 x7661 -x7660 -x7659 -x7658 x7657 -x7656 -x7655 -x7654 x7653 -x7652 -x7651 -x7650 
1217.05/1221.08	v -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 
1217.05/1221.08	v -x7631 x7630 -x7629 -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 x7621 x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 
1217.05/1221.08	v -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 x7601 -x7600 -x7599 x7598 x7597 x7596 -x7595 
1217.05/1221.08	v -x7594 x7593 x7592 x7591 x7590 x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 x7582 -x7581 -x7580 x7579 x7578 x7577 -x7576 
1217.05/1221.08	v -x7575 x7574 x7573 x7572 x7571 -x7570 -x7569 -x7568 -x7567 -x7566 x7565 -x7564 -x7563 x7562 x7561 x7560 -x7559 -x7558 x7557 
1217.05/1221.08	v x7556 x7555 -x7554 -x7553 -x7552 -x7551 x7550 -x7549 -x7548 x7547 x7546 x7545 -x7544 -x7543 x7542 x7541 -x7540 -x7539 -x7538 
1217.05/1221.08	v x7537 x7536 x7535 x7534 -x7533 x7532 -x7531 -x7530 x7529 x7528 -x7527 -x7526 -x7525 -x7524 -x7523 x7522 -x7521 -x7520 -x7519 
1217.05/1221.08	v x7518 -x7517 -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 x7501 
1217.05/1221.08	v -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 x7483 
1217.05/1221.08	v -x7482 x7481 x7480 x7479 x7478 x7477 x7476 x7475 x7474 x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 x7465 -x7464 
1217.05/1221.08	v x7463 -x7462 -x7461 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 x7447 -x7446 
1217.05/1221.08	v x7445 -x7444 x7443 x7442 x7441 x7440 x7439 x7438 x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 x7429 -x7428 x7427 -x7426 
1217.05/1221.08	v x7425 x7424 x7423 x7422 x7421 x7420 x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 x7411 -x7410 x7409 x7408 x7407 
1217.05/1221.08	v x7406 -x7405 -x7404 -x7403 x7402 x7401 x7400 x7399 x7398 x7397 x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 
1217.05/1221.08	v -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 x7379 x7378 x7377 -x7376 -x7375 -x7374 x7373 x7372 x7371 x7370 x7369 
1217.05/1221.08	v x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 x7355 x7354 x7353 -x7352 -x7351 -x7350 
1217.05/1221.08	v -x7349 -x7348 -x7347 x7346 x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 x7336 x7335 x7334 -x7333 -x7332 
1217.05/1221.08	v -x7331 x7330 x7329 x7328 -x7327 -x7326 -x7325 x7324 -x7323 -x7322 -x7321 -x7320 -x7319 x7318 -x7317 -x7316 x7315 -x7314 -x7313 
1217.05/1221.08	v -x7312 -x7311 -x7310 -x7309 -x7308 x7307 x7306 -x7305 x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297 x7296 x7295 
1217.05/1221.08	v -x7294 -x7293 -x7292 -x7291 -x7290 x7289 -x7288 -x7287 -x7286 -x7285 -x7284 x7283 x7282 -x7281 -x7280 -x7279 -x7278 -x7277 x7276 
1217.05/1221.08	v -x7275 -x7274 -x7273 x7272 -x7271 -x7270 -x7269 -x7268 -x7267 x7266 -x7265 -x7264 -x7263 x7262 -x7261 -x7260 x7259 x7258 
1217.05/1221.08	v x7257 x7256 x7255 -x7254 x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 
1217.05/1221.08	v -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 x7222 -x7221 
1217.05/1221.08	v x7220 x7219 x7218 x7217 x7216 -x7215 x7214 -x7213 -x7212 -x7211 -x7210 x7209 x7208 -x7207 x7206 -x7205 -x7204 -x7203 -x7202 
1217.05/1221.08	v -x7201 -x7200 x7199 x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 x7189 x7188 x7187 x7186 x7185 x7184 x7183 
1217.05/1221.08	v x7182 x7181 -x7180 -x7179 x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 x7171 -x7170 -x7169 -x7168 -x7167 x7166 x7165 -x7164 
1217.05/1221.08	v x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 x7156 x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 x7146 
1217.05/1221.08	v x7145 x7144 x7143 x7142 x7141 x7140 x7139 x7138 -x7137 -x7136 x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 x7128 -x7127 -x7126 
1217.05/1221.08	v -x7125 -x7124 -x7123 -x7122 x7121 -x7120 x7119 -x7118 -x7117 -x7116 -x7115 -x7114 x7113 -x7112 -x7111 -x7110 -x7109 -x7108 
1217.05/1221.08	v -x7107 -x7106 x7105 -x7104 -x7103 x7102 x7101 x7100 -x7099 x7098 -x7097 -x7096 -x7095 x7094 x7093 x7092 x7091 x7090 x7089 
1217.05/1221.08	v -x7088 x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 x7072 x7071 -x7070 
1217.05/1221.08	v -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 
1217.05/1221.08	v -x7052 x7051 x7050 x7049 x7048 x7047 x7046 x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 
1217.05/1221.08	v -x7033 -x7032 -x7031 -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 
1217.05/1221.08	v -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 
1217.05/1221.08	v -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 
1217.05/1221.08	v -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 x6970 x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 
1217.05/1221.08	v -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 
1217.05/1221.08	v -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 
1217.05/1221.08	v -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 
1217.05/1221.08	v -x6907 x6906 x6905 x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 
1217.05/1221.08	v -x6889 -x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 
1217.05/1221.08	v -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 
1217.05/1221.08	v -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 
1217.05/1221.08	v -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 x6822 x6821 x6820 x6819 x6818 
1217.05/1221.08	v x6817 -x6816 -x6815 -x6814 -x6813 x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 
1217.05/1221.08	v -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 
1217.05/1221.08	v -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 x6769 -x6768 -x6767 x6766 -x6765 -x6764 
1217.05/1221.08	v -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 
1217.05/1221.08	v -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 
1217.05/1221.08	v -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 x6711 -x6710 
1217.05/1221.08	v -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 x6703 x6702 x6701 x6700 x6699 x6698 x6697 x6696 x6695 -x6694 x6693 -x6692 -x6691 
1217.05/1221.08	v -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 
1217.05/1221.08	v -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 
1217.05/1221.08	v -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 x6642 x6641 x6640 x6639 x6638 x6637 -x6636 
1217.05/1221.08	v -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 x6625 x6624 x6623 x6622 x6621 -x6620 x6619 -x6618 
1217.05/1221.08	v -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 
1217.05/1221.08	v -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 
1217.05/1221.08	v -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 
1217.05/1221.08	v -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 
1217.05/1221.08	v -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 
1217.05/1221.08	v -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 
1217.05/1221.08	v -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 
1217.05/1221.08	v -x6492 x6491 x6490 x6489 -x6488 -x6487 -x6486 -x6485 -x6484 x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 
1217.05/1221.08	v -x6473 -x6472 -x6471 -x6470 -x6469 x6468 -x6467 -x6466 x6465 x6464 x6463 -x6462 -x6461 x6460 -x6459 -x6458 -x6457 x6456 
1217.05/1221.08	v -x6455 -x6454 -x6453 x6452 -x6451 -x6450 -x6449 x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 x6439 -x6438 -x6437 
1217.05/1221.08	v -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 
1217.05/1221.08	v -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 
1217.05/1221.08	v -x6400 -x6399 -x6398 x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 x6383 
1217.05/1221.08	v -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 x6369 -x6368 -x6367 -x6366 -x6365 
1217.05/1221.08	v -x6364 -x6363 x6362 x6361 x6360 -x6359 -x6358 -x6357 x6356 x6355 x6354 -x6353 -x6352 x6351 x6350 x6349 x6348 -x6347 -x6346 
1217.05/1221.08	v -x6345 -x6344 -x6343 x6342 -x6341 -x6340 x6339 x6338 x6337 -x6336 -x6335 x6334 x6333 x6332 -x6331 -x6330 -x6329 -x6328 x6327 
1217.05/1221.08	v -x6326 -x6325 x6324 x6323 x6322 -x6321 -x6320 x6319 x6318 -x6317 -x6316 -x6315 x6314 x6313 x6312 x6311 -x6310 x6309 -x6308 
1217.05/1221.08	v -x6307 x6306 x6305 -x6304 -x6303 -x6302 -x6301 -x6300 x6299 -x6298 -x6297 -x6296 x6295 -x6294 -x6293 x6292 -x6291 -x6290 -x6289 
1217.05/1221.08	v -x6288 x6287 -x6286 -x6285 x6284 x6283 x6282 x6281 x6280 x6279 -x6278 x6277 -x6276 -x6275 x6274 -x6273 x6272 x6271 x6270 x6269 
1217.05/1221.08	v x6268 x6267 x6266 -x6265 -x6264 -x6263 x6262 x6261 x6260 x6259 x6258 x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 
1217.05/1221.08	v -x6249 -x6248 -x6247 -x6246 -x6245 x6244 x6243 x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 x6235 x6234 -x6233 -x6232 
1217.05/1221.08	v -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 x6225 x6224 x6223 -x6222 -x6221 -x6220 x6219 x6218 x6217 -x6216 -x6215 -x6214 x6213 
1217.05/1221.08	v -x6212 -x6211 -x6210 -x6209 -x6208 x6207 -x6206 -x6205 x6204 -x6203 -x6202 -x6201 x6200 x6199 x6198 -x6197 -x6196 -x6195 x6194 
1217.05/1221.08	v x6193 x6192 x6191 x6190 x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 x6176 x6175 
1217.05/1221.08	v x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 x6167 x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 x6157 
1217.05/1221.08	v x6156 x6155 -x6154 -x6153 -x6152 x6151 x6150 x6149 -x6148 -x6147 -x6146 x6145 -x6144 -x6143 -x6142 -x6141 -x6140 x6139 -x6138 
1217.05/1221.08	v -x6137 -x6136 -x6135 -x6134 -x6133 x6132 -x6131 x6130 -x6129 -x6128 x6127 x6126 -x6125 -x6124 x6123 x6122 x6121 x6120 x6119 
1217.05/1221.08	v -x6118 -x6117 x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 x6106 -x6105 -x6104 -x6103 -x6102 -x6101 
1217.05/1221.08	v -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 
1217.05/1221.08	v -x6082 -x6081 -x6080 x6079 x6078 x6077 x6076 x6075 x6074 x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 
1217.05/1221.08	v -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 x6056 x6055 x6054 -x6053 -x6052 -x6051 x6050 x6049 x6048 x6047 x6046 x6045 
1217.05/1221.08	v -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 x6032 x6031 x6030 -x6029 -x6028 -x6027 -x6026 
1217.05/1221.08	v -x6025 -x6024 x6023 x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 x6013 x6012 x6011 -x6010 -x6009 -x6008 
1217.05/1221.08	v x6007 x6006 x6005 -x6004 -x6003 -x6002 x6001 -x6000 -x5999 -x5998 -x5997 -x5996 x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 
1217.05/1221.08	v x5988 -x5987 x5986 -x5985 -x5984 x5983 x5982 -x5981 -x5980 x5979 x5978 x5977 x5976 x5975 -x5974 -x5973 x5972 -x5971 -x5970 
1217.05/1221.08	v -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 
1217.05/1221.08	v -x5951 x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 x5936 -x5935 x5934 
1217.05/1221.08	v x5933 -x5932 -x5931 x5930 x5929 x5928 -x5927 -x5926 x5925 x5924 x5923 -x5922 -x5921 -x5920 -x5919 x5918 -x5917 -x5916 x5915 x5914 
1217.05/1221.08	v x5913 -x5912 -x5911 x5910 x5909 -x5908 -x5907 -x5906 x5905 x5904 x5903 x5902 -x5901 x5900 -x5899 -x5898 x5897 x5896 -x5895 
1217.05/1221.08	v -x5894 -x5893 -x5892 -x5891 x5890 -x5889 -x5888 -x5887 x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 
1217.05/1221.08	v -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 x5859 
1217.05/1221.08	v x5858 x5857 x5856 x5855 x5854 x5853 x5852 -x5851 -x5850 -x5849 -x5848 -x5847 x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 
1217.05/1221.08	v -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 x5833 x5832 x5831 x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 x5823 x5822 -x5821 
1217.05/1221.08	v -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 x5813 x5812 x5811 -x5810 -x5809 -x5808 x5807 x5806 x5805 -x5804 -x5803 -x5802 
1217.05/1221.08	v x5801 -x5800 -x5799 -x5798 -x5797 -x5796 x5795 -x5794 -x5793 x5792 -x5791 -x5790 x5789 x5788 x5787 -x5786 -x5785 -x5784 
1217.05/1221.08	v -x5783 -x5782 -x5781 x5780 x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 x5770 x5769 x5768 -x5767 -x5766 -x5765 
1217.05/1221.08	v x5764 x5763 x5762 -x5761 -x5760 -x5759 x5758 -x5757 -x5756 -x5755 -x5754 -x5753 x5752 -x5751 -x5750 -x5749 -x5748 -x5747 
1217.05/1221.08	v -x5746 x5745 -x5744 x5743 -x5742 -x5741 x5740 x5739 -x5738 -x5737 x5736 x5735 x5734 x5733 x5732 -x5731 -x5730 x5729 -x5728 -x5727 
1217.05/1221.08	v -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 
1217.05/1221.08	v -x5708 -x5707 x5706 x5705 x5704 x5703 x5702 x5701 x5700 x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 
1217.05/1221.08	v -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 x5678 x5677 x5676 x5675 x5674 x5673 x5672 x5671 
1217.05/1221.08	v x5670 x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 x5658 -x5657 -x5656 -x5655 -x5654 -x5653 
1217.05/1221.08	v -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 
1217.05/1221.08	v -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 
1217.05/1221.08	v -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 
1217.05/1221.08	v -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 
1217.05/1221.08	v -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 x5568 -x5567 -x5566 -x5565 -x5564 
1217.05/1221.08	v -x5563 -x5562 -x5561 -x5560 -x5559 x5558 x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 
1217.05/1221.08	v -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 
1217.05/1221.08	v -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 
1217.05/1221.08	v -x5509 x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 
1217.05/1221.08	v -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 
1217.05/1221.08	v -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 x5464 x5463 x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 
1217.05/1221.08	v -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 
1217.05/1221.08	v -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 
1217.05/1221.08	v -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 
1217.05/1221.08	v -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 
1217.05/1221.08	v -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 
1217.05/1221.08	v -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 x5350 x5349 x5348 
1217.05/1221.08	v x5347 x5346 x5345 x5344 x5343 x5342 x5341 x5340 x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 
1217.05/1221.08	v -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 
1217.05/1221.08	v -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 
1217.05/1221.08	v -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 
1217.05/1221.08	v -x5274 x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 
1217.05/1221.08	v -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 
1217.05/1221.08	v -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 
1217.05/1221.08	v -x5220 -x5219 -x5218 x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 
1217.05/1221.08	v -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 
1217.05/1221.08	v -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 x5171 -x5170 -x5169 -x5168 -x5167 
1217.05/1221.08	v -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 
1217.05/1221.08	v -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 
1217.05/1221.08	v -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 
1217.05/1221.08	v -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 
1217.05/1221.08	v -x5095 x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 
1217.05/1221.08	v -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 x5061 -x5060 
1217.05/1221.08	v -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 
1217.05/1221.08	v -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 
1217.05/1221.08	v -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 
1217.05/1221.08	v -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 
1217.05/1221.08	v -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 
1217.05/1221.08	v -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 
1217.05/1221.08	v -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 
1217.05/1221.08	v -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 
1217.05/1221.08	v -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 
1217.05/1221.08	v -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 
1217.05/1221.08	v -x4880 x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 x4870 -x4869 x4868 x4867 -x4866 x4865 x4864 x4863 -x4862 
1217.05/1221.08	v -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 
1217.05/1221.08	v -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 
1217.05/1221.08	v -x4826 -x4825 -x4824 -x4823 -x4822 x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 
1217.05/1221.08	v -x4808 -x4807 -x4806 -x4805 x4804 x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 x4794 -x4793 -x4792 -x4791 -x4790 
1217.05/1221.08	v -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 x4779 -x4778 -x4777 -x4776 -x4775 x4774 -x4773 -x4772 
1217.05/1221.08	v -x4771 -x4770 x4769 -x4768 -x4767 -x4766 -x4765 x4764 -x4763 -x4762 -x4761 -x4760 x4759 -x4758 -x4757 -x4756 -x4755 x4754 
1217.05/1221.08	v -x4753 -x4752 -x4751 x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 
1217.05/1221.08	v -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 x4721 -x4720 -x4719 -x4718 
1217.05/1221.08	v -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 x4701 -x4700 
1217.05/1221.08	v -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 
1217.05/1221.08	v -x4681 x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 
1217.05/1221.08	v -x4663 -x4662 -x4661 -x4660 -x4659 x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 
1217.05/1221.08	v -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 
1217.05/1221.08	v x4627 x4626 x4625 x4624 x4623 x4622 x4621 x4620 x4619 x4618 -x4617 x4616 -x4615 -x4614 -x4613 -x4612 x4611 -x4610 -x4609 -x4608 
1217.05/1221.08	v -x4607 -x4606 -x4605 -x4604 -x4603 x4602 x4601 x4600 x4599 x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 
1217.05/1221.08	v -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 
1217.05/1221.08	v -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 x4557 -x4556 -x4555 -x4554 
1217.05/1221.08	v -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 
1217.05/1221.08	v -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 x4529 -x4528 -x4527 x4526 -x4525 x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 x4517 
1217.05/1221.08	v -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 x4503 -x4502 -x4501 -x4500 -x4499 
1217.05/1221.08	v -x4498 -x4497 x4496 -x4495 -x4494 -x4493 -x4492 x4491 -x4490 -x4489 x4488 -x4487 -x4486 -x4485 -x4484 x4483 -x4482 -x4481 
1217.05/1221.08	v -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 x4474 x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 
1217.05/1221.08	v -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 x4455 -x4454 -x4453 x4452 x4451 x4450 -x4449 -x4448 x4447 x4446 x4445 x4444 
1217.05/1221.08	v -x4443 -x4442 -x4441 -x4440 -x4439 x4438 -x4437 -x4436 x4435 x4434 x4433 -x4432 -x4431 x4430 x4429 x4428 -x4427 -x4426 -x4425 
1217.05/1221.08	v -x4424 x4423 -x4422 -x4421 x4420 x4419 x4418 -x4417 -x4416 x4415 x4414 -x4413 -x4412 -x4411 x4410 x4409 x4408 x4407 -x4406 x4405 
1217.05/1221.08	v -x4404 -x4403 x4402 x4401 -x4400 -x4399 -x4398 -x4397 -x4396 x4395 -x4394 -x4393 -x4392 x4391 -x4390 -x4389 -x4388 -x4387 
1217.05/1221.08	v -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 
1217.05/1221.08	v -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 x4360 -x4359 x4358 x4357 x4356 x4355 x4354 x4353 x4352 x4351 -x4350 
1217.05/1221.08	v -x4349 -x4348 -x4347 -x4346 -x4345 x4344 -x4343 x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 
1217.05/1221.08	v -x4331 -x4330 -x4329 x4328 -x4327 x4326 -x4325 x4324 x4323 x4322 x4321 x4320 x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 
1217.05/1221.08	v x4312 -x4311 x4310 x4309 x4308 x4307 -x4306 -x4305 -x4304 x4303 x4302 x4301 x4300 x4299 x4298 -x4297 -x4296 -x4295 -x4294 -x4293 
1217.05/1221.08	v -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 x4285 x4284 x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 x4276 x4275 
1217.05/1221.08	v -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 x4266 x4265 x4264 -x4263 -x4262 -x4261 x4260 x4259 x4258 -x4257 -x4256 
1217.05/1221.08	v -x4255 x4254 -x4253 -x4252 -x4251 -x4250 -x4249 x4248 -x4247 -x4246 x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 
1217.05/1221.08	v -x4237 -x4236 x4235 -x4234 -x4233 -x4232 -x4231 -x4230 x4229 x4228 -x4227 -x4226 -x4225 -x4224 -x4223 x4222 -x4221 -x4220 -x4219 
1217.05/1221.08	v x4218 -x4217 -x4216 -x4215 -x4214 -x4213 x4212 -x4211 -x4210 -x4209 x4208 -x4207 -x4206 x4205 x4204 x4203 x4202 -x4201 x4200 
1217.05/1221.08	v -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 
1217.05/1221.08	v -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 x4174 x4173 x4172 x4171 x4170 x4169 x4168 x4167 x4166 x4165 -x4164 -x4163 
1217.05/1221.08	v x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 x4155 -x4154 -x4153 -x4152 -x4151 x4150 x4149 x4148 x4147 x4146 x4145 x4144 
1217.05/1221.08	v x4143 x4142 -x4141 -x4140 x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 x4125 
1217.05/1221.08	v -x4124 x4123 -x4122 -x4121 -x4120 -x4119 -x4118 x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 x4109 -x4108 -x4107 
1217.05/1221.08	v x4106 x4105 x4104 -x4103 x4102 -x4101 -x4100 -x4099 x4098 x4097 x4096 x4095 -x4094 -x4093 -x4092 -x4091 x4090 x4089 -x4088 
1217.05/1221.08	v x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 x4074 x4073 x4072 x4071 x4070 x4069 
1217.05/1221.08	v x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 
1217.05/1221.08	v -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 
1217.05/1221.08	v -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 
1217.05/1221.08	v -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 x4005 x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 
1217.05/1221.08	v -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 
1217.05/1221.08	v -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 
1217.05/1221.08	v -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 x3951 x3950 x3949 x3948 x3947 x3946 x3945 x3944 x3943 -x3942 
1217.05/1221.08	v -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 
1217.05/1221.08	v -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 
1217.05/1221.08	v -x3905 x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 
1217.05/1221.08	v -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 
1217.05/1221.08	v -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 x3857 -x3856 -x3855 x3854 x3853 x3852 
1217.05/1221.08	v x3851 x3850 x3849 x3848 x3847 x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 
1217.05/1221.08	v -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 
1217.05/1221.08	v -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 
1217.05/1221.08	v -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 
1217.05/1221.08	v -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 
1217.05/1221.08	v -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 x3749 -x3748 -x3747 -x3746 -x3745 -x3744 
1217.05/1221.08	v -x3743 -x3742 x3741 x3740 x3739 x3738 x3737 x3736 -x3735 -x3734 -x3733 -x3732 -x3731 x3730 x3729 x3728 -x3727 -x3726 x3725 
1217.05/1221.08	v -x3724 -x3723 -x3722 x3721 -x3720 -x3719 -x3718 x3717 -x3716 -x3715 -x3714 x3713 -x3712 x3711 x3710 x3709 x3708 x3707 x3706 
1217.05/1221.08	v x3705 x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 
1217.05/1221.08	v -x3686 -x3685 -x3684 -x3683 x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 x3670 -x3669 
1217.05/1221.08	v -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 x3651 
1217.05/1221.08	v x3650 x3649 -x3648 -x3647 -x3646 x3645 x3644 x3643 -x3642 -x3641 x3640 x3639 x3638 -x3637 -x3636 -x3635 -x3634 x3633 -x3632 
1217.05/1221.08	v -x3631 x3630 x3629 x3628 -x3627 -x3626 x3625 x3624 -x3623 -x3622 -x3621 x3620 x3619 x3618 x3617 -x3616 x3615 -x3614 -x3613 
1217.05/1221.08	v x3612 x3611 -x3610 -x3609 -x3608 -x3607 -x3606 x3605 -x3604 -x3603 -x3602 x3601 -x3600 -x3599 x3598 -x3597 -x3596 -x3595 -x3594 
1217.05/1221.08	v x3593 -x3592 -x3591 x3590 x3589 x3588 x3587 x3586 x3585 -x3584 x3583 -x3582 -x3581 x3580 x3579 x3578 x3577 -x3576 -x3575 -x3574 
1217.05/1221.08	v -x3573 -x3572 -x3571 x3570 x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 x3560 x3559 x3558 -x3557 -x3556 
1217.05/1221.08	v -x3555 x3554 x3553 x3552 -x3551 -x3550 -x3549 x3548 -x3547 -x3546 -x3545 -x3544 -x3543 x3542 -x3541 -x3540 x3539 -x3538 -x3537 
1217.05/1221.08	v x3536 x3535 x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 x3527 x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 
1217.05/1221.08	v -x3518 x3517 x3516 x3515 -x3514 -x3513 -x3512 x3511 x3510 x3509 -x3508 -x3507 -x3506 x3505 -x3504 -x3503 -x3502 -x3501 -x3500 
1217.05/1221.08	v x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 x3492 -x3491 x3490 -x3489 -x3488 x3487 x3486 -x3485 -x3484 x3483 x3482 x3481 
1217.05/1221.08	v x3480 x3479 -x3478 -x3477 x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 x3466 -x3465 -x3464 -x3463 -x3462 
1217.05/1221.08	v -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 x3453 x3452 x3451 x3450 x3449 x3448 -x3447 -x3446 -x3445 -x3444 
1217.05/1221.08	v -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 x3435 x3434 x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 x3426 x3425 
1217.05/1221.08	v -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 x3416 x3415 x3414 -x3413 -x3412 -x3411 x3410 x3409 x3408 -x3407 -x3406 
1217.05/1221.08	v -x3405 x3404 -x3403 -x3402 -x3401 -x3400 -x3399 x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 x3391 -x3390 x3389 -x3388 
1217.05/1221.08	v -x3387 x3386 x3385 -x3384 -x3383 x3382 x3381 x3380 x3379 x3378 -x3377 -x3376 x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 
1217.05/1221.08	v -x3368 -x3367 -x3366 x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 x3353 -x3352 x3351 
1217.05/1221.08	v x3350 -x3349 -x3348 x3347 x3346 x3345 -x3344 -x3343 x3342 x3341 -x3340 -x3339 -x3338 x3337 x3336 x3335 x3334 -x3333 x3332 -x3331 
1217.05/1221.08	v -x3330 x3329 x3328 -x3327 -x3326 -x3325 -x3324 -x3323 x3322 -x3321 -x3320 -x3319 x3318 -x3317 -x3316 -x3315 -x3314 -x3313 
1217.05/1221.08	v -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 x3295 
1217.05/1221.08	v x3294 x3293 x3292 x3291 x3290 x3289 -x3288 -x3287 -x3286 -x3285 x3284 x3283 x3282 x3281 -x3280 -x3279 -x3278 x3277 x3276 x3275 
1217.05/1221.08	v -x3274 -x3273 -x3272 x3271 -x3270 -x3269 -x3268 -x3267 -x3266 x3265 -x3264 -x3263 x3262 -x3261 x3260 x3259 x3258 -x3257 -x3256 
1217.05/1221.08	v -x3255 x3254 x3253 x3252 -x3251 -x3250 -x3249 x3248 -x3247 -x3246 -x3245 -x3244 -x3243 x3242 -x3241 -x3240 -x3239 -x3238 
1217.05/1221.08	v -x3237 -x3236 x3235 -x3234 x3233 -x3232 -x3231 x3230 x3229 -x3228 -x3227 x3226 x3225 x3224 x3223 x3222 -x3221 -x3220 x3219 -x3218 
1217.05/1221.08	v -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 x3203 x3202 -x3201 -x3200 
1217.05/1221.08	v -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 x3185 x3184 x3183 x3182 
1217.05/1221.08	v x3181 x3180 x3179 x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 
1217.05/1221.08	v -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 
1217.05/1221.08	v -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 
1217.05/1221.08	v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 
1217.05/1221.08	v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 x3095 -x3094 -x3093 -x3092 
1217.05/1221.08	v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 x3085 x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 
1217.05/1221.08	v -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 
1217.05/1221.08	v -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 
1217.05/1221.08	v -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 
1217.05/1221.08	v -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 x3006 x3005 x3004 x3003 x3002 x3001 
1217.05/1221.08	v x3000 x2999 x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 
1217.05/1221.08	v -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 x2967 -x2966 -x2965 
1217.05/1221.08	v -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 
1217.05/1221.08	v -x2946 -x2945 x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 
1217.05/1221.08	v -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 
1217.05/1221.08	v -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 
1217.05/1221.08	v -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 x2877 -x2876 -x2875 
1217.05/1221.08	v -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 
1217.05/1221.08	v -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 
1217.05/1221.08	v -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 
1217.05/1221.08	v -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 
1217.05/1221.08	v -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 
1217.05/1221.08	v -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 
1217.05/1221.08	v -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 
1217.05/1221.08	v -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 x2735 -x2734 -x2733 -x2732 
1217.05/1221.08	v -x2731 -x2730 -x2729 -x2728 -x2727 x2726 -x2725 x2724 x2723 x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 
1217.05/1221.08	v -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 
1217.05/1221.08	v -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 
1217.05/1221.08	v -x2677 -x2676 -x2675 -x2674 x2673 x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 
1217.05/1221.08	v -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 x2652 -x2651 -x2650 -x2649 -x2648 x2647 -x2646 -x2645 -x2644 -x2643 x2642 -x2641 
1217.05/1221.08	v -x2640 -x2639 -x2638 x2637 -x2636 -x2635 -x2634 -x2633 x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 
1217.05/1221.08	v -x2622 x2621 -x2620 x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 x2610 -x2609 -x2608 -x2607 -x2606 -x2605 
1217.05/1221.08	v x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 
1217.05/1221.08	v x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 
1217.05/1221.08	v -x2568 x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 x2555 -x2554 -x2553 -x2552 -x2551 
1217.05/1221.08	v -x2550 -x2549 x2548 -x2547 -x2546 x2545 x2544 x2543 x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 
1217.05/1221.08	v -x2531 -x2530 -x2529 -x2528 x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 x2515 -x2514 
1217.05/1221.08	v -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 x2503 x2502 x2501 -x2500 -x2499 -x2498 -x2497 -x2496 
1217.05/1221.08	v -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 x2489 x2488 x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 
1217.05/1221.08	v -x2476 x2475 x2474 x2473 x2472 x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 
1217.05/1221.08	v -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 x2450 x2449 x2448 x2447 x2446 x2445 x2444 x2443 x2442 x2441 -x2440 -x2439 
1217.05/1221.08	v x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 x2424 -x2423 -x2422 -x2421 
1217.05/1221.08	v -x2420 -x2419 -x2418 x2417 -x2416 -x2415 -x2414 x2413 -x2412 -x2411 -x2410 x2409 -x2408 -x2407 -x2406 x2405 -x2404 -x2403 
1217.05/1221.08	v -x2402 -x2401 -x2400 -x2399 -x2398 x2397 x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 
1217.05/1221.08	v -x2384 -x2383 x2382 -x2381 -x2380 x2379 x2378 x2377 -x2376 -x2375 x2374 x2373 x2372 -x2371 -x2370 -x2369 -x2368 x2367 -x2366 
1217.05/1221.08	v -x2365 x2364 x2363 x2362 -x2361 -x2360 x2359 x2358 -x2357 -x2356 -x2355 x2354 x2353 x2352 x2351 -x2350 x2349 -x2348 -x2347 x2346 
1217.05/1221.08	v x2345 -x2344 -x2343 -x2342 -x2341 -x2340 x2339 -x2338 -x2337 -x2336 x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 
1217.05/1221.08	v -x2327 -x2326 -x2325 -x2324 -x2323 x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 
1217.05/1221.08	v -x2309 x2308 -x2307 x2306 x2305 x2304 x2303 x2302 x2301 x2300 -x2299 -x2298 -x2297 -x2296 -x2295 x2294 -x2293 x2292 -x2291 
1217.05/1221.08	v -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 x2280 -x2279 x2278 x2277 x2276 x2275 -x2274 -x2273 -x2272 
1217.05/1221.08	v -x2271 -x2270 -x2269 x2268 x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 x2258 x2257 x2256 -x2255 -x2254 -x2253 
1217.05/1221.08	v x2252 x2251 x2250 -x2249 -x2248 -x2247 x2246 -x2245 -x2244 -x2243 -x2242 -x2241 x2240 -x2239 -x2238 x2237 -x2236 -x2235 
1217.05/1221.08	v x2234 x2233 x2232 x2231 x2230 -x2229 x2228 -x2227 -x2226 x2225 x2224 -x2223 -x2222 -x2221 -x2220 -x2219 x2218 -x2217 -x2216 
1217.05/1221.08	v -x2215 x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 
1217.05/1221.08	v -x2197 -x2196 x2195 x2194 -x2193 -x2192 -x2191 -x2190 -x2189 x2188 -x2187 -x2186 x2185 x2184 -x2183 -x2182 -x2181 -x2180 -x2179 
1217.05/1221.08	v x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 x2171 -x2170 x2169 -x2168 -x2167 x2166 x2165 -x2164 -x2163 x2162 x2161 x2160 
1217.05/1221.08	v x2159 x2158 -x2157 -x2156 x2155 x2154 x2153 x2152 x2151 x2150 x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 
1217.05/1221.08	v -x2140 -x2139 -x2138 -x2137 x2136 x2135 x2134 x2133 x2132 x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 
1217.05/1221.08	v -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 
1217.05/1221.08	v -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 
1217.05/1221.08	v -x2085 -x2084 -x2083 -x2082 -x2081 x2080 x2079 x2078 x2077 x2076 x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 
1217.05/1221.08	v -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 
1217.05/1221.08	v -x2049 -x2048 -x2047 -x2046 x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 
1217.05/1221.08	v -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 
1217.05/1221.08	v -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 
1217.05/1221.08	v -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 
1217.05/1221.08	v -x1977 -x1976 -x1975 x1974 -x1973 -x1972 -x1971 -x1970 -x1969 x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 
1217.05/1221.08	v -x1959 -x1958 x1957 -x1956 -x1955 -x1954 x1953 -x1952 -x1951 -x1950 x1949 -x1948 -x1947 -x1946 x1945 -x1944 -x1943 -x1942 
1217.05/1221.08	v -x1941 -x1940 -x1939 x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 x1928 -x1927 -x1926 -x1925 -x1924 
1217.05/1221.08	v -x1923 -x1922 -x1921 -x1920 -x1919 x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 x1908 -x1907 -x1906 -x1905 
1217.05/1221.08	v -x1904 x1903 x1902 x1901 -x1900 -x1899 -x1898 -x1897 -x1896 x1895 -x1894 -x1893 -x1892 -x1891 -x1890 x1889 x1888 -x1887 
1217.05/1221.08	v -x1886 -x1885 -x1884 -x1883 x1882 -x1881 -x1880 -x1879 x1878 -x1877 -x1876 -x1875 -x1874 -x1873 x1872 -x1871 -x1870 -x1869 x1868 
1217.05/1221.08	v -x1867 -x1866 x1865 x1864 x1863 -x1862 -x1861 x1860 -x1859 -x1858 -x1857 -x1856 -x1855 x1854 -x1853 x1852 x1851 x1850 x1849 
1217.05/1221.08	v x1848 x1847 x1846 x1845 x1844 x1843 -x1842 -x1841 x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 x1833 -x1832 -x1831 -x1830 
1217.05/1221.08	v -x1829 x1828 x1827 x1826 x1825 x1824 x1823 x1822 x1821 x1820 -x1819 -x1818 x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 
1217.05/1221.08	v x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 x1803 -x1802 x1801 -x1800 -x1799 -x1798 -x1797 -x1796 x1795 -x1794 -x1793 -x1792 
1217.05/1221.08	v -x1791 -x1790 -x1789 -x1788 x1787 -x1786 -x1785 x1784 x1783 x1782 -x1781 x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 
1217.05/1221.08	v x1773 x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 x1763 x1762 x1761 -x1760 -x1759 -x1758 x1757 x1756 x1755 
1217.05/1221.08	v -x1754 -x1753 -x1752 x1751 -x1750 -x1749 -x1748 -x1747 -x1746 x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 x1738 -x1737 
1217.05/1221.08	v x1736 -x1735 -x1734 x1733 x1732 -x1731 -x1730 x1729 x1728 x1727 x1726 x1725 -x1724 -x1723 x1722 -x1721 -x1720 -x1719 -x1718 -x1717 
1217.05/1221.08	v -x1716 -x1715 -x1714 -x1713 x1712 -x1711 x1710 x1709 x1708 x1707 x1706 -x1705 x1704 -x1703 -x1702 x1701 x1700 -x1699 -x1698 
1217.05/1221.08	v -x1697 -x1696 -x1695 x1694 -x1693 -x1692 -x1691 x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 
1217.05/1221.08	v -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 x1671 x1670 -x1669 -x1668 -x1667 -x1666 -x1665 x1664 -x1663 -x1662 
1217.05/1221.08	v x1661 x1660 -x1659 -x1658 -x1657 -x1656 -x1655 x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 x1647 -x1646 x1645 -x1644 -x1643 
1217.05/1221.08	v x1642 x1641 -x1640 -x1639 x1638 x1637 x1636 x1635 x1634 -x1633 -x1632 x1631 x1630 x1629 x1628 x1627 x1626 x1625 -x1624 -x1623 
1217.05/1221.08	v -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 x1609 x1608 x1607 -x1606 x1605 
1217.05/1221.08	v x1604 x1603 x1602 -x1601 -x1600 x1599 x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 
1217.05/1221.08	v -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 
1217.05/1221.08	v -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 
1217.05/1221.08	v -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 x1538 -x1537 -x1536 -x1535 -x1534 -x1533 
1217.05/1221.08	v x1532 x1531 x1530 -x1529 x1528 x1527 x1526 -x1525 -x1524 -x1523 -x1522 -x1521 x1520 x1519 -x1518 -x1517 -x1516 -x1515 -x1514 
1217.05/1221.08	v -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 x1507 x1506 x1505 -x1504 -x1503 x1502 x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 
1217.05/1221.08	v -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 x1483 x1482 x1481 -x1480 -x1479 -x1478 -x1477 
1217.05/1221.08	v -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 
1217.05/1221.08	v -x1458 x1457 x1456 x1455 -x1454 -x1453 x1452 x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 
1217.05/1221.08	v -x1439 -x1438 -x1437 -x1436 -x1435 x1434 x1433 x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 
1217.05/1221.08	v -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 
1217.05/1221.08	v x1403 x1402 x1401 -x1400 -x1399 x1398 x1397 -x1396 -x1395 -x1394 -x1393 x1392 x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 
1217.05/1221.08	v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 
1217.05/1221.08	v -x1367 -x1366 -x1365 -x1364 x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 x1350 x1349 
1217.05/1221.08	v x1348 -x1347 x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 x1335 -x1334 -x1333 -x1332 -x1331 
1217.05/1221.08	v x1330 -x1329 x1328 -x1327 -x1326 x1325 -x1324 -x1323 -x1322 -x1321 x1320 -x1319 -x1318 x1317 x1316 -x1315 -x1314 -x1313 -x1312 
1217.05/1221.08	v x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 x1296 -x1295 -x1294 
1217.05/1221.08	v -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 x1280 x1279 -x1278 -x1277 -x1276 
1217.05/1221.08	v -x1275 -x1274 -x1273 -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 x1265 x1264 x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 
1217.05/1221.08	v x1256 x1255 x1254 x1253 -x1252 -x1251 -x1250 x1249 -x1248 x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 
1217.05/1221.08	v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 
1217.05/1221.08	v -x1220 -x1219 x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 x1207 -x1206 -x1205 -x1204 -x1203 -x1202 
1217.05/1221.08	v -x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 
1217.05/1221.08	v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 x1174 x1173 x1172 x1171 x1170 x1169 x1168 x1167 x1166 -x1165 
1217.05/1221.08	v -x1164 x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 x1149 -x1148 -x1147 
1217.05/1221.08	v -x1146 x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 x1130 -x1129 
1217.05/1221.08	v x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 x1119 -x1118 -x1117 x1116 x1115 x1114 -x1113 -x1112 x1111 x1110 
1217.05/1221.08	v -x1109 -x1108 -x1107 x1106 x1105 x1104 x1103 -x1102 x1101 -x1100 -x1099 x1098 x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 
1217.05/1221.08	v -x1090 -x1089 -x1088 x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 
1217.05/1221.08	v -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 x1064 -x1063 x1062 x1061 x1060 x1059 x1058 x1057 -x1056 -x1055 -x1054 
1217.05/1221.08	v -x1053 x1052 -x1051 x1050 x1049 x1048 x1047 -x1046 -x1045 -x1044 x1043 x1042 x1041 -x1040 -x1039 -x1038 x1037 -x1036 -x1035 
1217.05/1221.08	v -x1034 -x1033 -x1032 x1031 -x1030 -x1029 x1028 -x1027 x1026 -x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019 -x1018 -x1017 x1016 
1217.05/1221.08	v -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 x999 -x998 
1217.05/1221.08	v x997 -x996 -x995 x994 x993 -x992 -x991 -x990 -x989 -x988 x987 x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 x977 x976 
1217.05/1221.08	v x975 x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 x960 x959 -x958 -x957 -x956 -x955 -x954 
1217.05/1221.08	v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 
1217.05/1221.08	v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 x914 -x913 -x912 
1217.05/1221.08	v -x911 x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 x895 x894 x893 -x892 x891 -x890 
1217.05/1221.08	v -x889 -x888 -x887 -x886 -x885 x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 
1217.05/1221.08	v x868 -x867 -x866 -x865 x864 x863 x862 -x861 -x860 x859 x858 -x857 x856 -x855 -x854 x853 x852 -x851 -x850 -x849 -x848 -x847 
1217.05/1221.08	v x846 -x845 -x844 -x843 x842 -x841 -x840 x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 x831 x830 -x829 -x828 -x827 -x826 -x825 
1217.05/1221.08	v x824 -x823 -x822 x821 x820 -x819 -x818 -x817 -x816 -x815 x814 -x813 -x812 -x811 -x810 -x809 -x808 x807 -x806 x805 -x804 -x803 
1217.05/1221.08	v x802 x801 -x800 -x799 x798 x797 x796 x795 x794 -x793 -x792 -x791 x790 x789 x788 -x787 -x786 -x785 x784 -x783 -x782 -x781 -x780 
1217.05/1221.08	v -x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 x771 -x770 x769 -x768 -x767 x766 x765 -x764 -x763 x762 x761 x760 x759 x758 
1217.05/1221.08	v -x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 -x744 x743 -x742 -x741 -x740 -x739 -x738 -x737 
1217.05/1221.08	v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 x726 -x725 x724 -x723 -x722 x721 x720 -x719 -x718 -x717 -x716 -x715 
1217.05/1221.08	v x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 x702 x701 -x700 x699 x698 x697 x696 x695 -x694 -x693 
1217.05/1221.08	v -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 x680 -x679 x678 x677 -x676 -x675 -x674 -x673 -x672 -x671 
1217.05/1221.08	v -x670 -x669 x668 x667 x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 
1217.05/1221.08	v -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 
1217.05/1221.08	v -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 x609 -x608 
1217.05/1221.08	v x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 x598 x597 -x596 x595 x594 x593 -x592 -x591 -x590 -x589 x588 -x587 -x586 -x585 
1217.05/1221.08	v -x584 x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 
1217.05/1221.08	v -x563 -x562 -x561 x560 x559 x558 x557 x556 x555 x554 -x553 -x552 -x551 -x550 x549 x548 -x547 -x546 -x545 x544 x543 x542 -x541 
1217.05/1221.08	v x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 
1217.05/1221.08	v -x519 x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 
1217.05/1221.08	v -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 
1217.05/1221.08	v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 x462 -x461 x460 x459 x458 -x457 -x456 
1217.05/1221.08	v -x455 -x454 -x453 x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 -x436 -x435 -x434 
1217.05/1221.08	v -x433 -x432 -x431 -x430 -x429 -x428 x427 x426 x425 x424 -x423 x422 -x421 -x420 x419 x418 -x417 -x416 -x415 -x414 -x413 x412 
1217.05/1221.08	v -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 
1217.05/1221.08	v x390 x389 x388 x387 x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 x377 x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 
1217.05/1221.08	v -x368 x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 x347 
1217.05/1221.08	v -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 
1217.05/1221.08	v -x325 x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 
1217.05/1221.08	v x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 x287 -x286 -x285 x284 x283 -x282 
1217.05/1221.08	v -x281 x280 x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 
1217.05/1221.08	v -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 x245 -x244 -x243 -x242 -x241 -x240 -x239 
1217.05/1221.08	v -x238 x237 -x236 -x235 -x234 x233 x232 x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 x219 -x218 -x217 
1217.05/1221.08	v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 x204 -x203 x202 -x201 x200 x199 x198 x197 -x196 -x195 
1217.05/1221.08	v -x194 x193 x192 x191 x190 x189 x188 x187 x186 -x185 -x184 x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 x175 -x174 -x173 
1217.05/1221.08	v -x172 x171 -x170 -x169 -x168 x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 
1217.05/1221.08	v x150 -x149 -x148 -x147 -x146 -x145 x144 x143 x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 
1217.05/1221.08	v -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 x118 -x117 x116 -x115 -x114 -x113 -x112 x111 -x110 x109 -x108 -x107 
1217.25/1221.24	v x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 x96 x95 -x94 -x93 -x92 x91 x90 x89 -x88 x87 x86 -x85 x84 x83 -x82 
1217.25/1221.24	v -x81 -x80 x79 x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 x70 -x69 x68 -x67 -x66 -x65 -x64 x63 x62 x61 -x60 x59 -x58 -x57 -x56 -x55 
1217.25/1221.24	v -x54 x53 -x52 x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 x38 x37 x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 
1217.25/1221.24	v -x27 x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 x18 x17 x16 -x15 -x14 x13 -x12 x11 -x10 -x9 x8 x7 x6 -x5 x4 -x3 x2 -x1

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (47904 MiB free)
  memory of node 1: 64473 MiB (44170 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455947-1721718367/watcher-4455947-1721718367 -o /tmp/evaluation-result-4455947-1721718367/solver-4455947-1721718367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721718367-87287 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4455947-1721718367.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=87350, runsolver pid=87336
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 1.08 1.22 1.60 7/256 87357
/proc/meminfo: memFree=94113224/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=82680 memory=71816 CPUtime=0.09 cores=1,3
/proc/87350/stat : 87350 (fscip) R 87336 87350 87275 0 -1 4194304 15836 0 0 0 8 1 0 0 20 0 1 0 8364583 84664320 17954 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 20733 17954 2558 3032 0 17133 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82680 KiB
Current children cumulated memory: 71816 KiB

[startup+0.206538 s]*
/proc/loadavg: 1.08 1.22 1.60 6/256 87365
/proc/meminfo: memFree=93983272/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=153052 memory=139256 CPUtime=0.2 cores=1,3
/proc/87350/stat : 87350 (fscip) R 87336 87350 87275 0 -1 4194304 32680 0 0 0 16 4 0 0 20 0 1 0 8364583 156725248 34814 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 38263 34814 2590 3032 0 34663 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 153052 KiB
Current children cumulated memory: 139256 KiB

[startup+0.305426 s]*
/proc/loadavg: 1.08 1.22 1.60 4/253 87365
/proc/meminfo: memFree=93861676/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=199004 memory=185452 CPUtime=0.29 cores=1,3
/proc/87350/stat : 87350 (fscip) R 87336 87350 87275 0 -1 4194304 44255 0 0 0 24 5 0 0 20 0 1 0 8364583 203780096 46363 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 49751 46363 2590 3032 0 46151 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 199004 KiB
Current children cumulated memory: 185452 KiB

[startup+0.700157 s]
/proc/loadavg: 1.08 1.22 1.60 6/255 87383
/proc/meminfo: memFree=93709736/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=264276 memory=246744 CPUtime=0.69 cores=1,3
/proc/87350/stat : 87350 (fscip) R 87336 87350 87275 0 -1 4194304 60635 0 0 0 61 8 0 0 20 0 1 0 8364583 270618624 61686 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 66069 61686 2622 3032 0 62469 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 264276 KiB
Current children cumulated memory: 246744 KiB

[startup+1.50024 s]
/proc/loadavg: 1.39 1.29 1.62 7/260 87405
/proc/meminfo: memFree=93476592/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=539612 memory=359848 CPUtime=1.49 cores=1,3
/proc/87350/stat : 87350 (fscip) R 87336 87350 87275 0 -1 4194304 95232 0 0 0 135 14 0 0 20 0 2 0 8364583 552562688 89962 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 134903 89962 2686 3032 0 114951 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 539612 KiB
Current children cumulated memory: 359848 KiB

[startup+3.11335 s]
/proc/loadavg: 1.39 1.29 1.62 5/256 87472
/proc/meminfo: memFree=92919788/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=844116 memory=660612 CPUtime=3.08 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 174784 0 0 0 284 24 0 0 20 0 3 0 8364583 864374784 165153 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 211029 165153 2702 3032 0 194972 0
[pid=87350/tid=87406] ppid=87336 vsize=844116 memory=198340509722 CPUtime=1.5 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 71009 0 0 0 141 9 0 0 20 0 3 0 8364723 864374784 165153 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=844116 memory=0 CPUtime=0 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 8364762 864374784 165153 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 844116 KiB
Current children cumulated memory: 660612 KiB

[startup+6.30026 s]
/proc/loadavg: 1.60 1.33 1.63 6/264 87553
/proc/meminfo: memFree=91948380/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=910180 memory=761668 CPUtime=6.26 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 220696 0 0 0 596 30 0 0 20 0 3 0 8364583 932024320 190417 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 227545 190417 2734 3032 0 221683 0
[pid=87350/tid=87406] ppid=87336 vsize=910180 memory=0 CPUtime=4.68 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 116918 0 0 0 454 14 0 0 20 0 3 0 8364723 932024320 190417 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=910180 memory=4138693298851973230 CPUtime=0 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 8364762 932024320 190417 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 910180 KiB
Current children cumulated memory: 761668 KiB

[startup+12.7003 s]
/proc/loadavg: 1.95 1.41 1.66 5/259 87809
/proc/meminfo: memFree=91846276/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=910180 memory=761668 CPUtime=12.64 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 235373 0 0 0 1233 31 0 0 20 0 3 0 8364583 932024320 190417 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 227545 190417 2734 3032 0 221683 0
[pid=87350/tid=87406] ppid=87336 vsize=910180 memory=11624 CPUtime=11.06 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 131583 0 0 0 1090 16 0 0 20 0 3 0 8364723 932024320 190417 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=910180 memory=280684166010864 CPUtime=0 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 8364762 932024320 190417 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 910180 KiB
Current children cumulated memory: 761668 KiB

[startup+25.5003 s]
/proc/loadavg: 2.34 1.51 1.69 6/264 87892
/proc/meminfo: memFree=91604852/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=910180 memory=761692 CPUtime=25.38 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 263641 0 0 0 2505 33 0 0 20 0 3 0 8364583 932024320 190423 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 227545 190423 2734 3032 0 221683 0
[pid=87350/tid=87406] ppid=87336 vsize=910180 memory=34784 CPUtime=23.8 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 159836 0 0 0 2362 18 0 0 20 0 3 0 8364723 932024320 190423 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=910180 memory=761692 CPUtime=0 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 8364762 932024320 190423 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 910180 KiB
Current children cumulated memory: 761692 KiB

[startup+51.1062 s]
/proc/loadavg: 3.12 1.78 1.77 6/264 87897
/proc/meminfo: memFree=91243580/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1304312 memory=1095472 CPUtime=50.88 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 410070 0 0 0 5035 53 0 0 20 0 3 0 8364583 1335615488 273868 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 326078 273868 2814 3032 0 308514 0
[pid=87350/tid=87406] ppid=87336 vsize=1304312 memory=808084 CPUtime=49.3 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 306249 0 0 0 4893 37 0 0 20 0 3 0 8364723 1335615488 273868 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1304312 memory=0 CPUtime=0 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 8364762 1335615488 273868 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1304312 KiB
Current children cumulated memory: 1095472 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 2.14 1.90 6/264 87905
/proc/meminfo: memFree=91087660/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1305736 memory=1143384 CPUtime=101.88 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 554402 0 0 0 10126 62 0 0 20 0 3 0 8364583 1337073664 285846 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 326434 285846 2862 3032 0 320072 0
[pid=87350/tid=87406] ppid=87336 vsize=1305736 memory=1143384 CPUtime=100.28 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 439319 0 0 0 9982 46 0 0 20 0 3 0 8364723 1337073664 285846 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1305736 memory=1143384 CPUtime=0 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 8364762 1337073664 285846 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 1305736 KiB
Current children cumulated memory: 1143384 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.50 2.04 6/264 87915
/proc/meminfo: memFree=91022688/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1305736 memory=1143384 CPUtime=161.62 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 592720 0 0 0 16091 71 0 0 20 0 3 0 8364583 1337073664 285846 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 326434 285846 2862 3032 0 320072 0
[pid=87350/tid=87406] ppid=87336 vsize=1305736 memory=1143384 CPUtime=160.02 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 477626 0 0 0 15947 55 0 0 20 0 3 0 8364723 1337073664 285846 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1305736 memory=1143384 CPUtime=0 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 3 0 8364762 1337073664 285846 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 1305736 KiB
Current children cumulated memory: 1143384 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.81 2.17 6/264 87926
/proc/meminfo: memFree=90221036/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1371868 memory=1179240 CPUtime=221.4 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 834415 0 0 0 22053 87 0 0 20 0 3 0 8364583 1404792832 294810 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 342967 294810 2910 3032 0 326865 0
[pid=87350/tid=87406] ppid=87336 vsize=1371868 memory=1163884 CPUtime=219.78 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 708059 0 0 0 21908 70 0 0 20 0 3 0 8364723 1404792832 294810 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1371868 memory=11624 CPUtime=0 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 82 0 0 0 0 0 0 0 20 0 3 0 8364762 1404792832 294810 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 1371868 KiB
Current children cumulated memory: 1179240 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.04 2.29 6/267 87941
/proc/meminfo: memFree=90178456/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1371868 memory=1179308 CPUtime=281.13 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 864229 0 0 0 28019 94 0 0 20 0 3 0 8364583 1404792832 294827 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0

################
# More data... #
################

[pid=87350] ppid=87336 vsize=1668928 memory=1510932 CPUtime=998.95 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 1967295 0 0 0 99716 179 0 0 20 0 3 0 8364583 1708982272 377733 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 417232 377733 2990 3032 0 408400 0
[pid=87350/tid=87406] ppid=87336 vsize=1668928 memory=1509372 CPUtime=997.26 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 1810344 0 0 0 99567 159 0 0 20 0 3 0 8364723 1708982272 377733 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1668928 memory=1509636 CPUtime=0.01 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 150 0 0 0 0 1 0 0 20 0 3 0 8364762 1708982272 377733 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 998.95 s
Current children cumulated vsize: 1668928 KiB
Current children cumulated memory: 1510932 KiB

[startup+1062.3 s]
/proc/loadavg: 4.09 4.08 3.40 6/262 88181
/proc/meminfo: memFree=87801220/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1603392 memory=1468008 CPUtime=1058.77 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 1999440 0 0 0 105696 181 0 0 20 0 3 0 8364583 1641873408 367002 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 400848 367002 2990 3032 0 395702 0
[pid=87350/tid=87406] ppid=87336 vsize=1603392 memory=1467972 CPUtime=1057.09 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 1842459 0 0 0 105548 161 0 0 20 0 3 0 8364723 1641873408 367002 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1603392 memory=1468008 CPUtime=0.01 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 157 0 0 0 0 1 0 0 20 0 3 0 8364762 1641873408 367002 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 1058.77 s
Current children cumulated vsize: 1603392 KiB
Current children cumulated memory: 1468008 KiB

[startup+1122.3 s]
/proc/loadavg: 4.15 4.09 3.46 6/262 88191
/proc/meminfo: memFree=87799036/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1603392 memory=1469692 CPUtime=1118.61 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 2003726 0 0 0 111679 182 0 0 20 0 3 0 8364583 1641873408 367423 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 400848 367423 2990 3032 0 395702 0
[pid=87350/tid=87406] ppid=87336 vsize=1603392 memory=1467972 CPUtime=1116.93 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 1846701 0 0 0 111531 162 0 0 20 0 3 0 8364723 1641873408 367423 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1603392 memory=11624 CPUtime=0.01 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 159 0 0 0 0 1 0 0 20 0 3 0 8364762 1641873408 367423 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 1118.61 s
Current children cumulated vsize: 1603392 KiB
Current children cumulated memory: 1469692 KiB

[startup+1182.3 s]
/proc/loadavg: 4.12 4.09 3.50 6/262 88585
/proc/meminfo: memFree=87665788/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1603392 memory=1460792 CPUtime=1178.44 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 2021539 0 0 0 117661 183 0 0 20 0 3 0 8364583 1641873408 365198 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 400848 365198 2990 3032 0 395702 0
[pid=87350/tid=87406] ppid=87336 vsize=1603392 memory=1467972 CPUtime=1176.76 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 1864486 0 0 0 117513 163 0 0 20 0 3 0 8364723 1641873408 365198 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1603392 memory=34784 CPUtime=0.01 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 165 0 0 0 0 1 0 0 20 0 3 0 8364762 1641873408 365198 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 1178.44 s
Current children cumulated vsize: 1603392 KiB
Current children cumulated memory: 1460792 KiB

[startup+1221.26 s]
# the end of solver process 87350 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1215.44 s, system=1.87549 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1203.2 s]
/proc/loadavg: 4.08 4.08 3.51 6/262 88589
/proc/meminfo: memFree=87659664/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1603392 memory=1461104 CPUtime=1199.29 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 2033881 0 0 0 119745 184 0 0 20 0 3 0 8364583 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 400848 365276 2990 3032 0 395702 0
[pid=87350/tid=87406] ppid=87336 vsize=1603392 memory=12368 CPUtime=1197.6 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 1876828 0 0 0 119596 164 0 0 20 0 3 0 8364723 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1603392 memory=1471524 CPUtime=0.01 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 165 0 0 0 0 1 0 0 20 0 3 0 8364762 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 1199.29 s
Current children cumulated vsize: 1603392 KiB
Current children cumulated memory: 1461104 KiB

[startup+1209.6 s]
/proc/loadavg: 4.08 4.08 3.51 6/262 88589
/proc/meminfo: memFree=87657944/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1603392 memory=1461104 CPUtime=1205.68 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 2034332 0 0 0 120384 184 0 0 20 0 3 0 8364583 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 400848 365276 2990 3032 0 395702 0
[pid=87350/tid=87406] ppid=87336 vsize=1603392 memory=1461104 CPUtime=1203.99 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 1877277 0 0 0 120235 164 0 0 20 0 3 0 8364723 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1603392 memory=1461104 CPUtime=0.01 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 167 0 0 0 0 1 0 0 20 0 3 0 8364762 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 1205.68 s
Current children cumulated vsize: 1603392 KiB
Current children cumulated memory: 1461104 KiB

[startup+1216 s]*
/proc/loadavg: 4.07 4.08 3.51 5/262 88591
/proc/meminfo: memFree=87655416/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1603392 memory=1461104 CPUtime=1212.06 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 2034487 0 0 0 121022 184 0 0 20 0 3 0 8364583 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 400848 365276 2990 3032 0 395702 0
[pid=87350/tid=87406] ppid=87336 vsize=1603392 memory=-7666365184718495356 CPUtime=1210.38 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 1877432 0 0 0 120874 164 0 0 20 0 3 0 8364723 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1603392 memory=-4050210904893341585 CPUtime=0.01 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 167 0 0 0 0 1 0 0 20 0 3 0 8364762 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 1212.06 s
Current children cumulated vsize: 1603392 KiB
Current children cumulated memory: 1461104 KiB

[startup+1219.2 s]
/proc/loadavg: 4.06 4.08 3.52 6/262 88591
/proc/meminfo: memFree=87655200/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1603392 memory=1461104 CPUtime=1215.25 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 2034506 0 0 0 121341 184 0 0 20 0 3 0 8364583 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 400848 365276 2990 3032 0 395702 0
[pid=87350/tid=87406] ppid=87336 vsize=1603392 memory=12368 CPUtime=1213.56 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 1877451 0 0 0 121192 164 0 0 20 0 3 0 8364723 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1603392 memory=1461104 CPUtime=0.01 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 167 0 0 0 0 1 0 0 20 0 3 0 8364762 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 1215.25 s
Current children cumulated vsize: 1603392 KiB
Current children cumulated memory: 1461104 KiB

[startup+1220 s]*
/proc/loadavg: 4.06 4.08 3.52 6/262 88593
/proc/meminfo: memFree=87654928/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1603392 memory=1461104 CPUtime=1216.05 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 2034508 0 0 0 121421 184 0 0 20 0 3 0 8364583 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 400848 365276 2990 3032 0 395702 0
[pid=87350/tid=87406] ppid=87336 vsize=1603392 memory=-7666365184718495356 CPUtime=1214.37 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 1877451 0 0 0 121273 164 0 0 20 0 3 0 8364723 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1603392 memory=-4050210904893341585 CPUtime=0.01 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 167 0 0 0 0 1 0 0 20 0 3 0 8364762 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 1216.05 s
Current children cumulated vsize: 1603392 KiB
Current children cumulated memory: 1461104 KiB

[startup+1220.8 s]
/proc/loadavg: 4.06 4.08 3.52 6/262 88593
/proc/meminfo: memFree=87654928/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1603392 memory=1461104 CPUtime=1216.85 cores=1,3
/proc/87350/stat : 87350 (fscip) S 87336 87350 87275 0 -1 1077936128 2034532 0 0 0 121501 184 0 0 20 0 3 0 8364583 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 400848 365276 2990 3032 0 395702 0
[pid=87350/tid=87406] ppid=87336 vsize=1603392 memory=11624 CPUtime=1215.16 cores=1,3
/proc/87350/task/87406/stat : 87406 (fscip) R 87336 87350 87275 0 -1 4194368 1877475 0 0 0 121352 164 0 0 20 0 3 0 8364723 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
[pid=87350/tid=87407] ppid=87336 vsize=1603392 memory=1461104 CPUtime=0.01 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 167 0 0 0 0 1 0 0 20 0 3 0 8364762 1641873408 365276 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 1216.85 s
Current children cumulated vsize: 1603392 KiB
Current children cumulated memory: 1461104 KiB

[startup+1221.2 s]
/proc/loadavg: 4.06 4.08 3.52 6/262 88593
/proc/meminfo: memFree=87687512/131524600 swapFree=131071996/131071996
[pid=87350] ppid=87336 vsize=1522200 memory=1378676 CPUtime=1217.25 cores=1,3
/proc/87350/stat : 87350 (fscip) R 87336 87350 87275 0 -1 4194304 2056715 0 0 0 121540 185 0 0 20 0 2 0 8364583 1558732800 344669 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
/proc/87350/statm: 380550 344669 2990 3032 0 375404 0
[pid=87350/tid=87407] ppid=87336 vsize=1522200 memory=34784 CPUtime=0.01 cores=1,3
/proc/87350/task/87407/stat : 87407 (fscip) S 87336 87350 87275 0 -1 1077936192 167 0 0 0 0 1 0 0 20 0 2 0 8364762 1558732800 344669 134679101440 4194304 16613245 140737117342080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 29601792 140737117344792 140737117344908 140737117344908 140737117351920 0
Current children cumulated CPU time: 1217.25 s
Current children cumulated vsize: 1522200 KiB
Current children cumulated memory: 1378676 KiB

Child status: 0

Real time (s): 1221.26
CPU time (s): 1217.31
CPU user time (s): 1215.44
CPU system time (s): 1.87549
CPU usage (%): 99.677
Max. virtual memory (cumulated for all children) (KiB): 1668928
Max. memory (cumulated for all children) (KiB): 1514264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1215.44
system time used= 1.87549
maximum resident set size= 1514264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2063587
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= 1900
involuntary context switches= 770


# summary of solver processes directly reported to runsolver:
#   pid: 87350
#   total CPU time (s): 1217.31
#   total CPU user time (s): 1215.44
#   total CPU system time (s): 1.87549

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.25641 second user time and 6.72717 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-23 09:06:07
IDJOB=4455947
IDBENCH=143123
IDSOLVER=3044
FILE ID=nodeC014/4455947-1721718367
RUNJOBID= nodeC014-1721718367-87287
SLURM_JOB_ID= 7770396
Free space on /tmp= 890036 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl--soft-0-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4455947-1721718367/watcher-4455947-1721718367 -o /tmp/evaluation-result-4455947-1721718367/solver-4455947-1721718367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721718367-87287 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4455947-1721718367.wbo -qsol -t 3600 -sth 1

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= db1a8fd1e0f423c1d2eb15479c500cc7
RANDOM SEED=495709350

nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.762
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3717.463
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3774.573
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3643.769
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3762.440
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3734.198
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3615.764
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3783.735
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        94287428 kB
MemAvailable:   129735624 kB
Buffers:          141904 kB
Cached:         36014284 kB
SwapCached:            0 kB
Active:           939104 kB
Inactive:       35497508 kB
Active(anon):       1432 kB
Inactive(anon):   316764 kB
Active(file):     937672 kB
Inactive(file): 35180744 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            116584 kB
Writeback:            16 kB
AnonPages:        279328 kB
Mapped:            99484 kB
Shmem:             37712 kB
KReclaimable:     339208 kB
Slab:             448484 kB
SReclaimable:     339208 kB
SUnreclaim:       109276 kB
KernelStack:        3824 kB
PageTables:         9312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     668248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19104 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      293588 kB
DirectMap2M:    27791360 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 889920 MiB
End job on nodeC014 at 2024-07-23 09:26:28