Trace number 4434881

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-02OPT5114519 529.061 530.499

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_5.opb
MD5SUM4bce0178dd52d2d263abed98aae07653
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 benchmark5114519
Best CPU time to get the best result obtained on this benchmark353.176
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 145531576
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 56160700102
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 145531576
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 56160700102
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04	c Default LC presolving (default).
0.00/0.04	c ** Before presolving: virtualMemUsedAtLc = 46432256, getVmSize() = 46432256, SCIPgetMemUsed() = 20631384, SCIPgetMemTotal() = 24245640, SCIPgetMemExternEstim() = 12041689
0.00/0.04	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.22	c ** Estimated virtualMemUsedAtSolver = 43213308, getVmSize() = 76640256, SCIPgetMemUsed() = 28634122, SCIPgetMemTotal() = 52778274, SCIPgetMemExternEstim() = 12041689
0.20/0.22	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.20/0.22	c Original Problem   :
0.20/0.22	c   Problem name     : instance-4434881-1721132109
0.20/0.22	c   Variables        : 5100 (5100 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.22	c   Constraints      : 7606
0.20/0.22	c   Objective sense  : minimize
0.20/0.22	c Presolved Problem  :
0.20/0.22	c   Variables        : 2550 (2550 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.22	c   Constraints      : 2704
0.20/0.22	c Constraints        : Number
0.20/0.22	c   knapsack         : 1375 
0.20/0.22	c   setppc           : 51 
0.20/0.22	c   linear           : 3 
0.20/0.22	c   logicor          : 1275 
0.20/0.22	c ** Instance transfer method used: 0
0.20/0.23	c ** ParaScipInstance copy does not increase the number of variables. **
0.20/0.24	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.24	c                                Nodes    Active                                            
0.20/0.24	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.39/0.43	c *       0              0           1         1   178513309.0000                -          -
11.84/11.96	c        12              2           1         1   178513309.0000     2016215.3172          -
17.73/17.89	c        18              4           3         1   178513309.0000     2016215.3172          -
21.82/21.98	c *      22              6           5         1     8245901.0000     2016215.3172    308.98%
26.41/26.57	c *      27              6           5         1     7429565.0000     2016215.3172    268.49%
26.41/26.57	c        27              6           5         1     7429565.0000     2016215.3172    268.49%
31.79/31.98	c        32              8           5         1     7429565.0000     2016215.3172    268.49%
36.67/36.83	c *      37             28          13         1     6042771.0000     2016215.3172    199.71%
37.48/37.63	c        38             38          19         1     6042771.0000     2016215.3172    199.71%
43.06/43.22	c        43             67          36         1     6042771.0000     2016215.3172    199.71%
48.55/48.71	c        49            112          55         1     6042771.0000     2030821.1168    197.55%
54.33/54.50	c        54            136          71         1     6042771.0000     2030821.1168    197.55%
59.61/59.84	c        60            144          77         1     6042771.0000     2030821.1168    197.55%
66.00/66.28	c        66            154          85         1     6042771.0000     2035810.4380    196.82%
68.80/69.01	c *      69            158          89         1     6014095.0000     2035810.4380    195.42%
71.68/71.95	c        72            166          94         1     6014095.0000     2035810.4380    195.42%
77.27/77.53	c        78            179         107         1     6014095.0000     2035810.4380    195.42%
82.66/82.95	c        83            213         121         1     6014095.0000     2041966.2601    194.52%
88.55/88.86	c        89            242         130         1     6014095.0000     2111161.4528    184.87%
93.53/93.87	c        94            263         137         1     6014095.0000     2152275.3514    179.43%
99.41/99.76	c       100            315         148         1     6014095.0000     2152845.3257    179.36%
99.51/99.89	c *     100            315         148         1     6005859.0000     2152845.3257    178.97%
104.90/105.20	c       105            377         176         1     6005859.0000     2180951.5895    175.38%
110.28/110.60	c       111            442         179         1     6005859.0000     2190827.8659    174.14%
115.46/115.88	c       116            462         185         1     6005859.0000     2197284.9713    173.33%
121.06/121.49	c       121            502         199         1     6005859.0000     2232972.8206    168.96%
126.24/126.61	c       127            519         206         1     6005859.0000     2244130.6016    167.63%
132.82/133.25	c       133            538         211         1     6005859.0000     2258774.6326    165.89%
139.51/139.92	c       140            588         217         1     6005859.0000     2258774.6326    165.89%
145.29/145.75	c       146            594         219         1     6005859.0000     2258774.6326    165.89%
151.58/152.10	c       152            702         243         1     6005859.0000     2295577.6837    161.63%
156.66/157.12	c       157            793         256         1     6005859.0000     2295577.6837    161.63%
160.05/160.55	c *     161            799         256         1     5951401.0000     2295577.6837    159.26%
163.14/163.63	c       164            822         261         1     5951401.0000     2296133.3594    159.19%
169.73/170.29	c       170            878         265         1     5951401.0000     2296133.3594    159.19%
174.11/174.61	c *     175            932         265         1     5664253.0000     2339402.3739    142.12%
175.11/175.61	c *     176            949         261         1     5619903.0000     2339402.3739    140.23%
175.11/175.61	c       176            949         261         1     5619903.0000     2339402.3739    140.23%
181.00/181.57	c       182           1053         258         1     5619903.0000     2339402.3739    140.23%
187.38/187.98	c       188           1151         260         1     5619903.0000     2392640.0936    134.88%
193.06/193.67	c       194           1199         250         1     5619903.0000     2400934.6204    134.07%
198.64/199.26	c       199           1237         250         1     5619903.0000     2400934.6204    134.07%
204.23/204.81	c       205           1276         245         1     5619903.0000     2476373.9234    126.94%
209.91/210.59	c       211           1320         241         1     5619903.0000     2494637.2151    125.28%
215.80/216.48	c       216           1362         233         1     5619903.0000     2507163.8459    124.15%
220.98/221.63	c       222           1431         224         1     5619903.0000     2573963.0456    118.34%
226.88/227.52	c       228           1476         220         1     5619903.0000     2591368.9070    116.87%
233.26/233.93	c       234           1502         222         1     5619903.0000     2591368.9070    116.87%
239.14/239.86	c       240           1543         217         1     5619903.0000     2594381.3443    116.62%
245.33/246.06	c       246           1624         220         1     5619903.0000     2594381.3443    116.62%
250.61/251.33	c       251           1698         222         1     5619903.0000     2594381.3443    116.62%
256.19/256.90	c       257           1750         215         1     5619903.0000     2624103.8744    114.16%
262.07/262.87	c       263           1805         214         1     5619903.0000     2717293.2455    106.82%
267.75/268.58	c       269           1874         219         1     5619903.0000     2730407.0350    105.83%
273.24/274.02	c       274           1910         219         1     5619903.0000     2730407.0350    105.83%
279.03/279.88	c       280           1983         208         1     5619903.0000     2730407.0350    105.83%
284.32/285.16	c       285           2025         210         1     5619903.0000     2730407.0350    105.83%
290.30/291.10	c       291           2067         208         1     5619903.0000     2730407.0350    105.83%
295.68/296.58	c       297           2111         210         1     5619903.0000     2748416.8989    104.48%
301.07/301.92	c       302           2156         207         1     5619903.0000     2753956.6803    104.07%
306.55/307.43	c       307           2192         209         1     5619903.0000     2753956.6803    104.07%
312.14/313.01	c       313           2238         205         1     5619903.0000     2755534.7128    103.95%
317.82/318.75	c       319           2301         204         1     5619903.0000     2759242.4169    103.68%
324.80/325.77	c       326           2327           0         1     5619903.0000     2759242.4169    103.68%
329.89/330.84	c       331           2344          15         1     5619903.0000     2759242.4169    103.68%
335.97/336.91	c       337           2409          24         1     5619903.0000     2759242.4169    103.68%
341.55/342.57	c       343           2457          30         1     5619903.0000     2759242.4169    103.68%
347.34/348.34	c       348           2518          37         1     5619903.0000     2759242.4169    103.68%
353.13/354.12	c       354           2551          34         1     5619903.0000     2759242.4169    103.68%
358.31/359.33	c       359           2582          33         1     5619903.0000     2759242.4169    103.68%
363.90/364.99	c       365           2608          33         1     5619903.0000     2759242.4169    103.68%
369.78/370.80	c       371           2654          37         1     5619903.0000     2759242.4169    103.68%
375.46/376.52	c       377           2679          38         1     5619903.0000     2759242.4169    103.68%
381.85/382.91	c       383           2719          36         1     5619903.0000     2759242.4169    103.68%
387.43/388.53	c       389           2753          44         1     5619903.0000     2759242.4169    103.68%
393.12/394.28	c       394           2791          48         1     5619903.0000     2759242.4169    103.68%
398.80/399.94	c       400           2857          50         1     5619903.0000     2759242.4169    103.68%
404.09/405.24	c       405           2910          53         1     5619903.0000     2759242.4169    103.68%
409.47/410.63	c       411           2949          60         1     5619903.0000     2759242.4169    103.68%
414.66/415.84	c       416           2996          61         1     5619903.0000     2759242.4169    103.68%
420.15/421.33	c       421           3029          60         1     5619903.0000     2759242.4169    103.68%
426.33/427.54	c       428           3067          58         1     5619903.0000     2759242.4169    103.68%
431.61/432.84	c       433           3122          55         1     5619903.0000     2759242.4169    103.68%
437.49/438.77	c       439           3182          57         1     5619903.0000     2759242.4169    103.68%
443.28/444.53	c       445           3210          59         1     5619903.0000     2759242.4169    103.68%
448.67/449.92	c       450           3257          62         1     5619903.0000     2759242.4169    103.68%
454.66/455.92	c       456           3323          66         1     5619903.0000     2759242.4169    103.68%
460.14/461.49	c       461           3362          65         1     5619903.0000     2759242.4169    103.68%
465.83/467.14	c       467           3398          67         1     5619903.0000     2759242.4169    103.68%
472.01/473.40	c       473           3432          75         1     5619903.0000     3013895.5307     86.47%
477.39/478.75	c       479           3510          81         1     5619903.0000     3013895.5307     86.47%
482.48/483.83	c       484           3577          82         1     5619903.0000     3067330.2842     83.22%
488.17/489.52	c       490           3641          88         1     5619903.0000     3133783.8400     79.33%
493.76/495.19	c       495           3705          84         1     5619903.0000     3234647.3825     73.74%
498.84/500.24	c       500           3748          79         1     5619903.0000     3545257.8544     58.52%
504.82/506.20	c       506           3843          70         1     5619903.0000     3561591.2047     57.79%
511.00/512.48	c       512           3925          59         1     5619903.0000     3598593.2092     56.17%
517.18/518.61	c       519           3999          46         1     5619903.0000     3651612.3870     53.90%
518.49/519.97	c *     520           4008          47         1     5130433.0000     3766807.6036     36.20%
518.69/520.11	c *     520           4008          47         1     5120645.0000     3766807.6036     35.94%
518.79/520.22	c *     520           4008          47         1     5116725.0000     3766807.6036     35.84%
519.09/520.51	c *     521           4067          37         1     5114519.0000     3766807.6036     35.78%
522.18/523.66	c       524           4113          35         1     5114519.0000     3970482.8877     28.81%
527.96/529.45	c       529           4186          12         1     5114519.0000     4101623.3771     24.69%
528.95/530.44	c       530           4208           0         0     5114519.0000     5114519.0000      0.00%
528.95/530.47	c       530           4208           0         0     5114519.0000     5114519.0000          -
528.95/530.47	c SCIP Status        : c problem is solved
528.95/530.47	c Total Time         : 530.4600
528.95/530.47	c   solving          : 530.4600
528.95/530.47	c   presolving       : 0.1844 (included in solving)
528.95/530.47	c B&B Tree           :
528.95/530.47	c   nodes (total)    : 4208
528.95/530.47	c Solution           :
528.95/530.47	c   Solutions found  : 13
528.95/530.47	c   Primal Bound     : +5.11451900000000e+06
528.95/530.47	c   Dual Bound       : +5.11451900000000e+06
528.95/530.47	c Gap                : 0.00000 %
528.95/530.47	o 5114519
528.95/530.47	s OPTIMUM FOUND
528.95/530.47	v -x4850 -x4749 -x4698 -x4647 -x4596 -x4545 -x4494 -x4443 -x4392 -x4341 -x4290 -x4189 -x4138 -x4087 -x4036 -x3985 -x3934 -x3883 -x3832 
528.95/530.47	v -x3781 -x3730 -x3629 -x3578 -x3527 -x3476 -x3425 -x3374 -x3323 -x3272 -x3221 -x3170 -x3069 -x3018 -x2967 -x2916 -x2865 
528.95/530.47	v -x2814 -x2763 -x2712 -x2661 -x2610 -x5059 -x5008 -x4957 -x4906 -x4855 -x4754 -x4203 -x3652 -x3101 -x2300 -x2199 -x2148 -x2097 
528.95/530.47	v -x2046 -x1995 -x1944 -x1893 -x1842 -x1791 -x1740 -x1639 -x1588 -x1537 -x1486 -x1435 -x1384 -x1333 -x1282 -x1231 -x1180 -x1079 
528.95/530.47	v -x1028 -x977 -x926 -x875 -x824 -x773 -x722 -x671 -x620 -x519 -x468 -x417 -x366 -x315 -x264 -x213 -x162 -x111 -x60 -x2509 -x2458 
528.95/530.47	v -x2407 -x2356 -x2305 -x2204 -x1653 -x1102 -x551 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 
528.95/530.47	v -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 
528.95/530.47	v -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 
528.95/530.47	v -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 
528.95/530.47	v -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 
528.95/530.47	v -x4801 -x4750 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 
528.95/530.47	v -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 
528.95/530.47	v -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4697 
528.95/530.47	v -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 
528.95/530.47	v -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 x4666 -x4665 -x4664 -x4663 x4662 -x4661 
528.95/530.47	v -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4646 -x4645 -x4644 -x4643 -x4642 
528.95/530.47	v -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 
528.95/530.47	v -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 
528.95/530.47	v -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 
528.95/530.47	v -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 
528.95/530.47	v -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 
528.95/530.47	v -x4550 -x4549 -x4548 -x4547 -x4546 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 
528.95/530.47	v -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 
528.95/530.47	v -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 
528.95/530.47	v -x4496 -x4495 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 
528.95/530.47	v -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 
528.95/530.47	v -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4442 -x4441 
528.95/530.47	v -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 
528.95/530.47	v -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 
528.95/530.47	v -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4391 -x4390 -x4389 -x4388 -x4387 
528.95/530.47	v -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 
528.95/530.47	v -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 
528.95/530.47	v -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 
528.95/530.47	v -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 
528.95/530.47	v -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 
528.95/530.47	v -x4295 -x4294 -x4293 -x4292 -x4291 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 
528.95/530.47	v -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 
528.95/530.47	v -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 
528.95/530.47	v -x4191 -x4190 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 
528.95/530.47	v -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 
528.95/530.47	v -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4137 -x4136 
528.95/530.47	v -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 
528.95/530.47	v -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 
528.95/530.47	v -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4086 -x4085 -x4084 -x4083 -x4082 
528.95/530.47	v -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 
528.95/530.47	v -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 
528.95/530.47	v -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 
528.95/530.47	v -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 
528.95/530.47	v -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 
528.95/530.47	v -x3990 -x3989 -x3988 -x3987 -x3986 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 
528.95/530.47	v -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 
528.95/530.47	v -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 
528.95/530.47	v -x3936 -x3935 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 
528.95/530.47	v -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 
528.95/530.47	v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3882 -x3881 
528.95/530.47	v -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 
528.95/530.47	v -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 
528.95/530.47	v -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3831 -x3830 -x3829 -x3828 -x3827 
528.95/530.47	v -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 
528.95/530.47	v -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 
528.95/530.47	v -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 
528.95/530.47	v -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 
528.95/530.47	v -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 
528.95/530.47	v -x3735 -x3734 -x3733 -x3732 -x3731 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 
528.95/530.47	v -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3650 
528.95/530.47	v -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 
528.95/530.47	v -x3631 -x3630 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 
528.95/530.47	v -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 
528.95/530.47	v -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3577 -x3576 
528.95/530.47	v -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 x3566 -x3565 -x3564 -x3563 x3562 -x3561 -x3560 -x3559 -x3558 
528.95/530.47	v -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 
528.95/530.47	v -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 
528.95/530.47	v -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 
528.95/530.47	v -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 
528.95/530.47	v -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 
528.95/530.47	v -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 
528.95/530.47	v -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 
528.95/530.47	v -x3430 -x3429 -x3428 -x3427 -x3426 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 
528.95/530.47	v -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 
528.95/530.47	v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 
528.95/530.47	v -x3376 -x3375 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 
528.95/530.47	v -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 
528.95/530.47	v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3322 -x3321 
528.95/530.47	v -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 
528.95/530.47	v -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 
528.95/530.47	v -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 
528.95/530.47	v -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 
528.95/530.47	v -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 
528.95/530.47	v -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 
528.95/530.47	v -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 
528.95/530.47	v -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 
528.95/530.47	v -x3175 -x3174 -x3173 -x3172 -x3171 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 
528.95/530.47	v -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 
528.95/530.47	v -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 
528.95/530.47	v -x3071 -x3070 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 
528.95/530.47	v -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 
528.95/530.47	v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3017 -x3016 
528.95/530.47	v -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 
528.95/530.47	v -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 
528.95/530.47	v -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 
528.95/530.47	v -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 x2948 -x2947 -x2946 -x2945 -x2944 -x2943 
528.95/530.47	v -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 x2928 -x2927 -x2926 -x2925 
528.95/530.47	v -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2915 -x2914 -x2913 x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 
528.95/530.47	v -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 
528.95/530.47	v -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 
528.95/530.47	v -x2870 -x2869 -x2868 -x2867 -x2866 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 
528.95/530.47	v -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 
528.95/530.47	v -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 
528.95/530.47	v -x2815 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 
528.95/530.48	v -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 
528.95/530.48	v -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2762 -x2761 
528.95/530.48	v -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 x2748 -x2747 -x2746 -x2745 -x2744 -x2743 
528.95/530.48	v -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 x2728 -x2727 -x2726 -x2725 
528.95/530.48	v -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 x2716 -x2715 -x2714 -x2713 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 
528.95/530.48	v -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 
528.95/530.48	v -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 
528.95/530.48	v -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 
528.95/530.48	v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 
528.95/530.48	v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 
528.95/530.48	v -x2614 -x2613 -x2612 -x2611 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x5100 -x5099 -x5098 -x5097 -x5096 
528.95/530.48	v -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 
528.95/530.48	v -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 
528.95/530.48	v -x5060 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 
528.95/530.48	v -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 
528.95/530.48	v -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5007 -x5006 -x5005 
528.95/530.48	v -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 
528.95/530.48	v -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 
528.95/530.48	v -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 
528.95/530.48	v -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 
528.95/530.48	v -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 
528.95/530.48	v -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 
528.95/530.48	v -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 
528.95/530.48	v -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 
528.95/530.48	v -x4859 -x4858 -x4857 -x4856 -x4854 -x4853 -x4852 -x4851 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 
528.95/530.48	v -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 
528.95/530.48	v -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 
528.95/530.48	v -x4755 -x4753 -x4752 -x4751 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 
528.95/530.48	v -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 
528.95/530.48	v -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4202 -x4201 -x3700 
528.95/530.48	v -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 
528.95/530.48	v -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 
528.95/530.48	v -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3651 -x3150 -x3149 -x3148 -x3147 -x3146 
528.95/530.48	v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 
528.95/530.48	v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 
528.95/530.48	v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x2600 -x2599 x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 
528.95/530.48	v -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 x2578 -x2577 -x2576 -x2575 -x2574 -x2573 
528.95/530.48	v -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 
528.95/530.48	v -x2554 -x2553 -x2552 -x2551 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 
528.95/530.48	v -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 
528.95/530.48	v -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2200 
528.95/530.48	v x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 
528.95/530.48	v -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 
528.95/530.48	v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 x2149 x2147 -x2146 -x2145 x2144 
528.95/530.48	v -x2143 -x2142 x2141 -x2140 x2139 -x2138 -x2137 -x2136 x2135 -x2134 x2133 -x2132 -x2131 -x2130 x2129 -x2128 -x2127 -x2126 -x2125 
528.95/530.48	v -x2124 -x2123 x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 x2115 -x2114 -x2113 -x2112 -x2111 x2110 x2109 -x2108 x2107 
528.95/530.48	v -x2106 -x2105 -x2104 x2103 x2102 x2101 -x2100 -x2099 x2098 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 
528.95/530.48	v -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 
528.95/530.48	v -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 
528.95/530.48	v -x2051 -x2050 -x2049 -x2048 -x2047 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 
528.95/530.48	v -x2032 -x2031 -x2030 -x2029 x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 
528.95/530.48	v -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 
528.95/530.48	v -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 
528.95/530.48	v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 
528.95/530.48	v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 x1948 -x1947 -x1946 -x1945 -x1943 -x1942 -x1941 
528.95/530.48	v -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 
528.95/530.48	v -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 
528.95/530.48	v -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 
528.95/530.48	v -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 
528.95/530.48	v -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 
528.95/530.48	v -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 
528.95/530.48	v -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 x1816 -x1815 -x1814 
528.95/530.48	v -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 x1798 -x1797 -x1796 
528.95/530.48	v -x1795 -x1794 -x1793 -x1792 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 
528.95/530.48	v -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 
528.95/530.48	v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 
528.95/530.48	v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 
528.95/530.48	v -x1721 -x1720 -x1719 -x1718 -x1717 x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 
528.95/530.48	v -x1703 -x1702 -x1701 -x1650 -x1649 x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1638 -x1637 -x1636 -x1635 
528.95/530.48	v -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 
528.95/530.48	v -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 
528.95/530.48	v -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 
528.95/530.48	v -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 x1566 -x1565 -x1564 -x1563 
528.95/530.48	v -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 
528.95/530.48	v -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 
528.95/530.48	v -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 
528.95/530.48	v -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 
528.95/530.48	v -x1489 -x1488 -x1487 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 
528.95/530.48	v -x1470 -x1469 -x1468 -x1467 x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 
528.95/530.48	v -x1452 -x1451 -x1450 -x1449 x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1434 
528.95/530.48	v -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 
528.95/530.48	v -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 
528.95/530.48	v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1383 -x1382 -x1381 -x1380 
528.95/530.48	v -x1379 x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 
528.95/530.48	v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 x1348 -x1347 -x1346 -x1345 -x1344 
528.95/530.48	v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 
528.95/530.48	v -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 
528.95/530.48	v -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 
528.95/530.48	v -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1281 -x1280 -x1279 x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 
528.95/530.48	v -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 
528.95/530.48	v -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 
528.95/530.48	v -x1234 -x1233 -x1232 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 x1216 
528.95/530.48	v -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 
528.95/530.48	v -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1179 
528.95/530.48	v -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 -x1163 -x1162 -x1161 
528.95/530.48	v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1100 -x1099 x1098 -x1097 -x1096 -x1095 -x1094 -x1093 
528.95/530.48	v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1078 -x1077 -x1076 -x1075 -x1074 
528.95/530.48	v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 
528.95/530.48	v -x1055 -x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 x1043 -x1042 -x1041 -x1040 -x1039 -x1038 
528.95/530.48	v -x1037 -x1036 -x1035 x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1027 -x1026 x1025 -x1024 -x1023 -x1022 x1021 x1020 x1019 x1018 
528.95/530.48	v x1017 -x1016 -x1015 x1014 -x1013 -x1012 x1011 -x1010 -x1009 -x1008 -x1007 x1006 x1005 x1004 -x1003 -x1002 -x1001 -x1000 -x999 
528.95/530.48	v -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 
528.95/530.48	v -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 
528.95/530.48	v -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 
528.95/530.48	v -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914 
528.95/530.48	v -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 
528.95/530.48	v -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 x878 -x877 -x876 -x874 -x873 -x872 -x871 
528.95/530.48	v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 
528.95/530.48	v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 
528.95/530.48	v -x828 -x827 -x826 -x825 -x823 -x822 -x821 -x820 -x819 -x818 -x817 x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 
528.95/530.48	v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 
528.95/530.48	v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x772 -x771 -x770 -x769 -x768 -x767 x766 -x765 -x764 
528.95/530.48	v -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 
528.95/530.48	v -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x721 
528.95/530.48	v -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 
528.95/530.48	v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 
528.95/530.48	v -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 
528.95/530.48	v -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 
528.95/530.48	v -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x619 -x618 -x617 -x616 -x615 
528.95/530.48	v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x550 -x549 -x548 -x547 -x546 -x545 -x544 
528.95/530.48	v -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 
528.95/530.48	v -x522 -x521 -x520 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 
528.95/530.48	v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 
528.95/530.48	v -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 
528.95/530.48	v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 
528.95/530.48	v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x416 
528.95/530.48	v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 
528.95/530.48	v -x394 -x393 x392 -x391 x390 -x389 x388 x387 x386 -x385 -x384 -x383 -x382 x381 x380 -x379 -x378 x377 x376 -x375 x374 x373 -x372 
528.95/530.48	v -x371 -x370 -x369 -x368 -x367 -x365 -x364 x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 
528.95/530.48	v -x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 
528.95/530.48	v -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 
528.95/530.48	v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 
528.95/530.48	v -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 
528.95/530.48	v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 
528.95/530.48	v -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 
528.95/530.48	v -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 
528.95/530.48	v -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 
528.95/530.48	v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x161 -x160 -x159 -x158 
528.95/530.48	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 
528.95/530.48	v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 
528.95/530.48	v -x115 -x114 -x113 -x112 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 
528.95/530.48	v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 
528.95/530.48	v -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x2550 -x2549 x2548 -x2547 -x2546 -x2545 -x2544 
528.95/530.48	v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 
528.95/530.48	v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2508 -x2507 
528.95/530.48	v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 
528.95/530.48	v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 
528.95/530.49	v -x2471 -x2470 -x2469 -x2468 -x2467 x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2457 -x2456 -x2455 -x2454 -x2453 
528.95/530.49	v -x2452 -x2451 -x2450 -x2449 x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 
528.95/530.49	v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 
528.95/530.49	v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 
528.95/530.49	v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 
528.95/530.49	v -x2379 x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 
528.95/530.49	v -x2361 -x2360 -x2359 -x2358 -x2357 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 
528.95/530.49	v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 x2328 -x2327 -x2326 -x2325 
528.95/530.49	v -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 
528.95/530.49	v -x2306 -x2304 -x2303 -x2302 -x2301 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 
528.95/530.49	v -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 
528.95/530.49	v -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2203 -x2202 
528.95/530.49	v -x2201 -x1700 -x1699 x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 
528.95/530.49	v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 
528.95/530.49	v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1652 -x1651 -x1150 -x1149 x1148 -x1147 
528.95/530.49	v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 
528.95/530.49	v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 
528.95/530.49	v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1101 -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 
528.95/530.49	v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 
528.95/530.49	v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552

Verifier Data 

OK	5114519

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (54373 MiB free)
  memory of node 1: 64510 MiB (55158 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434881-1721132109/watcher-4434881-1721132109 -o /tmp/evaluation-result-4434881-1721132109/solver-4434881-1721132109 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721122498-850733 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434881-1721132109.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
solver pid=856131, runsolver pid=856128
Current StackSize limit: 8192 KiB


[startup+0.100101 s]*
/proc/loadavg: 4.17 4.13 4.15 5/263 856132
/proc/meminfo: memFree=112126628/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=56056 memory=45048 CPUtime=0.09 cores=1,3
/proc/856131/stat : 856131 (fscip) R 856128 856131 850721 0 -1 4194304 9507 0 0 0 8 1 0 0 20 0 1 0 165380657 57401344 11262 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 14014 11262 2702 3032 0 10414 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 45048 KiB

[startup+0.205696 s]*
/proc/loadavg: 4.17 4.13 4.15 5/263 856132
/proc/meminfo: memFree=112118832/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=68772 memory=55988 CPUtime=0.2 cores=1,3
/proc/856131/stat : 856131 (fscip) R 856128 856131 850721 0 -1 4194304 12207 0 0 0 19 1 0 0 20 0 1 0 165380657 70422528 13997 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 17193 13997 2750 3032 0 13593 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68772 KiB
Current children cumulated memory: 55988 KiB

[startup+0.306457 s]*
/proc/loadavg: 4.17 4.13 4.15 6/265 856134
/proc/meminfo: memFree=112087108/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=163136 memory=84468 CPUtime=0.29 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 20437 0 0 0 26 3 0 0 20 0 3 0 165380657 167051264 21117 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 40784 21117 2798 3032 0 26010 0
[pid=856131/tid=856133] ppid=856128 vsize=163136 memory=-6586908532600388452 CPUtime=0.06 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 5610 0 0 0 5 1 0 0 20 0 3 0 165380679 167051264 21117 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=163136 memory=0 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 165380681 167051264 21117 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 163136 KiB
Current children cumulated memory: 84468 KiB

[startup+0.700274 s]
/proc/loadavg: 4.17 4.13 4.15 6/265 856134
/proc/meminfo: memFree=112065604/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=173332 memory=107072 CPUtime=0.68 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 26072 0 0 0 64 4 0 0 20 0 3 0 165380657 177491968 26768 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 43333 26768 2910 3032 0 32187 0
[pid=856131/tid=856133] ppid=856128 vsize=173332 memory=5492 CPUtime=0.44 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 11243 0 0 0 43 1 0 0 20 0 3 0 165380679 177491968 26768 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=173332 memory=417 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 165380681 177491968 26768 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 173332 KiB
Current children cumulated memory: 107072 KiB

[startup+1.50028 s]
/proc/loadavg: 4.17 4.13 4.15 6/265 856134
/proc/meminfo: memFree=112040740/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=185576 memory=143404 CPUtime=1.47 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 42846 0 0 0 141 6 0 0 20 0 3 0 165380657 190029824 35851 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 46394 35851 2910 3032 0 41597 0
[pid=856131/tid=856133] ppid=856128 vsize=185576 memory=417 CPUtime=1.23 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 28011 0 0 0 120 3 0 0 20 0 3 0 165380679 190029824 35851 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=185576 memory=0 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 165380681 190029824 35851 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 185576 KiB
Current children cumulated memory: 143404 KiB

[startup+3.10575 s]
/proc/loadavg: 4.17 4.13 4.15 6/265 856134
/proc/meminfo: memFree=112018452/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=153500 CPUtime=3.07 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 46286 0 0 0 301 6 0 0 20 0 3 0 165380657 259215360 38375 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 38375 2910 3032 0 44191 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=-6586908532600388452 CPUtime=2.84 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 31451 0 0 0 280 4 0 0 20 0 3 0 165380679 259215360 38375 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=0 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 38375 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 153500 KiB

[startup+6.30026 s]
/proc/loadavg: 4.24 4.15 4.15 6/265 856136
/proc/meminfo: memFree=112016932/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=154504 CPUtime=6.26 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 55898 0 0 0 619 7 0 0 20 0 3 0 165380657 259215360 38626 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 38626 2910 3032 0 44423 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=12340 CPUtime=6.02 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 41055 0 0 0 598 4 0 0 20 0 3 0 165380679 259215360 38626 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=12340 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 38626 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 154504 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.14 4.15 6/265 856136
/proc/meminfo: memFree=112005552/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=165988 CPUtime=12.65 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 68892 0 0 0 1257 8 0 0 20 0 3 0 165380657 259215360 41497 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 41497 2926 3032 0 47294 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=154484 CPUtime=12.41 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 54008 0 0 0 1236 5 0 0 20 0 3 0 165380679 259215360 41497 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=-6586908532600388452 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 41497 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 165988 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.14 4.15 6/265 856139
/proc/meminfo: memFree=111988544/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=166192 CPUtime=25.41 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 80814 0 0 0 2532 9 0 0 20 0 3 0 165380657 259215360 41548 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 41548 2974 3032 0 47294 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=12340 CPUtime=25.17 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 65329 0 0 0 2511 6 0 0 20 0 3 0 165380679 259215360 41548 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=12340 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 41548 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 166192 KiB

[startup+51.1057 s]
/proc/loadavg: 4.11 4.12 4.15 6/263 856142
/proc/meminfo: memFree=111980412/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=166296 CPUtime=50.94 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 116162 0 0 0 5083 11 0 0 20 0 3 0 165380657 259215360 41574 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 41574 2974 3032 0 47294 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=7661024757737613671 CPUtime=50.7 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 99535 0 0 0 5062 8 0 0 20 0 3 0 165380679 259215360 41574 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=12340 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 41574 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 166296 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.15 4.15 6/262 856150
/proc/meminfo: memFree=111922032/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=169708 CPUtime=102.01 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 149068 0 0 0 10186 15 0 0 20 0 3 0 165380657 259215360 42427 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 42427 2974 3032 0 48160 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=12340 CPUtime=101.76 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 131326 0 0 0 10165 11 0 0 20 0 3 0 165380679 259215360 42427 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=6720668735650545513 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 42427 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 169708 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.15 6/262 856162
/proc/meminfo: memFree=111847136/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=188992 CPUtime=161.85 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 178234 0 0 0 16168 17 0 0 20 0 3 0 165380657 259215360 47248 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 47248 3310 3032 0 52656 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=182204 CPUtime=161.6 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 159927 0 0 0 16146 14 0 0 20 0 3 0 165380679 259215360 47248 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=188976 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 47248 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 188992 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 4.17 4.16 6/262 856172
/proc/meminfo: memFree=111724380/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=191828 CPUtime=221.68 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 205163 0 0 0 22148 20 0 0 20 0 3 0 165380657 259215360 47957 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 47957 3310 3032 0 53322 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=5568 CPUtime=221.43 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 186234 0 0 0 22126 17 0 0 20 0 3 0 165380679 259215360 47957 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=12340 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 47957 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 191828 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.15 6/262 856182
/proc/meminfo: memFree=111649000/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=192144 CPUtime=281.52 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 219792 0 0 0 28129 23 0 0 20 0 3 0 165380657 259215360 48036 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 48036 3310 3032 0 53438 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=191872 CPUtime=281.26 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 200825 0 0 0 28107 19 0 0 20 0 3 0 165380679 259215360 48036 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=191872 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 48036 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 192144 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.15 6/264 856197
/proc/meminfo: memFree=111639700/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=198280 CPUtime=341.36 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 238102 0 0 0 34111 25 0 0 20 0 3 0 165380657 259215360 49570 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 49570 3310 3032 0 55188 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=191872 CPUtime=341.09 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 219088 0 0 0 34088 21 0 0 20 0 3 0 165380679 259215360 49570 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=198280 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 49570 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 198280 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.13 4.14 6/264 856207
/proc/meminfo: memFree=111605132/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=202652 CPUtime=401.2 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 252414 0 0 0 40093 27 0 0 20 0 3 0 165380657 259215360 50663 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 50663 3310 3032 0 56042 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=191872 CPUtime=400.93 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 233366 0 0 0 40070 23 0 0 20 0 3 0 165380679 259215360 50663 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=202652 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 50663 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 202652 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.14 6/264 856218
/proc/meminfo: memFree=111590664/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=204824 CPUtime=461.04 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 264902 0 0 0 46075 29 0 0 20 0 3 0 165380657 259215360 51206 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 51206 3310 3032 0 56807 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=204800 CPUtime=460.76 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 245813 0 0 0 46052 24 0 0 20 0 3 0 165380679 259215360 51206 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=12340 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 51206 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 461.04 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 204824 KiB

[startup+522.3 s]
/proc/loadavg: 4.12 4.12 4.14 6/264 856228
/proc/meminfo: memFree=111558536/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=205804 CPUtime=520.88 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 277971 0 0 0 52057 31 0 0 20 0 3 0 165380657 259215360 51451 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 51451 3310 3032 0 57001 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=205060 CPUtime=520.6 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 258249 0 0 0 52034 26 0 0 20 0 3 0 165380679 259215360 51451 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=12340 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 51451 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 520.88 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 205804 KiB

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

# cumulated CPU time of all completed processes:  user=528.731 s, system=0.329994 s

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

[startup+524.8 s]
/proc/loadavg: 4.12 4.12 4.14 6/264 856230
/proc/meminfo: memFree=111558336/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=205804 CPUtime=523.37 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 277987 0 0 0 52306 31 0 0 20 0 3 0 165380657 259215360 51451 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 51451 3310 3032 0 57001 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=41440 CPUtime=523.09 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 258265 0 0 0 52283 26 0 0 20 0 3 0 165380679 259215360 51451 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=5492 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 51451 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 523.37 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 205804 KiB

[startup+528 s]*
/proc/loadavg: 4.11 4.12 4.13 6/264 856230
/proc/meminfo: memFree=111558236/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=205828 CPUtime=526.57 cores=1,3
/proc/856131/stat : 856131 (fscip) R 856128 856131 850721 0 -1 1077936128 278040 0 0 0 52626 31 0 0 20 0 3 0 165380657 259215360 51457 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 51457 3310 3032 0 57007 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=-6170700475013167553 CPUtime=526.29 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) S 856128 856131 850721 0 -1 1077936192 258318 0 0 0 52603 26 0 0 20 0 3 0 165380679 259215360 51457 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=-8621784584977039259 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 51457 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 526.57 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 205828 KiB

[startup+529.6 s]
/proc/loadavg: 4.11 4.12 4.13 6/264 856230
/proc/meminfo: memFree=111558312/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=205828 CPUtime=528.16 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 278041 0 0 0 52785 31 0 0 20 0 3 0 165380657 259215360 51457 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 51457 3310 3032 0 57007 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=205828 CPUtime=527.88 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 258319 0 0 0 52762 26 0 0 20 0 3 0 165380679 259215360 51457 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=205828 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 51457 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 528.16 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 205828 KiB

[startup+530 s]*
/proc/loadavg: 4.10 4.12 4.13 6/264 856230
/proc/meminfo: memFree=111558320/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=205828 CPUtime=528.56 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 278043 0 0 0 52825 31 0 0 20 0 3 0 165380657 259215360 51457 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 51457 3310 3032 0 57007 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=6720668735650545513 CPUtime=528.28 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 258321 0 0 0 52802 26 0 0 20 0 3 0 165380679 259215360 51457 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=-8621784584977039259 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 51457 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 528.56 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 205828 KiB

[startup+530.4 s]
/proc/loadavg: 4.10 4.12 4.13 6/264 856230
/proc/meminfo: memFree=111558320/131524600 swapFree=131071996/131071996
[pid=856131] ppid=856128 vsize=253140 memory=205828 CPUtime=528.95 cores=1,3
/proc/856131/stat : 856131 (fscip) S 856128 856131 850721 0 -1 1077936128 278043 0 0 0 52864 31 0 0 20 0 3 0 165380657 259215360 51457 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
/proc/856131/statm: 63285 51457 3310 3032 0 57007 0
[pid=856131/tid=856133] ppid=856128 vsize=253140 memory=6720668735650545513 CPUtime=528.67 cores=1,3
/proc/856131/task/856133/stat : 856133 (fscip) R 856128 856131 850721 0 -1 4194368 258321 0 0 0 52841 26 0 0 20 0 3 0 165380679 259215360 51457 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
[pid=856131/tid=856134] ppid=856128 vsize=253140 memory=6720668735650545513 CPUtime=0 cores=1,3
/proc/856131/task/856134/stat : 856134 (fscip) S 856128 856131 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165380681 259215360 51457 134679101440 4194304 16613245 140733559862800 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 40747008 140733559870485 140733559870601 140733559870601 140733559877616 0
Current children cumulated CPU time: 528.95 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 205828 KiB

Child status: 0

Real time (s): 530.499
CPU time (s): 529.061
CPU user time (s): 528.731
CPU system time (s): 0.329994
CPU usage (%): 99.7289
Max. virtual memory (cumulated for all children) (KiB): 253140
Max. memory (cumulated for all children) (KiB): 205828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 528.731
system time used= 0.329994
maximum resident set size= 205828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286939
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= 1437
involuntary context switches= 406


# summary of solver processes directly reported to runsolver:
#   pid: 856131
#   total CPU time (s): 529.061
#   total CPU user time (s): 528.731
#   total CPU system time (s): 0.329994

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.890633 second user time and 2.86453 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 14:15:22
IDJOB=4434881
IDBENCH=155620
IDSOLVER=3064
FILE ID=nodeC033/4434881-1721132109
RUNJOBID= nodeC033-1721122498-850733
SLURM_JOB_ID= 7505674
Free space on /tmp= 889908 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_5.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-4434881-1721132109/watcher-4434881-1721132109 -o /tmp/evaluation-result-4434881-1721132109/solver-4434881-1721132109 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721122498-850733 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434881-1721132109.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 4bce0178dd52d2d263abed98aae07653
RANDOM SEED=323702589

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        112160876 kB
MemAvailable:   116997112 kB
Buffers:          440712 kB
Cached:          5173844 kB
SwapCached:            0 kB
Active:           792580 kB
Inactive:       17823940 kB
Active(anon):       1572 kB
Inactive(anon): 13037776 kB
Active(file):     791008 kB
Inactive(file):  4786164 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28416 kB
Writeback:             0 kB
AnonPages:      12998956 kB
Mapped:           140876 kB
Shmem:             37716 kB
KReclaimable:     197424 kB
Slab:             315344 kB
SReclaimable:     197424 kB
SUnreclaim:       117920 kB
KernelStack:        4220 kB
PageTables:        35740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   11570684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62240 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5085184 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:      262868 kB
DirectMap2M:    25724928 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 889880 MiB
End job on nodeC033 at 2024-07-16 14:24:12