Trace number 4463920

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-30OPT1126169600 2936.48 2944.72

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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.21/0.23	c Default LC presolving (default).
0.21/0.23	c ** Before presolving: virtualMemUsedAtLc = 67551232, getVmSize() = 67551232, SCIPgetMemUsed() = 34022124, SCIPgetMemTotal() = 45657100, SCIPgetMemExternEstim() = 13971850
0.21/0.23	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
1.09/1.19	c ** Estimated virtualMemUsedAtSolver = 77125719, getVmSize() = 124977152, SCIPgetMemUsed() = 66300585, SCIPgetMemTotal() = 101716729, SCIPgetMemExternEstim() = 13971850
1.09/1.19	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.09/1.19	c Original Problem   :
1.09/1.19	c   Problem name     : instance-4463920-1722378594
1.09/1.19	c   Variables        : 6651 (6651 binary, 0 integer, 0 implicit integer, 0 continuous)
1.09/1.19	c   Constraints      : 721
1.09/1.19	c   Objective sense  : minimize
1.09/1.19	c Presolved Problem  :
1.09/1.19	c   Variables        : 3818 (3818 binary, 0 integer, 0 implicit integer, 0 continuous)
1.09/1.19	c   Constraints      : 536
1.09/1.19	c Constraints        : Number
1.09/1.19	c   knapsack         : 183 
1.09/1.19	c   setppc           : 330 
1.09/1.19	c   logicor          : 23 
1.09/1.19	c ** Instance transfer method used: 0
1.18/1.21	c ** ParaScipInstance copy does not increase the number of variables. **
1.18/1.25	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.18/1.25	c                                Nodes    Active                                            
1.18/1.25	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
1.88/1.98	c *       2              0           1         1  1342176256.0000                -          -
2.16/2.25	c *       2              0           1         1  1275067392.0000                -          -
2.27/2.32	c *       2              0           1         1  1214970880.0000                -          -
4.94/5.01	c *       5              0           1         1  1140849664.0000                -          -
4.94/5.01	c         5              0           1         1  1140849664.0000                -          -
23.09/23.30	c        23              2           1         1  1140849664.0000  1125417483.0281      1.37%
28.53/28.88	c        29             36          35         1  1140849664.0000  1125433196.5178      1.37%
33.87/34.25	c        34             96          95         1  1140849664.0000  1125433196.5178      1.37%
39.93/40.35	c        40            177         176         1  1140849664.0000  1125447035.0686      1.37%
42.52/42.99	c *      43            199         198         1  1132461056.0000  1125447035.0686      0.62%
42.52/43.01	c *      43            199         198         1  1132067840.0000  1125447035.0686      0.59%
45.73/46.14	c        46            266         248         1  1132067840.0000  1125491176.8434      0.58%
50.71/51.16	c        51            405         387         1  1132067840.0000  1125495311.3494      0.58%
55.99/56.40	c *      56            517         499         1  1129970688.0000  1125606677.4227      0.39%
55.99/56.40	c        56            517         499         1  1129970688.0000  1125606677.4227      0.39%
55.99/56.43	c *      56            517         499         1  1129316352.0000  1125606677.4227      0.33%
61.68/62.19	c        62            703         552         1  1129316352.0000  1125637784.3291      0.33%
65.85/66.33	c *      66            757         604         1  1129185280.0000  1125652883.8539      0.31%
67.25/67.74	c        68            806         637         1  1129185280.0000  1125661698.5305      0.31%
72.73/73.29	c        73            943         768         1  1129185280.0000  1125691213.8523      0.31%
78.12/78.69	c        79           1115         928         1  1129185280.0000  1125702949.8008      0.31%
83.62/84.11	c        84           1287        1088         1  1129185280.0000  1125715565.1683      0.31%
86.99/87.52	c *      88           1362        1153         1  1128463360.0000  1125735388.3042      0.24%
88.69/89.22	c        89           1418        1087         1  1128463360.0000  1125737308.4134      0.24%
93.98/94.53	c        95           1592        1233         1  1128463360.0000  1125743967.7519      0.24%
111.75/112.39	c       112           1659           0         1  1128463360.0000  1125750963.8894      0.24%
117.13/117.77	c       118           1730          69         1  1128463360.0000  1125750963.8894      0.24%
122.91/123.52	c       124           1876         171         1  1128463360.0000  1125750963.8894      0.24%
128.30/128.97	c       129           2010         261         1  1128463360.0000  1125750963.8894      0.24%
133.40/134.10	c       134           2115         332         1  1128463360.0000  1125750963.8894      0.24%
138.58/139.23	c       139           2218         391         1  1128463360.0000  1125750963.8894      0.24%
143.66/144.36	c       144           2399         492         1  1128463360.0000  1125750963.8894      0.24%
148.85/149.57	c       150           2595         600         1  1128463360.0000  1125750963.8894      0.24%
154.03/154.77	c       155           2773         716         1  1128463360.0000  1125750963.8894      0.24%
159.43/160.17	c       160           2941         814         1  1128463360.0000  1125750963.8894      0.24%
164.51/165.29	c       165           3066         899         1  1128463360.0000  1125750963.8894      0.24%
169.79/170.51	c       171           3256        1015         1  1128463360.0000  1125750963.8894      0.24%
175.39/176.15	c       176           3444        1123         1  1128463360.0000  1125750963.8894      0.24%
180.67/181.47	c       181           3614        1235         1  1128463360.0000  1125750963.8894      0.24%
184.65/185.43	c *     185           3723        1308         1  1127973888.0000  1125750963.8894      0.20%
184.65/185.45	c *     185           3723        1308         1  1127972864.0000  1125750963.8894      0.20%
185.76/186.58	c       187           3818         993         1  1127972864.0000  1125750963.8894      0.20%
189.05/189.80	c *     190           3913        1046         1  1126170624.0000  1125750963.8894      0.04%
189.15/189.91	c *     190           3913        1046         1  1126169600.0000  1125750963.8894      0.04%
190.94/191.70	c       192           4073         151         1  1126169600.0000  1125750963.8894      0.04%
196.12/196.90	c       197           4467         193         1  1126169600.0000  1125750963.8894      0.04%
201.33/202.12	c       202           4970         233         1  1126169600.0000  1125767393.1163      0.04%
207.20/208.03	c       208           5816         280         1  1126169600.0000  1125793914.7412      0.03%
212.47/213.39	c       213           6500         281         1  1126169600.0000  1125805890.3704      0.03%
217.76/218.61	c       219           6922         309         1  1126169600.0000  1125810561.1535      0.03%
222.85/223.80	c       224           7401         346         1  1126169600.0000  1125817082.7988      0.03%
227.93/228.87	c       229           7860         361         1  1126169600.0000  1125817785.5260      0.03%
233.61/234.58	c       235           8404         373         1  1126169600.0000  1125825898.6120      0.03%
238.90/239.85	c       240           8920         397         1  1126169600.0000  1125832337.8853      0.03%
244.58/245.51	c       246           9464         439         1  1126169600.0000  1125834719.9759      0.03%
249.57/250.54	c       251           9913         478         1  1126169600.0000  1125855965.8072      0.03%
254.85/255.86	c       256          10300         509         1  1126169600.0000  1125861136.8276      0.03%
260.14/261.13	c       261          10730         543         1  1126169600.0000  1125869373.2165      0.03%
265.13/266.14	c       266          11098         550         1  1126169600.0000  1125869953.7335      0.03%
270.50/271.51	c       272          11540         567         1  1126169600.0000  1125873439.6755      0.03%
275.68/276.77	c       277          11910         585         1  1126169600.0000  1125877546.2608      0.03%
281.66/282.74	c       283          12301         637         1  1126169600.0000  1125878701.0324      0.03%
287.36/288.42	c       288          12704         688         1  1126169600.0000  1125879388.2704      0.03%
292.83/293.90	c       294          13220         721         1  1126169600.0000  1125883069.9569      0.03%
298.52/299.69	c       300          13768         767         1  1126169600.0000  1125886008.9339      0.03%
303.60/304.76	c       305          14250         791         1  1126169600.0000  1125889826.6618      0.02%
308.69/309.88	c       310          14700         806         1  1126169600.0000  1125892266.6667      0.02%
313.77/314.96	c       315          15230         844         1  1126169600.0000  1125896614.6032      0.02%
319.45/320.68	c       321          15690         870         1  1126169600.0000  1125902089.8792      0.02%
325.04/326.26	c       326          16190         903         1  1126169600.0000  1125903368.4280      0.02%
330.72/331.95	c       332          16687         915         1  1126169600.0000  1125904987.3091      0.02%
335.92/337.15	c       337          17100         917         1  1126169600.0000  1125906719.4812      0.02%
341.68/343.01	c       343          17634         929         1  1126169600.0000  1125909866.7908      0.02%
346.95/348.28	c       348          18100         956         1  1126169600.0000  1125914484.9383      0.02%
352.74/354.03	c       354          18630         966         1  1126169600.0000  1125917262.1093      0.02%
357.82/359.11	c       359          19072         984         1  1126169600.0000  1125917727.1674      0.02%
363.39/364.74	c       365          19640         990         1  1126169600.0000  1125921633.6434      0.02%
369.28/370.69	c       371          20252        1022         1  1126169600.0000  1125925322.0664      0.02%
374.67/376.05	c       376          20710        1024         1  1126169600.0000  1125927105.9473      0.02%
380.54/381.91	c       382          21170        1055         1  1126169600.0000  1125927933.7059      0.02%
385.64/387.10	c       387          21780        1066         1  1126169600.0000  1125929825.4159      0.02%
391.21/392.64	c       393          22390        1090         1  1126169600.0000  1125931110.6215      0.02%
396.89/398.36	c       398          22870        1146         1  1126169600.0000  1125932703.4824      0.02%
402.87/404.34	c       404          23517        1173         1  1126169600.0000  1125933813.3087      0.02%
408.26/409.80	c       410          24050        1218         1  1126169600.0000  1125936508.9190      0.02%
413.94/415.43	c       415          24646        1239         1  1126169600.0000  1125937372.3042      0.02%
419.13/420.69	c       421          25230        1291         1  1126169600.0000  1125938402.1153      0.02%
425.01/426.56	c       427          25880        1325         1  1126169600.0000  1125940931.8341      0.02%
430.29/431.83	c       432          26475        1360         1  1126169600.0000  1125943587.9368      0.02%
435.37/436.92	c       437          27130        1401         1  1126169600.0000  1125944596.6557      0.02%
440.86/442.43	c       442          27800        1416         1  1126169600.0000  1125947574.9473      0.02%
446.45/448.07	c       448          28479        1451         1  1126169600.0000  1125948807.3500      0.02%
451.93/453.57	c       454          29043        1483         1  1126169600.0000  1125950327.4667      0.02%
457.72/459.34	c       459          29654        1524         1  1126169600.0000  1125952620.9406      0.02%
462.90/464.50	c       464          30210        1530         1  1126169600.0000  1125954231.8885      0.02%
467.99/469.67	c       470          30920        1550         1  1126169600.0000  1125956345.9509      0.02%
473.27/474.90	c       475          31506        1590         1  1126169600.0000  1125956666.8506      0.02%
478.65/480.36	c       480          32050        1623         1  1126169600.0000  1125958958.2491      0.02%
484.34/486.01	c       486          32659        1680         1  1126169600.0000  1125959389.0015      0.02%
489.33/491.07	c       491          33180        1735         1  1126169600.0000  1125960364.1963      0.02%
494.41/496.14	c       496          33750        1747         1  1126169600.0000  1125961258.5266      0.02%
499.59/501.31	c       501          34310        1801         1  1126169600.0000  1125962151.0943      0.02%
504.58/506.33	c       506          34790        1843         1  1126169600.0000  1125962515.8249      0.02%
510.46/512.23	c       512          35435        1875         1  1126169600.0000  1125962944.8494      0.02%
515.85/517.63	c       518          36050        1909         1  1126169600.0000  1125964860.3597      0.02%
521.03/522.84	c       523          36550        1931         1  1126169600.0000  1125966279.1805      0.02%
526.12/527.98	c       528          37067        1941         1  1126169600.0000  1125966665.8675      0.02%
531.61/533.47	c       533          37684        1957         1  1126169600.0000  1125968349.8667      0.02%
537.49/539.38	c       539          38349        1992         1  1126169600.0000  1125969207.2738      0.02%
542.58/544.48	c       544          38960        2033         1  1126169600.0000  1125970115.8470      0.02%
547.96/549.86	c       550          39526        2101         1  1126169600.0000  1125971317.3948      0.02%
553.04/554.90	c       555          40200        2134         1  1126169600.0000  1125971746.4832      0.02%
558.25/560.19	c       560          40980        2162         1  1126169600.0000  1125974424.7572      0.02%
563.42/565.37	c       565          41682        2175         1  1126169600.0000  1125975945.0384      0.02%
568.60/570.57	c       571          42340        2175         1  1126169600.0000  1125977067.3459      0.02%
573.89/575.83	c       576          43010        2204         1  1126169600.0000  1125977849.4413      0.02%
579.48/581.44	c       581          43590        2213         1  1126169600.0000  1125978624.4277      0.02%
584.56/586.58	c       587          44180        2260         1  1126169600.0000  1125980539.2035      0.02%
589.75/591.72	c       592          44810        2306         1  1126169600.0000  1125981168.7334      0.02%
595.14/597.15	c       597          45510        2350         1  1126169600.0000  1125983067.9611      0.02%
600.42/602.44	c       602          46230        2418         1  1126169600.0000  1125984168.7001      0.02%
605.90/607.93	c       608          47069        2464         1  1126169600.0000  1125985191.9258      0.02%
611.00/613.09	c       613          47780        2516         1  1126169600.0000  1125986700.7075      0.02%
616.47/618.52	c       619          48590        2590         1  1126169600.0000  1125986851.7183      0.02%
622.26/624.31	c       624          49342        2640         1  1126169600.0000  1125987189.8332      0.02%
628.24/630.31	c       630          50008        2661         1  1126169600.0000  1125987565.2232      0.02%
633.33/635.48	c       635          50470        2637         1  1126169600.0000  1125988034.3430      0.02%
638.71/640.82	c       641          50900        2685         1  1126169600.0000  1125988596.7832      0.02%
643.80/645.96	c       646          51380        2719         1  1126169600.0000  1125988940.0309      0.02%
649.09/651.23	c       651          51960        2725         1  1126169600.0000  1125989639.8187      0.02%
654.67/656.88	c       657          52400        2781         1  1126169600.0000  1125990286.2222      0.02%
660.06/662.27	c       662          53000        2814         1  1126169600.0000  1125990687.2195      0.02%
665.15/667.30	c       667          53630        2829         1  1126169600.0000  1125991240.7746      0.02%
670.63/672.88	c       673          54367        2867         1  1126169600.0000  1125991787.1206      0.02%
676.12/678.34	c       678          54849        2881         1  1126169600.0000  1125992477.8252      0.02%
681.81/684.10	c       684          55554        2913         1  1126169600.0000  1125992939.6715      0.02%
686.98/689.23	c       689          56180        2980         1  1126169600.0000  1125994116.0889      0.02%
692.06/694.31	c       694          56820        3035         1  1126169600.0000  1125994779.5281      0.02%
697.25/699.56	c       700          57486        3101         1  1126169600.0000  1125995520.0000      0.02%
702.34/704.69	c       705          58180        3137         1  1126169600.0000  1125996477.4146      0.02%
707.73/710.10	c       710          58890        3160         1  1126169600.0000  1125997897.1429      0.02%
713.11/715.41	c       715          59616        3207         1  1126169600.0000  1125999177.9750      0.02%
718.70/721.01	c       721          60380        3231         1  1126169600.0000  1126000271.4359      0.02%
724.58/726.93	c       727          61110        3231         1  1126169600.0000  1126001481.0121      0.01%
729.56/731.95	c       732          61705        3309         1  1126169600.0000  1126001847.7012      0.01%
734.95/737.30	c       737          62420        3376         1  1126169600.0000  1126002323.2439      0.01%
739.93/742.32	c       742          63142        3448         1  1126169600.0000  1126002659.6008      0.01%
745.32/747.72	c       748          63850        3494         1  1126169600.0000  1126003029.3333      0.01%
750.51/752.96	c       753          64620        3513         1  1126169600.0000  1126003714.8581      0.01%
755.71/758.11	c       758          65410        3561         1  1126169600.0000  1126004057.9803      0.01%
760.69/763.19	c       763          66030        3576         1  1126169600.0000  1126004667.4677      0.01%
765.97/768.44	c       768          66660        3582         1  1126169600.0000  1126006347.2401      0.01%
771.45/773.91	c       774          67220        3597         1  1126169600.0000  1126006724.8206      0.01%
777.33/779.89	c       780          67838        3637         1  1126169600.0000  1126007161.2134      0.01%
783.13/785.67	c       786          68493        3703         1  1126169600.0000  1126007434.3889      0.01%
788.41/790.92	c       791          69100        3728         1  1126169600.0000  1126008030.3821      0.01%
793.60/796.11	c       796          69750        3738         1  1126169600.0000  1126008466.0661      0.01%
799.08/801.67	c       802          70380        3735         1  1126169600.0000  1126009251.1890      0.01%
804.67/807.24	c       807          70970        3756         1  1126169600.0000  1126010005.0990      0.01%
810.05/812.70	c       813          71615        3760         1  1126169600.0000  1126010584.8622      0.01%
816.03/818.65	c       819          72310        3796         1  1126169600.0000  1126011263.7136      0.01%
821.32/823.99	c       824          72900        3818         1  1126169600.0000  1126012265.3498      0.01%
826.71/829.32	c       829          73440        3841         1  1126169600.0000  1126012966.8748      0.01%
831.70/834.39	c       834          73980        3877         1  1126169600.0000  1126013786.9597      0.01%
836.78/839.49	c       839          74580        3985         1  1126169600.0000  1126013962.6638      0.01%
842.27/844.91	c       845          75250        4038         1  1126169600.0000  1126014083.2709      0.01%
847.25/849.96	c       850          75920        4078         1  1126169600.0000  1126014253.3957      0.01%
853.13/855.89	c       856          76657        4140         1  1126169600.0000  1126014654.1714      0.01%
858.53/861.25	c       861          77350        4166         1  1126169600.0000  1126015124.5994      0.01%
863.71/866.49	c       866          77975        4166         1  1126169600.0000  1126016017.7139      0.01%
869.10/871.89	c       872          78670        4180         1  1126169600.0000  1126017300.3175      0.01%
874.18/877.01	c       877          79290        4190         1  1126169600.0000  1126017956.3819      0.01%
879.38/882.13	c       882          79910        4213         1  1126169600.0000  1126018643.6486      0.01%
884.55/887.36	c       887          80520        4257         1  1126169600.0000  1126018844.4444      0.01%
889.64/892.48	c       892          81020        4285         1  1126169600.0000  1126019413.3333      0.01%
895.42/898.28	c       898          81776        4331         1  1126169600.0000  1126019443.1088      0.01%
900.99/903.88	c       904          82480        4342         1  1126169600.0000  1126020734.7601      0.01%
906.38/909.21	c       909          83210        4384         1  1126169600.0000  1126020854.0189      0.01%
911.47/914.33	c       914          83980        4439         1  1126169600.0000  1126021155.6141      0.01%
916.74/919.68	c       920          84570        4440         1  1126169600.0000  1126021765.9386      0.01%
922.53/925.48	c       925          85537        4509         1  1126169600.0000  1126022136.4508      0.01%
928.52/931.47	c       931          86165        4538         1  1126169600.0000  1126023067.0245      0.01%
933.50/936.50	c       936          86660        4545         1  1126169600.0000  1126023746.8237      0.01%
938.89/941.89	c       942          87249        4578         1  1126169600.0000  1126024195.6367      0.01%
944.78/947.77	c       948          87927        4606         1  1126169600.0000  1126024533.3333      0.01%
949.86/952.83	c       953          88554        4662         1  1126169600.0000  1126024877.1785      0.01%
954.94/957.99	c       958          89130        4667         1  1126169600.0000  1126025355.0617      0.01%
960.23/963.27	c       963          89730        4702         1  1126169600.0000  1126025716.1246      0.01%
965.92/969.01	c       969          90380        4738         1  1126169600.0000  1126026126.4952      0.01%
971.30/974.38	c       974          90987        4788         1  1126169600.0000  1126026822.0454      0.01%
976.69/979.70	c       980          91520        4822         1  1126169600.0000  1126027605.3333      0.01%
981.67/984.76	c       985          92100        4832         1  1126169600.0000  1126028007.4218      0.01%
986.76/989.83	c       990          92670        4862         1  1126169600.0000  1126028515.5556      0.01%
992.74/995.83	c       996          93311        4933         1  1126169600.0000  1126028834.6067      0.01%
997.82/1000.94	c      1001          93970        4955         1  1126169600.0000  1126029348.9964      0.01%
1003.32/1006.41	c      1006          94656        4984         1  1126169600.0000  1126029653.3333      0.01%
1008.60/1011.71	c      1012          95395        4996         1  1126169600.0000  1126030082.3134      0.01%
1014.00/1017.16	c      1017          96000        5028         1  1126169600.0000  1126030297.5163      0.01%
1019.27/1022.42	c      1022          96630        5066         1  1126169600.0000  1126030880.0000      0.01%
1024.25/1027.46	c      1027          97310        5146         1  1126169600.0000  1126031328.3951      0.01%
1029.45/1032.69	c      1033          97815        5134         1  1126169600.0000  1126031758.9610      0.01%
1034.73/1037.94	c      1038          98385        5156         1  1126169600.0000  1126032247.7138      0.01%
1039.71/1042.97	c      1043          99000        5208         1  1126169600.0000  1126032414.4424      0.01%
1045.10/1048.31	c      1048          99620        5257         1  1126169600.0000  1126032671.0434      0.01%
1050.48/1053.70	c      1054         100310        5280         1  1126169600.0000  1126032906.0392      0.01%
1055.67/1059.01	c      1059         100912        5296         1  1126169600.0000  1126033254.3414      0.01%
1061.44/1064.72	c      1065         101639        5325         1  1126169600.0000  1126033724.4789      0.01%
1066.74/1070.01	c      1070         102220        5360         1  1126169600.0000  1126033881.3788      0.01%
1072.01/1075.37	c      1075         102890        5409         1  1126169600.0000  1126034153.8731      0.01%
1077.90/1081.24	c      1081         103634        5431         1  1126169600.0000  1126034773.3333      0.01%
1083.48/1086.89	c      1087         104270        5492         1  1126169600.0000  1126035342.2222      0.01%
1088.68/1092.07	c      1092         105050        5525         1  1126169600.0000  1126035638.9523      0.01%
1093.96/1097.35	c      1097         105750        5555         1  1126169600.0000  1126036104.2813      0.01%
1099.04/1102.45	c      1102         106450        5631         1  1126169600.0000  1126036649.2080      0.01%
1104.42/1107.89	c      1108         107200        5662         1  1126169600.0000  1126037545.8890      0.01%
1110.41/1113.80	c      1114         107970        5735         1  1126169600.0000  1126038276.3360      0.01%
1115.39/1118.83	c      1119         108560        5764         1  1126169600.0000  1126038568.1665      0.01%
1120.48/1123.91	c      1124         109110        5737         1  1126169600.0000  1126039040.0000      0.01%
1125.68/1129.12	c      1129         109710        5711         1  1126169600.0000  1126039642.1190      0.01%
1130.75/1134.21	c      1134         110230        5723         1  1126169600.0000  1126040095.7099      0.01%
1135.94/1139.41	c      1139         110780        5759         1  1126169600.0000  1126040209.6997      0.01%
1141.12/1144.69	c      1145         111380        5773         1  1126169600.0000  1126041585.1937      0.01%
1147.01/1150.57	c      1151         112079        5797         1  1126169600.0000  1126041949.5582      0.01%
1152.09/1155.61	c      1156         112670        5857         1  1126169600.0000  1126042192.8421      0.01%
1157.08/1160.68	c      1161         113250        5909         1  1126169600.0000  1126042466.9494      0.01%
1162.96/1166.50	c      1166         114033        5936         1  1126169600.0000  1126042773.4534      0.01%
1168.05/1171.67	c      1172         114652        5963         1  1126169600.0000  1126042907.8607      0.01%
1173.23/1176.80	c      1177         115210        5971         1  1126169600.0000  1126043555.6559      0.01%
1178.82/1182.43	c      1182         115938        6025         1  1126169600.0000  1126043794.2857      0.01%
1184.60/1188.23	c      1188         116651        6051         1  1126169600.0000  1126044350.1073      0.01%
1189.79/1193.41	c      1193         117240        6085         1  1126169600.0000  1126044697.7271      0.01%
1195.57/1199.28	c      1199         117801        6056         1  1126169600.0000  1126045190.2176      0.01%
1201.06/1204.77	c      1205         118310        6058         1  1126169600.0000  1126045855.8650      0.01%
1206.24/1209.97	c      1210         118940        6078         1  1126169600.0000  1126046269.8901      0.01%
1211.93/1215.66	c      1216         119656        6088         1  1126169600.0000  1126046556.2910      0.01%
1217.32/1221.01	c      1221         120370        6129         1  1126169600.0000  1126046852.6324      0.01%
1222.70/1226.45	c      1226         120990        6161         1  1126169600.0000  1126047380.8463      0.01%
1228.18/1231.96	c      1232         121580        6167         1  1126169600.0000  1126048006.2643      0.01%
1233.27/1237.08	c      1237         122110        6166         1  1126169600.0000  1126048640.3988      0.01%
1238.85/1242.69	c      1243         122732        6162         1  1126169600.0000  1126049344.8729      0.01%
1244.63/1248.40	c      1248         123410        6206         1  1126169600.0000  1126049832.0126      0.01%
1249.62/1253.41	c      1253         124000        6202         1  1126169600.0000  1126050133.3333      0.01%
1255.10/1258.93	c      1259         124565        6197         1  1126169600.0000  1126050350.7812      0.01%
1260.69/1264.56	c      1265         125200        6184         1  1126169600.0000  1126050972.0381      0.01%
1265.88/1269.73	c      1270         125732        6155         1  1126169600.0000  1126051185.1264      0.01%
1271.46/1275.33	c      1275         126420        6158         1  1126169600.0000  1126052181.3333      0.01%
1276.74/1280.68	c      1281         127120        6180         1  1126169600.0000  1126052571.4286      0.01%
1282.14/1286.04	c      1286         127753        6189         1  1126169600.0000  1126053140.5477      0.01%
1287.71/1291.60	c      1292         128450        6234         1  1126169600.0000  1126053546.6667      0.01%
1292.70/1296.64	c      1297         128960        6228         1  1126169600.0000  1126054207.3118      0.01%
1297.79/1301.71	c      1302         129450        6244         1  1126169600.0000  1126054521.9048      0.01%
1302.87/1306.81	c      1307         130130        6286         1  1126169600.0000  1126055139.5556      0.01%
1308.16/1312.19	c      1312         130790        6297         1  1126169600.0000  1126055990.2163      0.01%
1313.64/1317.66	c      1318         131260        6283         1  1126169600.0000  1126056587.1385      0.01%
1319.23/1323.24	c      1323         131870        6268         1  1126169600.0000  1126056862.4762      0.01%
1324.21/1328.27	c      1328         132380        6260         1  1126169600.0000  1126057252.5714      0.01%
1329.70/1333.70	c      1334         132880        6252         1  1126169600.0000  1126057763.8533      0.01%
1334.69/1338.79	c      1339         133450        6248         1  1126169600.0000  1126058088.5920      0.01%
1339.77/1343.81	c      1344         134040        6251         1  1126169600.0000  1126058315.8399      0.01%
1345.26/1349.35	c      1349         134600        6276         1  1126169600.0000  1126058764.9749      0.01%
1351.24/1355.30	c      1355         135120        6300         1  1126169600.0000  1126059050.7097      0.01%
1356.73/1360.83	c      1361         135640        6278         1  1126169600.0000  1126059581.9955      0.01%
1361.81/1365.91	c      1366         136080        6283         1  1126169600.0000  1126059872.6402      0.01%
1367.10/1371.28	c      1371         136630        6283         1  1126169600.0000  1126060171.0617      0.01%
1372.78/1377.01	c      1377         137200        6277         1  1126169600.0000  1126060373.3333      0.01%
1378.16/1382.37	c      1382         137720        6294         1  1126169600.0000  1126060714.9600      0.01%
1383.24/1387.44	c      1387         138260        6315         1  1126169600.0000  1126061187.2182      0.01%
1388.34/1392.52	c      1393         138780        6322         1  1126169600.0000  1126061738.6667      0.01%
1393.31/1397.53	c      1398         139250        6298         1  1126169600.0000  1126062037.9492      0.01%
1398.49/1402.79	c      1403         139847        6330         1  1126169600.0000  1126062198.3865      0.01%
1404.27/1408.53	c      1409         140525        6361         1  1126169600.0000  1126062451.9669      0.01%
1409.26/1413.56	c      1414         141204        6364         1  1126169600.0000  1126062678.9952      0.01%
1414.95/1419.28	c      1419         141886        6356         1  1126169600.0000  1126063104.0000      0.01%
1420.23/1424.50	c      1424         142407        6341         1  1126169600.0000  1126063460.4874      0.01%
1425.31/1429.67	c      1430         142988        6394         1  1126169600.0000  1126063680.4248      0.01%
1431.20/1435.57	c      1436         143654        6393         1  1126169600.0000  1126063911.8938      0.01%
1436.28/1440.66	c      1441         144290        6416         1  1126169600.0000  1126064504.3419      0.01%
1441.57/1445.96	c      1446         144880        6419         1  1126169600.0000  1126065033.7552      0.01%
1446.56/1450.97	c      1451         145400        6442         1  1126169600.0000  1126065384.3972      0.01%
1451.84/1456.29	c      1456         146120        6466         1  1126169600.0000  1126065652.6222      0.01%
1457.32/1461.77	c      1462         146750        6475         1  1126169600.0000  1126066020.6196      0.01%
1462.51/1466.91	c      1467         147410        6487         1  1126169600.0000  1126066645.0431      0.01%
1467.71/1472.14	c      1472         148080        6512         1  1126169600.0000  1126067200.0000      0.01%
1472.70/1477.19	c      1477         148680        6522         1  1126169600.0000  1126067593.1747      0.01%
1478.47/1482.93	c      1483         149453        6556         1  1126169600.0000  1126067933.9249      0.01%
1483.56/1488.07	c      1488         150010        6540         1  1126169600.0000  1126068545.9609      0.01%
1488.65/1493.13	c      1493         150590        6546         1  1126169600.0000  1126068977.0114      0.01%
1494.32/1498.81	c      1499         151116        6546         1  1126169600.0000  1126069289.7959      0.01%
1499.90/1504.43	c      1504         151708        6545         1  1126169600.0000  1126069447.8049      0.01%
1504.89/1509.44	c      1509         152300        6545         1  1126169600.0000  1126069534.5970      0.01%
1510.67/1515.21	c      1515         153015        6554         1  1126169600.0000  1126070002.1304      0.01%
1516.15/1520.75	c      1521         153710        6574         1  1126169600.0000  1126070197.2475      0.01%
1521.35/1525.95	c      1526         154300        6588         1  1126169600.0000  1126070524.6753      0.01%
1526.93/1531.51	c      1532         154940        6598         1  1126169600.0000  1126071069.3039      0.01%
1532.21/1536.84	c      1537         155600        6626         1  1126169600.0000  1126071341.7519      0.01%
1537.51/1542.15	c      1542         156360        6649         1  1126169600.0000  1126071544.6534      0.01%
1542.98/1547.67	c      1548         157000        6703         1  1126169600.0000  1126071941.0285      0.01%
1548.06/1552.79	c      1553         157640        6743         1  1126169600.0000  1126072449.7424      0.01%
1553.35/1558.02	c      1558         158270        6754         1  1126169600.0000  1126072843.4664      0.01%
1558.62/1563.37	c      1563         158910        6807         1  1126169600.0000  1126073662.5094      0.01%
1563.72/1568.44	c      1568         159520        6810         1  1126169600.0000  1126074026.6667      0.01%
1569.41/1574.15	c      1574         160250        6830         1  1126169600.0000  1126074254.6829      0.01%
1574.48/1579.22	c      1579         160855        6831         1  1126169600.0000  1126074400.2450      0.01%
1579.67/1584.43	c      1584         161400        6851         1  1126169600.0000  1126074577.8218      0.01%
1584.65/1589.48	c      1589         162010        6853         1  1126169600.0000  1126075164.4444      0.01%
1589.73/1594.54	c      1595         162510        6846         1  1126169600.0000  1126075673.7354      0.01%
1595.02/1599.86	c      1600         163020        6853         1  1126169600.0000  1126075991.9192      0.01%
1600.11/1604.98	c      1605         163510        6866         1  1126169600.0000  1126076322.3897      0.01%
1605.20/1610.01	c      1610         163960        6906         1  1126169600.0000  1126076805.3333      0.01%
1610.38/1615.26	c      1615         164410        6908         1  1126169600.0000  1126077167.0130      0.01%
1615.76/1620.68	c      1621         164940        6884         1  1126169600.0000  1126077664.9272      0.01%
1621.16/1626.09	c      1626         165560        6922         1  1126169600.0000  1126077822.4634      0.01%
1626.34/1631.25	c      1631         166180        6956         1  1126169600.0000  1126078153.3717      0.01%
1631.52/1636.43	c      1636         166860        6980         1  1126169600.0000  1126078532.2667      0.01%
1636.70/1641.62	c      1642         167430        6921         1  1126169600.0000  1126078739.0413      0.01%
1641.99/1647.01	c      1647         168151        6987         1  1126169600.0000  1126079079.4334      0.01%
1647.18/1652.17	c      1652         168820        7029         1  1126169600.0000  1126079295.8565      0.01%
1652.85/1657.84	c      1658         169530        7058         1  1126169600.0000  1126079648.6275      0.01%
1657.84/1662.86	c      1663         170050        7027         1  1126169600.0000  1126079775.8228      0.01%
1663.14/1668.14	c      1668         170570        7011         1  1126169600.0000  1126080044.4866      0.01%
1668.41/1673.43	c      1673         171110        6996         1  1126169600.0000  1126080439.5960      0.01%
1673.70/1678.72	c      1679         171720        7038         1  1126169600.0000  1126080853.3333      0.01%
1678.68/1683.78	c      1684         172266        7071         1  1126169600.0000  1126080853.3333      0.01%
1684.27/1689.32	c      1689         172890        7049         1  1126169600.0000  1126081128.4005      0.01%
1689.36/1694.48	c      1694         173510        7071         1  1126169600.0000  1126081365.3333      0.01%
1694.54/1699.63	c      1700         174070        7073         1  1126169600.0000  1126081576.5719      0.01%
1699.63/1704.71	c      1705         174610        7100         1  1126169600.0000  1126081828.5714      0.01%
1704.82/1709.95	c      1710         175166        7107         1  1126169600.0000  1126082120.9114      0.01%
1709.80/1715.01	c      1715         175680        7071         1  1126169600.0000  1126082302.5117      0.01%
1715.27/1720.45	c      1720         176229        7051         1  1126169600.0000  1126082504.0704      0.01%
1720.77/1726.01	c      1726         176790        7043         1  1126169600.0000  1126082721.4220      0.01%
1726.45/1731.63	c      1732         177320        7047         1  1126169600.0000  1126083128.8889      0.01%
1731.52/1736.70	c      1737         177890        7035         1  1126169600.0000  1126083296.2159      0.01%
1737.40/1742.67	c      1743         178598        7018         1  1126169600.0000  1126083818.5678      0.01%
1742.49/1747.71	c      1748         179180        7029         1  1126169600.0000  1126084039.1111      0.01%
1747.68/1752.93	c      1753         179710        7024         1  1126169600.0000  1126084346.3111      0.01%
1752.88/1758.20	c      1758         180180        7077         1  1126169600.0000  1126084508.0135      0.01%
1758.25/1763.59	c      1764         180790        7087         1  1126169600.0000  1126084886.0775      0.01%
1763.54/1768.88	c      1769         181533        7082         1  1126169600.0000  1126085079.3651      0.01%
1768.62/1773.93	c      1774         182070        7069         1  1126169600.0000  1126085361.7778      0.01%
1773.61/1778.99	c      1779         182600        7089         1  1126169600.0000  1126085988.9908      0.01%
1779.50/1784.86	c      1785         183275        7090         1  1126169600.0000  1126086202.0619      0.01%
1785.48/1790.80	c      1791         184004        7113         1  1126169600.0000  1126086381.4163      0.01%
1791.06/1796.46	c      1796         184660        7131         1  1126169600.0000  1126086699.5745      0.01%
1796.35/1801.77	c      1802         185250        7156         1  1126169600.0000  1126087061.4920      0.01%
1801.94/1807.34	c      1807         185997        7202         1  1126169600.0000  1126087224.8889      0.01%
1807.92/1813.31	c      1813         186648        7199         1  1126169600.0000  1126087284.8775      0.01%
1813.01/1818.43	c      1818         187150        7191         1  1126169600.0000  1126087680.0000      0.01%
1818.09/1823.59	c      1824         187705        7224         1  1126169600.0000  1126087814.9362      0.01%
1823.37/1828.83	c      1829         188240        7227         1  1126169600.0000  1126088169.1429      0.01%
1828.67/1834.17	c      1834         188780        7211         1  1126169600.0000  1126088297.1014      0.01%
1833.84/1839.31	c      1839         189330        7183         1  1126169600.0000  1126088491.2297      0.01%
1838.94/1844.42	c      1844         189840        7208         1  1126169600.0000  1126088619.6554      0.01%
1844.42/1849.96	c      1850         190500        7229         1  1126169600.0000  1126088773.4834      0.01%
1849.62/1855.18	c      1855         191050        7237         1  1126169600.0000  1126089100.8878      0.01%
1855.09/1860.66	c      1861         191660        7260         1  1126169600.0000  1126089386.6667      0.01%
1860.18/1865.76	c      1866         192240        7250         1  1126169600.0000  1126089517.9487      0.01%
1865.26/1870.84	c      1871         192804        7254         1  1126169600.0000  1126089829.1638      0.01%
1870.85/1876.49	c      1876         193460        7285         1  1126169600.0000  1126090126.2222      0.01%
1876.04/1881.62	c      1882         193950        7295         1  1126169600.0000  1126090282.7188      0.01%
1881.12/1886.70	c      1887         194520        7289         1  1126169600.0000  1126090733.3557      0.01%
1886.90/1892.56	c      1893         195160        7262         1  1126169600.0000  1126091023.6735      0.01%
1892.29/1897.99	c      1898         195800        7253         1  1126169600.0000  1126091299.9908      0.01%
1897.49/1903.16	c      1903         196300        7253         1  1126169600.0000  1126091535.0588      0.01%
1902.56/1908.27	c      1908         196850        7249         1  1126169600.0000  1126091693.2960      0.01%
1907.76/1913.43	c      1913         197398        7198         1  1126169600.0000  1126091944.2764      0.01%
1912.74/1918.47	c      1918         197950        7181         1  1126169600.0000  1126092261.7396      0.01%
1917.92/1923.65	c      1924         198600        7195         1  1126169600.0000  1126092632.1977      0.01%
1923.01/1928.75	c      1929         199185        7175         1  1126169600.0000  1126092753.4545      0.01%
1928.79/1934.58	c      1935         199799        7157         1  1126169600.0000  1126092877.0394      0.01%
1933.77/1939.59	c      1940         200300        7149         1  1126169600.0000  1126092990.2131      0.01%
1938.95/1944.74	c      1945         200870        7166         1  1126169600.0000  1126093131.6721      0.01%
1944.05/1949.80	c      1950         201440        7155         1  1126169600.0000  1126093477.2839      0.01%
1949.13/1954.97	c      1955         202030        7145         1  1126169600.0000  1126093700.3729      0.01%
1954.12/1959.99	c      1960         202660        7158         1  1126169600.0000  1126093919.2889      0.01%
1959.21/1965.01	c      1965         203129        7151         1  1126169600.0000  1126094132.8216      0.01%
1964.30/1970.15	c      1970         203630        7126         1  1126169600.0000  1126094479.8618      0.01%
1969.38/1975.26	c      1975         204100        7096         1  1126169600.0000  1126094760.9700      0.01%
1974.66/1980.59	c      1981         204610        7057         1  1126169600.0000  1126095058.2383      0.01%
1979.75/1985.66	c      1986         205110        7037         1  1126169600.0000  1126095411.5436      0.01%
1985.04/1990.96	c      1991         205640        6999         1  1126169600.0000  1126095689.3867      0.01%
1990.02/1995.98	c      1996         206130        6973         1  1126169600.0000  1126096117.7124      0.01%
1995.50/2001.40	c      2001         206664        6981         1  1126169600.0000  1126096165.2870      0.01%
2001.10/2007.09	c      2007         207194        6938         1  1126169600.0000  1126096514.5098      0.01%
2006.57/2012.54	c      2013         207730        6921         1  1126169600.0000  1126096772.8995      0.01%
2011.56/2017.58	c      2018         208310        6930         1  1126169600.0000  1126096795.4533      0.01%
2016.74/2022.77	c      2023         208750        6875         1  1126169600.0000  1126097107.9609      0.01%
2022.04/2028.01	c      2028         209261        6864         1  1126169600.0000  1126097271.4296      0.01%
2027.21/2033.22	c      2033         209784        6914         1  1126169600.0000  1126097420.3542      0.01%
2032.90/2038.98	c      2039         210435        6967         1  1126169600.0000  1126097489.1901      0.01%
2037.86/2044.01	c      2044         210960        6926         1  1126169600.0000  1126097715.8182      0.01%
2042.95/2049.03	c      2049         211500        6914         1  1126169600.0000  1126097961.9418      0.01%
2048.63/2054.73	c      2055         212130        6905         1  1126169600.0000  1126098146.6517      0.01%
2053.72/2059.82	c      2060         212540        6858         1  1126169600.0000  1126098355.8675      0.01%
2058.70/2064.87	c      2065         213045        6842         1  1126169600.0000  1126098524.9854      0.01%
2064.09/2070.25	c      2070         213580        6805         1  1126169600.0000  1126098720.6584      0.01%
2069.28/2075.42	c      2075         214050        6760         1  1126169600.0000  1126098895.2381      0.01%
2074.66/2080.82	c      2081         214550        6735         1  1126169600.0000  1126099070.2165      0.01%
2079.74/2085.95	c      2086         215030        6695         1  1126169600.0000  1126099400.5712      0.01%
2085.23/2091.40	c      2091         215488        6661         1  1126169600.0000  1126099626.6667      0.01%
2090.32/2096.57	c      2097         216060        6647         1  1126169600.0000  1126099968.0000      0.01%
2095.41/2101.63	c      2102         216460        6579         1  1126169600.0000  1126100241.0667      0.01%
2100.59/2106.87	c      2107         216899        6526         1  1126169600.0000  1126100630.2679      0.01%
2106.08/2112.38	c      2112         217420        6473         1  1126169600.0000  1126100757.5196      0.01%
2111.26/2117.52	c      2118         217942        6455         1  1126169600.0000  1126100829.2777      0.01%
2116.87/2123.17	c      2123         218550        6439         1  1126169600.0000  1126101147.7075      0.01%
2122.63/2128.90	c      2129         219090        6409         1  1126169600.0000  1126101241.4359      0.01%
2128.11/2134.45	c      2134         219619        6395         1  1126169600.0000  1126101333.3333      0.01%
2133.49/2139.83	c      2140         220083        6338         1  1126169600.0000  1126101451.4701      0.01%
2138.79/2145.12	c      2145         220640        6290         1  1126169600.0000  1126101645.4871      0.01%
2144.06/2150.44	c      2150         221111        6255         1  1126169600.0000  1126101856.6855      0.01%
2149.26/2155.68	c      2156         221526        6174         1  1126169600.0000  1126102016.0000      0.01%
2154.65/2161.11	c      2161         221932        6110         1  1126169600.0000  1126102341.2741      0.01%
2159.93/2166.32	c      2166         222350        6064         1  1126169600.0000  1126102671.1764      0.01%
2165.31/2171.72	c      2172         222766        6012         1  1126169600.0000  1126103063.8140      0.01%
2170.40/2176.87	c      2177         223120        5918         1  1126169600.0000  1126103293.1122      0.01%
2175.49/2181.95	c      2182         223500        5853         1  1126169600.0000  1126103608.8889      0.01%
2180.58/2187.04	c      2187         224060        5811         1  1126169600.0000  1126103958.9744      0.01%
2185.76/2192.25	c      2192         224300        5733         1  1126169600.0000  1126104325.0996      0.01%
2190.84/2197.37	c      2197         224825        5716         1  1126169600.0000  1126104576.0000      0.01%
2196.12/2202.61	c      2203         225130        5618         1  1126169600.0000  1126105027.5556      0.01%
2201.22/2207.70	c      2208         225580        5608         1  1126169600.0000  1126105328.8771      0.01%
2206.61/2213.11	c      2213         225980        5527         1  1126169600.0000  1126105613.4027      0.01%
2211.68/2218.25	c      2218         226370        5444         1  1126169600.0000  1126105981.2766      0.01%
2216.77/2223.35	c      2223         226620        5363         1  1126169600.0000  1126106298.1818      0.01%
2221.96/2228.59	c      2229         226764        5260         1  1126169600.0000  1126106424.5153      0.01%
2227.24/2233.89	c      2234         227090        5172         1  1126169600.0000  1126106653.2897      0.01%
2232.54/2239.18	c      2239         227440        5084         1  1126169600.0000  1126107053.1048      0.01%
2237.71/2244.30	c      2244         227740        5005         1  1126169600.0000  1126107595.3885      0.01%
2243.41/2250.08	c      2250         228025        4924         1  1126169600.0000  1126108160.0000      0.01%
2248.58/2255.27	c      2255         228390        4841         1  1126169600.0000  1126108728.8889      0.01%
2253.87/2260.59	c      2261         228767        4784         1  1126169600.0000  1126109079.8268      0.01%
2259.37/2266.09	c      2266         229020        4661         1  1126169600.0000  1126109525.3333      0.01%
2264.64/2271.36	c      2271         229500        4636         1  1126169600.0000  1126109955.6835      0.01%
2270.45/2277.17	c      2277         229760        4525         1  1126169600.0000  1126110103.0033      0.01%
2276.02/2282.71	c      2283         229980        4420         1  1126169600.0000  1126110662.2160      0.01%
2281.31/2288.10	c      2288         230150        4300         1  1126169600.0000  1126110979.8788      0.01%
2286.40/2293.19	c      2293         230320        4191         1  1126169600.0000  1126111239.9503      0.01%
2291.48/2298.24	c      2298         230520        4106         1  1126169600.0000  1126111538.7095      0.01%
2296.86/2303.64	c      2304         230680        4003         1  1126169600.0000  1126111800.8889      0.01%
2301.96/2308.70	c      2309         230850        3897         1  1126169600.0000  1126112306.5679      0.01%
2307.25/2314.01	c      2314         230940        3807         1  1126169600.0000  1126112472.9048      0.01%
2312.43/2319.22	c      2319         231050        3715         1  1126169600.0000  1126112920.7467      0.01%
2317.61/2324.49	c      2324         231106        3659         1  1126169600.0000  1126113078.6881      0.01%
2323.10/2329.97	c      2330         231159        3605         1  1126169600.0000  1126113442.9091      0.00%
2328.69/2335.57	c      2336         231209        3555         1  1126169600.0000  1126113544.4463      0.00%
2333.78/2340.67	c      2341         231250        3513         1  1126169600.0000  1126113618.9424      0.00%
2338.87/2345.76	c      2346         231290        3473         1  1126169600.0000  1126113778.4071      0.00%
2344.16/2351.01	c      2351         231330        3432         1  1126169600.0000  1126113997.8039      0.00%
2349.34/2356.26	c      2356         231370        3390         1  1126169600.0000  1126114049.4648      0.00%
2354.42/2361.32	c      2361         231408        3351         1  1126169600.0000  1126114092.6579      0.00%
2359.91/2366.86	c      2367         231448        3308         1  1126169600.0000  1126114129.2662      0.00%
2365.70/2372.66	c      2373         231488        3266         1  1126169600.0000  1126114428.1212      0.00%
2371.39/2378.37	c      2378         231527        3225         1  1126169600.0000  1126114546.3467      0.00%
2377.47/2384.40	c      2384         231567        3181         1  1126169600.0000  1126114714.1505      0.00%
2383.46/2390.47	c      2390         231607        3139         1  1126169600.0000  1126114871.9595      0.00%
2388.84/2395.85	c      2396         231640        3104         1  1126169600.0000  1126114986.6667      0.00%
2394.83/2401.82	c      2402         231677        3067         1  1126169600.0000  1126115063.7419      0.00%
2400.82/2407.84	c      2408         231715        3029         1  1126169600.0000  1126115072.0000      0.00%
2405.90/2412.93	c      2413         231747        2997         1  1126169600.0000  1126115268.6245      0.00%
2411.29/2418.38	c      2418         231780        2964         1  1126169600.0000  1126115373.3254      0.00%
2416.37/2423.44	c      2423         231810        2934         1  1126169600.0000  1126115413.3333      0.00%
2421.46/2428.51	c      2429         231840        2902         1  1126169600.0000  1126115413.3333      0.00%
2426.55/2433.66	c      2434         231870        2870         1  1126169600.0000  1126115606.8571      0.00%
2431.74/2438.83	c      2439         231900        2839         1  1126169600.0000  1126115633.5226      0.00%
2437.04/2444.11	c      2444         231930        2808         1  1126169600.0000  1126115690.7057      0.00%
2442.01/2449.14	c      2449         232030        2728         1  1126169600.0000  1126116023.8873      0.00%
2447.39/2454.57	c      2455         232100        2658         1  1126169600.0000  1126116313.5280      0.00%
2452.89/2460.05	c      2460         232160        2598         1  1126169600.0000  1126116429.3333      0.00%
2458.88/2466.07	c      2466         232219        2538         1  1126169600.0000  1126116497.0667      0.00%
2464.55/2471.77	c      2472         232269        2487         1  1126169600.0000  1126116704.1644      0.00%
2470.53/2477.76	c      2478         232319        2435         1  1126169600.0000  1126116921.4171      0.00%
2475.72/2482.92	c      2483         232360        2392         1  1126169600.0000  1126117187.7078      0.00%
2480.92/2488.11	c      2488         232398        2351         1  1126169600.0000  1126117267.0877      0.00%
2486.19/2493.44	c      2493         232438        2310         1  1126169600.0000  1126117437.0950      0.00%
2491.89/2499.15	c      2499         232478        2266         1  1126169600.0000  1126117717.3333      0.00%
2497.66/2504.95	c      2505         232517        2227         1  1126169600.0000  1126117954.4211      0.00%
2503.76/2511.05	c      2511         232558        2185         1  1126169600.0000  1126118138.9099      0.00%
2509.74/2517.04	c      2517         232598        2142         1  1126169600.0000  1126118246.4000      0.00%
2514.84/2522.15	c      2522         232630        2110         1  1126169600.0000  1126118387.1932      0.00%
2520.31/2527.60	c      2528         232664        2076         1  1126169600.0000  1126118400.0000      0.00%
2525.60/2533.01	c      2533         232697        2041         1  1126169600.0000  1126118474.6112      0.00%
2531.08/2538.48	c      2538         232730        2008         1  1126169600.0000  1126118877.7268      0.00%
2537.07/2544.47	c      2544         232766        1971         1  1126169600.0000  1126118933.1064      0.00%
2542.17/2549.53	c      2550         232796        1940         1  1126169600.0000  1126119110.1727      0.00%
2547.76/2555.12	c      2555         232830        1905         1  1126169600.0000  1126119301.7149      0.00%
2552.84/2560.28	c      2560         232860        1874         1  1126169600.0000  1126119403.7405      0.00%
2558.12/2565.56	c      2566         232890        1844         1  1126169600.0000  1126119559.8367      0.00%
2563.73/2571.19	c      2571         232922        1811         1  1126169600.0000  1126119722.7099      0.00%
2568.80/2576.22	c      2576         232950        1782         1  1126169600.0000  1126119901.8667      0.00%
2574.29/2581.72	c      2582         232980        1750         1  1126169600.0000  1126120106.6667      0.00%
2579.69/2587.18	c      2587         233010        1719         1  1126169600.0000  1126120327.6028      0.00%
2585.27/2592.77	c      2593         233040        1688         1  1126169600.0000  1126120512.9359      0.00%
2590.95/2598.42	c      2598         233070        1657         1  1126169600.0000  1126120568.5324      0.00%
2596.55/2604.10	c      2604         233100        1626         1  1126169600.0000  1126120656.7417      0.00%
2601.63/2609.12	c      2609         233126        1598         1  1126169600.0000  1126120866.4615      0.00%
2607.52/2615.08	c      2615         233156        1568         1  1126169600.0000  1126120938.7133      0.00%
2613.30/2620.89	c      2621         233186        1537         1  1126169600.0000  1126120980.8130      0.00%
2619.18/2626.73	c      2627         233216        1507         1  1126169600.0000  1126121020.3454      0.00%
2624.97/2632.58	c      2633         233245        1478         1  1126169600.0000  1126121211.0628      0.00%
2630.06/2637.61	c      2638         233270        1452         1  1126169600.0000  1126121434.0741      0.00%
2635.25/2642.86	c      2643         233296        1424         1  1126169600.0000  1126121585.0327      0.00%
2641.14/2648.73	c      2649         233325        1394         1  1126169600.0000  1126121915.7333      0.00%
2646.23/2653.85	c      2654         233350        1368         1  1126169600.0000  1126122186.6667      0.00%
2651.61/2659.29	c      2659         233376        1342         1  1126169600.0000  1126122448.3993      0.00%
2657.59/2665.23	c      2665         233405        1310         1  1126169600.0000  1126122579.2435      0.00%
2662.98/2670.60	c      2671         233430        1285         1  1126169600.0000  1126122947.2000      0.00%
2668.28/2675.93	c      2676         233455        1260         1  1126169600.0000  1126123150.1223      0.00%
2673.56/2681.24	c      2681         233480        1235         1  1126169600.0000  1126123293.1436      0.00%
2678.75/2686.44	c      2686         233505        1210         1  1126169600.0000  1126123381.9608      0.00%
2684.04/2691.79	c      2692         233530        1182         1  1126169600.0000  1126123486.3202      0.00%
2689.44/2697.18	c      2697         233555        1156         1  1126169600.0000  1126123520.0000      0.00%
2694.81/2702.57	c      2703         233580        1131         1  1126169600.0000  1126123574.7819      0.00%
2700.31/2708.04	c      2708         233605        1104         1  1126169600.0000  1126123671.7037      0.00%
2705.69/2713.42	c      2713         233630        1078         1  1126169600.0000  1126124114.2337      0.00%
2711.38/2719.11	c      2719         233660        1046         1  1126169600.0000  1126124202.6667      0.00%
2716.57/2724.34	c      2724         233686        1014         1  1126169600.0000  1126124359.3547      0.00%
2722.05/2729.89	c      2730         233715         984         1  1126169600.0000  1126124501.3333      0.00%
2728.04/2735.87	c      2736         233745         951         1  1126169600.0000  1126124643.7022      0.00%
2734.12/2742.01	c      2742         233776         919         1  1126169600.0000  1126124731.0235      0.00%
2740.01/2747.83	c      2748         233806         887         1  1126169600.0000  1126124979.0862      0.00%
2745.79/2753.67	c      2754         233836         857         1  1126169600.0000  1126125219.9731      0.00%
2751.58/2759.48	c      2759         233865         828         1  1126169600.0000  1126125848.5657      0.00%
2757.56/2765.47	c      2765         233895         798         1  1126169600.0000  1126126250.6667      0.00%
2762.65/2770.52	c      2771         233920         773         1  1126169600.0000  1126126351.0588      0.00%
2767.74/2775.69	c      2776         233945         747         1  1126169600.0000  1126126777.7743      0.00%
2773.53/2781.43	c      2781         233970         722         1  1126169600.0000  1126127525.6471      0.00%
2779.31/2787.29	c      2787         233995         696         1  1126169600.0000  1126127702.8661      0.00%
2785.00/2792.95	c      2793         234020         669         1  1126169600.0000  1126127876.2667      0.00%
2790.49/2798.46	c      2798         234045         644         1  1126169600.0000  1126128070.2324      0.00%
2796.19/2804.15	c      2804         234065         622         1  1126169600.0000  1126128197.8422      0.00%
2801.96/2809.92	c      2810         234090         597         1  1126169600.0000  1126128484.8568      0.00%
2807.45/2815.42	c      2815         234115         572         1  1126169600.0000  1126128572.9524      0.00%
2813.05/2821.06	c      2821         234140         547         1  1126169600.0000  1126129031.2982      0.00%
2818.73/2826.78	c      2827         234165         522         1  1126169600.0000  1126129172.0348      0.00%
2824.51/2832.55	c      2833         234190         497         1  1126169600.0000  1126129679.1543      0.00%
2830.30/2838.35	c      2838         234215         471         1  1126169600.0000  1126130040.3419      0.00%
2836.00/2844.09	c      2844         234240         445         1  1126169600.0000  1126130785.5238      0.00%
2841.78/2849.87	c      2850         234265         419         1  1126169600.0000  1126131297.4634      0.00%
2847.66/2855.76	c      2856         234290         393         1  1126169600.0000  1126131404.5350      0.00%
2853.34/2861.43	c      2861         234315         367         1  1126169600.0000  1126131669.3333      0.00%
2859.13/2867.24	c      2867         234340         341         1  1126169600.0000  1126132153.1429      0.00%
2865.03/2873.13	c      2873         234365         316         1  1126169600.0000  1126133048.8889      0.00%
2870.81/2878.96	c      2879         234390         291         1  1126169600.0000  1126133380.4912      0.00%
2876.69/2884.82	c      2885         234415         266         1  1126169600.0000  1126133604.5714      0.00%
2882.58/2890.76	c      2891         234440         240         1  1126169600.0000  1126134656.0000      0.00%
2888.47/2896.69	c      2897         234465         214         1  1126169600.0000  1126135633.1707      0.00%
2894.45/2902.60	c      2903         234490         188         1  1126169600.0000  1126136604.4444      0.00%
2900.24/2908.46	c      2908         234515         162         1  1126169600.0000  1126138118.3901      0.00%
2906.22/2914.46	c      2914         234540         137         1  1126169600.0000  1126138679.4965      0.00%
2912.11/2920.36	c      2920         234565         111         1  1126169600.0000  1126139212.9189      0.00%
2917.91/2926.18	c      2926         234590          84         1  1126169600.0000  1126140809.9125      0.00%
2923.68/2931.91	c      2932         234615          58         1  1126169600.0000  1126141376.0000      0.00%
2929.57/2937.84	c      2938         234640          29         1  1126169600.0000  1126142945.9135      0.00%
2935.26/2943.56	c      2944         234665           4         1  1126169600.0000  1126143116.0742      0.00%
2936.26/2944.54	c      2945         234668           0         0  1126169600.0000  1126169600.0000      0.00%
2936.36/2944.66	c      2945         234668           0         0  1126169600.0000  1126169600.0000          -
2936.36/2944.66	c SCIP Status        : c problem is solved
2936.36/2944.66	c Total Time         : 2944.6600
2936.36/2944.66	c   solving          : 2944.6600
2936.36/2944.66	c   presolving       : 0.9544 (included in solving)
2936.36/2944.66	c B&B Tree           :
2936.36/2944.66	c   nodes (total)    : 234668
2936.36/2944.66	c Solution           :
2936.36/2944.66	c   Solutions found  : 14
2936.36/2944.66	c   Primal Bound     : +1.12616960000000e+09
2936.36/2944.66	c   Dual Bound       : +1.12616960000000e+09
2936.36/2944.66	c Gap                : 0.00000 %
2936.36/2944.68	o 1126169600
2936.36/2944.68	s OPTIMUM FOUND
2936.36/2944.68	v -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6235 -x6234 -x6233 -x6232 x6231 -x6230 -x6229 -x6228 -x6227 
2936.36/2944.68	v -x6226 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 
2936.36/2944.68	v -x6205 -x6204 -x6203 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 x6192 -x6190 -x6189 -x6188 -x6187 -x6186 
2936.36/2944.68	v -x6185 -x6184 -x6183 -x6182 -x6181 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6168 -x6167 
2936.36/2944.68	v -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 
2936.36/2944.68	v -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 
2936.36/2944.68	v -x6127 -x6126 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 
2936.36/2944.68	v -x6106 -x6105 -x6104 x6103 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6090 -x6089 -x6088 -x6087 
2936.36/2944.68	v -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6068 -x6067 
2936.36/2944.68	v -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 
2936.36/2944.68	v -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 
2936.36/2944.68	v -x6027 -x6026 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6013 -x6012 -x6011 -x6010 -x6009 
2936.36/2944.68	v -x6008 -x6007 -x6006 -x6005 -x6004 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5990 -x5989 -x5988 
2936.36/2944.68	v -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 x5970 -x5968 
2936.36/2944.68	v -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 
2936.36/2944.68	v -x5948 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 
2936.36/2944.68	v -x5928 -x5927 -x5926 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5913 -x5912 -x5911 -x5910 -x5909 
2936.36/2944.68	v -x5908 -x5907 -x5906 -x5905 x5904 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5890 -x5889 -x5888 
2936.36/2944.68	v -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5868 
2936.36/2944.68	v -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 
2936.36/2944.68	v -x5848 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 
2936.36/2944.68	v -x5829 -x5828 -x5827 -x5826 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5813 -x5812 -x5811 -x5810 
2936.36/2944.68	v x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5791 -x5790 
2936.36/2944.68	v -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 
2936.36/2944.68	v -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 
2936.36/2944.68	v -x5749 -x5748 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 
2936.36/2944.68	v -x5729 -x5728 -x5727 -x5726 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5713 -x5712 -x5711 -x5710 
2936.36/2944.68	v -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5691 -x5690 
2936.36/2944.68	v -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 
2936.36/2944.68	v -x5671 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 
2936.36/2944.68	v -x5650 -x5649 -x5648 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5635 -x5634 -x5633 -x5632 -x5631 
2936.36/2944.68	v -x5630 -x5629 -x5628 -x5627 -x5626 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5613 -x5612 -x5611 
2936.36/2944.68	v -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5591 
2936.36/2944.68	v -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 
2936.36/2944.68	v -x5571 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 x5560 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 
2936.36/2944.68	v -x5549 -x5548 -x5547 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5534 -x5533 -x5532 -x5531 -x5530 
2936.36/2944.68	v -x5529 -x5528 -x5527 -x5526 -x5525 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 x5515 -x5514 -x5512 -x5511 -x5510 
2936.36/2944.68	v -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 
2936.36/2944.68	v -x5490 -x5489 -x5488 -x5487 x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 
2936.36/2944.68	v -x5471 -x5470 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 
2936.36/2944.68	v -x5451 -x5450 -x5449 x5448 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5434 -x5433 -x5432 -x5431 
2936.36/2944.68	v -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5412 -x5411 
2936.36/2944.68	v -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 
2936.36/2944.68	v -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 
2936.36/2944.68	v -x5371 -x5370 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 x5362 -x5361 -x5360 -x5359 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 
2936.36/2944.68	v -x5351 -x5350 -x5349 -x5348 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5334 -x5333 -x5332 -x5331 
2936.36/2944.68	v -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5312 -x5311 
2936.36/2944.68	v -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 x5303 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 
2936.36/2944.68	v -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 
2936.36/2944.68	v -x5272 -x5271 -x5270 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5257 -x5256 -x5255 -x5254 -x5253 
2936.36/2944.68	v -x5252 -x5251 -x5250 -x5249 -x5248 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5235 -x5234 -x5233 
2936.36/2944.68	v -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5212 
2936.36/2944.68	v -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5201 -x5200 -x5199 -x5198 x5197 -x5196 -x5195 -x5194 -x5193 
2936.36/2944.68	v -x5192 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 
2936.36/2944.68	v -x5172 -x5171 -x5170 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5157 -x5156 -x5155 -x5154 -x5153 
2936.36/2944.68	v -x5152 -x5151 -x5150 -x5149 -x5148 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5135 -x5134 -x5133 
2936.36/2944.68	v -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 
2936.36/2944.68	v -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 
2936.36/2944.68	v -x5093 -x5092 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 
2936.36/2944.68	v -x5073 -x5072 -x5071 -x5070 -x5068 -x5067 -x5066 -x5065 x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5057 -x5056 -x5055 -x5054 
2936.36/2944.68	v -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5035 -x5034 
2936.36/2944.68	v -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 
2936.36/2944.68	v -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 
2936.36/2944.68	v -x4993 -x4992 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 
2936.36/2944.68	v -x4973 -x4972 -x4971 -x4970 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4957 -x4956 -x4955 
2936.36/2944.68	v -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4935 
2936.36/2944.68	v -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 
2936.36/2944.68	v x4915 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 
2936.36/2944.68	v -x4895 -x4894 -x4893 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4879 -x4878 -x4877 -x4876 -x4875 
2936.36/2944.68	v -x4874 -x4873 -x4872 -x4871 -x4870 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4857 -x4856 -x4855 
2936.36/2944.68	v -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4846 -x4845 -x4844 -x4843 x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4835 
2936.36/2944.68	v -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 
2936.36/2944.68	v -x4815 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 
2936.36/2944.68	v -x4795 -x4794 -x4793 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4779 -x4778 -x4777 -x4776 
2936.36/2944.68	v -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4757 -x4756 
2936.36/2944.68	v -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 
2936.36/2944.68	v -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 
2936.36/2944.68	v -x4716 -x4715 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 
2936.36/2944.68	v -x4696 -x4695 -x4694 -x4693 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4680 -x4679 -x4678 -x4677 
2936.36/2944.68	v -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4657 -x4656 
2936.36/2944.68	v -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 
2936.36/2944.68	v -x4637 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 
2936.36/2944.68	v -x4617 -x4616 -x4615 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4602 -x4601 -x4600 -x4599 -x4598 
2936.36/2944.68	v -x4597 -x4596 -x4595 -x4594 -x4593 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4580 -x4579 -x4578 
2936.36/2944.68	v -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4557 
2936.36/2944.68	v -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 
2936.36/2944.68	v -x4537 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 
2936.36/2944.68	v -x4517 -x4516 -x4515 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4502 -x4501 -x4500 -x4499 
2936.36/2944.68	v -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4480 -x4479 
2936.36/2944.68	v -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 
2936.36/2944.68	v -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 
2936.36/2944.68	v -x4437 -x4436 -x4434 -x4433 -x4432 -x4431 x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 
2936.36/2944.68	v -x4417 -x4416 -x4415 -x4414 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4401 -x4400 -x4399 -x4398 
2936.36/2944.68	v -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4379 -x4378 
2936.36/2944.68	v -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 
2936.36/2944.68	v -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 
2936.36/2944.68	v -x4339 -x4338 -x4337 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4323 -x4322 -x4321 -x4320 -x4319 
2936.36/2944.68	v -x4318 -x4317 -x4316 -x4315 -x4314 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4301 -x4300 -x4299 
2936.36/2944.68	v -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4279 
2936.36/2944.68	v -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 
2936.36/2944.68	v -x4259 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 
2936.36/2944.68	v -x4239 -x4238 -x4237 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4223 -x4222 -x4221 -x4220 -x4219 
2936.36/2944.68	v -x4218 -x4217 -x4216 -x4215 -x4214 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4201 -x4200 
2936.36/2944.68	v -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4190 x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 
2936.36/2944.68	v -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 
2936.36/2944.68	v -x4160 -x4159 -x4157 -x4156 -x4155 -x4154 x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 
2936.36/2944.68	v -x4140 -x4139 -x4138 -x4137 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4124 -x4123 -x4122 -x4121 
2936.36/2944.68	v -x4120 -x4119 -x4118 -x4117 -x4116 x4115 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4101 -x4100 
2936.36/2944.68	v -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 x4092 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 
2936.36/2944.68	v -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 
2936.36/2944.68	v -x4060 -x4059 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 
2936.36/2944.68	v -x4040 -x4039 -x4038 -x4037 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4024 -x4023 -x4022 -x4021 
2936.36/2944.68	v -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4001 -x4000 
2936.36/2944.68	v -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 
2936.36/2944.68	v -x3981 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 
2936.36/2944.68	v -x3961 -x3960 -x3959 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3946 -x3945 -x3944 -x3943 -x3942 
2936.36/2944.68	v -x3941 -x3940 -x3939 -x3938 -x3937 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3924 -x3923 -x3922 
2936.36/2944.68	v -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3902 
2936.36/2944.68	v -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 
2936.36/2944.68	v -x3881 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 
2936.36/2944.68	v -x3861 -x3860 -x3859 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3846 -x3845 -x3844 -x3843 
2936.36/2944.68	v -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3824 -x3823 
2936.36/2944.68	v -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 
2936.36/2944.68	v -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 
2936.36/2944.68	v -x3783 -x3782 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 
2936.36/2944.68	v -x3762 x3761 -x3760 -x3759 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3746 -x3745 -x3744 -x3743 
2936.36/2944.68	v -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3724 -x3723 
2936.36/2944.68	v -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 
2936.36/2944.68	v -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 
2936.36/2944.68	v -x3684 -x3683 -x3682 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3668 -x3667 -x3666 -x3665 -x3664 
2936.36/2944.68	v -x3663 -x3662 -x3661 -x3660 -x3659 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3646 -x3645 -x3644 
2936.36/2944.68	v -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3624 
2936.36/2944.68	v -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 
2936.36/2944.68	v -x3604 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 
2936.36/2944.68	v -x3584 -x3583 x3582 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3569 -x3568 -x3567 -x3566 -x3565 
2936.36/2944.68	v -x3564 -x3563 -x3562 -x3561 -x3560 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3546 -x3545 -x3544 
2936.36/2944.68	v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 
2936.36/2944.68	v -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 
2936.36/2944.68	v -x3505 -x3504 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 
2936.36/2944.68	v -x3485 -x3484 -x3483 -x3482 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3469 -x3468 -x3467 -x3466 
2936.36/2944.68	v -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3446 -x3445 
2936.36/2944.68	v -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 
2936.36/2944.68	v -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 
2936.36/2944.68	v -x3405 -x3404 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3391 -x3390 -x3389 -x3388 -x3387 
2936.36/2944.68	v -x3386 -x3385 -x3384 -x3383 -x3382 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3369 -x3368 -x3367 
2936.36/2944.68	v -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3347 
2936.36/2944.68	v -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 
2936.36/2944.68	v -x3325 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 
2936.36/2944.68	v -x3305 -x3304 -x3303 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3290 -x3289 -x3288 -x3287 -x3286 
2936.36/2944.68	v -x3285 -x3284 -x3283 -x3282 x3281 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3268 -x3267 -x3266 
2936.36/2944.68	v -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3246 
2936.36/2944.68	v -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 
2936.36/2944.68	v -x3227 -x3226 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 
2936.36/2944.68	v -x3206 -x3205 -x3204 -x3203 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3190 -x3189 -x3188 -x3187 
2936.36/2944.68	v -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3168 -x3167 
2936.36/2944.68	v -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 
2936.36/2944.68	v -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 
2936.36/2944.68	v -x3127 x3126 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3112 -x3111 -x3110 -x3109 x3108 -x3107 
2936.36/2944.68	v -x3106 -x3105 -x3104 -x3103 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3090 -x3089 -x3088 -x3087 
2936.36/2944.68	v -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3068 -x3067 
2936.36/2944.68	v -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 
2936.36/2944.68	v -x3048 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 
2936.36/2944.68	v -x3028 -x3027 -x3026 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3013 -x3012 -x3011 -x3010 -x3009 
2936.36/2944.68	v -x3008 -x3007 -x3006 -x3005 -x3004 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2990 -x2989 -x2988 
2936.36/2944.68	v -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2968 
2936.36/2944.68	v -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 
2936.36/2944.68	v -x2948 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 
2936.36/2944.68	v -x2928 -x2927 -x2926 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2913 -x2912 -x2911 -x2910 
2936.36/2944.68	v -x2909 -x2908 -x2907 -x2906 -x2905 x2904 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2890 -x2889 
2936.36/2944.68	v -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 
2936.36/2944.68	v -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 
2936.36/2944.68	v -x2849 -x2848 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 
2936.36/2944.68	v -x2829 -x2828 -x2827 x2826 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2813 -x2812 -x2811 -x2810 
2936.36/2944.68	v -x2809 -x2808 -x2807 -x2806 -x2805 x2804 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2791 -x2790 
2936.36/2944.68	v -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 
2936.36/2944.68	v -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 x2759 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 
2936.36/2944.68	v -x2749 -x2748 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 
2936.36/2944.68	v -x2729 -x2728 -x2727 -x2726 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2713 -x2712 -x2711 -x2710 
2936.36/2944.68	v -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2691 
2936.36/2944.68	v -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 
2936.36/2944.68	v -x2671 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2657 -x2656 -x2655 -x2654 x2653 -x2652 -x2651 
2936.36/2944.68	v -x2650 -x2649 -x2648 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2635 -x2634 -x2633 -x2632 -x2631 
2936.36/2944.68	v -x2630 -x2629 -x2628 -x2627 -x2626 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2613 -x2612 -x2611 
2936.36/2944.68	v -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2591 
2936.36/2944.68	v -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 
2936.36/2944.68	v -x2571 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 
2936.36/2944.68	v -x2550 -x2549 -x2548 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 x2539 -x2538 -x2537 -x2535 -x2534 -x2533 -x2532 -x2531 
2936.36/2944.68	v -x2530 -x2529 -x2528 -x2527 -x2526 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2513 -x2512 
2936.36/2944.68	v -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 
2936.36/2944.68	v -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 
2936.36/2944.68	v -x2472 -x2471 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 
2936.36/2944.68	v -x2452 -x2451 -x2450 -x2449 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2435 -x2434 -x2433 -x2432 
2936.36/2944.68	v -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2413 -x2412 
2936.36/2944.68	v -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 
2936.36/2944.68	v -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 
2936.36/2944.68	v -x2373 -x2372 -x2371 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2358 -x2357 -x2356 -x2355 -x2354 
2936.36/2944.68	v -x2353 -x2352 -x2351 -x2350 x2349 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2335 -x2334 -x2333 
2936.36/2944.68	v -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2313 
2936.36/2944.68	v -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 
2936.36/2944.68	v -x2293 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 
2936.36/2944.68	v -x2273 -x2272 -x2271 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2258 -x2257 -x2256 -x2255 -x2254 
2936.36/2944.68	v -x2253 -x2252 -x2251 -x2250 -x2249 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2236 -x2235 -x2234 
2936.36/2944.68	v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 
2936.36/2944.68	v -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 
2936.36/2944.68	v -x2193 -x2192 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 
2936.36/2944.68	v -x2173 -x2172 -x2171 -x2170 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2157 -x2156 -x2155 -x2154 
2936.36/2944.68	v -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2135 -x2134 
2936.36/2944.68	v -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 
2936.36/2944.68	v -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 
2936.36/2944.68	v -x2093 -x2092 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2079 -x2078 -x2077 -x2076 -x2075 
2936.36/2944.68	v -x2074 -x2073 -x2072 -x2071 -x2070 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2057 -x2056 -x2055 
2936.36/2944.68	v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2035 
2936.36/2944.68	v -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 
2936.36/2944.68	v -x2015 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 
2936.36/2944.68	v -x1994 -x1993 -x1992 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1979 -x1978 -x1977 -x1976 -x1975 
2936.36/2944.68	v -x1974 -x1973 -x1972 -x1971 -x1970 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1957 -x1956 -x1955 
2936.36/2944.68	v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 
2936.36/2944.68	v -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 
2936.36/2944.68	v -x1916 -x1915 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 
2936.36/2944.68	v -x1896 -x1895 -x1894 -x1893 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1879 -x1878 -x1877 -x1876 
2936.36/2944.68	v x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1857 -x1856 
2936.36/2944.68	v -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 x1848 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 
2936.36/2944.68	v -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 
2936.36/2944.68	v -x1816 -x1815 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 
2936.36/2944.68	v -x1796 -x1795 -x1794 -x1793 -x1791 -x1790 -x1789 -x1788 x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1779 -x1778 -x1777 -x1776 
2936.36/2944.68	v -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1757 -x1756 
2936.36/2944.68	v -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 
2936.36/2944.68	v -x1737 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 
2936.36/2944.68	v -x1717 -x1716 -x1715 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1702 -x1701 -x1700 -x1699 -x1698 
2936.36/2944.68	v -x1697 -x1696 -x1695 -x1694 -x1693 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1680 -x1679 -x1678 
2936.36/2944.68	v -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1657 
2936.36/2944.68	v -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 
2936.36/2944.68	v -x1637 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 
2936.36/2944.68	v -x1617 -x1616 -x1615 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1602 -x1601 -x1600 -x1599 
2936.36/2944.68	v -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1580 -x1579 
2936.36/2944.68	v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 
2936.36/2944.68	v -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 
2936.36/2944.68	v -x1538 -x1537 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 
2936.36/2944.68	v -x1518 -x1517 -x1516 -x1515 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1502 -x1501 -x1500 -x1499 
2936.36/2944.68	v -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1480 -x1479 
2936.36/2944.68	v -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 
2936.36/2944.68	v -x1460 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 
2936.36/2944.68	v -x1439 -x1438 -x1437 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1424 -x1423 -x1422 -x1421 -x1420 
2936.36/2944.68	v -x1419 -x1418 -x1417 -x1416 -x1415 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1402 -x1401 -x1400 
2936.36/2944.68	v -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 x1393 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1380 
2936.36/2944.68	v -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 
2936.36/2944.68	v -x1360 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 
2936.36/2944.68	v -x1340 -x1339 -x1338 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1324 -x1323 -x1322 -x1321 -x1320 
2936.36/2944.68	v -x1319 -x1318 -x1317 -x1316 -x1315 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1302 -x1301 
2936.36/2944.68	v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 
2936.36/2944.68	v -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 
2936.36/2944.68	v -x1261 -x1260 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 
2936.36/2944.68	v -x1241 -x1240 -x1239 -x1238 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1224 -x1223 -x1222 -x1221 
2936.36/2944.68	v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1202 -x1201 
2936.36/2944.68	v -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 
2936.36/2944.68	v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 
2936.36/2944.68	v -x1161 x1160 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 
2936.36/2944.68	v -x1141 -x1140 -x1139 -x1138 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1125 -x1124 -x1123 
2936.36/2944.68	v -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1101 
2936.36/2944.68	v -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 x1092 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 
2936.36/2944.68	v -x1081 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 
2936.36/2944.68	v -x1061 -x1060 -x1059 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1046 -x1045 -x1044 -x1043 -x1042 
2936.36/2944.68	v -x1041 -x1040 -x1039 -x1038 -x1037 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1024 -x1023 -x1022 
2936.36/2944.68	v -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1001 
2936.36/2944.68	v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x979 
2936.36/2944.68	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x957 -x956 
2936.36/2944.68	v -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x935 -x934 -x933 
2936.36/2944.68	v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 -x915 -x913 -x912 -x911 -x910 
2936.36/2944.68	v -x909 -x908 -x907 -x906 -x905 -x904 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x890 -x889 -x888 -x887 -x886 
2936.36/2944.68	v -x885 -x884 -x883 -x882 -x881 -x879 -x878 -x877 -x876 x875 -x874 -x873 -x872 -x871 -x870 -x868 -x867 -x866 -x865 -x864 -x863 
2936.36/2944.68	v -x862 -x861 -x860 -x859 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x846 -x845 -x844 -x843 -x842 -x841 -x840 
2936.36/2944.68	v -x839 -x838 -x837 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x824 -x823 -x822 -x821 -x820 -x819 -x818 
2936.36/2944.68	v -x817 -x816 -x815 -x813 -x812 -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 
2936.36/2944.68	v -x794 -x793 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 
2936.36/2944.68	v -x770 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 
2936.36/2944.68	v -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x724 
2936.36/2944.68	v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x702 -x701 
2936.36/2944.68	v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x680 -x679 -x678 
2936.36/2944.68	v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x657 -x656 -x655 
2936.36/2944.68	v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x635 -x634 -x633 -x632 
2936.36/2944.68	v -x631 -x630 -x629 -x628 -x627 -x626 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x613 -x612 -x611 -x610 -x609 
2936.36/2944.68	v -x608 -x607 -x606 -x605 -x604 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x591 -x590 -x589 -x588 -x587 -x586 
2936.36/2944.68	v -x585 -x584 -x583 -x582 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x569 -x568 -x567 -x566 -x565 -x564 -x563 
2936.36/2944.68	v -x562 -x561 -x560 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 
2936.36/2944.68	v -x538 -x537 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 
2936.36/2944.68	v -x516 -x515 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 
2936.36/2944.68	v -x493 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 
2936.36/2944.68	v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x446 
2936.36/2944.68	v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x424 -x423 
2936.36/2944.68	v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x402 -x401 -x400 
2936.36/2944.68	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x380 -x379 -x378 -x377 
2936.36/2944.68	v -x376 -x375 -x374 -x373 -x372 -x371 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x358 -x357 -x356 -x355 
2936.36/2944.68	v -x354 -x353 -x352 -x351 -x350 -x349 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x335 -x334 -x333 -x332 -x331 
2936.36/2944.68	v -x330 -x329 -x328 -x327 -x326 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x313 -x312 -x311 -x310 -x309 -x308 
2936.36/2944.68	v -x307 -x306 -x305 -x304 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x291 -x290 -x289 -x288 -x287 -x286 -x285 
2936.36/2944.68	v -x284 -x283 -x282 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 
2936.36/2944.68	v -x261 -x260 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 
2936.36/2944.68	v -x238 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 
2936.36/2944.68	v -x215 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 
2936.36/2944.68	v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x169 
2936.36/2944.68	v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x147 -x146 
2936.36/2944.68	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x125 -x124 -x123 
2936.36/2944.68	v -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x102 -x101 -x100 -x99 
2936.36/2944.68	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 
2936.36/2944.68	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 
2936.36/2944.68	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 
2936.36/2944.68	v -x16 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 x6612 -x6611 -x6609 
2936.36/2944.68	v -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 
2936.36/2944.68	v -x6589 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 
2936.36/2944.68	v -x6569 -x6568 -x6567 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6554 -x6553 -x6552 -x6551 
2936.36/2944.68	v -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6532 -x6531 
2936.36/2944.68	v -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6521 -x6520 -x6519 -x6518 x6517 -x6516 -x6515 -x6514 -x6513 -x6512 
2936.36/2944.68	v -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 
2936.36/2944.68	v -x6490 -x6489 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 
2936.36/2944.68	v -x6470 -x6469 -x6468 -x6467 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6454 -x6453 -x6452 -x6451 
2936.36/2944.68	v -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6432 -x6431 
2936.36/2944.68	v -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 
2936.36/2944.68	v -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 
2936.36/2944.68	v -x6391 -x6390 -x6389 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6376 -x6375 -x6374 -x6373 -x6372 
2936.36/2944.68	v -x6371 -x6370 -x6369 -x6368 -x6367 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6354 -x6353 -x6352 
2936.36/2944.68	v -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6332 
2936.36/2944.68	v -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 
2936.36/2944.68	v -x6312 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 
2936.36/2944.68	v -x6292 -x6291 -x6290 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6276 -x6275 -x6274 -x6273 -x6272 
2936.36/2944.68	v -x6271 -x6270 -x6269 -x6268 -x6267 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6254 -x6253 
2936.36/2944.68	v -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6236 -x6225 -x6213 -x6202 -x6191 -x6180 -x6169 -x6158 -x6147 -x6136 -x6125 -x6114 
2936.36/2944.68	v -x6102 -x6091 -x6080 -x6069 -x6058 -x6047 -x6036 -x6025 -x6014 -x6003 -x5991 -x5980 -x5969 -x5958 -x5947 -x5936 -x5925 -x5914 
2936.36/2944.68	v -x5903 -x5892 -x5880 -x5869 -x5858 -x5847 -x5836 -x5825 -x5814 -x5803 -x5792 -x5781 -x5769 -x5758 -x5747 -x5736 -x5725 -x5714 
2936.36/2944.68	v -x5703 -x5692 -x5681 -x5670 -x5658 -x5647 -x5636 -x5625 -x5614 -x5603 -x5592 -x5581 -x5570 x5559 -x5546 -x5535 -x5524 -x5513 
2936.36/2944.68	v -x5502 -x5491 -x5480 -x5469 -x5458 -x5447 -x5435 -x5424 -x5413 -x5402 -x5391 -x5380 -x5369 -x5358 -x5347 -x5336 -x5324 -x5313 
2936.36/2944.68	v -x5302 -x5291 -x5280 -x5269 -x5258 -x5247 -x5236 -x5225 -x5213 -x5202 -x5191 -x5180 -x5169 -x5158 -x5147 -x5136 -x5125 -x5114 
2936.36/2944.68	v -x5102 -x5091 -x5080 -x5069 -x5058 -x5047 -x5036 -x5025 -x5014 -x5003 -x4991 -x4980 -x4969 -x4958 -x4947 -x4936 -x4925 -x4914 
2936.36/2944.68	v -x4903 -x4892 -x4880 -x4869 -x4858 -x4847 -x4836 -x4825 -x4814 -x4803 -x4792 -x4781 -x4769 -x4758 -x4747 -x4736 -x4725 
2936.36/2944.68	v -x4714 -x4703 -x4692 -x4681 -x4670 -x4658 -x4647 -x4636 -x4625 -x4614 -x4603 -x4592 -x4581 -x4570 -x4559 -x4547 -x4536 -x4525 
2936.36/2944.68	v -x4514 -x4503 -x4492 -x4481 -x4470 -x4459 x4448 -x4435 -x4424 -x4413 -x4402 -x4391 -x4380 -x4369 -x4358 -x4347 -x4336 -x4324 
2936.36/2944.68	v -x4313 -x4302 -x4291 -x4280 -x4269 -x4258 -x4247 -x4236 -x4225 -x4213 -x4202 -x4191 -x4180 -x4169 -x4158 -x4147 -x4136 -x4125 
2936.36/2944.68	v -x4114 -x4102 -x4091 -x4080 -x4069 x4058 -x4047 -x4036 -x4025 -x4014 -x4003 -x3991 -x3980 -x3969 -x3958 -x3947 -x3936 -x3925 
2936.36/2944.68	v -x3914 -x3903 -x3892 -x3880 -x3869 -x3858 -x3847 -x3836 -x3825 -x3814 -x3803 -x3792 x3781 -x3769 -x3758 -x3747 -x3736 -x3725 
2936.36/2944.68	v -x3714 -x3703 -x3692 -x3681 -x3670 -x3658 -x3647 -x3636 -x3625 x3614 -x3603 -x3592 -x3581 -x3570 -x3559 -x3547 -x3536 -x3525 
2936.36/2944.68	v -x3514 -x3503 -x3492 -x3481 -x3470 -x3459 -x3448 -x3436 -x3425 -x3414 -x3403 -x3392 -x3381 -x3370 -x3359 -x3348 -x3337 -x3324 
2936.36/2944.68	v -x3313 -x3302 -x3291 -x3280 -x3269 -x3258 -x3247 -x3236 -x3225 -x3213 -x3202 -x3191 -x3180 -x3169 -x3158 -x3147 -x3136 -x3125 
2936.36/2944.68	v -x3114 -x3102 -x3091 -x3080 -x3069 -x3058 -x3047 -x3036 -x3025 -x3014 -x3003 -x2991 -x2980 -x2969 -x2958 -x2947 -x2936 -x2925 
2936.36/2944.68	v -x2914 -x2903 -x2892 -x2880 -x2869 -x2858 -x2847 -x2836 -x2825 -x2814 -x2803 -x2792 -x2781 -x2769 -x2758 -x2747 -x2736 -x2725 
2936.36/2944.68	v -x2714 -x2703 -x2692 -x2681 -x2670 -x2658 -x2647 -x2636 -x2625 -x2614 -x2603 -x2592 -x2581 -x2570 -x2559 -x2547 -x2536 
2936.36/2944.68	v -x2525 -x2514 -x2503 -x2492 -x2481 -x2470 -x2459 -x2448 -x2436 -x2425 -x2414 -x2403 -x2392 -x2381 -x2370 -x2359 -x2348 -x2337 
2936.36/2944.68	v -x2325 -x2314 -x2303 -x2292 -x2281 -x2270 -x2259 -x2248 -x2237 -x2226 -x2213 -x2202 -x2191 -x2180 -x2169 -x2158 -x2147 -x2136 
2936.36/2944.68	v -x2125 -x2114 -x2102 -x2091 -x2080 -x2069 -x2058 -x2047 -x2036 -x2025 -x2014 -x2003 -x1991 -x1980 -x1969 -x1958 -x1947 -x1936 
2936.36/2944.68	v -x1925 -x1914 -x1903 -x1892 -x1880 -x1869 -x1858 -x1847 -x1836 -x1825 -x1814 -x1803 -x1792 -x1781 -x1769 -x1758 -x1747 -x1736 
2936.36/2944.68	v -x1725 -x1714 -x1703 -x1692 -x1681 -x1670 -x1658 -x1647 -x1636 -x1625 -x1614 -x1603 -x1592 -x1581 -x1570 -x1559 -x1547 -x1536 
2936.36/2944.68	v -x1525 -x1514 -x1503 -x1492 -x1481 -x1470 -x1459 -x1448 -x1436 -x1425 -x1414 -x1403 x1392 -x1381 -x1370 -x1359 -x1348 -x1337 
2936.36/2944.68	v -x1325 -x1314 -x1303 -x1292 -x1281 -x1270 -x1259 -x1248 -x1237 -x1226 -x1214 -x1203 -x1192 -x1181 -x1170 -x1159 -x1148 -x1137 
2936.36/2944.68	v -x1126 -x1115 -x1102 -x1091 -x1080 -x1069 -x1058 -x1047 -x1036 -x1025 -x1014 -x1003 -x991 -x980 -x969 -x958 -x947 -x936 
2936.46/2944.71	v -x925 -x914 -x903 -x892 -x880 -x869 -x858 -x847 -x836 -x825 -x814 -x803 -x792 -x781 -x769 -x758 -x747 -x736 -x725 -x714 -x703 
2936.46/2944.71	v -x692 -x681 -x670 -x658 -x647 -x636 -x625 -x614 -x603 -x592 -x581 -x570 -x559 -x547 -x536 -x525 -x514 -x503 -x492 -x481 -x470 
2936.46/2944.71	v -x459 -x448 -x436 -x425 -x414 -x403 -x392 -x381 -x370 -x359 -x348 -x337 -x325 -x314 -x303 -x292 -x281 -x270 -x259 -x248 -x237 
2936.46/2944.71	v -x226 -x214 -x203 -x192 -x181 -x170 -x159 -x148 -x137 -x126 -x115 -x103 -x92 -x81 -x70 -x59 -x48 -x37 -x26 -x15 -x4 -x6610 
2936.46/2944.71	v -x6599 -x6588 -x6577 -x6566 -x6555 -x6544 -x6533 -x6522 -x6511 -x6499 -x6488 -x6477 -x6466 -x6455 -x6444 -x6433 -x6422 -x6411 
2936.46/2944.71	v -x6400 -x6388 -x6377 -x6366 -x6355 -x6344 -x6333 -x6322 -x6311 -x6300 -x6289 -x6277 -x6266 -x6255 -x6224 -x6113 -x6002 -x5891 
2936.46/2944.71	v -x5780 -x5669 -x5558 -x5446 -x5335 -x5224 -x5113 -x5002 -x4891 -x4780 -x4669 -x4558 -x4447 -x4335 -x4224 -x4113 -x4002 -x3891 
2936.46/2944.71	v -x3780 -x3669 -x3558 -x3447 -x3336 -x3224 -x3113 -x3002 -x2891 -x2780 -x2669 -x2558 -x2447 -x2336 -x2225 -x2113 -x2002 -x1891 
2936.46/2944.71	v -x1780 -x1669 -x1558 -x1447 -x1336 -x1225 -x1114 -x1002 -x891 -x780 -x669 -x558 -x447 -x336 -x225 -x114 -x3 -x6510 -x6399 
2936.46/2944.71	v -x6288 -x5557 -x4446 -x3335 -x2224 -x1113 -x2 -x1 x6651 -x6650 -x6649 -x6648 -x6647 x6646 x6645 -x6644 -x6643 -x6642 x6641 
2936.46/2944.71	v x6640 x6639 x6638 x6637 x6636 x6635 x6634 x6633 x6632 x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -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: 64059 MiB (62388 MiB free)
  memory of node 1: 64510 MiB (59816 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=29139, runsolver pid=29136

[startup+0.100903 s]*
/proc/loadavg: 0.12 0.09 0.09 5/237 29144
/proc/meminfo: memFree=125110592/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=34736 memory=23072 CPUtime=0.1 cores=1,3
/proc/29139/stat : 29139 (fscip) R 29136 29139 29084 0 -1 4194304 3641 0 0 0 9 1 0 0 20 0 1 0 4455040 35569664 5768 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 8684 5768 2347 3035 0 5080 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 23072 KiB

[startup+0.212595 s]*
/proc/loadavg: 0.12 0.09 0.09 5/249 29163
/proc/meminfo: memFree=125058964/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=63352 memory=52000 CPUtime=0.21 cores=1,3
/proc/29139/stat : 29139 (fscip) R 29136 29139 29084 0 -1 4194304 10672 0 0 0 18 3 0 0 20 0 1 0 4455040 64872448 12934 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 15838 12934 2555 3035 0 12234 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 63352 KiB
Current children cumulated memory: 52000 KiB

[startup+0.313809 s]*
/proc/loadavg: 0.12 0.09 0.09 5/245 29168
/proc/meminfo: memFree=125053140/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=68976 memory=56120 CPUtime=0.31 cores=1,3
/proc/29139/stat : 29139 (fscip) R 29136 29139 29084 0 -1 4194304 11721 0 0 0 28 3 0 0 20 0 1 0 4455040 70631424 14030 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 17244 14030 2598 3035 0 13640 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 68976 KiB
Current children cumulated memory: 56120 KiB

[startup+0.700362 s]
/proc/loadavg: 0.12 0.09 0.09 4/243 29172
/proc/meminfo: memFree=125030004/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=89180 memory=75904 CPUtime=0.68 cores=1,3
/proc/29139/stat : 29139 (fscip) R 29136 29139 29084 0 -1 4194304 20453 0 0 0 61 7 0 0 20 0 1 0 4455040 91320320 18976 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 22295 18976 2726 3035 0 18691 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 89180 KiB
Current children cumulated memory: 75904 KiB

[startup+1.50091 s]
/proc/loadavg: 0.12 0.09 0.09 4/243 29172
/proc/meminfo: memFree=124989664/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=211260 memory=142704 CPUtime=1.48 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 37161 0 0 0 136 12 0 0 20 0 3 0 4455040 216330240 35676 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 52815 35676 2806 3035 0 42341 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 211260 KiB
Current children cumulated memory: 142704 KiB

[startup+3.1069 s]
/proc/loadavg: 0.12 0.09 0.09 5/254 29216
/proc/meminfo: memFree=124722076/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=276796 memory=181544 CPUtime=3.07 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 56012 0 0 0 291 16 0 0 20 0 3 0 4455040 283439104 45386 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 69199 45386 2998 3035 0 52147 0
[pid=29139/tid=29173] ppid=29136 vsize=276796 memory=198340509722 CPUtime=1.85 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 26841 0 0 0 179 6 0 0 20 0 3 0 4455159 283439104 45386 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=276796 memory=143748 CPUtime=0 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4455165 283439104 45386 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 276796 KiB
Current children cumulated memory: 181544 KiB

[startup+6.30089 s]
/proc/loadavg: 0.43 0.16 0.11 5/254 29216
/proc/meminfo: memFree=124659524/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=276796 memory=205740 CPUtime=6.24 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 75351 0 0 0 606 18 0 0 20 0 3 0 4455040 283439104 51435 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 69199 51435 2998 3035 0 58297 0
[pid=29139/tid=29173] ppid=29136 vsize=276796 memory=32720 CPUtime=5.02 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 45142 0 0 0 494 8 0 0 20 0 3 0 4455159 283439104 51435 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=276796 memory=11352 CPUtime=0 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4455165 283439104 51435 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 276796 KiB
Current children cumulated memory: 205740 KiB

[startup+12.7009 s]
/proc/loadavg: 0.72 0.22 0.13 5/254 29217
/proc/meminfo: memFree=124502056/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=276796 memory=223288 CPUtime=12.58 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 107859 0 0 0 1238 20 0 0 20 0 3 0 4455040 283439104 55822 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 69199 55822 2998 3035 0 62736 0
[pid=29139/tid=29173] ppid=29136 vsize=276796 memory=218812 CPUtime=11.37 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 77646 0 0 0 1126 11 0 0 20 0 3 0 4455159 283439104 55822 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=276796 memory=184720 CPUtime=0 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4455165 283439104 55822 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 276796 KiB
Current children cumulated memory: 223288 KiB

[startup+25.5009 s]
/proc/loadavg: 1.45 0.41 0.20 5/252 29313
/proc/meminfo: memFree=124252888/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=342332 memory=244024 CPUtime=25.26 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 153539 0 0 0 2502 24 0 0 20 0 3 0 4455040 350547968 61006 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 85583 61006 3014 3035 0 67855 0
[pid=29139/tid=29173] ppid=29136 vsize=342332 memory=231376 CPUtime=24.05 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 123270 0 0 0 2390 15 0 0 20 0 3 0 4455159 350547968 61006 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=342332 memory=11352 CPUtime=0 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4455165 350547968 61006 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 342332 KiB
Current children cumulated memory: 244024 KiB

[startup+51.113 s]
/proc/loadavg: 2.45 0.73 0.31 5/258 29380
/proc/meminfo: memFree=123963920/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=407868 memory=309184 CPUtime=50.71 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 218969 0 0 0 5041 30 0 0 20 0 3 0 4455040 417656832 77296 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 101967 77296 3014 3035 0 84591 0
[pid=29139/tid=29173] ppid=29136 vsize=407868 memory=309172 CPUtime=49.49 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 187603 0 0 0 4929 20 0 0 20 0 3 0 4455159 417656832 77296 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=407868 memory=223288 CPUtime=0 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4455165 417656832 77296 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 407868 KiB
Current children cumulated memory: 309184 KiB

[startup+102.3 s]
/proc/loadavg: 3.39 1.25 0.51 5/259 29393
/proc/meminfo: memFree=123889604/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=407868 memory=311216 CPUtime=101.77 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 319703 0 0 0 10138 39 0 0 20 0 3 0 4455040 417656832 77804 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 101967 77804 3014 3035 0 84591 0
[pid=29139/tid=29173] ppid=29136 vsize=407868 memory=310512 CPUtime=100.53 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 285400 0 0 0 10024 29 0 0 20 0 3 0 4455159 417656832 77804 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=407868 memory=16640 CPUtime=0 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4455165 417656832 77804 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 101.77 s
Current children cumulated vsize: 407868 KiB
Current children cumulated memory: 311216 KiB

[startup+162.3 s]
/proc/loadavg: 3.78 1.75 0.73 5/259 29405
/proc/meminfo: memFree=123884980/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=407868 memory=315788 CPUtime=161.61 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 371313 0 0 0 16118 43 0 0 20 0 3 0 4455040 417656832 78947 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 101967 78947 3318 3035 0 85170 0
[pid=29139/tid=29173] ppid=29136 vsize=407868 memory=313012 CPUtime=160.37 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 336895 0 0 0 16004 33 0 0 20 0 3 0 4455159 417656832 78947 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=407868 memory=315788 CPUtime=0 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4455165 417656832 78947 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 407868 KiB
Current children cumulated memory: 315788 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.20 0.95 5/259 29416
/proc/meminfo: memFree=123811860/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=407868 memory=370340 CPUtime=221.45 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 419841 0 0 0 22093 52 0 0 20 0 3 0 4455040 417656832 92585 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 101967 92585 3318 3035 0 96416 0
[pid=29139/tid=29173] ppid=29136 vsize=407868 memory=360128 CPUtime=220.2 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 384346 0 0 0 21979 41 0 0 20 0 3 0 4455159 417656832 92585 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=407868 memory=366044 CPUtime=0 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4455165 417656832 92585 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 407868 KiB
Current children cumulated memory: 370340 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 2.56 1.15 5/257 29426
/proc/meminfo: memFree=123793544/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=407868 memory=372612 CPUtime=281.27 cores=1,3

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

[pid=29139] ppid=29136 vsize=1004056 memory=982028 CPUtime=2794.38 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 858183 0 0 0 279038 400 0 0 20 0 3 0 4455040 1028153344 245507 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 251014 245507 3318 3035 0 247336 0
[pid=29139/tid=29173] ppid=29136 vsize=1004056 memory=-7594032712773623933 CPUtime=2792.7 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 821907 0 0 0 278899 371 0 0 20 0 3 0 4455159 1028153344 245507 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=1004056 memory=11352 CPUtime=0.04 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 111 0 0 0 0 4 0 0 20 0 3 0 4455165 1028153344 245507 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 2794.38 s
Current children cumulated vsize: 1004056 KiB
Current children cumulated memory: 982028 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.18 4.03 5/250 30476
/proc/meminfo: memFree=122741428/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=1028408 memory=1006452 CPUtime=2854.24 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 874404 0 0 0 284996 428 0 0 20 0 3 0 4455040 1053089792 251613 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 257102 251613 3318 3035 0 253424 0
[pid=29139/tid=29173] ppid=29136 vsize=1028408 memory=16744 CPUtime=2852.56 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 838109 0 0 0 284857 399 0 0 20 0 3 0 4455159 1053089792 251613 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=1028408 memory=1006452 CPUtime=0.04 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 113 0 0 0 0 4 0 0 20 0 3 0 4455165 1053089792 251613 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 2854.24 s
Current children cumulated vsize: 1028408 KiB
Current children cumulated memory: 1006452 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.16 4.03 5/249 30488
/proc/meminfo: memFree=122739120/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=1028940 memory=1007004 CPUtime=2914.11 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 886433 0 0 0 290936 475 0 0 20 0 3 0 4455040 1053634560 251751 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 257235 251751 3318 3035 0 253557 0
[pid=29139/tid=29173] ppid=29136 vsize=1028940 memory=1006856 CPUtime=2912.42 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 850112 0 0 0 290796 446 0 0 20 0 3 0 4455159 1053634560 251751 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=1028940 memory=16744 CPUtime=0.04 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 116 0 0 0 0 4 0 0 20 0 3 0 4455165 1053634560 251751 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 2914.11 s
Current children cumulated vsize: 1028940 KiB
Current children cumulated memory: 1007004 KiB

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

# cumulated CPU time of all completed processes:  user=2931.54 s, system=4.93952 s

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

[startup+2931.2 s]
/proc/loadavg: 4.14 4.17 4.04 5/249 30489
/proc/meminfo: memFree=122739036/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=1028940 memory=1007004 CPUtime=2922.99 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 888417 0 0 0 291817 482 0 0 20 0 3 0 4455040 1053634560 251751 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 257235 251751 3318 3035 0 253557 0
[pid=29139/tid=29173] ppid=29136 vsize=1028940 memory=11352 CPUtime=2921.3 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 852096 0 0 0 291677 453 0 0 20 0 3 0 4455159 1053634560 251751 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=1028940 memory=16744 CPUtime=0.04 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 116 0 0 0 0 4 0 0 20 0 3 0 4455165 1053634560 251751 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 2922.99 s
Current children cumulated vsize: 1028940 KiB
Current children cumulated memory: 1007004 KiB

[startup+2937.6 s]
/proc/loadavg: 4.12 4.17 4.04 5/249 30489
/proc/meminfo: memFree=122738968/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=1029084 memory=1007028 CPUtime=2929.37 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 888795 0 0 0 292450 487 0 0 20 0 3 0 4455040 1053782016 251757 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 257271 251757 3318 3035 0 253593 0
[pid=29139/tid=29173] ppid=29136 vsize=1029084 memory=1007004 CPUtime=2927.68 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 852474 0 0 0 292310 458 0 0 20 0 3 0 4455159 1053782016 251757 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=1029084 memory=1007024 CPUtime=0.04 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 116 0 0 0 0 4 0 0 20 0 3 0 4455165 1053782016 251757 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 2929.37 s
Current children cumulated vsize: 1029084 KiB
Current children cumulated memory: 1007028 KiB

[startup+2940.8 s]
/proc/loadavg: 4.11 4.16 4.04 5/249 30491
/proc/meminfo: memFree=122738900/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=1029084 memory=1007072 CPUtime=2932.57 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 888886 0 0 0 292767 490 0 0 20 0 3 0 4455040 1053782016 251768 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 257271 251768 3318 3035 0 253593 0
[pid=29139/tid=29173] ppid=29136 vsize=1029084 memory=12220 CPUtime=2930.88 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 852565 0 0 0 292627 461 0 0 20 0 3 0 4455159 1053782016 251768 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=1029084 memory=5540 CPUtime=0.04 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 116 0 0 0 0 4 0 0 20 0 3 0 4455165 1053782016 251768 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 2932.57 s
Current children cumulated vsize: 1029084 KiB
Current children cumulated memory: 1007072 KiB

[startup+2942.4 s]
/proc/loadavg: 4.11 4.16 4.04 5/249 30491
/proc/meminfo: memFree=122738848/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=1029084 memory=1007132 CPUtime=2934.16 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 888927 0 0 0 292925 491 0 0 20 0 3 0 4455040 1053782016 251783 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 257271 251783 3318 3035 0 253593 0
[pid=29139/tid=29173] ppid=29136 vsize=1029084 memory=1007132 CPUtime=2932.47 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 852606 0 0 0 292785 462 0 0 20 0 3 0 4455159 1053782016 251783 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=1029084 memory=16744 CPUtime=0.04 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 116 0 0 0 0 4 0 0 20 0 3 0 4455165 1053782016 251783 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 2934.16 s
Current children cumulated vsize: 1029084 KiB
Current children cumulated memory: 1007132 KiB

[startup+2944 s]*
/proc/loadavg: 4.11 4.16 4.04 5/249 30491
/proc/meminfo: memFree=122738828/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=1029228 memory=1007160 CPUtime=2935.76 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 889005 0 0 0 293084 492 0 0 20 0 3 0 4455040 1053929472 251790 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 257307 251790 3318 3035 0 253629 0
[pid=29139/tid=29173] ppid=29136 vsize=1029228 memory=-5155630215017491589 CPUtime=2934.08 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 852684 0 0 0 292945 463 0 0 20 0 3 0 4455159 1053929472 251790 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=1029228 memory=-5155633680935826750 CPUtime=0.04 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 116 0 0 0 0 4 0 0 20 0 3 0 4455165 1053929472 251790 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 2935.76 s
Current children cumulated vsize: 1029228 KiB
Current children cumulated memory: 1007160 KiB

[startup+2944.4 s]
/proc/loadavg: 4.11 4.16 4.04 5/249 30491
/proc/meminfo: memFree=122738828/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=1029228 memory=1007160 CPUtime=2936.15 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 889010 0 0 0 293123 492 0 0 20 0 3 0 4455040 1053929472 251790 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 257307 251790 3318 3035 0 253629 0
[pid=29139/tid=29173] ppid=29136 vsize=1029228 memory=16084 CPUtime=2934.46 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 852689 0 0 0 292983 463 0 0 20 0 3 0 4455159 1053929472 251790 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=1029228 memory=2248 CPUtime=0.04 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 116 0 0 0 0 4 0 0 20 0 3 0 4455165 1053929472 251790 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 2936.15 s
Current children cumulated vsize: 1029228 KiB
Current children cumulated memory: 1007160 KiB

[startup+2944.6 s]
/proc/loadavg: 4.11 4.16 4.04 5/249 30491
/proc/meminfo: memFree=122738828/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=1029228 memory=1007200 CPUtime=2936.36 cores=1,3
/proc/29139/stat : 29139 (fscip) S 29136 29139 29084 0 -1 1077936128 889043 0 0 0 293143 493 0 0 20 0 3 0 4455040 1053929472 251800 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 257307 251800 3318 3035 0 253629 0
[pid=29139/tid=29173] ppid=29136 vsize=1029228 memory=34932 CPUtime=2934.66 cores=1,3
/proc/29139/task/29173/stat : 29173 (fscip) R 29136 29139 29084 0 -1 4194368 852720 0 0 0 293003 463 0 0 20 0 3 0 4455159 1053929472 251800 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
[pid=29139/tid=29174] ppid=29136 vsize=1029228 memory=18204 CPUtime=0.04 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 116 0 0 0 0 4 0 0 20 0 3 0 4455165 1053929472 251800 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 2936.36 s
Current children cumulated vsize: 1029228 KiB
Current children cumulated memory: 1007200 KiB

[startup+2944.7 s]
/proc/loadavg: 4.11 4.16 4.04 5/249 30491
/proc/meminfo: memFree=122738828/131655788 swapFree=131071996/131071996
[pid=29139] ppid=29136 vsize=473432 memory=450064 CPUtime=2936.46 cores=1,3
/proc/29139/stat : 29139 (fscip) R 29136 29139 29084 0 -1 4194304 889373 0 0 0 293153 493 0 0 20 0 2 0 4455040 484794368 112516 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
/proc/29139/statm: 118358 112516 3318 3035 0 114683 0
[pid=29139/tid=29174] ppid=29136 vsize=473432 memory=11352 CPUtime=0.04 cores=1,3
/proc/29139/task/29174/stat : 29174 (fscip) S 29136 29139 29084 0 -1 1077936192 116 0 0 0 0 4 0 0 20 0 2 0 4455165 484794368 112516 134679101440 4194304 16623229 140736666125296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28921856 140736666133526 140736666133642 140736666133642 140736666140656 0
Current children cumulated CPU time: 2936.46 s
Current children cumulated vsize: 473432 KiB
Current children cumulated memory: 450064 KiB

Child status: 0

Real time (s): 2944.72
CPU time (s): 2936.48
CPU user time (s): 2931.54
CPU system time (s): 4.93952
CPU usage (%): 99.7203
Max. virtual memory (cumulated for all children) (KiB): 1279916
Max. memory (cumulated for all children) (KiB): 1007200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2931.54
system time used= 4.93952
maximum resident set size= 1257764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 889568
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= 12772
involuntary context switches= 4573


# summary of solver processes directly reported to runsolver:
#   pid: 29139
#   total CPU time (s): 2936.48
#   total CPU user time (s): 2931.54
#   total CPU system time (s): 4.93952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8173 second user time and 29.5847 second system time

The end

Launcher Data

Begin job on nodeC002 at 2024-07-31 00:29:54
IDJOB=4463920
IDBENCH=146783
IDSOLVER=3092
FILE ID=nodeC002/4463920-1722378594
RUNJOBID= nodeC002-1722378594-29096
SLURM_JOB_ID= 8249832
Free space on /tmp= 723752 MiB

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

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

MD5SUM BENCH= 8990d9f8b403d84c2b7408cf78742133
RANDOM SEED=1497379858

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125150928 kB
MemAvailable:   129960012 kB
Buffers:           91192 kB
Cached:          5508752 kB
SwapCached:            0 kB
Active:           252948 kB
Inactive:        5704112 kB
Active(anon):       1784 kB
Inactive(anon):   385168 kB
Active(file):     251164 kB
Inactive(file):  5318944 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            114172 kB
Writeback:             0 kB
AnonPages:        356888 kB
Mapped:            91676 kB
Shmem:             29512 kB
KReclaimable:     158016 kB
Slab:             242840 kB
SReclaimable:     158016 kB
SUnreclaim:        84824 kB
KernelStack:        3740 kB
PageTables:         9844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     641516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6944 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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:      224072 kB
DirectMap2M:    19603456 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723668 MiB
End job on nodeC002 at 2024-07-31 01:18:59