Trace number 4427017

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02OPTIMUM 1804.85 1812.02

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--soft-0-100-0.wbo
MD5SUMcd5851c8accd1f6745e787977810cadd
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 benchmark6.11969
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7578
Total number of constraints21401
Number of soft constraints21401
Number of constraints which are clauses20501
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints900
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 1076192
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1076191
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.31/0.42	c Default LC presolving (default).
0.31/0.42	c ** Before presolving: virtualMemUsedAtLc = 169276123, getVmSize() = 128802816, SCIPgetMemUsed() = 98944934, SCIPgetMemTotal() = 103064678, SCIPgetMemExternEstim() = 66211445
0.31/0.42	c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
1.77/1.81	c ** Estimated virtualMemUsedAtSolver = 248833446, getVmSize() = 338399232, SCIPgetMemUsed() = 168090325, SCIPgetMemTotal() = 307038725, SCIPgetMemExternEstim() = 66211445
1.77/1.81	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.77/1.81	c Original Problem   :
1.77/1.81	c   Problem name     : instance-4427017-1720905405
1.77/1.81	c   Variables        : 28979 (28979 binary, 0 integer, 0 implicit integer, 0 continuous)
1.77/1.81	c   Constraints      : 42803
1.77/1.81	c   Objective sense  : minimize
1.77/1.81	c Presolved Problem  :
1.77/1.81	c   Variables        : 50355 (28979 binary, 0 integer, 21376 implicit integer, 0 continuous)
1.77/1.81	c   Constraints      : 42802
1.77/1.81	c Constraints        : Number
1.77/1.81	c   linear           : 21401 
1.77/1.81	c   indicator        : 21401 
1.77/1.81	c ** Instance transfer method used: 0
1.88/1.98	c ** ParaScipInstance copy increased the number of variables. **
2.15/2.29	c LC is working with racing ramp-up and with rebuilding tree after racing.
2.15/2.29	c                                Nodes    Active                                            
2.15/2.29	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
102.36/102.99	c *     103              0           1         1         296.0000                -          -
102.36/102.99	c       103              0           1         1         296.0000                -          -
322.42/324.14	c       324              2           1         1         296.0000           0.0000          -
333.95/335.70	c       336              3           2         1         296.0000           0.0000          -
345.60/347.40	c       347              4           3         1         296.0000           0.0000          -
352.57/354.43	c       354              5           4         1         296.0000           0.0000          -
364.23/366.18	c       366              6           5         1         296.0000           0.0000          -
373.68/375.64	c       376              6           7         1         296.0000           0.0000          -
389.13/391.13	c       391              7           6         1         296.0000           0.0000          -
403.16/405.24	c       405              8           7         1         296.0000           0.0000          -
411.13/413.22	c       413             10           9         1         296.0000           0.0000          -
417.92/420.08	c       420             19          18         1         296.0000           0.0000          -
428.88/431.01	c       431             24          23         1         296.0000           0.0000          -
436.24/438.48	c       438             38          37         1         296.0000           0.0000          -
442.83/445.06	c       445             44          43         1         296.0000           0.0000          -
448.93/451.11	c *     451             65          64         1         257.0000           0.0000          -
448.93/451.11	c       451             65          64         1         257.0000           0.0000          -
454.58/456.80	c       457            109         108         1         257.0000           0.0000          -
462.45/464.76	c       465            123         122         1         257.0000           0.0000          -
478.20/480.50	c       480            131         130         1         257.0000           0.0000          -
493.44/495.81	c       496            132         131         1         257.0000           0.0000          -
499.92/502.38	c       502            139         138         1         257.0000           0.0000          -
507.28/509.72	c       510            171         170         1         257.0000           0.0000          -
519.04/521.54	c       522            178         177         1         257.0000           0.0000          -
524.82/527.34	c       527            187         186         1         257.0000           0.0000          -
531.19/533.72	c       534            213         212         1         257.0000           0.0000          -
541.56/544.18	c       544            219         218         1         257.0000           0.0000          -
547.43/550.11	c       550            242         241         1         257.0000           0.0000          -
556.69/559.31	c       559            248         247         1         257.0000           0.0000          -
560.68/563.36	c *     563            267         266         1         131.0000           0.0000          -
562.29/565.01	c       565            275         253         1         131.0000           0.0000          -
567.66/570.31	c       570            292         270         1         131.0000           0.0000          -
573.65/576.36	c       576            316         294         1         131.0000           0.0000          -
578.73/581.45	c       581            339         317         1         131.0000           0.0000          -
583.90/586.69	c       587            352         330         1         131.0000           0.0000          -
591.77/594.52	c       595            367         345         1         131.0000           0.0000          -
600.43/603.28	c       603            390         368         1         131.0000           0.0000          -
606.01/608.83	c       609            405         383         1         131.0000           0.0000          -
611.79/614.65	c       615            421         399         1         131.0000           0.0000          -
625.74/628.64	c       629            425         403         1         131.0000           0.0000          -
635.99/638.94	c       639            429         407         1         131.0000           0.0000          -
643.87/646.82	c       647            446         424         1         131.0000           0.0000          -
648.95/651.92	c       652            456         434         1         131.0000           0.0000          -
655.62/658.69	c *     659            466         444         1          84.0000           0.0000          -
655.62/658.69	c       659            466         444         1          84.0000           0.0000          -
663.52/666.52	c       667            478         315         1          84.0000           0.0000          -
669.10/672.14	c       672            480         317         1          84.0000           0.0000          -
675.17/678.23	c       678            490         327         1          84.0000           0.0000          -
681.14/684.28	c       684            499         336         1          84.0000           0.0000          -
686.22/689.32	c       689            508         345         1          84.0000           0.0000          -
692.20/695.34	c       695            511         348         1          84.0000           0.0000          -
697.58/700.72	c       701            538         361         1          84.0000           0.0000          -
706.44/709.65	c       710            546         365         1          84.0000           0.0000          -
712.02/715.23	c       715            570         385         1          84.0000           0.0000          -
717.20/720.46	c       720            578         393         1          84.0000           0.0000          -
723.48/726.77	c       727            600         411         1          84.0000           0.0000          -
734.63/737.91	c       738            622         425         1          84.0000           0.0000          -
741.51/744.80	c       745            629         432         1          84.0000           0.0000          -
754.95/758.34	c       758            648         438         1          84.0000           0.0000          -
762.52/765.95	c       766            657         445         1          84.0000           0.0000          -
769.61/773.04	c       773            660         448         1          84.0000           0.0000          -
775.47/778.93	c       779            672         450         1          84.0000           0.0000          -
780.56/784.06	c       784            684         460         1          84.0000           0.0000          -
796.79/800.37	c       800            696         464         1          84.0000           0.0000          -
801.97/805.53	c       806            707         469         1          84.0000           0.0000          -
817.81/821.49	c       821            715         471         1          84.0000           0.0000          -
826.18/829.83	c       830            724         478         1          84.0000           0.0000          -
836.54/840.20	c       840            730         483         1          84.0000           0.0000          -
842.22/845.90	c       846            748         493         1          84.0000           0.0000          -
848.99/852.76	c       853            755         494         1          84.0000           0.0000          -
854.38/858.13	c       858            768         503         1          84.0000           0.0000          -
862.04/865.85	c       866            782         515         1          84.0000           0.0000          -
869.11/872.91	c       873            800         526         1          84.0000           0.0000          -
878.38/882.29	c       882            812         538         1          84.0000           0.0000          -
883.85/887.72	c       888            827         553         1          84.0000           0.0000          -
890.14/894.02	c       894            843         569         1          84.0000           0.0000          -
895.80/899.78	c       900            861         587         1          84.0000           0.0000          -
902.97/906.93	c       907            882         590         1          84.0000           0.0000          -
908.75/912.76	c       913            897         597         1          84.0000           0.0000          -
914.52/918.50	c       918            905         605         1          84.0000           0.0000          -
920.01/924.07	c       924            907         607         1          84.0000           0.0000          -
925.69/929.71	c       930            924         614         1          84.0000           0.0000          -
933.35/937.43	c       937            937         625         1          84.0000           0.0000          -
939.04/943.12	c       943            966         633         1          84.0000           0.0000          -
945.30/949.43	c       949            983         646         1          84.0000           0.0000          -
951.57/955.72	c       956           1006         650         1          84.0000           0.0000          -
964.53/968.70	c       969           1013         653         1          84.0000           0.0000          -
970.21/974.48	c       974           1026         662         1          84.0000           0.0000          -
981.66/985.95	c       986           1042         672         1          84.0000           0.0000          -
987.04/991.35	c       991           1050         678         1          84.0000           0.0000          -
992.52/996.89	c *     997           1067         695         1          19.0000           0.0000          -
992.52/996.89	c       997           1067         695         1          19.0000           0.0000          -
997.62/1002.01	c      1002           1072         131         1          19.0000           0.0000          -
1004.58/1008.94	c      1009           1080         139         1          19.0000           0.0000          -
1016.04/1020.49	c      1020           1089         146         1          19.0000           0.0000          -
1021.81/1026.25	c      1026           1099         135         1          19.0000           0.0000          -
1027.79/1032.21	c      1032           1108         144         1          19.0000           0.0000          -
1032.77/1037.26	c      1037           1118         152         1          19.0000           0.0000          -
1039.35/1043.83	c      1044           1119         153         1          19.0000           0.0000          -
1046.81/1051.38	c      1051           1136         170         1          19.0000           0.0000          -
1055.78/1060.32	c      1060           1144         178         1          19.0000           0.0000          -
1061.36/1065.92	c      1066           1153         187         1          19.0000           0.0000          -
1067.13/1071.77	c      1072           1173         207         1          19.0000           0.0000          -
1072.21/1076.85	c      1077           1224         244         1          19.0000           0.0000          -
1078.18/1082.86	c      1083           1259         235         1          19.0000           0.0000          -
1083.76/1088.45	c      1088           1272         242         1          19.0000           0.0000          -
1090.82/1095.54	c      1096           1280         250         1          19.0000           0.0000          -
1096.70/1101.41	c      1101           1290         250         1          19.0000           0.0000          -
1102.39/1107.19	c      1107           1341         279         1          19.0000           0.0000          -
1111.44/1116.27	c      1116           1349         285         1          19.0000           0.0000          -
1117.24/1122.08	c      1122           1375         281         1          19.0000           0.0000          -
1124.49/1129.32	c      1129           1390         271         1          19.0000           0.0000          -
1130.56/1135.43	c      1135           1427         299         1          19.0000           0.0000          -
1136.54/1141.42	c      1141           1430         302         1          19.0000           0.0000          -
1142.12/1147.11	c      1147           1472         282         1          19.0000           0.0000          -
1147.69/1152.65	c      1153           1505         292         1          19.0000           0.0000          -
1159.63/1164.65	c      1165           1541         324         1          19.0000           0.0000          -
1171.28/1176.32	c      1176           1542         323         1          19.0000           0.0000          -
1178.36/1183.43	c      1183           1550         331         1          19.0000           0.0000          -
1180.99/1186.03	c *    1186           1576         343         1          18.0000           0.0000          -
1183.37/1188.48	c      1188           1616         295         1          18.0000           0.0000          -
1189.23/1194.30	c      1194           1641         307         1          18.0000           0.0000          -
1198.20/1203.31	c      1203           1644         310         1          18.0000           0.0000          -
1203.28/1208.49	c      1208           1665         327         1          18.0000           0.0000          -
1204.68/1209.83	c *    1210           1665         327         1          17.0000           0.0000          -
1208.99/1214.19	c      1214           1703         329         1          17.0000           0.0000          -
1213.36/1218.59	c *    1219           1760         361         1          16.0000           0.0000          -
1214.36/1219.50	c      1220           1779         308         1          16.0000           0.0000          -
1220.33/1225.55	c      1226           1810         281         1          16.0000           0.0000          -
1225.83/1231.12	c *    1231           1878         329         1          15.0000           0.0000          -
1225.83/1231.12	c      1231           1878         329         1          15.0000           0.0000          -
1233.39/1238.66	c      1239           1903         290         1          15.0000           0.0000          -
1239.27/1244.51	c      1245           1945         307         1          15.0000           0.0000          -
1244.85/1250.13	c      1250           1988         320         1          15.0000           0.0000          -
1250.73/1256.04	c      1256           2035         367         1          15.0000           0.0000          -
1256.29/1261.66	c      1262           2078         395         1          15.0000           0.0000          -
1261.69/1267.03	c      1267           2079         396         1          15.0000           0.0000          -
1266.95/1272.39	c      1272           2172         436         1          15.0000           0.0000          -
1267.95/1273.34	c *    1273           2172         436         1          14.0000           0.0000          -
1272.26/1277.64	c *    1278           2245         419         1          13.0000           0.0000          -
1272.26/1277.64	c      1278           2245         419         1          13.0000           0.0000          -
1278.95/1284.36	c      1284           2262         351         1          13.0000           0.0000          -
1283.33/1288.73	c *    1289           2290         371         1          12.0000           0.0000          -
1285.74/1291.14	c      1291           2293         337         1          12.0000           0.0000          -
1288.92/1294.39	c *    1294           2331         373         1          11.0000           0.0000          -
1291.12/1296.51	c      1297           2358         361         1          11.0000           0.0000          -
1292.52/1298.00	c *    1298           2358         361         1          10.0000           0.0000          -
1296.31/1301.74	c *    1302           2419         398         1           8.0000           0.0000          -
1296.31/1301.74	c      1302           2419         398         1           8.0000           0.0000          -
1301.29/1306.77	c      1307           2458         314         1           8.0000           0.0000          -
1305.39/1310.90	c *    1311           2519         359         1           7.0000           0.0000          -
1306.70/1312.18	c      1312           2528         272         1           7.0000           0.0000          -
1311.87/1317.37	c *    1317           2579         317         1           6.0000           0.0000          -
1311.87/1317.37	c      1317           2579         317         1           6.0000           0.0000          -
1316.17/1321.70	c *    1322           2617         304         1           5.0000           0.0000          -
1317.68/1323.19	c      1323           2640           0         1           5.0000           0.0000          -
1343.88/1349.46	c      1349           2641           1         1           5.0000           0.0000          -
1349.36/1354.96	c      1355           2658          18         1           5.0000           0.0000          -
1353.36/1358.93	c *    1359           2683          43         1           4.0000           0.0000          -
1354.38/1360.01	c      1360           2719          77         1           4.0000           0.0000          -
1357.35/1362.99	c *    1363           2733          89         1           3.0000           0.0000          -
1359.46/1365.09	c      1365           2781         137         1           3.0000           0.0000          -
1364.14/1369.72	c *    1370           2841         191         1           1.0000           0.0000          -
1365.14/1370.75	c      1371           2921         204         1           1.0000           0.0000          -
1371.02/1376.66	c      1377           3007          63         1           1.0000           0.0000          -
1376.20/1381.86	c      1382           3132          45         1           1.0000           0.0000          -
1381.28/1386.97	c      1387           3291          69         1           1.0000           0.0000          -
1386.57/1392.28	c      1392           3437          96         1           1.0000           0.0000          -
1391.74/1397.40	c      1397           3559          73         1           1.0000           0.0000          -
1397.02/1402.71	c      1403           3610          99         1           1.0000           0.0000          -
1402.10/1407.87	c      1408           3703          41         1           1.0000           0.0000          -
1407.68/1413.40	c      1413           3821          63         1           1.0000           0.0000          -
1412.76/1418.53	c      1419           3936          38         1           1.0000           0.0000          -
1418.26/1424.01	c      1424           4098          59         1           1.0000           0.0000          -
1423.34/1429.13	c      1429           4260          97         1           1.0000           0.0000          -
1428.99/1434.86	c      1435           4386          42         1           1.0000           0.0000          -
1434.29/1440.11	c      1440           4481          40         1           1.0000           0.0000          -
1439.36/1445.22	c      1445           4622          18         1           1.0000           0.0000          -
1444.94/1450.87	c      1451           4719          65         1           1.0000           0.0000          -
1450.23/1456.15	c      1456           4834          75         1           1.0000           0.0000          -
1455.30/1461.23	c      1461           4951         108         1           1.0000           0.0000          -
1460.48/1466.44	c      1466           5066         111         1           1.0000           0.0000          -
1465.77/1471.72	c      1472           5182         153         1           1.0000           0.0000          -
1470.84/1476.86	c      1477           5318          96         1           1.0000           0.0000          -
1475.92/1482.01	c      1482           5461          15         1           1.0000           0.0000          -
1481.20/1487.29	c      1487           5573          26         1           1.0000           0.0000          -
1488.18/1494.23	c      1494           5685          26         1           1.0000           0.0000          -
1494.96/1501.03	c      1501           5686          25         1           1.0000           0.0000          -
1500.14/1506.26	c      1506           5775          26         1           1.0000           0.0000          -
1505.52/1511.63	c      1512           5868          22         1           1.0000           0.0000          -
1510.79/1516.90	c      1517           5958          35         1           1.0000           0.0000          -
1516.07/1522.21	c      1522           6081          31         1           1.0000           0.0000          -
1521.25/1527.41	c      1527           6178          23         1           1.0000           0.0000          -
1526.34/1532.59	c      1533           6268          21         1           1.0000           0.0000          -
1531.72/1537.94	c      1538           6353          17         1           1.0000           0.0000          -
1536.91/1543.19	c      1543           6437          13         1           1.0000           0.0000          -
1542.79/1549.09	c      1549           6518          30         1           1.0000           0.0000          -
1547.95/1554.21	c      1554           6582          45         1           1.0000           0.0000          -
1553.03/1559.32	c      1559           6721          49         1           1.0000           0.0000          -
1558.22/1564.52	c      1565           6880          17         1           1.0000           0.0000          -
1563.29/1569.63	c      1570           7029          45         1           1.0000           0.0000          -
1568.48/1574.80	c      1575           7186          22         1           1.0000           0.0000          -
1573.56/1579.98	c      1580           7285          59         1           1.0000           0.0000          -
1581.64/1588.07	c      1588           7286          58         1           1.0000           0.0000          -
1586.91/1593.35	c      1593           7468          34         1           1.0000           0.0000          -
1591.99/1598.45	c      1598           7630          50         1           1.0000           0.0000          -
1597.18/1603.69	c      1604           7804          83         1           1.0000           0.0000          -
1602.36/1608.82	c      1609           7973          57         1           1.0000           0.0000          -
1607.44/1613.96	c      1614           8130          60         1           1.0000           0.0000          -
1612.71/1619.25	c      1619           8261          57         1           1.0000           0.0000          -
1617.90/1624.48	c      1624           8378          59         1           1.0000           0.0000          -
1623.08/1629.68	c      1630           8463          52         1           1.0000           0.0000          -
1628.36/1634.91	c      1635           8542          55         1           1.0000           0.0000          -
1633.46/1640.06	c      1640           8642          56         1           1.0000           0.0000          -
1638.72/1645.33	c      1645           8742          50         1           1.0000           0.0000          -
1643.80/1650.47	c      1650           8862          53         1           1.0000           0.0000          -
1649.08/1655.73	c      1656           8940          55         1           1.0000           0.0000          -
1654.48/1661.17	c      1661           9008          61         1           1.0000           0.0000          -
1659.74/1666.46	c      1666           9097          47         1           1.0000           0.0000          -
1665.03/1671.71	c      1672           9171          49         1           1.0000           0.0000          -
1670.42/1677.13	c      1677           9261          44         1           1.0000           0.0000          -
1675.69/1682.49	c      1682           9336          48         1           1.0000           0.0000          -
1681.28/1688.01	c      1688           9411          41         1           1.0000           0.0000          -
1686.65/1693.40	c      1693           9490          47         1           1.0000           0.0000          -
1691.83/1698.68	c      1699           9581          65         1           1.0000           0.0000          -
1697.01/1703.84	c      1704           9707          48         1           1.0000           0.0000          -
1702.10/1708.99	c      1709           9781          43         1           1.0000           0.0000          -
1707.37/1714.22	c      1714           9872          31         1           1.0000           0.0000          -
1717.63/1724.56	c      1725           9916          26         1           1.0000           0.0000          -
1723.13/1730.09	c      1730           9968          48         1           1.0000           0.0000          -
1728.21/1735.11	c      1735           9992          38         1           1.0000           0.0000          -
1733.67/1740.63	c      1741          10072          16         1           1.0000           0.0000          -
1738.76/1745.79	c      1746          10089           7         1           1.0000           0.0000          -
1743.94/1750.90	c      1751          10168          76         1           1.0000           0.0000          -
1748.92/1756.00	c      1756          10217          83         1           1.0000           0.0000          -
1754.70/1761.73	c      1762          10249          85         1           1.0000           0.0000          -
1759.99/1767.01	c      1767          10378          82         1           1.0000           0.0000          -
1765.66/1772.78	c      1773          10435          15         1           1.0000           0.0000          -
1771.74/1778.80	c      1779          10486          10         1           1.0000           0.0000          -
1778.03/1785.11	c      1785          10487           9         1           1.0000           0.0000          -
1783.91/1791.02	c      1791          10547           8         1           1.0000           0.0000          -
1789.18/1796.35	c      1796          10604          14         1           1.0000           0.0000          -
1794.46/1801.69	c      1802          10626           7         1           1.0000           0.0000          -
1799.86/1807.11	c      1807          10640           7         1           1.0000           0.0000          -
1804.23/1811.44	c      1811          10666           0         0           1.0000           1.0000      0.00%
1804.43/1811.64	c      1812          10666           0         0           1.0000           1.0000          -
1804.43/1811.64	c SCIP Status        : c problem is solved
1804.43/1811.64	c Total Time         : 1811.6200
1804.43/1811.64	c   solving          : 1811.6200
1804.43/1811.64	c   presolving       : 1.3882 (included in solving)
1804.43/1811.64	c B&B Tree           :
1804.43/1811.64	c   nodes (total)    : 10666
1804.43/1811.64	c Solution           :
1804.43/1811.64	c   Solutions found  : 22
1804.43/1811.64	c   Primal Bound     : +1.00000000000000e+00
1804.43/1811.64	c   Dual Bound       : +1.00000000000000e+00
1804.43/1811.64	c Gap                : 0.00000 %
1804.43/1811.68	o 1
1804.43/1811.68	s OPTIMUM FOUND
1804.43/1811.68	v -x7578 -x7577 -x7576 -x7575 -x7574 x7573 x7572 -x7571 -x7570 -x7569 -x7568 -x7567 x7566 -x7565 -x7564 x7563 -x7562 -x7561 -x7560 
1804.43/1811.68	v x7559 -x7558 -x7557 -x7556 -x7555 x7554 -x7553 -x7552 -x7551 x7550 -x7549 x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 
1804.43/1811.68	v x7540 -x7539 -x7538 -x7537 -x7536 x7535 -x7534 -x7533 -x7532 x7531 -x7530 -x7529 -x7528 x7527 x7526 -x7525 x7524 -x7523 
1804.43/1811.68	v -x7522 -x7521 -x7520 -x7519 -x7518 x7517 -x7516 x7515 -x7514 -x7513 -x7512 -x7511 x7510 x7509 -x7508 x7507 -x7506 -x7505 -x7504 
1804.43/1811.68	v x7503 x7502 -x7501 -x7500 -x7499 -x7498 -x7497 x7496 -x7495 x7494 x7493 -x7492 x7491 -x7490 x7489 -x7488 -x7487 x7486 x7485 
1804.43/1811.68	v -x7484 x7483 -x7482 -x7481 x7480 -x7479 x7478 -x7477 x7476 x7475 -x7474 x7473 -x7472 -x7471 x7470 x7469 x7468 x7467 -x7466 
1804.43/1811.68	v x7465 x7464 x7463 -x7462 -x7461 x7460 -x7459 x7458 x7457 -x7456 -x7455 x7454 -x7453 x7452 -x7451 -x7450 -x7449 x7448 x7447 x7446 
1804.43/1811.68	v x7445 -x7444 x7443 -x7442 x7441 -x7440 -x7439 -x7438 -x7437 -x7436 x7435 x7434 -x7433 -x7432 x7431 -x7430 x7429 -x7428 x7427 
1804.43/1811.68	v -x7426 -x7425 x7424 x7423 x7422 x7421 -x7420 x7419 x7418 x7417 x7416 -x7415 x7414 -x7413 x7412 -x7411 x7410 -x7409 -x7408 
1804.43/1811.68	v -x7407 x7406 x7405 -x7404 -x7403 x7402 x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 
1804.43/1811.68	v -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 
1804.43/1811.68	v -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 x7358 x7357 x7356 x7355 x7354 x7353 
1804.43/1811.68	v x7352 x7351 x7350 x7349 x7348 x7347 x7346 x7345 x7344 x7343 x7342 x7341 x7340 x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 
1804.43/1811.68	v -x7332 x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 
1804.43/1811.68	v -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297 
1804.43/1811.68	v -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 
1804.43/1811.68	v x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 
1804.43/1811.68	v -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 
1804.43/1811.68	v -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 
1804.43/1811.68	v -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 
1804.43/1811.68	v -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 
1804.43/1811.68	v -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 
1804.43/1811.68	v -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 
1804.43/1811.68	v -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 
1804.43/1811.68	v -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 
1804.43/1811.68	v -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 
1804.43/1811.68	v -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 
1804.43/1811.68	v -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 
1804.43/1811.68	v -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 x7049 x7048 x7047 
1804.43/1811.68	v x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 x7030 -x7029 -x7028 
1804.43/1811.68	v -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 x7015 -x7014 -x7013 -x7012 -x7011 -x7010 
1804.43/1811.68	v -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 x6998 -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 
1804.43/1811.68	v -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 -x6975 
1804.43/1811.68	v x6974 x6973 x6972 x6971 x6970 x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 x6959 x6958 x6957 x6956 x6955 
1804.43/1811.68	v -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 
1804.43/1811.68	v -x6936 -x6935 -x6934 -x6933 -x6932 x6931 -x6930 x6929 -x6928 -x6927 x6926 -x6925 x6924 x6923 x6922 x6921 -x6920 -x6919 -x6918 
1804.43/1811.68	v -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 
1804.43/1811.68	v -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 x6885 -x6884 -x6883 
1804.43/1811.68	v x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 x6869 -x6868 -x6867 -x6866 -x6865 -x6864 
1804.43/1811.68	v -x6863 -x6862 -x6861 x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 x6851 -x6850 -x6849 x6848 x6847 x6846 
1804.43/1811.68	v x6845 x6844 x6843 x6842 -x6841 -x6840 x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 
1804.43/1811.68	v -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 
1804.43/1811.68	v -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 
1804.43/1811.68	v -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 x6782 -x6781 -x6780 -x6779 -x6778 x6777 -x6776 -x6775 -x6774 -x6773 
1804.43/1811.68	v -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 
1804.43/1811.68	v -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 
1804.43/1811.68	v -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 
1804.43/1811.68	v x6719 x6718 x6717 x6716 x6715 x6714 x6713 x6712 x6711 x6710 x6709 x6708 x6707 x6706 x6705 x6704 x6703 x6702 x6701 -x6700 -x6699 
1804.43/1811.68	v -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 
1804.43/1811.68	v -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 
1804.43/1811.68	v -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 x6651 -x6650 x6649 -x6648 -x6647 -x6646 -x6645 
1804.43/1811.68	v -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 
1804.43/1811.68	v -x6626 -x6625 -x6624 -x6623 x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 x6609 
1804.43/1811.68	v -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 
1804.43/1811.68	v -x6590 -x6589 -x6588 -x6587 -x6586 x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 
1804.43/1811.68	v -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 x6562 -x6561 -x6560 -x6559 -x6558 -x6557 x6556 -x6555 
1804.43/1811.68	v -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 x6548 -x6547 -x6546 -x6545 -x6544 -x6543 x6542 -x6541 x6540 -x6539 -x6538 -x6537 
1804.43/1811.68	v -x6536 -x6535 x6534 -x6533 -x6532 -x6531 x6530 -x6529 x6528 x6527 x6526 x6525 x6524 x6523 x6522 x6521 x6520 x6519 x6518 x6517 
1804.43/1811.68	v x6516 x6515 x6514 x6513 x6512 x6511 x6510 x6509 x6508 x6507 x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 
1804.43/1811.68	v -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 
1804.43/1811.68	v -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 
1804.43/1811.68	v -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 
1804.43/1811.68	v -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 
1804.43/1811.68	v -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 
1804.43/1811.68	v -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 
1804.43/1811.68	v -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 
1804.43/1811.68	v -x6372 x6371 x6370 x6369 x6368 x6367 x6366 x6365 x6364 x6363 x6362 x6361 x6360 x6359 x6358 x6357 x6356 x6355 -x6354 -x6353 -x6352 
1804.43/1811.68	v -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 
1804.43/1811.68	v -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 
1804.43/1811.68	v -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 
1804.43/1811.68	v -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 
1804.43/1811.68	v -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 
1804.43/1811.68	v -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 
1804.43/1811.68	v -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 
1804.43/1811.68	v -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 
1804.43/1811.68	v -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 x6192 
1804.43/1811.68	v -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 
1804.43/1811.68	v -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 
1804.43/1811.68	v -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 x6138 
1804.43/1811.68	v x6137 x6136 x6135 x6134 x6133 -x6132 x6131 x6130 x6129 x6128 -x6127 -x6126 -x6125 -x6124 x6123 -x6122 -x6121 -x6120 -x6119 -x6118 
1804.43/1811.68	v -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 
1804.43/1811.68	v -x6100 x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 x6091 x6090 x6089 x6088 x6087 x6086 x6085 x6084 -x6083 -x6082 -x6081 
1804.43/1811.68	v -x6080 x6079 -x6078 -x6077 -x6076 x6075 -x6074 -x6073 -x6072 -x6071 x6070 -x6069 -x6068 -x6067 -x6066 x6065 -x6064 -x6063 
1804.43/1811.68	v -x6062 x6061 -x6060 -x6059 -x6058 -x6057 x6056 -x6055 -x6054 -x6053 x6052 -x6051 -x6050 -x6049 -x6048 x6047 -x6046 -x6045 
1804.43/1811.68	v -x6044 x6043 -x6042 -x6041 -x6040 x6039 -x6038 -x6037 x6036 -x6035 -x6034 x6033 -x6032 -x6031 -x6030 x6029 -x6028 x6027 -x6026 
1804.43/1811.68	v x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 
1804.43/1811.68	v -x6007 -x6006 -x6005 -x6004 x6003 -x6002 x6001 -x6000 x5999 -x5998 -x5997 x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 
1804.43/1811.68	v -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 
1804.43/1811.68	v -x5971 -x5970 -x5969 -x5968 x5967 -x5966 -x5965 -x5964 x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 
1804.43/1811.68	v -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 
1804.43/1811.68	v -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 x5919 -x5918 -x5917 
1804.43/1811.68	v -x5916 -x5915 -x5914 x5913 x5912 x5911 x5910 x5909 x5908 x5907 x5906 x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 
1804.43/1811.68	v -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 
1804.43/1811.68	v -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 
1804.43/1811.68	v -x5861 -x5860 -x5859 -x5858 x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 
1804.43/1811.68	v -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 
1804.43/1811.68	v -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 x5811 -x5810 -x5809 -x5808 
1804.43/1811.68	v x5807 -x5806 -x5805 -x5804 -x5803 x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 x5794 -x5793 -x5792 x5791 -x5790 
1804.43/1811.68	v -x5789 -x5788 -x5787 -x5786 x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 x5772 
1804.43/1811.68	v -x5771 -x5770 x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 x5755 -x5754 -x5753 
1804.43/1811.68	v -x5752 -x5751 x5750 -x5749 -x5748 x5747 -x5746 -x5745 -x5744 x5743 -x5742 -x5741 -x5740 x5739 -x5738 -x5737 -x5736 -x5735 
1804.43/1811.68	v -x5734 x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 x5720 x5719 x5718 -x5717 
1804.43/1811.68	v -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 
1804.43/1811.68	v -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 x5686 -x5685 -x5684 x5683 -x5682 -x5681 -x5680 
1804.43/1811.68	v -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 
1804.43/1811.68	v -x5661 -x5660 -x5659 x5658 -x5657 x5656 -x5655 -x5654 x5653 -x5652 -x5651 x5650 x5649 x5648 x5647 -x5646 -x5645 -x5644 
1804.43/1811.68	v -x5643 -x5642 x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 x5630 -x5629 -x5628 -x5627 -x5626 -x5625 
1804.43/1811.68	v -x5624 -x5623 -x5622 -x5621 x5620 x5619 -x5618 x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 
1804.43/1811.68	v -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 
1804.43/1811.68	v x5588 -x5587 x5586 -x5585 x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 x5577 -x5576 x5575 -x5574 -x5573 -x5572 -x5571 
1804.43/1811.68	v -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 x5563 -x5562 -x5561 x5560 -x5559 -x5558 -x5557 -x5556 -x5555 x5554 x5553 -x5552 
1804.43/1811.68	v -x5551 -x5550 x5549 -x5548 -x5547 x5546 -x5545 -x5544 -x5543 -x5542 x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 
1804.43/1811.68	v -x5533 x5532 -x5531 -x5530 -x5529 x5528 x5527 -x5526 -x5525 -x5524 x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 
1804.43/1811.68	v x5515 -x5514 -x5513 -x5512 -x5511 x5510 -x5509 -x5508 -x5507 x5506 -x5505 -x5504 x5503 x5502 x5501 x5500 x5499 x5498 x5497 x5496 
1804.43/1811.68	v x5495 x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 
1804.43/1811.68	v -x5477 -x5476 -x5475 -x5474 -x5473 x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 x5465 -x5464 -x5463 -x5462 -x5461 -x5460 
1804.43/1811.68	v -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 
1804.43/1811.68	v -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 
1804.43/1811.68	v -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 
1804.43/1811.68	v -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 
1804.43/1811.68	v -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 
1804.43/1811.68	v -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 x5359 -x5358 x5357 x5356 x5355 x5354 x5353 x5352 
1804.43/1811.68	v x5351 x5350 x5349 x5348 x5347 x5346 x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 
1804.43/1811.68	v -x5332 -x5331 -x5330 -x5329 x5328 x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 x5318 -x5317 -x5316 -x5315 
1804.43/1811.68	v -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 
1804.43/1811.68	v -x5296 -x5295 -x5294 x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 x5285 x5284 x5283 x5282 -x5281 x5280 x5279 x5278 
1804.43/1811.68	v x5277 x5276 x5275 x5274 x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 x5259 
1804.43/1811.68	v -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 x5250 x5249 -x5248 -x5247 -x5246 -x5245 x5244 -x5243 -x5242 -x5241 
1804.43/1811.68	v -x5240 x5239 -x5238 -x5237 -x5236 -x5235 x5234 -x5233 x5232 x5231 x5230 x5229 x5228 x5227 x5226 x5225 x5224 x5223 -x5222 -x5221 
1804.43/1811.68	v -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 
1804.43/1811.68	v -x5202 x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 
1804.43/1811.68	v -x5184 x5183 -x5182 -x5181 -x5180 x5179 -x5178 -x5177 x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 
1804.43/1811.68	v -x5166 x5165 -x5164 -x5163 -x5162 -x5161 -x5160 x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 
1804.43/1811.68	v -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 x5135 x5134 x5133 x5132 x5131 x5130 
1804.43/1811.68	v x5129 x5128 x5127 x5126 x5125 x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 
1804.43/1811.68	v -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 
1804.43/1811.68	v -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 x5077 -x5076 -x5075 
1804.43/1811.68	v -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 x5062 x5061 -x5060 -x5059 -x5058 -x5057 
1804.43/1811.68	v -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 
1804.43/1811.68	v -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 
1804.43/1811.68	v -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 
1804.43/1811.68	v -x5003 x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 x4988 x4987 x4986 x4985 
1804.43/1811.68	v x4984 x4983 x4982 -x4981 -x4980 -x4979 -x4978 -x4977 x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 x4969 x4968 x4967 x4966 
1804.43/1811.68	v -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 
1804.43/1811.68	v -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 
1804.43/1811.68	v x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 
1804.43/1811.68	v -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 
1804.43/1811.68	v -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 
1804.43/1811.68	v -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 x4863 -x4862 -x4861 -x4860 -x4859 -x4858 
1804.43/1811.68	v -x4857 -x4856 x4855 x4854 x4853 x4852 x4851 x4850 x4849 x4848 x4847 x4846 x4845 x4844 x4843 x4842 x4841 -x4840 -x4839 -x4838 
1804.43/1811.68	v -x4837 -x4836 -x4835 -x4834 x4833 x4832 x4831 x4830 x4829 x4828 x4827 x4826 x4825 x4824 x4823 x4822 x4821 x4820 x4819 x4818 
1804.43/1811.68	v x4817 x4816 x4815 x4814 x4813 x4812 x4811 x4810 x4809 x4808 x4807 x4806 x4805 x4804 x4803 x4802 x4801 -x4800 -x4799 -x4798 
1804.43/1811.68	v -x4797 -x4796 x4795 x4794 x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 x4785 x4784 x4783 x4782 -x4781 -x4780 -x4779 
1804.43/1811.68	v -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 
1804.43/1811.68	v -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 
1804.43/1811.68	v -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 
1804.43/1811.68	v -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 
1804.43/1811.68	v -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 x4693 -x4692 -x4691 -x4690 
1804.43/1811.68	v -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 
1804.43/1811.68	v -x4671 x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 
1804.43/1811.68	v -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 x4641 -x4640 -x4639 -x4638 -x4637 -x4636 
1804.43/1811.68	v -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 x4627 x4626 x4625 x4624 x4623 -x4622 -x4621 x4620 -x4619 -x4618 -x4617 
1804.43/1811.68	v -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 
1804.43/1811.68	v -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 
1804.43/1811.68	v -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 
1804.43/1811.68	v -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 
1804.43/1811.68	v -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 x4532 x4531 x4530 x4529 x4528 x4527 
1804.43/1811.68	v -x4526 -x4525 -x4524 -x4523 x4522 -x4521 -x4520 -x4519 x4518 -x4517 -x4516 -x4515 x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 
1804.43/1811.68	v -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 x4493 -x4492 -x4491 -x4490 
1804.43/1811.68	v -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 
1804.43/1811.68	v -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 
1804.43/1811.68	v -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 
1804.43/1811.68	v -x4436 -x4435 -x4434 -x4433 x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 
1804.43/1811.68	v x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 
1804.43/1811.68	v -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 
1804.43/1811.68	v -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 x4370 -x4369 -x4368 -x4367 -x4366 -x4365 
1804.43/1811.68	v -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 
1804.43/1811.68	v -x4346 -x4345 -x4344 x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 x4332 x4331 x4330 x4329 x4328 
1804.43/1811.68	v x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 x4315 -x4314 -x4313 -x4312 -x4311 -x4310 
1804.43/1811.68	v -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 
1804.43/1811.68	v -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 
1804.43/1811.68	v -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 
1804.43/1811.68	v -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 
1804.43/1811.68	v -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 x4229 x4228 x4227 x4226 x4225 x4224 -x4223 -x4222 -x4221 -x4220 
1804.43/1811.68	v x4219 -x4218 -x4217 -x4216 x4215 x4214 -x4213 x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 
1804.43/1811.68	v -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 
1804.43/1811.68	v -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 
1804.43/1811.68	v -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 
1804.43/1811.68	v -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 
1804.43/1811.68	v -x4129 -x4128 x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 x4115 -x4114 -x4113 -x4112 
1804.43/1811.68	v -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 
1804.43/1811.68	v -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 
1804.43/1811.68	v -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 
1804.43/1811.68	v -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 
1804.43/1811.68	v -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 
1804.43/1811.68	v -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 x4009 -x4008 -x4007 -x4006 x4005 -x4004 
1804.43/1811.68	v -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 x3987 -x3986 
1804.43/1811.68	v -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 
1804.43/1811.68	v -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 
1804.43/1811.68	v -x3949 -x3948 -x3947 -x3946 -x3945 x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 
1804.43/1811.68	v -x3931 -x3930 -x3929 -x3928 -x3927 x3926 x3925 x3924 x3923 x3922 x3921 x3920 x3919 x3918 x3917 x3916 x3915 x3914 -x3913 -x3912 
1804.43/1811.68	v x3911 -x3910 -x3909 -x3908 x3907 x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 
1804.43/1811.68	v -x3893 x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 
1804.43/1811.68	v -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 
1804.43/1811.68	v -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 
1804.43/1811.68	v -x3839 -x3838 -x3837 -x3836 -x3835 x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 
1804.43/1811.68	v -x3821 -x3820 -x3819 -x3818 x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 
1804.43/1811.68	v -x3803 -x3802 -x3801 x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 
1804.43/1811.68	v -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 
1804.43/1811.68	v -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 x3751 -x3750 
1804.43/1811.68	v -x3749 -x3748 -x3747 -x3746 x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 
1804.43/1811.68	v -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 
1804.43/1811.68	v -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 x3699 -x3698 -x3697 -x3696 
1804.43/1811.68	v -x3695 -x3694 x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 
1804.43/1811.68	v x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 x3662 -x3661 -x3660 
1804.43/1811.68	v -x3659 -x3658 -x3657 -x3656 -x3655 x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 
1804.43/1811.68	v -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 x3628 -x3627 -x3626 -x3625 -x3624 
1804.43/1811.68	v -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 x3610 -x3609 -x3608 -x3607 -x3606 
1804.43/1811.68	v -x3605 -x3604 x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 x3590 -x3589 -x3588 
1804.43/1811.68	v -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 
1804.43/1811.68	v -x3569 -x3568 -x3567 -x3566 -x3565 x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 
1804.43/1811.68	v -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 
1804.43/1811.68	v -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 x3523 -x3522 -x3521 -x3520 -x3519 -x3518 x3517 -x3516 
1804.43/1811.68	v -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 x3501 -x3500 -x3499 -x3498 
1804.43/1811.68	v -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 x3482 -x3481 -x3480 
1804.43/1811.68	v -x3479 -x3478 -x3477 -x3476 x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 
1804.43/1811.68	v -x3461 -x3460 -x3459 -x3458 x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 
1804.43/1811.68	v -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 
1804.43/1811.68	v x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 
1804.43/1811.68	v -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 x3400 x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 
1804.43/1811.68	v -x3388 -x3387 -x3386 x3385 x3384 -x3383 -x3382 -x3381 x3380 x3379 x3378 x3377 x3376 x3375 x3374 x3373 x3372 x3371 -x3370 
1804.43/1811.68	v -x3369 x3368 -x3367 x3366 -x3365 -x3364 -x3363 -x3362 x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 x3353 -x3352 -x3351 
1804.43/1811.68	v -x3350 -x3349 -x3348 -x3347 x3346 x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 x3335 -x3334 -x3333 
1804.43/1811.68	v -x3332 -x3331 -x3330 -x3329 x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 x3320 -x3319 -x3318 -x3317 -x3316 -x3315 
1804.43/1811.68	v -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 
1804.43/1811.68	v -x3296 -x3295 -x3294 -x3293 -x3292 x3291 x3290 x3289 -x3288 -x3287 x3286 -x3285 -x3284 -x3283 x3282 -x3281 -x3280 x3279 -x3278 
1804.43/1811.68	v -x3277 -x3276 x3275 -x3274 -x3273 -x3272 x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 x3261 -x3260 
1804.43/1811.68	v -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 
1804.43/1811.68	v -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 x3231 -x3230 -x3229 -x3228 -x3227 x3226 -x3225 x3224 
1804.43/1811.68	v -x3223 x3222 -x3221 -x3220 -x3219 -x3218 x3217 -x3216 -x3215 -x3214 -x3213 -x3212 x3211 -x3210 -x3209 -x3208 x3207 -x3206 -x3205 
1804.43/1811.68	v -x3204 x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 
1804.43/1811.68	v -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 
1804.43/1811.68	v -x3168 -x3167 -x3166 x3165 x3164 x3163 x3162 x3161 x3160 x3159 x3158 x3157 x3156 x3155 x3154 x3153 x3152 x3151 x3150 x3149 
1804.43/1811.68	v x3148 -x3147 x3146 -x3145 x3144 x3143 x3142 x3141 -x3140 -x3139 -x3138 x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 
1804.43/1811.68	v -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 x3116 -x3115 -x3114 -x3113 x3112 
1804.43/1811.68	v -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 x3097 -x3096 -x3095 x3094 
1804.43/1811.68	v -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 
1804.43/1811.68	v -x3075 -x3074 x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 x3062 -x3061 -x3060 -x3059 -x3058 
1804.43/1811.68	v -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 
1804.43/1811.68	v -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 x3024 -x3023 -x3022 
1804.43/1811.68	v -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 x3004 
1804.43/1811.68	v -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 
1804.43/1811.68	v -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 
1804.43/1811.68	v -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 
1804.43/1811.68	v -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 x2937 x2936 x2935 x2934 x2933 x2932 -x2931 
1804.43/1811.68	v -x2930 -x2929 x2928 -x2927 -x2926 x2925 -x2924 -x2923 -x2922 -x2921 x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 
1804.43/1811.68	v -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 
1804.43/1811.68	v -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 
1804.43/1811.68	v -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 
1804.43/1811.68	v -x2858 x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 
1804.43/1811.68	v -x2840 -x2839 -x2838 x2837 -x2836 -x2835 -x2834 -x2833 -x2832 x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 
1804.43/1811.68	v -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 
1804.43/1811.68	v x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 
1804.43/1811.68	v -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 
1804.43/1811.68	v -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 
1804.43/1811.68	v -x2751 x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 x2734 -x2733 
1804.43/1811.68	v -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 x2717 -x2716 -x2715 
1804.43/1811.68	v -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 
1804.43/1811.68	v -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 
1804.43/1811.68	v -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 
1804.43/1811.68	v -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 
1804.43/1811.68	v -x2643 x2642 x2641 x2640 x2639 x2638 x2637 x2636 -x2635 -x2634 x2633 -x2632 x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 
1804.43/1811.68	v -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 x2609 -x2608 -x2607 
1804.43/1811.68	v -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 
1804.43/1811.68	v -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 
1804.43/1811.68	v -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 x2557 -x2556 -x2555 -x2554 x2553 
1804.43/1811.68	v -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 
1804.43/1811.68	v -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 
1804.43/1811.68	v -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 
1804.43/1811.68	v -x2498 -x2497 -x2496 -x2495 x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 
1804.43/1811.68	v -x2480 -x2479 -x2478 x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 
1804.43/1811.68	v -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 
1804.43/1811.68	v -x2444 -x2443 -x2442 -x2441 -x2440 x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 
1804.43/1811.68	v -x2426 -x2425 x2424 x2423 x2422 x2421 x2420 x2419 x2418 x2417 x2416 x2415 x2414 x2413 x2412 x2411 x2410 x2409 -x2408 -x2407 
1804.43/1811.68	v -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 
1804.43/1811.68	v -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 
1804.43/1811.68	v -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 
1804.43/1811.68	v -x2352 -x2351 -x2350 -x2349 x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 
1804.43/1811.68	v x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 x2321 -x2320 -x2319 -x2318 -x2317 
1804.43/1811.68	v -x2316 x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 x2299 
1804.43/1811.68	v -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 
1804.43/1811.68	v -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 x2263 
1804.43/1811.68	v -x2262 -x2261 -x2260 -x2259 x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 x2245 
1804.43/1811.68	v -x2244 -x2243 -x2242 -x2241 -x2240 x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 x2232 -x2231 -x2230 -x2229 -x2228 -x2227 
1804.43/1811.68	v -x2226 x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 x2210 -x2209 
1804.43/1811.68	v -x2208 -x2207 -x2206 -x2205 x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 
1804.43/1811.68	v x2190 -x2189 -x2188 -x2187 -x2186 -x2185 x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 x2173 -x2172 
1804.43/1811.68	v -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 
1804.43/1811.68	v -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 x2141 -x2140 -x2139 -x2138 -x2137 
1804.43/1811.68	v x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 x2122 -x2121 -x2120 -x2119 -x2118 
1804.43/1811.68	v -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 x2107 -x2106 -x2105 -x2104 -x2103 -x2102 x2101 -x2100 
1804.43/1811.68	v -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 x2087 -x2086 -x2085 -x2084 -x2083 -x2082 
1804.43/1811.68	v x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 x2070 -x2069 x2068 -x2067 -x2066 -x2065 x2064 
1804.43/1811.68	v x2063 -x2062 -x2061 -x2060 x2059 x2058 x2057 x2056 x2055 x2054 x2053 x2052 x2051 x2050 x2049 x2048 x2047 -x2046 -x2045 -x2044 
1804.43/1811.68	v -x2043 x2042 -x2041 -x2040 -x2039 -x2038 -x2037 x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 x2029 x2028 -x2027 -x2026 -x2025 
1804.43/1811.68	v -x2024 -x2023 -x2022 -x2021 x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 x2013 -x2012 -x2011 -x2010 -x2009 -x2008 x2007 
1804.43/1811.68	v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 
1804.43/1811.68	v -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 
1804.43/1811.68	v -x1970 x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 x1956 -x1955 x1954 -x1953 
1804.43/1811.68	v -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 x1939 -x1938 -x1937 x1936 x1935 
1804.43/1811.68	v x1934 x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 x1917 -x1916 
1804.43/1811.68	v -x1915 x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 x1902 -x1901 x1900 -x1899 -x1898 
1804.43/1811.68	v -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 x1884 -x1883 -x1882 x1881 x1880 
1804.43/1811.68	v x1879 x1878 -x1877 -x1876 -x1875 x1874 x1873 -x1872 -x1871 -x1870 -x1869 x1868 -x1867 -x1866 -x1865 x1864 x1863 x1862 x1861 x1860 
1804.43/1811.68	v x1859 x1858 x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 
1804.43/1811.68	v -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 x1825 -x1824 
1804.43/1811.68	v -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 x1814 x1813 -x1812 -x1811 -x1810 -x1809 -x1808 x1807 -x1806 
1804.43/1811.68	v -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 x1799 x1798 -x1797 -x1796 x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 
1804.43/1811.68	v -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 
1804.43/1811.68	v -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 
1804.43/1811.68	v -x1751 -x1750 -x1749 x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 x1741 x1740 x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 
1804.43/1811.68	v -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 x1718 -x1717 -x1716 -x1715 
1804.43/1811.68	v -x1714 -x1713 -x1712 -x1711 x1710 x1709 x1708 x1707 x1706 x1705 x1704 x1703 x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 
1804.43/1811.68	v -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 x1681 x1680 -x1679 -x1678 
1804.43/1811.68	v -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 x1661 x1660 
1804.43/1811.68	v -x1659 -x1658 -x1657 -x1656 x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 
1804.43/1811.68	v x1641 x1640 -x1639 -x1638 -x1637 -x1636 x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 
1804.43/1811.68	v -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 
1804.43/1811.68	v -x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 x1590 -x1589 -x1588 -x1587 
1804.43/1811.68	v -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 x1569 
1804.43/1811.68	v -x1568 -x1567 -x1566 -x1565 -x1564 x1563 -x1562 -x1561 x1560 -x1559 x1558 -x1557 -x1556 x1555 x1554 x1553 x1552 x1551 x1550 
1804.43/1811.68	v -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 
1804.43/1811.68	v -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 
1804.43/1811.68	v -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 x1506 x1505 x1504 -x1503 -x1502 -x1501 -x1500 x1499 -x1498 -x1497 -x1496 
1804.43/1811.68	v -x1495 -x1494 x1493 -x1492 x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 
1804.43/1811.68	v -x1477 x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 
1804.43/1811.68	v -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 
1804.43/1811.68	v x1441 x1440 x1439 -x1438 -x1437 -x1436 x1435 -x1434 -x1433 x1432 x1431 -x1430 x1429 -x1428 -x1427 x1426 -x1425 -x1424 -x1423 
1804.43/1811.68	v x1422 x1421 -x1420 x1419 x1418 x1417 x1416 x1415 x1414 x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 
1804.43/1811.68	v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 
1804.43/1811.68	v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 x1376 x1375 -x1374 -x1373 -x1372 x1371 -x1370 -x1369 x1368 x1367 
1804.43/1811.68	v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 -x1350 -x1349 
1804.43/1811.68	v x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 
1804.43/1811.68	v x1330 x1329 x1328 x1327 -x1326 x1325 x1324 x1323 x1322 x1321 x1320 x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 
1804.43/1811.68	v -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 
1804.43/1811.68	v -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 x1277 x1276 x1275 
1804.43/1811.68	v x1274 x1273 x1272 x1271 x1270 x1269 -x1268 -x1267 -x1266 x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 x1258 -x1257 x1256 
1804.43/1811.68	v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 x1243 -x1242 -x1241 -x1240 x1239 -x1238 
1804.43/1811.68	v -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 x1225 -x1224 -x1223 -x1222 -x1221 x1220 
1804.43/1811.68	v -x1219 -x1218 -x1217 -x1216 -x1215 x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 
1804.43/1811.68	v -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 
1804.43/1811.68	v -x1182 -x1181 x1180 -x1179 -x1178 -x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 x1166 -x1165 
1804.43/1811.68	v -x1164 -x1163 x1162 -x1161 -x1160 -x1159 x1158 -x1157 -x1156 -x1155 x1154 -x1153 -x1152 x1151 -x1150 x1149 -x1148 -x1147 
1804.43/1811.68	v -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 x1131 -x1130 -x1129 -x1128 
1804.43/1811.68	v -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 x1119 -x1118 -x1117 -x1116 -x1115 -x1114 x1113 -x1112 -x1111 -x1110 
1804.43/1811.68	v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 
1804.43/1811.68	v -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 x1085 x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1074 
1804.43/1811.68	v -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 x1057 -x1056 -x1055 
1804.43/1811.68	v -x1054 x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 x1043 -x1042 -x1041 -x1040 x1039 -x1038 -x1037 
1804.43/1811.68	v -x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 x1021 -x1020 x1019 x1018 
1804.43/1811.68	v x1017 x1016 x1015 x1014 x1013 -x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 x1004 x1003 x1002 x1001 x1000 x999 -x998 
1804.43/1811.68	v -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 
1804.43/1811.68	v -x977 x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 x967 x966 x965 -x964 -x963 -x962 x961 -x960 -x959 x958 -x957 -x956 -x955 
1804.43/1811.68	v x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 
1804.43/1811.68	v -x933 x932 -x931 -x930 -x929 -x928 -x927 x926 -x925 -x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 x916 x915 x914 x913 x912 
1804.43/1811.68	v x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 x900 x899 x898 x897 x896 x895 -x894 -x893 -x892 -x891 -x890 
1804.43/1811.68	v -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 x878 x877 x876 x875 x874 x873 x872 x871 x870 x869 x868 x867 
1804.43/1811.68	v x866 x865 x864 -x863 -x862 x861 -x860 -x859 -x858 x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 
1804.43/1811.68	v x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 x834 x833 x832 -x831 x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 
1804.43/1811.68	v -x822 -x821 -x820 -x819 x818 x817 x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 
1804.43/1811.68	v -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 
1804.43/1811.68	v -x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 x765 x764 -x763 -x762 -x761 -x760 -x759 
1804.43/1811.68	v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 
1804.43/1811.68	v -x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 x722 x721 x720 x719 -x718 -x717 
1804.43/1811.68	v x716 -x715 x714 -x713 x712 -x711 x710 x709 -x708 x707 -x706 -x705 x704 -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 
1804.43/1811.68	v -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 x677 x676 -x675 -x674 x673 
1804.43/1811.68	v -x672 x671 -x670 x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 
1804.43/1811.68	v -x650 -x649 -x648 -x647 -x646 x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631 -x630 
1804.43/1811.68	v -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 x609 
1804.43/1811.68	v -x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 x591 -x590 -x589 -x588 
1804.43/1811.68	v x587 -x586 -x585 x584 x583 x582 x581 -x580 x579 x578 x577 x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 
1804.43/1811.68	v -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 x547 x546 -x545 -x544 
1804.43/1811.68	v x543 -x542 -x541 x540 x539 x538 x537 -x536 -x535 -x534 -x533 x532 x531 -x530 -x529 -x528 x527 -x526 -x525 -x524 -x523 -x522 -x521 
1804.43/1811.68	v -x520 x519 x518 x517 -x516 -x515 x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 x505 -x504 x503 -x502 -x501 -x500 -x499 
1804.73/1811.94	v x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 x484 x483 -x482 x481 -x480 -x479 x478 -x477 
1804.73/1811.94	v -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 
1804.73/1811.94	v -x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 x443 -x442 x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 
1804.73/1811.94	v -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 x423 x422 x421 x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 
1804.73/1811.94	v -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 
1804.73/1811.94	v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 x380 x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 
1804.73/1811.94	v -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 x361 -x360 -x359 x358 x357 x356 x355 x354 x353 x352 -x351 -x350 x349 -x348 x347 
1804.73/1811.94	v -x346 x345 x344 x343 x342 x341 -x340 x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 
1804.73/1811.94	v -x324 x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 x309 x308 x307 x306 x305 -x304 x303 -x302 
1804.73/1811.94	v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 x283 x282 x281 
1804.73/1811.94	v -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 x261 x260 x259 
1804.73/1811.94	v x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 x241 -x240 -x239 -x238 x237 
1804.73/1811.94	v -x236 -x235 -x234 x233 x232 -x231 -x230 x229 x228 x227 x226 x225 -x224 -x223 -x222 x221 -x220 -x219 x218 -x217 -x216 -x215 
1804.73/1811.94	v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 x200 x199 -x198 -x197 -x196 -x195 -x194 
1804.73/1811.94	v -x193 x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 x176 x175 -x174 -x173 -x172 
1804.73/1811.94	v x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 x160 -x159 -x158 -x157 x156 -x155 -x154 x153 -x152 x151 -x150 
1804.73/1811.94	v -x149 -x148 -x147 x146 -x145 -x144 x143 -x142 -x141 -x140 x139 -x138 -x137 x136 x135 x134 x133 x132 -x131 -x130 -x129 x128 
1804.73/1811.94	v -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 x109 x108 x107 x106 
1804.73/1811.94	v x105 -x104 -x103 -x102 -x101 x100 x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 x86 x85 x84 x83 x82 -x81 -x80 
1804.73/1811.94	v -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 -x54 -x53 -x52 
1804.73/1811.94	v -x51 -x50 -x49 x48 -x47 -x46 x45 x44 x43 x42 -x41 x40 -x39 x38 x37 -x36 -x35 x34 x33 -x32 -x31 x30 x29 x28 -x27 -x26 -x25 
1804.73/1811.94	v -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: 64059 MiB (63332 MiB free)
  memory of node 1: 64510 MiB (63520 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=719810, runsolver pid=719805

[startup+0.100788 s]*
/proc/loadavg: 1.08 1.11 1.15 7/237 719819
/proc/meminfo: memFree=129819520/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=46192 memory=34620 CPUtime=0.1 cores=0,2
/proc/719810/stat : 719810 (fscip) R 719805 719810 717368 0 -1 4194304 6574 0 0 0 8 2 0 0 20 0 1 0 142699832 47300608 8655 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 11548 8655 2318 3032 0 7948 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46192 KiB
Current children cumulated memory: 34620 KiB

[startup+0.215125 s]*
/proc/loadavg: 1.08 1.11 1.15 5/243 719829
/proc/meminfo: memFree=129731852/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=68852 memory=57300 CPUtime=0.21 cores=0,2
/proc/719810/stat : 719810 (fscip) R 719805 719810 717368 0 -1 4194304 12230 0 0 0 17 4 0 0 20 0 1 0 142699832 70504448 14325 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 17213 14325 2318 3032 0 13613 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 68852 KiB
Current children cumulated memory: 57300 KiB

[startup+0.315246 s]*
/proc/loadavg: 1.08 1.11 1.15 5/243 719829
/proc/meminfo: memFree=129644736/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=107740 memory=96488 CPUtime=0.31 cores=0,2
/proc/719810/stat : 719810 (fscip) R 719805 719810 717368 0 -1 4194304 22039 0 0 0 24 7 0 0 20 0 1 0 142699832 110325760 24122 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 26935 24122 2558 3032 0 23335 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 107740 KiB
Current children cumulated memory: 96488 KiB

[startup+0.700377 s]
/proc/loadavg: 1.08 1.11 1.15 5/243 719829
/proc/meminfo: memFree=129512460/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=195896 memory=182668 CPUtime=0.68 cores=0,2
/proc/719810/stat : 719810 (fscip) R 719805 719810 717368 0 -1 4194304 43568 0 0 0 55 13 0 0 20 0 1 0 142699832 200597504 45667 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 48974 45667 2590 3032 0 45374 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 195896 KiB
Current children cumulated memory: 182668 KiB

[startup+1.50035 s]
/proc/loadavg: 1.08 1.11 1.15 5/243 719829
/proc/meminfo: memFree=129181500/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=226008 memory=209648 CPUtime=1.48 cores=0,2
/proc/719810/stat : 719810 (fscip) R 719805 719810 717368 0 -1 4194304 50278 0 0 0 132 16 0 0 20 0 1 0 142699832 231432192 52412 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 56502 52412 2622 3032 0 52902 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 226008 KiB
Current children cumulated memory: 209648 KiB

[startup+3.1088 s]
/proc/loadavg: 1.39 1.17 1.17 5/245 719831
/proc/meminfo: memFree=127696172/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=701520 memory=552308 CPUtime=3.06 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 146959 0 0 0 268 38 0 0 20 0 3 0 142699832 718356480 138077 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 175380 138077 2702 3032 0 163469 0
[pid=719810/tid=719830] ppid=719805 vsize=701520 memory=198340509722 CPUtime=1.08 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 60278 0 0 0 94 14 0 0 20 0 3 0 142700013 718356480 138077 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=701520 memory=0 CPUtime=0 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142700062 718356480 138077 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 701520 KiB
Current children cumulated memory: 552308 KiB

[startup+6.30039 s]
/proc/loadavg: 1.39 1.17 1.17 5/246 719834
/proc/meminfo: memFree=126776692/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=767256 memory=636764 CPUtime=6.23 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 188033 0 0 0 579 44 0 0 20 0 3 0 142699832 785670144 159191 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 191814 159191 2734 3032 0 185501 0
[pid=719810/tid=719830] ppid=719805 vsize=767256 memory=219016 CPUtime=4.26 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 101346 0 0 0 405 21 0 0 20 0 3 0 142700013 785670144 159191 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=767256 memory=0 CPUtime=0 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 142700062 785670144 159191 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 767256 KiB
Current children cumulated memory: 636764 KiB

[startup+12.7004 s]
/proc/loadavg: 1.60 1.22 1.18 5/248 719836
/proc/meminfo: memFree=125030124/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=767256 memory=636764 CPUtime=12.6 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 213054 0 0 0 1213 47 0 0 20 0 3 0 142699832 785670144 159191 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 191814 159191 2734 3032 0 185501 0
[pid=719810/tid=719830] ppid=719805 vsize=767256 memory=0 CPUtime=10.64 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 126353 0 0 0 1040 24 0 0 20 0 3 0 142700013 785670144 159191 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=767256 memory=636764 CPUtime=0 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 142700062 785670144 159191 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 767256 KiB
Current children cumulated memory: 636764 KiB

[startup+25.5004 s]
/proc/loadavg: 2.21 1.37 1.23 5/251 719842
/proc/meminfo: memFree=122873608/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1095524 memory=918700 CPUtime=25.34 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 338626 0 0 0 2473 61 0 0 20 0 3 0 142699832 1121816576 229675 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 273881 229675 2846 3032 0 258536 0
[pid=719810/tid=719830] ppid=719805 vsize=1095524 memory=11648 CPUtime=23.37 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 251910 0 0 0 2300 37 0 0 20 0 3 0 142700013 1121816576 229675 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1095524 memory=5424 CPUtime=0 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 142700062 1121816576 229675 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 1095524 KiB
Current children cumulated memory: 918700 KiB

[startup+51.1142 s]
/proc/loadavg: 2.90 1.60 1.31 5/251 719893
/proc/meminfo: memFree=122919276/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1095524 memory=928132 CPUtime=50.8 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 442216 0 0 0 5012 68 0 0 20 0 3 0 142699832 1121816576 232033 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 273881 232033 2846 3032 0 260986 0
[pid=719810/tid=719830] ppid=719805 vsize=1095524 memory=552308 CPUtime=48.84 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 355490 0 0 0 4839 45 0 0 20 0 3 0 142700013 1121816576 232033 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1095524 memory=0 CPUtime=0 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 142700062 1121816576 232033 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 1095524 KiB
Current children cumulated memory: 928132 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.00 1.47 5/251 719902
/proc/meminfo: memFree=122785960/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1161060 memory=1025820 CPUtime=101.75 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 615950 0 0 0 10092 83 0 0 20 0 3 0 142699832 1188925440 256455 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 290265 256455 2862 3032 0 283838 0
[pid=719810/tid=719830] ppid=719805 vsize=1161060 memory=1022944 CPUtime=99.79 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 529214 0 0 0 9919 60 0 0 20 0 3 0 142700013 1188925440 256455 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1161060 memory=1017928 CPUtime=0 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 142700062 1188925440 256455 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 101.75 s
Current children cumulated vsize: 1161060 KiB
Current children cumulated memory: 1025820 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.38 1.63 5/251 719914
/proc/meminfo: memFree=122718740/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1162244 memory=1034744 CPUtime=161.36 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 713107 0 0 0 16044 92 0 0 20 0 3 0 142699832 1190137856 258686 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 290561 258686 2910 3032 0 284380 0
[pid=719810/tid=719830] ppid=719805 vsize=1162244 memory=19044 CPUtime=159.37 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 617084 0 0 0 15869 68 0 0 20 0 3 0 142700013 1190137856 258686 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1162244 memory=35540 CPUtime=0 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 142700062 1190137856 258686 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 161.36 s
Current children cumulated vsize: 1162244 KiB
Current children cumulated memory: 1034744 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.71 1.80 5/253 719928
/proc/meminfo: memFree=122687900/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1162244 memory=1036796 CPUtime=221.06 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 844157 0 0 0 22002 104 0 0 20 0 3 0 142699832 1190137856 259199 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 290561 259199 2910 3032 0 284380 0
[pid=719810/tid=719830] ppid=719805 vsize=1162244 memory=1035672 CPUtime=219.05 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 748131 0 0 0 21826 79 0 0 20 0 3 0 142700013 1190137856 259199 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1162244 memory=1036796 CPUtime=0 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 67 0 0 0 0 0 0 0 20 0 3 0 142700062 1190137856 259199 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 221.06 s
Current children cumulated vsize: 1162244 KiB
Current children cumulated memory: 1036796 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.96 1.94 5/253 719938
/proc/meminfo: memFree=122610516/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1213236 memory=1089864 CPUtime=280.78 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 960292 0 0 0 27962 116 0 0 20 0 3 0 142699832 1242353664 272466 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0

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

Current children cumulated memory: 1589664 KiB

[startup+1602.3 s]
/proc/loadavg: 4.07 4.11 3.69 5/252 721359
/proc/meminfo: memFree=118452364/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1829900 memory=1635796 CPUtime=1595.88 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 2953698 0 0 0 159305 283 0 0 20 0 3 0 142699832 1873817600 408949 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 457475 408949 2990 3032 0 445248 0
[pid=719810/tid=719830] ppid=719805 vsize=1829900 memory=11948 CPUtime=1593.52 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 2786505 0 0 0 159107 245 0 0 20 0 3 0 142700013 1873817600 408949 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1829900 memory=1589664 CPUtime=0.03 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 161 0 0 0 1 2 0 0 20 0 3 0 142700062 1873817600 408949 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 1595.88 s
Current children cumulated vsize: 1829900 KiB
Current children cumulated memory: 1635796 KiB

[startup+1662.3 s]
/proc/loadavg: 4.08 4.11 3.72 5/252 721370
/proc/meminfo: memFree=118412604/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1829900 memory=1635796 CPUtime=1655.66 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 2988663 0 0 0 165279 287 0 0 20 0 3 0 142699832 1873817600 408949 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 457475 408949 2990 3032 0 445248 0
[pid=719810/tid=719830] ppid=719805 vsize=1829900 memory=1589664 CPUtime=1653.29 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 2821457 0 0 0 165081 248 0 0 20 0 3 0 142700013 1873817600 408949 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1829900 memory=1635796 CPUtime=0.03 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 163 0 0 0 1 2 0 0 20 0 3 0 142700062 1873817600 408949 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 1655.66 s
Current children cumulated vsize: 1829900 KiB
Current children cumulated memory: 1635796 KiB

[startup+1722.3 s]
/proc/loadavg: 4.07 4.10 3.75 5/252 721381
/proc/meminfo: memFree=118250732/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1830132 memory=1636036 CPUtime=1715.44 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 3038919 0 0 0 171253 291 0 0 20 0 3 0 142699832 1874055168 409009 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 457533 409009 2990 3032 0 445306 0
[pid=719810/tid=719830] ppid=719805 vsize=1830132 memory=1589664 CPUtime=1713.07 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 2871700 0 0 0 171055 252 0 0 20 0 3 0 142700013 1874055168 409009 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1830132 memory=1636036 CPUtime=0.03 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 165 0 0 0 1 2 0 0 20 0 3 0 142700062 1874055168 409009 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 1715.44 s
Current children cumulated vsize: 1830132 KiB
Current children cumulated memory: 1636036 KiB

[startup+1782.3 s]
/proc/loadavg: 4.12 4.11 3.77 5/249 721391
/proc/meminfo: memFree=118154340/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1895668 memory=1712636 CPUtime=1775.23 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 3111216 0 0 0 177225 298 0 0 20 0 3 0 142699832 1941164032 428159 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 473917 428159 2990 3032 0 459235 0
[pid=719810/tid=719830] ppid=719805 vsize=1895668 memory=1636048 CPUtime=1772.85 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 2943980 0 0 0 177026 259 0 0 20 0 3 0 142700013 1941164032 428159 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1895668 memory=11948 CPUtime=0.03 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 169 0 0 0 1 2 0 0 20 0 3 0 142700062 1941164032 428159 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 1775.23 s
Current children cumulated vsize: 1895668 KiB
Current children cumulated memory: 1712636 KiB

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

# cumulated CPU time of all completed processes:  user=1801.71 s, system=3.14146 s

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

[startup+1792 s]*
/proc/loadavg: 4.10 4.11 3.78 5/249 721393
/proc/meminfo: memFree=118169488/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1830132 memory=1686916 CPUtime=1784.9 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 3130771 0 0 0 178191 299 0 0 20 0 3 0 142699832 1874055168 421729 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 457533 421729 2990 3032 0 452423 0
[pid=719810/tid=719830] ppid=719805 vsize=1830132 memory=1940 CPUtime=1782.53 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 2963522 0 0 0 177993 260 0 0 20 0 3 0 142700013 1874055168 421729 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1830132 memory=-4421386496264792677 CPUtime=0.03 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 142700062 1874055168 421729 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 1784.9 s
Current children cumulated vsize: 1830132 KiB
Current children cumulated memory: 1686916 KiB

[startup+1804.8 s]
/proc/loadavg: 4.08 4.10 3.78 5/249 721396
/proc/meminfo: memFree=118166072/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1830132 memory=1686944 CPUtime=1797.65 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 3136955 0 0 0 179465 300 0 0 20 0 3 0 142699832 1874055168 421736 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 457533 421736 2990 3032 0 452423 0
[pid=719810/tid=719830] ppid=719805 vsize=1830132 memory=1687880 CPUtime=1795.27 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 2969705 0 0 0 179267 260 0 0 20 0 3 0 142700013 1874055168 421736 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1830132 memory=1686916 CPUtime=0.03 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 142700062 1874055168 421736 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 1797.65 s
Current children cumulated vsize: 1830132 KiB
Current children cumulated memory: 1686944 KiB

[startup+1808 s]*
/proc/loadavg: 4.07 4.10 3.78 5/249 721396
/proc/meminfo: memFree=118166020/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1830132 memory=1686944 CPUtime=1800.85 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 3138949 0 0 0 179785 300 0 0 20 0 3 0 142699832 1874055168 421736 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 457533 421736 2990 3032 0 452423 0
[pid=719810/tid=719830] ppid=719805 vsize=1830132 memory=6720667640500599911 CPUtime=1798.47 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 2971699 0 0 0 179587 260 0 0 20 0 3 0 142700013 1874055168 421736 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1830132 memory=-4421386496264792677 CPUtime=0.03 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 142700062 1874055168 421736 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 1800.85 s
Current children cumulated vsize: 1830132 KiB
Current children cumulated memory: 1686944 KiB

[startup+1809.6 s]
/proc/loadavg: 4.07 4.10 3.78 5/249 721396
/proc/meminfo: memFree=118166012/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1830132 memory=1686948 CPUtime=1802.43 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 3139109 0 0 0 179943 300 0 0 20 0 3 0 142699832 1874055168 421737 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 457533 421737 2990 3032 0 452423 0
[pid=719810/tid=719830] ppid=719805 vsize=1830132 memory=35540 CPUtime=1800.05 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 2971859 0 0 0 179745 260 0 0 20 0 3 0 142700013 1874055168 421737 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1830132 memory=11648 CPUtime=0.03 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 142700062 1874055168 421737 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 1802.43 s
Current children cumulated vsize: 1830132 KiB
Current children cumulated memory: 1686948 KiB

[startup+1811.2 s]
/proc/loadavg: 4.07 4.10 3.78 5/249 721396
/proc/meminfo: memFree=118165984/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1830132 memory=1686972 CPUtime=1804.03 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 3139585 0 0 0 180103 300 0 0 20 0 3 0 142699832 1874055168 421743 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 457533 421743 2990 3032 0 452423 0
[pid=719810/tid=719830] ppid=719805 vsize=1830132 memory=1686944 CPUtime=1801.64 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 2972335 0 0 0 179904 260 0 0 20 0 3 0 142700013 1874055168 421743 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1830132 memory=1686944 CPUtime=0.03 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 142700062 1874055168 421743 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 1804.03 s
Current children cumulated vsize: 1830132 KiB
Current children cumulated memory: 1686972 KiB

[startup+1811.6 s]
/proc/loadavg: 4.07 4.10 3.78 5/249 721396
/proc/meminfo: memFree=118165984/131655788 swapFree=131071996/131071996
[pid=719810] ppid=719805 vsize=1830132 memory=1686972 CPUtime=1804.43 cores=0,2
/proc/719810/stat : 719810 (fscip) S 719805 719810 717368 0 -1 1077936128 3166444 0 0 0 180142 301 0 0 20 0 3 0 142699832 1874055168 421743 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
/proc/719810/statm: 457533 421743 2990 3032 0 452423 0
[pid=719810/tid=719830] ppid=719805 vsize=1830132 memory=1686972 CPUtime=1802.04 cores=0,2
/proc/719810/task/719830/stat : 719830 (fscip) R 719805 719810 717368 0 -1 4194368 2999195 0 0 0 179943 261 0 0 20 0 3 0 142700013 1874055168 421743 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
[pid=719810/tid=719831] ppid=719805 vsize=1830132 memory=4716 CPUtime=0.03 cores=0,2
/proc/719810/task/719831/stat : 719831 (fscip) S 719805 719810 717368 0 -1 1077936192 170 0 0 0 1 2 0 0 20 0 3 0 142700062 1874055168 421743 134679101440 4194304 16613245 140728244052864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 39833600 140728244061153 140728244061269 140728244061269 140728244068336 0
Current children cumulated CPU time: 1804.43 s
Current children cumulated vsize: 1830132 KiB
Current children cumulated memory: 1686972 KiB

[startup+1812 s]*
/proc/loadavg: 4.07 4.10 3.78 5/247 721396
/proc/meminfo: memFree=119156636/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): 1812.02
CPU time (s): 1804.85
CPU user time (s): 1801.71
CPU system time (s): 3.14146
CPU usage (%): 99.6044
Max. virtual memory (cumulated for all children) (KiB): 1895668
Max. memory (cumulated for all children) (KiB): 1726040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.71
system time used= 3.14147
maximum resident set size= 1726168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3211745
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= 3565
involuntary context switches= 12659


