Trace number 4434880

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-02OPT3971977 480.993 482.237

General information on the benchmark

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

Verifier Data 

OK	3971977

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=855113, runsolver pid=855110

[startup+0.100347 s]*
/proc/loadavg: 4.32 4.25 4.18 5/264 855114
/proc/meminfo: memFree=109861568/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=55924 memory=45048 CPUtime=0.09 cores=4,6
/proc/855113/stat : 855113 (fscip) R 855110 855113 850721 0 -1 4194304 9448 0 0 0 8 1 0 0 20 0 1 0 165187090 57266176 11262 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 13981 11262 2702 3032 0 10381 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55924 KiB
Current children cumulated memory: 45048 KiB

[startup+0.206363 s]*
/proc/loadavg: 4.32 4.25 4.18 5/264 855114
/proc/meminfo: memFree=109853504/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=65692 memory=52820 CPUtime=0.19 cores=4,6
/proc/855113/stat : 855113 (fscip) R 855110 855113 850721 0 -1 4194304 11438 0 0 0 18 1 0 0 20 0 1 0 165187090 67268608 13205 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 16423 13205 2750 3032 0 12823 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65692 KiB
Current children cumulated memory: 52820 KiB

[startup+0.306346 s]*
/proc/loadavg: 4.32 4.25 4.18 5/266 855116
/proc/meminfo: memFree=109822032/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=163136 memory=84204 CPUtime=0.28 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 20425 0 0 0 25 3 0 0 20 0 3 0 165187090 167051264 21051 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 40784 21051 2798 3032 0 26007 0
[pid=855113/tid=855115] ppid=855110 vsize=163136 memory=-6658967226149944172 CPUtime=0.05 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 5596 0 0 0 4 1 0 0 20 0 3 0 165187114 167051264 21051 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=163136 memory=0 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 165187116 167051264 21051 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 163136 KiB
Current children cumulated memory: 84204 KiB

[startup+0.700251 s]
/proc/loadavg: 4.32 4.25 4.18 5/266 855116
/proc/meminfo: memFree=109800640/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=173332 memory=106520 CPUtime=0.67 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 25991 0 0 0 63 4 0 0 20 0 3 0 165187090 177491968 26630 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 43333 26630 2910 3032 0 32103 0
[pid=855113/tid=855115] ppid=855110 vsize=173332 memory=5492 CPUtime=0.44 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 11160 0 0 0 42 2 0 0 20 0 3 0 165187114 177491968 26630 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=173332 memory=417 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 165187116 177491968 26630 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 173332 KiB
Current children cumulated memory: 106520 KiB

[startup+1.50026 s]
/proc/loadavg: 4.32 4.25 4.18 5/266 855116
/proc/meminfo: memFree=109798156/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=176348 memory=123300 CPUtime=1.46 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 35613 0 0 0 141 5 0 0 20 0 3 0 165187090 180580352 30825 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 44087 30825 2910 3032 0 36324 0
[pid=855113/tid=855115] ppid=855110 vsize=176348 memory=417 CPUtime=1.23 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 20778 0 0 0 120 3 0 0 20 0 3 0 165187114 180580352 30825 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=176348 memory=0 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 165187116 180580352 30825 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 176348 KiB
Current children cumulated memory: 123300 KiB

[startup+3.10571 s]
/proc/loadavg: 4.32 4.25 4.18 5/266 855116
/proc/meminfo: memFree=109773352/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=177376 memory=133436 CPUtime=3.06 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 38393 0 0 0 300 6 0 0 20 0 3 0 165187090 181633024 33359 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 44344 33359 2910 3032 0 39216 0
[pid=855113/tid=855115] ppid=855110 vsize=177376 memory=-6658967226149944172 CPUtime=2.83 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 23556 0 0 0 279 4 0 0 20 0 3 0 165187114 181633024 33359 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=177376 memory=0 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 165187116 181633024 33359 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 177376 KiB
Current children cumulated memory: 133436 KiB

[startup+6.30025 s]
/proc/loadavg: 4.30 4.24 4.18 5/266 855116
/proc/meminfo: memFree=109771652/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=177376 memory=134964 CPUtime=6.25 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 44650 0 0 0 619 6 0 0 20 0 3 0 165187090 181633024 33741 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 44344 33741 2958 3032 0 39436 0
[pid=855113/tid=855115] ppid=855110 vsize=177376 memory=12340 CPUtime=6.02 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 29268 0 0 0 598 4 0 0 20 0 3 0 165187114 181633024 33741 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=177376 memory=12340 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 165187116 181633024 33741 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 177376 KiB
Current children cumulated memory: 134964 KiB

