Trace number 4464212

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-30OPT3971977 469.002 470.531

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464212-1722382212/watcher-4464212-1722382212 -o /tmp/evaluation-result-4464212-1722382212/solver-4464212-1722382212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30927 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464212-1722382212.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=33333, runsolver pid=33330

[startup+0.100981 s]*
/proc/loadavg: 4.16 4.17 4.09 5/265 33334
/proc/meminfo: memFree=121104920/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=55936 memory=45120 CPUtime=0.09 cores=4,6
/proc/33333/stat : 33333 (fscip) R 33330 33333 30916 0 -1 4194304 9441 0 0 0 8 1 0 0 20 0 1 0 4816782 57278464 11280 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 13984 11280 2726 3035 0 10380 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55936 KiB
Current children cumulated memory: 45120 KiB

[startup+0.206975 s]*
/proc/loadavg: 4.16 4.17 4.09 6/268 33354
/proc/meminfo: memFree=121096712/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=63652 memory=51316 CPUtime=0.19 cores=4,6
/proc/33333/stat : 33333 (fscip) R 33330 33333 30916 0 -1 4194304 11050 0 0 0 18 1 0 0 20 0 1 0 4816782 65179648 12829 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 15913 12829 2774 3035 0 12309 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63652 KiB
Current children cumulated memory: 51316 KiB

[startup+0.306012 s]*
/proc/loadavg: 4.16 4.17 4.09 5/269 33394
/proc/meminfo: memFree=121065584/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=163152 memory=83956 CPUtime=0.29 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 20313 0 0 0 26 3 0 0 20 0 3 0 4816782 167067648 20989 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 40788 20989 2806 3035 0 25889 0
[pid=33333/tid=33381] ppid=33330 vsize=163152 memory=-5155635699691121541 CPUtime=0.04 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 5504 0 0 0 4 0 0 0 20 0 3 0 4816806 167067648 20989 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=163152 memory=-7522038826519393987 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4816808 167067648 20989 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 163152 KiB
Current children cumulated memory: 83956 KiB

[startup+0.700276 s]
/proc/loadavg: 4.16 4.17 4.09 5/269 33394
/proc/meminfo: memFree=121043352/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=173348 memory=106652 CPUtime=0.68 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 25980 0 0 0 65 3 0 0 20 0 3 0 4816782 177508352 26663 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 43337 26663 2950 3035 0 32091 0
[pid=33333/tid=33381] ppid=33330 vsize=173348 memory=5608 CPUtime=0.43 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 11150 0 0 0 42 1 0 0 20 0 3 0 4816806 177508352 26663 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=173348 memory=417 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4816808 177508352 26663 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 173348 KiB
Current children cumulated memory: 106652 KiB

[startup+1.50027 s]
/proc/loadavg: 4.16 4.17 4.09 5/269 33394
/proc/meminfo: memFree=121041560/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=176364 memory=123300 CPUtime=1.48 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 35603 0 0 0 143 5 0 0 20 0 3 0 4816782 180596736 30825 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 44091 30825 2950 3035 0 36327 0
[pid=33333/tid=33381] ppid=33330 vsize=176364 memory=417 CPUtime=1.23 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 20766 0 0 0 121 2 0 0 20 0 3 0 4816806 180596736 30825 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=176364 memory=0 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4816808 180596736 30825 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 176364 KiB
Current children cumulated memory: 123300 KiB

[startup+3.10575 s]
/proc/loadavg: 4.15 4.17 4.09 5/269 33394
/proc/meminfo: memFree=121016272/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=177392 memory=133520 CPUtime=3.07 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 38403 0 0 0 302 5 0 0 20 0 3 0 4816782 181649408 33380 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 44348 33380 2950 3035 0 39165 0
[pid=33333/tid=33381] ppid=33330 vsize=177392 memory=-5155635699691121541 CPUtime=2.83 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 23566 0 0 0 280 3 0 0 20 0 3 0 4816806 181649408 33380 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=177392 memory=0 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4816808 181649408 33380 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 177392 KiB
Current children cumulated memory: 133520 KiB

