Trace number 4464215

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 NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-30OPT3437313 711.141 713.765

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_4.opb
MD5SUM9e5b0b67365644613b47988ddf91495e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3437313
Best CPU time to get the best result obtained on this benchmark711.141
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 153130375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 77399784670
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 153130375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 77399784670
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

OK	3437313

Watcher Data

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464215-1722382242/watcher-4464215-1722382242 -o /tmp/evaluation-result-4464215-1722382242/solver-4464215-1722382242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722378597-31855 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464215-1722382242.opb -qsol -t 3600 -sth 1 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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=34357, runsolver pid=34354

[startup+0.100406 s]*
/proc/loadavg: 4.43 4.19 4.08 5/263 34358
/proc/meminfo: memFree=128936352/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=72132 memory=60472 CPUtime=0.09 cores=0,2
/proc/34357/stat : 34357 (fscip) R 34354 34357 31845 0 -1 4194304 12862 0 0 0 8 1 0 0 20 0 1 0 4826541 73863168 15118 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 18033 15118 2630 3035 0 14429 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72132 KiB
Current children cumulated memory: 60472 KiB

[startup+0.205599 s]*
/proc/loadavg: 4.43 4.19 4.08 5/263 34358
/proc/meminfo: memFree=128922280/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=86512 memory=75268 CPUtime=0.2 cores=0,2
/proc/34357/stat : 34357 (fscip) R 34354 34357 31845 0 -1 4194304 18733 0 0 0 18 2 0 0 20 0 1 0 4826541 88588288 18817 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 21628 18817 2774 3035 0 18024 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86512 KiB
Current children cumulated memory: 75268 KiB

[startup+0.305562 s]*
/proc/loadavg: 4.43 4.19 4.08 5/263 34358
/proc/meminfo: memFree=128921100/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=87424 memory=76060 CPUtime=0.3 cores=0,2
/proc/34357/stat : 34357 (fscip) R 34354 34357 31845 0 -1 4194304 18929 0 0 0 28 2 0 0 20 0 1 0 4826541 89522176 19015 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 21856 19015 2774 3035 0 18252 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87424 KiB
Current children cumulated memory: 76060 KiB

[startup+0.700406 s]
/proc/loadavg: 4.43 4.19 4.08 5/265 34360
/proc/meminfo: memFree=128859700/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=209512 memory=163364 CPUtime=0.67 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 44206 0 0 0 62 5 0 0 20 0 3 0 4826541 214540288 40841 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 52378 40841 2854 3035 0 47706 0
[pid=34357/tid=34359] ppid=34354 vsize=209512 memory=26144 CPUtime=0.28 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 17881 0 0 0 26 2 0 0 20 0 3 0 4826579 214540288 40841 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=209512 memory=2369 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4826583 214540288 40841 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 209512 KiB
Current children cumulated memory: 163364 KiB

[startup+1.5004 s]
/proc/loadavg: 4.43 4.19 4.08 5/265 34360
/proc/meminfo: memFree=128826768/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=275048 memory=172384 CPUtime=1.47 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 47717 0 0 0 141 6 0 0 20 0 3 0 4826541 281649152 43096 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 68762 43096 2950 3035 0 50162 0
[pid=34357/tid=34359] ppid=34354 vsize=275048 memory=2369 CPUtime=1.07 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 21392 0 0 0 105 2 0 0 20 0 3 0 4826579 281649152 43096 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=275048 memory=0 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4826583 281649152 43096 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 275048 KiB
Current children cumulated memory: 172384 KiB

[startup+3.1064 s]
/proc/loadavg: 4.43 4.19 4.08 5/267 34363
/proc/meminfo: memFree=128627928/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=275048 memory=174828 CPUtime=3.06 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 54718 0 0 0 300 6 0 0 20 0 3 0 4826541 281649152 43707 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 68762 43707 2950 3035 0 50767 0
[pid=34357/tid=34359] ppid=34354 vsize=275048 memory=0 CPUtime=2.66 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 28386 0 0 0 263 3 0 0 20 0 3 0 4826579 281649152 43707 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=275048 memory=0 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4826583 281649152 43707 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 275048 KiB
Current children cumulated memory: 174828 KiB