[startup+12.7003 s]
/proc/loadavg: 4.27 4.24 4.18 5/266 855118
/proc/meminfo: memFree=109757640/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=242912 memory=149088 CPUtime=12.63 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 65584 0 0 0 1255 8 0 0 20 0 3 0 165187090 248741888 37272 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 60728 37272 2990 3032 0 42957 0
[pid=855113/tid=855115] ppid=855110 vsize=242912 memory=134756 CPUtime=12.4 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 50159 0 0 0 1234 6 0 0 20 0 3 0 165187114 248741888 37272 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=242912 memory=6720659935262490475 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 165187116 248741888 37272 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 242912 KiB
Current children cumulated memory: 149088 KiB

[startup+25.5003 s]
/proc/loadavg: 4.21 4.23 4.17 5/266 855119
/proc/meminfo: memFree=109750356/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=242912 memory=156276 CPUtime=25.41 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 82494 0 0 0 2531 10 0 0 20 0 3 0 165187090 248741888 39069 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 60728 39069 2990 3032 0 45032 0
[pid=855113/tid=855115] ppid=855110 vsize=242912 memory=12340 CPUtime=25.17 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 66994 0 0 0 2510 7 0 0 20 0 3 0 165187114 248741888 39069 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=242912 memory=12340 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 165187116 248741888 39069 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 242912 KiB
Current children cumulated memory: 156276 KiB

[startup+51.106 s]
/proc/loadavg: 4.20 4.22 4.17 5/265 855124
/proc/meminfo: memFree=109748156/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=242912 memory=156980 CPUtime=50.94 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 105277 0 0 0 5083 11 0 0 20 0 3 0 165187090 248741888 39245 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 60728 39245 2990 3032 0 45032 0
[pid=855113/tid=855115] ppid=855110 vsize=242912 memory=7595156310424183123 CPUtime=50.71 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 89663 0 0 0 5062 9 0 0 20 0 3 0 165187114 248741888 39245 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=242912 memory=12340 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 165187116 248741888 39245 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 242912 KiB
Current children cumulated memory: 156980 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.20 4.17 5/265 855134
/proc/meminfo: memFree=109738156/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=242912 memory=164212 CPUtime=102.01 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 136795 0 0 0 10188 13 0 0 20 0 3 0 165187090 248741888 41053 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 60728 41053 2990 3032 0 46839 0
[pid=855113/tid=855115] ppid=855110 vsize=242912 memory=163528 CPUtime=101.77 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 119968 0 0 0 10166 11 0 0 20 0 3 0 165187114 248741888 41053 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=242912 memory=163344 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 165187116 248741888 41053 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 242912 KiB
Current children cumulated memory: 164212 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.18 4.16 5/265 855144
/proc/meminfo: memFree=109727680/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=242912 memory=171584 CPUtime=161.87 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 169162 0 0 0 16171 16 0 0 20 0 3 0 165187090 248741888 42896 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 60728 42896 2990 3032 0 48591 0
[pid=855113/tid=855115] ppid=855110 vsize=242912 memory=12340 CPUtime=161.62 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 152218 0 0 0 16149 13 0 0 20 0 3 0 165187114 248741888 42896 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=242912 memory=171584 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 165187116 248741888 42896 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 242912 KiB
Current children cumulated memory: 171584 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.16 6/262 855154
/proc/meminfo: memFree=109711544/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=242912 memory=181156 CPUtime=221.72 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 189675 0 0 0 22154 18 0 0 20 0 3 0 165187090 248741888 45289 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 60728 45289 3310 3032 0 50977 0
[pid=855113/tid=855115] ppid=855110 vsize=242912 memory=180952 CPUtime=221.47 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 172159 0 0 0 22132 15 0 0 20 0 3 0 165187114 248741888 45289 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=242912 memory=12340 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 165187116 248741888 45289 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 242912 KiB
Current children cumulated memory: 181156 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/262 855165
/proc/meminfo: memFree=109703232/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=241884 memory=189020 CPUtime=281.56 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 216049 0 0 0 28136 20 0 0 20 0 3 0 165187090 247689216 47255 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 60471 47255 3310 3032 0 52770 0
[pid=855113/tid=855115] ppid=855110 vsize=241884 memory=181456 CPUtime=281.31 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 197965 0 0 0 28114 17 0 0 20 0 3 0 165187114 247689216 47255 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=241884 memory=188976 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 165187116 247689216 47255 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 241884 KiB
Current children cumulated memory: 189020 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.16 4.16 5/262 855175
/proc/meminfo: memFree=109360424/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=241884 memory=189416 CPUtime=341.41 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 228945 0 0 0 34118 23 0 0 20 0 3 0 165187090 247689216 47354 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 60471 47354 3310 3032 0 52770 0
[pid=855113/tid=855115] ppid=855110 vsize=241884 memory=189416 CPUtime=341.15 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 210813 0 0 0 34096 19 0 0 20 0 3 0 165187114 247689216 47354 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=241884 memory=12340 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 165187116 247689216 47354 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 241884 KiB
Current children cumulated memory: 189416 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/262 855185
/proc/meminfo: memFree=109351324/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=241884 memory=195016 CPUtime=401.24 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 244037 0 0 0 40100 24 0 0 20 0 3 0 165187090 247689216 48754 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 60471 48754 3310 3032 0 54396 0
[pid=855113/tid=855115] ppid=855110 vsize=241884 memory=189424 CPUtime=400.99 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 225305 0 0 0 40078 21 0 0 20 0 3 0 165187114 247689216 48754 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=241884 memory=41440 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 3 0 165187116 247689216 48754 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 241884 KiB
Current children cumulated memory: 195016 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/262 855196
/proc/meminfo: memFree=109339512/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=241884 memory=204556 CPUtime=461.09 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 262061 0 0 0 46082 27 0 0 20 0 3 0 165187090 247689216 51139 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 60471 51139 3310 3032 0 56592 0
[pid=855113/tid=855115] ppid=855110 vsize=241884 memory=12340 CPUtime=460.83 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 242764 0 0 0 46059 24 0 0 20 0 3 0 165187114 247689216 51139 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=241884 memory=15976 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165187116 247689216 51139 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 461.09 s
Current children cumulated vsize: 241884 KiB
Current children cumulated memory: 204556 KiB

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