[startup+6.30024 s]
/proc/loadavg: 4.15 4.17 4.09 5/269 33394
/proc/meminfo: memFree=120773200/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=177392 memory=135548 CPUtime=6.26 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 44417 0 0 0 620 6 0 0 20 0 3 0 4816782 181649408 33887 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 44348 33887 2998 3035 0 39513 0
[pid=33333/tid=33381] ppid=33330 vsize=177392 memory=11584 CPUtime=6.02 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 29033 0 0 0 598 4 0 0 20 0 3 0 4816806 181649408 33887 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=177392 memory=11584 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4816808 181649408 33887 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 177392 KiB
Current children cumulated memory: 135548 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.16 4.09 6/270 33399
/proc/meminfo: memFree=118841568/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=242928 memory=148296 CPUtime=12.64 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 65215 0 0 0 1256 8 0 0 20 0 3 0 4816782 248758272 37074 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 60732 37074 3014 3035 0 42955 0
[pid=33333/tid=33381] ppid=33330 vsize=242928 memory=135328 CPUtime=12.4 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 49782 0 0 0 1234 6 0 0 20 0 3 0 4816806 248758272 37074 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=242928 memory=11584 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4816808 248758272 37074 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 242928 KiB
Current children cumulated memory: 148296 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.16 4.09 5/270 33401
/proc/meminfo: memFree=118668664/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=242928 memory=156512 CPUtime=25.41 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 83069 0 0 0 2531 10 0 0 20 0 3 0 4816782 248758272 39128 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 60732 39128 3014 3035 0 45034 0
[pid=33333/tid=33381] ppid=33330 vsize=242928 memory=156512 CPUtime=25.16 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 67569 0 0 0 2509 7 0 0 20 0 3 0 4816806 248758272 39128 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=242928 memory=12704 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4816808 248758272 39128 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 242928 KiB
Current children cumulated memory: 156512 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.16 4.09 5/270 33407
/proc/meminfo: memFree=118624904/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=242928 memory=156640 CPUtime=50.95 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 104039 0 0 0 5084 11 0 0 20 0 3 0 4816782 248758272 39160 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 60732 39160 3014 3035 0 45034 0
[pid=33333/tid=33381] ppid=33330 vsize=242928 memory=-7522038826519393987 CPUtime=50.7 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 88427 0 0 0 5062 8 0 0 20 0 3 0 4816806 248758272 39160 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=242928 memory=281284790494656 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 4816808 248758272 39160 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 242928 KiB
Current children cumulated memory: 156640 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.15 4.09 5/270 33416
/proc/meminfo: memFree=118596368/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=242928 memory=164660 CPUtime=101.99 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 144306 0 0 0 10186 13 0 0 20 0 3 0 4816782 248758272 41165 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 60732 41165 3014 3035 0 46840 0
[pid=33333/tid=33381] ppid=33330 vsize=242928 memory=163968 CPUtime=101.74 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 127465 0 0 0 10163 11 0 0 20 0 3 0 4816806 248758272 41165 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=242928 memory=163968 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 4816808 248758272 41165 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 242928 KiB
Current children cumulated memory: 164660 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/268 33472
/proc/meminfo: memFree=121120184/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=241900 memory=180936 CPUtime=161.79 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 177468 0 0 0 16162 17 0 0 20 0 3 0 4816782 247705600 45234 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 60475 45234 3318 3035 0 50641 0
[pid=33333/tid=33381] ppid=33330 vsize=241900 memory=174988 CPUtime=161.53 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 160551 0 0 0 16139 14 0 0 20 0 3 0 4816806 247705600 45234 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=241900 memory=11584 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 76 0 0 0 0 0 0 0 20 0 3 0 4816808 247705600 45234 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 241900 KiB
Current children cumulated memory: 180936 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.09 6/265 33484
/proc/meminfo: memFree=120863048/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=241900 memory=187188 CPUtime=221.57 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 202513 0 0 0 22138 19 0 0 20 0 3 0 4816782 247705600 46797 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 60475 46797 3318 3035 0 52220 0
[pid=33333/tid=33381] ppid=33330 vsize=241900 memory=182932 CPUtime=221.32 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 184985 0 0 0 22115 17 0 0 20 0 3 0 4816806 247705600 46797 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=241900 memory=11584 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 82 0 0 0 0 0 0 0 20 0 3 0 4816808 247705600 46797 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 241900 KiB
Current children cumulated memory: 187188 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/267 33497
/proc/meminfo: memFree=119014844/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=241900 memory=193204 CPUtime=281.35 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 219357 0 0 0 28112 23 0 0 20 0 3 0 4816782 247705600 48301 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 60475 48301 3318 3035 0 55752 0
[pid=33333/tid=33381] ppid=33330 vsize=241900 memory=11584 CPUtime=281.09 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 201784 0 0 0 28089 20 0 0 20 0 3 0 4816806 247705600 48301 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=241900 memory=11584 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 4816808 247705600 48301 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 241900 KiB
Current children cumulated memory: 193204 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 6/263 33507
/proc/meminfo: memFree=118962080/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=307436 memory=203552 CPUtime=341.19 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 236029 0 0 0 34093 26 0 0 20 0 3 0 4816782 314814464 50888 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 76859 50888 3318 3035 0 57176 0
[pid=33333/tid=33381] ppid=33330 vsize=307436 memory=193864 CPUtime=340.92 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 217894 0 0 0 34069 23 0 0 20 0 3 0 4816806 314814464 50888 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=307436 memory=203552 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 3 0 4816808 314814464 50888 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 307436 KiB
Current children cumulated memory: 203552 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 33518
/proc/meminfo: memFree=118037424/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=307436 memory=205320 CPUtime=401.01 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 250355 0 0 0 40073 28 0 0 20 0 3 0 4816782 314814464 51330 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 76859 51330 3318 3035 0 57525 0
[pid=33333/tid=33381] ppid=33330 vsize=307436 memory=11584 CPUtime=400.74 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 232176 0 0 0 40049 25 0 0 20 0 3 0 4816806 314814464 51330 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=307436 memory=203552 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 91 0 0 0 0 0 0 0 20 0 3 0 4816808 314814464 51330 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 307436 KiB
Current children cumulated memory: 205320 KiB

