Trace number 4434588

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-02OPT1126169600 2922.39 2932.85

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
MD5SUM8990d9f8b403d84c2b7408cf78742133
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 benchmark1126169600
Best CPU time to get the best result obtained on this benchmark2936.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.08	c Default LC presolving (default).
0.00/0.08	c ** Before presolving: virtualMemUsedAtLc = 67530752, getVmSize() = 67530752, SCIPgetMemUsed() = 34022044, SCIPgetMemTotal() = 45657100, SCIPgetMemExternEstim() = 13971850
0.00/0.08	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.50/0.52	c ** Estimated virtualMemUsedAtSolver = 77125719, getVmSize() = 124960768, SCIPgetMemUsed() = 66300505, SCIPgetMemTotal() = 101716729, SCIPgetMemExternEstim() = 13971850
0.50/0.52	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.50/0.52	c Original Problem   :
0.50/0.52	c   Problem name     : instance-4434588-1721064090
0.50/0.52	c   Variables        : 6651 (6651 binary, 0 integer, 0 implicit integer, 0 continuous)
0.50/0.52	c   Constraints      : 721
0.50/0.52	c   Objective sense  : minimize
0.50/0.52	c Presolved Problem  :
0.50/0.52	c   Variables        : 3818 (3818 binary, 0 integer, 0 implicit integer, 0 continuous)
0.50/0.52	c   Constraints      : 536
0.50/0.52	c Constraints        : Number
0.50/0.52	c   knapsack         : 183 
0.50/0.52	c   setppc           : 330 
0.50/0.52	c   logicor          : 23 
0.50/0.52	c ** Instance transfer method used: 0
0.50/0.54	c ** ParaScipInstance copy does not increase the number of variables. **
0.50/0.55	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.50/0.55	c                                Nodes    Active                                            
0.50/0.55	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.79/0.84	c *       1              0           1         1  1342176256.0000                -          -
0.89/0.97	c *       1              0           1         1  1275067392.0000                -          -
0.98/1.02	c *       1              0           1         1  1214970880.0000                -          -
3.36/3.44	c *       3              0           1         1  1140849664.0000                -          -
21.40/21.60	c        22              2           1         1  1140849664.0000  1125417483.0281      1.37%
26.75/27.07	c        27             36          35         1  1140849664.0000  1125433196.5178      1.37%
32.19/32.50	c        33             96          95         1  1140849664.0000  1125433196.5178      1.37%
37.93/38.39	c        38            185         184         1  1140849664.0000  1125447035.0686      1.37%
39.91/40.34	c *      40            199         198         1  1132461056.0000  1125447035.0686      0.62%
39.91/40.35	c *      40            199         198         1  1132067840.0000  1125447035.0686      0.59%
43.10/43.50	c        44            265         247         1  1132067840.0000  1125491176.8434      0.58%
48.18/48.63	c        49            404         386         1  1132067840.0000  1125495311.3494      0.58%
53.46/53.96	c *      54            517         499         1  1129970688.0000  1125606677.4227      0.39%
53.46/53.96	c        54            517         499         1  1129970688.0000  1125606677.4227      0.39%
53.46/53.99	c *      54            517         499         1  1129316352.0000  1125606677.4227      0.33%
59.35/59.85	c        60            703         552         1  1129316352.0000  1125637784.3291      0.33%
63.53/64.06	c *      64            757         604         1  1129185280.0000  1125652883.8539      0.31%
64.92/65.49	c        65            806         637         1  1129185280.0000  1125661698.5305      0.31%
70.51/71.10	c        71            943         768         1  1129185280.0000  1125691213.8523      0.31%
76.08/76.61	c        77           1115         928         1  1129185280.0000  1125702949.8008      0.31%
81.47/82.09	c        82           1286        1087         1  1129185280.0000  1125715565.1683      0.31%
84.95/85.58	c *      86           1362        1153         1  1128463360.0000  1125735388.3042      0.24%
86.75/87.31	c        87           1418        1087         1  1128463360.0000  1125737308.4134      0.24%
92.13/92.70	c        93           1592        1233         1  1128463360.0000  1125743967.7519      0.24%
110.07/110.70	c       111           1659           0         1  1128463360.0000  1125750963.8894      0.24%
115.46/116.19	c       116           1728          67         1  1128463360.0000  1125750963.8894      0.24%
120.63/121.38	c       121           1864         163         1  1128463360.0000  1125750963.8894      0.24%
125.92/126.61	c       127           1987         246         1  1128463360.0000  1125750963.8894      0.24%
131.10/131.89	c       132           2104         319         1  1128463360.0000  1125750963.8894      0.24%
136.38/137.17	c       137           2215         392         1  1128463360.0000  1125750963.8894      0.24%
141.66/142.47	c       142           2331         460         1  1128463360.0000  1125750963.8894      0.24%
146.85/147.64	c       148           2450         543         1  1128463360.0000  1125750963.8894      0.24%
151.92/152.75	c       153           2643         668         1  1128463360.0000  1125750963.8894      0.24%
157.00/157.86	c       158           2917         774         1  1128463360.0000  1125750963.8894      0.24%
157.10/157.91	c *     158           2917         774         1  1126679552.0000  1125750963.8894      0.08%
157.10/157.93	c *     158           2917         774         1  1126662144.0000  1125750963.8894      0.08%
162.08/162.95	c       163           3303         369         1  1126662144.0000  1125750963.8894      0.08%
167.18/168.06	c       168           3553         421         1  1126662144.0000  1125750963.8894      0.08%
172.26/173.16	c       173           3739         457         1  1126662144.0000  1125750963.8894      0.08%
177.63/178.56	c       179           3911         491         1  1126662144.0000  1125750963.8894      0.08%
182.81/183.73	c       184           4098         528         1  1126662144.0000  1125750963.8894      0.08%
187.89/188.81	c       189           4328         572         1  1126662144.0000  1125750963.8894      0.08%
192.97/193.92	c       194           4564         620         1  1126662144.0000  1125750963.8894      0.08%
198.16/199.15	c       199           4830         680         1  1126662144.0000  1125750963.8894      0.08%
203.33/204.34	c       204           5098         728         1  1126662144.0000  1125750963.8894      0.08%
206.32/207.38	c *     207           5206         744         1  1126333440.0000  1125750963.8894      0.05%
209.12/210.12	c       210           5395         307         1  1126333440.0000  1125762997.1836      0.05%
214.19/215.24	c       215           5712         344         1  1126333440.0000  1125775439.7064      0.05%
219.97/221.00	c       221           6044         388         1  1126333440.0000  1125784348.7653      0.05%
225.74/226.81	c       227           6531         476         1  1126333440.0000  1125802709.4462      0.05%
225.95/227.07	c *     227           6531         476         1  1126170624.0000  1125802709.4462      0.03%
226.95/228.04	c *     228           6560         240         1  1126169600.0000  1125803085.8480      0.03%
231.53/232.62	c       233           7059         287         1  1126169600.0000  1125805890.3704      0.03%
237.30/238.42	c       238           7461         330         1  1126169600.0000  1125809700.2410      0.03%
242.28/243.44	c       243           7849         368         1  1126169600.0000  1125816576.1893      0.03%
247.37/248.52	c       249           8470         411         1  1126169600.0000  1125825299.9151      0.03%
253.25/254.45	c       254           9090         437         1  1126169600.0000  1125839290.5390      0.03%
258.52/259.77	c       260           9554         464         1  1126169600.0000  1125844197.5785      0.03%
264.51/265.79	c       266          10228         488         1  1126169600.0000  1125844383.7674      0.03%
269.79/271.07	c       271          10963         511         1  1126169600.0000  1125845331.6645      0.03%
275.36/276.64	c       277          11805         534         1  1126169600.0000  1125850738.4918      0.03%
280.64/281.92	c       282          12695         556         1  1126169600.0000  1125857682.8091      0.03%
286.23/287.53	c       288          13272         615         1  1126169600.0000  1125860925.2592      0.03%
292.00/293.30	c       293          13886         599         1  1126169600.0000  1125868599.1048      0.03%
297.88/299.22	c       299          14343         629         1  1126169600.0000  1125873542.6443      0.03%
303.26/304.68	c       305          14946         662         1  1126169600.0000  1125875674.4941      0.03%
308.34/309.77	c       310          15620         671         1  1126169600.0000  1125879400.1887      0.03%
314.22/315.65	c       316          16180         733         1  1126169600.0000  1125882107.2209      0.03%
320.20/321.60	c       322          16837         802         1  1126169600.0000  1125884082.7498      0.03%
325.98/327.41	c       327          17371         854         1  1126169600.0000  1125886149.4502      0.03%
331.57/333.03	c       333          17930         895         1  1126169600.0000  1125890920.4627      0.02%
336.74/338.22	c       338          18500         909         1  1126169600.0000  1125894293.8749      0.02%
342.71/344.21	c       344          19179         949         1  1126169600.0000  1125898629.4352      0.02%
347.69/349.23	c       349          19770         978         1  1126169600.0000  1125900563.0907      0.02%
352.68/354.28	c       354          20280         988         1  1126169600.0000  1125904153.8914      0.02%
358.05/359.60	c       360          20780        1016         1  1126169600.0000  1125907210.3630      0.02%
363.23/364.84	c       365          21250        1026         1  1126169600.0000  1125909794.5275      0.02%
369.22/370.85	c       371          21819        1009         1  1126169600.0000  1125911893.6541      0.02%
374.70/376.38	c       376          22290        1030         1  1126169600.0000  1125915112.7153      0.02%
379.78/381.41	c       381          22630        1036         1  1126169600.0000  1125917284.8633      0.02%
385.37/387.03	c       387          22987        1044         1  1126169600.0000  1125923437.5884      0.02%
391.34/393.07	c       393          23425        1051         1  1126169600.0000  1125925831.4955      0.02%
396.42/398.14	c       398          23810        1084         1  1126169600.0000  1125929659.6507      0.02%
401.89/403.68	c       404          24362        1110         1  1126169600.0000  1125931455.8845      0.02%
407.57/409.32	c       409          24730        1104         1  1126169600.0000  1125935344.9989      0.02%
413.35/415.11	c       415          25148        1114         1  1126169600.0000  1125935784.8092      0.02%
418.71/420.58	c       421          25535        1126         1  1126169600.0000  1125936817.2326      0.02%
423.99/425.87	c       426          25880        1153         1  1126169600.0000  1125939009.3914      0.02%
428.98/430.88	c       431          26297        1186         1  1126169600.0000  1125941200.3082      0.02%
434.17/436.07	c       436          26850        1197         1  1126169600.0000  1125942187.2078      0.02%
439.73/441.65	c       442          27483        1226         1  1126169600.0000  1125944888.8889      0.02%
445.12/447.01	c       447          27836        1255         1  1126169600.0000  1125945328.9683      0.02%
450.50/452.43	c       452          28390        1291         1  1126169600.0000  1125945758.9856      0.02%
456.08/458.00	c       458          28930        1337         1  1126169600.0000  1125946595.5556      0.02%
461.44/463.48	c       463          29360        1369         1  1126169600.0000  1125948129.2494      0.02%
466.63/468.62	c       469          29901        1381         1  1126169600.0000  1125949430.0000      0.02%
471.91/473.90	c       474          30451        1405         1  1126169600.0000  1125951088.5907      0.02%
477.49/479.51	c       480          31010        1454         1  1126169600.0000  1125953250.9867      0.02%
482.57/484.68	c       485          31560        1470         1  1126169600.0000  1125955620.1811      0.02%
487.85/489.95	c       490          32077        1487         1  1126169600.0000  1125957739.4328      0.02%
493.83/495.92	c       496          32771        1555         1  1126169600.0000  1125960362.6667      0.02%
498.91/501.04	c       501          33339        1599         1  1126169600.0000  1125961118.4762      0.02%
504.38/506.56	c       507          33910        1614         1  1126169600.0000  1125962757.4905      0.02%
509.56/511.73	c       512          34533        1655         1  1126169600.0000  1125963733.4711      0.02%
514.85/517.08	c       517          35110        1672         1  1126169600.0000  1125964921.4416      0.02%
520.22/522.40	c       522          35699        1685         1  1126169600.0000  1125966020.1741      0.02%
526.00/528.26	c       528          36640        1740         1  1126169600.0000  1125967038.3996      0.02%
531.17/533.47	c       533          37420        1766         1  1126169600.0000  1125967561.5909      0.02%
536.95/539.20	c       539          37980        1808         1  1126169600.0000  1125968486.4000      0.02%
542.33/544.68	c       545          38610        1852         1  1126169600.0000  1125969468.6033      0.02%
547.91/550.26	c       550          39240        1845         1  1126169600.0000  1125970404.8684      0.02%
553.09/555.46	c       555          39774        1855         1  1126169600.0000  1125971071.8646      0.02%
558.27/560.67	c       561          40270        1877         1  1126169600.0000  1125972076.6113      0.02%
563.76/566.18	c       566          40830        1902         1  1126169600.0000  1125973227.1407      0.02%
568.74/571.19	c       571          41350        1920         1  1126169600.0000  1125974065.8658      0.02%
574.52/576.99	c       577          41847        1943         1  1126169600.0000  1125975144.4429      0.02%
580.09/582.56	c       583          42294        1981         1  1126169600.0000  1125975821.4493      0.02%
585.27/587.75	c       588          42757        2006         1  1126169600.0000  1125976502.5391      0.02%
590.86/593.30	c       593          43290        2062         1  1126169600.0000  1125976631.4667      0.02%
596.44/598.93	c       599          43774        2104         1  1126169600.0000  1125977711.2725      0.02%
601.63/604.15	c       604          44280        2128         1  1126169600.0000  1125978478.6944      0.02%
607.20/609.72	c       610          44800        2141         1  1126169600.0000  1125980501.1244      0.02%
612.98/615.57	c       616          45470        2178         1  1126169600.0000  1125980876.9053      0.02%
618.27/620.83	c       621          46050        2212         1  1126169600.0000  1125980977.4790      0.02%
623.94/626.52	c       627          46736        2221         1  1126169600.0000  1125981305.9048      0.02%
628.93/631.58	c       632          47273        2259         1  1126169600.0000  1125981305.9048      0.02%
634.11/636.71	c       637          47800        2306         1  1126169600.0000  1125981487.4074      0.02%
639.19/641.86	c       642          48400        2312         1  1126169600.0000  1125982395.2406      0.02%
644.88/647.50	c       648          48953        2342         1  1126169600.0000  1125983322.9303      0.02%
649.95/652.66	c       653          49410        2375         1  1126169600.0000  1125984081.4179      0.02%
655.23/657.90	c       658          49720        2401         1  1126169600.0000  1125985064.5307      0.02%
660.91/663.64	c       664          50178        2419         1  1126169600.0000  1125985615.1062      0.02%
666.59/669.36	c       669          50593        2420         1  1126169600.0000  1125986119.2416      0.02%
671.68/674.49	c       674          51042        2446         1  1126169600.0000  1125986736.4366      0.02%
677.25/680.03	c       680          51610        2488         1  1126169600.0000  1125986968.0273      0.02%
682.83/685.64	c       686          52087        2507         1  1126169600.0000  1125987802.9295      0.02%
688.71/691.51	c       692          52538        2537         1  1126169600.0000  1125988443.2105      0.02%
693.99/696.80	c       697          52960        2558         1  1126169600.0000  1125989199.2735      0.02%
699.17/702.07	c       702          53460        2596         1  1126169600.0000  1125989677.3696      0.02%
704.94/707.83	c       708          54000        2636         1  1126169600.0000  1125989835.4416      0.02%
710.32/713.22	c       713          54520        2672         1  1126169600.0000  1125990890.9437      0.02%
716.11/719.01	c       719          55003        2690         1  1126169600.0000  1125991230.9358      0.02%
721.58/724.56	c       725          55498        2722         1  1126169600.0000  1125991450.5481      0.02%
726.76/729.73	c       730          56035        2735         1  1126169600.0000  1125991882.3434      0.02%
732.34/735.39	c       735          56616        2769         1  1126169600.0000  1125992137.6081      0.02%
737.52/740.50	c       740          57190        2777         1  1126169600.0000  1125992879.6951      0.02%
742.51/745.52	c       746          57656        2789         1  1126169600.0000  1125993275.4372      0.02%
748.28/751.37	c       751          58207        2808         1  1126169600.0000  1125993959.0407      0.02%
753.36/756.40	c       756          58602        2831         1  1126169600.0000  1125994419.4638      0.02%
758.45/761.52	c       762          59130        2849         1  1126169600.0000  1125995109.2260      0.02%
763.73/766.84	c       767          59680        2875         1  1126169600.0000  1125995272.5193      0.02%
769.30/772.40	c       772          60170        2910         1  1126169600.0000  1125996426.7661      0.02%
774.48/777.68	c       778          60714        2924         1  1126169600.0000  1125996477.1950      0.02%
779.76/782.92	c       783          61250        2924         1  1126169600.0000  1125997319.5356      0.02%
785.35/788.50	c       788          61760        2961         1  1126169600.0000  1125997642.8011      0.02%
791.23/794.45	c       794          62326        2988         1  1126169600.0000  1125997910.5941      0.02%
796.31/799.51	c       800          62760        3020         1  1126169600.0000  1125998876.0564      0.02%
801.39/804.68	c       805          63160        3028         1  1126169600.0000  1125999562.4606      0.02%
807.07/810.38	c       810          63570        3046         1  1126169600.0000  1126000614.8882      0.02%
812.96/816.25	c       816          64070        3076         1  1126169600.0000  1126000853.3333      0.01%
817.94/821.28	c       821          64580        3084         1  1126169600.0000  1126001209.0488      0.01%
823.32/826.64	c       827          65049        3130         1  1126169600.0000  1126001763.8582      0.01%
829.00/832.39	c       832          65631        3177         1  1126169600.0000  1126002160.7302      0.01%
834.88/838.20	c       838          66303        3193         1  1126169600.0000  1126002732.6984      0.01%
839.86/843.23	c       843          66803        3208         1  1126169600.0000  1126003062.1849      0.01%
844.94/848.39	c       848          67350        3231         1  1126169600.0000  1126003627.8855      0.01%
850.92/854.36	c       854          67980        3290         1  1126169600.0000  1126003886.4222      0.01%
856.40/859.87	c       860          68490        3336         1  1126169600.0000  1126004816.7965      0.01%
861.59/865.01	c       865          69060        3348         1  1126169600.0000  1126005126.5505      0.01%
866.97/870.49	c       870          69620        3366         1  1126169600.0000  1126005497.1787      0.01%
872.45/875.93	c       876          70190        3390         1  1126169600.0000  1126006052.8972      0.01%
878.23/881.72	c       882          70743        3412         1  1126169600.0000  1126006875.8164      0.01%
883.21/886.75	c       887          71390        3437         1  1126169600.0000  1126007358.6498      0.01%
888.29/891.86	c       892          71920        3450         1  1126169600.0000  1126008183.8458      0.01%
893.67/897.24	c       897          72390        3473         1  1126169600.0000  1126008738.2263      0.01%
898.86/902.48	c       902          72830        3497         1  1126169600.0000  1126009006.0937      0.01%
903.94/907.53	c       908          73227        3538         1  1126169600.0000  1126009050.2330      0.01%
909.12/912.70	c       913          73700        3557         1  1126169600.0000  1126009422.8031      0.01%
915.00/918.65	c       919          74186        3595         1  1126169600.0000  1126010210.3823      0.01%
920.38/924.05	c       924          74730        3624         1  1126169600.0000  1126011153.5129      0.01%
925.66/929.35	c       929          75190        3638         1  1126169600.0000  1126011660.5118      0.01%
931.04/934.70	c       935          75616        3677         1  1126169600.0000  1126011887.8627      0.01%
936.12/939.84	c       940          76036        3747         1  1126169600.0000  1126012120.9425      0.01%
941.21/944.97	c       945          76544        3773         1  1126169600.0000  1126012380.0886      0.01%
946.69/950.49	c       950          77127        3810         1  1126169600.0000  1126012708.6755      0.01%
951.77/955.55	c       956          77678        3843         1  1126169600.0000  1126013367.3212      0.01%
956.95/960.71	c       961          78280        3844         1  1126169600.0000  1126014187.8038      0.01%
961.93/965.74	c       966          78720        3827         1  1126169600.0000  1126015555.9342      0.01%
967.22/971.01	c       971          79160        3827         1  1126169600.0000  1126016148.4058      0.01%
972.90/976.77	c       977          79691        3850         1  1126169600.0000  1126016162.5397      0.01%
978.29/982.12	c       982          80210        3878         1  1126169600.0000  1126017137.7778      0.01%
983.27/987.14	c       987          80670        3887         1  1126169600.0000  1126017316.7541      0.01%
988.54/992.43	c       992          81166        3914         1  1126169600.0000  1126017884.8888      0.01%
993.72/997.63	c       998          81570        3928         1  1126169600.0000  1126018444.2669      0.01%
998.91/1002.85	c      1003          81980        3979         1  1126169600.0000  1126018662.4272      0.01%
1004.59/1008.56	c      1009          82459        3993         1  1126169600.0000  1126018911.7823      0.01%
1010.27/1014.26	c      1014          82970        4007         1  1126169600.0000  1126019370.7996      0.01%
1015.35/1019.37	c      1019          83380        4025         1  1126169600.0000  1126019413.3333      0.01%
1020.73/1024.76	c      1025          83860        4028         1  1126169600.0000  1126019823.8631      0.01%
1025.81/1029.87	c      1030          84260        4058         1  1126169600.0000  1126020401.8100      0.01%
1030.89/1035.00	c      1035          84680        4079         1  1126169600.0000  1126020934.8304      0.01%
1036.48/1040.56	c      1041          85110        4090         1  1126169600.0000  1126021442.8829      0.01%
1042.35/1046.42	c      1046          85622        4101         1  1126169600.0000  1126021636.8762      0.01%
1047.53/1051.63	c      1052          86120        4121         1  1126169600.0000  1126021763.8634      0.01%
1053.32/1057.45	c      1057          86610        4151         1  1126169600.0000  1126021865.7868      0.01%
1058.40/1062.51	c      1063          87060        4144         1  1126169600.0000  1126022213.5927      0.01%
1063.78/1067.90	c      1068          87480        4162         1  1126169600.0000  1126022819.4866      0.01%
1068.76/1072.93	c      1073          87870        4132         1  1126169600.0000  1126023278.6063      0.01%
1074.44/1078.60	c      1079          88342        4166         1  1126169600.0000  1126023557.6554      0.01%
1079.52/1083.71	c      1084          88789        4191         1  1126169600.0000  1126023579.2011      0.01%
1084.71/1088.90	c      1089          89268        4200         1  1126169600.0000  1126024063.1579      0.01%
1089.89/1094.15	c      1094          89770        4237         1  1126169600.0000  1126024508.9658      0.01%
1095.16/1099.40	c      1099          90330        4260         1  1126169600.0000  1126025542.5074      0.01%
1100.15/1104.42	c      1104          90860        4286         1  1126169600.0000  1126026262.4226      0.01%
1105.84/1110.13	c      1110          91378        4286         1  1126169600.0000  1126026782.9033      0.01%
1111.12/1115.42	c      1115          91839        4303         1  1126169600.0000  1126026954.6864      0.01%
1116.39/1120.72	c      1121          92373        4333         1  1126169600.0000  1126027473.4499      0.01%
1121.78/1126.15	c      1126          92949        4355         1  1126169600.0000  1126028211.5962      0.01%
1127.46/1131.87	c      1132          93440        4367         1  1126169600.0000  1126028480.0000      0.01%
1132.64/1137.05	c      1137          93969        4372         1  1126169600.0000  1126028543.7468      0.01%
1138.51/1142.91	c      1143          94585        4389         1  1126169600.0000  1126029030.3942      0.01%
1143.50/1147.97	c      1148          95100        4415         1  1126169600.0000  1126029873.9229      0.01%
1149.08/1153.52	c      1154          95593        4407         1  1126169600.0000  1126030234.7190      0.01%
1154.46/1158.94	c      1159          96138        4407         1  1126169600.0000  1126030683.3398      0.01%
1160.04/1164.55	c      1165          96700        4428         1  1126169600.0000  1126031678.3990      0.01%
1165.33/1169.87	c      1170          97320        4462         1  1126169600.0000  1126032130.8044      0.01%
1170.91/1175.49	c      1175          97980        4487         1  1126169600.0000  1126032868.8235      0.01%
1176.59/1181.13	c      1181          98560        4489         1  1126169600.0000  1126033706.1688      0.01%
1182.06/1186.60	c      1187          99129        4488         1  1126169600.0000  1126033826.5407      0.01%
1187.34/1191.90	c      1192          99620        4495         1  1126169600.0000  1126034171.9365      0.01%
1192.53/1197.11	c      1197         100070        4508         1  1126169600.0000  1126034464.3810      0.01%
1197.81/1202.47	c      1202         100640        4513         1  1126169600.0000  1126035075.5025      0.01%
1202.78/1207.48	c      1207         101060        4541         1  1126169600.0000  1126035438.2548      0.01%
1208.07/1212.77	c      1213         101560        4556         1  1126169600.0000  1126035672.3350      0.01%
1213.75/1218.41	c      1218         102020        4560         1  1126169600.0000  1126036065.1517      0.01%
1218.93/1223.66	c      1224         102475        4583         1  1126169600.0000  1126036100.7407      0.01%
1224.60/1229.32	c      1229         103062        4592         1  1126169600.0000  1126036372.4726      0.01%
1230.49/1235.20	c      1235         103590        4620         1  1126169600.0000  1126036575.4103      0.01%
1235.97/1240.77	c      1241         104070        4632         1  1126169600.0000  1126036707.5556      0.01%
1241.94/1246.70	c      1247         104580        4713         1  1126169600.0000  1126036967.6190      0.01%
1246.93/1251.74	c      1252         105120        4797         1  1126169600.0000  1126037095.5191      0.01%
1251.91/1256.77	c      1257         105670        4869         1  1126169600.0000  1126037215.1795      0.01%
1257.69/1262.55	c      1263         106214        4955         1  1126169600.0000  1126037504.0000      0.01%
1262.96/1267.84	c      1268         106740        5013         1  1126169600.0000  1126037824.7982      0.01%
1268.54/1273.41	c      1273         107332        5073         1  1126169600.0000  1126038250.6667      0.01%
1273.53/1278.46	c      1278         107870        5119         1  1126169600.0000  1126038446.0535      0.01%
1279.41/1284.30	c      1284         108497        5177         1  1126169600.0000  1126038496.3032      0.01%
1284.49/1289.41	c      1289         109011        5208         1  1126169600.0000  1126038737.0213      0.01%
1289.77/1294.77	c      1295         109570        5252         1  1126169600.0000  1126038889.9819      0.01%
1294.85/1299.84	c      1300         110110        5269         1  1126169600.0000  1126039361.0847      0.01%
1300.04/1305.06	c      1305         110620        5268         1  1126169600.0000  1126039893.3333      0.01%
1305.12/1310.18	c      1310         111160        5249         1  1126169600.0000  1126040519.5786      0.01%
1310.39/1315.40	c      1315         111710        5217         1  1126169600.0000  1126041467.2187      0.01%
1315.37/1320.46	c      1320         112260        5156         1  1126169600.0000  1126041937.7140      0.01%
1320.55/1325.65	c      1326         112750        5148         1  1126169600.0000  1126042589.1081      0.01%
1325.53/1330.66	c      1331         113296        5186         1  1126169600.0000  1126042765.0042      0.01%
1330.82/1335.91	c      1336         113910        5201         1  1126169600.0000  1126043280.0654      0.01%
1335.79/1340.99	c      1341         114410        5149         1  1126169600.0000  1126043794.2857      0.01%
1340.99/1346.16	c      1346         114890        5051         1  1126169600.0000  1126044812.1114      0.01%
1346.26/1351.40	c      1351         115324        5036         1  1126169600.0000  1126045210.5863      0.01%
1351.44/1356.66	c      1357         115660        5022         1  1126169600.0000  1126045599.3602      0.01%
1356.43/1361.67	c      1362         116060        5024         1  1126169600.0000  1126046093.3718      0.01%
1361.91/1367.11	c      1367         116598        5054         1  1126169600.0000  1126046347.8794      0.01%
1367.80/1373.02	c      1373         117170        5059         1  1126169600.0000  1126047053.6064      0.01%
1372.87/1378.13	c      1378         117630        5079         1  1126169600.0000  1126047325.0070      0.01%
1378.64/1383.98	c      1384         118149        5088         1  1126169600.0000  1126047732.7260      0.01%
1384.13/1389.44	c      1389         118590        5109         1  1126169600.0000  1126047963.2363      0.01%
1389.31/1394.66	c      1395         118997        5138         1  1126169600.0000  1126048288.2883      0.01%
1394.39/1399.71	c      1400         119384        5126         1  1126169600.0000  1126048393.1671      0.01%
1399.68/1405.02	c      1405         119810        5118         1  1126169600.0000  1126048880.4416      0.01%
1404.85/1410.23	c      1410         120269        5121         1  1126169600.0000  1126049107.9688      0.01%
1410.14/1415.57	c      1416         120650        5128         1  1126169600.0000  1126049536.4006      0.01%
1415.52/1420.94	c      1421         121190        5151         1  1126169600.0000  1126049847.2998      0.01%
1421.29/1426.76	c      1427         121689        5171         1  1126169600.0000  1126050133.3333      0.01%
1426.98/1432.41	c      1432         122135        5166         1  1126169600.0000  1126050987.3342      0.01%
1432.06/1437.58	c      1438         122580        5169         1  1126169600.0000  1126051233.7124      0.01%
1437.44/1442.90	c      1443         122988        5167         1  1126169600.0000  1126051572.1105      0.01%
1442.42/1447.93	c      1448         123472        5177         1  1126169600.0000  1126051840.0000      0.01%
1448.00/1453.52	c      1454         123970        5180         1  1126169600.0000  1126052272.2480      0.01%
1453.78/1459.36	c      1459         124469        5202         1  1126169600.0000  1126052594.5899      0.01%
1458.86/1464.41	c      1464         124910        5192         1  1126169600.0000  1126052779.1205      0.01%
1463.85/1469.43	c      1469         125330        5201         1  1126169600.0000  1126053054.8382      0.01%
1469.43/1475.06	c      1475         125849        5228         1  1126169600.0000  1126053206.0207      0.01%
1475.11/1480.79	c      1481         126400        5253         1  1126169600.0000  1126053546.6667      0.01%
1480.19/1485.84	c      1486         126880        5287         1  1126169600.0000  1126053910.0233      0.01%
1485.17/1490.88	c      1491         127380        5303         1  1126169600.0000  1126054208.4342      0.01%
1490.36/1496.09	c      1496         127860        5323         1  1126169600.0000  1126054834.4304      0.01%
1495.94/1501.66	c      1502         128400        5338         1  1126169600.0000  1126055503.2310      0.01%
1501.51/1507.29	c      1507         128870        5343         1  1126169600.0000  1126056160.3048      0.01%
1507.39/1513.11	c      1513         129373        5360         1  1126169600.0000  1126056831.7116      0.01%
1512.57/1518.37	c      1518         129801        5352         1  1126169600.0000  1126057252.5714      0.01%
1517.66/1523.43	c      1523         130240        5366         1  1126169600.0000  1126057531.2109      0.01%
1523.24/1529.00	c      1529         130869        5387         1  1126169600.0000  1126057890.9091      0.01%
1528.22/1534.01	c      1534         131342        5389         1  1126169600.0000  1126057963.9216      0.01%
1533.80/1539.60	c      1540         131891        5408         1  1126169600.0000  1126058352.6400      0.01%
1539.08/1544.93	c      1545         132382        5409         1  1126169600.0000  1126058805.8623      0.01%
1544.26/1550.15	c      1550         132890        5434         1  1126169600.0000  1126059172.6780      0.01%
1549.34/1555.26	c      1555         133370        5442         1  1126169600.0000  1126059378.6439      0.01%
1555.22/1561.13	c      1561         133905        5440         1  1126169600.0000  1126059841.2121      0.01%
1561.10/1567.05	c      1567         134415        5463         1  1126169600.0000  1126060373.3333      0.01%
1566.98/1572.94	c      1573         135041        5498         1  1126169600.0000  1126060373.3333      0.01%
1571.96/1577.99	c      1578         135530        5507         1  1126169600.0000  1126061035.4687      0.01%
1577.25/1583.26	c      1583         136173        5513         1  1126169600.0000  1126061413.5873      0.01%
1582.22/1588.27	c      1588         136659        5545         1  1126169600.0000  1126061761.1545      0.01%
1587.90/1593.99	c      1594         137310        5561         1  1126169600.0000  1126062499.1188      0.01%
1593.09/1599.18	c      1599         137850        5575         1  1126169600.0000  1126063039.4279      0.01%
1598.37/1604.41	c      1604         138380        5561         1  1126169600.0000  1126063297.3834      0.01%
1603.35/1609.45	c      1609         138930        5597         1  1126169600.0000  1126063819.9265      0.01%
1609.12/1615.23	c      1615         139520        5593         1  1126169600.0000  1126064778.7934      0.01%
1614.11/1620.29	c      1620         140010        5607         1  1126169600.0000  1126065621.1944      0.01%
1619.29/1625.42	c      1625         140588        5603         1  1126169600.0000  1126066035.5922      0.01%
1624.88/1631.04	c      1631         141150        5601         1  1126169600.0000  1126067101.8217      0.01%
1630.45/1636.61	c      1637         141680        5623         1  1126169600.0000  1126067542.6719      0.01%
1635.94/1642.17	c      1642         142230        5640         1  1126169600.0000  1126067711.2974      0.01%
1641.52/1647.76	c      1648         142770        5641         1  1126169600.0000  1126067987.6923      0.01%
1646.69/1652.96	c      1653         143237        5654         1  1126169600.0000  1126068233.3945      0.01%
1651.78/1658.00	c      1658         143690        5639         1  1126169600.0000  1126068491.5315      0.01%
1656.86/1663.13	c      1663         144190        5670         1  1126169600.0000  1126068661.6787      0.01%
1661.94/1668.21	c      1668         144690        5678         1  1126169600.0000  1126068884.6640      0.01%
1666.92/1673.24	c      1673         145103        5706         1  1126169600.0000  1126069256.7521      0.01%
1672.00/1678.31	c      1678         145540        5720         1  1126169600.0000  1126069760.0000      0.01%
1677.99/1684.31	c      1684         146113        5709         1  1126169600.0000  1126070043.5759      0.01%
1682.97/1689.34	c      1689         146570        5718         1  1126169600.0000  1126070219.3025      0.01%
1688.25/1694.61	c      1695         146996        5751         1  1126169600.0000  1126070381.4728      0.01%
1693.23/1699.67	c      1700         147530        5746         1  1126169600.0000  1126070819.4287      0.01%
1698.31/1704.70	c      1705         148028        5745         1  1126169600.0000  1126071184.1955      0.01%
1704.09/1710.54	c      1711         148490        5725         1  1126169600.0000  1126071757.0525      0.01%
1709.58/1716.06	c      1716         148970        5713         1  1126169600.0000  1126072089.4997      0.01%
1714.56/1721.07	c      1721         149407        5731         1  1126169600.0000  1126072320.0000      0.01%
1719.74/1726.27	c      1726         149900        5742         1  1126169600.0000  1126072934.9769      0.01%
1725.12/1731.61	c      1732         150470        5759         1  1126169600.0000  1126073082.8011      0.01%
1730.10/1736.64	c      1737         150950        5782         1  1126169600.0000  1126073418.0187      0.01%
1735.68/1742.22	c      1742         151500        5775         1  1126169600.0000  1126073821.2585      0.01%
1741.57/1748.15	c      1748         152058        5774         1  1126169600.0000  1126074164.8885      0.01%
1747.44/1754.02	c      1754         152570        5760         1  1126169600.0000  1126074627.1605      0.01%
1752.83/1759.45	c      1759         153123        5802         1  1126169600.0000  1126074709.3333      0.01%
1758.11/1764.74	c      1765         153680        5795         1  1126169600.0000  1126074929.8347      0.01%
1763.09/1769.78	c      1770         154169        5793         1  1126169600.0000  1126075289.3854      0.01%
1768.27/1774.98	c      1775         154670        5818         1  1126169600.0000  1126075632.9412      0.01%
1773.95/1780.60	c      1781         155256        5839         1  1126169600.0000  1126076190.7557      0.01%
1778.93/1785.68	c      1786         155756        5893         1  1126169600.0000  1126076705.5833      0.01%
1784.11/1790.88	c      1791         156274        5946         1  1126169600.0000  1126076848.0859      0.01%
1789.20/1795.96	c      1796         156830        5897         1  1126169600.0000  1126077440.0000      0.01%
1795.08/1801.80	c      1802         157404        5882         1  1126169600.0000  1126077503.9505      0.01%
1800.16/1806.93	c      1807         158000        5893         1  1126169600.0000  1126077861.9259      0.01%
1805.35/1812.19	c      1812         158550        5901         1  1126169600.0000  1126078180.4586      0.01%
1810.42/1817.26	c      1817         159130        5926         1  1126169600.0000  1126078398.8015      0.01%
1815.50/1822.35	c      1822         159840        5918         1  1126169600.0000  1126078575.2381      0.01%
1821.20/1828.02	c      1828         160460        5918         1  1126169600.0000  1126078731.6552      0.01%
1826.67/1833.52	c      1834         161050        5939         1  1126169600.0000  1126078902.8571      0.01%
1832.35/1839.21	c      1839         161663        5943         1  1126169600.0000  1126079179.7137      0.01%
1838.03/1844.99	c      1845         162312        5942         1  1126169600.0000  1126079653.7895      0.01%
1843.71/1850.61	c      1851         162840        5952         1  1126169600.0000  1126079839.0091      0.01%
1849.10/1856.08	c      1856         163347        5949         1  1126169600.0000  1126079878.0952      0.01%
1854.27/1861.20	c      1861         163910        5928         1  1126169600.0000  1126080422.1754      0.01%
1859.75/1866.77	c      1867         164495        5940         1  1126169600.0000  1126080743.0673      0.01%
1864.84/1871.83	c      1872         164995        5947         1  1126169600.0000  1126081074.0175      0.01%
1870.13/1877.13	c      1877         165500        5966         1  1126169600.0000  1126081145.6152      0.01%
1875.40/1882.42	c      1882         165940        5950         1  1126169600.0000  1126081611.8519      0.01%
1880.98/1888.03	c      1888         166396        5955         1  1126169600.0000  1126082178.6569      0.01%
1886.26/1893.38	c      1893         166860        5959         1  1126169600.0000  1126082487.6621      0.01%
1891.65/1898.71	c      1899         167310        5931         1  1126169600.0000  1126082999.3746      0.01%
1897.04/1904.13	c      1904         167820        5922         1  1126169600.0000  1126083128.8889      0.01%
1902.61/1909.76	c      1910         168440        5938         1  1126169600.0000  1126083390.2385      0.01%
1908.00/1915.12	c      1915         168960        5917         1  1126169600.0000  1126083651.9325      0.01%
1913.38/1920.55	c      1921         169420        5899         1  1126169600.0000  1126084016.8034      0.01%
1918.75/1925.94	c      1926         169955        5918         1  1126169600.0000  1126084169.9894      0.01%
1923.94/1931.17	c      1931         170370        5880         1  1126169600.0000  1126084450.3321      0.01%
1929.01/1936.29	c      1936         170910        5876         1  1126169600.0000  1126084662.3639      0.01%
1934.30/1941.56	c      1942         171410        5873         1  1126169600.0000  1126085025.1852      0.01%
1939.68/1946.96	c      1947         171973        5871         1  1126169600.0000  1126085172.6764      0.01%
1944.87/1952.19	c      1952         172470        5864         1  1126169600.0000  1126085447.9501      0.01%
1950.34/1957.60	c      1958         173121        5887         1  1126169600.0000  1126085783.7037      0.01%
1955.43/1962.70	c      1963         173660        5873         1  1126169600.0000  1126086019.0949      0.01%
1960.72/1968.01	c      1968         174190        5859         1  1126169600.0000  1126086314.1614      0.01%
1965.70/1973.04	c      1973         174790        5872         1  1126169600.0000  1126086703.5581      0.01%
1970.97/1978.38	c      1978         175290        5878         1  1126169600.0000  1126086840.3419      0.01%
1976.35/1983.70	c      1984         175880        5880         1  1126169600.0000  1126087062.4779      0.01%
1981.54/1988.98	c      1989         176400        5865         1  1126169600.0000  1126087465.8301      0.01%
1986.92/1994.36	c      1994         176857        5841         1  1126169600.0000  1126087680.0000      0.01%
1992.10/1999.54	c      2000         177370        5832         1  1126169600.0000  1126087748.0739      0.01%
1997.28/2004.71	c      2005         177890        5850         1  1126169600.0000  1126088026.4514      0.01%
2002.77/2010.26	c      2010         178477        5834         1  1126169600.0000  1126088263.6481      0.01%
2008.45/2015.95	c      2016         178992        5821         1  1126169600.0000  1126088483.0878      0.01%
2013.73/2021.28	c      2021         179530        5824         1  1126169600.0000  1126088764.3903      0.01%
2018.91/2026.41	c      2026         180050        5816         1  1126169600.0000  1126089314.7311      0.01%
2024.09/2031.62	c      2032         180520        5799         1  1126169600.0000  1126089425.5686      0.01%
2029.07/2036.68	c      2037         181060        5808         1  1126169600.0000  1126089792.1975      0.01%
2034.46/2042.02	c      2042         181610        5787         1  1126169600.0000  1126090051.0160      0.01%
2039.44/2047.03	c      2047         182060        5758         1  1126169600.0000  1126090151.0508      0.01%
2044.91/2052.58	c      2053         182530        5751         1  1126169600.0000  1126090332.7867      0.01%
2050.20/2057.82	c      2058         183050        5770         1  1126169600.0000  1126090810.1588      0.01%
2055.68/2063.38	c      2063         183561        5769         1  1126169600.0000  1126090983.9513      0.01%
2061.47/2069.16	c      2069         184127        5753         1  1126169600.0000  1126091082.9835      0.01%
2066.54/2074.27	c      2074         184650        5736         1  1126169600.0000  1126091532.0663      0.01%
2072.33/2080.07	c      2080         185153        5722         1  1126169600.0000  1126091946.6667      0.01%
2077.41/2085.13	c      2085         185660        5756         1  1126169600.0000  1126092166.0952      0.01%
2082.88/2090.64	c      2091         186250        5777         1  1126169600.0000  1126092532.5624      0.01%
2088.06/2095.80	c      2096         186890        5781         1  1126169600.0000  1126092958.8268      0.01%
2093.45/2101.22	c      2101         187590        5781         1  1126169600.0000  1126093167.5338      0.01%
2098.43/2106.25	c      2106         188190        5758         1  1126169600.0000  1126093469.6727      0.01%
2103.82/2111.60	c      2112         188717        5730         1  1126169600.0000  1126094222.8557      0.01%
2109.50/2117.31	c      2117         189206        5704         1  1126169600.0000  1126094392.8889      0.01%
2114.67/2122.54	c      2123         189650        5671         1  1126169600.0000  1126094607.0080      0.01%
2120.35/2128.26	c      2128         190090        5620         1  1126169600.0000  1126094949.5783      0.01%
2126.03/2133.91	c      2134         190538        5604         1  1126169600.0000  1126095339.1870      0.01%
2131.22/2139.18	c      2139         191069        5635         1  1126169600.0000  1126095434.6987      0.01%
2136.39/2144.38	c      2144         191600        5639         1  1126169600.0000  1126095644.4444      0.01%
2142.19/2150.12	c      2150         192190        5631         1  1126169600.0000  1126095872.0000      0.01%
2147.56/2155.54	c      2156         192751        5650         1  1126169600.0000  1126096128.8449      0.01%
2152.64/2160.63	c      2161         193440        5648         1  1126169600.0000  1126096527.9123      0.01%
2157.72/2165.71	c      2166         193930        5641         1  1126169600.0000  1126096659.1870      0.01%
2163.11/2171.19	c      2171         194370        5599         1  1126169600.0000  1126096816.3556      0.01%
2168.59/2176.63	c      2177         194847        5580         1  1126169600.0000  1126096997.1410      0.01%
2174.36/2182.48	c      2182         195360        5567         1  1126169600.0000  1126097223.1577      0.01%
2179.85/2187.99	c      2188         195710        5510         1  1126169600.0000  1126097500.8187      0.01%
2184.94/2193.03	c      2193         196190        5526         1  1126169600.0000  1126097857.9394      0.01%
2190.41/2198.53	c      2199         196740        5529         1  1126169600.0000  1126098201.5649      0.01%
2196.29/2204.40	c      2204         197349        5517         1  1126169600.0000  1126098602.6667      0.01%
2201.47/2209.67	c      2210         197880        5490         1  1126169600.0000  1126099077.3449      0.01%
2206.96/2215.12	c      2215         198355        5465         1  1126169600.0000  1126099236.7147      0.01%
2212.03/2220.28	c      2220         198840        5428         1  1126169600.0000  1126099595.1071      0.01%
2217.32/2225.54	c      2226         199270        5394         1  1126169600.0000  1126099878.3801      0.01%
2222.40/2230.67	c      2231         199760        5375         1  1126169600.0000  1126100014.2477      0.01%
2227.79/2236.10	c      2236         200290        5350         1  1126169600.0000  1126100357.7833      0.01%
2232.96/2241.20	c      2241         200770        5328         1  1126169600.0000  1126100660.0221      0.01%
2237.94/2246.23	c      2246         201210        5301         1  1126169600.0000  1126100991.6680      0.01%
2243.23/2251.58	c      2252         201590        5234         1  1126169600.0000  1126101333.3333      0.01%
2248.51/2256.80	c      2257         202050        5192         1  1126169600.0000  1126101633.8529      0.01%
2253.59/2261.93	c      2262         202460        5211         1  1126169600.0000  1126101788.4444      0.01%
2258.68/2267.04	c      2267         202880        5182         1  1126169600.0000  1126101901.3757      0.01%
2264.46/2272.82	c      2273         203366        5203         1  1126169600.0000  1126102309.8182      0.01%
2269.74/2278.15	c      2278         203750        5164         1  1126169600.0000  1126102641.4690      0.01%
2274.82/2283.20	c      2283         204073        5100         1  1126169600.0000  1126103094.8453      0.01%
2280.00/2288.46	c      2288         204602        5121         1  1126169600.0000  1126103178.6667      0.01%
2285.19/2293.60	c      2294         205210        5127         1  1126169600.0000  1126103532.9668      0.01%
2290.46/2298.93	c      2299         205590        5061         1  1126169600.0000  1126103735.8915      0.01%
2296.04/2304.50	c      2305         205970        4988         1  1126169600.0000  1126104147.0844      0.01%
2301.03/2309.55	c      2310         206330        4947         1  1126169600.0000  1126104754.2620      0.01%
2306.62/2315.18	c      2315         206820        4975         1  1126169600.0000  1126104850.9958      0.01%
2311.99/2320.57	c      2321         207413        4991         1  1126169600.0000  1126105105.6697      0.01%
2317.47/2326.04	c      2326         208025        4982         1  1126169600.0000  1126105291.4744      0.01%
2322.65/2331.20	c      2331         208590        4955         1  1126169600.0000  1126105562.8513      0.01%
2327.84/2336.42	c      2336         209090        4925         1  1126169600.0000  1126106065.7847      0.01%
2332.82/2341.44	c      2341         209430        4856         1  1126169600.0000  1126106479.3962      0.01%
2338.41/2347.09	c      2347         209802        4830         1  1126169600.0000  1126106849.2800      0.01%
2343.68/2352.38	c      2352         210330        4839         1  1126169600.0000  1126107289.6000      0.01%
2349.37/2358.10	c      2358         210743        4779         1  1126169600.0000  1126107876.0797      0.01%
2354.45/2363.14	c      2363         211050        4720         1  1126169600.0000  1126108622.5567      0.01%
2359.53/2368.21	c      2368         211510        4679         1  1126169600.0000  1126108889.8952      0.01%
2365.41/2374.16	c      2374         211809        4593         1  1126169600.0000  1126109270.7442      0.01%
2370.49/2379.22	c      2379         212240        4588         1  1126169600.0000  1126109445.2994      0.01%
2375.77/2384.50	c      2384         212420        4472         1  1126169600.0000  1126110035.1895      0.01%
2381.45/2390.25	c      2390         212790        4472         1  1126169600.0000  1126110334.9465      0.01%
2386.74/2395.55	c      2396         213210        4401         1  1126169600.0000  1126110701.7165      0.01%
2391.72/2400.56	c      2401         213360        4300         1  1126169600.0000  1126110976.0000      0.01%
2396.80/2405.63	c      2406         213570        4173         1  1126169600.0000  1126111444.3517      0.01%
2401.98/2410.83	c      2411         213650        4089         1  1126169600.0000  1126111800.8889      0.01%
2407.57/2416.40	c      2416         213770        3999         1  1126169600.0000  1126112185.0369      0.01%
2412.55/2421.48	c      2421         213980        3897         1  1126169600.0000  1126112494.3371      0.01%
2418.14/2427.05	c      2427         214110        3776         1  1126169600.0000  1126112739.9079      0.01%
2423.12/2432.07	c      2432         214200        3684         1  1126169600.0000  1126113148.1333      0.01%
2428.11/2437.09	c      2437         214320        3589         1  1126169600.0000  1126113516.1220      0.00%
2433.68/2442.61	c      2443         214420        3492         1  1126169600.0000  1126113865.1429      0.00%
2439.08/2448.03	c      2448         214490        3420         1  1126169600.0000  1126114133.3333      0.00%
2444.64/2453.62	c      2454         214550        3359         1  1126169600.0000  1126114358.2380      0.00%
2450.04/2459.08	c      2459         214620        3289         1  1126169600.0000  1126114983.1448      0.00%
2455.21/2464.29	c      2464         214760        3194         1  1126169600.0000  1126115230.2214      0.00%
2460.39/2469.44	c      2469         214830        3121         1  1126169600.0000  1126115518.1238      0.00%
2465.87/2474.94	c      2475         214890        3061         1  1126169600.0000  1126115634.6215      0.00%
2471.75/2480.84	c      2481         214950        3004         1  1126169600.0000  1126115913.5179      0.00%
2476.95/2486.09	c      2486         215090        2884         1  1126169600.0000  1126116399.6279      0.00%
2482.12/2491.27	c      2491         215160        2810         1  1126169600.0000  1126116593.7778      0.00%
2487.71/2496.80	c      2497         215220        2745         1  1126169600.0000  1126116792.6303      0.00%
2493.19/2502.31	c      2502         215320        2646         1  1126169600.0000  1126117089.9682      0.00%
2498.98/2508.13	c      2508         215390        2573         1  1126169600.0000  1126117613.0776      0.00%
2504.86/2514.01	c      2514         215449        2510         1  1126169600.0000  1126117867.8883      0.00%
2510.53/2519.74	c      2520         215499        2460         1  1126169600.0000  1126118061.3695      0.00%
2516.21/2525.43	c      2525         215549        2409         1  1126169600.0000  1126118297.7349      0.00%
2522.09/2531.38	c      2531         215599        2356         1  1126169600.0000  1126118344.0255      0.00%
2528.07/2537.36	c      2537         215649        2306         1  1126169600.0000  1126118672.1839      0.00%
2533.06/2542.38	c      2542         215689        2263         1  1126169600.0000  1126118918.5790      0.00%
2538.25/2547.56	c      2548         215730        2220         1  1126169600.0000  1126119239.3443      0.00%
2543.33/2552.68	c      2553         215770        2177         1  1126169600.0000  1126119477.3333      0.00%
2548.41/2557.74	c      2558         215808        2137         1  1126169600.0000  1126119748.2667      0.00%
2553.99/2563.35	c      2563         215848        2097         1  1126169600.0000  1126119812.9231      0.00%
2559.07/2568.43	c      2568         215910        2046         1  1126169600.0000  1126120135.3143      0.00%
2564.36/2573.76	c      2574         215990        1962         1  1126169600.0000  1126120413.1460      0.00%
2569.74/2579.17	c      2579         216051        1898         1  1126169600.0000  1126120900.8589      0.00%
2575.42/2584.85	c      2585         216110        1838         1  1126169600.0000  1126121478.3235      0.00%
2580.72/2590.17	c      2590         216160        1786         1  1126169600.0000  1126121866.9636      0.00%
2586.09/2595.58	c      2596         216209        1735         1  1126169600.0000  1126121992.3543      0.00%
2592.07/2601.59	c      2602         216259        1685         1  1126169600.0000  1126122267.7500      0.00%
2597.15/2606.68	c      2607         216298        1642         1  1126169600.0000  1126122470.1263      0.00%
2602.54/2612.05	c      2612         216337        1602         1  1126169600.0000  1126122638.2222      0.00%
2608.12/2617.62	c      2618         216377        1561         1  1126169600.0000  1126122728.6406      0.00%
2613.80/2623.38	c      2623         216417        1520         1  1126169600.0000  1126123008.0000      0.00%
2618.79/2628.39	c      2628         216450        1486         1  1126169600.0000  1126123409.2394      0.00%
2624.27/2633.81	c      2634         216487        1448         1  1126169600.0000  1126123541.3333      0.00%
2629.56/2639.17	c      2639         216520        1415         1  1126169600.0000  1126123823.8474      0.00%
2635.14/2644.78	c      2645         216557        1377         1  1126169600.0000  1126123892.0569      0.00%
2640.52/2650.15	c      2650         216590        1344         1  1126169600.0000  1126124165.5782      0.00%
2646.60/2656.25	c      2656         216627        1304         1  1126169600.0000  1126124587.6408      0.00%
2652.09/2661.71	c      2662         216660        1270         1  1126169600.0000  1126125306.7842      0.00%
2657.86/2667.56	c      2668         216696        1233         1  1126169600.0000  1126125357.0313      0.00%
2662.95/2672.68	c      2673         216727        1201         1  1126169600.0000  1126125724.5825      0.00%
2668.13/2677.89	c      2678         216757        1168         1  1126169600.0000  1126126012.0945      0.00%
2673.22/2682.94	c      2683         216786        1139         1  1126169600.0000  1126126423.7673      0.00%
2678.41/2688.16	c      2688         216817        1108         1  1126169600.0000  1126126614.7556      0.00%
2683.69/2693.44	c      2693         216850        1073         1  1126169600.0000  1126127017.0564      0.00%
2689.38/2699.15	c      2699         216887        1036         1  1126169600.0000  1126127312.9702      0.00%
2694.55/2704.36	c      2704         216920        1002         1  1126169600.0000  1126127757.4617      0.00%
2700.53/2710.38	c      2710         216957         965         1  1126169600.0000  1126128000.0000      0.00%
2706.61/2716.48	c      2716         216987         935         1  1126169600.0000  1126128196.9633      0.00%
2711.69/2721.56	c      2722         217017         904         1  1126169600.0000  1126128356.4736      0.00%
2717.08/2726.99	c      2727         217050         869         1  1126169600.0000  1126128627.2374      0.00%
2722.17/2732.07	c      2732         217080         838         1  1126169600.0000  1126128764.8780      0.00%
2728.05/2737.91	c      2738         217116         800         1  1126169600.0000  1126129253.6330      0.00%
2733.33/2743.28	c      2743         217145         771         1  1126169600.0000  1126129353.2866      0.00%
2739.41/2749.32	c      2749         217176         740         1  1126169600.0000  1126129599.7409      0.00%
2745.20/2755.12	c      2755         217207         709         1  1126169600.0000  1126129863.1111      0.00%
2750.77/2760.79	c      2761         217236         680         1  1126169600.0000  1126130180.3758      0.00%
2756.36/2766.38	c      2766         217248         668         1  1126169600.0000  1126130392.0368      0.00%
2761.64/2771.68	c      2772         217260         655         1  1126169600.0000  1126130630.2606      0.00%
2766.92/2776.92	c      2777         217277         638         1  1126169600.0000  1126130727.1780      0.00%
2772.61/2782.62	c      2783         217295         620         1  1126169600.0000  1126130915.5556      0.00%
2778.58/2788.63	c      2789         217318         597         1  1126169600.0000  1126131072.0000      0.00%
2784.46/2794.55	c      2795         217335         579         1  1126169600.0000  1126131200.0000      0.00%
2789.85/2799.95	c      2800         217353         560         1  1126169600.0000  1126131584.7020      0.00%
2795.23/2805.33	c      2805         217368         544         1  1126169600.0000  1126131669.3333      0.00%
2800.61/2810.71	c      2811         217388         524         1  1126169600.0000  1126131951.4585      0.00%
2806.29/2816.49	c      2816         217404         508         1  1126169600.0000  1126132047.4220      0.00%
2812.08/2822.28	c      2822         217422         488         1  1126169600.0000  1126132384.5784      0.00%
2821.25/2831.41	c      2831         217434         473         1  1126169600.0000  1126132864.0000      0.00%
2827.23/2837.40	c      2837         217460         446         1  1126169600.0000  1126133089.3194      0.00%
2833.10/2843.30	c      2843         217485         421         1  1126169600.0000  1126133232.4103      0.00%
2839.09/2849.32	c      2849         217510         395         1  1126169600.0000  1126133888.0000      0.00%
2845.17/2855.45	c      2855         217535         370         1  1126169600.0000  1126134211.2821      0.00%
2851.06/2861.31	c      2861         217560         345         1  1126169600.0000  1126134586.0175      0.00%
2856.94/2867.23	c      2867         217584         320         1  1126169600.0000  1126134939.8796      0.00%
2862.02/2872.36	c      2872         217605         299         1  1126169600.0000  1126135445.9798      0.00%
2868.20/2878.50	c      2878         217630         274         1  1126169600.0000  1126135623.0698      0.00%
2873.79/2884.13	c      2884         217655         249         1  1126169600.0000  1126136043.3548      0.00%
2878.97/2889.35	c      2889         217680         223         1  1126169600.0000  1126136956.1212      0.00%
2884.25/2894.65	c      2895         217705         196         1  1126169600.0000  1126137643.7770      0.00%
2890.23/2900.62	c      2901         217736         165         1  1126169600.0000  1126138567.4846      0.00%
2896.12/2906.52	c      2907         217765         134         1  1126169600.0000  1126140184.3810      0.00%
2901.20/2911.60	c      2912         217790         108         1  1126169600.0000  1126141742.5455      0.00%
2906.69/2917.13	c      2917         217816          79         1  1126169600.0000  1126144000.0000      0.00%
2911.67/2922.18	c      2922         217840          53         1  1126169600.0000  1126145780.9761      0.00%
2917.75/2928.23	c      2928         217870          22         1  1126169600.0000  1126149349.3196      0.00%
2922.14/2932.69	c      2933         217890           0         0  1126169600.0000  1126169600.0000      0.00%
2922.34/2932.81	c      2933         217890           0         0  1126169600.0000  1126169600.0000          -
2922.34/2932.81	c SCIP Status        : c problem is solved
2922.34/2932.81	c Total Time         : 2932.8200
2922.34/2932.81	c   solving          : 2932.8200
2922.34/2932.81	c   presolving       : 0.4414 (included in solving)
2922.34/2932.81	c B&B Tree           :
2922.34/2932.81	c   nodes (total)    : 217890
2922.34/2932.81	c Solution           :
2922.34/2932.81	c   Solutions found  : 15
2922.34/2932.81	c   Primal Bound     : +1.12616960000000e+09
2922.34/2932.81	c   Dual Bound       : +1.12616960000000e+09
2922.34/2932.81	c Gap                : 0.00000 %
2922.34/2932.82	o 1126169600
2922.34/2932.82	s OPTIMUM FOUND
2922.34/2932.82	v -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 x6238 -x6237 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 
2922.34/2932.82	v -x6226 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 
2922.34/2932.82	v -x6205 -x6204 -x6203 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6190 -x6189 -x6188 -x6187 
2922.34/2932.82	v -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6168 -x6167 
2922.34/2932.82	v -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 
2922.34/2932.82	v -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 
2922.34/2932.82	v -x6127 -x6126 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 
2922.34/2932.82	v -x6106 -x6105 -x6104 -x6103 -x6101 -x6100 -x6099 -x6098 x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6090 -x6089 -x6088 -x6087 
2922.34/2932.82	v -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6068 -x6067 
2922.34/2932.82	v -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 
2922.34/2932.82	v -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 
2922.34/2932.82	v -x6028 -x6027 -x6026 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6013 -x6012 -x6011 -x6010 -x6009 
2922.34/2932.82	v -x6008 -x6007 -x6006 -x6005 -x6004 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5990 -x5989 -x5988 
2922.34/2932.82	v -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 x5970 -x5968 
2922.34/2932.82	v -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 
2922.34/2932.82	v -x5948 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 
2922.34/2932.82	v -x5928 -x5927 -x5926 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5913 -x5912 -x5911 -x5910 -x5909 
2922.34/2932.82	v -x5908 -x5907 -x5906 -x5905 x5904 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5890 -x5889 -x5888 
2922.34/2932.82	v -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5868 
2922.34/2932.82	v -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 
2922.34/2932.82	v -x5849 -x5848 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 
2922.34/2932.82	v -x5829 -x5828 -x5827 -x5826 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5813 -x5812 -x5811 -x5810 
2922.34/2932.82	v x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5791 -x5790 
2922.34/2932.82	v -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 
2922.34/2932.82	v -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 
2922.34/2932.82	v -x5749 -x5748 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 
2922.34/2932.82	v -x5729 -x5728 -x5727 -x5726 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5713 -x5712 -x5711 -x5710 
2922.34/2932.82	v -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5691 
2922.34/2932.82	v -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 
2922.34/2932.82	v -x5671 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 
2922.34/2932.82	v -x5650 -x5649 -x5648 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5635 -x5634 -x5633 -x5632 -x5631 
2922.34/2932.82	v -x5630 -x5629 -x5628 -x5627 -x5626 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5613 -x5612 -x5611 
2922.34/2932.82	v -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5591 
2922.34/2932.82	v -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 
2922.34/2932.82	v -x5571 -x5569 -x5568 -x5567 -x5566 x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 
2922.34/2932.82	v -x5549 -x5548 -x5547 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5534 -x5533 -x5532 -x5531 
2922.34/2932.82	v -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5512 -x5511 
2922.34/2932.82	v -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 
2922.34/2932.82	v -x5490 -x5489 -x5488 -x5487 x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 
2922.34/2932.82	v -x5471 -x5470 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 
2922.34/2932.82	v -x5451 -x5450 -x5449 -x5448 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5434 -x5433 -x5432 -x5431 
2922.34/2932.82	v -x5430 -x5429 -x5428 -x5427 -x5426 x5425 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5412 -x5411 
2922.34/2932.82	v -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 
2922.34/2932.82	v -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 
2922.34/2932.82	v -x5371 -x5370 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 x5362 -x5361 -x5360 -x5359 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 
2922.34/2932.82	v -x5351 -x5350 -x5349 -x5348 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5334 -x5333 -x5332 
2922.34/2932.82	v -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5312 
2922.34/2932.82	v -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 x5303 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 
2922.34/2932.82	v -x5292 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 
2922.34/2932.82	v -x5272 -x5271 -x5270 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5257 -x5256 -x5255 -x5254 -x5253 
2922.34/2932.82	v -x5252 -x5251 -x5250 -x5249 -x5248 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5235 -x5234 -x5233 
2922.34/2932.82	v -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5212 
2922.34/2932.82	v -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 
2922.34/2932.82	v -x5192 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 
2922.34/2932.82	v -x5173 -x5172 -x5171 -x5170 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5157 -x5156 -x5155 -x5154 
2922.34/2932.82	v -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5146 -x5145 -x5144 -x5143 x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5135 -x5134 
2922.34/2932.82	v -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 
2922.34/2932.82	v -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5101 -x5100 -x5099 -x5098 x5097 -x5096 -x5095 -x5094 
2922.34/2932.82	v -x5093 -x5092 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 
2922.34/2932.82	v -x5073 -x5072 -x5071 -x5070 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 x5059 -x5057 -x5056 -x5055 -x5054 
2922.34/2932.82	v -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5035 -x5034 
2922.34/2932.82	v -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 
2922.34/2932.82	v -x5013 -x5012 -x5011 -x5010 x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 
2922.34/2932.82	v -x4993 -x4992 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 
2922.34/2932.82	v -x4973 -x4972 -x4971 -x4970 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4957 -x4956 -x4955 
2922.34/2932.82	v -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4935 
2922.34/2932.82	v -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 
2922.34/2932.82	v -x4915 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 
2922.34/2932.82	v -x4895 -x4894 -x4893 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4879 -x4878 -x4877 -x4876 -x4875 
2922.34/2932.82	v -x4874 -x4873 -x4872 -x4871 -x4870 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4857 -x4856 -x4855 
2922.34/2932.82	v -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4846 -x4845 -x4844 -x4843 x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4835 
2922.34/2932.82	v -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 
2922.34/2932.82	v -x4815 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 
2922.34/2932.82	v -x4796 -x4795 -x4794 -x4793 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4779 -x4778 -x4777 -x4776 
2922.34/2932.82	v -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4757 -x4756 
2922.34/2932.82	v -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 
2922.34/2932.82	v -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 x4726 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 
2922.34/2932.82	v -x4716 -x4715 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 
2922.34/2932.82	v -x4696 -x4695 -x4694 -x4693 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4680 -x4679 -x4678 -x4677 
2922.34/2932.82	v -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4657 -x4656 
2922.34/2932.82	v -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 
2922.34/2932.82	v -x4637 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 
2922.34/2932.82	v -x4617 -x4616 -x4615 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4602 -x4601 -x4600 -x4599 -x4598 
2922.34/2932.82	v -x4597 -x4596 -x4595 -x4594 -x4593 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4580 -x4579 -x4578 
2922.34/2932.82	v -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4557 
2922.34/2932.82	v -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 
2922.34/2932.82	v -x4537 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 
2922.34/2932.82	v -x4517 -x4516 -x4515 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4502 -x4501 -x4500 -x4499 
2922.34/2932.82	v -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4480 -x4479 
2922.34/2932.82	v -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 
2922.34/2932.82	v -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 x4449 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 
2922.34/2932.82	v -x4437 -x4436 -x4434 -x4433 -x4432 -x4431 x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 
2922.34/2932.82	v -x4417 -x4416 -x4415 -x4414 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4401 -x4400 -x4399 -x4398 
2922.34/2932.82	v -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4379 -x4378 
2922.34/2932.82	v -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 
2922.34/2932.82	v -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 
2922.34/2932.82	v -x4338 -x4337 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4323 -x4322 -x4321 -x4320 -x4319 
2922.34/2932.82	v -x4318 -x4317 -x4316 -x4315 -x4314 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4301 -x4300 -x4299 
2922.34/2932.82	v -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4279 
2922.34/2932.82	v -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 
2922.34/2932.82	v -x4259 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 
2922.34/2932.82	v -x4239 -x4238 -x4237 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4223 -x4222 -x4221 -x4220 -x4219 
2922.34/2932.82	v -x4218 -x4217 -x4216 -x4215 -x4214 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4201 -x4200 -x4199 
2922.34/2932.82	v -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4179 
2922.34/2932.82	v -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 
2922.34/2932.82	v -x4160 -x4159 -x4157 -x4156 -x4155 -x4154 x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 
2922.34/2932.82	v -x4140 -x4139 -x4138 -x4137 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4124 -x4123 -x4122 -x4121 
2922.34/2932.82	v -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4101 -x4100 
2922.34/2932.82	v -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 
2922.34/2932.82	v -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 
2922.34/2932.82	v -x4060 -x4059 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 
2922.34/2932.82	v -x4040 -x4039 -x4038 -x4037 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4024 -x4023 -x4022 -x4021 
2922.34/2932.82	v -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4001 
2922.34/2932.82	v -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 
2922.34/2932.82	v -x3981 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 
2922.34/2932.82	v -x3961 -x3960 -x3959 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3946 -x3945 -x3944 -x3943 -x3942 
2922.34/2932.82	v -x3941 -x3940 -x3939 -x3938 -x3937 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3924 -x3923 -x3922 
2922.34/2932.82	v -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3902 
2922.34/2932.82	v -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 
2922.34/2932.82	v -x3881 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 
2922.34/2932.82	v -x3862 -x3861 -x3860 -x3859 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3846 -x3845 -x3844 -x3843 
2922.34/2932.82	v -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3824 -x3823 
2922.34/2932.82	v -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 
2922.34/2932.82	v -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 
2922.34/2932.82	v -x3783 -x3782 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 
2922.34/2932.82	v -x3762 -x3761 -x3760 -x3759 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3746 -x3745 -x3744 -x3743 
2922.34/2932.82	v -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3724 
2922.34/2932.82	v -x3723 -x3722 -x3721 x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 
2922.34/2932.82	v -x3704 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 
2922.34/2932.82	v -x3684 -x3683 -x3682 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3668 -x3667 -x3666 -x3665 -x3664 
2922.34/2932.82	v -x3663 -x3662 -x3661 -x3660 -x3659 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3646 -x3645 -x3644 
2922.34/2932.82	v -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3624 
2922.34/2932.82	v -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 
2922.34/2932.82	v -x3604 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 
2922.34/2932.82	v -x3584 -x3583 x3582 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3569 -x3568 -x3567 -x3566 x3565 
2922.34/2932.82	v -x3564 -x3563 -x3562 -x3561 -x3560 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3546 -x3545 -x3544 
2922.34/2932.82	v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 
2922.34/2932.82	v -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 
2922.34/2932.82	v -x3505 -x3504 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 
2922.34/2932.82	v -x3485 -x3484 -x3483 -x3482 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3469 -x3468 -x3467 -x3466 
2922.34/2932.82	v -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3446 -x3445 
2922.34/2932.82	v -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 
2922.34/2932.82	v -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 
2922.34/2932.82	v -x3405 -x3404 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3391 -x3390 -x3389 -x3388 -x3387 
2922.34/2932.82	v -x3386 -x3385 -x3384 -x3383 -x3382 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3369 -x3368 -x3367 
2922.34/2932.82	v -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3347 
2922.34/2932.82	v -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 
2922.34/2932.82	v -x3325 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 
2922.34/2932.82	v -x3305 -x3304 -x3303 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3290 -x3289 -x3288 -x3287 -x3286 
2922.34/2932.82	v -x3285 -x3284 -x3283 -x3282 x3281 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3268 -x3267 -x3266 
2922.34/2932.82	v -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3246 
2922.34/2932.82	v -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 
2922.34/2932.82	v -x3227 x3226 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 
2922.34/2932.82	v -x3206 -x3205 -x3204 -x3203 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3190 -x3189 -x3188 -x3187 
2922.34/2932.82	v -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3168 -x3167 
2922.34/2932.82	v -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 
2922.34/2932.82	v -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 
2922.34/2932.82	v -x3127 x3126 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3112 -x3111 -x3110 -x3109 x3108 -x3107 
2922.34/2932.82	v -x3106 -x3105 -x3104 -x3103 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3090 -x3089 -x3088 -x3087 
2922.34/2932.82	v -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3068 -x3067 
2922.34/2932.82	v -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 
2922.34/2932.82	v -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 
2922.34/2932.82	v -x3028 -x3027 -x3026 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3013 -x3012 -x3011 -x3010 -x3009 
2922.34/2932.82	v -x3008 -x3007 -x3006 -x3005 -x3004 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2990 -x2989 -x2988 
2922.34/2932.82	v -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2968 
2922.34/2932.82	v -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 
2922.34/2932.82	v -x2948 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 
2922.34/2932.82	v -x2928 -x2927 -x2926 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2913 -x2912 -x2911 -x2910 -x2909 
2922.34/2932.82	v -x2908 -x2907 -x2906 -x2905 -x2904 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2890 -x2889 
2922.34/2932.82	v -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2879 -x2878 -x2877 -x2876 x2875 -x2874 -x2873 -x2872 -x2871 -x2870 
2922.34/2932.82	v -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 
2922.34/2932.82	v -x2849 x2848 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 
2922.34/2932.82	v -x2829 -x2828 -x2827 -x2826 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2813 -x2812 -x2811 -x2810 
2922.34/2932.82	v -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2791 -x2790 
2922.34/2932.82	v -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 
2922.34/2932.82	v -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 x2759 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 
2922.34/2932.82	v -x2749 -x2748 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 
2922.34/2932.82	v -x2729 -x2728 -x2727 -x2726 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2713 -x2712 -x2711 -x2710 
2922.34/2932.82	v -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2691 
2922.34/2932.82	v -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 
2922.34/2932.82	v -x2671 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2657 -x2656 -x2655 -x2654 x2653 -x2652 -x2651 
2922.34/2932.82	v -x2650 -x2649 -x2648 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2635 -x2634 -x2633 -x2632 -x2631 
2922.34/2932.82	v -x2630 -x2629 x2628 -x2627 -x2626 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2613 -x2612 -x2611 
2922.34/2932.82	v -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2591 
2922.34/2932.82	v -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 
2922.34/2932.82	v -x2571 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 
2922.34/2932.82	v -x2550 -x2549 -x2548 -x2546 -x2545 -x2544 -x2543 x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2535 -x2534 -x2533 -x2532 -x2531 
2922.34/2932.82	v -x2530 -x2529 -x2528 -x2527 -x2526 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2513 -x2512 -x2511 
2922.34/2932.82	v -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 x2493 -x2491 
2922.34/2932.82	v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 
2922.34/2932.82	v -x2472 -x2471 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 
2922.34/2932.82	v -x2452 -x2451 -x2450 -x2449 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2435 -x2434 -x2433 -x2432 
2922.34/2932.82	v -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2413 -x2412 
2922.34/2932.82	v -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 
2922.34/2932.82	v -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 
2922.34/2932.82	v -x2372 x2371 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 
2922.34/2932.82	v -x2352 -x2351 -x2350 -x2349 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2335 -x2334 -x2333 -x2332 
2922.34/2932.82	v -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2313 
2922.34/2932.82	v -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 
2922.34/2932.82	v -x2293 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 
2922.34/2932.82	v -x2273 -x2272 -x2271 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2258 -x2257 -x2256 -x2255 -x2254 
2922.34/2932.82	v -x2253 -x2252 -x2251 -x2250 -x2249 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2236 -x2235 -x2234 
2922.34/2932.82	v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2212 
2922.34/2932.82	v -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 
2922.34/2932.82	v -x2192 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 
2922.34/2932.82	v -x2173 -x2172 -x2171 -x2170 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 x2159 -x2157 -x2156 -x2155 -x2154 
2922.34/2932.82	v -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2135 -x2134 
2922.34/2932.82	v -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 
2922.34/2932.82	v -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 
2922.34/2932.82	v -x2093 -x2092 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 
2922.34/2932.82	v -x2073 -x2072 -x2071 -x2070 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2057 -x2056 -x2055 -x2054 
2922.34/2932.82	v -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2035 -x2034 
2922.34/2932.82	v -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 
2922.34/2932.82	v -x2015 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 
2922.34/2932.82	v -x1994 -x1993 -x1992 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1979 -x1978 -x1977 -x1976 -x1975 
2922.34/2932.82	v -x1974 -x1973 -x1972 -x1971 -x1970 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1957 -x1956 -x1955 
2922.34/2932.82	v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1935 
2922.34/2932.82	v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 
2922.34/2932.82	v -x1915 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 
2922.34/2932.82	v -x1895 -x1894 -x1893 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1879 -x1878 -x1877 -x1876 
2922.34/2932.82	v -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1857 -x1856 
2922.34/2932.82	v -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 x1848 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 
2922.34/2932.82	v -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 x1826 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 
2922.34/2932.82	v -x1816 -x1815 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 
2922.34/2932.82	v -x1796 -x1795 -x1794 -x1793 -x1791 -x1790 -x1789 -x1788 x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1779 -x1778 -x1777 -x1776 
2922.34/2932.82	v -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1757 -x1756 
2922.34/2932.82	v -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 
2922.34/2932.82	v -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 
2922.34/2932.82	v -x1716 -x1715 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 
2922.34/2932.82	v -x1696 -x1695 -x1694 -x1693 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1680 -x1679 -x1678 
2922.34/2932.82	v -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1657 
2922.34/2932.82	v -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 
2922.34/2932.82	v -x1637 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 
2922.34/2932.82	v -x1617 -x1616 -x1615 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1602 -x1601 -x1600 -x1599 -x1598 
2922.34/2932.82	v -x1597 -x1596 -x1595 -x1594 -x1593 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1580 -x1579 -x1578 
2922.34/2932.82	v -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1557 
2922.34/2932.82	v -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 
2922.34/2932.82	v -x1538 -x1537 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 
2922.34/2932.82	v -x1518 -x1517 -x1516 -x1515 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1502 -x1501 -x1500 -x1499 
2922.34/2932.82	v -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1480 -x1479 
2922.34/2932.82	v -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 
2922.34/2932.82	v -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 
2922.34/2932.82	v -x1438 -x1437 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 
2922.34/2932.82	v -x1418 -x1417 -x1416 -x1415 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1402 -x1401 -x1400 
2922.34/2932.82	v -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1380 
2922.34/2932.82	v -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 
2922.34/2932.82	v -x1360 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 
2922.34/2932.82	v -x1340 -x1339 -x1338 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1324 -x1323 -x1322 -x1321 -x1320 
2922.34/2932.82	v -x1319 -x1318 -x1317 -x1316 -x1315 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1302 -x1301 -x1300 
2922.34/2932.82	v -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1280 
2922.34/2932.82	v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 
2922.34/2932.82	v -x1261 -x1260 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 
2922.34/2932.82	v -x1241 -x1240 -x1239 -x1238 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1224 -x1223 -x1222 -x1221 
2922.34/2932.82	v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1202 -x1201 
2922.34/2932.82	v -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 
2922.34/2932.82	v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 
2922.34/2932.82	v -x1161 x1160 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 
2922.34/2932.82	v -x1141 -x1140 -x1139 -x1138 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1125 -x1124 -x1123 -x1122 
2922.34/2932.82	v -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1101 -x1100 
2922.34/2932.82	v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 
2922.34/2932.82	v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 
2922.34/2932.82	v -x1061 -x1060 -x1059 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1046 -x1045 -x1044 -x1043 -x1042 
2922.34/2932.82	v -x1041 -x1040 -x1039 -x1038 -x1037 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1024 -x1023 -x1022 
2922.34/2932.82	v -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1001 
2922.34/2932.82	v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x979 -x978 
2922.34/2932.82	v -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x957 -x956 
2922.34/2932.82	v -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x935 -x934 -x933 
2922.34/2932.82	v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 -x915 -x913 -x912 -x911 -x910 
2922.34/2932.82	v -x909 -x908 -x907 -x906 -x905 -x904 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x890 -x889 -x888 -x887 -x886 
2922.34/2932.82	v -x885 -x884 -x883 -x882 -x881 -x879 -x878 -x877 -x876 x875 -x874 -x873 -x872 -x871 -x870 -x868 -x867 -x866 -x865 -x864 -x863 
2922.34/2932.82	v -x862 -x861 -x860 -x859 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x846 -x845 -x844 -x843 -x842 -x841 -x840 
2922.34/2932.82	v -x839 -x838 -x837 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 
2922.34/2932.82	v -x816 -x815 -x813 -x812 -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 
2922.34/2932.82	v -x793 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 
2922.34/2932.82	v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 
2922.34/2932.82	v -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x724 
2922.34/2932.82	v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x702 -x701 
2922.34/2932.82	v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x680 -x679 -x678 
2922.34/2932.82	v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x657 -x656 -x655 -x654 
2922.34/2932.82	v -x653 -x652 -x651 -x650 -x649 -x648 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x635 -x634 -x633 -x632 -x631 
2922.34/2932.82	v -x630 -x629 -x628 -x627 -x626 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x613 -x612 -x611 -x610 -x609 
2922.34/2932.82	v -x608 -x607 -x606 -x605 -x604 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x591 -x590 -x589 -x588 -x587 -x586 
2922.34/2932.82	v -x585 -x584 -x583 -x582 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x569 -x568 -x567 -x566 -x565 -x564 -x563 
2922.34/2932.82	v -x562 -x561 -x560 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 
2922.34/2932.82	v -x538 -x537 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 
2922.34/2932.82	v -x515 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 
2922.34/2932.82	v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 
2922.34/2932.82	v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x446 
2922.34/2932.82	v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x424 -x423 
2922.34/2932.82	v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x402 -x401 -x400 
2922.34/2932.82	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x380 -x379 -x378 -x377 
2922.34/2932.82	v -x376 -x375 -x374 -x373 -x372 -x371 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x358 -x357 -x356 -x355 -x354 
2922.34/2932.82	v -x353 -x352 -x351 -x350 -x349 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x335 -x334 -x333 -x332 -x331 
2922.34/2932.82	v -x330 -x329 -x328 -x327 -x326 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x313 -x312 -x311 -x310 -x309 -x308 
2922.34/2932.82	v -x307 -x306 -x305 -x304 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x291 -x290 -x289 -x288 -x287 -x286 -x285 
2922.34/2932.82	v -x284 -x283 -x282 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 
2922.34/2932.82	v -x261 -x260 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 
2922.34/2932.82	v -x238 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 
2922.34/2932.82	v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 
2922.34/2932.82	v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x169 
2922.34/2932.82	v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x147 -x146 
2922.34/2932.82	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x125 -x124 -x123 
2922.34/2932.82	v -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x102 -x101 -x100 -x99 
2922.34/2932.82	v -x98 -x97 -x96 -x95 -x94 -x93 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 
2922.34/2932.82	v -x71 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x47 -x46 -x45 -x44 
2922.34/2932.82	v -x43 -x42 -x41 -x40 -x39 -x38 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 
2922.34/2932.82	v -x16 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 x6612 -x6611 -x6609 
2922.34/2932.82	v -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 
2922.34/2932.82	v -x6589 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 
2922.34/2932.82	v -x6569 -x6568 -x6567 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6554 -x6553 -x6552 -x6551 -x6550 
2922.34/2932.82	v -x6549 -x6548 -x6547 -x6546 -x6545 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6532 -x6531 
2922.34/2932.82	v -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6521 -x6520 -x6519 -x6518 x6517 -x6516 -x6515 -x6514 -x6513 -x6512 
2922.34/2932.82	v -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 
2922.34/2932.82	v -x6490 -x6489 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 
2922.34/2932.82	v -x6470 -x6469 -x6468 -x6467 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6454 -x6453 -x6452 -x6451 
2922.34/2932.82	v -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6432 -x6431 
2922.34/2932.82	v -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 
2922.34/2932.82	v -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 
2922.34/2932.82	v -x6390 -x6389 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6376 -x6375 -x6374 -x6373 -x6372 
2922.34/2932.82	v -x6371 -x6370 -x6369 -x6368 -x6367 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6354 -x6353 -x6352 
2922.34/2932.82	v -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6332 
2922.34/2932.82	v -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 
2922.34/2932.82	v -x6312 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 
2922.34/2932.82	v -x6292 -x6291 -x6290 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6276 -x6275 -x6274 -x6273 -x6272 
2922.34/2932.82	v -x6271 -x6270 -x6269 -x6268 -x6267 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6254 -x6253 -x6252 
2922.34/2932.82	v -x6251 -x6250 -x6249 -x6248 -x6247 -x6236 -x6225 -x6213 -x6202 -x6191 -x6180 -x6169 -x6158 -x6147 -x6136 -x6125 -x6114 
2922.34/2932.82	v -x6102 -x6091 -x6080 -x6069 -x6058 -x6047 -x6036 -x6025 -x6014 -x6003 -x5991 -x5980 -x5969 -x5958 -x5947 -x5936 -x5925 -x5914 
2922.34/2932.82	v -x5903 -x5892 -x5880 -x5869 -x5858 -x5847 -x5836 -x5825 -x5814 -x5803 -x5792 -x5781 -x5769 -x5758 -x5747 -x5736 -x5725 -x5714 
2922.34/2932.82	v -x5703 -x5692 -x5681 -x5670 -x5658 -x5647 -x5636 -x5625 -x5614 -x5603 -x5592 -x5581 -x5570 -x5559 -x5546 -x5535 -x5524 -x5513 
2922.34/2932.82	v -x5502 -x5491 -x5480 -x5469 -x5458 -x5447 -x5435 -x5424 -x5413 -x5402 -x5391 -x5380 -x5369 -x5358 -x5347 -x5336 -x5324 -x5313 
2922.34/2932.82	v -x5302 -x5291 -x5280 -x5269 -x5258 -x5247 -x5236 -x5225 -x5213 -x5202 -x5191 -x5180 -x5169 -x5158 -x5147 -x5136 -x5125 -x5114 
2922.34/2932.82	v -x5102 -x5091 -x5080 -x5069 -x5058 -x5047 -x5036 -x5025 -x5014 -x5003 -x4991 -x4980 -x4969 -x4958 -x4947 -x4936 -x4925 -x4914 
2922.34/2932.82	v -x4903 -x4892 -x4880 -x4869 -x4858 -x4847 -x4836 -x4825 -x4814 -x4803 -x4792 -x4781 -x4769 -x4758 -x4747 -x4736 -x4725 
2922.34/2932.82	v -x4714 -x4703 -x4692 -x4681 -x4670 -x4658 -x4647 -x4636 -x4625 -x4614 -x4603 -x4592 -x4581 -x4570 -x4559 -x4547 -x4536 -x4525 
2922.34/2932.82	v -x4514 -x4503 -x4492 -x4481 -x4470 -x4459 x4448 -x4435 -x4424 -x4413 -x4402 -x4391 -x4380 -x4369 -x4358 -x4347 -x4336 -x4324 
2922.34/2932.82	v -x4313 -x4302 -x4291 -x4280 -x4269 -x4258 -x4247 -x4236 -x4225 -x4213 -x4202 -x4191 -x4180 -x4169 -x4158 -x4147 -x4136 -x4125 
2922.34/2932.82	v -x4114 -x4102 -x4091 -x4080 -x4069 x4058 -x4047 -x4036 -x4025 -x4014 -x4003 -x3991 -x3980 -x3969 -x3958 -x3947 -x3936 -x3925 
2922.34/2932.82	v -x3914 -x3903 -x3892 -x3880 -x3869 -x3858 -x3847 -x3836 -x3825 -x3814 -x3803 -x3792 -x3781 -x3769 -x3758 -x3747 -x3736 -x3725 
2922.34/2932.82	v -x3714 -x3703 -x3692 -x3681 -x3670 -x3658 -x3647 -x3636 -x3625 -x3614 -x3603 -x3592 x3581 -x3570 -x3559 -x3547 -x3536 -x3525 
2922.34/2932.82	v -x3514 -x3503 -x3492 -x3481 -x3470 -x3459 -x3448 -x3436 -x3425 -x3414 -x3403 -x3392 -x3381 -x3370 -x3359 -x3348 -x3337 -x3324 
2922.34/2932.82	v -x3313 -x3302 -x3291 -x3280 -x3269 -x3258 -x3247 -x3236 -x3225 -x3213 -x3202 -x3191 -x3180 -x3169 -x3158 -x3147 -x3136 -x3125 
2922.34/2932.82	v -x3114 -x3102 -x3091 -x3080 -x3069 -x3058 -x3047 -x3036 -x3025 -x3014 -x3003 -x2991 -x2980 -x2969 -x2958 -x2947 -x2936 -x2925 
2922.34/2932.82	v -x2914 -x2903 -x2892 -x2880 -x2869 -x2858 -x2847 -x2836 -x2825 -x2814 -x2803 -x2792 -x2781 -x2769 -x2758 -x2747 -x2736 
2922.34/2932.82	v -x2725 -x2714 -x2703 -x2692 -x2681 -x2670 -x2658 -x2647 -x2636 -x2625 -x2614 -x2603 -x2592 -x2581 -x2570 -x2559 -x2547 -x2536 
2922.34/2932.82	v -x2525 -x2514 -x2503 -x2492 -x2481 -x2470 -x2459 -x2448 -x2436 -x2425 -x2414 -x2403 -x2392 -x2381 -x2370 -x2359 -x2348 -x2337 
2922.34/2932.82	v -x2325 -x2314 -x2303 -x2292 -x2281 -x2270 -x2259 -x2248 -x2237 -x2226 -x2213 -x2202 -x2191 -x2180 -x2169 -x2158 -x2147 -x2136 
2922.34/2932.82	v -x2125 -x2114 -x2102 -x2091 -x2080 -x2069 -x2058 -x2047 -x2036 -x2025 -x2014 -x2003 -x1991 -x1980 -x1969 -x1958 -x1947 -x1936 
2922.34/2932.82	v -x1925 -x1914 -x1903 -x1892 -x1880 -x1869 -x1858 -x1847 -x1836 -x1825 -x1814 -x1803 -x1792 -x1781 -x1769 -x1758 -x1747 -x1736 
2922.34/2932.82	v -x1725 -x1714 -x1703 -x1692 -x1681 -x1670 -x1658 -x1647 -x1636 -x1625 -x1614 -x1603 -x1592 -x1581 -x1570 -x1559 -x1547 -x1536 
2922.34/2932.82	v -x1525 -x1514 -x1503 -x1492 -x1481 -x1470 -x1459 -x1448 -x1436 -x1425 -x1414 -x1403 x1392 -x1381 -x1370 -x1359 -x1348 -x1337 
2922.34/2932.82	v -x1325 -x1314 -x1303 -x1292 -x1281 -x1270 -x1259 -x1248 -x1237 -x1226 -x1214 -x1203 -x1192 -x1181 -x1170 -x1159 -x1148 
2922.34/2932.82	v -x1137 -x1126 -x1115 -x1102 -x1091 -x1080 -x1069 -x1058 -x1047 -x1036 -x1025 -x1014 -x1003 -x991 -x980 -x969 -x958 -x947 -x936 
2922.34/2932.84	v -x925 -x914 -x903 -x892 -x880 -x869 -x858 -x847 -x836 -x825 -x814 -x803 -x792 -x781 -x769 -x758 -x747 -x736 -x725 -x714 -x703 
2922.34/2932.84	v -x692 -x681 -x670 -x658 -x647 -x636 -x625 -x614 -x603 -x592 -x581 -x570 -x559 -x547 -x536 -x525 -x514 -x503 -x492 -x481 -x470 
2922.34/2932.84	v -x459 -x448 -x436 -x425 -x414 -x403 -x392 -x381 -x370 -x359 -x348 -x337 -x325 -x314 -x303 -x292 -x281 -x270 -x259 -x248 -x237 
2922.34/2932.84	v -x226 -x214 -x203 -x192 -x181 -x170 -x159 -x148 -x137 -x126 -x115 -x103 -x92 -x81 -x70 -x59 -x48 -x37 -x26 -x15 -x4 -x6610 
2922.34/2932.84	v -x6599 -x6588 -x6577 -x6566 -x6555 -x6544 -x6533 -x6522 -x6511 -x6499 -x6488 -x6477 -x6466 -x6455 -x6444 -x6433 -x6422 -x6411 
2922.34/2932.84	v -x6400 -x6388 -x6377 -x6366 -x6355 -x6344 -x6333 -x6322 -x6311 -x6300 -x6289 -x6277 -x6266 -x6255 -x6224 -x6113 -x6002 -x5891 
2922.34/2932.84	v -x5780 -x5669 -x5558 -x5446 -x5335 -x5224 -x5113 -x5002 -x4891 -x4780 -x4669 -x4558 -x4447 -x4335 -x4224 -x4113 -x4002 -x3891 
2922.34/2932.84	v -x3780 -x3669 -x3558 -x3447 -x3336 -x3224 -x3113 -x3002 -x2891 -x2780 -x2669 -x2558 -x2447 -x2336 -x2225 -x2113 -x2002 
2922.34/2932.84	v -x1891 -x1780 -x1669 -x1558 -x1447 -x1336 -x1225 -x1114 -x1002 -x891 -x780 -x669 -x558 -x447 -x336 -x225 -x114 -x3 -x6510 -x6399 
2922.34/2932.84	v -x6288 -x5557 -x4446 -x3335 -x2224 -x1113 -x2 -x1 x6651 -x6650 -x6649 -x6648 -x6647 x6646 x6645 -x6644 -x6643 -x6642 x6641 
2922.34/2932.84	v x6640 x6639 x6638 x6637 x6636 x6635 x6634 x6633 x6632 x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 
2922.34/2932.84	v -x6621 