[startup+6.3104 s]
/proc/loadavg: 4.47 4.21 4.09 5/267 34363
/proc/meminfo: memFree=128585728/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=275048 memory=183456 CPUtime=6.23 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 67414 0 0 0 616 7 0 0 20 0 3 0 4826541 281649152 45864 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 68762 45864 2950 3035 0 52983 0
[pid=34357/tid=34359] ppid=34354 vsize=275048 memory=0 CPUtime=5.84 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 41082 0 0 0 580 4 0 0 20 0 3 0 4826579 281649152 45864 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=275048 memory=176356 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4826583 281649152 45864 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 275048 KiB
Current children cumulated memory: 183456 KiB

[startup+12.7004 s]
/proc/loadavg: 4.43 4.20 4.09 5/267 34366
/proc/meminfo: memFree=128566272/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=275048 memory=197352 CPUtime=12.56 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 88329 0 0 0 1248 8 0 0 20 0 3 0 4826541 281649152 49338 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 68762 49338 2950 3035 0 56532 0
[pid=34357/tid=34359] ppid=34354 vsize=275048 memory=0 CPUtime=12.17 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 61987 0 0 0 1212 5 0 0 20 0 3 0 4826579 281649152 49338 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=275048 memory=12788 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 4826583 281649152 49338 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 275048 KiB
Current children cumulated memory: 197352 KiB

[startup+25.5004 s]
/proc/loadavg: 4.34 4.19 4.09 5/267 34367
/proc/meminfo: memFree=128449488/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=275048 memory=221380 CPUtime=25.25 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 113017 0 0 0 2515 10 0 0 20 0 3 0 4826541 281649152 55345 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 68762 55345 2966 3035 0 62494 0
[pid=34357/tid=34359] ppid=34354 vsize=275048 memory=197552 CPUtime=24.86 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 86666 0 0 0 2479 7 0 0 20 0 3 0 4826579 281649152 55345 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=275048 memory=12788 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4826583 281649152 55345 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 275048 KiB
Current children cumulated memory: 221380 KiB

[startup+51.1055 s]
/proc/loadavg: 4.30 4.19 4.09 5/267 34370
/proc/meminfo: memFree=128411416/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=239792 CPUtime=50.66 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 148405 0 0 0 5053 13 0 0 20 0 3 0 4826541 348758016 59948 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 59948 2966 3035 0 67428 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=221928 CPUtime=50.25 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 122018 0 0 0 5016 9 0 0 20 0 3 0 4826579 348758016 59948 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=-5155631293054610309 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 59948 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 50.66 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 239792 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.18 4.09 5/267 34380
/proc/meminfo: memFree=128373204/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=240048 CPUtime=101.68 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 188370 0 0 0 10152 16 0 0 20 0 3 0 4826541 348758016 60012 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 60012 3014 3035 0 67428 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=11728 CPUtime=101.28 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 161837 0 0 0 10116 12 0 0 20 0 3 0 4826579 348758016 60012 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=240024 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 60012 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 101.68 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 240048 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.14 4.08 5/267 34391
/proc/meminfo: memFree=128357000/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=240560 CPUtime=161.49 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 219939 0 0 0 16131 18 0 0 20 0 3 0 4826541 348758016 60140 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 60140 3030 3035 0 67428 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=240244 CPUtime=161.08 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 191341 0 0 0 16094 14 0 0 20 0 3 0 4826579 348758016 60140 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=240560 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 60140 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 161.49 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 240560 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/266 34402
/proc/meminfo: memFree=128350584/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=242276 CPUtime=221.3 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 238382 0 0 0 22110 20 0 0 20 0 3 0 4826541 348758016 60569 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 60569 3334 3035 0 67428 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=11728 CPUtime=220.89 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 208751 0 0 0 22073 16 0 0 20 0 3 0 4826579 348758016 60569 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=11728 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 60569 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0

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

