Trace number 4433926

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
NaPS-GM 1.03SAT (TO)1396 3600.03 3609.61

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
MD5SUMa964700945576a67d3d8d9c44c1c5e5c
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 benchmark9
Best CPU time to get the best result obtained on this benchmark6.7253
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10772
Total number of constraints12051
Number of constraints which are clauses10247
Number of constraints which are cardinality constraints (but not clauses)1804
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 10772
Biggest coefficient in the objective function 5356
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 30986
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5356
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 30986
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4433926-1721057537.opb
0.59/0.69	c single stage optimization mode
1.38/1.40	o 11392
13.65/13.70	o 1396
3600.01/3609.60	c 
3600.01/3609.60	c *** TERMINATED *** by signal 15
3600.01/3609.60	s SATISFIABLE
3600.01/3609.60	c _____________________________________________________________________________
3600.01/3609.60	c std/band forms        : 1805,0
3600.01/3609.60	c 2cl/3cl ITE-codings   : 0,0
3600.01/3609.60	c BDD/srt/adr Max costs : 0,1625893,0
3600.01/3609.60	c BDDraw/bin/mul/srt/adr: 0,0,0,1805,0
3600.01/3609.60	c BDD nodes             : 0
3600.01/3609.60	c Es1/CC detections     : 0,0
3600.01/3609.60	c CC sort               : 1803
3600.01/3609.60	c SAT/UNSAT calls       : 2,0
3600.01/3609.60	c regenrated variables  : 28021
3600.01/3609.60	c eliminated fixed lits : 2
3600.01/3609.60	c goal lit flips        : 0
3600.01/3609.60	c goal stages           : 1
3600.01/3609.60	c goal shrink           : 0
3600.01/3609.60	c goal coeff separations: 0
3600.01/3609.60	c restarts              : 29
3600.01/3609.60	c conflicts             : 2044           (1 /sec)
3600.01/3609.60	c decisions             : 1002050        (278 /sec)
3600.01/3609.60	c propagations          : 25351269       (7044 /sec)
3600.01/3609.60	c inspects              : 0              (0 /sec)
3600.01/3609.60	c CPU time (solving tm) : 3599 s        (3597 s, SAT 11.01 s, UNSAT 0 s)
3600.01/3609.60	c Time for Opt-base     : 0.03956 s
3600.01/3609.60	c Steps for Opt-base    : 32313
3600.01/3609.60	c Time for BDD coding   : 0 s
3600.01/3609.60	c Time for srt coding   : 0.627 s
3600.01/3609.60	c _____________________________________________________________________________
3600.01/3609.60	v -x9583 x6786 -x5147 x4651 -x4504 -x3806 -x1035 x879 -x9585 -x5151 x4508 -x3805 -x1036 x6785 -x4652 x4507 -x3804 -x2193 x1040 x883 -x9586 x6788 -x4653 -x4509 -x3802 -x2198 x1039 x881 -x4656 -x4590 -x4513 -x3803 x2603 -x2197 x1037 x756 -x418 -x6789 -x4654 -x4589 -x4512 x2607 x1038 -x882 x9992 x6791 -x6143 -x4655 -x4591 -x4510 -x2200 x886 x755 x6792 x6147 -x5269 -x4594 -x4511 -x2201 -x759 x10458 x9991 x6454 -x5268 -x4593 -x2204 x9995 -x7679 -x4598 -x2202 -x760 -x10726 x10461 -x7678 x6453 -x5270 -x4597 -x2203 x10462 x9996 -x7680 -x6457 x5272 -x4595 -x1889 -x964 -x10725 -x7681 -x7009 -x6809 -x5167 -x4596 -x3912 -x1888 -x1161 -x963 -x681 x10729 -x7682 -x6813 -x6458 -x6089 x5273 x5172 -x2083 -x1890 -x969 -x7689 -x7008 x6531 -x6404 -x6088 -x5275 x5171 -x3915 -x2082 -x1891 -x968 -x680 x10730 -x7683 -x6536 -x6408 -x6090 x5946 -x5276 -x3916 -x2088 -x1892 -x970 -x684 -x7684 -x7014 x6535 -x6091 x5945 -x5174 -x4131 -x2087 -x1899 -x974 -x7685 -x7012 -x6092 -x5175 -x4136 x2089 -x1893 -x973 -x685 x10357 -x6538 -x6099 x5947 -x5178 x4976 -x4135 -x2093 -x1894 -x971 x7326 -x7013 -x6539 -x6093 -x5949 -x5176 x4980 -x2092 -x1895 -x972 x10356 x8968 -x8775 x7325 -x7017 x6642 x6542 -x6094 -x5177 -x4138 -x2090 -x1109 x10360 -x9764 -x7331 x6540 -x6095 -x5950 -x4139 -x2091 -x1108 -x9763 x8967 -x7632 -x7330 -x6645 x6541 -x5952 -x4630 -x4142 -x1828 -x1799 -x1110 x10361 -x9769 x7743 -x7637 -x7332 -x6646 -x5953 -x4629 -x4140 -x1803 -x1113 -x9768 -x8973 -x8721 -x8203 x7742 -x7636 -x7336 -x4631 -x4141 -x1112 x558 -x9770 -x8971 -x8726 x8207 x7744 -x7335 -x4634 -x1117 -x9774 -x8725 x7745 -x7639 -x7333 x5850 -x4633 -x3498 x2390 -x1116 x557 -x10159 -x9773 -x8972 x7746 -x7640 -x7334 -x4638 -x3503 x2389 -x1114 -x10158 x9930 -x9771 x8976 -x8728 -x7753 -x7643 -x4637 -x3502 x2391 -x1115 x563 x9934 -x9772 -x8729 -x7747 -x7641 -x4635 x2394 x561 -x10160 x9338 -x8732 -x7748 -x7642 -x4636 -x3505 x2393 -x153 -x10162 -x8730 -x7749 -x6596 -x3506 -x2767 -x2398 x562 x158 x9337 -x8918 -x8731 -x6595 -x4253 -x3509 -x2766 -x2698 -x2397 x1400 -x566 x157 -x10163 x9341 -x6597 -x4252 -x3507 -x2703 -x2395 -x10165 -x8921 -x6598 -x5999 -x4254 -x3508 x3289 -x2768 x2702 -x2396 x1399 -x160 -x10166 x9342 -x8922 -x6599 -x4257 -x4087 -x2770 -x1403 -x161 x7723 x7520 -x6606 -x5076 -x4256 -x4086 x3292 -x2705 -x164 -x8352 x7524 -x6600 -x4261 x3293 -x2771 -x2706 -x1404 -x162 -x9018 x8351 x7722 -x6621 -x6601 -x5075 -x4260 -x4088 -x2773 -x2709 -x583 -x163 x7726 -x6602 -x4258 -x4090 -x2774 -x2707 x1844 -x9017 x8353 -x5081 -x4259 -x2708 x1843 -x1373 -x582 x9358 -x9021 x8355 x7727 -x5079 -x4091 -x1849 -x1378 x9357 x4093 -x1848 x1377 -x588 -x506 x9363 -x9022 -x8356 -x5080 x4094 -x1850 -x586 -x511 x9362 x8358 -x5084 -x1854 x1699 -x1380 -x1091 x510 -x9364 x8359 -x6329 -x3595 -x1853 -x1381 -x1090 -x587 x10233 -x9859 -x9368 -x7875 -x6328 -x3594 -x1851 x1698 x1384 -x1092 -x591 -x513 -x9367 -x7880 x6687 -x6334 -x3596 -x1852 -x1702 x1382 -x1095 -x514 x10232 -x9365 -x7879 x6686 -x6333 x5309 -x4321 -x3597 x3114 -x1383 -x1094 -x517 x10236 -x9366 -x6692 -x6335 -x4320 -x3598 -x1703 -x1099 -x515 -x7882 -x6691 -x6339 x5308 -x4322 -x3605 x3117 -x1098 -x516 x10237 -x8288 -x7883 x6693 -x6338 -x5312 -x4325 -x3599 x3118 -x1096 x8287 -x7886 -x6697 -x6336 -x4393 -x4324 -x3600 x1574 -x1097 -x459 -x7884 -x6696 -x6337 -x5313 -x4397 x4369 -x4329 -x3601 -x464 x8893 x8289 -x7885 -x6694 x4368 -x4328 -x2041 x1573 -x463 -x245 -x8291 -x6695 -x4326 x2045 x1577 x8892 -x6553 -x5101 x4370 -x4327 -x466 -x8292 -x6552 x5105 -x4372 x1578 -x467 x8898 x8294 -x6554 -x470 x9188 x8896 x8295 -x6557 -x4373 -x468 x9187 x8451 x6556 -x4375 -x469 -x9193 x8897 x6561 -x4376 -x9192 x8901 -x8454 x6560 -x5974 x3690 x9194 -x8455 x6558 x9198 x6559 x3689 x2483 x9197 x6500 -x2487 x9195 x6499 -x6074 -x2486 x9196 x10433 x9582 x6782 -x5146 -x4648 -x3814 -x1034 x878 -x10437 -x9587 -x5150 x4650 -x4503 -x3810 x1033 x6787 x4649 -x4505 -x3809 -x1044 x884 -x414 x6790 -x4657 x4506 -x2192 -x9589 x6794 -x4517 x2602 -x2194 x887 -x635 -x417 -x9590 x6793 x2606 -x2199 x885 -x8526 -x6888 -x6142 -x2196 x757 -x8530 x6146 -x5264 -x4592 -x2205 -x761 x10457 x9993 -x8004 -x5263 -x4606 x9997 x8008 -x4602 x10463 x6455 -x5271 -x4601 -x1429 -x1157 -x763 -x6459 x5274 -x764 -x10727 x9999 x9880 -x7692 -x7004 -x6808 -x5278 -x3911 -x1160 x10731 x10000 x9884 -x7693 -x6812 -x5277 -x5166 -x965 -x10466 -x7688 -x7010 -x6461 -x6403 -x5168 -x4905 -x3917 -x1902 -x966 -x682 x6530 -x6462 -x6407 -x5941 x5173 -x2084 -x1903 -x967 -x686 -x10733 -x7686 -x7015 x6532 -x6102 -x5940 x5170 -x2085 -x1898 -x978 -x10734 x6537 -x6103 -x5179 -x4130 x2086 -x8771 -x7018 x6534 -x6098 x5948 x4975 -x4132 -x3920 -x2245 -x2097 -x1896 -x688 -x7016 x6543 -x5951 x4979 -x4137 -x2249 -x689 x10358 x8963 -x8774 x6641 -x6096 -x5955 -x4134 -x1824 x10362 x7327 -x5954 -x4143 -x10109 x8969 x7328 -x6647 -x1827 -x1798 x10113 -x9765 -x7631 x7329 -x1802 -x1111 x10364 -x9766 -x8974 -x8202 -x7633 -x7340 -x5846 -x1125 -x553 -x10365 -x9767 -x8720 x8206 -x7638 -x4632 -x1121 -x9778 x8977 -x8722 -x7756 -x7635 -x6650 x5849 -x4646 -x1120 x559 x10154 x8975 -x8727 -x7757 -x7644 -x4642 -x3497 x10153 x9929 -x8724 -x7752 -x4641 -x3499 x564 x9933 -x8733 -x3504 x2392 x10161 -x7750 -x3501 -x2406 -x567 -x10164 -x3510 -x2762 x2402 -x565 -x152 -x10168 x9339 -x8917 -x5995 -x2761 x2401 -x154 -x10167 x9343 -x2697 x159 -x8923 -x6609 -x5998 x3288 -x2769 -x2699 x1401 x156 -x6610 -x4255 -x4082 -x2772 x2704 -x1405 -x165 -x9345 x7519 -x6617 -x6605 -x5071 -x4269 -x4081 x3294 -x2776 x2701 -x9346 -x8347 x7523 -x4265 -x2775 -x2710 -x8926 -x8346 x7724 -x6620 -x6603 -x5077 -x4264 -x4089 -x1407 -x578 x7728 -x4092 -x1408 x9047 -x9019 x8354 -x8095 -x5082 x4096 x3297 -x584 -x9023 x8357 -x8099 x4095 x1845 -x1372 x8361 -x7730 -x5085 x1846 -x1374 -x589 x9359 x8360 -x7731 -x5083 x1847 x1379 -x505 -x9855 x9360 -x9025 -x2841 -x1858 x1376 -x592 -x507 x9361 -x9026 -x2845 x1385 -x590 x512 -x9858 -x9372 x1700 -x1454 x509 -x7874 -x6330 -x1704 -x1093 -x518 x10234 -x7876 -x6358 -x6331 -x3608 x3113 -x2345 -x1107 x10238 -x7881 x6688 -x6332 -x3609 -x2349 -x1103 -x7878 x6689 -x6343 -x5576 x5310 -x3604 x3119 -x1706 -x1102 -x8283 -x7887 x6690 -x5314 -x4323 -x1707 x10240 -x8282 -x6701 -x4392 -x4337 -x3602 -x1649 -x241 x10241 -x4396 -x4364 -x4333 -x1653 -x458 x8888 x8290 -x5316 -x4363 -x4332 x3122 -x2040 x1575 -x460 -x244 -x8293 -x5317 x2044 x1579 -x465 -x9317 x8894 x8297 -x5100 x4371 -x462 x8296 x5104 -x4374 -x471 x8899 -x4378 -x1581 -x6555 -x4377 -x1582 x8902 x8450 -x6569 -x5970 -x4212 x9189 x8900 x6565 x9190 -x8456 x6564 -x5973 x9191 x9202 -x8501 -x6070 x3691 -x8505 -x6496 x2482 -x8459 -x6495 -x6073 x2484 -x1554 -x2488 x3693 -x2750 x3694 -x2754 x10757 x10432 x9584 -x7615 -x5148 -x3813 -x1047 -x876 -x10436 -x9588 x6781 -x5152 -x4647 -x1048 x880 -x9592 x6783 x4665 -x4520 -x3807 -x1043 x877 -x631 -x413 -x9591 x6784 -x4661 -x4521 x888 -x751 -x6884 -x6798 -x5154 -x4660 -x4516 -x3808 x2604 x2578 -x1041 -x750 -x634 -x419 -x9987 -x5155 x2608 -x2582 -x2195 -x10453 -x9986 -x8525 -x6887 -x6144 x4876 -x4603 -x4514 -x2213 x758 -x8529 -x6449 x6148 -x4880 -x4605 -x2209 -x762 x10459 x9994 -x8003 -x6448 -x5800 -x2610 -x2208 -x1425 -x766 -x422 -x10721 x9998 x8007 -x5265 -x2611 -x765 x10720 x10464 x10002 -x7691 x6456 -x6150 -x5266 -x4599 -x3907 -x3787 -x1428 -x1156 x10001 -x7690 -x6460 -x6151 x5267 -x676 -x10728 -x10467 x9879 -x6810 -x6464 -x5282 -x4901 -x4600 -x3913 -x1901 -x1162 -x675 x10732 -x10465 x9883 -x7003 -x6814 -x6463 -x1900 -x10736 -x7005 -x6405 -x6101 -x4904 x4545 -x4162 -x3918 -x981 -x683 -x10735 -x7011 -x6409 -x6100 -x5169 -x4549 -x982 -x687 -x7687 x7007 -x6816 x5244 -x5187 -x3921 -x2100 -x1165 -x977 -x691 x10352 -x7019 -x6817 x6533 -x5942 -x5248 -x5183 -x3919 -x2101 -x690 x10351 -x8770 -x7983 -x6637 x6551 x6411 -x5943 -x5182 x4977 -x2244 -x2096 -x1897 -x975 -x6547 x6412 x5944 x4981 -x4133 -x2248 x10359 -x8776 x6643 -x6546 -x6097 -x5959 -x5825 -x4151 -x2094 -x1823 x10363 x8962 -x4147 x10367 -x10108 x8964 x7343 -x6648 -x5395 -x4983 -x4146 -x1829 -x1800 -x1122 x10366 x10112 x8970 x7344 -x4984 -x1804 -x1124 -x9781 x8966 -x8779 -x8204 -x7755 -x7339 -x6651 -x5845 -x4643 -x9782 x8978 x8208 -x7754 -x7634 -x6649 -x4645 -x552 -x9777 -x7652 -x7337 x5851 x1832 -x1806 -x1118 -x554 -x8723 -x7648 -x1807 x560 x9931 -x9775 -x8741 -x8210 -x7647 -x4639 -x2403 -x1119 x556 x10155 x9935 x9333 -x8737 -x8211 -x3500 -x2405 -x568 x10156 x9332 -x8913 -x8736 -x7751 -x7084 -x5854 -x4640 -x3518 x10157 -x7088 -x3514 -x1395 -x10172 x9937 x9340 -x8919 -x6608 -x5994 -x3513 -x3284 x2399 -x1394 -x1136 x9938 x9344 -x6607 -x2763 -x155 -x9348 -x8924 -x6000 -x4266 x3290 -x2764 x2400 x1402 x173 -x83 -x9347 -x7718 -x4268 -x2765 -x2700 -x1406 -x169 x87 -x8927 -x7717 x7521 -x6616 x3295 -x2780 x2718 -x1410 -x993 -x168 -x9013 -x8925 x7525 -x5070 -x4083 -x2714 -x1409 -x9043 -x9012 x7725 -x6622 -x6604 -x6003 -x5072 -x4262 -x4084 x3298 -x2713 -x8348 x7729 -x5078 x4085 x3296 -x577 x9046 -x9020 -x8349 -x8094 -x7733 -x7527 x5074 -x4263 -x4100 -x579 -x9024 x8350 -x8098 -x7732 -x7528 -x5086 -x585 -x9028 x8365 x6625 -x3268 x1861 -x581 -x9027 x1862 -x1694 -x1375 -x593 -x9854 -x9375 -x2840 -x1857 x1693 x1450 -x1393 -x10228 -x9376 -x2844 -x1389 -x508 x10227 -x9860 -x9371 x6354 -x3607 -x3109 -x1855 x1701 -x1453 -x1388 -x1104 x526 x5304 -x3606 -x1705 -x1106 -x522 x10235 -x9369 -x6357 -x6346 -x5572 x5303 x3115 -x2344 -x1709 -x521 x10239 -x7877 -x6347 -x2348 -x1708 x10243 -x9863 -x7895 -x6704 -x6342 -x5575 x5311 -x4334 x3120 -x2941 -x1100 x10242 -x7891 -x6705 -x5315 -x4336 -x2945 x1569 -x8555 -x7890 -x7306 -x6700 -x6340 -x5319 -x4394 -x3603 x3123 -x1648 x1568 -x1101 -x240 -x8284 -x7310 -x5318 -x4398 x3121 -x1652 -x9313 -x8285 -x6698 -x6168 -x4330 -x2042 x1576 -x246 x8887 x8286 -x6172 -x4365 x2046 x1580 -x461 -x9316 x8889 -x8301 -x5102 -x4400 -x4366 -x4331 x1584 -x479 x8895 x5106 -x4401 x4367 -x1583 -x475 x8891 -x8446 -x6909 -x6566 x4382 -x4208 x2048 -x474 -x249 x8903 -x6913 -x6568 x2049 -x10258 x8452 -x5969 -x5108 -x4955 -x4211 -x10262 -x5109 x3686 x9205 -x8457 x6562 -x5975 x3685 x9206 x9201 -x8500 -x8460 x6563 -x6069 x3692 -x1550 -x8504 -x8458 x9199 -x6075 -x5978 x3696 -x1553 -x6497 x3695 x2485 -x7113 x6498 -x3821 -x2749 x2496 -x3825 -x2753 x2492 x10434 -x9581 -x8604 -x7614 -x5149 x4662 -x4519 -x3811 -x1045 -x409 -x10438 x9580 -x5153 x4664 -x4518 -x2598 -x875 x9596 -x6801 -x5157 x2597 -x896 x630 -x415 -x6802 -x6138 -x5156 -x892 -x10440 -x6883 -x6797 -x6137 -x4658 x2605 x2577 -x2210 -x2108 -x1042 -x891 -x636 -x420 -x10441 -x4604 x2609 x2581 -x2212 -x2112 -x752 -x8527 -x6889 -x6795 -x6145 -x5796 x4875 -x4659 -x4515 -x2613 -x753 -x423 -x10452 -x9988 x8531 x6149 -x4879 -x2612 x754 -x421 -x10454 -x9989 -x8005 -x6153 -x5799 -x3783 -x2206 -x1424 -x1152 -x770 x735 x639 x10460 x9990 x8009 -x6804 -x6450 -x6152 x10456 x10006 -x8533 -x6892 -x6803 -x6451 -x6122 x5285 -x3786 -x2207 -x1430 -x1158 x10722 -x10468 -x8534 x6452 -x6399 x5286 -x3906 x10723 x9881 -x8011 -x6811 -x6468 -x6398 -x5281 -x4900 -x4158 -x3908 -x1163 -x980 x10724 x9885 -x8012 -x6815 -x3914 -x979 -x677 x10740 -x6819 -x6406 -x5279 -x5184 -x4906 x4544 -x4161 -x4111 x3910 -x2099 -x1433 -x1166 -x678 -x7006 -x6818 -x6410 -x5186 -x4971 -x4548 -x4115 -x3922 -x2098 -x1164 -x679 -x9887 -x8766 -x7979 x7027 x6548 x6414 x5243 -x4970 -x695 -x9888 -x7023 x6550 x6413 -x5247 -x8772 -x7982 -x7022 -x5962 -x5821 -x5180 x4978 -x4909 -x4148 -x2246 -x1819 -x976 x10353 -x6636 -x5963 x4982 -x4150 -x2250 -x1794 x10354 -x8993 -x8777 x7342 -x6638 -x6544 -x5958 -x5824 -x5391 -x5181 x4986 -x2095 -x1825 -x1793 x10355 -x8997 -x8198 x7341 x6644 x4985 -x1123 x10371 -x10110 -x9780 -x8780 -x8197 x6640 -x6545 -x5956 -x5841 -x5394 -x4144 -x2252 -x1830 -x1801 x10114 -x9779 x8965 -x8778 -x6652 -x4644 -x2253 -x1805 x8986 -x8205 -x7649 -x5847 -x4145 x1833 -x1809 -x9925 -x8982 x8209 -x7651 x1831 -x1808 x10116 -x9924 -x9242 -x8981 -x8738 -x8213 -x7338 x5852 x10117 -x8740 -x8212 -x2404 -x555 x9932 -x9776 -x7645 -x5855 -x3515 -x576 x9936 -x5853 -x3517 -x572 -x10175 x9940 -x8734 -x7646 -x7083 -x5990 x3966 x1132 -x571 -x10176 x9939 x9334 -x8912 -x7087 -x10171 x9335 -x8914 -x8735 -x5996 -x3511 -x1135 -x170 x9336 -x8920 -x7515 -x4267 -x3283 -x1396 x172 -x10169 -x9352 x8916 -x7514 -x7135 -x6612 -x6001 -x3512 -x3285 -x2783 x2715 -x1397 -x989 -x82 -x8928 x3291 -x2784 x2717 x1398 x86 -x9905 x7522 -x6618 -x6004 -x3858 x3287 -x2779 -x1414 -x992 -x166 -x9909 -x7719 x7526 -x6002 x3299 x9042 -x7720 -x7530 -x6623 -x4103 -x2777 -x2711 -x167 -x9014 x7721 -x7529 -x5073 -x4104 x9048 -x9015 -x8368 -x8096 -x7737 x6626 x5094 -x4099 -x3264 -x2712 x1860 -x9016 -x8369 -x8100 x6624 -x5090 x1859 -x580 -x9850 -x9374 -x9032 x8364 -x6511 -x5089 -x4097 -x3267 -x1390 -x601 -x9373 -x6515 -x1392 -x597 -x9856 -x9051 x8362 -x8102 -x2842 x1449 -x596 x523 -x8 -x8103 -x2846 x1695 -x1105 x525 -x12 -x9861 x6353 -x6345 -x1856 x1696 -x1455 -x1386 x10229 -x6344 -x3108 x1697 x10230 -x9864 -x9370 -x7892 -x6703 -x6359 -x5571 -x3110 -x2848 -x2346 x1713 -x1387 -x519 x10231 -x9862 -x7894 -x6702 x5305 -x4388 -x4335 x3116 -x2849 -x2350 -x10247 x8551 -x5577 x5306 -x4387 x3112 -x2940 -x1458 -x520 x236 x5307 x3124 -x2944 -x2036 -x8554 -x7888 -x7305 -x6362 -x6341 -x5323 -x4395 -x2352 -x2035 -x1650 -x242 -x7309 x5096 -x4399 -x2353 -x1654 x1570 -x9312 -x8304 -x7889 -x6699 -x6167 -x5580 x5095 -x4403 -x2043 x1571 -x476 -x247 -x8305 -x6171 -x4402 x2047 x1572 -x478 -x9318 -x8300 -x5103 -x4385 -x2816 x2051 x1656 -x1588 -x250 x8890 -x6567 x5107 -x4386 x2820 x2050
3600.01/3609.60	v x1657 -x248 -x8911 -x8298 -x6908 -x5965 -x5111 -x4951 x4381 -x4207 -x472 x8907 -x8445 -x6912 -x5110 -x10257 -x9321 x9204 x8906 -x8447 -x5971 -x5026 -x4954 x4379 -x4213 -x473 -x10261 x9203 x8453 -x5030 x8449 x6065 -x5976 -x8461 x3687 -x8502 -x6071 -x5979 -x4216 x3688 -x1549 -x8506 -x5977 x9200 x7109 -x6076 -x5701 -x3700 x2493 -x1555 x2495 -x8850 x8508 -x7112 -x6503 -x6077 -x3820 x2751 x8509 -x6504 -x6078 -x3824 x2755 -x2491 x10435 x9599 -x8603 -x7616 -x6800 -x5145 x4663 -x3812 -x1046 -x893 -x626 -x10439 x9600 -x6799 x5144 -x895 -x408 -x10443 x9595 -x6879 -x5161 x632 -x410 -x10442 -x8521 x2599 -x2211 -x416 x9593 -x8520 -x7620 x6885 x2600 x2579 -x2107 -x889 -x637 -x412 -x7999 -x6139 x2601 x2583 -x2111 -x424 -x8528 -x7998 -x7206 -x6890 -x6796 -x6140 -x5795 x4877 -x2617 -x1420 -x890 -x773 -x731 x640 x8532 -x7210 x6141 -x4881 -x774 x638 -x10009 -x8536 -x8006 -x6893 -x6157 -x6118 -x5801 x5284 -x3782 -x2585 -x1426 -x769 x734 -x10455 -x10010 -x9875 -x8535 x8010 -x6891 x5283 -x2586 -x1151 -x10476 x10005 -x9874 -x8014 -x6471 -x6121 -x4896 -x4883 -x3788 -x1431 -x1153 -x767 -x10472 -x8013 -x6805 -x6472 -x4884 -x1159 -x10743 -x10471 x10003 x9882 -x6806 -x6467 -x5804 -x4902 -x4157 -x1434 -x1155 -x10744 x9886 -x6807 -x6400 -x5185 -x3909 -x1432 -x1167 x10739 -x9890 x7024 -x6823 -x6465 -x6401 -x5280 -x4907 x4546 -x4163 -x4110 -x3930 -x3791 -x698 -x9889 x7026 -x6549 x6402 -x4550 -x4114 x3926 -x2240 -x699 x10737 -x7978 x6418 -x5961 x5245 -x4910 -x4041 x3925 -x2239 -x694 -x8765 -x5960 -x5249 -x4972 -x4908 -x4149 -x8767 -x7984 -x7020 -x5820 x5551 -x4973 -x4552 -x4166 -x2247 -x692 -x10104 -x8773 x4974 -x4553 -x2251 -x1818 -x10374 -x10103 -x8992 -x8769 -x7021 -x5826 -x5390 -x5251 x4990 x3143 -x2255 -x1820 -x10375 -x8996 -x8781 -x6639 -x5252 -x2254 -x1826 -x1795 x10370 -x10111 x8983 -x7987 -x6660 -x5957 -x5396 x1822 -x1796 x10115 x8985 -x8199 -x7650 -x6656 -x5840 x1834 -x1797 x10368 x10119 x9238 -x8200 -x6655 -x5842 -x5829 -x1813 x10118 -x8739 x8201 -x5848 -x9241 -x8979 -x8217 x5844 -x5399 x2270 -x573 -x9926 -x5856 -x3516 x2274 -x575 -x10174 -x9927 -x8980 -x7599 x3962 -x10173 x9928 -x9944 -x7085 x3965 x1131 -x569 -x7089 -x5989 -x171 -x9355 -x7131 -x5991 -x2782 x2438 -x1137 -x570 -x9356 -x8915 -x5997 -x2781 x2716 x2442 -x10170 -x9351 -x8936 -x7134 -x7091 -x5993 x3854 -x1417 -x988 -x84 -x8932 -x7516 -x7092 -x6611 -x6005 -x3286 -x1418 x88 x10299 -x9904 -x9349 -x9038 -x8931 -x7517 -x6613 -x4102 -x3857 -x3307 -x1413 -x1140 -x994 -x10303 -x9908 -x8090 x7518 -x6619 -x4101 -x3303 -x10021 x9044 -x8367 -x8089 -x7740 x7534 x6615 x5091 -x3302 -x2778 -x1411 -x90 -x8366 -x7741 x6627 x5093 -x91 x9049 -x9035 -x8097 -x7736 x7260 -x3263 -x997 -x598 -x9036 -x8101 -x2836 -x1391 -x600 -x9052 -x9031 -x8105 -x7734 -x6510 -x5087 -x4098 -x3269 -x2835 -x1445 -x9849 -x9050 -x8104 -x6514 x524 -x9851 -x9029 x8363 -x6349 -x5088 x3193 -x2843 x1451 -x594 -x7 -x9857 -x2847 -x2340 -x11 -x9853 x6355 -x5567 -x4930 -x3272 -x2851 -x2339 -x1716 -x1456 -x595 -x9865 -x7893 -x2850 -x1717 -x10250 -x6360 -x5573 -x5223 -x2347 x1712 -x1459 -x10251 -x3111 -x2351 -x1644 -x1457 -x10246 x8550 -x6363 -x5578 -x5326 -x3132 -x2942 -x2355 x1710 -x1643 -x6361 -x5327 -x4389 -x3128 -x2946 -x2354 x235 -x10244 -x10063 -x9308 -x8556 -x8303 -x7307 x6020 -x5581 -x5322 -x4390 -x3127 -x1651 x237 -x8302 -x7311 x6024 -x5579 -x4391 -x2037 -x1655 -x477 -x243 -x9314 -x8680 -x6169 -x5320 -x4407 -x4384 -x2948 -x2038 x1659 -x1591 x239 -x6173 x5097 -x4383 -x2949 x2039 x1658 -x1592 -x251 -x9319 -x8908 -x8559 -x7313 x5098 -x4203 x2815 -x2055 -x1587 -x8910 -x7314 x5099 x2819 -x9322 -x8299 -x6910 -x6175 x5115 -x4950 -x4209 -x1585 -x9320 -x6914 -x6176 -x5964 -x10259 x8904 -x5966 -x5025 -x4956 x4380 -x4214 -x10263 -x8496 -x8448 -x5972 -x5029 x8905 -x8495 x8469 -x6916 -x5968 -x4217 -x1545 -x1186 x8465 -x6917 x6064 -x5980 -x4215 -x10265 -x8503 x8464 x6066 -x5697 -x4959 -x3703 -x2895 -x1551 -x10266 -x8507 -x6072 -x3704 -x2745 x2494 -x8846 x8511 x7108 -x6502 x6068 -x5700 -x3699 -x2744 -x1556 x8510 -x6501 -x6079 -x8849 -x7114 -x3822 -x3697 x2752 -x1557 -x3826 x2756 -x2489 -x1558 x10431 x9597 -x8605 -x7617 x5164 -x894 x10430 x5165 -x2573 -x625 -x10447 -x7621 -x5160 -x2572 -x627 -x7619 -x6878 -x4871 x633 -x411 x9594 x8609 -x6880 -x5791 -x5158 -x4870 -x2620 x2580 -x2109 -x772 x629 -x432 -x8522 x6886 -x2621 x2584 -x2113 -x771 x641 -x428 -x10008 -x8523 -x8124 -x7205 x6882 -x6160 -x5797 x4878 -x3778 -x2616 -x2588 x730 -x427 -x10007 x8524 -x8000 -x7209 -x6894 -x6161 -x4882 -x2587 -x1419 -x10473 -x8540 -x8001 -x6470 -x6156 x6117 -x5802 -x4886 -x3784 -x2614 -x2115 -x1421 x736 -x10475 x8002 -x6469 -x4885 -x2116 -x1427 -x10742 -x8018 x6222 -x6154 -x6123 -x5805 -x4153 -x3789 -x1423 -x768 -x10741 -x9876 -x5803 -x4895 -x4540 -x1435 -x1154 -x10469 x10004 -x9877 -x6826 -x4897 x4539 -x4159 -x3927 -x3792 -x1175 x739 -x697 x9878 x7025 -x6827 -x5239 -x4903 -x3929 -x3790 -x1171 -x696 -x10470 x9894 -x7974 -x7768 -x6822 -x6466 -x6421 -x6126 -x5238 -x4899 x4547 -x4164 -x4112 -x4037 -x1170 -x6422 -x4911 -x4551 -x4116 x10738 -x7980 -x6820 x6417 -x5816 -x5547 x5246 -x4555 -x4167 -x4040 x3923 -x5250 -x4554 -x4165 -x2241 -x10373 -x7985 x6415 -x5822 x5550 -x5386 -x5254 -x4993 -x4118 x3924 x3139 -x2242 -x693 -x10372 -x8768 -x5253 -x4994 -x4119 -x2243 -x8994 -x8789 -x7988 -x6657 -x5827 -x5392 x4989 x3142 -x2259 -x10105 -x8998 x8984 -x8785 -x7986 -x6659 -x1821 -x10106 -x8784 -x5830 -x5397 x4987 -x1842 -x1816 x10107 -x5828 -x1838 -x1817 x10369 -x10123 x9237 -x9000 -x8220 -x6653 -x5400 -x1837 -x1812 -x9001 -x8221 -x5843 -x5398 -x574 -x9243 -x8216 -x7595 -x6654 x6268 -x5864 x2269 -x1810 -x7079 x6272 -x5860 x2273 -x9947 -x8214 -x7598 -x7078 -x5859 x3961 -x1127 -x9948 -x9943 -x9354 -x9246 -x7929 -x7086 x3967 x1133 -x9353 -x7933 -x7090 -x78 -x9941 -x9408 -x8933 -x7130 -x7094 x2437 -x1416 -x1138 -x984 -x77 -x9412 -x8935 -x7093 -x5992 x2441 -x1415 -x7136 -x6013 -x3970 x3853 -x3304 -x1141 -x990 -x85 -x6009 -x3306 -x1139 x89 x10298 x10017 -x9906 -x9350 -x8929 -x7739 -x7537 -x6762 -x6008 -x3859 -x995 -x93 -x10302 -x9910 -x9037 -x7738 -x7538 x6766 -x6614 x5092 -x92 -x10020 -x9039 -x9034 -x8930 x7533 -x7256 x7139 -x6635 -x3300 -x3259 -x1412 -x998 x9045 -x9033 -x8091 -x6631 -x996 -x599 x9912 x9041 -x8092 -x7531 x7259 -x6630 x5750 -x3862 -x3301 -x3265 x9913 -x9053 -x8093 -x8376 -x8109 -x7735 -x6512 -x3579 -x3270 -x3189 x8380 -x6516 -x2837 -x1444 -x9030 x4926 -x3273 x3192 -x2838 -x1715 -x1446 -x9 -x9852 -x6348 -x3271 -x2839 -x1714 x1452 -x13 -x10249 -x9873 -x6518 -x6350 -x5219 -x4929 -x2855 x1448 -x112 -x10248 -x9869 -x6519 x6356 -x5566 x2936 -x2341 -x1460 -x9868 -x8546 x6352 -x5568 -x5325 -x5222 -x3129 x2935 -x2342 x1979 -x15 x7301 -x6364 -x5574 -x5324 -x3131 -x2343 x1983 -x16 -x10059 x8552 x7300 -x5570 -x2943 -x2359 x1711 -x6163 -x5582 -x2947 -x1645 -x10245 -x10062 x8676 -x8557 -x7308 -x6162 x6019 -x4410 -x3125 -x2951 -x1646 -x1590 -x9307 -x7312 x6023 -x4411 -x2950 x1647 -x1589 x238 -x9309 -x8679 -x8560 -x7316 -x6170 -x5321 -x4406 -x3126 -x2058 -x1663 -x259 -x9315 -x8909 -x8558 -x7315 -x6904 -x6174 -x2059 -x255 -x9311 -x6903 -x6178 -x5118 -x4946 -x4404 -x3168 x2817 -x2220 -x2054 -x254 x10253 -x9323 -x6177 -x5119 -x4202 x2821 x2224 x10252 -x6911 x5114 -x4952 -x4204 -x2052 -x1586 -x1504 -x6915 -x4210 -x10260 x8466 -x6919 x5112 -x5027 -x4957 -x4206 -x2823 -x1182 -x10264 x8468 -x6918 -x5967 -x5031 -x4218 -x2824 -x10268 -x5988 -x4960 -x3702 -x2891 x2370 -x1185 -x10267 -x8497 -x5984 -x4958 -x3701 x2374 -x1544 -x8498 x8462 -x7104 -x5983 -x5696 -x5033 -x2894 -x1546 x8499 x6067 -x5034 -x3816 -x1552 -x8845 x8515 x8463 x7110 -x6087 -x5702 -x3815 -x1548 x341 -x6083 -x2746 -x1559 x345 -x8851 -x7115 -x6082 -x3823 -x3698 -x2747 x3827 x2748 -x2490 x10450 x9598 -x8606 -x7618 x5162 x10451 -x7622 -x2103 -x10446 x8610 -x2619 -x2102 x1054 -x429 x8608 -x2618 -x2574 x1058 -x628 -x431 -x10444 x8120 -x6159 -x5159 -x2575 -x2110 -x726 -x649 -x6881 -x6158 -x5790 -x4872 x2576 -x2114 -x645 -x8543 x8123 -x7207 -x6902 -x6113 -x5792 -x4873 x3432 -x2592 -x2118 x732 -x644 -x425 -x10474 -x8544 -x7211 -x6898 -x5798 x4874 -x3777 -x2117 -x8539 -x8021 -x6897 x6218 x6119 -x5794 x4890 -x3779 -x2615 x737 -x426 -x8022 -x5806 -x3785 -x1422 -x8537 -x8017 -x7213 -x6825 x6221 -x6155 -x6124 -x3781 -x3525 -x1443 -x1172 x740 -x7214 -x6824 -x4152 -x4106 -x3928 -x3793 x3529 -x1439 -x1174 x738 -x9897 -x8405 -x8015 x7764 -x6420 x6127 -x4154 -x4105 -x1438 -x9898 -x6419 x6125 -x4898 x4541 -x4160 x9893 -x7767 -x4919 x4542 -x4156 -x4113 -x4036 -x1168 -x7973 -x5240 -x4915 x4543 -x4168 -x4117 x9891 -x7975 -x6821 -x5546 -x5241 -x4992 -x4914 -x4559 -x4121 -x4042 -x1169 -x8988 -x7981 -x5815 x5242 -x4991 -x4120 -x8987 -x8786 -x8630 -x7977 x6416 -x5817 -x5647 x5552 -x5258 x3138 -x2262 -x8788 -x7989 -x6658 -x5823 -x5651 -x5385 -x2263 -x8995 -x5819 -x5387 -x4045 x3144 -x2258 -x1839 -x1815 -x1674 -x8999 -x5831 -x5393 -x1841 -x1814 -x1678 -x10126 -x9233 -x9003 -x8782 -x8219 -x5555 -x5389 x4988 -x3453 -x2256 -x10127 -x9002 -x8218 -x5401 -x3457 -x10122 x9500 x9239 -x8783 -x5861 -x3147 -x1835 -x5863 -x10120 -x9946 -x9244 x7594 x6267 -x3957 x2271 -x1836 -x1811 -x9945 x6271 x2275 x9247 -x8215 -x7600 -x5857 x3963 x9245 -x7080 -x1126 x7928 -x7126 -x7081 -x5858 x3968 -x2277 -x1128 -x8934 -x7932 -x7082 -x2278 x1134 -x9942 -x9407 -x7603 -x7132 -x7098 -x6010 -x3971 x3849 x2439 x1130 -x9900 -x9411 -x6012 -x3969 -x3305 x2443 -x1142 -x983 -x79 -x9899 x8825 -x7536 -x7137 x3855 -x985 -x80 -x7535 -x991 x81 x10300 x10016 -x9907 x7140 -x6761 -x6632 -x6006 -x3860 -x2445 -x987 -x97 -x10304 -x9911 x7138 x6765 -x6634 -x2446 -x999 -x10022 x9915 -x7255 -x6007 -x5746 -x5055 x3863 x9914 -x9040 -x6506 x3861 -x3258 -x10306 -x9061 -x8112 -x7532 x7261 -x6628 -x6505 x5749 -x3575 -x3260 -x10307 -x9057 -x8113 -x3266 -x3 -x10025 -x9056 -x8375 -x8108 -x6629 -x6513 -x3578 -x3262 -x3188 -x2 x8379 -x6517 -x3274 -x9870 -x8106 -x7264 -x6521 x4925 x3194 -x2858 x108 -x10 -x9872 -x6520 -x2859 -x1447 -x14 -x5218 -x4931 -x2854 -x1468 -x111 -x18 -x6351 -x3130 -x1464 -x17 -x9866 -x6934 -x6372 -x5224 -x3197 -x2852 -x2362 x1978 -x1463 -x8545 -x6938 -x6368 -x5569 x2937 -x2363 x1982 -x10058 -x9867 -x8547 -x8480 -x6367 -x6309 -x5590 -x4934 -x4409 x2938 -x2358 x8553 x7302 x6313 -x5586 -x4408 x2939 -x10064 -x9072 x8675 x8549 x7303 x6021 -x5585 -x5522 -x5227 -x2955 -x2356 -x2057 -x1666 -x256 -x8561 x7304 -x6164 x6025 -x5526 -x2811 -x2056 -x1667 -x258 -x8681 -x7320 -x6165 x5363 -x5117 -x3616 x3164 -x2810 -x1662 -x9310 -x6166 -x5116 x3620 -x10067 -x9331 -x6182 -x6027 -x4405 -x3167 x2818 -x2219 -x1660 x1500 -x252 -x9327 -x6905 -x6028 -x5021 -x4945 x2822 x2223 -x9326 -x8684 -x6906 -x5020 -x4947 -x2826 x2657 -x2053 -x1724 -x1503 -x253 x10254 x8467 x6907 -x4953 -x4205 -x2825 -x1728 x10255 -x6923 -x5985 -x5113 -x5028 -x4949 -x4226 -x1181 x10256 -x5987 -x5032 -x4961 -x4222 x10272 -x5692 -x5036 -x4726 -x4221 -x2890 x2369 -x1187 -x5035 x2373 -x8947 x8841 -x8518 -x6084 -x5981 -x5698 -x2896 -x8519 -x7103 -x6086 -x1547 -x8847 x8514 -x7105 -x5982 -x5703 -x1567 x1190 x340 x7111 -x3817 -x1563 x344 -x8852 x8512 x7107 -x6080 -x5704 -x3818 -x2899 x2759 -x1562 -x7116 -x5705 x3819 x2760 x10448 x8607 -x7630 -x5163 x8611 -x7626 -x430 -x7625 x1206 x1053 -x646 -x7201 -x2104 -x1210 x1057 -x648 -x10445 -x8542 x8119 -x7200 -x6899 -x6243 -x3428 -x2595 -x2105 -x8541 -x6901 x6247 -x2596 -x2106 -x725 x8125 -x8020 -x7208 x4893 x3431 -x2591 -x2122 -x727 -x642 -x8019 -x7212 -x6112 -x5793 x4894 x733 -x7216 -x6895 x6217 -x6114 -x5814 x4889 -x2589 -x1440 x729 -x643 -x7215 x6120 -x5810 -x3780 -x1442 -x1173 x741 -x9896 -x8538 x8401 -x8128 -x7834 -x6896 x6223 x6116 -x5809 x4887 -x3801 -x3524 -x9895 x6128 -x3797 x3528 -x8404 -x8016 x7763 -x5871 -x4916 -x4032 -x3796 -x1436 -x5875 -x4918 -x4155 -x4107 -x7769 x6226 -x5542 -x4562 -x4176 -x4108 -x4038 -x1437 -x291 -x4563 -x4172 -x4109 x295 x9892 -x8626 -x5548 -x5261 -x4912 -x4558 -x4171 -x4125 -x4043 x3991 -x3550 x3134 -x2261 -x8787 -x7976 -x5262 -x3554 -x2260 -x8629 -x7997 x7772 -x5646 x5553 -x5257 -x4913 -x4556 -x4046 x3140 -x2004 x8989 -x7993 -x5818 -x5650 -x4044 -x2008 -x1840 -x10125 x8990 -x7992 -x5839 -x5556 -x5255 x3145 -x2532 -x1673 -x10124 x8991 -x5835 -x5554 -x5388 -x1677 -x9496 -x9007 x6197 -x5834 -x5409 x3452 x3148 -x2257 -x9232 -x5862 -x5405 x3456 x3146 -x2265 -x10088 x9499 -x9234 -x7590 -x5404 -x2264 x9240 -x10121 x9236 x7596 x6963 x6269 -x6045 x2272 x9248 x6273 -x6049 -x3956 x2276 -x7601 -x3958 -x3243 -x2280 x3964 -x2433 -x2279 x7930 -x7604 -x7101 -x6275 x3960 -x2432 x133 -x7934 -x7602 x7125 -x7102 -x6276 -x6011 -x3972 -x1129 x137 -x9409 -x8821 x7127 -x7097 x2440 -x1150 x10294 -x9413 -x7133 x3848 x2444 -x1146 x10293 -x10012 x8824 -x7936 x7129 -x7095 x3850 -x2448 -x1145 -x100 -x9901 -x7937 x7141 -x6633 x3856 -x2447 -x986 -x101 x10301 x10018 -x9902 -x9415 -x7251 -x6763 -x5051 x3852 -x1007 -x96 -x10305 x9903 -x9416 x6767 x3864 -x1003 -x10309 -x10023 -x9919 -x9058 -x8111 -x7257 -x5745 -x5054 -x1002 -x94 -x10308 -x9060 -x8110 -x10026 -x7574 x7262 -x6769 x5751 x3574 -x3184 -x10024 -x6770 -x6507 -x3261 -x9054 -x8377 -x8328 -x7265 -x6508 -x5447 x4921 -x3580 -x3282 -x3190 -x2857 -x9871 x8381 -x7263 -x6509 -x5451 -x3278 -x2856 -x4 -x9055 -x8872 -x8107 -x6525 -x5754 -x5214 x4927 -x3277 x3195 -x2295 -x1465 x107 -x5 -x2299 -x1467 x6 -x8383 -x7545 -x6369 -x5220 -x4932 x3583 -x3198 -x2361 -x113 x22 -x8384 x7549 -x6371 -x3196 -x2360 -x10054 x8476 -x6933 -x5587 -x5225 -x4935 -x2853 -x2553 x1980 -x1461 -x6937 x6015 -x5589 -x4933 -x2557 x1984 -x10060 -x9068 -x8671 -x8479 -x6365 -x6308 x6014 -x5228 -x2958 -x1665 -x1462 -x116 -x8548 x6312 -x5226 -x2959 -x1664 -x257 -x10065 -x9071 x8677 -x8569 -x7323
3600.01/3609.60	v -x6366 x6022 -x5583 -x5521 -x5359 -x2954 -x2357 -x1986 -x8565 -x7324 x6026 -x5525 -x1987 -x10068 -x9959 -x9328 -x8682 -x8564 -x7319 -x6185 -x6030 -x5584 x5362 -x3615 x3163 -x2952 -x10066 -x9330 -x6186 -x6029 x3619 -x2812 -x9217 -x8685 -x7317 -x6181 -x3169 -x2813 -x2653 -x2221 -x1661 x1499 -x8683 x2814 x2225 -x9324 -x6926 -x6179 -x4223 -x2830 x2656 -x1723 -x1505 -x1303 -x1177 -x6927 -x5986 -x5022 -x4948 -x4225 -x1727 -x1307 -x10275 -x9325 -x6922 -x5023 -x4969 -x4722 -x3172 -x2886 x2227 -x1183 -x10276 -x5024 -x4965 x2228 x10271 -x8943 -x8517 -x6920 -x5040 -x4964 -x4725 -x4219 -x2892 x2371 x1508 -x1188 -x8516 -x6085 -x5691 x2375 x10269 -x8946 -x5693 -x4220 -x2897 -x1564 x1191 x8840 -x5699 -x1566 x1189 x8842 -x5695 -x3016 -x2900 x2758 -x2377 x342 -x8848 -x7106 -x5706 -x3020 -x2898 x2757 -x2378 x346 x8844 x8513 -x7124 -x6081 -x3830 -x1560 -x8853 -x7120 -x3831 x10449 -x8619 -x7629 -x8615 -x647 -x8614 x8115 -x7623 -x2594 x1205 x1055 -x6900 -x2593 -x1209 x1059 x8121 -x7624 -x6242 -x4892 -x3427 -x2125 x706 -x7202 x6246 x4891 -x2126 x710 x8126 -x7203 x6213 -x5811 -x3666 x3433 -x2121 -x1061 -x7204 -x5813 -x3670 -x1441 -x1062 -x728 -x8129 -x7830 -x7220 x6219 -x3798 -x2590 -x2119 -x749 -x8127 -x6115 -x3800 -x745 x8400 -x7833 x7759 x6224 -x6136 -x5807 x4888 -x3526 -x3436 -x744 -x6132 -x4917 x3530 -x8406 x7765 x6227 -x6131 -x5870 -x5808 -x4561 -x4173 -x3794 -x2507 x6225 -x5874 -x4560 -x4175 -x4031 -x7770 -x5260 -x4128 -x4033 x3987 -x3795 x3532 -x290 -x5541 -x5259 -x4129 -x4039 -x3533 x294 -x10134 -x8625 -x8409 -x7994 x7773 -x5543 -x4169 -x4124 -x4035 x3990 -x3549 x10138 -x7996 x7771 -x5549 -x4047 -x3553 x3133 -x8631 -x5836 -x5648 x5545 -x4557 -x4170 -x4122 x3135 x2528 -x2003 -x1353 -x5838 -x5652 -x5557 x3141 -x2007 -x1357 x9010 -x7990 -x6193 -x5406 -x5256 x3137 x2531 -x1675 x9011 -x5408 x3149 -x1679 -x10084 -x9495 -x9006 -x8634 -x7991 x6196 -x5832 -x5654 x3454 -x6263 -x5655 x3458 -x10087 x9501 -x9004 -x6959 -x6262 -x5833 -x5402 -x4066 -x1681 -x9235 -x7589 -x2266 -x1682 -x9256 -x7591 x6962 x6270 -x6044 -x5403 -x3460 -x3239 -x2267 -x9252 -x7924 x7597 x6274 -x6048 -x3461 x2268 -x9504 -x9251 -x7923 x7593 -x7100 -x6278 -x3242 -x2284 x9403 -x7605 -x7099 -x6277 -x3959 x9402 x7931 -x3980 -x1147 x132 -x58 -x7935 -x3976 -x2434 -x1149 x136 x62 -x9410 -x8820 -x7939 -x3975 -x2435 -x1014 -x99 -x9414 -x7938 x7128 -x6757 x2436 -x1018 -x98 -x9418 x8826 -x7149 -x7096 -x6756 -x2452 -x1143 -x1004 x10295 -x10011 -x9417 -x7145 x3851 -x1006 x10296 -x10013 -x9922 -x7144 -x6764 -x5741 -x5050 x3872 -x1144 x10297 x10019 -x9923 -x9059 -x7250 x6768 -x3868 -x10313 x10015 -x9918 x8829 -x7570 -x7252 -x6772 -x5747 -x5056 -x4237 -x3867 x3570 -x1000 -x95 -x10027 -x8371 x7258 -x6771 -x9916 -x8370 x8324 -x7573 x7254 x5752 x3576 -x3279 -x1001 -x7266 -x3281 x3183 -x8868 -x8378 -x8327 -x6528 -x5755 -x5446 -x5059 -x3581 x3185 x103 x8382 -x6529 -x5753 -x5450 x4920 -x3191 -x1466 -x8871 -x8386 -x6524 x4922 -x4276 x3584 -x3275 x3187 -x2294 x109 -x25 -x8385 -x6370 -x5213 x4928 -x4280 x3582 -x3199 -x2298 -x1974 -x26 -x7544 -x6522 -x5215 x4924 -x3276 -x1973 -x114 -x21 x7548 -x5588 -x5221 -x4936 x8475 -x6935 x5217 -x2957 -x2552 x1981 -x117 -x19 -x10053 -x6939 -x5229 -x2956 -x2556 x1985 -x115 -x10055 -x9067 -x8566 -x8481 -x7322 x6433 -x6310 -x1989 -x200 -x10061 -x8670 -x8568 -x7321 x6314 x6016 -x1988 x204 x10057 x9955 -x9073 -x8672 -x6941 -x6863 -x6184 x6017 -x5523 -x5358 -x3159 -x10069 -x9329 x8678 -x6942 -x6183 x6018 -x5527 -x2215 -x9958 x9213 -x9172 x8674 -x8562 -x8484 -x6316 -x6034 x5364 -x3617 x3165 -x2953 -x2214 -x1495 -x8686 -x6317 x3621 -x9216 -x9076 -x8563 -x7318 -x6925 -x5529 -x3170 -x2833 -x2652 -x2222 x1501 -x6924 -x5530 -x4224 -x2834 x2226 -x10274 -x6180 -x5367 -x4966 x3623 -x3173 -x2829 x2658 x2230 -x1725 -x1506 -x1302 -x10273 -x4968 x3624 -x3171 -x2365 x2229 -x1729 -x1306 -x1176 -x5043 -x4721 -x2827 -x2364 x2177 x1509 -x1178 -x5044 -x2885 x1507 -x1184 -x8942 -x6921 -x5039 -x4962 -x4727 -x2887 -x2661 x2372 x1731 x1180 -x2893 x2376 x1732 -x1565 x1192 -x336 -x10270 x8948 -x5037 -x4963 -x2889 -x2380 -x335 -x5694 -x2901 -x2379 -x7121 -x5714 -x4730 -x3829 -x3015 x343 x8843 -x7123 -x5710 -x3828 -x3019 x347 -x8951 x8861 -x5709 -x4617 -x1561 x348 x8857 -x7119 x349 -x8618 -x7627 x1278 x1050 -x1282 -x9446 -x8612 -x3423 -x2124 x1207 x1056 x8114 -x2123 -x1211 x1060 -x8613 x8116 -x6244 -x3429 x1064 x705 x8122 x6248 -x5812 -x1063 x709 x8118 -x7223 -x3665 x3434 -x1213 -x746 x8130 -x7224 x6212 -x3799 -x3669 -x3520 -x1214 -x748 x8396 -x7829 -x7219 x6250 x6214 -x6133 -x3519 -x3437 -x2120 x6251 x6220 -x6135 -x3435 x8402 -x7859 -x7835 -x7217 x6216 -x3527 -x2503 -x742 x7758 x6228 -x4174 x3531 -x8407 x7760 -x6129 -x5872 -x4127 x3535 -x2506 -x743 x7766 -x5876 -x4126 x3534 -x8621 -x8410 -x7838 x7762 -x6130 x3986 -x292 -x8408 -x7995 x7774 -x5642 -x4034 x296 -x10133 -x8627 -x5878 -x5641 -x4055 x3992 -x3551 x10137 -x5879 -x5837 -x5544 -x4051 -x3555 -x1669 -x9009 -x8632 -x5649 -x5565 -x4123 -x4050 x2527 -x2005 -x1668 -x1352 -x320 -x298 -x9008 -x5653 -x5561 -x5407 -x3448 x3136 -x2009 -x1356 -x299 x9491 -x8635 x6192 -x5657 -x5560 -x4851 -x3995 -x3557 -x3447 -x3157 x2533 -x1676 -x8633 -x5656 -x4855 -x3558 -x3153 -x1680 -x10083 -x9497 -x9143 x6198 -x4062 x3455 -x3152 -x2011 -x1684 x9147 x3459 -x2012 -x1683 -x10089 x9502 -x9253 -x9005 -x8576 -x6958 -x4065 x3463 x2536 -x9255 -x8580 x6264 x3462 -x9505 x6964 x6265 -x6201 -x6046 -x3314 -x3238 -x2287 x1529 -x9503 -x7592 x6266 -x6050 -x3318 -x2288 -x10092 -x9249 x7613 -x6282 -x3977 -x3244 -x2283 -x7925 x7609 -x3979 -x1148 -x9250 -x8816 -x7926 x7608 -x6967 -x6052 -x2281 x134 -x57 x9404 x7927 -x6053 x138 x61 x9405 -x8822 x7943 x7231 -x7146 -x3973 -x3247 -x2455 -x1013 x9406 x7235 -x7148 -x2456 -x1017 -x1005 -x9921 -x9422 x8827 -x5046 -x3974 x3869 -x2451 -x140 -x9920 -x6758 x3871 -x141 -x10316 x8830 -x7142 -x6759 -x5052 x4233 -x2449 -x10317 -x10014 x8828 x6760 -x5740 -x10312 -x10035 -x7569 -x7143 -x6776 -x5742 -x5057 -x4236 -x3865 x1753 x10031 -x7253 -x5748 x3569 -x3280 -x10310 x10030 -x9917 x8323 -x7575 x7274 -x6527 x5744 -x5060 -x3866 x3571 -x806 -x8372 -x7270 -x6526 -x5756 -x5058 x3577 -x810 -x8867 -x8373 -x8329 -x7269 -x5448 x3573 -x24 x8374 -x5452 x3585 x3186 x102 -x23 -x8873 x8390 -x7578 -x4275 x3207 -x2296 x104 -x6929 x4923 -x4279 x3203 -x2300 x110 -x8471 -x8332 -x7546 -x6928 -x6523 -x5454 x4944 x3202 -x1774 x106 x7550 x6304 -x5455 -x5216 -x4940 -x1975 -x1778 -x118 -x10603 -x9063 -x8876 x8477 -x6936 -x6429 x6303 x5237 -x4939 -x2554 -x2302 -x1976 -x20 -x10607 -x8567 -x6940 -x5517 -x5233 -x2558 -x2303 x1977 -x9069 -x8482 -x7552 -x6944 -x6859 x6432 -x6311 -x5516 -x5354 -x5334 -x5232 -x1993 -x199 -x10056 -x7553 -x6943 x6315 -x5338 -x3611 x203 -x10077 x9954 -x9168 -x9074 -x8485 -x8263 -x6862 -x6319 -x6037 -x5524 -x5360 -x3610 -x3218 -x2560 -x10073 -x8673 -x8483 -x8267 -x6318 -x6038 -x5528 -x3158 -x2561 -x10072 -x9960 x9212 -x9171 -x9077 -x8694 -x6033 -x5532 x5365 -x3618 -x3160 -x3093 -x2832 x2648 -x9075 -x8690 -x5531 x3622 x3166 -x2831 -x2216 -x1719 x1494 -x9218 -x8689 -x6031 -x5368 x3626 x3162 -x2654 -x2217 -x1718 x1496 -x5366 -x4967 x3625 -x3174 x2218 x1502 -x9963 -x5042 -x4717 x2659 -x2234 -x2173 -x1726 x1498 -x1304 -x5041 -x1730 x1510 -x1308 x9221 -x8938 -x4723 -x2828 -x2662 x2176 x1734 -x2660 -x2366 x1733 -x1179 -x8944 -x4728 -x2367 -x1479 -x1310 -x1200 -x2888 x2368 -x1311 x1196 x9263 x8949 -x5711 -x5038 -x4731 -x2909 -x2384 x1195 x9267 -x7122 -x5713 -x4729 -x2905 -x337 -x8952 x8858 -x4613 -x3405 -x3017 -x2904 -x338 -x8950 x8860 x3409 -x3021 x339 -x5707 -x4616 x353 x8856 -x7117 -x9442 -x8616 -x7628 x1277 -x1202 x1074 -x6238 -x1281 x1049 -x9445 -x6237 x1208 x1051 -x3422 -x1212 x1052 -x7222 -x6245 -x3424 -x1216 x1068 x707 x8117 -x7221 x6249 -x3430 -x1215 -x747 x711 -x8138 -x7825 x6253 -x3667 x3426 -x8134 x6252 -x6134 -x3671 -x3438 -x8133 -x7855 -x7831 x713 x8395 x6215 -x5866 -x3521 -x714 x8397 -x7858 -x7836 -x7218 -x6236 x5865 -x5601 -x3673 -x3522 -x2502 x8403 x6232 -x3674 x3523 x286 x8399 -x7839 x6231 -x5873 -x3982 -x3539 -x2508 x285 -x8411 -x7837 x7761 -x5877 -x3545 -x7782 -x6576 -x5881 -x4052 x3988 -x3544 -x293 -x8620 -x7778 x6580 -x5880 -x4054 -x1999 x297 -x10135 -x8622 -x7777 -x5562 x3993 -x3552 -x2523 -x2511 -x1998 -x316 -x301 x10139 -x8628 -x5643 -x5564 -x3556 -x300 x8624 -x6188 -x5644 x4187 -x4048 -x3996 -x3560 -x3154 x2529 -x2006 -x1354 -x319 -x8636 -x5645 -x3994 -x3559 -x3156 -x2010 -x1670 -x1358 -x10141 -x10079 x6194 -x5661 -x5558 -x4850 -x4049 x2534 -x2014 -x1671 -x10142 x9490 -x4854 -x3449 -x2013 -x1672 -x10085 x9492 -x9142 -x6954 x6199 -x5559 -x4061 -x3450 -x3150 x2537 -x1688 -x1360 -x9498 -x9254 x9146 -x6040 x3451 x2535 -x1361 -x10090 x9494 -x8575 -x6960 -x6202 -x6039 -x4067 -x3467 -x3234 -x3151 -x2286 -x1525 -x9506 -x8579 -x6200 -x2285 -x10093 x7610 x6965 -x6285 -x6047 -x3313 -x3240 -x3043 x1528 -x10091 x7612 -x6286 -x6051 -x3978 -x3317 -x128 x9565 -x6968 -x6281 -x6055 -x4070 -x3245 -x127 -x6966 -x6054 -x7946 -x7606 -x6279 -x3248 -x2454 -x2282 x135 -x59 -x8815 -x7947 -x7147 -x3246 -x2453 x139 x63 -x9425 -x8817 x7942 -x7607 x7230 x6988 -x1015 -x143 -x9426 -x8823 x7234 x3870 -x1019 -x142 -x10315 -x9421 x8819 x7940 -x65 -x10314 x8831 -x5045 -x66 -x10032 -x9419 -x7565 -x6779 -x5047 x4232 -x2450 x1749 -x1021 -x10034 -x6780 -x5053 -x1022 -x8319 -x7571 x7271 -x6775 -x5049 -x4238 -x2152 x1752 x7273 -x5743 -x5442 -x5061 -x10311 x10028 -x8863 x8325 -x7576 -x6773 -x5764 -x5441 -x805 -x5760 x3572 -x2290 -x809 -x10029 -x8869 -x8393 -x8330 -x7579 -x7267 -x5759 -x5449 -x4241 x3593 x3204 -x2289 -x8394 -x7577 -x7540 -x5453 -x3589 x3206 -x8874 x8389 -x8333 -x7539 -x7268 -x5457 x4941 -x4277 -x3588 -x2297 -x1603 -x8331 -x5456 x4943 -x4281 -x2548 -x2301 x105 -x8877 x8387 -x7547 -x5234 x3200 -x2547 -x2305 -x1773 -x364 -x126 -x8875 -x8470 x7551 -x6930 x5236 -x2304 -x1777 x368 -x122 x10602 -x8472 -x7555 -x6931 -x6428 -x4937 -x4283 -x3201 -x2555 -x1996 -x121 -x10606 -x9062 x8478 -x7554 -x6932 x6305 -x4284 -x2559 -x1997 -x10074 -x9950 x9656 -x9064 x8474 -x6948 -x6858 x6434 x6306 -x6036 -x5333 -x5230 -x4938 x3214 -x2563 -x1992 -x201 -x10076 -x9070 -x8486 x6307 -x6035 -x5518 -x5353 -x5337 -x2562 x205 x9956 -x9208 -x9167 -x9066 -x8691 -x8262 -x6864 -x6323 -x5519 -x5355 -x5231 -x3217 x3089 -x1990 -x1929 -x9078 -x8693 -x8266 -x5520 -x5361 -x3612 -x1933 -x10070 -x9961 x9214 -x9173 -x6437 -x5536 x5357 -x4697 -x3613 -x3092 -x207 -x5369 -x4701 x3614 -x3161 x2647 -x1298 -x208 -x10071 -x9964 -x9219 -x8687 -x6867 -x6032 x5896 -x3630 -x3182 x2649 -x2237 -x1297 -x9962 x5900 -x3178 -x2655 -x2238 -x1720 x1497 x9222 -x9176 -x8688 -x3177 x2651 -x2233 -x2172 -x1721 -x1518 -x1305 x9220 -x4716 -x2663 x1722 -x1514 -x1309 -x4718 -x2231 x2178 -x1738 -x1513 x1475 -x1313 -x1197 -x8937 -x4724 -x1312 -x1199 -x8939 -x7663 -x4720 -x2906 -x2387 -x1478 -x8945 -x5712 -x4732 -x3011 -x2908 -x2388 x9262 x8941 -x3010 -x2383 -x2181 x1193 x9266 -x8953 x8859 -x4612 -x3404 -x3018 -x2902 -x2381 x1194 -x356 x3408 -x3022 -x357 x6483 -x5708 -x4618 x4528 x3023 -x2903 x352 -x8854 -x7118 -x4532 x3024 -x9441 -x8617 -x2063 x1279 x1073 x2067 -x1283 -x1201 -x701 -x9447 -x8750 -x1203 -x1071 -x700 -x6239 -x3661 x1204 -x1072 -x8135 x6737 -x6240 -x3660 -x1285 -x1220 x1067 x708 -x8137 -x6741 x6241 -x3425 -x1286 x712 -x9450 -x6257 -x3668 -x3446 x1065 x716 -x7824 -x3672 -x3442 x715 -x8131 -x7854 -x7826 -x7351 -x6233 -x5597 -x3676 -x3441 -x2498 -x7832 x7355 -x6235 -x3675 -x8132 -x7860 -x7828 -x5600 -x3542 -x2504 x266 x8398 -x7840 x5867 -x3543 x270 -x8419 -x7779 x6229 x5868 -x3538 -x2509 -x660 -x10129 -x8415 -x7781 x5869 -x4053 -x3981 x287 -x10208 -x10128 -x8414 -x7863 -x6575 x6230 -x5885 -x3983 -x3536 -x2512 x1260 x288 -x10212 x6579 -x5563 x3989 -x3546 -x2510 -x1348 x289 -x10136 -x7775 x5497 -x4183 x3985 -x3547 -x1347 -x315 -x305 x10140 -x8623 x5501 -x3997 -x3548 -x3155 -x2522 -x2000 -x10144 -x8644 -x7776 -x5664 x4186 -x3564 -x2524 -x2001 -x1355 -x321 -x10143 -x8640 x6187 -x5665 x2530 -x2002 -x1359 -x8639 x6189 -x5660 -x4852 -x4057 x2526 -x2018 -x1691 -x1363 -x10078 x6195 -x4856 x2538 -x1692 -x1362 -x10080 -x9144 x6191 -x5658 x5622 -x4063 -x3470 -x1687 -x324 -x10086 x9493 x9148 -x6953 -x6203 x5626 -x3471 -x10082 -x9514 -x8577 -x6955 -x6284 -x4858 -x4463 -x4068 -x3466 x3039 -x1685 -x1524 -x10094 -x9510 -x8581 x7611 -x6961 -x6283 -x6041 -x4859 -x3233 x9561 -x9509 -x9150 x6957 -x6042 -x4071 -x3464 -x3315 -x3235 -x3042 -x2795 x1530 -x9151 -x6969 -x6043 -x4069 -x3319 -x3241 -x53 x9564 -x8583 -x7945 -x6059 -x3237 -x52 -x8584 -x7944 -x3249 x1009 -x129 -x10705 -x9424 -x6984 -x6280 -x3321 -x1533 x1008 -x130 -x60 -x9423 -x3322 x131 x64 x8149 x7232 x6987 -x1016 -x147 -x68 -x8818 x7236 -x1020 -x67 -x8839 x7941 -x6778 -x6379 -x4228 -x1024 -x10033 -x8835 -x6777 -x6383 -x1023 -x9420 -x8834 -x7238 x4234 -x2148 x1748 x1332 -x7564 -x7272 -x7239 -x5048 -x7566 -x5761 -x5069 -x4239 -x2151 x1754 -x8318 -x7572 -x5763 -x5065 -x8392 -x8320 -x7568 -x6774 -x5064 -x4242 x3590 -x807 -x8862 -x8391 x8326 -x7580 -x5443 -x4271 -x4240 x3592 x3205 -x811 -x8864 x8322 -x5757 -x5444 -x4270 -x1757 x1599 -x8870 -x8334 -x5445 x4942 -x2291 x9097 -x8866 -x5758 -x5461 -x4278 -x3586 -x2292 -x1602 -x813 -x123 -x8878 -x7541 -x5235 -x4282 -x2293 -x814 -x125 -x8388 -x7542 x6424 -x4286 -x3587 -x2309 -x1995 -x1775 -x363 x7543 -x4285 -x2549 -x1994 -x1779 x367 -x195 x10604 -x9652 -x7559 -x7038 -x6951 -x6854 -x6430 -x2550 -x194 -x119 -x10608 -x10075 -x8473 -x6952 -x2551 x9655 -x9163 -x8494 -x6947 -x6860 x6435 -x6326 -x5725 -x5335 x3213 -x2567 -x1781 -x202 -x120 -x9949 -x9065 -x8692 -x8490 -x6327 -x5339 -x1782 x206 -x10610 -x9951
3600.01/3609.60	v -x9169 -x9086 -x8489 -x8264 -x6945 -x6865 -x6438 -x6322 -x5539 -x3219 x3088 -x1991 x1928 -x210 -x10611 x9957 -x9207 -x9082 -x8268 -x6436 -x5540 -x5356 x1932 -x209 x9953 -x9209 -x9174 -x9081 -x6868 -x6320 -x5535 -x5377 -x5341 -x4696 -x3633 -x3179 -x3094 -x2236 -x1231 -x932 -x9965 x9215 -x6866 -x5373 -x5342 -x4700 -x3634 -x3181 -x2235 x1235 x9211 -x9177 -x8270 x5895 -x5533 -x5372 -x3629 -x3222 -x2168 -x1515 x9223 -x9175 -x8271 x5899 x2650 -x1517 -x1299 -x3627 -x3175 x3097 -x2671 -x2174 -x1741 -x1300 -x2667 -x1742 -x1301 -x1198 -x7659 -x3176 -x2666 -x2386 -x2232 x2179 -x1737 -x1511 x1474 -x1317 -x4719 -x2907 -x2385 x10660 x7662 -x4740 -x2182 -x1735 -x1512 -x1480 -x8940 -x4736 -x2180 x9264 -x8961 -x4735 -x4608 x3758 -x2995 -x355 x9268 -x8957 x3762 -x3012 -x354 -x8956 -x6479 -x4614 -x3406 -x3013 -x2382 -x1483 -x608 x3410 x3014 x612 -x9270 x6482 -x4619 x4527 -x3028 x350 -x9271 -x8855 -x4531 -x9443 x8746 -x3733 -x2062 x1280 x1075 -x1070 -x3737 x2066 -x1284 -x1069 -x9448 -x8749 -x7702 -x1288 -x1223 -x8136 -x1287 -x1224 -x702 -x9451 x6736 -x6260 -x3443 -x1219 -x1079 -x703 x33 -x9449 -x6740 -x6261 -x3662 -x3445 x704 x37 -x7850 -x6256 x5001 -x4676 -x3663 -x1217 x1066 -x720 -x6234 x5005 x3664 -x7856 -x7350 x7281 -x6254 -x5596 -x3680 -x3541 -x3439 -x7827 x7354 -x7285 -x3540 -x2497 -x8416 -x7861 -x7848 -x5602 -x3440 -x2499 -x656 x265 -x8418 -x7844 -x7780 -x2505 x269 -x7864 -x7843 -x5888 -x2501 -x1256 -x659 -x7862 -x5889 -x2513 -x10207 -x8412 -x6577 -x5884 x5605 -x3537 x1259 -x311 -x308 -x10211 -x10130 x6581 -x3984 -x309 x10483 -x10131 -x8641 -x8413 -x5882 -x5663 x5496 -x4182 -x4005 -x3567 -x317 -x304 x10487 x10132 -x8643 -x5662 x5500 -x4846 -x4001 -x3568 -x1349 -x10148 -x6583 -x4845 x4188 -x4000 -x3563 -x2021 -x1690 -x1350 -x322 -x302 -x9138 -x6584 -x2525 -x2022 -x1689 -x1351 -x9137 -x8637 -x4853 -x3561 -x3469 -x2546 -x2017 -x1367 -x325 -x8571 x6190 -x4857 -x4056 -x3468 -x2542 -x323 -x9511 -x9145 -x8638 -x8570 -x6211 -x5659 x5621 -x4861 -x4459 x4191 -x4058 -x2541 -x2015 -x1520 -x10081 -x9513 x9149 -x6207 x5625 -x4860 -x4064 -x3309 -x10102 -x9834 -x9153 -x8578 -x6206 -x4462 -x4060 -x3308 x3038 -x2791 -x1686 -x1526 -x10098 -x9152 -x8582 -x6956 -x4072 -x10097 x9560 -x9507 -x8586 -x7417 -x6977 -x6062 -x3465 -x3316 -x3044 -x2794 -x2467 x1531 -x8585 -x7421 -x6973 -x6063 -x3320 -x3236 x10701 x9566 -x9508 -x6972 -x6058 -x3324 -x3257 -x1534 x831 -x7226 -x3323 -x3253 -x1532 -x835 -x54 -x10704 -x8145 -x7225 -x6983 -x6056 -x3252 -x3047 x150 -x55 x1010 x151 x56 x9569 -x8836 x8148 x7233 x6989 -x6671 x1011 -x146 x72 -x8838 x7237 x1012 -x7241 -x6378 -x1744 x1328 -x1028 -x144 -x7240 -x6382 -x4227 -x8832 -x6992 -x5066 -x4229 x3339 -x2147 x1750 x1331 -x5762 -x5068 x4235 x3343 -x801 -x8833 x7954 x4231 -x2153 x1755 -x800 x7958 -x7567 -x4243 x3591 -x7588 -x5672 -x5062 -x2920 -x1758 -x808 -x8321 -x7584 x5676 -x1756 -x812 x9093 -x8342 -x7583 -x5464 -x5063 -x2156 x1598 -x816 -x8865 -x8338 -x5465 -x4272 -x1769 -x815 -x124 x9096 -x8886 -x8337 x7181 -x5460 -x4273 -x2312 -x1768 -x1604 -x10598 -x8882 x7185 -x4274 -x2313 -x10597 -x8881 -x7562 x7034 -x6950 -x5458 -x4290 -x2308 -x1776 -x365 -x7563 -x6949 x6423 -x5329 -x1780 x369 x10605 -x9651 -x8491 -x7558 -x7059 -x7037 x6425 -x6325 -x5721 -x5328 -x3209 -x2570 -x2306 -x1784 -x1607 -x10609 -x8493 x8258 -x7063 -x6853 -x6431 -x6324 -x2571 -x1783 -x196 -x10613 x9657 -x9083 x8257 -x7556 -x6855 x6427 -x5724 -x5538 -x5336 x3215 -x3084 -x2566 -x537 -x371 -x197 -x10612 -x9162 -x9085 -x6861 -x6439 -x5537 -x5340 -x372 x198 -x9164 -x8487 -x8265 -x6946 -x6857 -x5374 -x5344 -x3632 -x3364 -x3220 x3090 -x2564 x1930 -x928 -x214 -x9952 -x9170 -x8269 -x6869 -x5376 -x5343 -x3631 -x3368 -x3180 x1934 -x9973 -x9660 -x9166 -x9079 -x8488 -x8273 -x6321 -x4698 -x4305 -x3223 -x3095 -x1230 -x931 -x9969 -x9210 -x9178 -x8272 -x4702 -x3221 -x1516 x1234 -x9968 -x9231 -x9080 -x5925 x5897 -x5534 -x5370 -x3478 x3098 -x2668 x1936 -x1740 -x9227 x5901 x3482 x3096 -x2670 -x2167 x1937 -x1739 -x9226 -x5371 -x4704 -x3628 x2169 -x1470 -x1320 -x4705 -x2175 -x1321 x10656 -x7658 x5903 -x4737 -x2664 -x2413 x2171 -x1958 x1476 -x1316 -x9258 x5904 -x4739 x2417 -x2183 x10659 -x9257 -x8958 x7664 -x2991 -x2665 -x1736 -x1481 -x1314 -x8960 -x3400 x9265 -x4733 x3757 -x3399 -x2994 -x1484 x9269 -x4607 x3761 -x1482 -x9273 -x8954 -x7667 x6478 -x4803 -x4734 -x4609 -x3407 -x3031 -x607 -x9272 -x4807 -x4615 x3411 -x3032 x611 x10042 -x8955 x6484 -x4611 x4529 -x3412 -x3027 x351 -x10046 -x4620 -x4533 -x3413 -x9439 x8745 x7698 -x3732 -x2064 -x1276 -x1222 x1076 -x948 -x9444 -x3736 x2068 x1275 -x1221 -x952 -x9440 -x8751 -x7701 -x6259 -x1292 -x1080 -x9452 -x6258 -x3444 -x1078 -x9805 -x7160 x6738 -x4672 -x2070 -x723 x32 -x9809 -x6742 -x2071 -x724 x36 -x8754 -x5592 x5000 -x4675 -x3683 -x1218 -x719 -x7849 x5004 -x3684 -x7851 -x7845 -x7352 x7280 -x6744 -x6255 -x5598 -x3679 -x717 -x8417 -x7857 -x7847 x7356 -x7284 -x6745 -x7853 -x5887 -x5603 -x4488 -x3677 -x655 x267 -x7865 x6571 -x5886 -x2500 x271 -x10508 -x7841 x7358 x6570 x5606 -x3715 -x2521 -x1255 -x661 -x307 -x10512 x7359 x5604 -x2517 -x306 -x10209 -x7842 -x6578 -x4178 -x4002 -x3566 -x2516 x1261 -x273 -x10213 -x8642 x6582 -x4004 -x3565 -x310 -x274 x10482 -x10151 -x6586 -x5883 x5498 -x4184 -x2020 -x664 -x312 x10486 -x10152 -x6585 x5502 -x2019 -x318 x10215 -x10147 x4189 -x3998 -x2543 -x1370 -x1264 -x314 -x303 x10216 -x4847 -x2545 -x1371 -x326 -x10145 -x6208 x5504 -x4848 -x4348 x4192 -x3999 -x3562 -x1366 -x9512 -x9139 -x6210 x5505 -x4849 x4190 -x10099 -x9830 -x9140 x5623 -x4865 x4458 -x3034 -x2539 -x2016 -x1364 -x10101 x9141 -x8572 x5627 -x4059 x1519 -x10562 -x9833 -x9556 -x9157 -x8573 -x6974 -x6204 -x6061 -x4464 -x4080 x3040 -x2790 -x2540 -x2463 x1521 -x8574 -x6976 -x6060 -x4076 -x3310 -x1527 -x10095 x9562 x8651 -x8590 -x7416 -x6716 -x6205 -x5629 -x4075 -x3311 -x3254 -x3045 -x2796 -x2466 x1523 -x8655 -x7420 -x5630 -x3312 -x3256 -x1535 x10700 -x10096 x9567 -x6979 -x6970 -x4467 -x3328 -x3048 x830 x149 -x3046 -x834 x148 x10706 x9570 -x9118 -x8144 -x6985 -x6971 -x6667 -x6057 -x5198 -x3250 -x2799 -x75 x9568 -x9122 -x8837 -x7227 -x76 x8150 -x7228 x6990 -x6670 -x3251 -x1031 x71 x7229 -x1032 -x10709 -x7245 -x6993 -x6380 -x2143 x1327 -x1027 -x145 x69 -x6991 -x6384 -x5067 -x1743 -x8153 x3338 -x2149 -x1745 x1333 -x1025 -x860 -x4230 x3342 x1751 x7953 -x7585 -x6386 -x4251 -x2916 -x2154 x1747 x7957 -x7587 -x6387 -x4247 -x1759 -x802 -x9292 -x8339 -x5671 -x5463 -x4246 -x2919 -x2157 -x1594 -x1336 -x803 -x8341 x5675 -x5462 -x2155 -x804 x9092 -x8883 -x7581 -x2311 x1600 -x820 -x8885 -x2310 -x359 x9098 -x8430 -x8335 -x7582 -x7561 x7180 -x5416 -x4293 -x1605 -x358 -x7560 x7184 -x5420 -x4294 -x1770 -x9647 -x8879 -x8336 x7033 -x5459 -x4289 -x2569 -x1771 -x1608 -x366 -x10599 -x8492 -x2568 -x1772 -x1606 x370 -x10600 -x9653 x9101 -x8880 -x7058 -x7039 -x5720 -x4287 -x2307 -x1788 -x533 -x374 x10601 -x9084 -x7062 x6426 -x5330 -x3208 -x1924 -x373 -x10617 x9658 -x7557 -x6447 -x5726 -x5331 -x3210 -x1923 x781 -x536 -x217 x8259 -x6856 x6443 -x5375 -x5332 -x4692 x3216 -x3083 -x785 -x218 -x9970 -x9661 x8260 -x7042 -x6877 x6442 -x5348 -x4691 -x4301 -x3363 x3212 x3085 -x2565 x1931 -x927 -x213 -x9972 -x9659 -x9165 x8261 -x6873 -x5891 -x3367 -x3224 x3091 x1935 -x9228 -x9186 x8277 -x6872 -x5921 -x5890 -x5729 -x4699 -x4304 x3087 x1939 -x1232 -x933 -x211 -x9230 -x9182 -x4703 x3099 -x2669 x1938 x1236 -x9966 -x9181 -x5924 x5898 -x4707 -x3477 -x1319 x5902 -x4706 x3481 -x1318 -x9967 -x9224 -x7654 x5906 -x1954 -x1238 -x936 x5905 -x4738 x2170 -x1469 -x1239 x10655 -x9225 x7660 -x2412 x2191 -x1957 -x1471 -x8959 x2416 -x2187 x1477 x10661 -x10187 x7665 -x2990 -x2186 x1473 -x1315 -x9259 -x1485 -x9260 x7668 -x6474 x3759 -x3030 -x2996 x9261 -x7666 -x4523 x3763 -x3401 -x3029 -x10664 -x9277 x6480 -x5130 -x4802 -x4522 -x3402 -x609 -x4806 -x4610 x3403 x613 x10041 x6485 -x4628 x4530 -x3765 -x3417 -x3025 -x2999 x228 -x10045 -x4624 x4534 -x3766 x8747 x7697 -x5288 -x3734 -x2065 -x1295 x1077 -x947 -x9438 -x6732 x5292 -x3738 x2069 -x1296 -x1081 -x951 -x9460 -x8752 x7703 -x7156 -x6731 -x2073 -x1291 -x722 -x9456 -x2072 -x721 -x10533 -x9804 -x9455 x8755 -x7159 x6739 -x4671 -x3740 -x3682 -x1289 x34 -x10537 -x9808 -x8753 -x7346 -x6743 -x3741 -x3681 x38 -x7706 -x7345 -x6747 x5002 -x4677 -x7846 -x6746 -x5591 x5006 -x261 -x7353 x7282 x5593 x4484 -x718 -x651 -x260 -x40 -x7852 x7357 -x7286 -x5599 -x41 -x7873 -x7483 x7361 x5595 -x5008 -x4680 -x4487 -x3711 -x3678 -x2518 -x1251 -x657 x268 -x10203 -x7869 -x7487 x7360 x5607 -x5009 -x2520 x272 -x10507 -x10202 -x7868 -x7288 -x3714 -x2320 -x1257 -x662 -x490 -x276 -x10511 -x7289 x6572 -x5492 -x4003 -x2324 -x275 -x10210 -x10150 x6573 -x5491 -x2514 x1262 x665 -x10214 -x10149 x6574 -x4177 -x663 x10484 x10218 x6590 x5499 -x4179 -x2515 -x1369 -x1265 x10488 x10217 x5503 -x4185 -x2544 -x1368 -x1263 -x313 -x7376 x5507 -x4344 x4181 -x334 -x7380 -x6209 -x5617 x5506 x4193 -x330 x10490 -x10146 -x5616 -x4868 -x4454 -x4347 -x329 x10491 -x10100 -x4869 -x10558 -x9829 -x9160 x5624 -x4864 x4460 -x4077 -x2786 -x1365 -x9161 -x6975 x5628 -x4079 -x3033 -x10561 -x9835 -x9156 -x8593 -x6712 -x5632 -x4862 -x4465 -x3035 -x2792 x2462 -x9555 -x8594 -x5631 -x3255 x3041 x1522 -x10696 -x9557 -x9154 x8650 -x8589 -x7418 -x6715 x4468 -x4073 -x3331 x3037 -x2797 -x2729 x2468 x1543 x9563 -x8654 -x7422 x4466 -x3332 -x3049 -x1539 x10702 -x9838 x9559 -x8587 -x8140 -x5194 -x4074 -x3327 -x2800 -x1538 x832 -x74 x9571 -x6978 -x2798 -x836 -x73 x10707 -x9117 -x8146 -x7424 -x6980 -x6666 -x5197 -x3325 -x2471 -x1030 -x9121 -x7425 -x6986 -x6374 -x1029 -x10710 x8151 -x7248 x6982 x6672 -x6373 -x3937 -x1323 -x838 -x10708 -x7249 -x6994 -x3941 -x839 -x8154 -x7244 -x6381 x1329 -x907 -x856 x70 -x8152 -x6385 -x2142 -x7242 -x6675 -x6389 -x4248 x3340 -x2966 -x2144 x1334 -x1026 -x859 -x7586 -x6388 -x4250 x3344 -x2970 -x2150 -x1746 -x9288 x7955 -x2915 -x2146 -x1767 x1337 -x8340 x7959 -x2158 x1763 -x1335 -x9291 -x9088 x5673 -x4244 -x3346 x2921 x1762 -x823 -x8884 x5677 -x3347 -x1593 -x824 x9094 -x8426 -x7961 -x7906 -x4292 -x4245 x1595 -x819 -x7962 -x4291 x1601 x9099 -x8429 x7182 -x7029 -x5679 -x5415 -x3645 -x2924 x1597 -x817 x7186 -x5680 -x5419 -x1609 -x360 x9102 x7035 -x5716 -x1791 -x361 -x9646 x9100 -x1792 x362 -x10620 x9648 -x7188 -x7060 -x7040 -x6444 x5722 -x4288 -x1787 -x532 -x378 -x216 -x10621 -x9654 -x7189 -x7064 -x6446 -x215 -x10616 x9650 -x7043 -x6874 -x5727 -x5351 -x1785 -x923 x780 -x538 -x389 -x9971 -x9662 -x7041 -x6876 -x5352 -x3211 x1925 -x1226 -x784 -x393 -x10614 -x9183 -x8280 -x7066 x6440 -x5730 -x5347 -x4300 -x3365 x3232 x1926 -x1225 -x929 -x9229 -x9185 -x8281 -x7067 -x5728 -x4693 x3369 -x3228 x3086 x1927 -x8276 -x6870 x6441 -x5920 -x5345 -x4694 -x4306 -x3227 x3107 -x1943 -x1233 -x934 -x541 -x212 -x5892 -x4695 x3103 x1237 -x9179 -x8274 -x6871 -x5926 -x5893 -x4711 x3479 -x3371 -x3102 -x2632 x1241 -x937 x5894 x3483 -x3372 x1240 -x935 -x10651 -x9180 -x5910 -x4309 -x2188 x1953 -x7653 x2190 x10657 x10183 x7655 -x5929 x4422 -x3485 -x2986 -x2414 -x1959 x7661 -x3753 -x3486 x2418 -x1472 x10662 -x10186 x7657 -x3752 -x2992 -x2184 x1493 x7669 x1489 -x603 -x10665 -x9280 -x8178 -x5126 x3760 -x2997 -x2420 -x2185 -x1962 x1488 -x602 -x10663 x9281 -x8182 -x6473 x3764 -x2421 -x9276 x6475 -x5129 -x4804 -x4625 x3768 x3420 -x3000 -x610 -x224 x6481 -x4808 -x4627 -x4524 x3767 x3421 -x2998 x614 x10043 -x9274 x6477 -x4525 -x3416 x3392 -x3026 x615 x227 -x10047 -x6486 -x4623 x4526 x616 -x9457 x8743 x7699 -x5287 -x3735 -x2061 -x1293 x1089 -x949 -x9459 x8748 x5291 -x3739 x2060 -x1085 -x953 -x28 x8744 x7704 -x7155 -x4667 -x3743 -x2077 -x1084 -x27 x8756 -x6733 -x4996 -x3742 -x10532 -x9806 -x9453 -x7707 -x7161 -x6734 -x4995 -x4673 -x1290 -x955 x35 -x10536 -x9810 -x7705 -x7276 x6735 -x956 x39 -x9454 -x7275 x6751 x5003 -x4678 -x4016 -x43 x7347 x5007 -x42 -x9812 -x7870 x7348 x7283 x7164 -x5011 -x4681 x4483 -x9813 -x7872 x7349 -x7287 x5594 -x5010 -x4679 -x2519 -x650 -x262 -x7482 x7365 -x7291 -x5615 -x4489 -x3710 -x652 x486 x263 -x7486 -x7290 -x5611 -x1250 -x658 x264 -x10509 -x7866 -x5610 -x3716 -x2319 -x1252 x654 -x489 -x280 -x10513 -x10478 -x10204 -x2323 -x1258 x666 -x10477 -x10324 -x10205 -x7867 -x6593 -x4574 x4492 x1254 -x10328 x10206 -x6594 x5493 -x1266 -x10515 x10485 -x10222 x6589 x5494 x3719 -x331 -x10516 x10489 x5495 -x4180 -x333 x10493 -x7375 -x6587 -x5511 -x4867 -x4343 x4201 x10492 -x7379 -x4866 -x4197 -x9825 -x9159 x7793 x4349 -x4196 -x327 -x9158 -x5618 -x4453 -x4078 -x10557 -x9831 -x8592 -x5619 x4455 x2458 -x328 -x8591 -x7412 x5620 x4461 -x2785 -x10563 -x9836 -x7411 -x6711 -x5636 -x4863 -x4747 x4457 -x4352 -x3330 -x2787 x2725 x2464 -x1540 -x4751 x4469 -x3329 x3036 -x2793 x1542 -x826 -x9839 x9744 -x9155 x8652 -x7419 -x6717 -x3057 -x2789 -x2728 x2469 -x825 -x10695 -x9837 x9748 -x9558 -x8656 -x7423 -x3053 -x2801 -x10697 -x10566 -x9579 -x8588 -x7427 x6834 x6662 -x5193 -x3052 -x2472 -x1536 x833 x10703 x9575 -x8139 -x7426 x6838 -x2470 -x837 x10699 -x9574 -x9119 -x8658 -x8141 -x7247 -x6720 -x6668 -x5199 -x3326 -x1537 x841 -x10711 -x9123 -x8659 -x8147 -x7246 x6981 x840 x8143 -x7002 x6673 -x3936 -x3879 -x903 -x8155 x6998 x6375 x3940 -x3883 -x3334 -x1322 -x9125 x6997 -x6676 x6376 x5202 -x3333 -x1324 -x906 -x855 -x9126 -x7949 -x6674 x6377 -x4249 x1330 -x7948 -x7243 -x6393 x3341 -x2965 x2911 -x2678 -x1764 x1326 -x861 -x5667 x3345 -x2969 -x2682 -x2145 -x1766 x1338 -x9287 x7956 -x5666 x3349 -x3068 x2917 -x2166 -x822 x7960 x3348 -x2162 -x821 x9293 -x7964 x7902 x5674 x2922 -x2161 x1760 x864 -x9087 -x7963 -x7176 x5678 -x9089 -x8425 -x7905 -x7175 -x5682 x3641 x2925 -x1761 x9095
3600.01/3609.60	v -x5681 -x2923 x1596 -x9296 x9091 x8431 x7183 -x5417 x3644 -x1790 x1617 -x818 x9103 x7187 -x7054 -x7028 -x5421 -x1789 x1613 -x10619 x7191 -x7053 -x7030 -x1612 x528 -x381 -x10618 x7190 x7036 -x6445 -x5715 x382 x8434 -x7061 x7032 -x5717 -x5423 -x5350 -x534 -x377 x9649 -x7065 -x7044 -x6875 x5723 -x5424 -x5349 -x3359 x9670 -x9383 -x8279 -x7069 x5719 x4296 -x3358 x3229 -x1786 x782 -x539 -x388 -x375 x9666 -x9387 -x9184 -x8278 -x7068 -x5731 x3231 -x922 -x786 x392 -x10615 -x10411 x9665 -x5916 -x4302 -x3366 -x3104 -x1946 -x924 x542 -x10415 -x3473 x3370 x3106 -x1947 -x1227 -x930 -x540 -x5922 -x5346 -x4714 -x4307 -x3472 x3374 -x3225 -x2628 -x1942 -x1228 x926 -x788 -x4715 x3373 x1229 -x938 -x789 -x8275 -x7446 -x5927 x5913 -x4710 -x4310 x3480 -x3226 -x3100 -x2631 x1949 -x1940 -x1245 x5914 -x4308 x3484 -x2408 -x2189 -x5930 -x5909 -x4708 x4418 -x3488 -x3101 -x2407 x1955 -x10650 -x5928 -x3487 -x10652 x10182 -x5907 x4421 -x2415 -x1960 x1490 x10658 x7656 -x2985 x2419 x1492 x10654 -x10188 -x9279 x7677 -x2987 -x2423 -x1963 x10666 -x9278 -x7673 -x4798 x3754 -x2993 -x2422 -x1961 -x9540 -x8177 -x7672 -x5125 x4797 x3755 x3419 -x2989 x1486 -x10037 -x9544 -x8181 -x4626 x3756 x3418 -x3001 -x604 x10191 -x10036 -x5131 -x4805 -x3772 -x3388 x1487 -x605 x223 x6476 -x4809 x606 x10044 -x9275 -x6494 -x4810 -x4537 -x3414 x3391 -x620 x229 -x10048 -x6490 -x4811 -x4621 -x4538 -x9458 x7695 -x7151 -x5289 -x3731 -x2080 -x1294 x1088 -x950 -x9800 x8742 x7700 x5293 x3730 -x2081 -x954 -x9799 -x8764 x7696 x7157 -x3747 -x2076 -x1082 x958 -x8760 -x7708 -x4666 x957 -x29 x10534 -x9807 -x8759 -x7162 -x6754 x5295 -x4668 x4012 -x2074 -x1083 -x30 x10538 -x9811 -x6755 -x5296 -x4997 -x4674 x31 -x9815 x7165 x6750 -x4998 -x4670 x4479 -x4015 -x47 -x9814 -x7871 -x7277 x7163 x4999 -x4682 -x10540 -x8238 -x7368 -x7278 x6748 -x5612 -x5015 x4485 -x3706 -x10541 x10503 -x8242 -x7369 x7279 -x5614 x10502 -x7484 x7364 -x7295 -x4490 -x3712 x485 -x283 -x7488 -x653 -x284 -x10510 x7362 -x6592 -x5608 -x4570 x4493 -x3717 -x2321 -x674 x491 -x279 -x10514 -x6591 x4491 -x2325 -x1253 x670 -x10518 -x10323 -x10225 x7490 -x5609 -x4573 x3720 -x1274 -x669 -x277 -x10517 -x10479 -x10327 -x10226 x7491 x3718 -x1270 -x332 -x10480 -x10221 -x5514 -x4339 x4198 x2327 -x1269 -x494 x10481 -x5515 x4200 x2328 -x10497 -x10219 -x7789 x7377 -x6588 -x5510 x4345 x7381 -x10553 x7792 -x5508 x4350 -x4194 -x9824 -x10559 -x9826 x7383 -x6707 -x5639 x4353 -x4195 -x9832 -x8646 x7384 -x5640 x4456 -x4351 x2457 -x1541 -x10564 -x9828 -x8645 -x6713 -x5635 -x4746 -x4477 -x3054 x2724 x2459 -x9840 -x7413 -x4750 -x4473 -x3056 -x2788 x2465 x10567 x9743 -x9576 x8653 -x7414 -x6718 -x5633 -x5189 -x4472 -x2809 -x2730 x2461 -x10565 x9747 -x9578 x9113 -x8657 -x7415 -x2805 -x2473 -x827 x9112 -x8661 -x7431 x6833 x6721 x5195 -x3050 -x2804 -x828 -x10698 -x8660 x6837 -x6719 x6661 x829 -x10719 -x9572 -x9120 -x6999 x6663 -x5200 -x3051 -x2733 -x845 -x10715 -x9124 -x8142 -x7001 x6669 -x10714 -x9573 -x9128 -x8163 x6665 x5203 x3938 -x3878 -x902 -x851 -x9127 -x8159 -x6677 x5201 x3942 -x3882 -x8158 x6995 -x6396 x908 x857 -x6397 -x3335 -x1765 -x1325 -x9283 -x6996 -x6392 x3944 -x3336 -x3064 x2967 -x2677 -x2163 -x1346 -x862 -x7950 x3945 x3337 -x2971 x2910 -x2681 -x2165 -x1342 -x9289 -x7951 -x6390 -x3353 x3067 x2912 -x1341 -x911 x865 x7952 -x5668 x2918 x863 x9294 -x8421 -x7968 x7901 -x5669 -x2973 x2914 -x2159 x5670 x5411 -x2974 x2926 x9297 -x8427 x7907 -x5686 x5410 x3640 -x2160 -x1614 x9295 -x9090 -x7177 x1616 -x9111 x8432 -x7178 -x5418 x3646 -x380 -x9107 x7179 -x5422 -x379 -x9106 x8435 -x7910 -x7195 -x5426 -x1610 x8433 -x7055 -x7031 -x5425 -x776 x527 -x9667 -x7056 -x7052 x3649 -x1611 x775 x529 x9669 -x7057 -x7048 -x5718 x3230 -x535 -x9382 -x7073 -x7047 -x5739 -x1945 x783 x531 x390 -x376 -x9386 -x5735 x4295 -x3360 -x3105 -x1944 -x787 x543 x394 -x10410 x9663 -x5734 -x4713 x4297 -x3361 -x791 -x10414 -x5915 -x4712 -x4303 x3362 -x925 -x790 x9664 -x7442 -x5917 -x5912 x4299 -x3378 -x2627 -x1248 -x946 x396 -x5923 -x5911 -x4311 x3474 -x1249 x942 x397 -x7445 -x5919 x3475 -x2633 -x1941 -x1244 x941 -x5931 x3476 x1948 x10178 -x4709 x4417 -x3492 x1950 -x1242 -x2409 x1956 -x1491 x10184 -x8705 -x7674 -x5908 x4423 -x2636 -x2410 x1952 -x10653 x7676 x2411 -x1964 -x10674 -x10189 -x5121 -x2427 -x10670 -x2988 -x10669 x10192 x9539 -x8179 -x7670 -x5127 -x4426 -x3775 -x3009 -x220 x10190 -x9543 -x8183 x4799 -x3776 -x3005 -x7671 -x6491 -x5132 x4800 -x4536 -x3771 -x3387 -x3004 x623 x225 -x10038 -x6493 x4801 -x4535 x624 -x10039 -x8185 -x5133 x4815 -x3769 -x3415 x3393 -x619 x230 x10040 -x8186 -x6489 -x5134 -x4622 -x8761 -x5290 x3750 -x2078 -x1086 x10758 -x10528 -x8763 x7694 -x7150 x5294 x3751 -x10527 x7716 -x7152 -x6753 x5298 -x3746 x962 -x9801 -x7712 x7158 -x6752 x5297 x10535 -x9802 -x8757 -x7711 x7154 x4011 -x3744 -x2075 -x50 x10539 x9803 x7166 -x4669 -x51 -x10543 x9819 -x8758 -x7367 -x5018 -x4690 -x4017 -x46 -x10542 -x7478 -x7366 -x5613 -x5019 -x4686 x4478 -x8237 -x7477 -x7298 -x6749 -x5014 -x4685 x4480 -x1873 x481 -x282 -x44 -x8241 -x7299 x4486 x3705 -x2315 -x281 -x7485 -x7294 -x5012 x4482 -x4020 x3707 -x2314 -x671 x487 x10504 -x7489 x4494 -x3713 -x673 x10505 -x10224 x7493 -x7363 -x7292 -x4569 x3709 -x2322 -x1271 x492 x10506 -x10223 x7492 x3721 -x2326 -x1273 x10522 -x10325 -x5513 -x4776 -x4575 x2330 -x667 -x495 -x278 -x10329 -x7371 -x5512 -x4199 x2329 -x493 -x10500 x7370 -x1267 -x668 -x10501 -x4338 -x10496 -x10331 -x10220 x7788 x7378 -x4578 x4340 -x1268 -x10332 x7382 x4346 -x10494 x7794 x7386 -x5638 -x5509 x4342 x10552 x7385 -x5637 x4354 x10554 -x4474 -x2720 -x10560 -x9827 -x6706 -x4476 -x3055 x10556 -x9848 -x7797 -x6708 -x4748 -x2806 x2726 x10568 -x9844 -x9577 -x8647 -x6714 -x4752 -x2808 x2460 -x9843 x9745 -x8648 -x7434 x6710 -x5634 -x4470 -x2731 x2481 x9749 x8649 -x7435 x6722 -x5188 -x2477 -x10716 -x8665 -x7430 x6835 -x5190 -x4754 -x4471 -x2802 -x2734 -x2476 -x848 -x10718 x9114 -x7000 x6839 x5196 -x4755 -x3932 -x2732 -x849 -x9751 x9115 -x8160 -x7428 x5192 -x3931 -x2803 -x898 -x844 -x9752 x9116 -x8162 x6664 x5204 -x10712 x9132 x6841 x6685 -x6395 x3939 -x3880 -x904 -x842 -x6842 -x6681 -x6394 x3943 -x3884 -x2961 -x850 -x10713 -x8156 -x6680 -x5775 x3947 -x2960 -x1343 x909 -x852 x3946 -x2164 -x1345 x858 -x8157 -x3886 x3356 -x3063 x2968 -x2679 -x912 x854 -x9282 -x3887 x3357 -x2972 -x2683 -x910 x866 -x9284 -x7971 -x7897 -x6391 -x3352 x3069 x2976 -x1339 x9290 -x7972 x2975 x2913 x9286 -x7967 x7903 x5689 -x3636 -x3350 x2934 -x2685 -x1340 x9298 -x8420 x5690 x2930 -x2686 -x1615 -x9108 -x8422 -x7965 x7908 -x5685 x3642 -x3072 x2929 -x9110 -x8428 x5412 x8424 -x7911 x7198 -x5683 x5413 x4830 x3647 x8436 -x7909 x7199 x5414 -x9104 -x7194 -x7049 -x5430 x3650 -x9668 -x7051 x3648 -x384 -x9105 -x7192 -x7076 -x5736 x383 -x7077 -x5738 x777 x530 -x9384 -x7072 -x7045 x778 x551 x391 -x9388 x779 x547 x395 -x10412 -x7070 -x7046 -x5732 x3381 -x2623 -x1247 -x943 x795 x546 x399 -x10416 x4298 x3382 -x1246 -x945 x398 x9390 -x7441 -x5733 x4319 -x3377 -x2629 -x9391 -x5918 x4315 -x10586 -x10418 -x7447 -x5939 x4413 x4314 -x3495 -x3375 -x2634 x939 -x10419 -x5935 -x3496 -x8701 -x5934 x4419 -x3491 -x2637 -x1243 -x940 x10177 -x7675 -x2635 x1951 -x10671 x10179 -x8704 -x7450 x4424 -x3489 x2430 x1972 -x10673 x10185 -x8173 x2431 x1968 x10181 x8172 -x4427 -x3774 -x3006 -x2426 x1967 x10193 -x5120 -x4425 -x3773 -x3008 -x10667 x9541 -x8180 -x5122 -x3384 -x2424 -x622 -x9545 -x8184 -x6492 -x5128 x621 -x219 -x10668 -x8188 x5124 -x4818 -x3389 -x3002 -x221 -x8187 -x5135 -x4819 x226 x10051 -x9547 x4814 -x3770 x3394 -x3003 -x617 x10052 -x9548 -x6487 -x10759 -x8762 x7713 -x10760 x3748 -x2079 -x1087 x7715 x5302 -x4007 x961 -x49 -x10529 -x7153 -x48 -x10530 -x9822 -x7709 x7174 -x5017 -x4687 x4013 -x3745 x959 x10531 -x9823 x7170 -x5016 -x4689 x10547 x9818 -x7710 -x7297 -x7169 -x4018 -x2866 x1869 -x7296 -x2870 x9816 -x8239 -x4683 -x4021 -x1872 -x45 -x8243 -x7479 x4481 -x4019 -x672 x480 -x8800 -x7480 -x5013 -x4684 -x4565 -x4502 x482 -x10319 x7481 -x4498 x3708 -x2316 -x1272 x488 x10525 -x10318 -x8245 -x7497 -x7293 -x4772 -x4571 -x4497 x3729 -x2317 x484 x10526 -x8246 x3725 x2318 -x496 x10521 -x10499 -x10326 -x4775 -x4576 x3724 x2334 -x10498 -x10330 x10519 -x10334 -x9677 -x7784 -x4579 -x10333 x9681 x7372 -x4577 x7790 -x7404 x7373 x7374 x4341 -x10495 x7795 x7390 x4362 -x4742 -x4475 x4358 -x9845 -x7798 -x4741 x4357 x10555 -x9847 -x9739 -x7796 -x2807 x2719 x10576 -x9738 -x7433 -x4749 x2721 x2478 -x10572 -x7432 -x6829 -x6709 -x4753 x2727 x2480 -x10571 -x9841 x9746 -x8668 -x6828 x6730 -x4757 x2723 -x847 -x10717 x9750 -x8669 x6726 -x4756 -x2735 -x846 -x9842 -x9754 -x8664 x6836 x6725 -x2474 -x9753 -x8161 x6840 -x5191 -x3874 x9135 -x8662 -x7429 x6844 x6682 x5212 -x3873 -x2475 x9136 x6843 x6684 -x5208 -x3933 -x897 x9131 -x5771 -x5207 -x3934 -x3881 -x899 -x843 x3935 -x3885 -x2673 -x1344 -x905 x9129 -x6678 -x5774 x3951 -x3889 -x3355 -x3059 -x2672 x901 -x3888 x3354 x2962 -x913 -x853 -x9607 -x7970 -x6679 -x3065 x2963 -x2680 x874 -x9611 -x7969 x2964 -x2684 -x870 -x5688 x3070 x2980 x2931 -x2688 -x869 -x9285 -x7896 x5687 x2933 -x2687 x9306 -x7898 -x3351 -x3073 -x9302 -x9109 x7904 -x3635 -x3071 -x9301 -x7966 x7900 -x7197 -x4826 -x3637 x2927 -x8423 -x7912 x7196 x3643 x8444 -x5684 -x5433 x4829 x3639 -x2928 -x8440 -x7050 -x5434 x3651 -x8439 x8033 -x7075 -x5429 -x9378 -x7074 -x5737 -x9377 -x7193 -x5427 x548 -x10406 x550 x385 -x10405 -x9385 x3380 x798 x386 -x9389 x3379 -x944 x799 x387 -x10413 x9393 -x7437 -x7071 -x4316 x794 x544 x403 -x10417 x9392 -x4318 -x2622 -x10582 -x10421 -x7443 -x5936 -x3494 -x2624 x792 -x545 -x10420 -x5938 -x3493 -x2630 x10585 -x7448 x4312 -x3376 x2626 x4412 -x2638 -x8700 -x7451 -x5932 x4414 -x4313 x2429 x1969 -x10672 -x7449 x4420 x2428 x1971 -x8706 -x5933 x4416 -x3490 x10180 x9536 -x4428 -x3007 -x10201 x9535 x1965 x10197 x8174 x10196 x9542 -x8709 x8175 -x4817 -x2425 -x1966 -x9546 x8176 -x5123 -x4816 x3383 -x10050 -x9550 -x8192 x5143 x3385 x10049 -x9549 x5139 -x3390 -x222 x5138 x4812 -x618 x234 -x6488 -x10761 x7714 x3749 -x9821 x7171 x5301 -x9820 x7173 -x4688 -x4006 x10550 x5299 -x4008 -x960 x10551 -x8233 x4014 x10546 -x8232 -x7167 x4010 -x2865 x1868 -x4022 x2869 x10544 -x9817 -x8796 -x8240 -x7168 -x4499 -x1874 -x8244 -x4501 -x10524 x8799 -x8248 -x7500 x3726 x10523 -x8247 -x7501 -x4564 x3728 x483 -x7496 x4771 -x4566 -x4495 -x2337 -x1877 -x504 -x10320 -x4572 -x2338 -x500 -x10321 -x7494 -x4777 -x4568 -x4496 x3722 x2333 -x499 -x10322 -x4580 -x10520 -x10338 x9676 -x7400 x3723 x2331 x9680 -x7783 -x7785 -x7403 x7393 -x4780 x4359 x7791 x7394 x4361 x7787 x7389 -x9846 -x7799 x10573 x7387 x4355 x10575 -x4743 -x2479 -x8667 x6727 -x4744 -x4356 x9740 -x8666 x6729 x4745 x2722 -x10569 x9741 -x9631 -x4761 -x2743 x9742 -x9635 -x6830 x2739 -x10570 -x9758 -x9134 -x6831 x6723 x5209 x2738 x9133 x6832 -x6683 x5211 -x9707 -x9471 -x8663 x6848 -x6724 -x9475 -x3875 -x5770 -x5205 x3954 -x3876 x3955 x3877 -x900 -x9130 x5776 -x5206 x3950 -x3893 -x921 x871 -x3058 -x2674 -x917 x873 x9606 x3948 -x3060 -x2983 -x2675 -x916 -x9610 -x3066 -x2984 -x2932 x2676 x9303 -x5779 -x5472 x3062 x2979 x2692 -x867 x9305 -x5476 -x3074 x2977 -x868 -x7899 -x9299 x8441 x7920 -x5432 x4825 x8443 x7916 -x5431 -x3638 -x9300 -x8029 x7915 x4831 -x3659 -x439 -x3655 x443 -x8437 x8032 -x3654 -x549 -x8438 -x5428 -x4834 -x797 -x9379 x796 -x9524 -x9380 x406 -x10407 x9381 -x4317 x407 -x10408 x9397 x402 -x10409 -x7436 -x5937 x10581 -x10425 -x7817 -x7438 -x793 x400 -x7444 -x2625 x10587 -x8696 -x7440 x2646 -x7452 x2642 -x1970 -x8702 x2641 x4415 -x10590 -x10198 -x8707 x4436 -x10200 x4432 -x8710 x4431 x9537 -x8708 x10194 x9538 x8195 x5140 x8196 x5142 -x10195 -x8191 x231 x3386 x233 -x8189 x5136 x4813 -x3398 -x7172 -x10549 x10548 -x3833 x5300 x1864 -x4009 -x4030 x2867 x1870 -x8234 -x4500 -x4026 x2871 -x10545 x8795 -x8235 -x7499 -x4025 -x1875 -x8236 -x7498 -x3727 -x10394 x8801 -x8252 -x4767 x2873 -x2336 x1878 -x501 -x10398 -x2874 -x2335 -x1876 -x503 -x9792 x4773 -x4567 -x10341 -x8804 -x7495 -x4778 -x4588 -x497 -x10342 -x4584 -x10337 x9678 x7399 -x7392 x4781 -x4583 -x2332 -x498 x9682 x7391 x4779 -x4360 -x10335 x7405 -x7786 x9684 x7807 -x1909 -x10574 -x9685 x7803 x1913 x7802 -x7388 x6728 x4764 -x2740 x4765 -x2742 x10639 -x9761 x9630 -x4760 x10643 -x9762 -x9634 -x5210 -x9757 -x9703 x6851 -x4758 x2736 x6852 -x9755 x9706 -x9470 x6847 -x5766 -x3953 -x2737 -x9474 x3952 x6845 x5772 x3896 -x918 x3897 -x920 -x872 x5777 -x3892 -x2982 -x2981 x9608 -x8054 x5780 -x3949 -x3890 x2695 -x914 -x9612 x9304 -x8058 x5778 -x3061 x2696 -x5471 x3082 x2691 -x915 -x5475 x3078 x9614 x7917 x4821 x3077 x2978 x2689 -x1624 -x9615 x8442 x7919 -x1628 x4827 -x3656 -x3658 x8028 -x7913 x4832 -x438 x442 x8034 -x7914 x4835 -x3652 x4833 x9520 -x3653 x405 x404 -x9723 x9523 x9400 x8037 -x9727 x9401 x10578 -x10428 x9396 -x7813 -x10429 x10583 -x10424 x9394 x7816 x2643 x401 -x7439 x2645 x10588 -x10422 -x7460 x8695 -x7456 x10591 x8697 -x7455 x4433 x2639 x10589 -x10199 -x8703 x4435 x8699 x2640 -x8711 x8194 x4429 x8193 x5141 x9553 -x4430 x183 x9554 x232 -x3395 -x3397 -x8190 x5137 x10762 x3832 x2861 -x4027 x2860 -x4029 x1863 x8791 x2868 x1865 x2872 x1871 -x10754 x8797 -x8255 -x4023 x2876 x1867 -x8256 x2875 x1879 -x502 -x10393 -x9788 x8802 -x8251 -x4024 x10397 x4766 -x10340 -x9791 x8805 -x8249 x4768 -x4585 -x10339 -x9672 x8803 x4774 -x4587 x9671 x7396 x4770 x4782 -x10680 x9679 x7401 -x4581 -x10684 x9683 -x10336 x9687 x7804 x7406
3600.01/3609.60	v -x4582 x9686 x7806 -x1908 x1912 -x10380 x7800 -x4763 -x10382 x4762 -x2741 -x9760 -x7801 -x9759 x10638 x9632 -x6850 x10642 -x9636 x6849 x9702 -x4759 -x9756 x9708 -x9638 -x9472 -x7466 x3895 -x9639 -x9476 -x7470 -x5765 x3894 -x919 x6846 -x5767 -x9602 x5773 x9711 -x9601 x9478 x5769 -x2694 x9479 x5781 -x2693 x9609 x8053 -x3891 x3079 -x9613 -x8057 x3081 x9617 -x5473 x9616 -x7918 -x5477 x3075 x2690 -x1623 x4820 -x3657 -x1627 -x8078 -x8024 x6296 -x5479 x4822 x3076 -x8082 -x5480 x4828 x8030 x4824 x440 x4836 x444 x8035 x9519 x9399 x8038 x446 x9398 x8036 x447 -x10427 -x9722 x9525 -x10426 -x9726 -x7812 x10577 x2644 x10579 x9528 x9395 x7818 -x7457 x10584 -x7459 -x10423 x10592 -x4434 x10625 x10763 -x7453 x10627 x8698 x8719 -x7454 x8715 x9552 x8714 -x4438 x179 x9551 -x4442 x182 -x3396 -x9462 -x4028 x3834 x2862 -x10750 -x8254 x3836 x2863 x8790 -x8253 x3837 x2864 x1866 -x10753 x8792 x2880 x1887 x8798 x1883 -x10395 -x9787 x8794 x1882 x10399 x8806 -x4586 -x9793 -x8250 x4769 x10401 x4790 x10402 x9673 x7395 x4786 -x10679 -x9796 x9674 x7397 x4785 -x10683 x9675 x7805 x7402 x9691 -x1910 x1914 x10379 -x10381 x9627 x9626 x1916 x1917 x10640 x9699 x9633 x10644 -x9637 x9466 x9704 -x9641 x9465 -x9640 x10646 x9709 -x9473 -x7465 x10647 -x9477 -x7469 x9712 x9481 x9710 x9480 -x5768 x5789 x9603 -x5785 -x5467 x3080 x9604 x8055 -x5784 -x5466 x9605 -x8059 x9621 -x8311 -x5474 -x5478 x8061 -x6292 -x5482 -x1625 x8062 -x5481 -x1629 x434 -x8077 x6295 x433 -x8081 -x8023 x4823 -x8025 x4844 -x1631 x441 x8031 x4840 -x1632 x445 -x9516 x8027 x4839 x449 x8039 x448 x9521 -x9724 x9526 -x7809 -x9728 x10282 x9529 -x7814 x9527 -x7458 -x9730 x7819 x10580 -x9731 x10596 x10624 x8716 x10626 x8718 x8712 -x4437 x178 -x4441 x8713 x184 x7507 -x2132 -x9461 x3835 x5378 x3839 -x5379 x3838 -x10749 -x6109 x2883 x1884 -x10390 x2884 x1886 -x10755 -x10389 -x9784 x2879 x8793 -x10396 -x9789 x8814 x2877 x1880 x10400 x8810 x10404 -x9794 x8809 x4787 -x1881 x10403 x4789 -x9797 -x9795 -x10681 x9694 x4783 -x2024 -x10685 x9695 x7398 -x2028 -x1905 x9690 x7410 x4784 -x1904 -x10687 x9688 -x1911 -x10688 x1915 x10635 -x10383 x1918 x10634 x9628 x10641 -x10385 x9629 x10645 -x10386 x9698 x10649 x9700 x9645 x10648 x9705 x9467 x9468 -x7467 x9713 x9469 -x7471 x9485 x5786 -x8049 x5788 -x8048 -x7473 -x7474 x9624 x8307 x8056 -x5782 x9625 -x8060 -x5468 -x1619 x9620 x8310 x8064 -x5783 -x5469 -x1618 x8063 -x5470 x9618 -x6291 -x5486 -x1626 -x1630 -x8079 x6297 x4841 -x1634 -x8083 x4843 -x1633 x435 x436 -x8026 x437 x8085 -x8047 x6300 x4837 -x453 x9719 x9515 x8086 -x8043 x9718 x9517 -x8042 x4838 x9522 x10278 -x9725 -x9729 x9530 -x7808 x10281 -x9733 -x7810 -x9732 -x7815 x10593 x10595 x8717 x10628 -x10764 -x8596 x175 x10630 -x4439 x180 x10631 -x4443 x10344 x185 x10348 x7506 x4445 -x2131 x4446 -x8344 -x9463 x5380 -x10746 x6105 -x3843 x2882 x2881 -x1885 -x10751 -x6108 -x10756 x8811 -x10391 -x9783 x8813 -x10392 -x9785 x2878 -x9790 x4788 x8807 -x10676 -x9798 -x10675 x9693 -x8808 x9692 -x10682 x7407 -x5436 -x2023 -x10686 x7409 x5439 -x2027 -x10690 -x10689 x10377 -x1906 x10376 x9689 -x1907 -x10384 -x10388 x10636 -x10387 x10637 -x7462 x9644 -x7461 x9701 x9642 -x9488 -x7468 x9717 -x9489 -x7472 x5787 x9716 x9484 -x7476 -x7475 x9623 x9482 x9622 -x8050 x8306 x8223 -x8051 x8227 x8052 x8312 -x8068 x6288 -x5489 -x8074 -x5490 -x1620 x9619 -x8073 -x6293 -x5485 -x1621 x4842 x1622 x8315 -x8080 x6298 -x5483 -x1638 -x8084 x8088 -x8044 x6301 x4795 -x456 x8087 -x8046 x6299 x457 -x452 -x8040 -x450 x9720 x9518 x10277 x9721 -x8041 x9534 x10283 x9737 x9533 x10594 -x7811 -x7823 x10623 x10622 -x10286 x10765 x10629 x10633 -x8595 x10632 x174 -x4440 x176 -x4444 x181 x10343 x4448 -x2128 x10347 x4447 x7508 -x2133 x8343 -x10766 -x5384 x3846 -x9464 x3847 x6104 -x3842 x10745 x10747 -x6110 -x3840 -x10752 x8812 -x9786 -x10677 x7408 -x10678 x5435 -x2025 x5438 -x2029 -x10694 x2031 -x1921 x10378 x2032 -x1922 -x9487 -x9486 -x7463 x9643 -x7464 x9714 -x10767 x9697 x9715 x9483 x8308 x8222 -x8071 -x5488 x8226 -x8072 -x5487 x8313 -x8067 x6287 x8316 -x8065 x6289 -x1641 x8314 -x8075 -x6294 -x1642 -x8076 -x5484 x4792 -x1637 -x455 -x8045 x6302 -x454 x4794 -x1635 -x451 x10279 x10284 x9736 x9531 -x8165 -x7820 x3899 x8169 -x7822 -x10287 x9734 x9532 -x9435 -x10285 -x8597 -x7503 x177 x10345 -x9975 x8600 x7502 -x4452 -x193 x10349 x9979 x2127 -x189 x7509 x2129 -x188 -x2134 x8345 -x3845 -x3844 -x5383 x6106 -x5381 x6111 -x3841 x10748 x5437 -x2026 x5440 -x2030 -x10693 x2034 -x1920 x2033 -x1919 -x10691 x7922 x9696 -x8070 -x8069 x8224 x8309 x8228 -x1640 x8317 -x1639 x8230 -x8066 -x8231 x6290 x4791 x4796 -x1636 -x10768 x10769 x10280 -x7821 -x9431 -x8164 x3898 -x10288 x8168 x9735 -x9434 x10770 -x8598 x8601 -x190 x8599 -x192 x10346 -x9974 -x4451 x10350 x9978 x7504 x7505 -x4449 -x186 x2130 x7513 -x2141 -x187 -x5382 x6107 -x10692 x7921 x8225 x8229 x4793 -x9430 -x8166 x3900 -x10292 x8170 -x10291 x9436 -x3903 x8602 -x191 -x9976 x9980 -x4450 -x2138 -x2140 x9982 x7512 x9983 -x2137 -x9429 x9432 -x8167 x3901 x8171 -x10289 x9437 x3904 x3902 -x10290 -x9977 x9981 -x2139 x9985 x9984 x7510 -x2135 -x9428 -x9427 x9433 x3905 x10771 x10772 x7511 -x2136 x1

