Trace number 4464213

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-30OPT5114519 389.064 390.039

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK	5114519

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (63125 MiB free)
  memory of node 1: 64473 MiB (61707 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=29782, runsolver pid=29779

[startup+0.101001 s]*
/proc/loadavg: 4.08 4.12 4.07 5/264 29783
/proc/meminfo: memFree=127794656/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=56224 memory=45568 CPUtime=0.09 cores=4,6
/proc/29782/stat : 29782 (fscip) R 29779 29782 27303 0 -1 4194304 9548 0 0 0 8 1 0 0 20 0 1 0 4612051 57573376 11392 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 14056 11392 2774 3035 0 10452 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56224 KiB
Current children cumulated memory: 45568 KiB

[startup+0.206005 s]*
/proc/loadavg: 4.08 4.12 4.07 5/264 29783
/proc/meminfo: memFree=127782884/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=73548 memory=57076 CPUtime=0.19 cores=4,6
/proc/29782/stat : 29782 (fscip) R 29779 29782 27303 0 -1 4194304 12461 0 0 0 17 2 0 0 20 0 1 0 4612051 75313152 14269 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 18387 14269 2774 3035 0 14783 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 73548 KiB
Current children cumulated memory: 57076 KiB

[startup+0.305986 s]*
/proc/loadavg: 4.08 4.12 4.07 5/266 29785
/proc/meminfo: memFree=127755104/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=163152 memory=84488 CPUtime=0.29 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 20438 0 0 0 26 3 0 0 20 0 3 0 4612051 167067648 21122 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 40788 21122 2806 3035 0 26010 0
[pid=29782/tid=29784] ppid=29779 vsize=163152 memory=-5155625786839100549 CPUtime=0.07 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 5610 0 0 0 7 0 0 0 20 0 3 0 4612073 167067648 21122 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=163152 memory=0 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4612075 167067648 21122 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 163152 KiB
Current children cumulated memory: 84488 KiB

[startup+0.700172 s]
/proc/loadavg: 4.08 4.12 4.07 5/266 29785
/proc/meminfo: memFree=127733472/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=173348 memory=106948 CPUtime=0.67 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 26011 0 0 0 63 4 0 0 20 0 3 0 4612051 177508352 26737 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 43337 26737 2950 3035 0 32122 0
[pid=29782/tid=29784] ppid=29779 vsize=173348 memory=5552 CPUtime=0.45 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 11181 0 0 0 44 1 0 0 20 0 3 0 4612073 177508352 26737 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=173348 memory=417 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4612075 177508352 26737 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 173348 KiB
Current children cumulated memory: 106948 KiB

[startup+1.50024 s]
/proc/loadavg: 4.08 4.12 4.07 5/266 29785
/proc/meminfo: memFree=127707900/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=185592 memory=143608 CPUtime=1.47 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 42599 0 0 0 142 5 0 0 20 0 3 0 4612051 190046208 35902 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 46398 35902 2950 3035 0 41606 0
[pid=29782/tid=29784] ppid=29779 vsize=185592 memory=417 CPUtime=1.25 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 27769 0 0 0 122 3 0 0 20 0 3 0 4612073 190046208 35902 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=185592 memory=0 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4612075 190046208 35902 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 185592 KiB
Current children cumulated memory: 143608 KiB

[startup+3.10543 s]
/proc/loadavg: 4.08 4.12 4.07 5/266 29785
/proc/meminfo: memFree=127695304/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=154312 CPUtime=3.07 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 46369 0 0 0 301 6 0 0 20 0 3 0 4612051 259231744 38578 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 38578 2950 3035 0 44365 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=-5155625786839100549 CPUtime=2.85 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 31536 0 0 0 282 3 0 0 20 0 3 0 4612073 259231744 38578 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=0 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 38578 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 154312 KiB

[startup+6.30018 s]
/proc/loadavg: 4.07 4.12 4.07 5/266 29787
/proc/meminfo: memFree=127692800/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=155560 CPUtime=6.26 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 51014 0 0 0 620 6 0 0 20 0 3 0 4612051 259231744 38890 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 38890 2950 3035 0 44649 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=11536 CPUtime=6.04 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 36174 0 0 0 601 3 0 0 20 0 3 0 4612073 259231744 38890 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=11536 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 38890 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 155560 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.12 4.07 7/268 29792
/proc/meminfo: memFree=127613300/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=165832 CPUtime=12.64 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 67182 0 0 0 1257 7 0 0 20 0 3 0 4612051 259231744 41458 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 41458 2966 3035 0 47297 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=155560 CPUtime=12.43 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 52301 0 0 0 1238 5 0 0 20 0 3 0 4612073 259231744 41458 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=-5155625786839100549 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 41458 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 165832 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.11 4.07 5/269 29850
/proc/meminfo: memFree=127671348/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=166032 CPUtime=25.41 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 78652 0 0 0 2533 8 0 0 20 0 3 0 4612051 259231744 41508 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 41508 3014 3035 0 47297 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=11536 CPUtime=25.2 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 63139 0 0 0 2514 6 0 0 20 0 3 0 4612073 259231744 41508 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=11536 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 41508 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 166032 KiB

[startup+51.1048 s]
/proc/loadavg: 4.09 4.12 4.07 5/269 29853
/proc/meminfo: memFree=127664504/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=166160 CPUtime=50.96 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 113784 0 0 0 5085 11 0 0 20 0 3 0 4612051 259231744 41540 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 41540 3014 3035 0 47297 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=-4050210904893473422 CPUtime=50.74 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 97013 0 0 0 5066 8 0 0 20 0 3 0 4612073 259231744 41540 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=11536 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 41540 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 166160 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/269 29863
/proc/meminfo: memFree=127622484/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=183732 CPUtime=102.04 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 160308 0 0 0 10190 14 0 0 20 0 3 0 4612051 259231744 45933 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 45933 3014 3035 0 51598 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=8681835534456887900 CPUtime=101.81 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 143397 0 0 0 10170 11 0 0 20 0 3 0 4612073 259231744 45933 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=183712 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 45933 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 183732 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/269 29874
/proc/meminfo: memFree=127606276/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=184424 CPUtime=161.9 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 196152 0 0 0 16173 17 0 0 20 0 3 0 4612051 259231744 46106 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 46106 3014 3035 0 51746 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=184392 CPUtime=161.67 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 178067 0 0 0 16153 14 0 0 20 0 3 0 4612073 259231744 46106 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=11536 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 46106 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 184424 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/268 29885
/proc/meminfo: memFree=127588632/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=184564 CPUtime=221.76 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 210368 0 0 0 22158 18 0 0 20 0 3 0 4612051 259231744 46141 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 46141 3014 3035 0 51746 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=184468 CPUtime=221.53 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 191740 0 0 0 22138 15 0 0 20 0 3 0 4612073 259231744 46141 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=184428 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 46141 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 184564 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/266 29895
/proc/meminfo: memFree=127565012/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=195016 CPUtime=281.61 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 240124 0 0 0 28139 22 0 0 20 0 3 0 4612051 259231744 48754 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 48754 3014 3035 0 54329 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=195016 CPUtime=281.38 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 220903 0 0 0 28119 19 0 0 20 0 3 0 4612073 259231744 48754 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=11536 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 73 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 48754 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 195016 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.07 5/262 29905
/proc/meminfo: memFree=127551356/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=196996 CPUtime=341.45 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 252343 0 0 0 34121 24 0 0 20 0 3 0 4612051 259231744 49249 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 49249 3014 3035 0 55027 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=11536 CPUtime=341.21 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 233075 0 0 0 34100 21 0 0 20 0 3 0 4612073 259231744 49249 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=11536 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 49249 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 196996 KiB

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

# cumulated CPU time of all completed processes:  user=388.798 s, system=0.266317 s

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

[startup+358.4 s]
/proc/loadavg: 4.05 4.08 4.07 5/260 29954
/proc/meminfo: memFree=128921724/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=196996 CPUtime=357.5 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 252934 0 0 0 35726 24 0 0 20 0 3 0 4612051 259231744 49249 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 49249 3014 3035 0 55027 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=5552 CPUtime=357.27 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 233666 0 0 0 35706 21 0 0 20 0 3 0 4612073 259231744 49249 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=11536 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 49249 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 357.5 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 196996 KiB

[startup+371.2 s]
/proc/loadavg: 4.12 4.09 4.08 5/260 29956
/proc/meminfo: memFree=124253192/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=197016 CPUtime=370.27 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 253363 0 0 0 37003 24 0 0 20 0 3 0 4612051 259231744 49254 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 49254 3014 3035 0 55027 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=196996 CPUtime=370.03 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 234095 0 0 0 36982 21 0 0 20 0 3 0 4612073 259231744 49254 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=197016 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 49254 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 370.27 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 197016 KiB

[startup+377.6 s]
/proc/loadavg: 4.11 4.09 4.07 5/260 29957
/proc/meminfo: memFree=123376124/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=197016 CPUtime=376.65 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 253549 0 0 0 37641 24 0 0 20 0 3 0 4612051 259231744 49254 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 49254 3014 3035 0 55027 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=-6000919507065987949 CPUtime=376.41 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 234281 0 0 0 37620 21 0 0 20 0 3 0 4612073 259231744 49254 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=40052 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 49254 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 376.65 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 197016 KiB

[startup+384 s]*
/proc/loadavg: 4.09 4.09 4.07 5/260 29959
/proc/meminfo: memFree=123611384/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=197032 CPUtime=383.04 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 253748 0 0 0 38280 24 0 0 20 0 3 0 4612051 259231744 49258 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 49258 3014 3035 0 55027 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=-6000919507065987949 CPUtime=382.79 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 234480 0 0 0 38258 21 0 0 20 0 3 0 4612073 259231744 49258 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=2256 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 49258 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 383.04 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 197032 KiB

[startup+387.2 s]
/proc/loadavg: 4.09 4.09 4.07 5/260 29959
/proc/meminfo: memFree=122958892/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=197032 CPUtime=386.22 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 253791 0 0 0 38598 24 0 0 20 0 3 0 4612051 259231744 49258 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 49258 3014 3035 0 55027 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=197032 CPUtime=385.98 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 234523 0 0 0 38577 21 0 0 20 0 3 0 4612073 259231744 49258 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=-7161687148546055545 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 49258 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 386.22 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 197032 KiB

[startup+388.8 s]
/proc/loadavg: 4.09 4.09 4.07 5/260 29959
/proc/meminfo: memFree=122752272/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=197032 CPUtime=387.82 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 262477 0 0 0 38758 24 0 0 20 0 3 0 4612051 259231744 49258 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 49258 3014 3035 0 55027 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=4432 CPUtime=387.57 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 243206 0 0 0 38736 21 0 0 20 0 3 0 4612073 259231744 49258 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=6095648 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 78 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 49258 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 387.82 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 197032 KiB

[startup+389.6 s]
/proc/loadavg: 4.08 4.09 4.07 5/260 29959
/proc/meminfo: memFree=122698128/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=253156 memory=197032 CPUtime=388.61 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 263189 0 0 0 38837 24 0 0 20 0 3 0 4612051 259231744 49258 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 63289 49258 3014 3035 0 55027 0
[pid=29782/tid=29784] ppid=29779 vsize=253156 memory=197032 CPUtime=388.37 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 243902 0 0 0 38816 21 0 0 20 0 3 0 4612073 259231744 49258 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=253156 memory=346304 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 78 0 0 0 0 0 0 0 20 0 3 0 4612075 259231744 49258 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 388.61 s
Current children cumulated vsize: 253156 KiB
Current children cumulated memory: 197032 KiB

[startup+390 s]*
/proc/loadavg: 4.08 4.09 4.07 5/260 29959
/proc/meminfo: memFree=122697924/131524600 swapFree=131071996/131071996
[pid=29782] ppid=29779 vsize=251128 memory=195004 CPUtime=389.02 cores=4,6
/proc/29782/stat : 29782 (fscip) S 29779 29782 27303 0 -1 1077936128 267289 0 0 0 38877 25 0 0 20 0 3 0 4612051 257155072 48751 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
/proc/29782/statm: 62782 48751 3014 3035 0 54520 0
[pid=29782/tid=29784] ppid=29779 vsize=251128 memory=-6000919507065987949 CPUtime=388.78 cores=4,6
/proc/29782/task/29784/stat : 29784 (fscip) R 29779 29782 27303 0 -1 4194368 248149 0 0 0 38856 22 0 0 20 0 3 0 4612073 257155072 48751 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
[pid=29782/tid=29785] ppid=29779 vsize=251128 memory=-6000919507065987949 CPUtime=0 cores=4,6
/proc/29782/task/29785/stat : 29785 (fscip) S 29779 29782 27303 0 -1 1077936192 78 0 0 0 0 0 0 0 20 0 3 0 4612075 257155072 48751 134679101440 4194304 16623229 140726447413344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41000960 140726447416342 140726447416458 140726447416458 140726447423472 0
Current children cumulated CPU time: 389.02 s
Current children cumulated vsize: 251128 KiB
Current children cumulated memory: 195004 KiB

Child status: 0

Real time (s): 390.039
CPU time (s): 389.064
CPU user time (s): 388.798
CPU system time (s): 0.266317
CPU usage (%): 99.7499
Max. virtual memory (cumulated for all children) (KiB): 253156
Max. memory (cumulated for all children) (KiB): 197032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 388.798
system time used= 0.266317
maximum resident set size= 197032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275792
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= 1080
involuntary context switches= 635


# summary of solver processes directly reported to runsolver:
#   pid: 29782
#   total CPU time (s): 389.064
#   total CPU user time (s): 388.798
#   total CPU system time (s): 0.266317

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.71767 second user time and 1.72005 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-31 01:30:38
IDJOB=4464213
IDBENCH=155620
IDSOLVER=3092
FILE ID=nodeC015/4464213-1722382238
RUNJOBID= nodeC015-1722378594-27314
SLURM_JOB_ID= 8249828
Free space on /tmp= 889996 MiB

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

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

MD5SUM BENCH= 4bce0178dd52d2d263abed98aae07653
RANDOM SEED=292526229

nodeC015.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		: 3665.123
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.37
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		: 3685.735
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	: 7005.03
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.703
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127829984 kB
MemAvailable:   127737792 kB
Buffers:           97924 kB
Cached:           647924 kB
SwapCached:            0 kB
Active:           261352 kB
Inactive:        2955300 kB
Active(anon):       1544 kB
Inactive(anon):  2492664 kB
Active(file):     259808 kB
Inactive(file):   462636 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28684 kB
Writeback:             4 kB
AnonPages:       2470884 kB
Mapped:           121920 kB
Shmem:             23384 kB
KReclaimable:      50372 kB
Slab:             131588 kB
SReclaimable:      50372 kB
SUnreclaim:        81216 kB
KernelStack:        4224 kB
PageTables:        13844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2018376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9728 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1339392 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:      158420 kB
DirectMap2M:    12197888 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 889872 MiB
End job on nodeC015 at 2024-07-31 01:37:09