Trace number 4456637

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 NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02OPTIMUM 371.046 372.652

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/pedigree/
normalized-pedck1000_wcsp.wbo
MD5SUM1c46f022378038623af46a7f02f30d6d
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark6.20112
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6000
Total number of constraints126390
Number of soft constraints125390
Number of constraints which are clauses125390
Number of constraints which are cardinality constraints (but not clauses)1000
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint6
Top cost 791
Min constraint cost 1
Max constraint cost 791
Sum of constraints costs 96062990
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.99/1.05	c Default LC presolving (default).
0.99/1.05	c ** Before presolving: virtualMemUsedAtLc = 816720814, getVmSize() = 501907456, SCIPgetMemUsed() = 446515033, SCIPgetMemTotal() = 455750833, SCIPgetMemExternEstim() = 360969981
0.99/1.05	c ** set memory limit for presolving in LC to 8.79585e+12 for SCIP **
177.74/178.42	c ** Estimated virtualMemUsedAtSolver = 910553196, getVmSize() = 1078370304, SCIPgetMemUsed() = 823665502, SCIPgetMemTotal() = 1004859814, SCIPgetMemExternEstim() = 360969981
177.74/178.42	c ** set memory limit for solvers to 4.39802e+12 for each SCIP **
177.74/178.42	c Original Problem   :
177.74/178.42	c   Problem name     : instance-4456637-1721722628
177.74/178.42	c   Variables        : 131390 (131390 binary, 0 integer, 0 implicit integer, 0 continuous)
177.74/178.42	c   Constraints      : 251781
177.74/178.42	c   Objective sense  : minimize
177.74/178.42	c Presolved Problem  :
177.74/178.42	c   Variables        : 9950 (9950 binary, 0 integer, 0 implicit integer, 0 continuous)
177.74/178.42	c   Constraints      : 126416
177.74/178.42	c Constraints        : Number
177.74/178.42	c   knapsack         : 1 
177.74/178.42	c   setppc           : 1000 
177.74/178.42	c   linear           : 3950 
177.74/178.42	c   logicor          : 121440 
177.74/178.42	c   indicator        : 25 
177.74/178.42	c ** Instance transfer method used: 0
177.93/178.68	c ** ParaScipInstance copy does not increase the number of variables. **
178.13/178.87	c LC is working with racing ramp-up and with rebuilding tree after racing.
178.13/178.87	c                                Nodes    Active                                            
178.13/178.87	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
180.41/181.16	c *     181              0           1         1         720.0000                -          -
180.41/181.16	c       181              0           1         1         720.0000                -          -
180.60/181.36	c *     181              0           1         1         457.0000                -          -
202.83/203.61	c       204              2           1         1         457.0000          18.0267          -
209.40/210.25	c       210              5           4         1         457.0000          18.0267          -
216.56/217.46	c       217              7           6         1         457.0000          18.0267          -
223.92/224.83	c       225             10           9         1         457.0000          18.0267          -
230.20/231.12	c       231             12          11         1         457.0000          18.0267          -
235.66/236.67	c       237             16          15         1         457.0000          18.0267          -
242.33/243.32	c       243             22          21         1         457.0000          18.0267          -
248.70/249.75	c       250             26          25         1         457.0000          18.0267          -
254.66/255.74	c       256             37          36         1         457.0000          18.0267          -
261.34/262.41	c       262             39          38         1         457.0000          18.0267          -
267.40/268.57	c       269             45          44         1         457.0000          18.0267          -
273.18/274.34	c       274             52          51         1         457.0000          18.0267          -
278.15/279.35	c       279             57          56         1         457.0000          18.0267          -
283.52/284.73	c       285             65          64         1         457.0000          18.0267          -
288.60/289.83	c       290             68          67         1         457.0000          18.0267          -
294.87/296.13	c       296             72          71         1         457.0000          18.0267          -
303.82/305.11	c       305             78          77         1         457.0000          18.0267          -
309.08/310.45	c       310             86          83         1         457.0000          18.0267          -
319.94/321.35	c       321             93          90         1         457.0000          18.0267          -
325.11/326.55	c       327            100          95         1         457.0000          18.0267          -
331.27/332.79	c       333            108         103         1         457.0000          18.0267          -
332.16/333.63	c *     334            108         103         1          25.0000          18.0267     38.68%
337.25/338.75	c       339            119          31         1          25.0000          18.0267     38.68%
343.32/344.82	c       345            137          38         1          25.0000          18.0267     38.68%
350.48/352.00	c       352            153          42         1          25.0000          18.0267     38.68%
354.76/356.32	c *     356            163          44         1          24.0000          18.0267     33.14%
355.95/357.54	c       358            170          38         1          24.0000          18.0267     33.14%
356.35/357.96	c *     358            170          38         1          23.0000          18.0267     27.59%
361.44/363.07	c       363            207          42         1          23.0000          18.0267     27.59%
367.60/369.28	c       369            230          51         1          23.0000          18.0267     27.59%
368.49/370.14	c *     370            230          51         1          21.0000          18.0267     16.49%
369.09/370.75	c *     371            236          20         1          20.0000          18.0267     10.95%
369.88/371.51	c *     372            236          20         1          19.0000          18.0267      5.40%
369.88/371.53	c       372            239           0         0          19.0000          19.0000      0.00%
370.19/371.82	c       372            239           0         0          19.0000          19.0000          -
370.19/371.82	c SCIP Status        : c problem is solved
370.19/371.82	c Total Time         : 371.8200
370.19/371.82	c   solving          : 371.8200
370.19/371.82	c   presolving       : 177.3754 (included in solving)
370.19/371.82	c B&B Tree           :
370.19/371.82	c   nodes (total)    : 239
370.19/371.82	c Solution           :
370.19/371.82	c   Solutions found  : 8
370.19/371.82	c   Primal Bound     : +1.90000000000000e+01
370.19/371.82	c   Dual Bound       : +1.90000000000000e+01
370.19/371.82	c Gap                : 0.00000 %
370.29/371.97	o 19
370.29/371.97	s OPTIMUM FOUND
370.29/371.97	v -x6000 -x5999 x5998 -x5997 -x5996 -x5995 -x5994 -x5993 x5992 -x5991 -x5990 -x5989 -x5988 -x5987 x5986 -x5985 -x5984 -x5983 -x5982 
370.29/371.97	v -x5981 -x5980 -x5979 x5978 -x5977 -x5976 -x5975 x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 x5966 -x5965 -x5964 
370.29/371.97	v -x5963 x5962 -x5961 -x5960 -x5959 -x5958 -x5957 x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 x5948 -x5947 -x5946 -x5945 
370.29/371.97	v x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 x5936 -x5935 -x5934 -x5933 x5932 -x5931 -x5930 -x5929 -x5928 -x5927 
370.29/371.97	v x5926 -x5925 -x5924 -x5923 -x5922 -x5921 x5920 -x5919 -x5918 -x5917 -x5916 -x5915 x5914 -x5913 -x5912 -x5911 -x5910 -x5909 
370.29/371.97	v -x5908 -x5907 x5906 -x5905 -x5904 -x5903 x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 x5894 -x5893 -x5892 -x5891 
370.29/371.97	v x5890 -x5889 -x5888 -x5887 -x5886 -x5885 x5884 -x5883 -x5882 -x5881 -x5880 -x5879 x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 
370.29/371.97	v -x5871 x5870 -x5869 -x5868 -x5867 x5866 -x5865 -x5864 -x5863 -x5862 -x5861 x5860 -x5859 -x5858 -x5857 -x5856 -x5855 x5854 
370.29/371.97	v -x5853 -x5852 -x5851 -x5850 -x5849 x5848 -x5847 -x5846 -x5845 -x5844 -x5843 x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 
370.29/371.97	v -x5835 x5834 -x5833 -x5832 -x5831 -x5830 -x5829 x5828 -x5827 -x5826 -x5825 -x5824 -x5823 x5822 -x5821 -x5820 -x5819 x5818 -x5817 
370.29/371.97	v -x5816 -x5815 -x5814 -x5813 x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 x5804 -x5803 -x5802 -x5801 x5800 -x5799 
370.29/371.97	v -x5798 -x5797 -x5796 -x5795 x5794 -x5793 -x5792 -x5791 -x5790 -x5789 x5788 -x5787 -x5786 -x5785 -x5784 -x5783 x5782 -x5781 
370.29/371.97	v -x5780 -x5779 -x5778 -x5777 x5776 -x5775 -x5774 -x5773 -x5772 -x5771 x5770 -x5769 -x5768 -x5767 -x5766 -x5765 x5764 -x5763 -x5762 
370.29/371.97	v -x5761 -x5760 -x5759 x5758 -x5757 -x5756 -x5755 -x5754 -x5753 x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 x5744 
370.29/371.97	v -x5743 -x5742 -x5741 x5740 -x5739 -x5738 -x5737 -x5736 -x5735 x5734 -x5733 -x5732 -x5731 -x5730 -x5729 x5728 -x5727 -x5726 
370.29/371.97	v -x5725 -x5724 -x5723 x5722 -x5721 -x5720 -x5719 -x5718 -x5717 x5716 -x5715 -x5714 -x5713 -x5712 -x5711 x5710 -x5709 -x5708 
370.29/371.97	v -x5707 -x5706 -x5705 x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 x5696 -x5695 -x5694 -x5693 -x5692 -x5691 x5690 -x5689 
370.29/371.97	v -x5688 -x5687 x5686 -x5685 -x5684 -x5683 -x5682 -x5681 x5680 -x5679 -x5678 -x5677 -x5676 -x5675 x5674 -x5673 -x5672 -x5671 
370.29/371.97	v -x5670 -x5669 x5668 -x5667 -x5666 -x5665 -x5664 -x5663 x5662 -x5661 -x5660 -x5659 -x5658 -x5657 x5656 -x5655 -x5654 -x5653 
370.29/371.97	v -x5652 -x5651 x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 x5642 -x5641 -x5640 -x5639 x5638 -x5637 -x5636 -x5635 -x5634 
370.29/371.97	v -x5633 x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 x5623 -x5622 -x5621 x5620 -x5619 -x5618 -x5617 -x5616 
370.29/371.97	v -x5615 -x5614 -x5613 x5612 -x5611 -x5610 -x5609 x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 x5600 -x5599 -x5598 
370.29/371.97	v -x5597 -x5596 -x5595 -x5594 x5593 -x5592 -x5591 x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 x5582 -x5581 -x5580 
370.29/371.97	v -x5579 x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 x5569 -x5568 -x5567 -x5566 -x5565 x5564 -x5563 -x5562 -x5561 
370.29/371.97	v x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 x5552 -x5551 -x5550 -x5549 x5548 -x5547 -x5546 -x5545 -x5544 -x5543 
370.29/371.97	v x5542 -x5541 -x5540 -x5539 -x5538 -x5537 x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 x5528 -x5527 -x5526 -x5525 
370.29/371.97	v -x5524 -x5523 -x5522 x5521 -x5520 -x5519 x5518 -x5517 -x5516 -x5515 -x5514 -x5513 x5512 -x5511 -x5510 -x5509 -x5508 -x5507 x5506 
370.29/371.97	v -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 x5498 -x5497 -x5496 -x5495 -x5494 -x5493 x5492 -x5491 -x5490 -x5489 x5488 
370.29/371.97	v -x5487 -x5486 -x5485 -x5484 -x5483 x5482 -x5481 -x5480 -x5479 -x5478 -x5477 x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 
370.29/371.97	v -x5469 x5468 -x5467 -x5466 -x5465 x5464 -x5463 -x5462 -x5461 -x5460 -x5459 x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 
370.29/371.97	v -x5451 x5450 -x5449 -x5448 -x5447 -x5446 -x5445 x5444 -x5443 -x5442 -x5441 x5440 -x5439 -x5438 -x5437 -x5436 -x5435 x5434 -x5433 
370.29/371.97	v -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 x5426 -x5425 -x5424 -x5423 x5422 -x5421 -x5420 -x5419 -x5418 -x5417 x5416 -x5415 
370.29/371.97	v -x5414 -x5413 -x5412 -x5411 x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 x5401 -x5400 -x5399 x5398 -x5397 
370.29/371.97	v -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 x5390 -x5389 -x5388 -x5387 x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 x5378 
370.29/371.97	v -x5377 -x5376 -x5375 x5374 -x5373 -x5372 -x5371 -x5370 -x5369 x5368 -x5367 -x5366 -x5365 -x5364 -x5363 x5362 -x5361 -x5360 
370.29/371.97	v -x5359 -x5358 -x5357 -x5356 -x5355 x5354 -x5353 -x5352 -x5351 -x5350 -x5349 x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 
370.29/371.97	v x5341 -x5340 -x5339 x5338 -x5337 -x5336 -x5335 -x5334 -x5333 x5332 -x5331 -x5330 -x5329 -x5328 -x5327 x5326 -x5325 -x5324 -x5323 
370.29/371.97	v -x5322 -x5321 -x5320 -x5319 x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 x5311 -x5310 -x5309 -x5308 -x5307 x5306 -x5305 
370.29/371.97	v -x5304 -x5303 x5302 -x5301 -x5300 -x5299 -x5298 -x5297 x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 x5288 -x5287 
370.29/371.97	v -x5286 -x5285 x5284 -x5283 -x5282 -x5281 -x5280 -x5279 x5278 -x5277 -x5276 -x5275 -x5274 -x5273 x5272 -x5271 -x5270 -x5269 
370.29/371.97	v -x5268 -x5267 x5266 -x5265 -x5264 -x5263 -x5262 -x5261 x5260 -x5259 -x5258 -x5257 -x5256 -x5255 x5254 -x5253 -x5252 -x5251 -x5250 
370.29/371.97	v -x5249 x5248 -x5247 -x5246 -x5245 -x5244 -x5243 x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 x5234 -x5233 -x5232 
370.29/371.97	v -x5231 -x5230 -x5229 x5228 -x5227 -x5226 -x5225 x5224 -x5223 -x5222 -x5221 -x5220 -x5219 x5218 -x5217 -x5216 -x5215 -x5214 
370.29/371.97	v -x5213 x5212 -x5211 -x5210 -x5209 -x5208 -x5207 x5206 -x5205 -x5204 -x5203 -x5202 -x5201 x5200 -x5199 -x5198 -x5197 -x5196 -x5195 
370.29/371.97	v -x5194 -x5193 x5192 -x5191 -x5190 -x5189 -x5188 -x5187 x5186 -x5185 -x5184 -x5183 x5182 -x5181 -x5180 -x5179 -x5178 -x5177 
370.29/371.97	v -x5176 -x5175 x5174 -x5173 -x5172 -x5171 x5170 -x5169 -x5168 -x5167 -x5166 -x5165 x5164 -x5163 -x5162 -x5161 -x5160 -x5159 
370.29/371.97	v x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 x5150 -x5149 -x5148 -x5147 x5146 -x5145 -x5144 -x5143 -x5142 -x5141 
370.29/371.97	v x5140 -x5139 -x5138 -x5137 -x5136 -x5135 x5134 -x5133 -x5132 -x5131 -x5130 -x5129 x5128 -x5127 -x5126 -x5125 -x5124 -x5123 x5122 
370.29/371.97	v -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 x5114 -x5113 -x5112 -x5111 -x5110 -x5109 x5108 -x5107 -x5106 -x5105 -x5104 
370.29/371.97	v -x5103 x5102 -x5101 -x5100 -x5099 x5098 -x5097 -x5096 -x5095 -x5094 -x5093 x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 
370.29/371.97	v -x5085 x5084 -x5083 -x5082 -x5081 x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 x5072 -x5071 -x5070 -x5069 -x5068 -x5067 
370.29/371.97	v x5066 -x5065 -x5064 -x5063 x5062 -x5061 -x5060 -x5059 -x5058 -x5057 x5056 -x5055 -x5054 -x5053 -x5052 -x5051 x5050 -x5049 
370.29/371.97	v -x5048 -x5047 -x5046 -x5045 x5044 -x5043 -x5042 -x5041 -x5040 -x5039 x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 
370.29/371.97	v x5030 -x5029 -x5028 -x5027 -x5026 -x5025 x5024 -x5023 -x5022 -x5021 -x5020 -x5019 x5018 -x5017 -x5016 -x5015 -x5014 -x5013 
370.29/371.97	v x5012 -x5011 -x5010 -x5009 -x5008 -x5007 x5006 -x5005 -x5004 -x5003 -x5002 -x5001 x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 
370.29/371.97	v x4993 -x4992 -x4991 x4990 -x4989 -x4988 -x4987 -x4986 -x4985 x4984 -x4983 -x4982 -x4981 -x4980 -x4979 x4978 -x4977 -x4976 
370.29/371.97	v -x4975 -x4974 -x4973 x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 x4964 -x4963 -x4962 -x4961 -x4960 -x4959 x4958 
370.29/371.97	v -x4957 -x4956 -x4955 x4954 -x4953 -x4952 -x4951 -x4950 -x4949 x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 x4940 -x4939 
370.29/371.97	v -x4938 -x4937 x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 x4927 -x4926 -x4925 -x4924 -x4923 x4922 -x4921 
370.29/371.97	v -x4920 -x4919 -x4918 -x4917 x4916 -x4915 -x4914 -x4913 -x4912 -x4911 x4910 -x4909 -x4908 -x4907 x4906 -x4905 -x4904 -x4903 
370.29/371.97	v -x4902 -x4901 x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 x4892 -x4891 -x4890 -x4889 -x4888 -x4887 x4886 -x4885 -x4884 
370.29/371.97	v -x4883 x4882 -x4881 -x4880 -x4879 -x4878 -x4877 x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 x4868 -x4867 -x4866 
370.29/371.97	v -x4865 x4864 -x4863 -x4862 -x4861 -x4860 -x4859 x4858 -x4857 -x4856 -x4855 -x4854 -x4853 x4852 -x4851 -x4850 -x4849 -x4848 
370.29/371.97	v -x4847 x4846 -x4845 -x4844 -x4843 -x4842 -x4841 x4840 -x4839 -x4838 -x4837 -x4836 -x4835 x4834 -x4833 -x4832 -x4831 -x4830 
370.29/371.97	v -x4829 x4828 -x4827 -x4826 -x4825 -x4824 -x4823 x4822 -x4821 -x4820 -x4819 -x4818 -x4817 x4816 -x4815 -x4814 -x4813 -x4812 -x4811 
370.29/371.97	v x4810 -x4809 -x4808 -x4807 -x4806 -x4805 x4804 -x4803 -x4802 -x4801 -x4800 -x4799 x4798 -x4797 -x4796 -x4795 -x4794 -x4793 
370.29/371.97	v x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 x4784 -x4783 -x4782 -x4781 -x4780 -x4779 x4778 -x4777 -x4776 -x4775 
370.29/371.97	v x4774 -x4773 -x4772 -x4771 -x4770 -x4769 x4768 -x4767 -x4766 -x4765 -x4764 -x4763 x4762 -x4761 -x4760 -x4759 -x4758 -x4757 x4756 
370.29/371.97	v -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 x4747 -x4746 -x4745 -x4744 -x4743 -x4742 x4741 -x4740 -x4739 x4738 
370.29/371.97	v -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 x4730 -x4729 -x4728 -x4727 x4726 -x4725 -x4724 -x4723 -x4722 -x4721 x4720 
370.29/371.97	v -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 x4712 -x4711 -x4710 -x4709 -x4708 -x4707 x4706 -x4705 -x4704 -x4703 x4702 -x4701 
370.29/371.97	v -x4700 -x4699 -x4698 -x4697 x4696 -x4695 -x4694 -x4693 -x4692 -x4691 x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 
370.29/371.97	v x4682 -x4681 -x4680 -x4679 x4678 -x4677 -x4676 -x4675 -x4674 -x4673 x4672 -x4671 -x4670 -x4669 -x4668 -x4667 x4666 -x4665 
370.29/371.97	v -x4664 -x4663 -x4662 -x4661 x4660 -x4659 -x4658 -x4657 -x4656 -x4655 x4654 -x4653 -x4652 -x4651 -x4650 -x4649 x4648 -x4647 
370.29/371.97	v -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 x4640 -x4639 -x4638 -x4637 x4636 -x4635 -x4634 -x4633 -x4632 -x4631 x4630 -x4629 -x4628 
370.29/371.97	v -x4627 -x4626 -x4625 -x4624 -x4623 x4622 -x4621 -x4620 -x4619 x4618 -x4617 -x4616 -x4615 -x4614 -x4613 x4612 -x4611 -x4610 
370.29/371.97	v -x4609 -x4608 -x4607 -x4606 -x4605 x4604 -x4603 -x4602 -x4601 -x4600 -x4599 x4598 -x4597 -x4596 -x4595 -x4594 -x4593 x4592 
370.29/371.97	v -x4591 -x4590 -x4589 -x4588 -x4587 x4586 -x4585 -x4584 -x4583 x4582 -x4581 -x4580 -x4579 -x4578 -x4577 x4576 -x4575 -x4574 -x4573 
370.29/371.97	v -x4572 -x4571 -x4570 -x4569 x4568 -x4567 -x4566 -x4565 -x4564 -x4563 x4562 -x4561 -x4560 -x4559 -x4558 -x4557 x4556 -x4555 
370.29/371.97	v -x4554 -x4553 -x4552 -x4551 x4550 -x4549 -x4548 -x4547 x4546 -x4545 -x4544 -x4543 -x4542 -x4541 x4540 -x4539 -x4538 -x4537 
370.29/371.97	v -x4536 -x4535 x4534 -x4533 -x4532 -x4531 -x4530 -x4529 x4528 -x4527 -x4526 -x4525 -x4524 -x4523 x4522 -x4521 -x4520 -x4519 
370.29/371.97	v -x4518 -x4517 -x4516 -x4515 x4514 -x4513 -x4512 -x4511 x4510 -x4509 -x4508 -x4507 -x4506 -x4505 x4504 -x4503 -x4502 -x4501 -x4500 
370.29/371.97	v -x4499 x4498 -x4497 -x4496 -x4495 -x4494 -x4493 x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 x4483 -x4482 
370.29/371.97	v -x4481 x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 x4472 -x4471 -x4470 -x4469 x4468 -x4467 -x4466 -x4465 -x4464 
370.29/371.97	v -x4463 -x4462 -x4461 x4460 -x4459 -x4458 -x4457 -x4456 -x4455 x4454 -x4453 -x4452 -x4451 -x4450 -x4449 x4448 -x4447 -x4446 -x4445 
370.29/371.97	v x4444 -x4443 -x4442 -x4441 -x4440 -x4439 x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 x4430 -x4429 -x4428 -x4427 
370.29/371.97	v x4426 -x4425 -x4424 -x4423 -x4422 -x4421 x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 x4412 -x4411 -x4410 -x4409 
370.29/371.97	v x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 x4400 -x4399 -x4398 -x4397 x4396 -x4395 -x4394 -x4393 -x4392 -x4391 
370.29/371.97	v x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 x4382 -x4381 -x4380 -x4379 -x4378 -x4377 x4376 -x4375 -x4374 -x4373 -x4372 
370.29/371.97	v -x4371 x4370 -x4369 -x4368 -x4367 x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 x4358 -x4357 -x4356 -x4355 -x4354 
370.29/371.97	v -x4353 x4352 -x4351 -x4350 -x4349 -x4348 -x4347 x4346 -x4345 -x4344 -x4343 -x4342 -x4341 x4340 -x4339 -x4338 -x4337 x4336 
370.29/371.97	v -x4335 -x4334 -x4333 -x4332 -x4331 x4330 -x4329 -x4328 -x4327 -x4326 -x4325 x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 
370.29/371.97	v x4316 -x4315 -x4314 -x4313 x4312 -x4311 -x4310 -x4309 -x4308 -x4307 x4306 -x4305 -x4304 -x4303 -x4302 -x4301 x4300 -x4299 
370.29/371.97	v -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 x4292 -x4291 -x4290 -x4289 -x4288 -x4287 x4286 -x4285 -x4284 -x4283 -x4282 -x4281 
370.29/371.97	v x4280 -x4279 -x4278 -x4277 -x4276 -x4275 x4274 -x4273 -x4272 -x4271 x4270 -x4269 -x4268 -x4267 -x4266 -x4265 x4264 -x4263 -x4262 
370.29/371.97	v -x4261 -x4260 -x4259 x4258 -x4257 -x4256 -x4255 -x4254 -x4253 x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 
370.29/371.97	v x4243 -x4242 -x4241 x4240 -x4239 -x4238 -x4237 -x4236 -x4235 x4234 -x4233 -x4232 -x4231 -x4230 -x4229 x4228 -x4227 -x4226 
370.29/371.97	v -x4225 -x4224 -x4223 x4222 -x4221 -x4220 -x4219 -x4218 -x4217 x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 
370.29/371.97	v x4207 -x4206 -x4205 -x4204 -x4203 x4202 -x4201 -x4200 -x4199 -x4198 -x4197 x4196 -x4195 -x4194 -x4193 x4192 -x4191 -x4190 -x4189 
370.29/371.97	v -x4188 -x4187 -x4186 -x4185 x4184 -x4183 -x4182 -x4181 x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 x4172 -x4171 
370.29/371.97	v -x4170 -x4169 -x4168 -x4167 x4166 -x4165 -x4164 -x4163 x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 x4154 -x4153 
370.29/371.97	v -x4152 -x4151 -x4150 -x4149 x4148 -x4147 -x4146 -x4145 x4144 -x4143 -x4142 -x4141 -x4140 -x4139 x4138 -x4137 -x4136 -x4135 -x4134 
370.29/371.97	v -x4133 -x4132 -x4131 x4130 -x4129 -x4128 -x4127 -x4126 -x4125 x4124 -x4123 -x4122 -x4121 -x4120 -x4119 x4118 -x4117 -x4116 
370.29/371.97	v -x4115 x4114 -x4113 -x4112 -x4111 -x4110 -x4109 x4108 -x4107 -x4106 -x4105 -x4104 -x4103 x4102 -x4101 -x4100 -x4099 -x4098 
370.29/371.97	v -x4097 x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 x4088 -x4087 -x4086 -x4085 -x4084 -x4083 x4082 -x4081 -x4080 
370.29/371.97	v -x4079 x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 x4070 -x4069 -x4068 -x4067 -x4066 -x4065 x4064 -x4063 -x4062 -x4061 
370.29/371.97	v -x4060 -x4059 x4058 -x4057 -x4056 -x4055 x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 x4046 -x4045 -x4044 -x4043 
370.29/371.97	v -x4042 -x4041 x4040 -x4039 -x4038 -x4037 x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 x4028 -x4027 -x4026 -x4025 
370.29/371.97	v -x4024 -x4023 x4022 -x4021 -x4020 -x4019 x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 x4010 -x4009 -x4008 -x4007 -x4006 
370.29/371.97	v -x4005 x4004 -x4003 -x4002 -x4001 -x4000 -x3999 x3998 -x3997 -x3996 -x3995 -x3994 -x3993 x3992 -x3991 -x3990 -x3989 x3988 
370.29/371.97	v -x3987 -x3986 -x3985 -x3984 -x3983 x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 x3974 -x3973 -x3972 -x3971 x3970 
370.29/371.97	v -x3969 -x3968 -x3967 -x3966 -x3965 x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 x3956 -x3955 -x3954 -x3953 -x3952 
370.29/371.97	v -x3951 x3950 -x3949 -x3948 -x3947 -x3946 -x3945 x3944 -x3943 -x3942 -x3941 -x3940 -x3939 x3938 -x3937 -x3936 -x3935 x3934 -x3933 
370.29/371.97	v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 x3926 -x3925 -x3924 -x3923 x3922 -x3921 -x3920 -x3919 -x3918 x3917 -x3916 -x3915 
370.29/371.97	v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 x3908 -x3907 -x3906 -x3905 x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 
370.29/371.97	v x3896 -x3895 -x3894 -x3893 -x3892 -x3891 x3890 -x3889 -x3888 -x3887 x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 x3878 
370.29/371.97	v -x3877 -x3876 -x3875 -x3874 -x3873 x3872 -x3871 -x3870 -x3869 x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 
370.29/371.97	v x3859 -x3858 -x3857 -x3856 -x3855 x3854 -x3853 -x3852 -x3851 -x3850 -x3849 x3848 -x3847 -x3846 -x3845 x3844 -x3843 -x3842 
370.29/371.97	v -x3841 -x3840 -x3839 x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 x3830 -x3829 -x3828 -x3827 x3826 -x3825 -x3824 -x3823 
370.29/371.97	v -x3822 -x3821 x3820 -x3819 -x3818 -x3817 -x3816 -x3815 x3814 -x3813 -x3812 -x3811 -x3810 -x3809 x3808 -x3807 -x3806 -x3805 
370.29/371.97	v -x3804 -x3803 x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 x3794 -x3793 -x3792 -x3791 x3790 -x3789 -x3788 -x3787 
370.29/371.97	v -x3786 -x3785 -x3784 -x3783 -x3782 x3781 -x3780 -x3779 -x3778 -x3777 -x3776 x3775 -x3774 -x3773 -x3772 -x3771 -x3770 x3769 
370.29/371.97	v -x3768 -x3767 -x3766 -x3765 -x3764 x3763 -x3762 -x3761 x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 x3752 -x3751 -x3750 
370.29/371.97	v -x3749 x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 x3740 -x3739 -x3738 -x3737 -x3736 -x3735 x3734 -x3733 -x3732 
370.29/371.97	v -x3731 -x3730 -x3729 x3728 -x3727 -x3726 -x3725 x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 x3716 -x3715 -x3714 
370.29/371.97	v -x3713 -x3712 -x3711 x3710 -x3709 -x3708 -x3707 -x3706 -x3705 x3704 -x3703 -x3702 -x3701 -x3700 -x3699 x3698 -x3697 -x3696 -x3695 
370.29/371.97	v x3694 -x3693 -x3692 -x3691 -x3690 -x3689 x3688 -x3687 -x3686 -x3685 -x3684 -x3683 x3682 -x3681 -x3680 -x3679 -x3678 -x3677 
370.29/371.97	v x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 x3668 -x3667 -x3666 -x3665 -x3664 -x3663 x3662 -x3661 -x3660 -x3659 
370.29/371.97	v x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 x3650 -x3649 -x3648 -x3647 x3646 -x3645 -x3644 -x3643 -x3642 -x3641 
370.29/371.97	v x3640 -x3639 -x3638 -x3637 -x3636 -x3635 x3634 -x3633 -x3632 -x3631 -x3630 -x3629 x3628 -x3627 -x3626 -x3625 -x3624 -x3623 x3622 
370.29/371.97	v -x3621 -x3620 -x3619 -x3618 -x3617 x3616 -x3615 -x3614 -x3613 -x3612 -x3611 x3610 -x3609 -x3608 -x3607 -x3606 -x3605 x3604 
370.29/371.97	v -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 x3596 -x3595 -x3594 -x3593 x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 
370.29/371.97	v -x3585 x3584 -x3583 -x3582 -x3581 x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 x3572 -x3571 -x3570 -x3569 x3568 -x3567 
370.29/371.97	v -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 x3560 -x3559 -x3558 -x3557 -x3556 -x3555 x3554 -x3553 -x3552 -x3551 x3550 -x3549 
370.29/371.97	v -x3548 -x3547 -x3546 -x3545 x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 x3536 -x3535 -x3534 -x3533 -x3532 -x3531 
370.29/371.97	v x3530 -x3529 -x3528 -x3527 -x3526 -x3525 x3524 -x3523 -x3522 -x3521 -x3520 -x3519 x3518 -x3517 -x3516 -x3515 x3514 -x3513 -x3512 
370.29/371.97	v -x3511 -x3510 -x3509 -x3508 -x3507 x3506 -x3505 -x3504 -x3503 x3502 -x3501 -x3500 -x3499 -x3498 -x3497 x3496 -x3495 -x3494 
370.29/371.97	v -x3493 -x3492 -x3491 -x3490 -x3489 x3488 -x3487 -x3486 -x3485 x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 x3476 
370.29/371.97	v -x3475 -x3474 -x3473 x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 x3463 -x3462 -x3461 -x3460 -x3459 x3458 
370.29/371.97	v -x3457 -x3456 -x3455 -x3454 -x3453 x3452 -x3451 -x3450 -x3449 -x3448 -x3447 x3446 -x3445 -x3444 -x3443 x3442 -x3441 -x3440 -x3439 
370.29/371.97	v -x3438 -x3437 -x3436 -x3435 x3434 -x3433 -x3432 -x3431 x3430 -x3429 -x3428 -x3427 -x3426 -x3425 x3424 -x3423 -x3422 -x3421 
370.29/371.97	v -x3420 -x3419 -x3418 -x3417 x3416 -x3415 -x3414 -x3413 x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 x3404 -x3403 
370.29/371.97	v -x3402 -x3401 -x3400 -x3399 x3398 -x3397 -x3396 -x3395 x3394 -x3393 -x3392 -x3391 -x3390 -x3389 x3388 -x3387 -x3386 -x3385 -x3384 
370.29/371.97	v -x3383 -x3382 -x3381 x3380 -x3379 -x3378 -x3377 x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 x3368 -x3367 -x3366 
370.29/371.97	v -x3365 -x3364 -x3363 x3362 -x3361 -x3360 -x3359 x3358 -x3357 -x3356 -x3355 -x3354 -x3353 x3352 -x3351 -x3350 -x3349 -x3348 
370.29/371.97	v -x3347 -x3346 -x3345 x3344 -x3343 -x3342 -x3341 -x3340 -x3339 x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 x3331 -x3330 
370.29/371.97	v -x3329 -x3328 -x3327 x3326 -x3325 -x3324 -x3323 x3322 -x3321 -x3320 -x3319 -x3318 -x3317 x3316 -x3315 -x3314 -x3313 -x3312 -x3311 
370.29/371.97	v x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 x3302 -x3301 -x3300 -x3299 x3298 -x3297 -x3296 -x3295 -x3294 -x3293 
370.29/371.97	v x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 x3284 -x3283 -x3282 -x3281 -x3280 -x3279 x3278 -x3277 -x3276 -x3275 
370.29/371.97	v -x3274 -x3273 x3272 -x3271 -x3270 -x3269 -x3268 -x3267 x3266 -x3265 -x3264 -x3263 x3262 -x3261 -x3260 -x3259 -x3258 -x3257 x3256 
370.29/371.97	v -x3255 -x3254 -x3253 -x3252 -x3251 x3250 -x3249 -x3248 -x3247 -x3246 -x3245 x3244 -x3243 -x3242 -x3241 -x3240 -x3239 x3238 
370.29/371.97	v -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 x3230 -x3229 -x3228 -x3227 x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 
370.29/371.97	v -x3219 -x3218 x3217 -x3216 -x3215 x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 x3206 -x3205 -x3204 -x3203 -x3202 
370.29/371.97	v -x3201 x3200 -x3199 -x3198 x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 x3188 -x3187 -x3186 -x3185 x3184 -x3183 
370.29/371.97	v -x3182 -x3181 -x3180 -x3179 x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 x3170 -x3169 -x3168 -x3167 x3166 -x3165 
370.29/371.97	v -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 x3158 -x3157 -x3156 -x3155 -x3154 -x3153 x3152 -x3151 -x3150 -x3149 -x3148 -x3147 
370.29/371.97	v x3146 -x3145 -x3144 -x3143 -x3142 -x3141 x3140 -x3139 -x3138 -x3137 -x3136 -x3135 x3134 -x3133 -x3132 -x3131 x3130 -x3129 -x3128 
370.29/371.97	v -x3127 -x3126 -x3125 -x3124 -x3123 x3122 -x3121 -x3120 -x3119 x3118 -x3117 -x3116 -x3115 -x3114 -x3113 x3112 -x3111 -x3110 
370.29/371.97	v -x3109 -x3108 -x3107 x3106 -x3105 -x3104 -x3103 -x3102 -x3101 x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 x3092 
370.29/371.97	v -x3091 -x3090 -x3089 x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 x3080 -x3079 -x3078 -x3077 -x3076 -x3075 x3074 -x3073 
370.29/371.97	v -x3072 -x3071 -x3070 -x3069 -x3068 x3067 -x3066 -x3065 x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 x3056 -x3055 
370.29/371.97	v -x3054 -x3053 x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 x3037 
370.29/371.97	v -x3036 -x3035 x3034 -x3033 -x3032 -x3031 -x3030 -x3029 x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 x3020 -x3019 
370.29/371.97	v -x3018 -x3017 -x3016 -x3015 x3014 -x3013 -x3012 -x3011 -x3010 -x3009 x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 x3001 -x3000 
370.29/371.97	v -x2999 -x2998 -x2997 x2996 -x2995 -x2994 -x2993 x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 x2984 -x2983 -x2982 
370.29/371.97	v -x2981 -x2980 -x2979 x2978 -x2977 -x2976 -x2975 x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 x2965 -x2964 
370.29/371.97	v -x2963 x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 x2954 -x2953 -x2952 -x2951 -x2950 -x2949 x2948 -x2947 -x2946 -x2945 
370.29/371.97	v -x2944 -x2943 -x2942 x2941 -x2940 x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 x2932 -x2931 -x2930 -x2929 -x2928 -x2927 
370.29/371.97	v -x2926 -x2925 x2924 -x2923 -x2922 -x2921 -x2920 -x2919 x2918 -x2917 -x2916 -x2915 x2914 -x2913 -x2912 -x2911 -x2910 -x2909 
370.29/371.97	v -x2908 -x2907 x2906 -x2905 -x2904 -x2903 x2902 -x2901 -x2900 -x2899 -x2898 -x2897 x2896 -x2895 -x2894 -x2893 -x2892 -x2891 
370.29/371.97	v x2890 -x2889 -x2888 -x2887 -x2886 -x2885 x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 x2876 -x2875 -x2874 -x2873 x2872 
370.29/371.97	v -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 x2864 -x2863 -x2862 -x2861 -x2860 -x2859 x2858 -x2857 -x2856 -x2855 x2854 
370.29/371.97	v -x2853 -x2852 -x2851 -x2850 -x2849 x2848 -x2847 -x2846 -x2845 -x2844 -x2843 x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 
370.29/371.97	v -x2835 x2834 -x2833 -x2832 -x2831 x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 x2822 -x2821 -x2820 -x2819 -x2818 -x2817 
370.29/371.97	v x2816 -x2815 -x2814 -x2813 x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 x2804 -x2803 -x2802 -x2801 -x2800 -x2799 
370.29/371.97	v x2798 -x2797 -x2796 -x2795 x2794 -x2793 -x2792 -x2791 -x2790 -x2789 x2788 -x2787 -x2786 -x2785 -x2784 -x2783 x2782 -x2781 
370.29/371.97	v -x2780 -x2779 -x2778 -x2777 x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 x2768 -x2767 -x2766 -x2765 x2764 -x2763 -x2762 
370.29/371.97	v -x2761 -x2760 -x2759 -x2758 -x2757 x2756 -x2755 -x2754 -x2753 -x2752 -x2751 x2750 -x2749 -x2748 -x2747 x2746 -x2745 -x2744 
370.29/371.97	v -x2743 -x2742 -x2741 -x2740 -x2739 x2738 -x2737 -x2736 -x2735 -x2734 -x2733 x2732 -x2731 -x2730 -x2729 -x2728 -x2727 x2726 
370.29/371.97	v -x2725 -x2724 -x2723 x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 x2714 -x2713 -x2712 -x2711 -x2710 -x2709 x2708 
370.29/371.97	v -x2707 -x2706 -x2705 x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 x2696 -x2695 -x2694 -x2693 x2692 -x2691 -x2690 -x2689 
370.29/371.97	v -x2688 -x2687 -x2686 -x2685 x2684 -x2683 -x2682 -x2681 -x2680 -x2679 x2678 -x2677 -x2676 -x2675 -x2674 -x2673 x2672 -x2671 
370.29/371.97	v -x2670 -x2669 x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 x2660 -x2659 -x2658 -x2657 x2656 -x2655 -x2654 -x2653 
370.29/371.97	v -x2652 -x2651 -x2650 -x2649 x2648 -x2647 -x2646 -x2645 -x2644 -x2643 x2642 -x2641 -x2640 -x2639 -x2638 -x2637 x2636 -x2635 -x2634 
370.29/371.97	v -x2633 -x2632 -x2631 x2630 -x2629 -x2628 -x2627 x2626 -x2625 -x2624 -x2623 -x2622 -x2621 x2620 -x2619 -x2618 -x2617 -x2616 
370.29/371.97	v -x2615 x2614 -x2613 -x2612 -x2611 -x2610 -x2609 x2608 -x2607 -x2606 -x2605 -x2604 -x2603 x2602 -x2601 -x2600 -x2599 -x2598 
370.29/371.97	v -x2597 x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 x2588 -x2587 -x2586 -x2585 x2584 -x2583 -x2582 -x2581 -x2580 
370.29/371.97	v -x2579 -x2578 -x2577 x2576 -x2575 -x2574 -x2573 -x2572 -x2571 x2570 -x2569 -x2568 -x2567 -x2566 -x2565 x2564 -x2563 -x2562 -x2561 
370.29/371.97	v x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 x2552 -x2551 -x2550 -x2549 x2548 -x2547 -x2546 -x2545 -x2544 -x2543 
370.29/371.97	v -x2542 -x2541 x2540 -x2539 -x2538 -x2537 -x2536 -x2535 x2534 -x2533 -x2532 -x2531 x2530 -x2529 -x2528 -x2527 -x2526 -x2525 
370.29/371.97	v -x2524 -x2523 x2522 -x2521 -x2520 -x2519 x2518 -x2517 -x2516 -x2515 -x2514 -x2513 x2512 -x2511 -x2510 -x2509 -x2508 -x2507 x2506 
370.29/371.97	v -x2505 -x2504 -x2503 -x2502 -x2501 x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 x2492 -x2491 -x2490 -x2489 -x2488 
370.29/371.97	v -x2487 x2486 -x2485 -x2484 -x2483 -x2482 -x2481 x2480 -x2479 -x2478 -x2477 x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 
370.29/371.97	v -x2469 -x2468 x2467 -x2466 -x2465 -x2464 -x2463 -x2462 x2461 -x2460 -x2459 -x2458 -x2457 x2456 -x2455 -x2454 -x2453 -x2452 
370.29/371.97	v -x2451 x2450 -x2449 -x2448 -x2447 -x2446 -x2445 x2444 -x2443 -x2442 -x2441 x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 
370.29/371.97	v x2432 -x2431 -x2430 -x2429 -x2428 -x2427 x2426 -x2425 -x2424 -x2423 x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 
370.29/371.97	v x2414 -x2413 -x2412 x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 x2402 -x2401 -x2400 -x2399 x2398 -x2397 
370.29/371.97	v -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 x2390 -x2389 -x2388 -x2387 x2386 -x2385 -x2384 -x2383 -x2382 -x2381 x2380 -x2379 -x2378 
370.29/371.97	v -x2377 -x2376 -x2375 -x2374 -x2373 x2372 -x2371 -x2370 -x2369 x2368 -x2367 -x2366 -x2365 -x2364 -x2363 x2362 -x2361 -x2360 
370.29/371.97	v -x2359 -x2358 -x2357 -x2356 -x2355 x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 x2347 -x2346 -x2345 x2344 -x2343 -x2342 
370.29/371.97	v -x2341 -x2340 -x2339 -x2338 -x2337 x2336 -x2335 -x2334 -x2333 x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 x2324 -x2323 
370.29/371.97	v -x2322 -x2321 -x2320 -x2319 x2318 -x2317 -x2316 -x2315 x2314 -x2313 -x2312 -x2311 -x2310 -x2309 x2308 -x2307 -x2306 -x2305 
370.29/371.97	v -x2304 -x2303 x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 x2287 
370.29/371.97	v -x2286 -x2285 -x2284 -x2283 -x2282 x2281 -x2280 -x2279 x2278 -x2277 -x2276 -x2275 -x2274 -x2273 x2272 -x2271 -x2270 -x2269 
370.29/371.97	v -x2268 -x2267 -x2266 -x2265 x2264 -x2263 -x2262 -x2261 -x2260 -x2259 x2258 -x2257 -x2256 -x2255 -x2254 -x2253 x2252 -x2251 -x2250 
370.29/371.97	v -x2249 x2248 -x2247 -x2246 -x2245 -x2244 -x2243 x2242 -x2241 -x2240 -x2239 -x2238 -x2237 x2236 -x2235 -x2234 -x2233 -x2232 
370.29/371.97	v -x2231 -x2230 -x2229 -x2228 x2227 -x2226 -x2225 x2224 -x2223 -x2222 -x2221 -x2220 x2219 -x2218 -x2217 -x2216 -x2215 -x2214 
370.29/371.97	v -x2213 x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 x2204 -x2203 -x2202 -x2201 -x2200 -x2199 x2198 -x2197 -x2196 -x2195 
370.29/371.97	v x2194 -x2193 -x2192 -x2191 -x2190 -x2189 x2188 -x2187 -x2186 -x2185 -x2184 -x2183 x2182 -x2181 -x2180 -x2179 -x2178 -x2177 
370.29/371.97	v x2176 -x2175 -x2174 -x2173 -x2172 -x2171 x2170 -x2169 -x2168 -x2167 -x2166 -x2165 x2164 -x2163 -x2162 -x2161 -x2160 -x2159 
370.29/371.97	v -x2158 -x2157 x2156 -x2155 -x2154 -x2153 -x2152 -x2151 x2150 -x2149 -x2148 -x2147 x2146 -x2145 -x2144 -x2143 -x2142 x2141 -x2140 
370.29/371.97	v -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 x2125 -x2124 -x2123 -x2122 
370.29/371.97	v -x2121 x2120 -x2119 -x2118 -x2117 -x2116 -x2115 x2114 -x2113 -x2112 -x2111 -x2110 -x2109 x2108 -x2107 -x2106 -x2105 x2104 
370.29/371.97	v -x2103 -x2102 -x2101 -x2100 -x2099 x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 x2090 -x2089 -x2088 -x2087 x2086 
370.29/371.97	v -x2085 -x2084 -x2083 -x2082 -x2081 x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 x2072 -x2071 -x2070 -x2069 -x2068 -x2067 
370.29/371.97	v -x2066 x2065 -x2064 -x2063 x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 x2054 -x2053 -x2052 -x2051 x2050 -x2049 
370.29/371.97	v -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 x2042 -x2041 -x2040 -x2039 x2038 -x2037 -x2036 -x2035 -x2034 -x2033 x2032 -x2031 
370.29/371.97	v -x2030 -x2029 -x2028 -x2027 x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 x2018 -x2017 -x2016 -x2015 -x2014 -x2013 
370.29/371.97	v x2012 -x2011 -x2010 -x2009 -x2008 -x2007 x2006 -x2005 -x2004 -x2003 x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 x1994 
370.29/371.97	v -x1993 -x1992 -x1991 -x1990 -x1989 x1988 -x1987 -x1986 -x1985 x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 
370.29/371.97	v x1975 -x1974 -x1973 x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 x1964 -x1963 -x1962 -x1961 -x1960 -x1959 x1958 
370.29/371.97	v -x1957 -x1956 -x1955 x1954 -x1953 -x1952 -x1951 -x1950 -x1949 x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 x1940 -x1939 
370.29/371.97	v -x1938 -x1937 x1936 -x1935 -x1934 -x1933 -x1932 -x1931 x1930 -x1929 -x1928 -x1927 -x1926 -x1925 x1924 -x1923 -x1922 -x1921 
370.29/371.97	v -x1920 -x1919 -x1918 -x1917 -x1916 x1915 -x1914 -x1913 -x1912 -x1911 x1910 -x1909 -x1908 -x1907 x1906 -x1905 -x1904 -x1903 
370.29/371.97	v -x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 x1894 -x1893 -x1892 -x1891 -x1890 -x1889 x1888 -x1887 -x1886 -x1885 -x1884 
370.29/371.97	v -x1883 -x1882 -x1881 x1880 -x1879 -x1878 -x1877 x1876 -x1875 -x1874 -x1873 -x1872 -x1871 x1870 -x1869 -x1868 -x1867 -x1866 
370.29/371.97	v -x1865 x1864 -x1863 -x1862 -x1861 -x1860 -x1859 x1858 -x1857 -x1856 -x1855 -x1854 -x1853 x1852 -x1851 -x1850 -x1849 -x1848 
370.29/371.97	v -x1847 -x1846 -x1845 x1844 -x1843 -x1842 -x1841 x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 x1832 -x1831 -x1830 
370.29/371.97	v -x1829 x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 x1820 -x1819 -x1818 -x1817 x1816 -x1815 -x1814 -x1813 -x1812 -x1811 
370.29/371.97	v -x1810 -x1809 x1808 -x1807 -x1806 -x1805 x1804 -x1803 -x1802 -x1801 -x1800 -x1799 x1798 -x1797 -x1796 -x1795 -x1794 -x1793 
370.29/371.97	v x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 x1784 -x1783 -x1782 -x1781 -x1780 -x1779 x1778 -x1777 -x1776 -x1775 
370.29/371.97	v -x1774 -x1773 x1772 -x1771 -x1770 -x1769 -x1768 -x1767 x1766 -x1765 -x1764 -x1763 -x1762 -x1761 x1760 -x1759 -x1758 -x1757 x1756 
370.29/371.97	v -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 x1747 -x1746 -x1745 -x1744 -x1743 -x1742 x1741 -x1740 -x1739 -x1738 
370.29/371.97	v -x1737 x1736 -x1735 -x1734 -x1733 x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 x1724 -x1723 -x1722 -x1721 x1720 
370.29/371.97	v -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 x1712 -x1711 -x1710 -x1709 x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 
370.29/371.97	v -x1701 x1700 -x1699 -x1698 -x1697 -x1696 -x1695 x1694 -x1693 -x1692 -x1691 -x1690 -x1689 x1688 -x1687 -x1686 -x1685 x1684 -x1683 
370.29/371.97	v -x1682 -x1681 -x1680 -x1679 x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 x1670 -x1669 -x1668 -x1667 -x1666 -x1665 
370.29/371.97	v x1664 -x1663 -x1662 -x1661 -x1660 -x1659 x1658 -x1657 -x1656 -x1655 x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 
370.29/371.97	v x1646 -x1645 -x1644 -x1643 -x1642 x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 x1634 -x1633 -x1632 -x1631 x1630 -x1629 -x1628 
370.29/371.97	v -x1627 -x1626 -x1625 x1624 -x1623 -x1622 -x1621 -x1620 x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 x1610 
370.29/371.97	v -x1609 -x1608 -x1607 x1606 -x1605 -x1604 -x1603 -x1602 -x1601 x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 x1592 
370.29/371.97	v -x1591 -x1590 -x1589 -x1588 -x1587 x1586 -x1585 -x1584 -x1583 -x1582 -x1581 x1580 -x1579 -x1578 -x1577 -x1576 -x1575 x1574 -x1573 
370.29/371.97	v -x1572 -x1571 x1570 -x1569 -x1568 -x1567 -x1566 -x1565 x1564 -x1563 -x1562 -x1561 -x1560 -x1559 x1558 -x1557 -x1556 -x1555 
370.29/371.97	v -x1554 -x1553 x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 x1544 -x1543 -x1542 -x1541 -x1540 -x1539 x1538 -x1537 
370.29/371.97	v -x1536 -x1535 -x1534 -x1533 x1532 -x1531 -x1530 -x1529 -x1528 -x1527 x1526 -x1525 -x1524 -x1523 x1522 -x1521 -x1520 -x1519 
370.29/371.97	v -x1518 -x1517 x1516 -x1515 -x1514 -x1513 -x1512 -x1511 x1510 -x1509 -x1508 -x1507 -x1506 -x1505 x1504 -x1503 -x1502 -x1501 -x1500 
370.29/371.97	v -x1499 -x1498 -x1497 x1496 -x1495 -x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487 -x1486 -x1485 x1484 -x1483 -x1482 
370.29/371.97	v -x1481 -x1480 -x1479 x1478 -x1477 -x1476 -x1475 x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 x1466 -x1465 -x1464 
370.29/371.97	v -x1463 -x1462 -x1461 x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454 -x1453 -x1452 -x1451 x1450 -x1449 -x1448 -x1447 -x1446 -x1445 
370.29/371.97	v -x1444 -x1443 x1442 -x1441 -x1440 -x1439 x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 x1430 -x1429 -x1428 -x1427 
370.29/371.97	v x1426 -x1425 -x1424 -x1423 -x1422 -x1421 x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 x1412 -x1411 -x1410 -x1409 
370.29/371.97	v -x1408 -x1407 -x1406 x1405 -x1404 -x1403 -x1402 -x1401 x1400 -x1399 -x1398 -x1397 x1396 -x1395 -x1394 -x1393 -x1392 -x1391 
370.29/371.97	v x1390 -x1389 -x1388 -x1387 -x1386 -x1385 x1384 -x1383 -x1382 -x1381 -x1380 -x1379 x1378 -x1377 -x1376 -x1375 -x1374 -x1373 x1372 
370.29/371.97	v -x1371 -x1370 -x1369 -x1368 -x1367 x1366 -x1365 -x1364 -x1363 -x1362 -x1361 x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 
370.29/371.97	v -x1353 x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 x1345 -x1344 -x1343 x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 
370.29/371.97	v -x1335 x1334 -x1333 -x1332 -x1331 -x1330 -x1329 x1328 -x1327 -x1326 -x1325 x1324 -x1323 -x1322 -x1321 -x1320 -x1319 x1318 -x1317 
370.29/371.97	v -x1316 -x1315 -x1314 -x1313 x1312 -x1311 -x1310 -x1309 -x1308 -x1307 x1306 -x1305 -x1304 -x1303 -x1302 -x1301 x1300 -x1299 
370.29/371.97	v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 x1285 -x1284 -x1283 x1282 -x1281 
370.29/371.97	v -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 x1274 -x1273 -x1272 -x1271 -x1270 -x1269 x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262 
370.29/371.97	v -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 x1255 -x1254 -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 x1244 
370.29/371.97	v -x1243 -x1242 -x1241 x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 x1228 -x1227 -x1226 
370.29/371.97	v -x1225 -x1224 -x1223 x1222 -x1221 -x1220 -x1219 -x1218 -x1217 x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 x1208 
370.29/371.97	v -x1207 -x1206 -x1205 x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 x1190 -x1189 
370.29/371.97	v -x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 -x1181 -x1180 -x1179 x1178 -x1177 -x1176 -x1175 -x1174 -x1173 x1172 -x1171 
370.29/371.97	v -x1170 -x1169 x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 x1159 -x1158 -x1157 -x1156 -x1155 x1154 -x1153 
370.29/371.97	v -x1152 -x1151 -x1150 -x1149 x1148 -x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 x1137 -x1136 -x1135 -x1134 
370.29/371.97	v -x1133 -x1132 -x1131 x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 x1120 -x1119 -x1118 -x1117 -x1116 
370.29/371.97	v -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 
370.29/371.97	v -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085 x1084 -x1083 -x1082 -x1081 -x1080 
370.29/371.97	v -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 x1067 -x1066 -x1065 -x1064 -x1063 -x1062 x1061 
370.29/371.97	v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 -x1043 
370.29/371.97	v -x1042 -x1041 x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 
370.29/371.97	v -x1024 -x1023 x1022 -x1021 -x1020 -x1019 -x1018 -x1017 x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 
370.29/371.97	v -x1005 x1004 -x1003 -x1002 -x1001 -x1000 -x999 x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 -x990 -x989 -x988 -x987 x986 
370.29/371.97	v -x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 -x966 -x965 
370.29/371.97	v -x964 -x963 x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954 -x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 
370.29/371.97	v -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 x934 -x933 -x932 -x931 -x930 -x929 x928 -x927 -x926 -x925 -x924 -x923 -x922 
370.29/371.97	v x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 
370.29/371.97	v -x899 -x898 -x897 x896 -x895 -x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 
370.29/371.97	v x878 -x877 -x876 -x875 -x874 -x873 x872 -x871 -x870 -x869 -x868 -x867 x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 -x858 
370.29/371.97	v -x857 -x856 -x855 x854 -x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 x844 -x843 -x842 -x841 -x840 -x839 x838 -x837 -x836 
370.29/371.97	v -x835 -x834 -x833 x832 -x831 -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 
370.29/371.97	v -x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 -x794 -x793 
370.29/371.97	v -x792 -x791 x790 -x789 -x788 -x787 -x786 -x785 x784 -x783 -x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 
370.29/371.97	v -x771 x770 -x769 -x768 -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 
370.29/371.97	v -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 x730 -x729 
370.29/371.97	v -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 
370.29/371.97	v -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 x698 -x697 -x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 x686 
370.98/372.60	v -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 
370.98/372.60	v x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 
370.98/372.60	v -x642 -x641 x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 x622 
370.98/372.60	v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 
370.98/372.60	v -x599 -x598 -x597 x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 x580 -x579 
370.98/372.60	v -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 
370.98/372.60	v -x557 -x556 x555 -x554 -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 x536 
370.98/372.60	v -x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 x520 -x519 -x518 -x517 -x516 -x515 
370.98/372.61	v -x514 -x513 x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 
370.98/372.61	v -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 
370.98/372.61	v -x471 x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 
370.98/372.61	v -x449 -x448 -x447 x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 x430 -x429 
370.98/372.61	v -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 
370.98/372.61	v -x407 x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 x388 -x387 -x386 
370.98/372.61	v -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 
370.98/372.61	v x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 
370.98/372.61	v -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 -x324 -x323 x322 
370.98/372.61	v -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 
370.98/372.61	v -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 x280 -x279 
370.98/372.61	v -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 
370.98/372.61	v -x257 -x256 -x255 x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 x239 -x238 -x237 -x236 
370.98/372.61	v -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 
370.98/372.61	v x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 
370.98/372.61	v -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 x174 -x173 -x172 
370.98/372.61	v -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 
370.98/372.61	v -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 x130 -x129 
370.98/372.61	v -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 
370.98/372.61	v -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 
370.98/372.61	v -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 
370.98/372.61	v -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 
370.98/372.61	v -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 
370.98/372.61	v -x4 -x3 x2 -x1

