Trace number 4465105

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-30OPTIMUM 1203.66 1207.74

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4465105-1722389397/watcher-4465105-1722389397 -o /tmp/evaluation-result-4465105-1722389397/solver-4465105-1722389397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722389396-37260 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465105-1722389397.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
Current StackSize limit: 8192 KiB

solver pid=37369, runsolver pid=37366

[startup+0.100729 s]*
/proc/loadavg: 4.15 4.22 4.18 5/245 37370
/proc/meminfo: memFree=121615720/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=45192 memory=33560 CPUtime=0.1 cores=1,3
/proc/37369/stat : 37369 (fscip) R 37366 37369 37248 0 -1 4194304 6288 0 0 0 8 2 0 0 20 0 1 0 5536242 46276608 8390 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 11298 8390 2347 3035 0 7694 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45192 KiB
Current children cumulated memory: 33560 KiB

[startup+0.214224 s]*
/proc/loadavg: 4.15 4.22 4.18 5/245 37370
/proc/meminfo: memFree=121564648/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=66724 memory=55084 CPUtime=0.21 cores=1,3
/proc/37369/stat : 37369 (fscip) R 37366 37369 37248 0 -1 4194304 11707 0 0 0 18 3 0 0 20 0 1 0 5536242 68325376 13771 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 16681 13771 2347 3035 0 13077 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 66724 KiB
Current children cumulated memory: 55084 KiB

[startup+0.313837 s]*
/proc/loadavg: 4.15 4.22 4.18 5/245 37370
/proc/meminfo: memFree=121498808/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=92800 memory=81840 CPUtime=0.31 cores=1,3
/proc/37369/stat : 37369 (fscip) R 37366 37369 37248 0 -1 4194304 18385 0 0 0 26 5 0 0 20 0 1 0 5536242 95027200 20460 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 23200 20460 2555 3035 0 19596 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 92800 KiB
Current children cumulated memory: 81840 KiB

[startup+0.700306 s]
/proc/loadavg: 4.15 4.22 4.18 5/246 37371
/proc/meminfo: memFree=121329612/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=189272 memory=175716 CPUtime=0.69 cores=1,3
/proc/37369/stat : 37369 (fscip) R 37366 37369 37248 0 -1 4194304 41788 0 0 0 57 12 0 0 20 0 1 0 5536242 193814528 43929 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 47318 43929 2598 3035 0 43714 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 189272 KiB
Current children cumulated memory: 175716 KiB

[startup+1.50035 s]
/proc/loadavg: 4.15 4.22 4.18 5/247 37374
/proc/meminfo: memFree=121018532/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=264292 memory=246812 CPUtime=1.48 cores=1,3
/proc/37369/stat : 37369 (fscip) R 37366 37369 37248 0 -1 4194304 60646 0 0 0 132 16 0 0 20 0 1 0 5536242 270635008 61703 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 66073 61703 2630 3035 0 62469 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 264292 KiB
Current children cumulated memory: 246812 KiB

[startup+3.11104 s]
/proc/loadavg: 4.15 4.22 4.18 5/250 37377
/proc/meminfo: memFree=120454076/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=778592 memory=615708 CPUtime=3.08 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 160296 0 0 0 270 38 0 0 20 0 3 0 5536242 797278208 153927 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 194648 153927 2710 3035 0 181493 0
[pid=37369/tid=37375] ppid=37366 vsize=778592 memory=459888 CPUtime=0.63 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 55699 0 0 0 50 13 0 0 20 0 3 0 5536467 797278208 153927 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=778592 memory=0 CPUtime=0 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5536525 797278208 153927 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 778592 KiB
Current children cumulated memory: 615708 KiB