Verifier Data

OK	1126169600

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: 63931 MiB (61472 MiB free)
  memory of node 1: 64510 MiB (62296 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434588-1721064090/watcher-4434588-1721064090 -o /tmp/evaluation-result-4434588-1721064090/solver-4434588-1721064090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721064102-809918 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434588-1721064090.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=809978, runsolver pid=809968

[startup+0.100242 s]*
/proc/loadavg: 1.18 1.67 2.11 7/258 809985
/proc/meminfo: memFree=126622508/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=68960 memory=56088 CPUtime=0.1 cores=0,2
/proc/809978/stat : 809978 (fscip) R 809968 809978 809908 0 -1 4194304 11715 0 0 0 9 1 0 0 20 0 1 0 158578738 70615040 14022 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 17240 14022 2590 3032 0 13640 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 68960 KiB
Current children cumulated memory: 56088 KiB

[startup+0.216345 s]*
/proc/loadavg: 1.18 1.67 2.11 4/257 809999
/proc/meminfo: memFree=126555132/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=102428 memory=88904 CPUtime=0.21 cores=0,2
/proc/809978/stat : 809978 (fscip) R 809968 809978 809908 0 -1 4194304 16761 0 0 0 19 2 0 0 20 0 1 0 158578738 104886272 21714 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 25607 21714 2654 3032 0 22007 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 102428 KiB
Current children cumulated memory: 88904 KiB

[startup+0.305777 s]*
/proc/loadavg: 1.18 1.67 2.11 6/255 810012
/proc/meminfo: memFree=126559276/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=89164 memory=75804 CPUtime=0.3 cores=0,2
/proc/809978/stat : 809978 (fscip) R 809968 809978 809908 0 -1 4194304 19938 0 0 0 27 3 0 0 20 0 1 0 158578738 91303936 18951 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 22291 18951 2702 3032 0 18691 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 89164 KiB
Current children cumulated memory: 75804 KiB

[startup+0.71026 s]
/proc/loadavg: 1.18 1.67 2.11 6/260 810031
/proc/meminfo: memFree=126534328/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=211244 memory=143712 CPUtime=0.69 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 36903 0 0 0 64 5 0 0 20 0 3 0 158578738 216313856 35928 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 52811 35928 2798 3032 0 42617 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 211244 KiB
Current children cumulated memory: 143712 KiB

[startup+1.50024 s]
/proc/loadavg: 1.18 1.67 2.11 8/262 810033
/proc/meminfo: memFree=126352724/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=276780 memory=180488 CPUtime=1.48 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 45976 0 0 0 141 7 0 0 20 0 3 0 158578738 283422720 45122 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 69195 45122 2958 3032 0 52146 0
[pid=809978/tid=810032] ppid=809968 vsize=276780 memory=35803619 CPUtime=0.94 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 18374 0 0 0 92 2 0 0 20 0 3 0 158578791 283422720 45122 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=276780 memory=12316 CPUtime=0 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 158578794 283422720 45122 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 276780 KiB
Current children cumulated memory: 180488 KiB

[startup+3.10724 s]
/proc/loadavg: 1.18 1.67 2.11 7/266 810039
/proc/meminfo: memFree=125876616/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=276780 memory=197056 CPUtime=3.07 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 59470 0 0 0 299 8 0 0 20 0 3 0 158578738 283422720 49264 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 69195 49264 2958 3032 0 56163 0
[pid=809978/tid=810032] ppid=809968 vsize=276780 memory=12316 CPUtime=2.52 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 31863 0 0 0 249 3 0 0 20 0 3 0 158578791 283422720 49264 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=276780 memory=151888 CPUtime=0 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 158578794 283422720 49264 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 276780 KiB
Current children cumulated memory: 197056 KiB

[startup+6.30024 s]
/proc/loadavg: 1.48 1.73 2.13 7/266 810039
/proc/meminfo: memFree=125714964/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=276780 memory=212212 CPUtime=6.23 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 77887 0 0 0 614 9 0 0 20 0 3 0 158578738 283422720 53053 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 69195 53053 2958 3032 0 59958 0
[pid=809978/tid=810032] ppid=809968 vsize=276780 memory=0 CPUtime=5.7 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 49247 0 0 0 565 5 0 0 20 0 3 0 158578791 283422720 53053 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=276780 memory=164 CPUtime=0 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 158578794 283422720 53053 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 276780 KiB
Current children cumulated memory: 212212 KiB

[startup+12.7103 s]
/proc/loadavg: 1.68 1.77 2.14 6/266 810039
/proc/meminfo: memFree=125700924/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=276780 memory=225464 CPUtime=12.59 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 111981 0 0 0 1248 11 0 0 20 0 3 0 158578738 283422720 56366 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 69195 56366 2958 3032 0 63306 0
[pid=809978/tid=810032] ppid=809968 vsize=276780 memory=223144 CPUtime=12.04 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 83334 0 0 0 1198 6 0 0 20 0 3 0 158578791 283422720 56366 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=276780 memory=197056 CPUtime=0 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 158578794 283422720 56366 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 276780 KiB
Current children cumulated memory: 225464 KiB

[startup+25.5002 s]
/proc/loadavg: 2.36 1.91 2.18 7/266 810042
/proc/meminfo: memFree=125680392/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=342316 memory=244020 CPUtime=25.26 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 151437 0 0 0 2512 14 0 0 20 0 3 0 158578738 350531584 61005 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 85579 61005 2990 3032 0 67856 0
[pid=809978/tid=810032] ppid=809968 vsize=342316 memory=17942 CPUtime=24.71 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 122749 0 0 0 2462 9 0 0 20 0 3 0 158578791 350531584 61005 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=342316 memory=0 CPUtime=0 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 158578794 350531584 61005 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 342316 KiB
Current children cumulated memory: 244020 KiB

[startup+51.1065 s]
/proc/loadavg: 2.92 2.08 2.23 6/266 810046
/proc/meminfo: memFree=125613404/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=407852 memory=309164 CPUtime=50.68 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 223087 0 0 0 5049 19 0 0 20 0 3 0 158578738 417640448 77291 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 101963 77291 2990 3032 0 84595 0
[pid=809978/tid=810032] ppid=809968 vsize=407852 memory=0 CPUtime=50.13 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 193291 0 0 0 4998 15 0 0 20 0 3 0 158578791 417640448 77291 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=407852 memory=309084 CPUtime=0 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 158578794 417640448 77291 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 50.68 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 309164 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.38 2.32 7/266 810054
/proc/meminfo: memFree=125588600/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=407852 memory=310592 CPUtime=101.69 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 308870 0 0 0 10144 25 0 0 20 0 3 0 158578738 417640448 77648 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 101963 77648 2990 3032 0 84595 0
[pid=809978/tid=810032] ppid=809968 vsize=407852 memory=310360 CPUtime=101.15 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 276249 0 0 0 10094 21 0 0 20 0 3 0 158578791 417640448 77648 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=407852 memory=184564 CPUtime=0 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 158578794 417640448 77648 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 101.69 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 310592 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.71 2.44 6/266 810065
/proc/meminfo: memFree=125542424/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=407852 memory=340028 CPUtime=161.48 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 379139 0 0 0 16117 31 0 0 20 0 3 0 158578738 417640448 85007 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 101963 85007 3310 3032 0 91685 0
[pid=809978/tid=810032] ppid=809968 vsize=407852 memory=12316 CPUtime=160.93 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 345379 0 0 0 16066 27 0 0 20 0 3 0 158578791 417640448 85007 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=407852 memory=340024 CPUtime=0 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 158578794 417640448 85007 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 161.48 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 340028 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.97 2.55 7/266 810075
/proc/meminfo: memFree=125455680/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=407852 memory=341788 CPUtime=221.26 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 415076 0 0 0 22091 35 0 0 20 0 3 0 158578738 417640448 85447 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 101963 85447 3310 3032 0 91685 0
[pid=809978/tid=810032] ppid=809968 vsize=407852 memory=340096 CPUtime=220.7 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 380299 0 0 0 22040 30 0 0 20 0 3 0 158578791 417640448 85447 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=407852 memory=341432 CPUtime=0 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 158578794 417640448 85447 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 221.26 s
Current children cumulated vsize: 407852 KiB
Current children cumulated memory: 341788 KiB


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

/proc/809978/statm: 239476 233663 3310 3032 0 235815 0
[pid=809978/tid=810032] ppid=809968 vsize=957904 memory=1816 CPUtime=2671.81 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 871329 0 0 0 266917 264 0 0 20 0 3 0 158578791 980893696 233663 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=957904 memory=12316 CPUtime=0.02 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 110 0 0 0 1 1 0 0 20 0 3 0 158578794 980893696 233663 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 2672.62 s
Current children cumulated vsize: 957904 KiB
Current children cumulated memory: 934652 KiB

[startup+2742.3 s]
/proc/loadavg: 4.14 4.13 4.05 6/262 811705
/proc/meminfo: memFree=124511584/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=1044500 memory=1021248 CPUtime=2732.43 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 951508 0 0 0 272883 360 0 0 20 0 3 0 158578738 1069568000 255312 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 261125 255312 3310 3032 0 257465 0
[pid=809978/tid=810032] ppid=809968 vsize=1044500 memory=1816 CPUtime=2731.61 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 914884 0 0 0 272816 345 0 0 20 0 3 0 158578791 1069568000 255312 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=1044500 memory=12316 CPUtime=0.02 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 112 0 0 0 1 1 0 0 20 0 3 0 158578794 1069568000 255312 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 2732.43 s
Current children cumulated vsize: 1044500 KiB
Current children cumulated memory: 1021248 KiB

[startup+2802.3 s]
/proc/loadavg: 4.10 4.12 4.05 6/262 811716
/proc/meminfo: memFree=124506036/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=1048004 memory=1024804 CPUtime=2792.24 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 996133 0 0 0 278790 434 0 0 20 0 3 0 158578738 1073156096 256201 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 262001 256201 3310 3032 0 258341 0
[pid=809978/tid=810032] ppid=809968 vsize=1048004 memory=12316 CPUtime=2791.42 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 959482 0 0 0 278723 419 0 0 20 0 3 0 158578791 1073156096 256201 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=1048004 memory=12316 CPUtime=0.02 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 114 0 0 0 1 1 0 0 20 0 3 0 158578794 1073156096 256201 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 2792.24 s
Current children cumulated vsize: 1048004 KiB
Current children cumulated memory: 1024804 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.05 6/261 811727
/proc/meminfo: memFree=124501704/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=986660 memory=963532 CPUtime=2852.05 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 1104303 0 0 0 284637 568 0 0 20 0 3 0 158578738 1010339840 240883 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 246665 240883 3310 3032 0 243005 0
[pid=809978/tid=810032] ppid=809968 vsize=986660 memory=12316 CPUtime=2851.22 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 1067627 0 0 0 284569 553 0 0 20 0 3 0 158578791 1010339840 240883 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=986660 memory=1025728 CPUtime=0.02 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 116 0 0 0 1 1 0 0 20 0 3 0 158578794 1010339840 240883 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 2852.05 s
Current children cumulated vsize: 986660 KiB
Current children cumulated memory: 963532 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.10 4.05 7/261 811737
/proc/meminfo: memFree=124500436/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=1051544 memory=1028288 CPUtime=2911.87 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 1216754 0 0 0 290460 727 0 0 20 0 3 0 158578738 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 262886 257072 3310 3032 0 259226 0
[pid=809978/tid=810032] ppid=809968 vsize=1051544 memory=1028288 CPUtime=2911.04 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 1180053 0 0 0 290392 712 0 0 20 0 3 0 158578791 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=1051544 memory=1028288 CPUtime=0.02 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 118 0 0 0 1 1 0 0 20 0 3 0 158578794 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 2911.87 s
Current children cumulated vsize: 1051544 KiB
Current children cumulated memory: 1028288 KiB

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

# cumulated CPU time of all completed processes:  user=2915 s, system=7.39367 s

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

[startup+2924.8 s]
/proc/loadavg: 4.06 4.10 4.05 6/261 811738
/proc/meminfo: memFree=124500428/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=1051544 memory=1028288 CPUtime=2914.36 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 1216967 0 0 0 290706 730 0 0 20 0 3 0 158578738 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 262886 257072 3310 3032 0 259226 0
[pid=809978/tid=810032] ppid=809968 vsize=1051544 memory=12316 CPUtime=2913.53 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 1180266 0 0 0 290638 715 0 0 20 0 3 0 158578791 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=1051544 memory=1028288 CPUtime=0.02 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 118 0 0 0 1 1 0 0 20 0 3 0 158578794 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 2914.36 s
Current children cumulated vsize: 1051544 KiB
Current children cumulated memory: 1028288 KiB

[startup+2928 s]*
/proc/loadavg: 4.05 4.10 4.05 6/261 811738
/proc/meminfo: memFree=124500440/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=1051544 memory=1028288 CPUtime=2917.55 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 1217098 0 0 0 291022 733 0 0 20 0 3 0 158578738 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 262886 257072 3310 3032 0 259226 0
[pid=809978/tid=810032] ppid=809968 vsize=1051544 memory=2220 CPUtime=2916.72 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 1180397 0 0 0 290954 718 0 0 20 0 3 0 158578791 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=1051544 memory=5568 CPUtime=0.02 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 118 0 0 0 1 1 0 0 20 0 3 0 158578794 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 2917.55 s
Current children cumulated vsize: 1051544 KiB
Current children cumulated memory: 1028288 KiB

[startup+2931.2 s]
/proc/loadavg: 4.05 4.10 4.05 6/261 811738
/proc/meminfo: memFree=124501136/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=1051544 memory=1028288 CPUtime=2920.74 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 1217226 0 0 0 291337 737 0 0 20 0 3 0 158578738 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 262886 257072 3310 3032 0 259226 0
[pid=809978/tid=810032] ppid=809968 vsize=1051544 memory=40644 CPUtime=2919.91 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 1180525 0 0 0 291269 722 0 0 20 0 3 0 158578791 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=1051544 memory=1028288 CPUtime=0.02 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 118 0 0 0 1 1 0 0 20 0 3 0 158578794 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 2920.74 s
Current children cumulated vsize: 1051544 KiB
Current children cumulated memory: 1028288 KiB

[startup+2932 s]*
/proc/loadavg: 4.05 4.10 4.05 6/261 811738
/proc/meminfo: memFree=124501208/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=1051544 memory=1028288 CPUtime=2921.55 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 1217259 0 0 0 291417 738 0 0 20 0 3 0 158578738 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 262886 257072 3310 3032 0 259226 0
[pid=809978/tid=810032] ppid=809968 vsize=1051544 memory=6720668752964827760 CPUtime=2920.71 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 1180558 0 0 0 291349 722 0 0 20 0 3 0 158578791 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=1051544 memory=37484 CPUtime=0.02 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 118 0 0 0 1 1 0 0 20 0 3 0 158578794 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 2921.55 s
Current children cumulated vsize: 1051544 KiB
Current children cumulated memory: 1028288 KiB

[startup+2932.4 s]
/proc/loadavg: 4.05 4.10 4.05 6/261 811738
/proc/meminfo: memFree=124501208/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=1051544 memory=1028288 CPUtime=2921.94 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 1217277 0 0 0 291456 738 0 0 20 0 3 0 158578738 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 262886 257072 3310 3032 0 259226 0
[pid=809978/tid=810032] ppid=809968 vsize=1051544 memory=1816 CPUtime=2921.1 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 1180576 0 0 0 291388 722 0 0 20 0 3 0 158578791 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=1051544 memory=6720668752964827760 CPUtime=0.02 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 118 0 0 0 1 1 0 0 20 0 3 0 158578794 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 2921.94 s
Current children cumulated vsize: 1051544 KiB
Current children cumulated memory: 1028288 KiB

[startup+2932.8 s]
/proc/loadavg: 4.05 4.10 4.05 6/261 811738
/proc/meminfo: memFree=124501208/131524600 swapFree=131071996/131071996
[pid=809978] ppid=809968 vsize=1051544 memory=1028288 CPUtime=2922.34 cores=0,2
/proc/809978/stat : 809978 (fscip) S 809968 809978 809908 0 -1 1077936128 1217548 0 0 0 291496 738 0 0 20 0 3 0 158578738 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
/proc/809978/statm: 262886 257072 3310 3032 0 259226 0
[pid=809978/tid=810032] ppid=809968 vsize=1051544 memory=2220 CPUtime=2921.51 cores=0,2
/proc/809978/task/810032/stat : 810032 (fscip) R 809968 809978 809908 0 -1 4194368 1180847 0 0 0 291428 723 0 0 20 0 3 0 158578791 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
[pid=809978/tid=810033] ppid=809968 vsize=1051544 memory=1028288 CPUtime=0.02 cores=0,2
/proc/809978/task/810033/stat : 810033 (fscip) S 809968 809978 809908 0 -1 1077936192 118 0 0 0 1 1 0 0 20 0 3 0 158578794 1076781056 257072 134679101440 4194304 16613245 140720586952752 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36888576 140720586961941 140720586962057 140720586962057 140720586969072 0
Current children cumulated CPU time: 2922.34 s
Current children cumulated vsize: 1051544 KiB
Current children cumulated memory: 1028288 KiB

Child status: 0

Real time (s): 2932.85
CPU time (s): 2922.39
CPU user time (s): 2915
CPU system time (s): 7.39367
CPU usage (%): 99.6435
Max. virtual memory (cumulated for all children) (KiB): 1306400
Max. memory (cumulated for all children) (KiB): 1080984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2915
system time used= 7.39367
maximum resident set size= 1283140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1217801
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= 12209
involuntary context switches= 20843


# summary of solver processes directly reported to runsolver:
#   pid: 809978
#   total CPU time (s): 2922.39
#   total CPU user time (s): 2915
#   total CPU system time (s): 7.39367

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.46902 second user time and 13.8607 second system time

The end

Launcher Data

Begin job on nodeC033 at 2024-07-15 19:21:42
IDJOB=4434588
IDBENCH=146783
IDSOLVER=3064
FILE ID=nodeC033/4434588-1721064090
RUNJOBID= nodeC033-1721064102-809918
SLURM_JOB_ID= 7505520
Free space on /tmp= 890076 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.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-4434588-1721064090/watcher-4434588-1721064090 -o /tmp/evaluation-result-4434588-1721064090/solver-4434588-1721064090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721064102-809918 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434588-1721064090.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 8990d9f8b403d84c2b7408cf78742133
RANDOM SEED=285780738

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		: 3471.537
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.50
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		: 3656.346
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	: 7006.25
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		: 3625.557
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.50
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		: 3566.187
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	: 7006.25
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		: 3593.180
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.50
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		: 3660.255
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	: 7006.25
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		: 3850.700
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.50
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		: 3854.520
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126741032 kB
MemAvailable:   129686484 kB
Buffers:          381268 kB
Cached:          3371300 kB
SwapCached:            0 kB
Active:           626984 kB
Inactive:        3499896 kB
Active(anon):       1444 kB
Inactive(anon):   411000 kB
Active(file):     625540 kB
Inactive(file):  3088896 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            124268 kB
Writeback:             0 kB
AnonPages:        374068 kB
Mapped:           103304 kB
Shmem:             37716 kB
KReclaimable:     141328 kB
Slab:             251540 kB
SReclaimable:     141328 kB
SUnreclaim:       110212 kB
KernelStack:        3808 kB
PageTables:         9304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     737840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60320 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC033 at 2024-07-15 20:10:35