Verifier Data 

OK	1396

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: 64096 MiB (61941 MiB free)
  memory of node 1: 64473 MiB (63594 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433926-1721057537/watcher-4433926-1721057537 -o /tmp/evaluation-result-4433926-1721057537/solver-4433926-1721057537 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721053938-799442 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433926-1721057537.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=801505, runsolver pid=801502

[startup+0.100897 s]*
/proc/loadavg: 4.40 4.23 4.13 5/245 801510
/proc/meminfo: memFree=128541524/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=13684 memory=7388 CPUtime=0.09 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 1568 0 0 0 9 0 0 0 20 0 1 0 157909518 14012416 1847 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 3421 1847 436 659 0 2625 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23616 KiB
Current children cumulated memory: 10160 KiB

[startup+0.212311 s]*
/proc/loadavg: 4.40 4.23 4.13 5/245 801510
/proc/meminfo: memFree=128517340/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=13816 memory=7648 CPUtime=0.2 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 1676 0 0 0 20 0 0 0 20 0 1 0 157909518 14147584 1912 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 3454 1912 436 659 0 2658 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 23748 KiB
Current children cumulated memory: 10420 KiB

[startup+0.312037 s]*
/proc/loadavg: 4.40 4.23 4.13 4/244 801510
/proc/meminfo: memFree=128498064/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=17000 memory=10816 CPUtime=0.31 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 2446 0 0 0 30 1 0 0 20 0 1 0 157909518 17408000 2704 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 4250 2704 436 659 0 3454 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26932 KiB
Current children cumulated memory: 13588 KiB

[startup+0.700401 s]
/proc/loadavg: 4.40 4.23 4.13 6/243 801524
/proc/meminfo: memFree=128438240/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=69996 memory=61472 CPUtime=0.68 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 14259 0 0 0 63 5 0 0 20 0 1 0 157909518 71675904 15368 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 17499 15368 468 659 0 16703 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79928 KiB
Current children cumulated memory: 64244 KiB

[startup+1.50038 s]
/proc/loadavg: 4.28 4.21 4.13 5/248 801546
/proc/meminfo: memFree=128274444/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=103368 memory=93740 CPUtime=1.47 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 21425 0 0 0 140 7 0 0 20 0 1 0 157909518 105848832 23435 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 25842 23435 468 659 0 25046 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 113300 KiB
Current children cumulated memory: 96512 KiB

[startup+3.11325 s]
/proc/loadavg: 4.28 4.21 4.13 5/248 801547
/proc/meminfo: memFree=127284948/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=751908 memory=671916 CPUtime=3.09 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 74001 0 0 0 285 24 0 0 20 0 1 0 157909518 769953792 167979 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 187977 167979 468 659 0 187181 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 761840 KiB
Current children cumulated memory: 674688 KiB

[startup+6.30039 s]
/proc/loadavg: 4.26 4.21 4.12 5/248 801547
/proc/meminfo: memFree=126920176/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=949232 memory=858120 CPUtime=6.27 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 86017 0 0 0 596 31 0 0 20 0 1 0 157909518 972013568 214530 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 237308 214530 468 659 0 236512 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 959164 KiB
Current children cumulated memory: 860892 KiB

[startup+12.7004 s]
/proc/loadavg: 4.24 4.20 4.12 5/248 801549
/proc/meminfo: memFree=126976572/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=969192 memory=898076 CPUtime=12.65 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 90183 0 0 0 1231 34 0 0 20 0 1 0 157909518 992452608 224519 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 242298 224519 468 659 0 241502 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 979124 KiB
Current children cumulated memory: 900848 KiB

[startup+25.5004 s]
/proc/loadavg: 4.28 4.21 4.13 5/248 801550
/proc/meminfo: memFree=126919840/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1046268 memory=943220 CPUtime=25.42 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 91947 0 0 0 2507 35 0 0 20 0 1 0 157909518 1071378432 235805 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 261567 235805 468 659 0 260771 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1056200 KiB
Current children cumulated memory: 945992 KiB

[startup+51.1129 s]
/proc/loadavg: 4.17 4.19 4.12 5/247 801553
/proc/meminfo: memFree=126902916/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1046268 memory=945268 CPUtime=50.96 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 92161 0 0 0 5061 35 0 0 20 0 1 0 157909518 1071378432 236317 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 261567 236317 468 659 0 260771 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1056200 KiB
Current children cumulated memory: 948040 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.19 4.12 5/247 801563
/proc/meminfo: memFree=126802788/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1046268 memory=949364 CPUtime=102 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 92422 0 0 0 10165 35 0 0 20 0 1 0 157909518 1071378432 237341 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 261567 237341 468 659 0 260771 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1056200 KiB
Current children cumulated memory: 952136 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/247 801574
/proc/meminfo: memFree=126766996/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1046268 memory=941532 CPUtime=161.84 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 92792 0 0 0 16147 37 0 0 20 0 1 0 157909518 1071378432 235383 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 261567 235383 468 659 0 260771 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1056200 KiB
Current children cumulated memory: 944304 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/247 801634
/proc/meminfo: memFree=127273548/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1046268 memory=951772 CPUtime=221.65 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 92970 0 0 0 22128 37 0 0 20 0 1 0 157909518 1071378432 237943 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 261567 237943 468 659 0 260771 0
Current children cumulated CPU time: 221.65 s

################
# More data... #
################

/proc/801510/statm: 292382 262310 468 659 0 291586 0
Current children cumulated CPU time: 3034.17 s
Current children cumulated vsize: 1179460 KiB
Current children cumulated memory: 1052012 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/248 802719
/proc/meminfo: memFree=126886956/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1169528 memory=1057800 CPUtime=3094.01 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 138507 0 0 0 309313 88 0 0 20 0 1 0 157909518 1197596672 264450 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 292382 264450 468 659 0 291586 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 1179460 KiB
Current children cumulated memory: 1060572 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/248 803112
/proc/meminfo: memFree=126906548/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1169528 memory=1068040 CPUtime=3153.87 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 138895 0 0 0 315298 89 0 0 20 0 1 0 157909518 1197596672 267010 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 292382 267010 468 659 0 291586 0
Current children cumulated CPU time: 3153.87 s
Current children cumulated vsize: 1179460 KiB
Current children cumulated memory: 1070812 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/246 803123
/proc/meminfo: memFree=126868200/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1172484 memory=1080480 CPUtime=3213.71 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 139324 0 0 0 321282 89 0 0 20 0 1 0 157909518 1200623616 270120 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 293121 270120 468 659 0 292325 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 1182416 KiB
Current children cumulated memory: 1083252 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/246 803133
/proc/meminfo: memFree=126933540/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1172484 memory=1047448 CPUtime=3273.56 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 140581 0 0 0 327264 92 0 0 20 0 1 0 157909518 1200623616 261862 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 293121 261862 468 659 0 292325 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 1182416 KiB
Current children cumulated memory: 1050220 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/247 803313
/proc/meminfo: memFree=126849032/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1172484 memory=1066072 CPUtime=3333.39 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 141402 0 0 0 333247 92 0 0 20 0 1 0 157909518 1200623616 266518 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 293121 266518 468 659 0 292325 0
Current children cumulated CPU time: 3333.39 s
Current children cumulated vsize: 1182416 KiB
Current children cumulated memory: 1068844 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/247 803324
/proc/meminfo: memFree=126885916/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1176024 memory=1084056 CPUtime=3393.25 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 142110 0 0 0 339232 93 0 0 20 0 1 0 157909518 1204248576 271014 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 294006 271014 468 659 0 293210 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 1185956 KiB
Current children cumulated memory: 1086828 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.15 5/248 803391
/proc/meminfo: memFree=126840632/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1178784 memory=1062164 CPUtime=3453.09 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 143628 0 0 0 345213 96 0 0 20 0 1 0 157909518 1207074816 265541 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 294696 265541 468 659 0 293900 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 1188716 KiB
Current children cumulated memory: 1064936 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/248 803401
/proc/meminfo: memFree=126840524/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1178784 memory=1074580 CPUtime=3512.93 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 144050 0 0 0 351197 96 0 0 20 0 1 0 157909518 1207074816 268645 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 294696 268645 468 659 0 293900 0
Current children cumulated CPU time: 3512.93 s
Current children cumulated vsize: 1188716 KiB
Current children cumulated memory: 1077352 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/248 803411
/proc/meminfo: memFree=126923336/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1128696 memory=1052880 CPUtime=3572.77 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 145081 0 0 0 357180 97 0 0 20 0 1 0 157909518 1155784704 263220 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 282174 263220 468 659 0 281378 0
Current children cumulated CPU time: 3572.77 s
Current children cumulated vsize: 1138628 KiB
Current children cumulated memory: 1055652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.17 4.15 4.15 5/248 803416
/proc/meminfo: memFree=126892776/131655788 swapFree=131071996/131071996
[pid=801505] ppid=801502 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/801505/stat : 801505 (naps-1.03.sh) S 801502 801505 795838 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 157909517 10170368 693 134679101440 94917496307712 94917497387032 140734354066576 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94917499485488 94917499532676 94917518123008 140734354068448 140734354068577 140734354068577 140734354075592 0
/proc/801505/statm: 2483 693 614 264 0 134 0
[pid=801510] ppid=801505 vsize=1178784 memory=1057144 CPUtime=3600.01 cores=1,3
/proc/801510/stat : 801510 (naps-1.03) R 801505 801505 795838 0 -1 4194304 145844 0 0 0 359903 98 0 0 20 0 1 0 157909518 1207074816 264286 134679101440 4194304 6891213 140737271390976 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14675968 140737271399409 140737271399525 140737271399525 140737271406539 0
/proc/801510/statm: 294696 264286 468 659 0 293900 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1188716 KiB
Current children cumulated memory: 1059916 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.61 s]
# the end of solver process 801505 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002407 s, system=0.001833 s