[startup+462.3 s]
/proc/loadavg: 4.46 4.22 4.13 6/263 33530
/proc/meminfo: memFree=118021624/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=307436 memory=208356 CPUtime=460.79 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 264569 0 0 0 46048 31 0 0 20 0 3 0 4816782 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 76859 52089 3318 3035 0 58098 0
[pid=33333/tid=33381] ppid=33330 vsize=307436 memory=12704 CPUtime=460.51 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 246340 0 0 0 46023 28 0 0 20 0 3 0 4816806 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=307436 memory=208356 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 4816808 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 460.79 s
Current children cumulated vsize: 307436 KiB
Current children cumulated memory: 208356 KiB

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

# cumulated CPU time of all completed processes:  user=468.672 s, system=0.33063 s

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

[startup+467.2 s]
/proc/loadavg: 4.42 4.21 4.12 6/263 33533
/proc/meminfo: memFree=118018688/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=307436 memory=208356 CPUtime=465.67 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 264673 0 0 0 46536 31 0 0 20 0 3 0 4816782 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 76859 52089 3318 3035 0 58098 0
[pid=33333/tid=33381] ppid=33330 vsize=307436 memory=208356 CPUtime=465.39 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 246444 0 0 0 46511 28 0 0 20 0 3 0 4816806 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=307436 memory=208356 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 4816808 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 465.67 s
Current children cumulated vsize: 307436 KiB
Current children cumulated memory: 208356 KiB

[startup+468.8 s]
/proc/loadavg: 4.42 4.21 4.12 5/263 33533
/proc/meminfo: memFree=118018340/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=307436 memory=208356 CPUtime=467.26 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 264699 0 0 0 46695 31 0 0 20 0 3 0 4816782 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 76859 52089 3318 3035 0 58098 0
[pid=33333/tid=33381] ppid=33330 vsize=307436 memory=208356 CPUtime=466.99 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 246470 0 0 0 46671 28 0 0 20 0 3 0 4816806 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=307436 memory=208356 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 4816808 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 467.26 s
Current children cumulated vsize: 307436 KiB
Current children cumulated memory: 208356 KiB

[startup+469.6 s]
/proc/loadavg: 4.42 4.21 4.12 6/263 33533
/proc/meminfo: memFree=118018332/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=307436 memory=208356 CPUtime=468.06 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 264707 0 0 0 46775 31 0 0 20 0 3 0 4816782 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 76859 52089 3318 3035 0 58098 0
[pid=33333/tid=33381] ppid=33330 vsize=307436 memory=12704 CPUtime=467.78 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 246478 0 0 0 46750 28 0 0 20 0 3 0 4816806 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=307436 memory=12672 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 4816808 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 468.06 s
Current children cumulated vsize: 307436 KiB
Current children cumulated memory: 208356 KiB

[startup+470 s]*
/proc/loadavg: 4.42 4.21 4.12 6/263 33533
/proc/meminfo: memFree=118018340/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=307436 memory=208356 CPUtime=468.46 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 264713 0 0 0 46815 31 0 0 20 0 3 0 4816782 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 76859 52089 3318 3035 0 58098 0
[pid=33333/tid=33381] ppid=33330 vsize=307436 memory=-5155630189231303557 CPUtime=468.19 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 246484 0 0 0 46791 28 0 0 20 0 3 0 4816806 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=307436 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 4816808 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 468.46 s
Current children cumulated vsize: 307436 KiB
Current children cumulated memory: 208356 KiB