Verifier Data 

OK	19

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456637-1721722628/watcher-4456637-1721722628 -o /tmp/evaluation-result-4456637-1721722628/solver-4456637-1721722628 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721718341-88014 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4456637-1721722628.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=91040, runsolver pid=91037

[startup+0.100083 s]*
/proc/loadavg: 4.08 4.10 4.09 5/259 91041
/proc/meminfo: memFree=74855968/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=68500 memory=56968 CPUtime=0.09 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 12211 0 0 0 8 1 0 0 20 0 1 0 8785673 70144000 14242 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 17125 14242 2318 3032 0 13525 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68500 KiB
Current children cumulated memory: 56968 KiB

[startup+0.205796 s]*
/proc/loadavg: 4.08 4.10 4.09 5/259 91041
/proc/meminfo: memFree=74819260/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=106556 memory=95048 CPUtime=0.2 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 21732 0 0 0 18 2 0 0 20 0 1 0 8785673 109113344 23762 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 26639 23762 2318 3032 0 23039 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106556 KiB
Current children cumulated memory: 95048 KiB

[startup+0.305764 s]*
/proc/loadavg: 4.08 4.10 4.09 5/259 91041
/proc/meminfo: memFree=74783168/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=143044 memory=131352 CPUtime=0.29 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 30842 0 0 0 26 3 0 0 20 0 1 0 8785673 146477056 32838 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 35761 32838 2318 3032 0 32161 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 143044 KiB
Current children cumulated memory: 131352 KiB