# cumulated CPU time of all completed processes:  user=480.694 s, system=0.299039 s

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

[startup+473.6 s]
/proc/loadavg: 4.15 4.14 4.15 5/264 855201
/proc/meminfo: memFree=109332904/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=307420 memory=210872 CPUtime=472.37 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 265296 0 0 0 47209 28 0 0 20 0 3 0 165187090 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 76855 52718 3310 3032 0 58418 0
[pid=855113/tid=855115] ppid=855110 vsize=307420 memory=19296 CPUtime=472.1 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 245999 0 0 0 47186 24 0 0 20 0 3 0 165187114 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=307420 memory=205448 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165187116 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 472.37 s
Current children cumulated vsize: 307420 KiB
Current children cumulated memory: 210872 KiB

[startup+476.8 s]
/proc/loadavg: 4.14 4.14 4.15 5/264 855201
/proc/meminfo: memFree=109332904/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=307420 memory=210872 CPUtime=475.56 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 265381 0 0 0 47528 28 0 0 20 0 3 0 165187090 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 76855 52718 3310 3032 0 58418 0
[pid=855113/tid=855115] ppid=855110 vsize=307420 memory=12340 CPUtime=475.29 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 246084 0 0 0 47505 24 0 0 20 0 3 0 165187114 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=307420 memory=210872 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165187116 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 475.56 s
Current children cumulated vsize: 307420 KiB
Current children cumulated memory: 210872 KiB

[startup+480 s]*
/proc/loadavg: 4.13 4.14 4.15 5/264 855203
/proc/meminfo: memFree=109332876/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=307420 memory=210872 CPUtime=478.76 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 265443 0 0 0 47848 28 0 0 20 0 3 0 165187090 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 76855 52718 3310 3032 0 58418 0
[pid=855113/tid=855115] ppid=855110 vsize=307420 memory=8236 CPUtime=478.49 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 246146 0 0 0 47824 25 0 0 20 0 3 0 165187114 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=307420 memory=-7377309222602237566 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165187116 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 478.76 s
Current children cumulated vsize: 307420 KiB
Current children cumulated memory: 210872 KiB