[startup+3609.61 s]
# the end of solver process 801510 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.04 s, system=0.989936 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 10

Real time (s): 3609.61
CPU time (s): 3600.03
CPU user time (s): 3599.04
CPU system time (s): 0.989936
CPU usage (%): 99.7346
Max. virtual memory (cumulated for all children) (KiB): 1268856
Max. memory (cumulated for all children) (KiB): 1165724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.04
system time used= 0.989936
maximum resident set size= 1167048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146307
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= 148
involuntary context switches= 2509


# summary of solver processes directly reported to runsolver:
#   pid: 801505,801510
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.04
#   total CPU system time (s): 0.989936

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3845 second user time and 37.6884 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-15 17:32:29
IDJOB=4433926
IDBENCH=146657
IDSOLVER=3062
FILE ID=nodeC004/4433926-1721057537
RUNJOBID= nodeC004-1721053938-799442
SLURM_JOB_ID= 7505478
Free space on /tmp= 723760 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433926-1721057537/watcher-4433926-1721057537 -o /tmp/evaluation-result-4433926-1721057537/solver-4433926-1721057537 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721053938-799442 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4433926-1721057537.opb

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

MD5SUM BENCH= a964700945576a67d3d8d9c44c1c5e5c
RANDOM SEED=153650480

nodeC004.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	: 0xb00001f
cpu MHz		: 3507.987
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 3492.175
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.451
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 1197.315
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 3492.321
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 3659.841
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.307
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 1197.338
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128550252 kB
MemAvailable:   129085392 kB
Buffers:          373104 kB
Cached:          1002072 kB
SwapCached:            0 kB
Active:           617964 kB
Inactive:        1958812 kB
Active(anon):       3360 kB
Inactive(anon):  1235936 kB
Active(file):     614604 kB
Inactive(file):   722876 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             12316 kB
Writeback:             0 kB
AnonPages:       1201484 kB
Mapped:           107584 kB
Shmem:             37700 kB
KReclaimable:      75716 kB
Slab:             170196 kB
SReclaimable:      75716 kB
SUnreclaim:        94480 kB
KernelStack:        3920 kB
PageTables:        11676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1632344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51296 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1028096 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:      189256 kB
DirectMap2M:    14395392 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC004 at 2024-07-15 18:32:39