[startup+0.700259 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 91041
/proc/meminfo: memFree=74602256/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=345316 memory=333676 CPUtime=0.69 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 82466 0 0 0 57 12 0 0 20 0 1 0 8785673 353603584 83419 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 86329 83419 2558 3032 0 82729 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 345316 KiB
Current children cumulated memory: 333676 KiB

[startup+1.50025 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 91041
/proc/meminfo: memFree=73887712/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=690432 memory=673096 CPUtime=1.48 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 165755 0 0 0 124 24 0 0 20 0 1 0 8785673 707002368 168274 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 172608 168274 2590 3032 0 169008 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 690432 KiB
Current children cumulated memory: 673096 KiB

[startup+3.10591 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 91041
/proc/meminfo: memFree=71952080/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=964416 memory=945716 CPUtime=3.08 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 232374 0 0 0 275 33 0 0 20 0 1 0 8785673 987561984 236429 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 241104 236429 2622 3032 0 237504 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 964416 KiB
Current children cumulated memory: 945716 KiB

[startup+6.30024 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 91042
/proc/meminfo: memFree=70548276/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=970924 memory=953228 CPUtime=6.26 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 234231 0 0 0 592 34 0 0 20 0 1 0 8785673 994226176 238307 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 242731 238307 2654 3032 0 239131 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 970924 KiB
Current children cumulated memory: 953228 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 91042
/proc/meminfo: memFree=67820328/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=970924 memory=953228 CPUtime=12.64 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 234234 0 0 0 1228 36 0 0 20 0 1 0 8785673 994226176 238307 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 242731 238307 2654 3032 0 239131 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 970924 KiB
Current children cumulated memory: 953228 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 91045
/proc/meminfo: memFree=61783724/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=970924 memory=953228 CPUtime=25.4 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 234240 0 0 0 2503 37 0 0 20 0 1 0 8785673 994226176 238307 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 242731 238307 2654 3032 0 239131 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 970924 KiB
Current children cumulated memory: 953228 KiB

[startup+51.1056 s]
/proc/loadavg: 3.80 4.04 4.07 4/253 91080
/proc/meminfo: memFree=93599028/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=970924 memory=953228 CPUtime=50.91 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 234243 0 0 0 5053 38 0 0 20 0 1 0 8785673 994226176 238307 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 242731 238307 2654 3032 0 239131 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 970924 KiB
Current children cumulated memory: 953228 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 3.89 4.01 4/253 91089
/proc/meminfo: memFree=93560352/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=970924 memory=953228 CPUtime=101.92 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 234247 0 0 0 10153 39 0 0 20 0 1 0 8785673 994226176 238307 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 242731 238307 2654 3032 0 239131 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 970924 KiB
Current children cumulated memory: 953228 KiB

[startup+162.3 s]
/proc/loadavg: 3.20 3.74 3.95 4/253 91100
/proc/meminfo: memFree=93557232/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=971948 memory=954268 CPUtime=161.7 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 234510 0 0 0 16129 41 0 0 20 0 1 0 8785673 995274752 238567 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 242987 238567 2670 3032 0 239387 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 971948 KiB
Current children cumulated memory: 954268 KiB

[startup+222.3 s]
/proc/loadavg: 3.19 3.63 3.90 4/257 91116
/proc/meminfo: memFree=92832024/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=1999388 memory=1666804 CPUtime=221.43 cores=5,7
/proc/91040/stat : 91040 (fscip) S 91037 91040 88001 0 -1 1077936128 527310 0 0 0 22060 83 0 0 20 0 3 0 8785673 2047373312 416701 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 499847 416701 2974 3032 0 482551 0
[pid=91040/tid=91104] ppid=91037 vsize=1999388 memory=1483960 CPUtime=43.4 cores=5,7
/proc/91040/task/91104/stat : 91104 (fscip) R 91037 91040 88001 0 -1 4194368 254693 0 0 0 4305 35 0 0 20 0 3 0 8803516 2047373312 416701 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
[pid=91040/tid=91105] ppid=91037 vsize=1999388 memory=1666804 CPUtime=0 cores=5,7
/proc/91040/task/91105/stat : 91105 (fscip) S 91037 91040 88001 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 8803561 2047373312 416701 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 1999388 KiB
Current children cumulated memory: 1666804 KiB

[startup+282.3 s]
/proc/loadavg: 3.16 3.55 3.85 4/257 91126
/proc/meminfo: memFree=92841828/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=2010168 memory=1654768 CPUtime=281.13 cores=5,7
/proc/91040/stat : 91040 (fscip) S 91037 91040 88001 0 -1 1077936128 621244 0 0 0 28022 91 0 0 20 0 3 0 8785673 2058412032 413692 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 502542 413692 2974 3032 0 497939 0
[pid=91040/tid=91104] ppid=91037 vsize=2010168 memory=1654760 CPUtime=103.1 cores=5,7
/proc/91040/task/91104/stat : 91104 (fscip) R 91037 91040 88001 0 -1 4194368 348524 0 0 0 10267 43 0 0 20 0 3 0 8803516 2058412032 413692 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
[pid=91040/tid=91105] ppid=91037 vsize=2010168 memory=1654768 CPUtime=0 cores=5,7
/proc/91040/task/91105/stat : 91105 (fscip) S 91037 91040 88001 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 8803561 2058412032 413692 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
Current children cumulated CPU time: 281.13 s
Current children cumulated vsize: 2010168 KiB
Current children cumulated memory: 1654768 KiB

[startup+342.3 s]
/proc/loadavg: 3.10 3.46 3.80 4/256 91139
/proc/meminfo: memFree=92825736/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=2239944 memory=1657312 CPUtime=340.83 cores=5,7
/proc/91040/stat : 91040 (fscip) S 91037 91040 88001 0 -1 1077936128 713582 0 0 0 33984 99 0 0 20 0 3 0 8785673 2293702656 414328 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 559986 414328 2974 3032 0 555383 0
[pid=91040/tid=91104] ppid=91037 vsize=2239944 memory=1654760 CPUtime=162.79 cores=5,7
/proc/91040/task/91104/stat : 91104 (fscip) R 91037 91040 88001 0 -1 4194368 439250 0 0 0 16228 51 0 0 20 0 3 0 8803516 2293702656 414328 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
[pid=91040/tid=91105] ppid=91037 vsize=2239944 memory=13524 CPUtime=0 cores=5,7
/proc/91040/task/91105/stat : 91105 (fscip) S 91037 91040 88001 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 8803561 2293702656 414328 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
Current children cumulated CPU time: 340.83 s
Current children cumulated vsize: 2239944 KiB
Current children cumulated memory: 1657312 KiB

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

# cumulated CPU time of all completed processes:  user=369.783 s, system=1.26314 s

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

[startup+358.4 s]
/proc/loadavg: 3.14 3.45 3.80 4/256 91142
/proc/meminfo: memFree=92825048/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=2297392 memory=1657344 CPUtime=356.85 cores=5,7
/proc/91040/stat : 91040 (fscip) S 91037 91040 88001 0 -1 1077936128 753104 0 0 0 35583 102 0 0 20 0 3 0 8785673 2352529408 414336 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 574348 414336 2974 3032 0 569745 0
[pid=91040/tid=91104] ppid=91037 vsize=2297392 memory=1654768 CPUtime=178.81 cores=5,7
/proc/91040/task/91104/stat : 91104 (fscip) R 91037 91040 88001 0 -1 4194368 477386 0 0 0 17827 54 0 0 20 0 3 0 8803516 2352529408 414336 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
[pid=91040/tid=91105] ppid=91037 vsize=2297392 memory=1896 CPUtime=0 cores=5,7
/proc/91040/task/91105/stat : 91105 (fscip) S 91037 91040 88001 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 8803561 2352529408 414336 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
Current children cumulated CPU time: 356.85 s
Current children cumulated vsize: 2297392 KiB
Current children cumulated memory: 1657344 KiB

[startup+364.8 s]
/proc/loadavg: 3.13 3.45 3.79 4/256 91142
/proc/meminfo: memFree=92825016/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=2299304 memory=1657348 CPUtime=363.22 cores=5,7
/proc/91040/stat : 91040 (fscip) S 91037 91040 88001 0 -1 1077936128 755577 0 0 0 36219 103 0 0 20 0 3 0 8785673 2354487296 414337 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 574826 414337 2974 3032 0 570223 0
[pid=91040/tid=91104] ppid=91037 vsize=2299304 memory=1657332 CPUtime=185.18 cores=5,7
/proc/91040/task/91104/stat : 91104 (fscip) R 91037 91040 88001 0 -1 4194368 479856 0 0 0 18464 54 0 0 20 0 3 0 8803516 2354487296 414337 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
[pid=91040/tid=91105] ppid=91037 vsize=2299304 memory=1657344 CPUtime=0 cores=5,7
/proc/91040/task/91105/stat : 91105 (fscip) S 91037 91040 88001 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 8803561 2354487296 414337 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
Current children cumulated CPU time: 363.22 s
Current children cumulated vsize: 2299304 KiB
Current children cumulated memory: 1657348 KiB

[startup+368 s]*
/proc/loadavg: 3.12 3.44 3.79 4/256 91144
/proc/meminfo: memFree=92683168/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=2501056 memory=1798820 CPUtime=366.41 cores=5,7
/proc/91040/stat : 91040 (fscip) S 91037 91040 88001 0 -1 1077936128 793745 0 0 0 36533 108 0 0 20 0 3 0 8785673 2561081344 449705 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 625264 449705 2974 3032 0 605638 0
[pid=91040/tid=91104] ppid=91037 vsize=2501056 memory=1704 CPUtime=188.36 cores=5,7
/proc/91040/task/91104/stat : 91104 (fscip) R 91037 91040 88001 0 -1 4194368 518013 0 0 0 18777 59 0 0 20 0 3 0 8803516 2561081344 449705 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
[pid=91040/tid=91105] ppid=91037 vsize=2501056 memory=-5155633680935826750 CPUtime=0 cores=5,7
/proc/91040/task/91105/stat : 91105 (fscip) S 91037 91040 88001 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 8803561 2561081344 449705 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
Current children cumulated CPU time: 366.41 s
Current children cumulated vsize: 2501056 KiB
Current children cumulated memory: 1798820 KiB

[startup+371.2 s]
/proc/loadavg: 3.11 3.43 3.78 4/256 91144
/proc/meminfo: memFree=92687228/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=2435520 memory=1794664 CPUtime=369.59 cores=5,7
/proc/91040/stat : 91040 (fscip) S 91037 91040 88001 0 -1 1077936128 799098 0 0 0 36850 109 0 0 20 0 3 0 8785673 2493972480 448666 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 608880 448666 2974 3032 0 604073 0
[pid=91040/tid=91104] ppid=91037 vsize=2435520 memory=12136 CPUtime=191.54 cores=5,7
/proc/91040/task/91104/stat : 91104 (fscip) R 91037 91040 88001 0 -1 4194368 523031 0 0 0 19094 60 0 0 20 0 3 0 8803516 2493972480 448666 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
[pid=91040/tid=91105] ppid=91037 vsize=2435520 memory=33852 CPUtime=0 cores=5,7
/proc/91040/task/91105/stat : 91105 (fscip) S 91037 91040 88001 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 8803561 2493972480 448666 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
Current children cumulated CPU time: 369.59 s
Current children cumulated vsize: 2435520 KiB
Current children cumulated memory: 1794664 KiB

[startup+372.001 s]*
/proc/loadavg: 3.11 3.43 3.78 4/254 91144
/proc/meminfo: memFree=92841400/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=1873304 memory=1638640 CPUtime=370.39 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 883187 0 0 0 36926 113 0 0 20 0 1 0 8785673 1918263296 409660 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 468326 409660 2974 3032 0 463663 0
Current children cumulated CPU time: 370.39 s
Current children cumulated vsize: 1873304 KiB
Current children cumulated memory: 1638640 KiB

[startup+372.4 s]
/proc/loadavg: 3.11 3.43 3.78 4/254 91144
/proc/meminfo: memFree=92841400/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=1868920 memory=1634664 CPUtime=370.79 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 990313 0 0 0 36959 120 0 0 20 0 1 0 8785673 1913774080 408666 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 467230 408666 2974 3032 0 462567 0
Current children cumulated CPU time: 370.79 s
Current children cumulated vsize: 1868920 KiB
Current children cumulated memory: 1634664 KiB

[startup+372.6 s]
/proc/loadavg: 3.11 3.43 3.78 4/254 91144
/proc/meminfo: memFree=92841400/131524600 swapFree=131071996/131071996
[pid=91040] ppid=91037 vsize=1745156 memory=1509256 CPUtime=370.98 cores=5,7
/proc/91040/stat : 91040 (fscip) R 91037 91040 88001 0 -1 4194304 1014151 0 0 0 36977 121 0 0 20 0 1 0 8785673 1787039744 377571 134679101440 4194304 16613245 140723676324720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53415936 140723676328980 140723676329096 140723676329096 140723676336112 0
/proc/91040/statm: 436033 377571 2974 3032 0 431370 0
Current children cumulated CPU time: 370.98 s
Current children cumulated vsize: 1745156 KiB
Current children cumulated memory: 1509256 KiB

Child status: 0

Real time (s): 372.652
CPU time (s): 371.046
CPU user time (s): 369.783
CPU system time (s): 1.26314
CPU usage (%): 99.5692
Max. virtual memory (cumulated for all children) (KiB): 2501056
Max. memory (cumulated for all children) (KiB): 1814792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 369.783
system time used= 1.26314
maximum resident set size= 1814792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1015676
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= 403
involuntary context switches= 274


# summary of solver processes directly reported to runsolver:
#   pid: 91040
#   total CPU time (s): 371.046
#   total CPU user time (s): 369.783
#   total CPU system time (s): 1.26314

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.81664 second user time and 1.81854 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-23 10:17:08
IDJOB=4456637
IDBENCH=144112
IDSOLVER=3044
FILE ID=nodeC022/4456637-1721722628
RUNJOBID= nodeC022-1721718341-88014
SLURM_JOB_ID= 7770394
Free space on /tmp= 889740 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/pedigree/normalized-pedck1000_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456637-1721722628/watcher-4456637-1721722628 -o /tmp/evaluation-result-4456637-1721722628/solver-4456637-1721722628 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721718341-88014 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4456637-1721722628.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 1c46f022378038623af46a7f02f30d6d
RANDOM SEED=386011695

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        74904304 kB
MemAvailable:   104861796 kB
Buffers:          148752 kB
Cached:         30528520 kB
SwapCached:            0 kB
Active:          1232772 kB
Inactive:       54561348 kB
Active(anon):       1580 kB
Inactive(anon): 25152992 kB
Active(file):    1231192 kB
Inactive(file): 29408356 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             33260 kB
Writeback:             0 kB
AnonPages:      25115720 kB
Mapped:           133452 kB
Shmem:             37720 kB
KReclaimable:     315180 kB
Slab:             423840 kB
SReclaimable:     315180 kB
SUnreclaim:       108660 kB
KernelStack:        4172 kB
PageTables:        59252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   23245784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2455552 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:      285396 kB
DirectMap2M:    28848128 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 889988 MiB
End job on nodeC022 at 2024-07-23 10:23:20