[startup+6.30038 s]
/proc/loadavg: 4.13 4.22 4.18 5/251 37378
/proc/meminfo: memFree=119393936/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=910192 memory=760904 CPUtime=6.25 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 235743 0 0 0 576 49 0 0 20 0 3 0 5536242 932036608 190226 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 227548 190226 2758 3035 0 221683 0
[pid=37369/tid=37375] ppid=37366 vsize=910192 memory=17955 CPUtime=3.8 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 131138 0 0 0 356 24 0 0 20 0 3 0 5536467 932036608 190226 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=910192 memory=246812 CPUtime=0 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5536525 932036608 190226 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 910192 KiB
Current children cumulated memory: 760904 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.21 4.18 5/254 37438
/proc/meminfo: memFree=119107376/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=910192 memory=760908 CPUtime=12.63 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 249685 0 0 0 1212 51 0 0 20 0 3 0 5536242 932036608 190227 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 227548 190227 2758 3035 0 221683 0
[pid=37369/tid=37375] ppid=37366 vsize=910192 memory=17955 CPUtime=10.17 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 145068 0 0 0 992 25 0 0 20 0 3 0 5536467 932036608 190227 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=910192 memory=12036 CPUtime=0 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 5536525 932036608 190227 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 910192 KiB
Current children cumulated memory: 760908 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.20 4.18 5/254 37440
/proc/meminfo: memFree=118990792/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=910192 memory=760932 CPUtime=25.37 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 277994 0 0 0 2484 53 0 0 20 0 3 0 5536242 932036608 190233 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 227548 190233 2758 3035 0 221683 0
[pid=37369/tid=37375] ppid=37366 vsize=910192 memory=12036 CPUtime=22.92 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 173362 0 0 0 2264 28 0 0 20 0 3 0 5536467 932036608 190233 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=910192 memory=760932 CPUtime=0 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 5536525 932036608 190233 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 910192 KiB
Current children cumulated memory: 760932 KiB

[startup+51.1132 s]
/proc/loadavg: 4.12 4.20 4.18 5/254 37493
/proc/meminfo: memFree=118525792/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1304324 memory=1099096 CPUtime=50.9 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 435273 0 0 0 5018 72 0 0 20 0 3 0 5536242 1335627776 274774 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 326081 274774 2854 3035 0 309662 0
[pid=37369/tid=37375] ppid=37366 vsize=1304324 memory=1098120 CPUtime=48.45 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 330630 0 0 0 4798 47 0 0 20 0 3 0 5536467 1335627776 274774 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=1304324 memory=770940 CPUtime=0 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5536525 1335627776 274774 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1304324 KiB
Current children cumulated memory: 1099096 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/254 37502
/proc/meminfo: memFree=118333340/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1305752 memory=1142676 CPUtime=101.91 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 624053 0 0 0 10106 85 0 0 20 0 3 0 5536242 1337090048 285669 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 326438 285669 2902 3035 0 320067 0
[pid=37369/tid=37375] ppid=37366 vsize=1305752 memory=12036 CPUtime=99.43 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 508156 0 0 0 9884 59 0 0 20 0 3 0 5536467 1337090048 285669 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=1305752 memory=1142676 CPUtime=0 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5536525 1337090048 285669 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1305752 KiB
Current children cumulated memory: 1142676 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/255 37515
/proc/meminfo: memFree=117562028/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1305752 memory=1150256 CPUtime=161.67 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 759003 0 0 0 16069 98 0 0 20 0 3 0 5536242 1337090048 287564 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 326438 287564 2934 3035 0 320067 0
[pid=37369/tid=37375] ppid=37366 vsize=1305752 memory=1116340 CPUtime=159.18 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 643091 0 0 0 15847 71 0 0 20 0 3 0 5536467 1337090048 287564 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=1305752 memory=14936 CPUtime=0 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 3 0 5536525 1337090048 287564 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 1305752 KiB
Current children cumulated memory: 1150256 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/254 37525
/proc/meminfo: memFree=117498740/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1375292 memory=1171828 CPUtime=221.43 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 902996 0 0 0 22034 109 0 0 20 0 3 0 5536242 1408299008 292957 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 343823 292957 2934 3035 0 325685 0
[pid=37369/tid=37375] ppid=37366 vsize=1375292 memory=1171808 CPUtime=218.92 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 775970 0 0 0 21811 81 0 0 20 0 3 0 5536467 1408299008 292957 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=1375292 memory=2316 CPUtime=0 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 3 0 5536525 1408299008 292957 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 1375292 KiB
Current children cumulated memory: 1171828 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/254 37536
/proc/meminfo: memFree=117437596/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1375292 memory=1174184 CPUtime=281.2 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 1079293 0 0 0 27995 125 0 0 20 0 3 0 5536242 1408299008 293546 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0

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