/proc/34357/statm: 85146 68427 3334 3035 0 76497 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=273336 CPUtime=519.94 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 286990 0 0 0 51972 22 0 0 20 0 3 0 4826579 348758016 68427 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=273336 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 100 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 68427 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 520.35 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 273708 KiB

[startup+582.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/266 34522
/proc/meminfo: memFree=127822884/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=278228 CPUtime=580.15 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 332743 0 0 0 57988 27 0 0 20 0 3 0 4826541 348758016 69557 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 69557 3334 3035 0 77327 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=273336 CPUtime=579.73 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 301847 0 0 0 57950 23 0 0 20 0 3 0 4826579 348758016 69557 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=278228 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 100 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 69557 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 580.15 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 278228 KiB

[startup+642.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/266 34534
/proc/meminfo: memFree=127807852/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=283092 CPUtime=639.93 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 356150 0 0 0 63964 29 0 0 20 0 3 0 4826541 348758016 70773 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 70773 3334 3035 0 78012 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=273336 CPUtime=639.5 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 324106 0 0 0 63925 25 0 0 20 0 3 0 4826579 348758016 70773 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=11728 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 105 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 70773 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 639.93 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 283092 KiB

[startup+702.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/266 34545
/proc/meminfo: memFree=127797040/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=292900 CPUtime=699.7 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 379179 0 0 0 69939 31 0 0 20 0 3 0 4826541 348758016 73225 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 73225 3334 3035 0 79047 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=273336 CPUtime=699.28 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 347118 0 0 0 69901 27 0 0 20 0 3 0 4826579 348758016 73225 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=288444 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 109 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 73225 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 699.7 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 292900 KiB

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

# cumulated CPU time of all completed processes:  user=710.809 s, system=0.332744 s

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

[startup+704 s]*
/proc/loadavg: 4.14 4.13 4.09 5/266 34545
/proc/meminfo: memFree=127797052/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=292900 CPUtime=701.4 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 381389 0 0 0 70109 31 0 0 20 0 3 0 4826541 348758016 73225 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 73225 3334 3035 0 79047 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=-7379266206031765111 CPUtime=700.97 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 349320 0 0 0 70070 27 0 0 20 0 3 0 4826579 348758016 73225 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=-7449981232481271489 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 111 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 73225 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 701.4 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 292900 KiB

[startup+710.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 34545
/proc/meminfo: memFree=127797008/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=292904 CPUtime=707.78 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 382297 0 0 0 70746 32 0 0 20 0 3 0 4826541 348758016 73226 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 73226 3334 3035 0 79047 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=292884 CPUtime=707.34 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 350224 0 0 0 70707 27 0 0 20 0 3 0 4826579 348758016 73226 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=-7451323800069694075 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 111 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 73226 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 707.78 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 292904 KiB

[startup+712 s]*
/proc/loadavg: 4.11 4.12 4.09 5/266 34546
/proc/meminfo: memFree=127796928/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=292904 CPUtime=709.38 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 382366 0 0 0 70906 32 0 0 20 0 3 0 4826541 348758016 73226 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 73226 3334 3035 0 79047 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=-7379266206031765111 CPUtime=708.95 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 350293 0 0 0 70868 27 0 0 20 0 3 0 4826579 348758016 73226 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=-7449981232481271489 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 111 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 73226 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 709.38 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 292904 KiB

[startup+712.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 34546
/proc/meminfo: memFree=127796928/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=292904 CPUtime=710.17 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 382428 0 0 0 70985 32 0 0 20 0 3 0 4826541 348758016 73226 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 73226 3334 3035 0 79047 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=2268 CPUtime=709.74 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 350354 0 0 0 70947 27 0 0 20 0 3 0 4826579 348758016 73226 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=-7451323800069694075 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 111 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 73226 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 710.17 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 292904 KiB

[startup+713.2 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 34546
/proc/meminfo: memFree=127796932/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=292904 CPUtime=710.57 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 382428 0 0 0 71025 32 0 0 20 0 3 0 4826541 348758016 73226 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 73226 3334 3035 0 79047 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=292904 CPUtime=710.13 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 350354 0 0 0 70986 27 0 0 20 0 3 0 4826579 348758016 73226 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=-7451323800069694075 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 111 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 73226 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 710.57 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 292904 KiB

[startup+713.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 34546
/proc/meminfo: memFree=127796932/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=292916 CPUtime=710.97 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 382516 0 0 0 71065 32 0 0 20 0 3 0 4826541 348758016 73229 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 73229 3334 3035 0 79047 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=292904 CPUtime=710.53 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 350442 0 0 0 71026 27 0 0 20 0 3 0 4826579 348758016 73229 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=292904 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 111 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 73229 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 710.97 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 292916 KiB

[startup+713.7 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 34546
/proc/meminfo: memFree=127796932/131524600 swapFree=131071996/131071996
[pid=34357] ppid=34354 vsize=340584 memory=292916 CPUtime=711.07 cores=0,2
/proc/34357/stat : 34357 (fscip) S 34354 34357 31845 0 -1 1077936128 382832 0 0 0 71075 32 0 0 20 0 3 0 4826541 348758016 73229 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
/proc/34357/statm: 85146 73229 3334 3035 0 79047 0
[pid=34357/tid=34359] ppid=34354 vsize=340584 memory=273336 CPUtime=710.63 cores=0,2
/proc/34357/task/34359/stat : 34359 (fscip) R 34354 34357 31845 0 -1 4194368 350758 0 0 0 71036 27 0 0 20 0 3 0 4826579 348758016 73229 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
[pid=34357/tid=34360] ppid=34354 vsize=340584 memory=288444 CPUtime=0 cores=0,2
/proc/34357/task/34360/stat : 34360 (fscip) S 34354 34357 31845 0 -1 1077936192 111 0 0 0 0 0 0 0 20 0 3 0 4826583 348758016 73229 134679101440 4194304 16623229 140722370718128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 25116672 140722370720790 140722370720906 140722370720906 140722370727920 0
Current children cumulated CPU time: 711.07 s
Current children cumulated vsize: 340584 KiB
Current children cumulated memory: 292916 KiB

Child status: 0

Real time (s): 713.765
CPU time (s): 711.141
CPU user time (s): 710.809
CPU system time (s): 0.332744
CPU usage (%): 99.6324
Max. virtual memory (cumulated for all children) (KiB): 340584
Max. memory (cumulated for all children) (KiB): 292916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 710.809
system time used= 0.332744
maximum resident set size= 292916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 393591
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= 1385
involuntary context switches= 5200


# summary of solver processes directly reported to runsolver:
#   pid: 34357
#   total CPU time (s): 711.141
#   total CPU user time (s): 710.809
#   total CPU system time (s): 0.332744

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27883 second user time and 3.28937 second system time

The end

Launcher Data

Begin job on nodeC033 at 2024-07-31 01:30:42
IDJOB=4464215
IDBENCH=155624
IDSOLVER=3092
FILE ID=nodeC033/4464215-1722382242
RUNJOBID= nodeC033-1722378597-31855
SLURM_JOB_ID= 8249856
Free space on /tmp= 889992 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_4.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464215-1722382242/watcher-4464215-1722382242 -o /tmp/evaluation-result-4464215-1722382242/solver-4464215-1722382242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722378597-31855 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464215-1722382242.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 9e5b0b67365644613b47988ddf91495e
RANDOM SEED=83643309

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128987212 kB
MemAvailable:   128841000 kB
Buffers:           93716 kB
Cached:           596272 kB
SwapCached:            0 kB
Active:           276180 kB
Inactive:        1788000 kB
Active(anon):       1540 kB
Inactive(anon):  1393984 kB
Active(file):     274640 kB
Inactive(file):   394016 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29096 kB
Writeback:            12 kB
AnonPages:       1374204 kB
Mapped:           123512 kB
Shmem:             21336 kB
KReclaimable:      49908 kB
Slab:             130820 kB
SReclaimable:      49908 kB
SUnreclaim:        80912 kB
KernelStack:        4192 kB
PageTables:        12044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1512276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9600 kB
HardwareCorrupted:     0 kB
AnonHugePages:    325632 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:      283348 kB
DirectMap2M:     8927232 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC033 at 2024-07-31 01:42:36