[startup+481.6 s]
/proc/loadavg: 4.13 4.14 4.15 5/264 855204
/proc/meminfo: memFree=109332868/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=307420 memory=210872 CPUtime=480.34 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 265677 0 0 0 48006 28 0 0 20 0 3 0 165187090 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 76855 52718 3310 3032 0 58418 0
[pid=855113/tid=855115] ppid=855110 vsize=307420 memory=210872 CPUtime=480.08 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 246380 0 0 0 47983 25 0 0 20 0 3 0 165187114 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=307420 memory=5492 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165187116 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 480.34 s
Current children cumulated vsize: 307420 KiB
Current children cumulated memory: 210872 KiB

[startup+482 s]*
/proc/loadavg: 4.13 4.14 4.15 5/264 855204
/proc/meminfo: memFree=109332876/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=307420 memory=210872 CPUtime=480.75 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 265706 0 0 0 48047 28 0 0 20 0 3 0 165187090 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 76855 52718 3310 3032 0 58418 0
[pid=855113/tid=855115] ppid=855110 vsize=307420 memory=6720659935262490475 CPUtime=480.49 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 246409 0 0 0 48024 25 0 0 20 0 3 0 165187114 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=307420 memory=-7377309222602237566 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165187116 314798080 52718 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 480.75 s
Current children cumulated vsize: 307420 KiB
Current children cumulated memory: 210872 KiB

[startup+482.2 s]
/proc/loadavg: 4.13 4.14 4.15 5/264 855204
/proc/meminfo: memFree=109332876/131524600 swapFree=131071996/131071996
[pid=855113] ppid=855110 vsize=306396 memory=209848 CPUtime=480.94 cores=4,6
/proc/855113/stat : 855113 (fscip) S 855110 855113 850721 0 -1 1077936128 267332 0 0 0 48066 28 0 0 20 0 3 0 165187090 313749504 52462 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
/proc/855113/statm: 76599 52462 3310 3032 0 58162 0
[pid=855113/tid=855115] ppid=855110 vsize=306396 memory=11560 CPUtime=480.68 cores=4,6
/proc/855113/task/855115/stat : 855115 (fscip) R 855110 855113 850721 0 -1 4194368 248075 0 0 0 48043 25 0 0 20 0 3 0 165187114 313749504 52462 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
[pid=855113/tid=855116] ppid=855110 vsize=306396 memory=11568 CPUtime=0 cores=4,6
/proc/855113/task/855116/stat : 855116 (fscip) S 855110 855113 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 165187116 313749504 52462 134679101440 4194304 16613245 140721529295520 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54087680 140721529304085 140721529304201 140721529304201 140721529311216 0
Current children cumulated CPU time: 480.94 s
Current children cumulated vsize: 306396 KiB
Current children cumulated memory: 209848 KiB

Child status: 0

Real time (s): 482.237
CPU time (s): 480.993
CPU user time (s): 480.694
CPU system time (s): 0.299039
CPU usage (%): 99.7419
Max. virtual memory (cumulated for all children) (KiB): 307420
Max. memory (cumulated for all children) (KiB): 210872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 480.694
system time used= 0.299039
maximum resident set size= 210872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275736
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= 1281
involuntary context switches= 352


# summary of solver processes directly reported to runsolver:
#   pid: 855113
#   total CPU time (s): 480.993
#   total CPU user time (s): 480.694
#   total CPU system time (s): 0.299039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2694 second user time and 2.0716 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 13:43:06
IDJOB=4434880
IDBENCH=155602
IDSOLVER=3064
FILE ID=nodeC033/4434880-1721130174
RUNJOBID= nodeC033-1721122498-850732
SLURM_JOB_ID= 7505674
Free space on /tmp= 889880 MiB

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

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

MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52
RANDOM SEED=115972402

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		: 3616.370
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		: 3686.760
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		: 3675.232
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		: 3599.898
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		: 3666.379
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		: 3686.756
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		: 3659.470
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		: 3599.987
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:        109896344 kB
MemAvailable:   114844924 kB
Buffers:          438780 kB
Cached:          5287872 kB
SwapCached:            0 kB
Active:           819716 kB
Inactive:       20056300 kB
Active(anon):       1556 kB
Inactive(anon): 15185520 kB
Active(file):     818160 kB
Inactive(file):  4870780 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28628 kB
Writeback:             4 kB
AnonPages:      15146676 kB
Mapped:           139344 kB
Shmem:             37716 kB
KReclaimable:     198576 kB
Slab:             316256 kB
SReclaimable:     198576 kB
SUnreclaim:       117680 kB
KernelStack:        4224 kB
PageTables:        39824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13007044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62144 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5679104 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= 889852 MiB
End job on nodeC033 at 2024-07-16 13:51:08