[pid=37369/tid=37376] ppid=37366 vsize=1669940 memory=1500392 CPUtime=0.01 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 154 0 0 0 0 1 0 0 20 0 3 0 5536525 1710018560 375098 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 999.04 s
Current children cumulated vsize: 1669940 KiB
Current children cumulated memory: 1500392 KiB

[startup+1062.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/250 38322
/proc/meminfo: memFree=92621956/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1669940 memory=1500404 CPUtime=1058.81 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 2220619 0 0 0 105662 219 0 0 20 0 3 0 5536242 1710018560 375101 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 417485 375101 3030 3035 0 411752 0
[pid=37369/tid=37375] ppid=37366 vsize=1669940 memory=649896 CPUtime=1056.14 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 2058969 0 0 0 105430 184 0 0 20 0 3 0 5536467 1710018560 375101 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=1669940 memory=24615088 CPUtime=0.01 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 160 0 0 0 0 1 0 0 20 0 3 0 5536525 1710018560 375101 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 1058.81 s
Current children cumulated vsize: 1669940 KiB
Current children cumulated memory: 1500404 KiB

[startup+1122.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/250 38333
/proc/meminfo: memFree=92531992/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1669940 memory=1500448 CPUtime=1118.57 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 2268411 0 0 0 111634 223 0 0 20 0 3 0 5536242 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 417485 375112 3030 3035 0 411752 0
[pid=37369/tid=37375] ppid=37366 vsize=1669940 memory=649896 CPUtime=1115.91 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 2106736 0 0 0 111403 188 0 0 20 0 3 0 5536467 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=1669940 memory=1500448 CPUtime=0.01 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 163 0 0 0 0 1 0 0 20 0 3 0 5536525 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 1118.57 s
Current children cumulated vsize: 1669940 KiB
Current children cumulated memory: 1500448 KiB

[startup+1182.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/250 38345
/proc/meminfo: memFree=92478868/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1669940 memory=1500448 CPUtime=1178.34 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 2317044 0 0 0 117607 227 0 0 20 0 3 0 5536242 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 417485 375112 3030 3035 0 411752 0
[pid=37369/tid=37375] ppid=37366 vsize=1669940 memory=649896 CPUtime=1175.66 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 2155337 0 0 0 117375 191 0 0 20 0 3 0 5536467 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=1669940 memory=1500448 CPUtime=0.01 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 166 0 0 0 0 1 0 0 20 0 3 0 5536525 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 1178.34 s
Current children cumulated vsize: 1669940 KiB
Current children cumulated memory: 1500448 KiB

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

# cumulated CPU time of all completed processes:  user=1201.14 s, system=2.52613 s

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

[startup+1190.4 s]
/proc/loadavg: 4.07 4.12 4.15 5/250 38345
/proc/meminfo: memFree=92470900/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1669940 memory=1500448 CPUtime=1186.4 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 2319974 0 0 0 118413 227 0 0 20 0 3 0 5536242 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 417485 375112 3030 3035 0 411752 0
[pid=37369/tid=37375] ppid=37366 vsize=1669940 memory=1500448 CPUtime=1183.74 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 2158241 0 0 0 118182 192 0 0 20 0 3 0 5536467 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=1669940 memory=1500448 CPUtime=0.01 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 169 0 0 0 0 1 0 0 20 0 3 0 5536525 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 1186.4 s
Current children cumulated vsize: 1669940 KiB
Current children cumulated memory: 1500448 KiB

[startup+1196.8 s]
/proc/loadavg: 4.14 4.13 4.15 5/250 38347
/proc/meminfo: memFree=92467604/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1669940 memory=1500448 CPUtime=1192.78 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 2321417 0 0 0 119051 227 0 0 20 0 3 0 5536242 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 417485 375112 3030 3035 0 411752 0
[pid=37369/tid=37375] ppid=37366 vsize=1669940 memory=12744 CPUtime=1190.11 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 2159684 0 0 0 118819 192 0 0 20 0 3 0 5536467 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=1669940 memory=1500448 CPUtime=0.01 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 169 0 0 0 0 1 0 0 20 0 3 0 5536525 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 1192.78 s
Current children cumulated vsize: 1669940 KiB
Current children cumulated memory: 1500448 KiB

[startup+1203.2 s]
/proc/loadavg: 4.13 4.13 4.15 5/250 38348
/proc/meminfo: memFree=92458080/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1669940 memory=1500448 CPUtime=1199.15 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 2322382 0 0 0 119688 227 0 0 20 0 3 0 5536242 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 417485 375112 3030 3035 0 411752 0
[pid=37369/tid=37375] ppid=37366 vsize=1669940 memory=1500448 CPUtime=1196.48 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 2160649 0 0 0 119456 192 0 0 20 0 3 0 5536467 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=1669940 memory=1500448 CPUtime=0.01 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 169 0 0 0 0 1 0 0 20 0 3 0 5536525 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 1199.15 s
Current children cumulated vsize: 1669940 KiB
Current children cumulated memory: 1500448 KiB

[startup+1204.8 s]
/proc/loadavg: 4.12 4.13 4.15 5/250 38348
/proc/meminfo: memFree=92457360/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1669940 memory=1500448 CPUtime=1200.74 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 2327518 0 0 0 119847 227 0 0 20 0 3 0 5536242 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 417485 375112 3030 3035 0 411752 0
[pid=37369/tid=37375] ppid=37366 vsize=1669940 memory=1500448 CPUtime=1198.07 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 2165784 0 0 0 119615 192 0 0 20 0 3 0 5536467 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=1669940 memory=100 CPUtime=0.01 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 169 0 0 0 0 1 0 0 20 0 3 0 5536525 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 1200.74 s
Current children cumulated vsize: 1669940 KiB
Current children cumulated memory: 1500448 KiB

[startup+1206.4 s]
/proc/loadavg: 4.12 4.13 4.15 5/252 38352
/proc/meminfo: memFree=92452844/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1669940 memory=1500448 CPUtime=1202.33 cores=1,3
/proc/37369/stat : 37369 (fscip) S 37366 37369 37248 0 -1 1077936128 2327751 0 0 0 120006 227 0 0 20 0 3 0 5536242 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 417485 375112 3030 3035 0 411752 0
[pid=37369/tid=37375] ppid=37366 vsize=1669940 memory=12036 CPUtime=1199.66 cores=1,3
/proc/37369/task/37375/stat : 37375 (fscip) R 37366 37369 37248 0 -1 4194368 2166017 0 0 0 119774 192 0 0 20 0 3 0 5536467 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
[pid=37369/tid=37376] ppid=37366 vsize=1669940 memory=0 CPUtime=0.01 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 169 0 0 0 0 1 0 0 20 0 3 0 5536525 1710018560 375112 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 1202.33 s
Current children cumulated vsize: 1669940 KiB
Current children cumulated memory: 1500448 KiB

[startup+1207.2 s]
/proc/loadavg: 4.12 4.13 4.15 5/252 38352
/proc/meminfo: memFree=92485192/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1571900 memory=1412964 CPUtime=1203.13 cores=1,3
/proc/37369/stat : 37369 (fscip) R 37366 37369 37248 0 -1 4194304 2390345 0 0 0 120081 232 0 0 20 0 2 0 5536242 1609625600 353241 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 392975 353241 3030 3035 0 387369 0
[pid=37369/tid=37376] ppid=37366 vsize=1571900 memory=12744 CPUtime=0.01 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 169 0 0 0 0 1 0 0 20 0 2 0 5536525 1609625600 353241 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 1203.13 s
Current children cumulated vsize: 1571900 KiB
Current children cumulated memory: 1412964 KiB

[startup+1207.6 s]
/proc/loadavg: 4.12 4.13 4.15 5/252 38352
/proc/meminfo: memFree=92485192/131655788 swapFree=131071996/131071996
[pid=37369] ppid=37366 vsize=1425004 memory=1265068 CPUtime=1203.53 cores=1,3
/proc/37369/stat : 37369 (fscip) R 37366 37369 37248 0 -1 4194304 2430726 0 0 0 120113 240 0 0 20 0 2 0 5536242 1459204096 316267 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
/proc/37369/statm: 356251 316267 3030 3035 0 350645 0
[pid=37369/tid=37376] ppid=37366 vsize=1425004 memory=12036 CPUtime=0.01 cores=1,3
/proc/37369/task/37376/stat : 37376 (fscip) S 37366 37369 37248 0 -1 1077936192 169 0 0 0 0 1 0 0 20 0 2 0 5536525 1459204096 316267 134679101440 4194304 16623229 140736673391376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 29474816 140736673395732 140736673395848 140736673395848 140736673402864 0
Current children cumulated CPU time: 1203.53 s
Current children cumulated vsize: 1425004 KiB
Current children cumulated memory: 1265068 KiB

[startup+1207.7 s]*
/proc/loadavg: 4.12 4.13 4.15 5/251 38352
/proc/meminfo: memFree=93690984/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 1207.74
CPU time (s): 1203.66
CPU user time (s): 1201.14
CPU system time (s): 2.52613
CPU usage (%): 99.6626
Max. virtual memory (cumulated for all children) (KiB): 1681412
Max. memory (cumulated for all children) (KiB): 1511672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1201.14
system time used= 2.52613
maximum resident set size= 1511860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2431332
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= 1879
involuntary context switches= 815


# summary of solver processes directly reported to runsolver:
#   pid: 37369
#   total CPU time (s): 1203.66
#   total CPU user time (s): 1201.14
#   total CPU system time (s): 2.52613

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83694 second user time and 12.6215 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-31 03:29:57
IDJOB=4465105
IDBENCH=143123
IDSOLVER=3093
FILE ID=nodeC006/4465105-1722389397
RUNJOBID= nodeC006-1722389396-37260
SLURM_JOB_ID= 8249860
Free space on /tmp= 723696 MiB

SOLVER NAME= FiberSCIP 2024-07-30
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-4465105-1722389397/watcher-4465105-1722389397 -o /tmp/evaluation-result-4465105-1722389397/solver-4465105-1722389397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722389396-37260 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4465105-1722389397.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= db1a8fd1e0f423c1d2eb15479c500cc7
RANDOM SEED=1557227327

nodeC006.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	: 0xb00001f
cpu MHz		: 1610.345
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.46
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	: 0xb00001f
cpu MHz		: 1197.170
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.38
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	: 0xb00001f
cpu MHz		: 1197.197
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.46
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	: 0xb00001f
cpu MHz		: 1197.170
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.38
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	: 0xb00001f
cpu MHz		: 2009.516
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.46
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	: 0xb00001f
cpu MHz		: 1909.447
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.38
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	: 0xb00001f
cpu MHz		: 1197.199
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.46
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	: 0xb00001f
cpu MHz		: 1197.201
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121687928 kB
MemAvailable:   129410588 kB
Buffers:          113044 kB
Cached:          8378028 kB
SwapCached:            0 kB
Active:           286984 kB
Inactive:        9102048 kB
Active(anon):       1440 kB
Inactive(anon):   917840 kB
Active(file):     285544 kB
Inactive(file):  8184208 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            117908 kB
Writeback:             0 kB
AnonPages:        898132 kB
Mapped:           119492 kB
Shmem:             21320 kB
KReclaimable:     186216 kB
Slab:             273304 kB
SReclaimable:     186216 kB
SUnreclaim:        87088 kB
KernelStack:        3932 kB
PageTables:        10760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1120416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7328 kB
HardwareCorrupted:     0 kB
AnonHugePages:    280576 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:      232264 kB
DirectMap2M:    16449536 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 723636 MiB
End job on nodeC006 at 2024-07-31 03:50:05