[startup+470.4 s]
/proc/loadavg: 4.42 4.21 4.12 6/263 33533
/proc/meminfo: memFree=118018340/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=307436 memory=208356 CPUtime=468.86 cores=4,6
/proc/33333/stat : 33333 (fscip) S 33330 33333 30916 0 -1 1077936128 264727 0 0 0 46855 31 0 0 20 0 3 0 4816782 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 76859 52089 3318 3035 0 58098 0
[pid=33333/tid=33381] ppid=33330 vsize=307436 memory=208356 CPUtime=468.58 cores=4,6
/proc/33333/task/33381/stat : 33381 (fscip) R 33330 33333 30916 0 -1 4194368 246498 0 0 0 46830 28 0 0 20 0 3 0 4816806 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
[pid=33333/tid=33393] ppid=33330 vsize=307436 memory=12704 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 4816808 314814464 52089 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 468.86 s
Current children cumulated vsize: 307436 KiB
Current children cumulated memory: 208356 KiB

[startup+470.512 s]
/proc/loadavg: 4.42 4.21 4.12 6/263 33533
/proc/meminfo: memFree=118018340/131524600 swapFree=131071996/131071996
[pid=33333] ppid=33330 vsize=225612 memory=174304 CPUtime=468.98 cores=4,6
/proc/33333/stat : 33333 (fscip) R 33330 33333 30916 0 -1 4194304 271788 0 0 0 46866 32 0 0 20 0 2 0 4816782 231026688 43576 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
/proc/33333/statm: 56403 43576 3318 3035 0 52758 0
[pid=33333/tid=33393] ppid=33330 vsize=225612 memory=11584 CPUtime=0 cores=4,6
/proc/33333/task/33393/stat : 33393 (fscip) S 33330 33333 30916 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 2 0 4816808 231026688 43576 134679101440 4194304 16623229 140722780184240 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48570368 140722780185622 140722780185738 140722780185738 140722780192752 0
Current children cumulated CPU time: 468.98 s
Current children cumulated vsize: 225612 KiB
Current children cumulated memory: 174304 KiB

Child status: 0

Real time (s): 470.531
CPU time (s): 469.002
CPU user time (s): 468.672
CPU system time (s): 0.33063
CPU usage (%): 99.675
Max. virtual memory (cumulated for all children) (KiB): 307436
Max. memory (cumulated for all children) (KiB): 208356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 468.672
system time used= 0.33063
maximum resident set size= 208356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274691
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= 1247
involuntary context switches= 368


# summary of solver processes directly reported to runsolver:
#   pid: 33333
#   total CPU time (s): 469.002
#   total CPU user time (s): 468.672
#   total CPU system time (s): 0.33063

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.958622 second user time and 2.3363 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-31 01:30:12
IDJOB=4464212
IDBENCH=155602
IDSOLVER=3092
FILE ID=nodeC014/4464212-1722382212
RUNJOBID= nodeC014-1722378594-30927
SLURM_JOB_ID= 8249827
Free space on /tmp= 889968 MiB

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

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

MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52
RANDOM SEED=99795441

nodeC014.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		: 3668.716
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	: 7000.06
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		: 3683.480
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	: 7007.10
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		: 3613.887
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	: 7000.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.209
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	: 7007.10
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		: 3659.929
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	: 7000.06
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		: 3683.504
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	: 7007.10
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		: 3671.526
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	: 7000.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.060
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	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121139916 kB
MemAvailable:   124294808 kB
Buffers:           97672 kB
Cached:          3855140 kB
SwapCached:            0 kB
Active:           301344 kB
Inactive:        9516328 kB
Active(anon):       1524 kB
Inactive(anon):  5884676 kB
Active(file):     299820 kB
Inactive(file):  3631652 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             63448 kB
Writeback:             4 kB
AnonPages:       5861324 kB
Mapped:           122672 kB
Shmem:             21336 kB
KReclaimable:     126136 kB
Slab:             215204 kB
SReclaimable:     126136 kB
SUnreclaim:        89068 kB
KernelStack:        4240 kB
PageTables:        20672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4393992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9888 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1427456 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:      189140 kB
DirectMap2M:    10070016 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 889932 MiB
End job on nodeC014 at 2024-07-31 01:38:02