# summary of solver processes directly reported to runsolver:
#   pid: 719810
#   total CPU time (s): 1804.85
#   total CPU user time (s): 1801.71
#   total CPU system time (s): 3.14146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.87274 second user time and 20.5412 second system time

The end

Launcher Data

Begin job on nodeC010 at 2024-07-13 23:16:57
IDJOB=4427017
IDBENCH=143093
IDSOLVER=3044
FILE ID=nodeC010/4427017-1720905405
RUNJOBID= nodeC010-1720905417-719765
SLURM_JOB_ID= 7486076
Free space on /tmp= 723776 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.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-4427017-1720905405/watcher-4427017-1720905405 -o /tmp/evaluation-result-4427017-1720905405/solver-4427017-1720905405 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720905417-719765 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4427017-1720905405.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= cd5851c8accd1f6745e787977810cadd
RANDOM SEED=323637282

nodeC010.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		: 1197.175
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.51
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.178
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.31
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.179
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.51
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.168
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.31
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		: 1197.182
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.51
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		: 3478.271
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.31
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.173
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.51
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.174
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129898272 kB
MemAvailable:   129980336 kB
Buffers:          335248 kB
Cached:           594192 kB
SwapCached:            0 kB
Active:           524100 kB
Inactive:         731812 kB
Active(anon):       1336 kB
Inactive(anon):   362832 kB
Active(file):     522764 kB
Inactive(file):   368980 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            121292 kB
Writeback:            48 kB
AnonPages:        326500 kB
Mapped:           101680 kB
Shmem:             37704 kB
KReclaimable:      60704 kB
Slab:             150364 kB
SReclaimable:      60704 kB
SUnreclaim:        89660 kB
KernelStack:        3584 kB
PageTables:         9548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     646616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            46432 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      162632 kB
DirectMap2M:     9179136 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723660 MiB
End job on nodeC010 at 2024-07-13 23:47:09