Trace number 4484213

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
Picat 2025-06-16OPT939 1266.72 1270.28

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMb97b9bf3767749854a32fccedb37d823
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 benchmark939
Best CPU time to get the best result obtained on this benchmark4.83735
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
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.02	c solving HOME/instance-4484213-1751277746.opb (Picat 3.9b6)
26.31/26.41	o 32225
73.67/73.94	o 8908
147.16/147.67	o 1207
479.12/480.54	o 988
619.71/621.54	o 939
1266.63/1270.26	s OPTIMUM FOUND
1266.63/1270.26	v ~x6134 ~x1343 ~x3083 ~x2308 ~x2221 ~x1102 ~x6270 ~x5127 ~x3636 ~x7053 
1266.63/1270.26	v x6135 ~x1350 ~x3786 ~x3355 ~x2570 ~x2498 ~x6621 ~x5478 ~x4338 ~x7404 
1266.63/1270.26	v ~x6136 ~x1353 ~x4137 ~x5463 ~x2919 ~x2847 ~x1368 ~x8286 ~x4689 x7755 
1266.63/1270.26	v ~x6153 ~x1358 ~x5541 ~x5814 ~x3268 ~x3196 x3113 ~x231 ~x5040 x54 
1266.63/1270.26	v ~x6158 ~x1364 ~x5892 ~x6165 ~x3621 ~x3545 ~x3462 x1627 x5742 ~x403 
1266.63/1270.26	v ~x6168 ~x1369 ~x6243 ~x6516 ~x3972 ~x3896 ~x3814 ~x4426 ~x492 ~x752 
1266.63/1270.26	v ~x6170 ~x1379 ~x6594 ~x6867 ~x5727 ~x6704 ~x6973 ~x4777 x841 ~x1450 
1266.63/1270.26	v ~x6184 ~x1384 ~x292 ~x7218 ~x6078 ~x7055 ~x7324 ~x5128 ~x1190 ~x1799 
1266.63/1270.26	v ~x6187 ~x1387 ~x1339 ~x7569 ~x6429 ~x7406 x7675 x8287 ~x1888 ~x2148 
1266.63/1270.26	v ~x6188 ~x1388 ~x1688 ~x7920 ~x6780 ~x7757 ~x8026 ~x232 ~x2237 ~x2497 
1266.63/1270.26	v ~x6195 ~x1395 ~x3433 ~x8271 ~x7131 ~x8108 x322 ~x581 ~x3284 ~x4246 
1266.63/1270.26	v ~x6197 ~x1403 ~x4489 ~x564 ~x7482 ~x3897 ~x1718 ~x930 ~x5392 ~x4597 
1266.63/1270.26	v x6199 ~x1404 ~x4840 ~x913 ~x7833 ~x4248 ~x3114 ~x1279 ~x5743 ~x4948 
1266.63/1270.26	v ~x6210 ~x1405 ~x5191 ~x1262 ~x8184 ~x4599 ~x3815 ~x1628 ~x6094 ~x5299 
1266.63/1270.26	v ~x6212 ~x1419 ~x6946 ~x1960 ~x2571 ~x4950 x4166 x2326 ~x6445 ~x5650 
1266.63/1270.26	v ~x6214 ~x1433 ~x7297 ~x2309 ~x2920 ~x5652 ~x4517 ~x3373 ~x6796 ~x6001 
1266.63/1270.26	v ~x6223 ~x1435 ~x7648 ~x3007 ~x3622 ~x6003 ~x4868 ~x4076 x7147 x6352 
1266.63/1270.26	v ~x6237 x1436 ~x7999 ~x3356 ~x3973 ~x6354 ~x5219 ~x4427 ~x7498 ~x8107 
1266.63/1270.26	v ~x6244 ~x1438 ~x293 ~x3709 ~x8185 ~x6705 x1370 ~x4778 ~x7849 x55 
1266.63/1270.26	v ~x6256 ~x1440 ~x642 ~x4060 ~x2572 ~x7056 ~x3115 ~x5129 x144 ~x404 
1266.63/1270.26	v ~x6257 ~x1441 ~x991 ~x5815 ~x2921 ~x7407 ~x3464 ~x5831 ~x1191 ~x753 
1266.63/1270.26	v ~x6272 ~x1442 ~x1689 ~x6166 ~x3623 ~x7758 x3816 ~x6182 ~x1540 ~x1451 
1266.63/1270.26	v ~x6273 ~x1443 ~x2038 ~x6517 ~x8186 ~x56 ~x6975 ~x6533 ~x3285 ~x1800 
1266.63/1270.26	v ~x6276 ~x1449 ~x2387 ~x6868 ~x3975 ~x405 ~x7326 x6884 ~x4340 ~x2149 
1266.63/1270.26	v ~x6278 ~x1460 ~x3085 ~x7219 ~x1178 ~x754 ~x7677 ~x7235 ~x4691 ~x4247 
1266.63/1270.26	v ~x6290 ~x1475 ~x3788 ~x7570 ~x2574 ~x1103 ~x8028 ~x7586 ~x5042 ~x4598 
1266.63/1270.26	v ~x6295 ~x1485 ~x4139 ~x7921 ~x2923 ~x1452 x5572 ~x7937 ~x5393 ~x4949 
1266.63/1270.26	v ~x6297 ~x1488 ~x4490 ~x565 ~x3272 ~x1801 ~x674 x582 ~x6797 ~x5300 
1266.63/1270.26	v ~x6304 ~x1494 ~x4841 ~x914 ~x3625 ~x2150 ~x1023 ~x931 x7148 ~x5651 
1266.63/1270.26	v ~x6307 ~x1496 ~x5192 ~x1263 ~x3976 ~x2499 ~x1372 ~x2327 ~x7499 ~x6002 
1266.63/1270.26	v ~x6321 ~x1499 ~x5543 ~x1961 ~x6784 ~x3197 ~x2070 ~x2676 ~x7850 x6353 
1266.63/1270.26	v ~x6323 ~x1513 ~x5894 ~x2310 ~x7135 ~x3898 x2419 x4077 x146 x3546 
1266.63/1270.26	v ~x6325 ~x1515 ~x6245 ~x2659 ~x7486 ~x4249 ~x3466 ~x5832 ~x1193 ~x5301 
1266.63/1270.26	v ~x6335 ~x1516 ~x6596 ~x3357 ~x7837 ~x4600 ~x5573 ~x6183 ~x1542 ~x8109 
1266.63/1270.26	v ~x6337 ~x1520 ~x643 ~x4061 ~x8188 ~x4951 ~x5924 ~x6534 ~x2938 x2848 
1266.63/1270.26	v ~x6340 ~x1524 ~x992 ~x5816 ~x1179 ~x5653 ~x6275 ~x8289 ~x3287 ~x3547 
1266.63/1270.26	v ~x6342 ~x1526 ~x1341 ~x6167 ~x2575 ~x6004 ~x6626 x3026 ~x3640 x5302 
1266.63/1270.26	v ~x6345 ~x1536 ~x2039 ~x6518 ~x2924 ~x6355 ~x6977 ~x3727 ~x4342 ~x57 
1266.63/1270.26	v ~x6348 ~x1545 ~x2388 ~x6869 ~x3273 ~x6706 ~x7328 x8290 ~x4693 ~x406 
1266.63/1270.26	v ~x6363 ~x1546 ~x3086 ~x7220 ~x3626 ~x7057 ~x7679 ~x235 ~x5044 ~x755 
1266.63/1270.26	v ~x6369 ~x1549 ~x3435 ~x7571 ~x3977 ~x7408 x8030 ~x1631 ~x6799 x1104 
1266.63/1270.26	v ~x6379 ~x1554 ~x3789 ~x7922 ~x6785 ~x7759 x326 x1980 x7150 ~x1453 
1266.63/1270.26	v ~x6389 x1556 ~x4140 ~x8273 ~x7136 ~x8110 ~x1373 ~x4430 ~x7501 ~x1802 
1266.63/1270.26	v ~x6390 ~x1557 ~x5544 ~x217 ~x7487 ~x2500 ~x1722 x4781 ~x7852 ~x2151 
1266.63/1270.26	v ~x6397 ~x1563 ~x5895 ~x1613 ~x7838 ~x2849 ~x3467 ~x5132 ~x147 ~x3198 
1266.63/1270.26	v ~x6399 ~x1568 ~x6246 ~x3009 ~x8189 ~x3548 ~x4521 x1981 ~x1543 ~x4250 
1266.63/1270.26	v ~x6407 ~x1575 ~x6597 ~x3711 ~x133 ~x3899 ~x4872 ~x2679 x2590 ~x4601 
1266.63/1270.26	v ~x6410 ~x1579 ~x6948 ~x4413 ~x1529 ~x8111 ~x5223 ~x5484 ~x4343 x4952 
1266.63/1270.26	v ~x6416 ~x1580 ~x7299 ~x4764 ~x2925 ~x58 ~x5574 x8292 x4694 ~x5303 
1266.63/1270.26	v ~x6417 ~x1581 ~x7650 ~x5115 ~x3627 ~x407 ~x6978 ~x238 ~x5045 ~x5654 
1266.63/1270.26	v ~x6422 ~x1585 ~x8001 ~x218 ~x3978 ~x756 ~x7329 ~x1634 ~x497 ~x6005 
1266.63/1270.26	v ~x6424 ~x1589 ~x2738 ~x1614 ~x4329 ~x1105 ~x7680 x1983 x846 ~x6356 
1266.63/1270.26	v ~x6426 ~x1605 ~x3087 ~x2661 ~x4680 ~x1454 x8031 ~x4433 ~x1195 ~x6707 
1266.63/1270.26	v ~x6430 ~x1612 ~x3790 ~x4414 ~x5031 ~x1803 ~x1374 x4784 ~x1893 ~x7058 
1266.63/1270.26	v ~x6432 ~x1618 ~x4141 ~x4765 ~x2577 ~x2152 x3468 ~x5135 ~x2242 ~x7409 
1266.63/1270.26	v ~x6434 ~x1630 ~x8353 ~x5116 ~x2926 ~x2501 x5575 x588 ~x3289 ~x7760 
1266.63/1270.26	v ~x6443 ~x1633 ~x2041 ~x8275 ~x3628 ~x3199 ~x6979 ~x937 ~x5397 x2850 
1266.63/1270.26	v ~x6444 ~x1636 ~x2739 ~x2662 ~x3979 ~x4251 ~x7330 ~x1286 ~x5748 ~x3549 
1266.63/1270.26	v ~x6446 ~x1637 ~x297 ~x3011 ~x8191 ~x4602 ~x7681 ~x2333 ~x6099 x3900 
1266.63/1270.26	v x6460 ~x1639 ~x1693 ~x3713 ~x135 ~x4953 ~x8032 ~x3380 ~x6450 x2851 
1266.63/1270.26	v ~x6463 ~x1652 ~x2740 ~x4064 ~x484 ~x5304 ~x328 ~x4083 ~x6801 ~x3550 
1266.63/1270.26	v ~x6476 ~x1657 ~x3089 ~x8276 ~x833 ~x5655 x1375 ~x5838 x7152 x8113 
1266.63/1270.26	v ~x6485 ~x1671 ~x3791 ~x220 ~x1531 ~x6006 ~x1724 ~x6189 ~x7503 ~x60 
1266.63/1270.26	v ~x6486 ~x1684 ~x4142 ~x1616 ~x2229 ~x6357 ~x3469 ~x6540 ~x7854 x409 
1266.63/1270.26	v x6487 ~x1685 ~x4493 ~x2663 ~x2578 ~x6708 ~x4523 x6891 ~x498 ~x758 
1266.63/1270.26	v ~x6504 ~x1686 ~x4844 ~x4416 ~x3980 ~x7059 x4874 ~x7242 x847 ~x1456 
1266.63/1270.26	v ~x6509 ~x1699 ~x5195 ~x4767 ~x4331 ~x7410 ~x5225 ~x7593 ~x1894 ~x1805 
1266.63/1270.26	v ~x6519 ~x1702 ~x8354 ~x5118 ~x4682 ~x7761 ~x5576 ~x7944 ~x2243 ~x2154 
1266.63/1270.26	v ~x6520 ~x1708 ~x2741 ~x8277 ~x5033 ~x8112 ~x6980 x5137 x3994 ~x4253 
1266.63/1270.26	v ~x6521 ~x1717 ~x3090 ~x570 ~x5735 ~x59 ~x7331 ~x6190 ~x5398 ~x4604 
1266.63/1270.26	v ~x6524 ~x1719 ~x3792 ~x919 ~x6086 ~x408 ~x7682 x1986 ~x5749 x4955 
1266.63/1270.26	v ~x6535 ~x1733 ~x4143 ~x1268 ~x6437 ~x757 ~x8033 ~x5489 ~x6100 ~x5306 
1266.63/1270.26	v ~x6538 ~x1736 ~x8355 ~x1966 ~x8192 ~x1106 x2772 ~x242 ~x6451 ~x5657 
1266.63/1270.26	v ~x6539 ~x1743 ~x2742 ~x2315 ~x136 ~x1455 ~x3121 ~x1289 ~x499 ~x6008 
1266.63/1270.26	v ~x6541 ~x1744 ~x3091 ~x2664 ~x485 ~x1804 x3822 x1638 x848 ~x6359 
1266.63/1270.26	v ~x6546 ~x1751 ~x3793 ~x3013 ~x834 ~x2153 ~x8385 ~x2685 ~x1895 ~x61 
1266.63/1270.26	v ~x6548 ~x1768 ~x4144 ~x3362 ~x1183 ~x2502 ~x330 ~x3383 ~x2244 ~x410 
1266.63/1270.26	v ~x6550 ~x1770 ~x8356 ~x3715 ~x1532 ~x3200 ~x1377 ~x4437 ~x2942 ~x759 
1266.63/1270.26	v ~x6561 ~x1772 ~x1347 ~x5821 ~x2230 ~x3901 ~x1726 ~x4788 x3644 x1108 
1266.63/1270.26	v ~x6563 ~x1782 ~x2743 ~x6172 ~x2579 ~x4252 ~x3122 ~x5139 ~x5399 ~x1457 
1266.63/1270.26	v x6565 ~x1784 ~x3092 ~x6523 ~x2928 ~x4603 x3471 x6894 ~x5750 ~x1806 
1266.63/1270.26	v ~x6574 ~x1787 ~x3441 ~x6874 ~x3277 ~x4954 ~x3823 ~x7245 ~x6101 ~x2155 
1266.63/1270.26	v ~x6588 ~x1789 ~x3794 ~x7225 ~x3630 ~x5305 ~x4525 ~x7596 ~x6452 ~x3202 
1266.63/1270.26	v ~x6595 ~x1791 ~x4145 ~x7576 ~x3981 ~x5656 ~x4876 ~x7947 x2594 ~x4254 
1266.63/1270.26	v ~x6605 ~x1792 ~x6953 ~x7927 ~x4332 ~x6007 x5227 ~x8298 ~x2943 ~x4605 
1266.63/1270.26	v ~x6607 ~x1795 ~x7304 ~x8278 ~x4683 ~x6358 ~x6982 ~x592 x3645 x4956 
1266.63/1270.26	v x6608 ~x1808 ~x7655 ~x2665 ~x5034 ~x6709 ~x7333 x941 ~x5400 ~x5658 
1266.63/1270.26	v ~x6623 ~x1814 ~x8006 ~x3014 ~x5385 ~x7060 ~x7684 ~x1290 ~x8208 ~x6009 
1266.63/1270.26	v ~x6624 ~x1823 ~x8357 ~x3716 ~x5736 ~x7411 ~x8035 ~x1988 ~x501 ~x6360 
1266.63/1270.26	v ~x6627 ~x1824 ~x301 ~x8279 ~x6087 ~x7762 x2774 ~x2337 x850 ~x6711 
1266.63/1270.26	v ~x6629 ~x1833 ~x650 ~x572 ~x6438 ~x1107 ~x3123 ~x3384 ~x1897 ~x7062 
1266.63/1270.26	v ~x6636 ~x1834 ~x999 ~x921 ~x6789 ~x2503 x3824 ~x5491 ~x2246 ~x7413 
1266.63/1270.26	v ~x6641 ~x1837 x1348 ~x1968 ~x7140 ~x2852 ~x8387 ~x5842 ~x5401 ~x7764 
1266.63/1270.26	v ~x6646 ~x1840 ~x1697 ~x2317 ~x7491 ~x3201 x332 ~x6193 ~x5752 ~x62 
1266.63/1270.26	v ~x6648 ~x1841 ~x2046 ~x4068 ~x7842 ~x3551 ~x681 ~x6544 ~x6103 ~x411 
1266.63/1270.26	v x6656 ~x1842 ~x2395 ~x5472 ~x2580 ~x3902 ~x1030 ~x6895 ~x6454 ~x760 
1266.63/1270.26	v ~x6657 ~x1843 ~x2744 ~x5823 ~x2929 ~x6710 ~x1728 ~x7246 x2596 x1109 
1266.63/1270.26	v ~x6672 ~x1845 ~x3093 ~x6174 ~x3631 ~x7061 ~x2426 ~x7597 ~x2945 ~x1458 
1266.63/1270.26	v ~x6685 ~x1847 ~x3442 ~x6525 ~x3982 ~x7412 ~x4527 x7948 x3647 ~x1807 
1266.63/1270.26	v ~x6686 ~x1848 ~x3795 ~x224 ~x8194 ~x7763 ~x4878 ~x244 ~x8210 ~x2156 
1266.63/1270.26	v ~x6688 ~x1850 ~x4146 ~x573 ~x1185 ~x8114 ~x5229 ~x1291 ~x154 ~x3203 
1266.63/1270.26	v x6689 ~x1852 ~x4497 ~x922 ~x2581 ~x2504 ~x5931 x1640 ~x503 ~x4255 
1266.63/1270.26	v ~x6690 ~x1853 ~x4848 ~x1271 ~x2930 ~x2853 x6282 ~x2687 ~x852 ~x4606 
1266.63/1270.26	v ~x6691 ~x1860 ~x5199 ~x1620 ~x3279 ~x3552 ~x6633 ~x3385 ~x1201 ~x4957 
1266.63/1270.26	v ~x6693 ~x1867 ~x5550 ~x2318 ~x3632 ~x3903 x3125 ~x4439 x1550 x5659 
1266.63/1270.26	v ~x6694 ~x1869 x5901 ~x2667 ~x3983 ~x5307 ~x3826 ~x4790 ~x1899 ~x6010 
1266.63/1270.26	v ~x6695 ~x1875 ~x6252 ~x3016 ~x6791 ~x8115 x4177 ~x5141 ~x2248 ~x6361 
1266.63/1270.26	v ~x6696 ~x1877 ~x6603 ~x3365 ~x7142 ~x2505 ~x5581 ~x6896 ~x3295 ~x6712 
1266.63/1270.26	v ~x6714 ~x1886 ~x6954 ~x3718 ~x7493 ~x2854 ~x334 ~x7247 ~x4350 ~x7063 
1266.63/1270.26	v ~x6725 ~x1889 ~x7305 ~x4069 ~x7844 ~x3553 ~x683 ~x7598 ~x4701 ~x7414 
1266.63/1270.26	v ~x6742 ~x1903 ~x7656 ~x4420 ~x8195 ~x3904 x1032 x7949 ~x5052 ~x7765 
1266.63/1270.26	v ~x6747 ~x1906 ~x8007 ~x4771 ~x139 ~x5308 ~x1381 ~x8300 ~x5403 x3554 
1266.63/1270.26	v ~x6748 ~x1928 ~x8358 ~x5122 ~x1535 ~x8116 ~x1730 ~x1990 ~x5754 ~x5309 
1266.63/1270.26	v ~x6750 ~x1929 ~x2745 ~x5824 ~x2582 ~x3905 ~x2079 x2688 ~x6105 ~x8117 
1266.63/1270.26	v ~x6754 ~x1930 ~x3094 ~x6175 ~x2931 ~x4256 ~x2428 ~x5493 ~x6456 x63 
1266.63/1270.26	v ~x6757 ~x1947 ~x3796 ~x6526 ~x3633 ~x4607 ~x3475 x5844 ~x6807 ~x1459 
1266.63/1270.26	v ~x6758 ~x1952 ~x4147 ~x6877 ~x3984 ~x4958 ~x4529 ~x8301 x7158 ~x4257 
1266.63/1270.26	v ~x6761 ~x1962 ~x1351 ~x7228 ~x4335 ~x5660 ~x4880 ~x246 ~x7509 ~x4608 
1266.63/1270.26	v ~x6768 ~x1963 ~x2747 x7579 ~x4686 ~x6011 ~x5231 ~x1293 ~x7860 ~x4959 
1266.63/1270.26	v x6773 ~x1964 ~x3445 ~x7930 ~x5037 ~x6362 ~x5582 x1642 ~x155 x5310 
1266.63/1270.26	v ~x6781 ~x1967 ~x4149 ~x8281 ~x8196 ~x6713 ~x5933 ~x3387 ~x1551 ~x413 
1266.63/1270.26	v ~x6782 ~x1972 ~x6957 ~x574 ~x2583 ~x7064 ~x6284 ~x4441 x1900 ~x762 
1266.63/1270.26	v ~x6795 ~x1977 ~x7308 ~x923 ~x2932 ~x7415 ~x6635 ~x4792 ~x4351 ~x1809 
1266.63/1270.26	v ~x6800 ~x1979 ~x7659 ~x1272 ~x3634 ~x7766 ~x6986 ~x5143 ~x4702 x2158 
1266.63/1270.26	v ~x6805 ~x1982 ~x8010 ~x1970 ~x3985 ~x2506 ~x7337 ~x6898 x5053 ~x5311 
1266.63/1270.26	v ~x6814 ~x1985 ~x8361 ~x2319 ~x8197 ~x2855 x7688 x7249 ~x8212 ~x5662 
1266.63/1270.26	v ~x6820 ~x1992 ~x1352 ~x2668 ~x141 ~x3555 ~x8039 ~x7600 ~x156 ~x6013 
1266.63/1270.26	v ~x6827 ~x1994 ~x2748 ~x3017 ~x1537 ~x8118 x2778 ~x7951 x1552 ~x6364 
1266.63/1270.26	v ~x6829 ~x2007 ~x3097 ~x3366 ~x4337 ~x1111 ~x4179 ~x247 ~x2948 x2857 
1266.63/1270.26	v ~x6833 ~x2009 ~x3446 ~x3719 ~x4688 ~x2507 x6285 ~x1294 x3650 ~x3557 
1266.63/1270.26	v x6836 ~x2012 ~x3799 ~x5474 ~x5039 ~x2856 ~x336 ~x1643 ~x4352 x8120 
1266.63/1270.26	v ~x6837 ~x2017 ~x4150 ~x5825 ~x143 ~x3205 ~x685 x3388 ~x4703 ~x415 
1266.63/1270.26	v ~x6838 ~x2020 ~x6958 ~x6176 ~x1539 ~x3556 x1034 ~x4442 ~x5054 ~x764 
1266.63/1270.26	v ~x6843 ~x2031 ~x7309 ~x6527 ~x2586 ~x3907 ~x1383 ~x4793 ~x5405 x1113 
1266.63/1270.26	v ~x6846 ~x2037 ~x7660 ~x6878 ~x2935 ~x6715 ~x1732 x5144 ~x8213 ~x1811 
1266.63/1270.26	v ~x6860 ~x2050 ~x8011 ~x7229 ~x3637 ~x7066 ~x2081 ~x6899 ~x506 ~x2160 
1266.63/1270.26	v ~x6863 ~x2051 ~x8362 ~x7580 ~x3988 ~x7417 ~x2430 ~x7250 x855 ~x3207 
1266.63/1270.26	v ~x6865 ~x2056 ~x307 ~x7931 ~x4339 ~x7768 ~x2779 ~x7601 ~x1902 ~x5313 
1266.63/1270.26	v ~x6871 ~x2067 ~x656 ~x8282 ~x4690 ~x8119 ~x3477 ~x7952 ~x2251 x5664 
1266.63/1270.26	v ~x6875 ~x2068 ~x1005 ~x2669 ~x5041 ~x65 ~x4180 ~x8303 x5406 ~x6015 
1266.63/1270.26	v ~x6886 ~x2071 ~x1354 ~x3018 ~x8200 ~x414 ~x4531 x3040 ~x5757 ~x6366 
1266.63/1270.26	v ~x6888 ~x2073 ~x1703 ~x3720 ~x2587 ~x763 ~x4882 ~x3741 ~x6108 ~x6717 
1266.63/1270.26	v x6889 ~x2077 ~x2052 ~x4071 ~x2936 ~x1112 ~x5233 x5496 ~x6459 ~x7068 
1266.63/1270.26	v ~x6892 ~x2080 ~x2401 ~x8283 ~x3638 ~x1461 ~x5584 x2692 ~x1205 ~x7419 
1266.63/1270.26	v ~x6897 ~x2085 ~x3448 ~x2670 ~x3989 ~x1810 ~x5935 ~x5497 x3299 ~x7770 
1266.63/1270.26	v ~x6908 ~x2090 ~x4152 ~x577 ~x8201 ~x2159 ~x6286 ~x8305 ~x6811 x2859 
1266.63/1270.26	v ~x6912 ~x2093 ~x4503 ~x926 ~x145 ~x2508 ~x6637 ~x250 ~x7162 ~x3559 
1266.63/1270.26	v ~x6914 ~x2100 ~x4854 ~x1275 ~x494 ~x3206 ~x6988 ~x599 ~x7513 x8122 
1266.63/1270.26	v ~x6916 ~x2103 ~x5205 ~x1973 ~x843 ~x3908 ~x7339 x948 ~x7864 ~x68 
1266.63/1270.26	v ~x6924 ~x2117 ~x5556 ~x2322 ~x1192 ~x4259 x7690 ~x1297 ~x159 ~x1464 
1266.63/1270.26	v ~x6929 ~x2119 ~x5907 ~x3020 ~x1541 ~x4610 ~x8041 ~x1646 ~x508 x2860 
1266.63/1270.26	v ~x6933 ~x2121 ~x6258 ~x3369 ~x1890 ~x4961 ~x8392 ~x2344 ~x857 ~x3560 
1266.63/1270.26	v x6941 ~x2131 ~x6609 ~x3721 x2239 ~x5312 ~x686 ~x3391 ~x1206 ~x4262 
1266.63/1270.26	v ~x6942 ~x2133 ~x6960 ~x5827 ~x2588 ~x5663 ~x1035 ~x4445 x1555 ~x4613 
1266.63/1270.26	v ~x6943 ~x2136 ~x7311 ~x6178 ~x2937 ~x6014 ~x2082 x4796 ~x1904 x4964 
1266.63/1270.26	v ~x6956 ~x2138 ~x7662 ~x6529 ~x3286 ~x6365 ~x2431 ~x5147 ~x2253 ~x5315 
1266.63/1270.26	v ~x6959 ~x2140 ~x8013 ~x6880 ~x3639 ~x6716 x2780 ~x5849 ~x3300 x69 
1266.63/1270.26	v ~x6969 ~x2141 ~x308 ~x7231 ~x3990 ~x7067 ~x5234 ~x6200 ~x4355 ~x1465 
1266.63/1270.26	v ~x6974 ~x2144 ~x1355 ~x7582 ~x4341 ~x7418 ~x5585 ~x6551 ~x4706 ~x4263 
1266.63/1270.26	v ~x6984 ~x2157 ~x1704 ~x7933 ~x4692 ~x7769 ~x5936 ~x6902 ~x5057 ~x4614 
1266.63/1270.26	v ~x6989 ~x2163 ~x3449 ~x2672 ~x5043 ~x66 ~x6287 ~x7253 ~x5408 ~x4965 
1266.63/1270.26	v ~x6992 ~x2172 ~x4504 ~x3021 ~x5394 ~x1462 x6638 ~x7604 ~x5759 ~x5316 
1266.63/1270.26	v ~x7007 ~x2182 ~x4855 ~x3722 ~x5745 ~x2509 ~x8393 ~x7955 ~x6110 x2862 
1266.63/1270.26	v ~x7008 ~x2183 ~x5206 ~x4073 ~x6096 ~x2858 x2083 ~x251 ~x6461 ~x3562 
1266.63/1270.26	v ~x7023 ~x2190 ~x6961 ~x8285 ~x6447 ~x3558 x8394 ~x1298 ~x6812 x5317 
1266.63/1270.26	v ~x7036 ~x2192 ~x7312 ~x579 ~x6798 ~x3909 ~x339 ~x1647 x7163 ~x71 
1266.63/1270.26	v ~x7037 ~x2199 ~x7663 ~x928 x7149 ~x4260 ~x688 x3392 ~x7514 x420 
1266.63/1270.26	v ~x7039 ~x2202 ~x8014 ~x1277 ~x7500 ~x4611 x1037 x4446 ~x7865 ~x769 
1266.63/1270.26	v ~x7040 ~x2208 ~x309 ~x1975 ~x7851 ~x4962 ~x1386 ~x4797 ~x509 ~x1467 
1266.63/1270.26	v ~x7041 ~x2209 ~x1356 ~x2324 ~x8202 ~x8121 ~x1735 ~x5148 ~x858 ~x1816 
1266.63/1270.26	v ~x7042 ~x2214 ~x1705 ~x2673 ~x495 ~x67 ~x2084 ~x6903 ~x1905 ~x2165 
1266.63/1270.26	v ~x7044 ~x2216 ~x2752 ~x3371 ~x844 ~x416 ~x2433 ~x7254 ~x2254 x4265 
1266.63/1270.26	v ~x7045 ~x2218 ~x3450 ~x4074 ~x1891 ~x765 ~x3480 ~x7605 ~x5409 ~x4616 
1266.63/1270.26	v ~x7046 ~x2222 ~x4505 ~x5829 ~x2240 ~x1114 ~x4534 ~x7956 ~x5760 ~x4967 
1266.63/1270.26	v ~x7047 ~x2224 ~x4856 ~x6180 ~x2589 ~x1463 ~x4885 x3044 x6111 ~x5318 
1266.63/1270.26	v ~x7065 x2226 ~x5207 ~x6531 ~x3991 ~x1812 ~x5236 ~x3745 ~x6462 ~x5669 
1266.63/1270.26	v ~x7076 ~x2235 ~x6962 ~x6882 ~x5395 ~x2161 ~x5587 x5500 x1907 ~x6020 
1266.63/1270.26	v ~x7093 ~x2238 ~x7313 ~x7233 ~x5746 ~x2510 ~x5938 ~x253 ~x2605 ~x6371 
1266.63/1270.26	v ~x7098 ~x2252 ~x7664 ~x7584 ~x6097 ~x3208 ~x6289 ~x602 ~x5411 ~x72 
1266.63/1270.26	v ~x7099 ~x2255 ~x8015 ~x7935 ~x6448 ~x3910 ~x6640 x951 x8219 ~x421 
1266.63/1270.26	v ~x7101 x2277 ~x8366 ~x580 ~x8203 ~x4261 x6991 ~x1300 x163 x770 
1266.63/1270.26	v ~x7105 ~x2278 ~x2753 ~x929 ~x496 ~x4612 ~x7342 ~x1649 ~x1210 ~x1468 
1266.63/1270.26	v ~x7108 ~x2279 ~x3102 ~x1278 ~x845 ~x4963 ~x7693 ~x1998 ~x1559 ~x1817 
1266.63/1270.26	v ~x7109 ~x2296 ~x3804 ~x1976 ~x1892 ~x5314 ~x8044 ~x2347 ~x3304 ~x2166 
1266.63/1270.26	v ~x7112 ~x2301 ~x8367 ~x2325 ~x2241 ~x5665 x2783 ~x3394 ~x4008 x4266 
1266.63/1270.26	v ~x7119 ~x2311 ~x2756 ~x3023 ~x2939 ~x6016 ~x3132 ~x4448 ~x4359 ~x4617 
1266.63/1270.26	v ~x7124 ~x2312 ~x8369 ~x3372 ~x3641 ~x6367 x3833 ~x4799 ~x4710 ~x4968 
1266.63/1270.26	v x7132 ~x2313 ~x2757 ~x3724 ~x3992 ~x6718 ~x8396 ~x5150 ~x5061 ~x5319 
1266.63/1270.26	v ~x7133 ~x2316 ~x3106 ~x5830 ~x5396 ~x7069 ~x341 ~x5501 ~x6816 ~x5670 
1266.63/1270.26	v ~x7146 ~x2321 ~x3807 ~x6181 ~x5747 ~x7420 x690 ~x5852 x7167 ~x6021 
1266.63/1270.26	v ~x7151 ~x2328 ~x4158 ~x6532 ~x6098 ~x7771 ~x1039 ~x6203 ~x7518 ~x6372 
1266.63/1270.26	v x7156 ~x2331 ~x8370 ~x6883 ~x6449 ~x417 ~x1737 ~x6554 ~x7869 ~x73 
1266.63/1270.26	v ~x7165 ~x2332 ~x315 ~x7234 ~x8204 ~x766 ~x2086 ~x6905 ~x164 ~x422 
1266.63/1270.26	v ~x7171 ~x2334 ~x664 ~x7585 ~x148 ~x1115 ~x2435 ~x7256 ~x513 ~x771 
1266.63/1270.26	v ~x7178 ~x2339 ~x1013 ~x7936 ~x1544 ~x1813 ~x6993 ~x7607 ~x862 x1120 
1266.63/1270.26	v ~x7180 ~x2341 ~x1711 ~x2675 ~x2591 ~x2162 ~x7344 x7958 x1211 ~x1469 
1266.63/1270.26	v ~x7184 ~x2343 ~x2060 ~x3024 ~x2940 ~x2511 x7695 ~x254 ~x1560 ~x1818 
1266.63/1270.26	v ~x7187 ~x2354 ~x2409 ~x3725 ~x3642 ~x3209 ~x8046 ~x603 ~x1909 ~x2167 
1266.63/1270.26	v ~x7188 ~x2356 ~x2758 ~x8288 ~x3993 ~x3911 ~x342 x952 ~x2258 ~x3214 
1266.63/1270.26	v ~x7189 ~x2358 ~x4159 ~x233 ~x4344 ~x5666 x1738 ~x1301 ~x3305 ~x4267 
1266.63/1270.26	v ~x7194 ~x2367 ~x4510 ~x1280 ~x4695 ~x6017 ~x4537 ~x1650 ~x4360 ~x4618 
1266.63/1270.26	v ~x7197 ~x2380 ~x4861 ~x1629 ~x5046 ~x6368 ~x4888 ~x2348 ~x4711 ~x4969 
1266.63/1270.26	v ~x7211 x2386 ~x5212 ~x1978 ~x8205 ~x6719 ~x5239 ~x3395 ~x5062 ~x5320 
1266.63/1270.26	v ~x7213 ~x2397 ~x5914 ~x3025 ~x1196 ~x7070 x5590 ~x4098 ~x5413 x5671 
1266.63/1270.26	v ~x7214 ~x2399 ~x6265 ~x3374 ~x2592 ~x7421 ~x692 ~x4449 ~x5764 ~x6022 
1266.63/1270.26	v ~x7216 ~x2400 ~x6616 ~x3726 ~x2941 ~x7772 ~x1041 ~x4800 x6115 ~x6373 
1266.63/1270.26	v ~x7222 ~x2405 ~x8371 ~x4428 ~x3290 ~x8123 ~x2437 ~x5151 ~x6466 ~x6724 
1266.63/1270.26	v ~x7226 ~x2416 ~x316 ~x4779 ~x3643 ~x1116 x2786 ~x5853 ~x6817 ~x7075 
1266.63/1270.26	v ~x7237 ~x2417 ~x1363 ~x5130 ~x6802 ~x2512 ~x5942 ~x6204 ~x7168 ~x7426 
1266.63/1270.26	v ~x7239 ~x2420 ~x1712 ~x5481 ~x7153 ~x2861 x6293 ~x6555 ~x7519 ~x7777 
1266.63/1270.26	v ~x7240 ~x2422 ~x2061 ~x6885 ~x7504 ~x3210 ~x6644 ~x6906 ~x7870 ~x74 
1266.63/1270.26	v ~x7243 ~x2429 ~x2759 ~x7236 ~x7855 ~x3561 ~x344 ~x7257 x165 ~x1470 
1266.63/1270.26	v ~x7248 ~x2434 ~x3457 ~x7587 ~x8206 ~x3912 ~x693 ~x7608 ~x1561 x2866 
1266.63/1270.26	v ~x7259 ~x2439 ~x4160 ~x7938 ~x1197 ~x6720 ~x1042 x7959 ~x2957 ~x3566 
1266.63/1270.26	v ~x7263 ~x2442 ~x4511 ~x584 ~x2593 ~x7071 ~x1391 x3047 ~x3659 x4268 
1266.63/1270.26	v ~x7265 ~x2447 ~x4862 ~x933 ~x3291 ~x7422 ~x1740 ~x3748 x4010 ~x4619 
1266.63/1270.26	v ~x7267 ~x2450 ~x5213 ~x1282 ~x3995 ~x7773 ~x2438 x8311 ~x4361 ~x4970 
1266.63/1270.26	v ~x7275 ~x2452 ~x5564 ~x2329 ~x6803 ~x8124 ~x3136 ~x605 ~x4712 x2867 
1266.63/1270.26	v ~x7280 ~x2460 ~x6968 ~x2678 ~x7154 ~x70 x3485 ~x954 ~x5063 ~x3567 
1266.63/1270.26	v ~x7284 ~x2469 ~x7319 ~x3027 ~x7505 ~x419 ~x3837 ~x2001 ~x166 x8130 
1266.63/1270.26	v ~x7292 ~x2474 ~x7670 ~x3376 ~x7856 ~x768 ~x4188 x2350 x515 ~x76 
1266.63/1270.26	v ~x7293 ~x2475 ~x8021 ~x3728 ~x8207 ~x1117 x4539 x5504 ~x864 ~x1472 
1266.63/1270.26	v ~x7294 ~x2478 ~x8372 ~x4079 ~x151 ~x1466 ~x4890 ~x5855 ~x1562 x2868 
1266.63/1270.26	v ~x7307 ~x2484 ~x317 ~x5483 ~x500 ~x1815 ~x5241 ~x6206 ~x1911 ~x3568 
1266.63/1270.26	v ~x7310 ~x2518 ~x666 ~x5834 ~x849 ~x2164 ~x5943 ~x6557 ~x2260 x4270 
1266.63/1270.26	v ~x7320 ~x2532 ~x1015 ~x6185 ~x1198 ~x2513 ~x6294 ~x257 ~x4362 ~x4621 
1266.63/1270.26	v ~x7325 ~x2535 ~x1713 ~x6536 ~x1547 ~x3211 ~x6645 ~x1653 x4713 ~x4972 
1266.63/1270.26	v ~x7335 ~x2541 ~x2411 ~x6887 ~x1896 ~x3913 ~x6996 x2002 ~x5064 x8132 
1266.63/1270.26	v ~x7340 ~x2546 ~x2760 ~x7238 ~x2245 ~x4264 ~x7347 ~x4452 ~x5415 ~x3570 
1266.63/1270.26	v ~x7343 ~x2547 ~x4161 ~x7589 ~x3292 ~x4615 ~x7698 ~x4803 ~x5766 ~x3921 
1266.63/1270.26	v ~x7358 x2559 ~x4512 ~x7940 ~x3996 ~x4966 ~x8049 x5154 ~x6117 x4272 
1266.63/1270.26	v ~x7359 ~x2567 ~x4863 ~x8291 ~x4347 ~x5668 ~x1392 ~x5505 ~x6468 ~x4623 
1266.63/1270.26	v ~x7374 ~x2573 ~x5214 ~x236 ~x4698 ~x6019 x3486 ~x258 ~x516 ~x4974 
1266.63/1270.26	v ~x7387 ~x2584 ~x5916 ~x585 ~x5049 ~x6370 ~x6997 ~x607 x865 ~x5325 
1266.63/1270.26	v ~x7388 ~x2585 ~x6267 ~x934 ~x5751 ~x6721 ~x7348 ~x956 ~x1912 ~x5676 
1266.63/1270.26	v ~x7390 ~x2595 ~x6618 ~x1632 ~x6102 ~x7072 ~x7699 x1654 ~x2261 ~x6027 
1266.63/1270.26	v ~x7391 ~x2619 ~x8373 ~x2330 ~x6453 ~x7423 ~x8050 ~x2003 ~x5416 ~x6378 
1266.63/1270.26	v ~x7392 ~x2622 ~x1365 ~x3028 ~x6804 ~x7774 x8401 ~x2352 ~x5767 ~x78 
1266.63/1270.26	v ~x7393 ~x2628 ~x2761 ~x3729 ~x7155 ~x8125 ~x346 ~x4453 ~x6118 x1125 
1266.63/1270.26	v ~x7395 x2635 ~x3110 ~x4431 ~x7506 ~x1118 x695 ~x4804 ~x6469 ~x1474 
1266.63/1270.26	v ~x7396 ~x2636 ~x3459 ~x4782 ~x7857 ~x2514 ~x1044 ~x5155 ~x517 ~x3219 
1266.63/1270.26	v ~x7397 ~x2638 ~x3811 ~x5133 ~x152 ~x2863 ~x1393 ~x5506 x866 x4273 
1266.63/1270.26	v ~x7398 ~x2640 ~x4162 ~x5835 ~x1548 ~x3212 ~x1742 x5857 ~x1913 ~x4624 
1266.63/1270.26	v ~x7416 ~x2652 ~x6970 ~x6186 ~x2944 ~x3563 ~x2091 ~x6208 ~x2262 ~x4975 
1266.63/1270.26	v ~x7427 ~x2656 ~x7321 ~x6537 ~x3646 ~x3914 ~x2440 ~x6559 ~x2960 ~x6730 
1266.63/1270.26	v ~x7444 ~x2660 ~x7672 ~x4081 ~x3997 ~x6722 ~x3487 x3051 x3662 ~x7081 
1266.63/1270.26	v ~x7449 ~x2671 ~x8023 ~x1285 ~x4348 ~x7073 ~x4541 ~x3752 ~x5417 ~x7432 
1266.63/1270.26	v ~x7450 ~x2674 ~x8374 ~x2681 ~x4699 ~x7424 ~x4892 x5507 ~x5768 ~x7783 
1266.63/1270.26	v ~x7452 ~x2677 ~x668 ~x3030 ~x5050 ~x7775 ~x5243 ~x260 ~x6119 ~x428 
1266.63/1270.26	v ~x7456 ~x2680 ~x1017 ~x3379 ~x502 ~x8126 ~x5594 ~x1656 ~x6470 x777 
1266.63/1270.26	v ~x7459 ~x2690 ~x1366 ~x3731 ~x851 ~x1119 ~x5945 x2005 ~x518 ~x1126 
1266.63/1270.26	v ~x7460 ~x2698 ~x2064 ~x4082 ~x1200 ~x2515 ~x6296 ~x4455 x867 ~x2173 
1266.63/1270.26	v ~x7463 ~x2710 ~x2413 ~x6890 ~x1898 ~x2864 ~x6647 ~x4806 ~x1216 ~x3220 
1266.63/1270.26	v ~x7470 ~x2716 ~x2762 ~x7241 ~x2247 ~x3213 ~x6998 x5157 ~x1914 ~x5678 
1266.63/1270.26	v ~x7475 x2717 ~x3111 ~x7592 ~x3294 ~x3564 ~x7349 ~x610 ~x2263 ~x6029 
1266.63/1270.26	v ~x7483 ~x2724 ~x3460 ~x7943 ~x3998 ~x3915 ~x7700 ~x959 ~x3310 ~x6380 
1266.63/1270.26	v ~x7497 ~x2725 ~x3812 ~x8294 ~x5402 ~x6723 x8051 x1308 ~x4014 x6731 
1266.63/1270.26	v ~x7502 ~x2729 ~x5567 ~x239 ~x5753 ~x7074 ~x1394 ~x2006 ~x5418 ~x7082 
1266.63/1270.26	v ~x7507 ~x2735 ~x5918 ~x1635 ~x6104 ~x7425 ~x2092 ~x2355 ~x5769 ~x7433 
1266.63/1270.26	v ~x7516 x2737 ~x6269 ~x1984 ~x6455 ~x7776 x2441 ~x3402 ~x6120 ~x7784 
1266.63/1270.26	v x7522 ~x2746 ~x6620 ~x2682 ~x6806 ~x8127 ~x3139 ~x5509 ~x6471 ~x80 
1266.63/1270.26	v ~x7529 ~x2749 ~x6971 ~x3031 ~x7157 ~x2516 ~x3488 ~x5860 ~x6822 ~x1127 
1266.63/1270.26	v ~x7531 ~x2754 ~x7322 ~x3732 ~x7508 ~x2865 ~x3840 ~x6211 x7173 ~x1476 
1266.63/1270.26	v ~x7535 ~x2755 ~x7673 ~x4434 ~x7859 ~x3565 ~x4191 x6562 ~x7524 x3221 
1266.63/1270.26	v ~x7538 ~x2765 ~x8024 ~x4785 ~x2597 ~x3916 ~x5946 ~x6913 ~x7875 x4275 
1266.63/1270.26	v ~x7539 ~x2788 ~x8375 ~x5136 ~x2946 ~x8128 x6999 ~x7264 ~x170 ~x4626 
1266.63/1270.26	v ~x7540 ~x2791 ~x320 ~x5487 ~x3648 ~x423 ~x7350 ~x7615 ~x1566 ~x4977 
1266.63/1270.26	v ~x7545 x2792 ~x1367 ~x8295 ~x3999 ~x772 ~x7701 ~x7966 x2962 ~x6732 
1266.63/1270.26	v ~x7548 ~x2794 ~x1716 ~x2683 ~x8211 ~x1819 ~x8052 ~x262 ~x3664 ~x7083 
1266.63/1270.26	v ~x7562 ~x2798 ~x2763 ~x3032 ~x504 ~x2168 x3140 ~x1658 ~x4366 ~x7434 
1266.63/1270.27	v ~x7564 ~x2799 ~x3112 ~x3733 ~x853 ~x2517 ~x7000 ~x4457 ~x4717 ~x7785 
1266.63/1270.27	v ~x7565 ~x2801 ~x3461 ~x4084 ~x1202 ~x3917 ~x7351 ~x4808 x5068 ~x81 
1266.63/1270.27	v ~x7567 x2809 ~x3813 ~x8296 ~x2249 ~x5321 x7702 x5159 ~x5419 ~x1477 
1266.63/1270.27	v ~x7573 ~x2815 ~x4515 ~x590 ~x2598 ~x5672 ~x8053 ~x263 ~x8227 x2873 
1266.63/1270.27	v ~x7577 ~x2819 ~x4866 ~x939 ~x2947 ~x6023 x2095 x1659 ~x171 ~x3574 
1266.63/1270.27	v ~x7588 ~x2829 ~x5217 ~x1288 ~x3296 ~x6374 ~x2793 ~x4458 ~x520 x4276 
1266.63/1270.27	v ~x7590 ~x2832 ~x6972 ~x2335 ~x3649 ~x8129 ~x351 ~x4809 x869 ~x4627 
1266.63/1270.27	v ~x7591 ~x2835 ~x7323 ~x2684 ~x4000 ~x75 ~x700 ~x5160 ~x1567 ~x4978 
1266.63/1270.27	v ~x7594 ~x2839 ~x7674 ~x3033 ~x5404 ~x424 ~x1747 x8319 ~x1916 ~x82 
1266.63/1270.27	v ~x7599 ~x2884 ~x8025 ~x3382 ~x5755 ~x773 ~x2096 x2707 ~x2265 ~x431 
1266.63/1270.27	v ~x7610 ~x2890 ~x8376 ~x3734 ~x6106 ~x1122 ~x3843 ~x5512 ~x4016 ~x780 
1266.63/1270.27	v ~x7614 ~x2895 ~x670 ~x4085 ~x6457 ~x1471 ~x5247 ~x8320 ~x4367 x1478 
1266.63/1270.27	v ~x7616 ~x2907 ~x1019 ~x5840 ~x6808 ~x1820 ~x5598 ~x265 x4718 ~x1827 
1266.63/1270.27	v ~x7618 ~x2916 ~x2066 ~x6191 ~x7159 ~x2169 ~x5949 x1661 ~x5069 ~x2176 
1266.63/1270.27	v ~x7626 ~x2927 ~x2415 ~x6542 ~x7510 ~x3216 ~x6300 ~x4460 ~x5420 ~x4277 
1266.63/1270.27	v ~x7631 x2968 ~x2764 ~x6893 ~x7861 ~x3918 ~x352 ~x4811 ~x5771 ~x4628 
1266.63/1270.27	v ~x7635 ~x2971 ~x4165 ~x7244 ~x505 ~x4269 ~x701 ~x5162 ~x6122 ~x4979 
1266.63/1270.27	v ~x7643 ~x2975 ~x5569 ~x7595 ~x854 ~x4620 ~x1748 x5513 ~x6473 ~x5330 
1266.63/1270.27	v ~x7644 ~x2976 ~x5920 ~x7946 ~x1203 ~x4971 ~x2097 x2709 x1917 ~x5681 
1266.63/1270.27	v ~x7645 ~x2978 ~x6271 ~x8297 ~x1901 ~x5322 ~x2446 x5514 ~x8229 x6032 
1266.63/1270.27	v ~x7658 ~x2987 ~x6622 ~x591 ~x2250 ~x5673 ~x2795 ~x8322 ~x173 ~x6383 
1266.63/1270.27	v ~x7661 ~x2989 ~x8377 ~x940 ~x2599 ~x6024 ~x3493 ~x267 ~x522 ~x83 
1266.63/1270.27	v ~x7671 ~x2995 ~x2766 ~x1987 ~x3297 ~x6375 ~x3844 ~x616 ~x871 x1479 
1266.63/1270.27	v ~x7676 ~x3001 ~x8379 ~x2336 ~x4001 ~x6726 ~x5248 ~x965 ~x1569 ~x4278 
1266.63/1270.27	v ~x7686 ~x3006 ~x324 ~x3034 ~x5756 ~x7077 ~x5599 ~x1314 ~x1918 ~x4629 
1266.63/1270.27	v ~x7691 ~x3012 x673 ~x3735 ~x6107 ~x7428 ~x5950 x1663 x2267 ~x4980 
1266.63/1270.27	v ~x7694 ~x3019 ~x1022 ~x4086 ~x6458 ~x7779 ~x6301 ~x2361 ~x4369 ~x5331 
1266.63/1270.27	v ~x7709 ~x3029 ~x1371 ~x5490 ~x6809 ~x425 ~x8056 ~x3408 x4720 x8139 
1266.63/1270.27	v ~x7710 ~x3037 ~x1720 ~x5841 ~x7160 ~x774 ~x353 ~x4462 ~x5071 ~x84 
1266.63/1270.27	v ~x7725 ~x3066 ~x2069 ~x6192 ~x7511 ~x1123 ~x702 ~x4813 ~x5422 ~x1480 
1266.63/1270.27	v ~x7739 ~x3076 ~x2418 ~x6543 ~x7862 ~x1821 ~x1051 ~x5164 ~x5773 x1829 
1266.63/1270.27	v ~x7741 ~x3078 ~x2767 ~x2686 ~x157 ~x2170 ~x1749 ~x5866 ~x6124 x4279 
1266.63/1270.27	v ~x7742 ~x3080 ~x3116 ~x3035 ~x1204 ~x2519 ~x2098 ~x6217 ~x6475 ~x4630 
1266.63/1270.27	v ~x7743 ~x3084 ~x3465 ~x3736 ~x1553 ~x3217 ~x3145 ~x6568 x4721 ~x4981 
1266.63/1270.27	v ~x7744 ~x3098 ~x3817 ~x4087 ~x2600 ~x3919 ~x5600 ~x6919 ~x5423 ~x5332 
1266.63/1270.27	v ~x7746 ~x3103 ~x4168 ~x8299 ~x2949 ~x5323 ~x5951 ~x7270 ~x174 ~x85 
1266.63/1270.27	v ~x7747 ~x3104 ~x4519 ~x593 ~x3298 ~x5674 ~x6302 ~x7621 ~x523 ~x434 
1266.63/1270.27	v ~x7748 ~x3127 ~x4870 ~x942 ~x3651 ~x6025 ~x6653 x7972 x872 ~x783 
1266.63/1270.27	v ~x7749 ~x3128 ~x5221 ~x1989 ~x4002 ~x6376 ~x7004 ~x268 ~x1570 x1132 
1266.63/1270.27	v ~x7767 ~x3129 ~x5923 ~x2338 ~x4353 ~x6727 ~x7355 x1664 ~x1919 ~x1481 
1266.63/1270.27	v ~x7778 ~x3134 ~x6274 ~x3036 ~x4704 ~x7078 ~x7706 ~x4463 ~x2268 ~x1830 
1266.63/1270.27	v ~x7795 ~x3135 ~x6625 ~x3737 ~x5055 ~x7429 ~x354 ~x4814 ~x4371 ~x2179 
1266.63/1270.27	v ~x7800 ~x3148 ~x6976 ~x4088 ~x6810 ~x7780 ~x703 ~x5165 x4722 ~x3226 
1266.63/1270.27	v ~x7801 ~x3149 ~x7327 ~x5492 ~x7161 ~x8131 ~x1052 x8324 ~x5073 ~x4280 
1266.63/1270.27	v ~x7803 ~x3164 ~x7678 ~x5843 ~x7512 ~x77 ~x1750 ~x618 ~x5424 ~x4631 
1266.63/1270.27	v ~x7807 ~x3177 ~x8029 ~x6194 ~x7863 ~x426 ~x2099 ~x967 ~x5775 ~x4982 
1266.63/1270.27	v ~x7810 ~x3178 ~x8380 ~x6545 ~x8214 ~x775 ~x2448 ~x2014 ~x6126 ~x5684 
1266.63/1270.27	v ~x7811 ~x3180 ~x325 ~x245 ~x2601 ~x1124 ~x2797 ~x2363 ~x6477 ~x6035 
1266.63/1270.27	v ~x7814 ~x3181 ~x1721 ~x1641 ~x2950 ~x1473 ~x3146 x2712 ~x175 x6386 
1266.63/1270.27	v ~x7821 ~x3182 ~x2768 ~x4089 ~x3652 ~x1822 ~x3495 ~x5517 ~x1571 ~x6737 
1266.63/1270.27	v ~x7826 ~x3183 ~x3117 ~x4440 ~x4003 ~x2171 ~x3846 ~x5868 x2967 ~x7088 
1266.63/1270.27	v ~x7834 x3185 ~x3818 ~x4791 ~x8215 ~x2520 ~x5601 x6219 ~x3670 ~x7439 
1266.63/1270.27	v ~x7835 ~x3186 ~x4169 ~x5142 ~x2602 ~x2869 ~x5952 ~x6570 x4372 ~x7790 
1266.63/1270.27	v ~x7848 ~x3187 ~x4520 ~x595 ~x2951 x3218 ~x6303 ~x8325 ~x4723 x435 
1266.63/1270.27	v ~x7853 ~x3188 ~x4871 ~x944 ~x3653 ~x3569 ~x6654 x3062 ~x5074 ~x784 
1266.63/1270.27	v ~x7858 ~x3204 ~x5222 ~x1991 ~x4004 ~x3920 ~x7005 ~x3763 ~x525 ~x1831 
1266.63/1270.27	v ~x7867 ~x3215 ~x8381 ~x2340 ~x8216 ~x4271 ~x7356 x8326 ~x874 ~x2180 
1266.63/1270.27	v ~x7873 ~x3231 ~x2769 ~x2689 ~x1207 ~x4622 ~x7707 ~x1318 ~x1921 x5334 
1266.63/1270.27	v ~x7880 ~x3236 ~x3118 ~x3038 ~x2603 ~x4973 ~x8058 x2016 ~x2270 ~x5685 
1266.63/1270.27	v ~x7882 ~x3237 ~x3819 ~x3739 ~x2952 ~x5324 ~x6 ~x3412 ~x5426 ~x6036 
1266.63/1270.27	v ~x7886 ~x3239 ~x8382 ~x4090 ~x3301 ~x5675 ~x1402 ~x6923 x5777 ~x6387 
1266.63/1270.27	v ~x7889 ~x3243 ~x327 ~x5494 ~x3654 ~x6026 ~x4198 ~x7274 ~x6128 ~x87 
1266.63/1270.27	v ~x7890 ~x3245 ~x676 ~x5845 ~x4005 ~x6377 ~x4549 ~x7625 ~x6479 x1483 
1266.63/1270.27	v ~x7891 ~x3246 ~x1025 ~x6196 ~x6813 ~x6728 ~x4900 x7976 ~x1224 ~x4282 
1266.63/1270.27	v ~x7899 ~x3249 ~x1723 ~x6547 ~x7164 ~x7079 ~x5251 ~x272 x1922 ~x4633 
1266.63/1270.27	v ~x7913 ~x3256 ~x2072 ~x8302 ~x7515 ~x7430 ~x1753 ~x621 ~x3318 ~x4984 
1266.63/1270.27	v ~x7915 ~x3261 ~x2421 ~x3039 ~x7866 ~x7781 ~x2451 x970 ~x4023 x5335 
1266.63/1270.27	v ~x7916 ~x3269 ~x2770 ~x3740 ~x8217 ~x6729 ~x2800 ~x1668 ~x5427 x88 
1266.63/1270.27	v ~x7918 ~x3270 ~x3119 ~x248 ~x2604 ~x7080 ~x3498 ~x2366 ~x6831 ~x1135 
1266.63/1270.27	v ~x7924 ~x3283 ~x3820 ~x597 ~x2953 ~x7431 ~x5253 x4467 x7182 ~x1484 
1266.63/1270.27	v ~x7928 ~x3288 ~x4171 ~x946 ~x3655 ~x7782 ~x8061 ~x4818 ~x7533 ~x3229 
1266.63/1270.27	v ~x7939 ~x3293 ~x4522 ~x1295 ~x4006 ~x8133 ~x1754 ~x5169 ~x7884 ~x4283 
1266.63/1270.27	v ~x7941 ~x3302 ~x4873 ~x1644 ~x8218 ~x2521 ~x3850 ~x5871 x527 ~x4634 
1266.63/1270.27	v ~x7942 ~x3308 ~x5224 ~x1993 ~x162 ~x2870 ~x5254 ~x6222 ~x876 ~x4985 
1266.63/1270.27	v ~x7945 ~x3316 ~x5926 ~x2342 ~x511 ~x3571 ~x10 ~x6573 ~x1225 ~x6740 
1266.63/1270.27	v ~x7950 ~x3320 ~x6277 ~x2691 ~x860 ~x3922 ~x359 ~x273 ~x2272 x7091 
1266.63/1270.27	v ~x7961 ~x3324 ~x6628 ~x3389 ~x1209 ~x8134 ~x708 ~x1320 ~x3319 ~x7442 
1266.63/1270.27	v ~x7965 x3325 ~x8383 ~x4092 ~x1558 ~x2522 ~x1057 ~x1669 ~x4024 ~x7793 
1266.63/1270.27	v ~x7967 x3326 ~x2771 ~x4443 ~x2256 ~x2871 ~x1406 x3414 ~x5779 ~x1136 
1266.63/1270.27	v ~x7969 ~x3331 ~x3120 ~x4794 ~x2954 ~x3572 ~x2104 ~x4117 ~x6130 x3230 
1266.63/1270.27	v ~x7977 x3334 ~x3821 ~x5145 ~x3303 ~x3923 ~x2453 x4468 ~x6481 x3933 
1266.63/1270.27	v ~x7982 ~x3348 ~x8384 ~x5847 ~x3656 ~x8135 ~x2802 ~x4819 ~x6832 ~x6741 
1266.63/1270.27	v ~x7986 ~x3350 ~x329 ~x6198 ~x4007 ~x429 ~x3151 ~x5170 x7183 ~x7092 
1266.63/1270.27	v ~x7994 ~x3351 ~x678 ~x6549 ~x4358 ~x778 ~x3500 ~x6925 ~x7534 ~x7443 
1266.63/1270.27	v ~x7995 ~x3353 ~x1027 ~x6900 ~x4709 ~x1825 ~x4202 ~x7276 ~x7885 ~x7794 
1266.63/1270.27	v ~x7996 ~x3359 ~x1376 ~x7251 ~x5060 ~x2174 ~x4553 ~x7627 ~x1227 x90 
1266.63/1270.27	v ~x8009 ~x3363 ~x1725 ~x7602 ~x5762 ~x2523 ~x4904 ~x7978 x2623 ~x1486 
1266.63/1270.27	v ~x8012 ~x3375 ~x2074 ~x7953 ~x6113 ~x2872 ~x5255 ~x5522 ~x3321 ~x4285 
1266.63/1270.27	v ~x8022 ~x3377 ~x2423 ~x8304 ~x6464 ~x3573 ~x5606 ~x8330 ~x5430 ~x4636 
1266.63/1270.27	v ~x8027 ~x3378 ~x3470 ~x249 ~x6815 ~x3924 ~x5957 ~x624 x6834 ~x4987 
1266.63/1270.27	v ~x8037 x3381 ~x4173 ~x1296 ~x7166 ~x5328 ~x6308 ~x973 ~x7185 x5338 
1266.63/1270.27	v ~x8042 ~x3386 ~x4524 ~x1645 ~x7517 ~x5679 ~x6659 x1322 ~x7536 x91 
1266.63/1270.27	v ~x8045 ~x3397 ~x4875 ~x3041 ~x7868 ~x6030 ~x7010 ~x2369 ~x7887 ~x440 
1266.63/1270.27	v ~x8057 ~x3401 ~x5226 ~x3390 ~x512 ~x6381 ~x7361 ~x3416 ~x8238 ~x789 
1266.63/1270.27	v ~x8059 x3403 ~x5577 ~x3742 ~x861 ~x8136 ~x7712 x5874 ~x181 ~x1487 
1266.63/1270.27	v ~x8060 ~x3405 ~x5928 ~x4093 ~x1908 ~x430 ~x8063 ~x6225 ~x530 ~x2185 
1266.63/1270.27	v ~x8062 ~x3413 ~x6279 ~x4444 ~x2257 ~x779 ~x2454 ~x6576 ~x879 ~x4286 
1266.63/1270.27	v ~x8071 ~x3421 ~x6630 ~x4795 ~x2606 ~x1128 ~x2803 ~x6927 ~x1577 ~x4637 
1266.63/1270.27	v ~x8079 ~x3429 ~x6981 ~x5146 ~x2955 ~x1826 ~x3501 ~x7278 ~x1926 ~x4988 
1266.63/1270.27	v ~x8084 ~x3430 ~x7332 ~x6901 ~x3657 ~x2175 ~x5256 ~x7629 x2275 ~x5690 
1266.63/1270.27	v ~x8085 ~x3431 ~x7683 ~x7252 ~x5412 ~x2524 ~x8064 ~x7980 ~x2973 ~x6041 
1266.63/1270.27	v ~x8090 ~x3437 ~x8034 ~x7603 ~x5763 ~x3222 ~x2455 x2719 ~x182 x6392 
1266.63/1270.27	v ~x8100 ~x3444 ~x679 ~x7954 ~x6114 ~x3925 ~x2804 ~x3068 ~x1229 ~x441 
1266.63/1270.27	v ~x8145 x3447 ~x1028 ~x1995 ~x6465 ~x5329 ~x3502 x3769 x1578 x790 
1266.63/1270.27	v ~x8148 ~x3452 ~x2075 ~x2693 ~x8220 ~x5680 ~x3853 ~x8332 ~x2974 ~x1139 
1266.63/1270.27	v ~x8153 ~x3458 ~x2424 ~x3042 ~x2607 ~x6031 ~x5257 ~x4121 ~x3323 ~x2186 
1266.63/1270.27	v ~x8154 ~x3463 ~x2773 ~x3743 ~x2956 ~x6382 ~x8065 ~x5876 ~x3676 ~x3233 
1266.63/1270.27	v ~x8160 ~x3473 ~x4174 ~x4094 ~x3658 ~x6733 ~x2456 x6227 ~x4378 ~x5691 
1266.63/1270.27	v ~x8161 ~x3478 ~x5578 ~x5498 ~x4009 ~x7084 ~x2805 ~x6578 ~x4729 ~x6042 
1266.63/1270.27	v ~x8164 ~x3481 ~x5929 ~x8306 ~x8221 ~x7435 ~x3503 ~x277 ~x5080 ~x6393 
1266.63/1270.27	v ~x8187 ~x3482 ~x6280 ~x600 ~x514 ~x7786 ~x3854 ~x626 x6835 ~x6744 
1266.63/1270.27	v ~x8198 ~x3489 ~x6631 ~x949 ~x863 ~x8137 ~x8066 x975 ~x7186 x7095 
1266.63/1270.27	v ~x8199 ~x3492 ~x8386 ~x1996 ~x1212 ~x1129 ~x14 ~x1324 ~x7537 ~x7446 
1266.63/1270.27	v ~x8209 ~x3496 ~x331 ~x2345 ~x1910 ~x2525 ~x1410 ~x1673 ~x7888 ~x7797 
1266.63/1270.27	v ~x8231 ~x3497 ~x680 ~x2694 ~x2259 ~x2874 ~x2457 ~x2022 ~x186 x1838 
1266.63/1270.27	v ~x8234 ~x3499 ~x1029 ~x3043 ~x2608 ~x3223 ~x2806 ~x2371 ~x1233 ~x2885 
1266.63/1270.27	v ~x8237 ~x3507 ~x1378 ~x3744 ~x3306 ~x3575 ~x3504 ~x3418 ~x1582 x3586 
1266.63/1270.27	v ~x8242 ~x3513 ~x1727 ~x4095 ~x5414 ~x3926 ~x3855 ~x4473 x3327 ~x5341 
1266.63/1270.27	v ~x8250 ~x3517 ~x2076 ~x5499 ~x5765 ~x6734 ~x4206 ~x4824 ~x4382 x94 
1266.63/1270.27	v ~x8252 ~x3527 ~x2425 ~x5850 ~x6116 ~x7085 ~x4557 ~x5175 ~x4733 ~x1141 
1266.63/1270.27	v ~x8254 ~x3530 ~x3472 ~x6201 ~x6467 ~x7436 ~x4908 ~x5526 x5084 ~x1490 
1266.63/1270.27	v ~x8266 ~x3533 ~x4175 ~x6552 ~x6818 ~x7787 ~x8067 ~x5877 ~x6839 ~x2537 
1266.63/1270.27	v ~x8270 ~x3537 ~x4526 ~x8307 ~x7169 ~x8138 ~x15 ~x6228 ~x7190 ~x2886 
1266.63/1270.27	v ~x8274 ~x3585 ~x4877 ~x252 ~x7520 ~x432 ~x1062 ~x6579 ~x7541 ~x3235 
1266.63/1270.27	v ~x8293 ~x3591 ~x5228 ~x601 ~x7871 ~x781 ~x1411 ~x6930 ~x7892 ~x3587 
1266.63/1270.27	v ~x8323 ~x3597 ~x5579 ~x950 ~x8222 ~x1130 ~x2807 ~x7281 x187 ~x3938 
1266.63/1270.27	v ~x8329 ~x3609 ~x5930 ~x1299 ~x1213 ~x1828 ~x3156 ~x7632 ~x536 ~x4289 
1266.63/1270.27	v ~x8333 ~x3618 ~x6281 ~x1648 ~x2609 ~x2177 ~x3505 x7983 ~x885 ~x4640 
1266.63/1270.27	v ~x8339 ~x3629 ~x6632 ~x1997 ~x2958 ~x2526 ~x3856 x278 ~x1234 ~x4991 
1266.63/1270.27	v ~x8343 ~x3671 ~x6983 ~x2346 ~x3307 ~x2875 ~x4207 ~x1325 ~x1583 ~x6746 
1266.63/1270.27	v ~x8363 ~x3674 ~x7334 ~x2695 ~x3660 ~x3224 ~x4558 ~x1674 ~x2281 ~x7097 
1266.63/1270.27	v ~x8368 ~x3677 ~x7685 ~x3393 ~x6819 ~x3576 ~x4909 ~x3419 ~x3328 ~x7448 
1266.63/1270.27	v ~x8378 ~x3678 ~x8036 ~x4096 ~x7170 ~x3927 ~x6664 ~x4474 ~x4032 x7799 
1266.63/1270.27	v ~x8389 ~x3680 ~x2775 ~x4447 ~x7521 ~x5682 ~x7015 ~x4825 ~x4383 ~x8150 
1266.63/1270.27	v ~x8391 ~x3689 ~x3124 ~x4798 ~x7872 ~x6033 ~x7366 ~x5176 ~x4734 x95 
1266.63/1270.27	v ~x3691 ~x3825 ~x5149 ~x8223 ~x6384 ~x7717 ~x6931 ~x5085 ~x444 ~x3697 
1266.63/1270.27	v ~x4176 ~x5851 ~x2610 ~x6735 ~x16 ~x7282 ~x5787 ~x793 ~x3703 ~x8388 
1266.63/1270.27	v ~x6202 ~x2959 ~x7086 ~x1063 ~x7633 x6138 ~x1491 ~x3708 ~x333 ~x6553 
1266.63/1270.27	v ~x3661 ~x7437 ~x1412 x7984 ~x6489 ~x2189 ~x3714 ~x682 ~x6904 ~x8224 
1266.63/1270.27	v ~x7788 ~x1761 ~x279 ~x6840 ~x4290 ~x3730 ~x1031 ~x7255 ~x168 ~x433 
1266.63/1270.27	v ~x2808 ~x628 ~x7191 ~x4641 ~x3738 ~x1380 ~x7606 ~x1215 ~x782 ~x3157 
1266.63/1270.27	v ~x977 ~x7542 ~x4992 x3767 ~x1729 ~x7957 ~x1564 ~x1131 ~x3506 ~x1326 
1266.63/1270.27	v ~x7893 ~x5694 ~x3778 ~x2078 ~x8308 ~x2611 ~x2178 ~x4208 ~x1675 ~x1235 
1266.63/1270.27	v ~x6045 ~x3780 ~x2427 ~x2696 ~x3309 ~x2527 ~x4559 x2024 x3329 x6396 
1266.63/1270.27	v ~x3782 ~x2776 ~x3045 ~x4013 ~x2876 ~x4910 ~x2373 ~x6841 x96 ~x3785 
1266.63/1270.27	v ~x3474 ~x3746 ~x4364 ~x3225 ~x5261 ~x3420 ~x7192 ~x1492 ~x3787 ~x4528 
1266.63/1270.27	v ~x4097 ~x4715 ~x3577 ~x6665 ~x4475 ~x7543 x3940 ~x3800 ~x4879 ~x8309 
1266.63/1270.27	v ~x5066 ~x3928 ~x7016 ~x4826 ~x7894 ~x4291 ~x3805 ~x5230 ~x1999 ~x6821 
1266.63/1270.27	v ~x5683 ~x7367 ~x5177 x8245 ~x4642 ~x3828 ~x5932 ~x2697 ~x7172 ~x6034 
1266.63/1270.27	v ~x7718 ~x5528 ~x538 ~x4993 ~x3829 ~x6283 ~x3046 ~x7523 ~x6385 ~x8069 
1266.63/1270.27	v ~x5879 ~x887 ~x446 ~x3830 ~x6634 ~x3747 ~x7874 ~x6736 ~x17 ~x6230 
1266.63/1270.27	v ~x1236 ~x795 ~x3834 ~x6985 ~x5502 ~x8225 ~x7087 ~x366 ~x6581 ~x1934 
1266.63/1270.27	v ~x1144 ~x3835 ~x7336 ~x8310 ~x169 ~x7438 ~x715 ~x6932 x2283 ~x2191 
1266.63/1270.27	v ~x3836 ~x7687 ~x255 ~x1565 ~x7789 ~x1064 ~x7283 ~x3330 x3238 ~x3845 
1266.63/1270.27	v ~x8038 ~x604 ~x2612 ~x8140 ~x1413 x7634 ~x4034 ~x5696 ~x3847 ~x2777 
1266.63/1270.27	v ~x953 ~x2961 ~x2528 ~x1762 ~x7985 ~x5438 ~x6047 ~x3848 ~x3126 ~x1302 
1266.63/1270.27	v ~x3663 ~x2877 ~x2111 x280 ~x5789 x6398 ~x3849 ~x3827 ~x1651 ~x4365 
1266.63/1270.27	v ~x3578 ~x3158 ~x629 ~x6140 ~x6749 x3851 ~x4178 ~x2000 ~x4716 ~x3929 
1266.63/1270.27	v ~x3858 ~x978 ~x6491 ~x7100 ~x3852 ~x8390 ~x2349 ~x5067 ~x8141 ~x4209 
1266.63/1270.27	v ~x1676 ~x6842 ~x7451 ~x3857 ~x335 ~x3396 ~x8226 ~x86 ~x4560 ~x2025 
1266.63/1270.27	v ~x7193 ~x7802 ~x3859 ~x1382 ~x4099 ~x519 ~x1133 ~x4911 ~x2374 ~x7544 
1266.63/1270.27	v ~x99 ~x3864 ~x1731 ~x4450 ~x868 ~x1482 ~x5262 ~x3072 x7895 ~x1495 
1266.63/1270.27	v ~x3880 ~x3476 ~x4801 ~x1217 ~x2529 ~x5613 ~x3774 ~x190 x1844 ~x3883 
1266.63/1270.27	v ~x4530 ~x5152 ~x1915 ~x2878 ~x5964 ~x4476 x1586 ~x4294 ~x3886 ~x4881 
1266.63/1270.27	v ~x5503 ~x2264 ~x3227 ~x6315 ~x4827 ~x4386 x4645 ~x3887 ~x5232 ~x5854 
1266.63/1270.27	v ~x2613 ~x3579 ~x6666 ~x5178 ~x4737 ~x4996 ~x3894 ~x6987 ~x6205 ~x3311 
1266.63/1270.27	v ~x3930 ~x7017 ~x5880 ~x5088 ~x5347 ~x3906 ~x7338 ~x6556 ~x4015 ~x4281 
1266.63/1270.27	v ~x7368 x6231 x7896 ~x449 ~x3936 ~x7689 ~x6907 ~x5770 ~x4632 ~x7719 
1266.63/1270.27	v ~x6582 ~x8247 ~x798 ~x3942 ~x8040 ~x7258 ~x6121 ~x4983 ~x18 x3073 
1266.63/1270.27	v x191 ~x1147 ~x3948 ~x4181 ~x7609 ~x6472 ~x6738 ~x1065 ~x3775 ~x540 
1266.63/1270.27	v ~x2194 ~x3952 ~x338 ~x7960 ~x6823 ~x7089 ~x1414 x5530 ~x889 x3241 
1266.63/1270.27	v ~x3959 ~x687 ~x2699 ~x7174 ~x7440 ~x1763 ~x8338 ~x1238 ~x5699 ~x3960 
1266.63/1270.27	v ~x1036 ~x3048 ~x7525 ~x7791 ~x2810 x282 ~x1587 ~x6050 ~x3974 ~x1385 
1266.63/1270.27	v ~x3749 ~x7876 ~x8142 ~x3159 ~x1329 ~x1936 x6401 ~x3986 ~x1734 ~x4100 
1266.63/1270.27	v ~x1218 ~x436 ~x3508 ~x1678 ~x2285 ~x6752 ~x2 ~x3987 ~x2432 ~x8312 
1266.63/1270.27	v ~x2614 ~x785 ~x4210 ~x3423 ~x3332 ~x7103 x1049 ~x4011 ~x2781 ~x606 
1266.63/1270.27	v ~x2963 ~x1134 ~x4561 ~x4478 ~x4036 ~x7454 ~x1398 ~x4012 ~x3130 ~x955 
1266.63/1270.27	v ~x3312 ~x1832 ~x4912 ~x4829 ~x4387 ~x7805 ~x2445 ~x4018 ~x3479 ~x1304 
1266.63/1270.27	v ~x3665 ~x2181 ~x5263 ~x5180 ~x4738 x101 ~x3143 ~x4019 ~x3831 ~x2351 
1266.63/1270.27	v ~x6824 ~x2530 ~x6667 ~x6935 ~x5089 ~x1497 x4194 ~x4020 ~x4182 ~x2700 
1266.63/1270.27	v ~x7175 ~x2879 ~x7018 ~x7286 ~x5440 ~x4296 ~x4545 ~x4025 ~x4533 ~x3049 
1266.63/1270.27	v ~x7526 ~x3228 ~x7369 x7637 ~x5791 ~x4647 ~x4896 ~x4028 ~x4884 ~x3398 
1266.63/1270.27	v ~x7877 ~x3580 ~x7720 ~x7988 ~x6142 ~x4998 ~x6651 ~x4029 ~x5235 ~x3750 
1266.63/1270.27	v ~x8228 ~x3931 ~x19 ~x283 ~x6493 x5349 ~x7002 ~x4030 ~x5586 ~x4101 
1266.63/1270.27	v ~x521 ~x5686 ~x368 ~x1330 ~x6844 ~x102 ~x7353 ~x4038 ~x5937 ~x5856 
1266.63/1270.27	v ~x870 ~x6037 x717 ~x1679 ~x7195 ~x451 ~x7704 ~x4045 ~x6288 ~x6207 
1266.63/1270.27	v ~x1219 ~x6388 ~x1066 x3424 ~x7546 ~x800 ~x8055 ~x4047 ~x6639 ~x6558 
1266.63/1270.27	v ~x2266 ~x6739 ~x1415 ~x4128 x7897 ~x1498 ~x3 ~x4048 ~x6990 ~x6909 
1266.63/1270.27	v ~x2615 ~x7090 ~x1764 ~x4479 ~x8248 x2196 ~x1050 ~x4052 ~x7341 ~x7260 
1266.63/1270.27	v ~x2964 ~x7441 ~x2113 x4830 ~x8249 x4297 ~x1399 ~x4054 ~x7692 ~x7611 
1266.63/1270.27	v ~x3313 ~x7792 ~x2462 ~x5181 ~x542 ~x4648 x3144 ~x4058 ~x8043 ~x7962 
1266.63/1270.27	v ~x3666 ~x8143 ~x2811 ~x6936 ~x891 ~x4999 x4195 ~x4059 ~x2782 ~x8313 
1266.63/1270.27	v ~x4017 ~x2531 ~x3160 ~x7287 ~x1938 ~x5701 ~x4546 ~x4062 ~x3131 ~x1305 
1266.63/1270.27	v ~x5421 ~x2880 ~x3509 ~x7638 ~x2287 ~x6052 ~x4897 ~x4063 ~x3832 ~x2701 
1266.63/1270.27	v ~x5772 ~x3581 ~x3860 ~x7989 ~x5442 ~x6403 ~x6652 ~x4065 ~x4183 ~x3050 
1266.63/1270.27	v ~x6123 ~x3932 ~x4211 ~x1331 x5793 x3596 ~x7003 ~x4067 ~x8395 ~x3399 
1266.63/1270.27	v ~x6474 ~x8144 ~x4562 x2727 ~x6144 ~x5351 ~x7354 ~x4072 ~x2784 ~x3751 
1266.63/1270.27	v ~x6825 ~x2881 ~x4913 ~x3425 ~x6495 ~x452 ~x7705 ~x4075 ~x3133 ~x4102 
1266.63/1270.27	v ~x7176 ~x3582 ~x5264 ~x5533 ~x194 ~x801 ~x4 ~x4078 ~x4185 ~x6910 
1266.63/1270.27	v ~x7527 ~x439 ~x5615 ~x6937 ~x543 ~x1150 ~x1400 ~x4080 ~x4536 ~x7261 
1266.63/1270.27	v ~x7878 ~x788 ~x5966 x7288 ~x892 ~x2197 x2796 ~x4091 ~x4887 ~x7612 
1266.63/1270.27	v ~x1220 ~x1835 ~x6317 ~x7639 ~x1241 x3244 ~x3494 ~x4106 ~x5238 ~x7963 
1266.63/1270.27	v ~x2616 ~x2184 ~x6668 ~x7990 ~x1590 ~x5703 ~x4196 ~x4108 ~x5589 ~x8314 
1266.63/1270.27	v ~x2965 ~x2533 ~x7019 ~x8341 ~x1939 x6054 ~x4547 ~x4111 ~x5940 ~x259 
1266.63/1270.27	v ~x3314 ~x2882 ~x7370 ~x1332 x2288 ~x6405 x4898 ~x4125 ~x6291 ~x608 
1266.63/1270.27	v ~x3667 ~x3583 ~x7721 x3426 ~x3335 ~x6756 ~x5 ~x4131 ~x6642 ~x957 
1266.63/1270.27	v ~x6826 ~x3934 ~x20 x5534 ~x4390 ~x7107 x1401 ~x4136 ~x8397 ~x1306 
1266.63/1270.27	v ~x7177 ~x5689 ~x369 ~x6938 ~x4741 ~x7458 ~x4197 ~x4138 ~x691 ~x1655 
1266.63/1270.27	v ~x7528 ~x6040 ~x718 ~x7289 ~x5092 ~x7809 ~x4548 ~x4148 ~x1040 ~x2004 
1266.63/1270.27	v ~x7879 ~x6391 ~x1067 ~x7640 ~x5443 ~x104 ~x4899 ~x4151 ~x1389 ~x2353 
1266.63/1270.27	v ~x8230 ~x8146 ~x1416 ~x7991 ~x5794 ~x1500 x5250 ~x4167 ~x2087 ~x2702 
1266.63/1270.27	v ~x3668 ~x1138 ~x2114 ~x286 ~x6145 x1849 x1053 ~x4170 ~x2436 ~x3400 
1266.63/1270.27	v ~x1221 ~x1836 ~x2463 x1333 ~x6496 ~x4300 ~x2449 ~x4172 ~x2785 ~x4103 
1266.63/1270.27	v ~x2617 ~x2534 ~x3161 ~x1682 ~x6847 x4651 ~x3147 ~x4184 ~x3483 ~x4454 
1266.63/1270.27	v ~x2966 ~x2883 ~x3861 ~x3427 ~x7198 ~x5002 x5602 ~x4186 ~x5941 ~x4805 
1266.63/1270.27	v ~x3315 ~x3232 ~x4212 ~x4482 ~x7549 x105 ~x6655 ~x4192 ~x6292 ~x5156 
1266.63/1270.27	v ~x3669 ~x3584 ~x4563 x4833 x7900 ~x1501 ~x7006 ~x4199 ~x6643 ~x5858 
1266.63/1270.27	v ~x6828 ~x3935 ~x4914 ~x5184 ~x195 x3950 ~x7357 ~x4200 ~x6994 ~x6209 
1266.63/1270.27	v ~x7179 ~x5339 ~x5265 ~x6939 ~x1242 ~x4301 ~x7708 ~x4201 ~x7345 ~x6560 
1266.63/1270.27	v ~x7530 ~x6743 ~x5616 ~x7290 x1591 ~x4652 ~x356 ~x4215 ~x7696 ~x6911 
1266.63/1270.27	v ~x7881 ~x7094 ~x5967 ~x7641 ~x3336 ~x5003 ~x705 ~x4229 ~x8047 ~x7262 
1266.63/1270.27	v ~x8232 ~x7445 ~x6318 ~x7992 ~x4391 ~x455 ~x1752 ~x4231 ~x8398 ~x7613 
1266.63/1270.27	v ~x524 ~x7796 ~x6669 x1334 ~x4742 x804 x2101 ~x4232 ~x343 ~x7964 
1266.63/1270.27	v ~x873 ~x8147 ~x7020 ~x3079 ~x5093 ~x1851 ~x5603 ~x4234 ~x1390 ~x8315 
1266.63/1270.27	v ~x1920 ~x93 ~x7371 ~x3428 ~x6848 ~x2200 ~x5954 ~x4236 ~x1739 ~x2703 
1266.63/1270.27	v ~x2269 ~x442 ~x7722 x3781 ~x7199 x5355 ~x6305 ~x4237 ~x2088 ~x3052 
1266.63/1270.27	v ~x2618 ~x791 ~x8073 ~x6940 x7550 ~x5706 ~x357 ~x4238 ~x3484 ~x3753 
1266.63/1270.27	v ~x4021 ~x1140 ~x2464 ~x7291 ~x7901 ~x6057 ~x706 ~x4239 ~x4187 ~x4104 
1266.63/1270.27	v ~x5425 ~x1489 ~x2813 ~x7642 ~x196 ~x6408 ~x2102 ~x4245 ~x4538 ~x5508 
1266.63/1270.27	v ~x5776 ~x2187 ~x3511 ~x7993 ~x545 ~x456 ~x5604 x4258 ~x4889 ~x8316 
1266.63/1270.27	v ~x6127 ~x2536 ~x3862 x2731 x894 ~x805 ~x5955 ~x4274 ~x5240 ~x2704 
1266.63/1270.27	v ~x6478 ~x3234 ~x8074 ~x5537 ~x1243 ~x1154 x6306 ~x4284 ~x5591 ~x3053 
1266.63/1270.27	v ~x8233 ~x3937 ~x2465 ~x8345 ~x1592 ~x2201 ~x1056 ~x4287 ~x6995 ~x3754 
1266.63/1270.27	v ~x176 ~x4288 ~x2814 ~x638 ~x1941 x3248 x3150 ~x4293 ~x7346 ~x4105 
1266.63/1270.27	v ~x1223 ~x4639 ~x3512 x987 ~x2290 x5707 ~x6658 ~x4295 ~x7697 ~x8317 
1266.63/1270.27	v ~x1572 ~x4990 ~x3863 ~x2034 ~x3337 ~x6058 ~x7009 ~x4299 ~x8048 ~x2705 
1266.63/1270.27	v ~x3317 ~x5692 ~x8075 ~x2383 ~x4392 ~x6409 ~x7360 ~x4313 ~x8399 ~x3054 
1266.63/1270.27	v ~x4022 ~x6043 ~x2466 x4134 ~x4743 ~x6760 ~x7711 ~x4315 ~x2089 ~x3755 
1266.63/1270.27	v ~x4373 ~x6394 ~x8076 ~x5538 ~x5094 ~x7111 x1755 ~x4316 ~x2787 ~x8318 
1266.63/1270.27	v ~x4724 ~x6745 ~x24 ~x5889 ~x5445 ~x7462 ~x11 ~x4320 ~x5592 ~x612 
1266.63/1270.27	v ~x5075 ~x7096 ~x373 ~x6240 ~x5796 ~x7813 ~x360 ~x4324 ~x8400 ~x961 
1266.63/1270.27	v ~x6830 ~x7447 ~x722 ~x6591 ~x6147 x2551 ~x709 ~x4326 ~x345 ~x1310 
1266.63/1270.27	v ~x7181 ~x7798 ~x1071 ~x639 ~x6498 ~x5357 ~x1058 ~x4336 ~x1741 ~x2008 
1266.63/1270.27	v ~x7532 ~x8149 ~x1420 x988 ~x6849 ~x8165 ~x1407 ~x4345 ~x3137 ~x2357 
1266.63/1270.27	v ~x7883 ~x443 ~x1769 ~x2035 x7200 x458 ~x1756 ~x4346 ~x3838 ~x2706 
1266.63/1270.27	v ~x177 ~x792 ~x2118 ~x2384 ~x7551 ~x807 x2105 ~x4349 ~x4189 ~x3055 
1266.63/1270.27	v ~x526 ~x1839 ~x2467 ~x3082 ~x7902 ~x1854 ~x3152 ~x4354 ~x4540 ~x3404 
1266.63/1270.27	v ~x875 ~x2188 ~x3165 ~x3784 ~x197 ~x2203 ~x4203 ~x4356 ~x4891 ~x3756 
1266.63/1270.27	v ~x1573 ~x5342 ~x4216 x4135 ~x1244 ~x2552 ~x4554 ~x4357 ~x5242 ~x4107 
1266.63/1270.27	v ~x2271 ~x5693 ~x4567 ~x5539 x1593 ~x2901 ~x4905 ~x4363 ~x2789 ~x5511 
1266.63/1270.27	v ~x2620 ~x6044 ~x4918 ~x5890 ~x3338 x3603 ~x5607 ~x4368 ~x3138 ~x5862 
1266.63/1270.27	v ~x2969 ~x6395 ~x5269 ~x6241 ~x4393 ~x5358 ~x5958 ~x4370 ~x3839 ~x6213 
1266.63/1270.27	v ~x3672 ~x2538 ~x5620 ~x6592 ~x4744 ~x5709 ~x6309 ~x4376 ~x4190 ~x6564 
1266.63/1270.27	v ~x4374 ~x2887 ~x5971 x8348 ~x5095 ~x6060 ~x6660 ~x4379 ~x8402 ~x6915 
1266.63/1270.27	v ~x4725 ~x3588 ~x6322 ~x291 x6850 ~x6411 x7011 ~x4380 ~x2790 ~x7266 
1266.63/1270.27	v ~x5076 ~x3939 ~x6673 ~x1338 ~x7201 ~x8166 ~x7362 ~x4381 ~x8403 ~x7617 
1266.63/1270.27	v ~x5778 ~x8151 ~x7024 ~x1687 ~x7552 ~x459 ~x7713 ~x4385 ~x3841 ~x7968 
1266.63/1270.27	v ~x6129 ~x2539 ~x7375 ~x2734 ~x7903 ~x808 ~x12 ~x4389 ~x4543 ~x264 
1266.63/1270.27	v ~x6480 ~x2888 ~x7726 x3432 ~x198 x1157 ~x361 ~x4405 ~x4894 ~x1660 
1266.63/1270.27	v ~x8235 ~x3589 ~x8077 ~x4488 x547 ~x1855 ~x710 ~x4412 ~x5245 ~x3056 
1266.63/1270.27	v ~x178 ~x8152 ~x25 ~x4839 ~x896 ~x2204 ~x1059 ~x4418 ~x5596 ~x3757 
1266.63/1270.27	v ~x1574 ~x97 ~x1072 x5190 ~x1245 ~x3251 ~x1408 ~x4429 ~x5947 ~x4459 
1266.63/1270.27	v ~x1923 ~x1493 ~x1421 ~x6945 ~x1594 ~x3955 ~x1757 ~x4432 ~x6298 ~x4810 
1266.63/1270.27	v ~x2621 ~x2540 ~x2817 ~x7296 ~x1943 ~x5359 x2106 ~x4435 ~x6649 ~x5161 
1266.63/1270.27	v ~x2970 ~x2889 ~x3166 ~x7647 ~x2292 ~x5710 ~x3153 x4436 ~x8404 ~x614 
1266.63/1270.27	v ~x3673 ~x3590 ~x3515 ~x7998 ~x3339 x6061 ~x4204 ~x4438 ~x349 ~x963 
1266.63/1270.27	v ~x4375 ~x3941 ~x3866 ~x8349 ~x4394 ~x6412 ~x4555 ~x4451 ~x698 ~x1312 
1266.63/1270.27	v ~x4726 ~x4292 ~x4217 x8350 ~x4745 ~x6763 ~x4906 ~x4456 ~x1047 ~x2010 
1266.63/1270.27	v ~x5077 ~x4643 ~x4568 ~x1340 ~x5096 ~x7114 ~x5608 ~x4470 ~x1396 ~x2359 
1266.63/1270.27	v ~x5428 ~x4994 ~x4919 x2736 ~x5447 ~x7465 ~x5959 ~x4472 ~x1745 ~x2708 
1266.63/1270.27	v ~x8236 ~x448 ~x6674 ~x3434 ~x5798 ~x7816 ~x6310 ~x4484 ~x2094 ~x3057 
1266.63/1270.27	v ~x528 ~x797 ~x7025 x6947 ~x6149 x2554 ~x6661 ~x4485 ~x2443 ~x3406 
1266.63/1270.27	v ~x877 ~x1146 ~x7376 ~x7298 ~x6500 ~x2903 x7012 ~x4486 ~x3141 ~x3758 
1266.63/1270.27	v ~x1924 ~x2193 ~x7727 ~x7649 ~x6851 x3605 ~x7363 ~x4499 ~x3490 ~x4109 
1266.63/1270.27	v ~x2273 ~x2542 ~x8078 ~x8000 ~x7202 ~x8168 ~x7714 ~x4502 ~x350 ~x5864 
1266.63/1270.27	v ~x5429 ~x2891 ~x2818 ~x8351 x7553 x112 ~x13 ~x4507 ~x699 ~x6215 
1266.63/1270.27	v ~x5780 ~x3240 ~x3516 ~x294 ~x7904 ~x461 ~x362 ~x4516 ~x1048 ~x6566 
1266.63/1270.27	v ~x6131 ~x3592 ~x3867 ~x1690 x1246 ~x810 ~x711 ~x4518 ~x1397 ~x6917 
1266.63/1270.27	v ~x6482 ~x3943 ~x5271 x4491 ~x3340 ~x1508 ~x1060 ~x4532 ~x1746 ~x7268 
1266.63/1270.27	v ~x180 ~x5698 ~x1074 ~x4842 x4044 ~x1857 ~x1409 ~x4535 ~x2444 ~x7619 
1266.63/1270.27	v ~x529 ~x6049 ~x2470 ~x5193 ~x6852 ~x2206 ~x1758 ~x4542 ~x3142 ~x7970 
1266.63/1270.27	v ~x878 ~x6400 ~x3168 ~x8352 ~x7203 ~x4308 x2107 ~x4550 ~x3491 ~x8321 
1266.63/1270.27	v ~x1576 ~x6751 ~x3868 ~x295 ~x7554 ~x4659 ~x3154 ~x4551 ~x3842 ~x266 
1266.63/1270.27	v ~x1925 ~x7102 ~x6676 ~x644 ~x7905 ~x5010 ~x4205 ~x4552 ~x4193 ~x615 
1266.63/1270.27	v ~x2274 ~x7453 ~x7027 x993 ~x1247 ~x5361 ~x4556 ~x4566 ~x4544 ~x964 
1266.63/1270.27	v ~x2972 ~x7804 ~x7378 ~x1342 x2643 x5712 ~x4907 ~x4580 ~x4895 ~x1313 
1266.63/1270.27	v ~x3675 ~x8155 ~x7729 ~x1691 ~x3341 ~x6063 ~x5258 ~x4582 ~x5246 ~x1662 
1266.63/1270.27	v ~x4026 ~x2543 ~x28 ~x2040 ~x6853 ~x6414 ~x5609 ~x4583 ~x5597 ~x2011 
1266.63/1270.27	v ~x4377 ~x2892 ~x377 ~x2389 ~x7204 x2905 ~x5960 ~x4585 ~x5948 ~x2360 
1266.63/1270.27	v ~x4728 ~x3593 ~x726 ~x3436 x7555 ~x3607 ~x6311 ~x4587 ~x6299 ~x3058 
1266.63/1270.27	v ~x5079 ~x3944 ~x1075 ~x4492 ~x7906 x8170 x6662 ~x4588 ~x6650 ~x3407 
1266.63/1270.27	v ~x5781 ~x8156 ~x1424 ~x4843 ~x8257 ~x114 ~x7013 ~x4589 x7001 ~x3759 
1266.63/1270.27	v ~x6132 ~x450 ~x1773 ~x5194 ~x201 ~x1510 ~x7364 ~x4590 ~x7352 ~x4110 
1266.63/1270.27	v ~x6483 ~x799 ~x2122 ~x5545 ~x1597 x1859 ~x7715 ~x4596 ~x7703 ~x4461 
1266.63/1270.27	v ~x1228 ~x1148 ~x2471 ~x5896 ~x2644 ~x4310 ~x363 ~x4609 ~x8054 ~x4812 
1266.63/1270.27	v ~x2624 ~x1846 ~x3169 ~x6247 x2993 ~x4661 x712 ~x4625 ~x8405 ~x5163 
1266.63/1270.27	v ~x3322 ~x2195 ~x3869 ~x6598 ~x3695 x5012 ~x1061 ~x4635 x1 ~x5865 
1266.63/1270.27	v ~x531 ~x2544 ~x4220 ~x6949 ~x4397 ~x115 ~x1759 ~x4638 ~x6216 ~x880 
1266.63/1270.27	v ~x2893 ~x4571 ~x7300 x4748 ~x1511 ~x2108 ~x4644 ~x6567 ~x1927 ~x3242 
1266.63/1270.27	v ~x4922 ~x7651 ~x5099 ~x4311 ~x3155 ~x4646 ~x6918 ~x2276 ~x3594 ~x5273 
1266.63/1270.27	v x8002 ~x8258 x4662 ~x5259 ~x4650 ~x7269 ~x2625 ~x3945 ~x5624 ~x296 
1266.63/1270.27	v ~x1249 ~x5013 ~x5610 ~x4664 ~x7620 ~x4027 ~x5700 ~x5975 x645 x2645 
1266.63/1270.27	v ~x5364 ~x5961 ~x4666 ~x7971 ~x5431 ~x6051 ~x6326 ~x994 ~x3343 ~x2908 
1266.63/1270.27	v ~x6312 ~x4667 ~x3059 ~x5782 ~x6402 ~x6677 ~x1692 ~x6855 x3610 x6663 
1266.63/1270.27	v ~x4671 ~x3760 ~x6133 ~x6753 ~x7028 ~x2390 ~x7206 ~x8173 ~x7014 ~x4675 
1266.63/1270.27	v ~x617 ~x6484 ~x7104 ~x7379 ~x3088 x7557 ~x1164 ~x7365 ~x4677 ~x966 
1266.63/1270.27	v ~x8239 ~x7455 ~x7730 ~x646 ~x7908 x3258 ~x7716 ~x4687 ~x1315 ~x2626 
1266.63/1270.27	v ~x7806 ~x29 ~x995 ~x8259 x3962 ~x364 ~x4696 ~x2013 ~x8240 ~x8157 
1266.63/1270.27	v ~x1076 ~x1344 ~x203 ~x6770 ~x713 ~x4697 ~x7 ~x2362 ~x2627 ~x2545 
1266.63/1270.27	v ~x1425 ~x2042 ~x552 ~x7121 ~x1760 ~x4700 ~x8 ~x2711 ~x8241 ~x2894 
1266.63/1270.27	v ~x2472 ~x2391 ~x901 ~x7472 ~x2109 ~x4705 ~x9 ~x3060 ~x2977 ~x3595 
1266.63/1270.27	v ~x2821 x3438 ~x1599 ~x7823 x2458 ~x4707 ~x23 ~x3409 ~x3679 ~x3946 
1266.63/1270.27	v ~x3170 ~x5546 ~x1948 ~x118 ~x5611 ~x4708 ~x37 ~x3761 ~x535 ~x8158 
1266.63/1270.27	v ~x3519 ~x5897 x2297 ~x467 x5962 ~x4714 ~x39 ~x4112 ~x884 ~x3947 
1266.63/1270.27	v ~x3870 ~x6248 ~x2646 ~x816 ~x6313 x4719 ~x40 ~x5516 ~x1931 ~x4298 
1266.63/1270.27	v ~x4221 x6599 ~x4399 x1514 ~x8068 ~x4727 ~x42 ~x5867 ~x2280 ~x4649 
1266.63/1270.27	v ~x4572 ~x6950 x4750 ~x1863 ~x365 ~x4730 ~x44 ~x6218 ~x2629 ~x5000 
1266.63/1270.27	v ~x4923 ~x7301 ~x5101 ~x2212 ~x714 ~x4731 ~x45 ~x6569 ~x4031 ~x5702 
1266.63/1270.27	v ~x6678 ~x7652 ~x5452 ~x2910 ~x2110 ~x4732 ~x46 ~x6920 ~x5435 ~x6053 
1266.63/1270.27	v ~x7029 ~x8003 ~x5803 ~x3612 x2459 ~x4736 ~x47 ~x7271 ~x5786 ~x6404 
1266.63/1270.27	v ~x7380 x298 ~x6154 ~x3963 ~x5612 ~x4740 ~x53 ~x7622 ~x6137 ~x6755 
1266.63/1270.27	v ~x7731 ~x647 ~x6505 ~x4314 x5963 ~x4756 ~x64 ~x7973 ~x6488 ~x7106 
1266.63/1270.27	v ~x30 ~x996 ~x8260 ~x4665 ~x6314 ~x4763 ~x79 ~x269 ~x8243 ~x7457 
1266.63/1270.27	v ~x379 ~x1345 x204 ~x5016 x8070 ~x4769 ~x89 ~x1316 ~x1932 ~x7808 
1266.63/1270.27	v ~x728 ~x1694 ~x553 ~x5367 ~x367 ~x4780 ~x92 ~x1665 ~x2630 ~x8159 
1266.63/1270.27	v ~x1077 ~x2043 ~x902 ~x5718 ~x716 ~x4783 ~x98 ~x3061 ~x2979 ~x453 
1266.63/1270.27	v ~x1426 ~x2392 ~x1251 ~x6069 ~x2112 ~x4786 ~x100 ~x3410 ~x3681 ~x802 
1266.63/1270.27	v ~x1775 ~x3439 ~x1600 x6420 x2461 ~x4787 ~x103 ~x3762 ~x5436 ~x2198 
1266.63/1270.27	v ~x2124 ~x4494 ~x1949 ~x2911 x5614 ~x4789 ~x117 ~x4113 ~x8244 ~x2896 
1266.63/1270.27	v ~x2473 ~x4845 ~x2298 x3613 ~x5965 ~x4802 x119 ~x4464 ~x188 ~x3598 
1266.63/1270.27	v ~x3171 ~x5196 ~x3345 ~x5368 ~x6316 ~x4807 ~x120 ~x4815 ~x537 ~x3949 
1266.63/1270.27	v ~x3871 ~x5547 ~x4400 x1865 x8072 ~x4821 ~x124 ~x5166 ~x886 ~x5704 
1266.63/1270.27	v ~x4222 ~x5898 ~x4751 ~x5369 x1765 ~x4823 ~x128 ~x6921 ~x1584 ~x6055 
1266.63/1270.27	v ~x4573 x6249 ~x5102 ~x470 ~x2812 ~x4835 ~x130 ~x7272 ~x1933 ~x6406 
1266.63/1270.27	v ~x4924 ~x6600 ~x5453 ~x819 x3510 ~x4836 ~x140 ~x7623 ~x2282 ~x2548 
1266.63/1270.27	v ~x5626 ~x6951 ~x5804 ~x1168 ~x21 ~x4837 ~x149 ~x7974 ~x2631 ~x2897 
1266.63/1270.27	v ~x5977 ~x7302 ~x6155 ~x1866 x370 ~x4850 ~x150 ~x270 ~x2980 ~x3599 
1266.63/1270.27	v ~x6328 ~x7653 x6506 x2215 ~x719 ~x4853 ~x153 ~x619 ~x3682 ~x8162 
1266.63/1270.27	v ~x6679 ~x8004 ~x6857 ~x2913 ~x1068 ~x4858 ~x158 ~x968 ~x4033 ~x106 
1266.63/1270.27	v ~x7030 ~x299 ~x7208 ~x3262 ~x1417 ~x4867 ~x160 ~x1317 ~x4384 ~x1153 
1266.63/1270.27	v ~x7381 x648 ~x7559 ~x3615 ~x1766 ~x4869 ~x161 ~x1666 ~x4735 ~x1502 
1266.63/1270.27	v ~x7732 ~x997 ~x7910 ~x5370 ~x2115 ~x4883 ~x167 ~x2015 ~x5086 ~x2549 
1266.63/1270.27	v ~x8083 ~x1346 ~x205 ~x5721 ~x3162 ~x4886 ~x172 ~x2364 ~x5437 ~x2898 
1266.63/1270.27	v ~x31 ~x1695 ~x554 ~x6072 ~x4213 ~x4893 ~x179 ~x2713 ~x5788 ~x3247 
1266.63/1270.27	v ~x380 ~x2044 ~x903 ~x6423 ~x4564 ~x4901 ~x183 ~x3411 ~x6139 ~x3600 
1266.63/1270.27	v ~x729 ~x2393 x1601 ~x6774 ~x4915 ~x4902 ~x184 ~x4114 ~x6490 ~x3951 
1266.63/1270.27	v ~x1427 ~x3440 ~x1950 ~x7125 ~x5266 ~x4903 ~x185 ~x4465 ~x2632 ~x4302 
1266.63/1270.27	v ~x1776 ~x4495 ~x2299 x7476 ~x5617 ~x4917 ~x189 ~x4816 ~x2981 ~x4653 
1266.63/1270.27	v ~x2125 ~x4846 ~x4401 ~x7827 ~x5968 ~x4931 ~x193 ~x5167 ~x3683 ~x5004 
1266.63/1270.27	v ~x2823 ~x5197 ~x4752 ~x122 ~x6319 ~x4933 ~x216 ~x5518 ~x8246 ~x6759 
1266.63/1270.27	v ~x3521 ~x5548 ~x5103 ~x1518 x6670 ~x4934 ~x222 ~x5869 ~x539 ~x7110 
1266.63/1270.27	v ~x4223 ~x5899 ~x5454 ~x4318 ~x7021 ~x4936 ~x234 ~x6220 ~x888 ~x7461 
1266.63/1270.27	v ~x4574 ~x6250 ~x5805 ~x4669 ~x7372 ~x4938 ~x237 ~x6571 ~x1935 ~x7812 
1266.63/1270.27	v ~x4925 ~x6601 x6156 x5020 ~x7723 ~x4939 ~x240 ~x6922 ~x2284 ~x8163 
1266.63/1270.27	v ~x5276 ~x6952 ~x6507 ~x5371 ~x22 ~x4940 ~x241 ~x7273 ~x2633 ~x107 
1266.63/1270.27	v ~x5627 x7303 ~x206 ~x123 ~x371 ~x4941 ~x243 ~x7624 ~x2982 ~x1503 
1266.63/1270.27	v ~x5978 ~x7654 ~x555 ~x472 ~x720 ~x4947 ~x256 ~x7975 ~x3684 ~x2550 
1266.63/1270.27	v ~x6329 ~x8005 x904 ~x821 ~x1069 ~x4960 ~x261 ~x271 ~x4035 ~x2899 
1266.63/1270.27	v ~x32 ~x300 ~x1602 x1519 ~x1418 ~x4976 ~x275 ~x620 ~x5439 ~x3601 
1266.63/1270.27	v ~x381 x649 ~x1951 ~x2217 ~x1767 ~x4986 ~x288 ~x969 ~x5790 ~x4303 
1266.63/1270.27	v ~x730 ~x998 ~x2300 ~x2915 x2116 ~x4989 ~x289 ~x1667 ~x6141 ~x4654 
1266.63/1270.27	v ~x1428 ~x1696 ~x4051 ~x3617 ~x3163 ~x4995 ~x290 ~x2365 ~x6492 ~x5005 
1266.63/1270.27	v ~x1777 ~x2045 ~x4402 ~x4319 ~x4214 ~x4997 ~x303 ~x2714 ~x2634 ~x108 
1266.63/1270.27	v ~x2126 ~x2394 x4753 ~x4670 ~x4565 ~x5001 ~x306 ~x3063 ~x2983 ~x1504 
1266.63/1270.27	v ~x2824 ~x4496 ~x5104 ~x5021 ~x4916 ~x5015 ~x312 ~x3764 ~x3685 ~x2900 
1266.63/1270.27	v ~x3522 ~x4847 ~x5455 ~x5723 ~x5618 ~x5017 ~x321 ~x4115 ~x192 ~x3602 
1266.63/1270.27	v ~x4224 x5198 ~x5806 ~x6074 ~x5969 ~x5018 ~x323 ~x4466 ~x541 ~x3953 
1266.63/1270.27	v ~x4575 ~x5900 ~x6157 x6425 ~x6320 ~x5022 ~x337 ~x4817 ~x890 ~x4304 
1266.63/1270.27	v ~x4926 ~x6251 ~x6508 ~x1171 x6671 ~x5026 ~x340 ~x5168 ~x1239 ~x4655 
1266.63/1270.27	v ~x5277 ~x6602 ~x207 x3265 ~x7022 ~x5028 ~x347 ~x5519 ~x1588 ~x5006 
1266.63/1270.27	v ~x5628 ~x302 ~x1603 x3969 ~x7373 ~x5038 ~x348 ~x5870 ~x1937 ~x109 
1266.63/1270.27	v ~x5979 x651 ~x4403 ~x6777 ~x7724 ~x5047 ~x355 ~x6221 ~x2286 ~x1156 
1266.63/1270.27	v ~x6330 ~x1000 x4754 ~x7128 x2816 ~x5048 ~x358 ~x6572 ~x2984 ~x1505 
1266.63/1270.27	v ~x2476 ~x1349 ~x5105 ~x7479 ~x3514 ~x5051 ~x372 ~x8327 ~x3333 ~x3250 
1266.63/1270.27	v ~x2825 ~x1698 ~x208 ~x7830 x3865 ~x5056 ~x376 ~x2715 ~x3686 ~x3954 
1266.63/1270.27	v ~x3523 ~x2047 ~x557 ~x8181 x374 ~x5058 ~x386 ~x3064 ~x4037 ~x4305 
1266.63/1270.27	v ~x3874 ~x2396 ~x906 ~x474 ~x2468 ~x5059 ~x388 ~x3765 ~x4388 ~x4656 
1266.63/1270.27	v ~x8086 ~x3443 ~x1255 ~x823 x5270 ~x5065 ~x391 ~x4116 ~x4739 ~x5007 
1266.63/1270.27	v ~x34 ~x4498 ~x1604 ~x1870 ~x26 ~x5070 ~x393 ~x8328 ~x5090 ~x6762 
1266.63/1270.27	v ~x383 x4849 x1953 x2219 ~x375 ~x5072 ~x395 ~x2018 ~x5792 ~x7113 
1266.63/1270.27	v ~x732 ~x5200 ~x2302 x5374 ~x724 x5078 ~x396 ~x3065 ~x6143 ~x7464 
1266.63/1270.27	v ~x1081 ~x5551 ~x3349 ~x5725 x1073 ~x5081 ~x399 ~x3766 ~x6494 ~x7815 
1266.63/1270.27	v ~x1430 ~x5902 ~x4404 ~x6076 ~x1422 ~x5082 ~x412 ~x5521 ~x6845 ~x110 
1266.63/1270.27	v ~x2128 ~x6253 ~x4755 ~x6427 ~x1771 ~x5083 ~x418 ~x274 ~x7196 ~x1506 
1266.63/1270.27	v ~x2477 ~x6604 ~x5106 ~x126 ~x2120 ~x5087 ~x427 ~x623 ~x7547 ~x2553 
1266.63/1270.27	v ~x3175 ~x6955 ~x5808 ~x475 ~x3167 ~x5091 ~x437 ~x972 ~x7898 ~x2902 
1266.63/1270.27	v ~x3875 ~x7306 ~x6159 ~x824 x4218 x5114 ~x438 ~x1321 ~x2985 ~x3604 
1266.63/1270.27	v ~x4226 ~x7657 ~x6510 ~x1173 ~x4569 ~x5131 ~x445 ~x1670 ~x3687 ~x4306 
1266.63/1270.27	v ~x4577 ~x8008 ~x6861 ~x1522 ~x4920 ~x5134 ~x447 ~x2019 ~x2637 ~x4657 
1266.63/1270.27	v ~x4928 ~x8359 ~x7212 x2220 ~x5622 ~x5138 ~x454 ~x2368 ~x2986 ~x5008 
1266.63/1270.27	v ~x5279 x2048 ~x7563 ~x2918 ~x5973 ~x5140 ~x457 ~x3415 ~x3688 ~x8167 
1266.63/1270.27	v ~x5630 ~x3095 x7914 ~x3267 ~x6324 ~x5153 ~x463 ~x4118 ~x4039 ~x111 
1266.63/1270.27	v ~x5981 ~x3797 ~x209 ~x3620 ~x6675 ~x5158 ~x464 ~x4469 ~x8251 ~x460 
1266.63/1270.27	v ~x6332 x5201 x1256 ~x3971 ~x7026 ~x5172 ~x469 ~x4820 ~x544 ~x809 
1266.63/1270.27	v ~x6683 ~x5552 ~x1954 x4322 ~x7377 ~x5174 x471 ~x5171 ~x893 ~x1158 
1266.63/1270.27	v ~x7034 ~x6254 ~x2303 ~x4673 ~x7728 ~x5186 ~x473 ~x5873 ~x1940 ~x1507 
1266.63/1270.27	v ~x7385 ~x8360 ~x5107 ~x5024 x27 ~x5187 ~x477 ~x6224 ~x2289 ~x1856 
1266.63/1270.27	v ~x7736 ~x304 ~x5458 ~x5726 ~x1423 ~x5188 ~x479 ~x6575 ~x4040 ~x2205 
1266.63/1270.27	v ~x35 ~x653 ~x5809 ~x6077 ~x4219 ~x5204 ~x481 ~x6926 ~x5444 ~x3252 
1266.63/1270.27	v ~x384 ~x1002 x6160 ~x6428 ~x4570 ~x5209 ~x490 ~x7277 ~x5795 ~x3956 
1266.63/1270.27	v ~x733 x1700 ~x6511 ~x6779 ~x4921 ~x5218 ~x491 ~x7628 ~x6146 ~x4307 
1266.63/1270.27	v ~x1082 ~x2049 ~x6862 ~x7130 x8080 ~x5220 ~x493 ~x7979 ~x6497 ~x4658 
1266.63/1270.27	v ~x1431 ~x2398 ~x210 ~x7481 x2820 ~x5237 ~x507 ~x2718 ~x2639 ~x5009 
1266.63/1270.27	v ~x2129 ~x3096 ~x1606 ~x7832 ~x3518 ~x5244 ~x510 ~x3067 ~x2988 ~x5360 
1266.63/1270.27	v ~x2827 ~x3798 x1955 x127 x8081 ~x5249 ~x532 ~x3768 ~x3690 ~x5711 
1266.63/1270.27	v ~x3176 ~x4500 ~x4406 ~x1523 x378 ~x5252 ~x533 ~x4119 ~x4041 ~x6062 
1266.63/1270.27	v ~x3525 ~x4851 x4757 ~x4323 ~x727 ~x5260 ~x534 ~x8331 ~x8253 ~x6413 
1266.63/1270.27	v ~x3876 ~x5202 ~x5108 ~x4674 ~x1774 ~x5267 ~x551 ~x276 ~x546 ~x6764 
1266.63/1270.27	v ~x4227 ~x5553 ~x5459 ~x5025 ~x2123 ~x5268 ~x556 ~x625 ~x895 ~x7115 
1266.63/1270.27	v ~x4578 ~x5904 ~x8267 x5376 ~x5274 ~x5272 ~x558 ~x974 ~x1942 ~x7466 
1266.63/1270.27	v ~x4929 ~x6255 ~x211 x1873 ~x5625 ~x5282 ~x566 ~x1323 ~x2291 ~x7817 
1266.63/1270.27	v ~x5280 x6606 x1607 ~x5377 ~x5976 ~x5286 ~x567 ~x1672 ~x4042 ~x1159 
1266.63/1270.27	v ~x5631 ~x305 ~x2654 ~x129 ~x6327 ~x5292 ~x568 ~x2021 ~x5446 ~x2555 
1266.63/1270.27	v ~x5982 ~x1701 x4056 ~x478 x8082 ~x5326 x571 ~x2370 ~x5797 ~x2904 
1266.63/1270.27	v ~x6333 ~x4501 ~x4407 ~x827 x2822 ~x5327 ~x576 ~x3417 ~x6148 ~x3253 
1266.63/1270.27	v ~x6684 ~x4852 ~x4758 ~x1525 ~x3520 ~x5333 ~x583 ~x4120 ~x6499 ~x3606 
1266.63/1270.27	v ~x7035 x5203 ~x5109 x1874 x5275 ~x5336 x586 ~x4471 ~x2641 ~x3957 
1266.63/1270.27	v ~x7386 ~x5554 ~x212 ~x2223 ~x1078 ~x5337 ~x587 ~x4822 ~x2990 ~x6765 
1266.63/1270.27	v ~x7737 x2750 ~x1608 ~x4325 x3172 ~x5340 ~x589 ~x5173 ~x3692 ~x7116 
1266.63/1270.27	v ~x385 ~x3099 x1957 ~x4676 x3872 ~x5343 ~x594 ~x5524 ~x4043 ~x7467 
1266.63/1270.27	v ~x734 x3801 ~x4408 ~x5027 ~x6680 ~x5344 ~x596 ~x5875 ~x8255 ~x7818 
1266.63/1270.27	v ~x1781 ~x8364 x4759 ~x5378 ~x7031 ~x5345 ~x598 ~x6226 ~x199 ~x8169 
1266.63/1270.27	v ~x2130 x657 ~x5110 ~x5729 ~x7382 ~x5346 ~x609 ~x6577 ~x548 ~x113 
1266.63/1270.27	v ~x2479 ~x1006 ~x5461 ~x6080 ~x7733 ~x5348 ~x611 ~x6928 ~x897 ~x462 
1266.63/1270.27	v ~x3877 ~x2053 ~x8269 ~x6431 ~x1079 ~x5350 ~x613 ~x7279 ~x1595 ~x811 
1266.63/1270.27	v ~x5632 ~x2402 x562 x7484 x3173 ~x5352 ~x622 ~x7630 ~x1944 ~x1160 
1266.63/1270.27	v ~x5983 ~x2751 ~x911 x1177 x3873 ~x5353 ~x635 ~x7981 ~x2293 ~x1509 
1266.63/1270.27	v ~x6334 ~x3100 ~x1958 ~x2922 ~x6681 ~x5354 ~x641 ~x3770 ~x2642 ~x1858 
1266.63/1270.27	v ~x8089 ~x3802 ~x2307 ~x3271 ~x7032 ~x5356 ~x652 ~x2720 ~x2991 ~x2207 
1266.63/1270.27	v ~x38 x4153 x5462 x3624 ~x7383 ~x5363 x654 ~x3069 ~x3693 ~x2556 
1266.63/1270.27	v ~x1085 ~x5557 ~x5813 ~x6783 ~x7734 ~x5373 ~x655 ~x3771 ~x4395 ~x3254 
1266.63/1270.27	v ~x1434 ~x5908 ~x6164 ~x7134 ~x33 ~x5379 ~x660 ~x4122 ~x4746 ~x3958 
1266.63/1270.27	v ~x2830 ~x6259 ~x6515 ~x7485 ~x382 ~x5390 ~x671 ~x8334 ~x5097 ~x4309 
1266.63/1270.27	v ~x3179 ~x6610 ~x214 ~x7836 x731 ~x5391 ~x672 ~x627 ~x5448 ~x4660 
1266.63/1270.27	v ~x3528 ~x8365 ~x1610 ~x131 ~x1080 ~x5407 ~x675 ~x976 ~x5799 ~x5011 
1266.63/1270.27	v ~x4230 ~x658 x2657 ~x480 ~x1429 ~x5410 ~x677 ~x2023 ~x6150 ~x5362 
1266.63/1270.27	v ~x4581 x1007 ~x4410 ~x829 ~x1778 ~x5432 ~x684 ~x2372 ~x6501 ~x5713 
1266.63/1270.27	v ~x4932 ~x2054 x4761 ~x1527 ~x2127 ~x5433 ~x689 ~x2721 ~x8256 ~x6064 
1266.63/1270.27	v ~x6687 ~x2403 ~x5112 ~x1876 ~x3174 ~x5434 ~x694 ~x3070 ~x200 ~x6415 
1266.63/1270.27	v ~x7038 ~x3101 ~x215 x2225 ~x4225 x5441 ~x696 ~x3772 ~x549 ~x6766 
1266.63/1270.27	v ~x7389 ~x3803 ~x1611 x4327 ~x4576 ~x5451 ~x697 ~x4123 ~x898 ~x7117 
1266.63/1270.27	v ~x7740 x4154 x2658 ~x4678 ~x4927 ~x5456 ~x704 ~x5527 ~x1596 ~x7468 
1266.63/1270.27	v ~x2482 ~x5558 ~x4411 ~x5029 ~x5278 ~x5457 ~x707 ~x5878 ~x1945 ~x7819 
1266.63/1270.27	v ~x8092 ~x5909 x4762 ~x5380 ~x5629 ~x5466 ~x721 ~x6229 ~x2294 ~x1161 
1266.63/1270.27	v ~x389 ~x6260 ~x5113 ~x5731 ~x5980 ~x5467 ~x723 ~x6580 ~x2992 ~x2557 
1266.63/1270.27	v ~x738 ~x6611 ~x5464 ~x6082 ~x6331 ~x5468 ~x725 ~x8335 ~x3694 ~x2906 
1266.63/1270.27	v ~x1785 ~x310 ~x8272 ~x6433 ~x6682 ~x5471 ~x735 ~x2722 ~x4396 ~x3255 
1266.63/1270.27	v ~x2134 ~x659 x3008 ~x132 ~x7033 ~x5476 ~x737 ~x3071 ~x4747 ~x3608 
1266.63/1270.27	v ~x2483 ~x1008 ~x3710 ~x1528 ~x7384 ~x5479 ~x740 ~x3773 ~x5098 ~x6767 
1266.63/1270.27	v ~x3881 x1357 ~x5465 ~x4328 x7735 ~x5480 ~x742 ~x4124 ~x5449 ~x7118 
1266.63/1270.27	v ~x5285 ~x1706 x1264 ~x4679 x1779 ~x5482 ~x744 ~x8336 ~x5800 ~x7469 
1266.63/1270.27	v ~x5636 ~x2055 ~x3358 x5030 ~x2826 ~x5485 ~x745 ~x2723 ~x6151 ~x7820 
1266.63/1270.27	v ~x5987 ~x2404 x5817 ~x5381 x3524 ~x5486 ~x748 ~x8337 ~x6502 ~x8171 
1266.63/1270.27	v ~x6338 ~x3451 ~x6870 ~x482 ~x8087 ~x5488 ~x761 ~x281 ~x550 ~x2558 
1266.63/1270.27	v ~x8093 ~x4155 ~x7221 ~x831 x1780 ~x5495 ~x767 ~x630 ~x899 ~x8172 
1266.63/1270.27	v ~x390 ~x4506 ~x7572 ~x1180 x8088 ~x5510 ~x776 ~x979 ~x1248 ~x116 
1266.63/1270.27	v ~x739 ~x4857 ~x7923 x1878 x36 ~x5515 ~x786 ~x1328 ~x1946 ~x465 
1266.63/1270.27	v ~x1786 ~x5208 x3010 ~x2227 ~x1432 ~x5520 ~x787 ~x1677 ~x2295 ~x814 
1266.63/1270.27	v ~x2135 ~x5559 ~x3712 ~x2576 ~x2828 ~x5523 ~x794 ~x2026 ~x3342 ~x1163 
1266.63/1270.27	v ~x2833 ~x5910 x6169 ~x3274 ~x3526 ~x5525 ~x796 ~x2375 ~x4046 ~x1512 
1266.63/1270.27	v ~x3531 x6261 ~x219 ~x5382 ~x4228 ~x5529 ~x803 ~x3422 ~x5450 ~x1861 
1266.63/1270.27	v ~x3882 ~x6612 ~x1266 ~x5733 ~x4579 ~x5535 ~x806 ~x4126 ~x5801 ~x2210 
1266.63/1270.27	v ~x5637 ~x6963 x1615 ~x6084 ~x4930 ~x5542 ~x812 ~x4477 ~x6152 ~x3257 
1266.63/1270.27	v ~x5988 ~x7314 ~x3360 ~x6435 ~x5281 ~x5549 ~x813 ~x4828 ~x6503 ~x3961 
1266.63/1270.27	v ~x6339 ~x7665 ~x4415 ~x6786 x7738 ~x5555 ~x818 ~x5179 ~x6854 ~x4312 
1266.63/1270.27	v ~x2485 ~x8016 ~x4766 ~x7137 x2480 ~x5570 ~x820 ~x5881 ~x7205 ~x4663 
1266.63/1270.27	v ~x8095 ~x311 ~x5117 x7488 x3878 ~x5571 ~x822 ~x6232 ~x7556 ~x5014 
1266.63/1270.27	v ~x43 x1707 ~x6872 ~x7839 ~x387 ~x5580 ~x826 ~x6583 ~x7907 ~x5365 
1266.63/1270.27	v ~x1090 ~x661 x7223 ~x8190 ~x736 ~x5583 ~x828 ~x6934 ~x202 ~x5716 
1266.63/1270.27	v ~x1439 ~x1010 ~x7574 ~x134 ~x1783 ~x5588 ~x830 ~x7285 ~x1598 ~x6067 
1266.63/1270.27	v ~x2486 ~x1359 ~x7925 ~x483 x2132 ~x5593 ~x839 ~x7636 ~x2994 ~x6418 
1266.63/1270.27	v ~x3184 ~x2057 ~x569 ~x832 ~x2481 ~x5595 ~x840 ~x7987 ~x3696 ~x6769 
1266.63/1270.27	v ~x4235 ~x2406 ~x918 ~x1181 x3879 x5605 ~x842 ~x631 ~x4398 ~x7120 
1266.63/1270.27	v ~x4586 x3453 ~x1267 x1530 ~x5283 x5619 ~x856 ~x980 ~x4749 ~x7471 
1266.63/1270.27	v ~x4937 ~x4156 ~x1965 ~x1879 ~x5634 ~x5621 ~x859 ~x2027 ~x5100 ~x7822 
1266.63/1270.27	v ~x6692 ~x5560 x2314 ~x2228 ~x5985 ~x5623 ~x881 ~x2376 ~x1250 ~x466 
1266.63/1270.27	v ~x7043 ~x5911 ~x3361 ~x3275 ~x6336 ~x5633 ~x882 ~x3074 ~x3344 ~x815 
1266.63/1270.27	v ~x7394 ~x6262 ~x5469 ~x4330 ~x8091 ~x5635 ~x883 ~x3776 ~x6856 ~x1862 
1266.63/1270.27	v ~x7745 x6613 ~x5820 ~x4681 x2831 x5638 ~x900 ~x4127 ~x7207 ~x2211 
1266.63/1270.27	v ~x8096 ~x6964 ~x6171 ~x5032 ~x3529 x5640 x905 ~x5531 ~x7558 ~x2560 
1266.63/1270.27	v ~x2487 ~x7315 ~x6522 ~x5383 x5284 ~x5642 ~x907 ~x5882 ~x7909 ~x2909 
1266.63/1270.27	v ~x2836 ~x7666 x6873 ~x5734 x41 ~x5643 ~x915 ~x6233 ~x2647 ~x3611 
1266.63/1270.27	v ~x3534 ~x8017 ~x7224 ~x6085 ~x1437 ~x5646 ~x916 ~x6584 ~x2996 ~x5366 
1266.63/1270.27	v ~x3885 ~x313 ~x7575 x6436 ~x4233 ~x5661 ~x917 ~x632 ~x3698 ~x5717 
1266.63/1270.27	v ~x8097 ~x662 ~x7926 ~x6787 ~x4584 x5667 ~x920 ~x981 ~x4049 ~x6068 
1266.63/1270.27	v ~x394 ~x1011 ~x221 ~x7138 ~x4935 ~x5677 ~x925 ~x2028 ~x8261 ~x6419 
1266.63/1270.27	v ~x743 ~x1360 x1617 ~x7489 x8094 ~x5687 ~x932 ~x2377 ~x1252 ~x8174 
1266.63/1270.27	v ~x1790 ~x1709 x4066 ~x7840 x2834 ~x5688 ~x935 ~x2726 ~x2648 ~x1165 
1266.63/1270.27	v ~x2139 ~x2058 ~x4417 ~x1182 ~x3532 ~x5695 ~x936 ~x3075 ~x2997 ~x2561 
1266.63/1270.27	v ~x5290 ~x2407 ~x4768 x1880 ~x5287 x5697 ~x938 ~x3777 ~x3346 ~x3259 
1266.63/1270.27	v ~x5641 ~x3105 ~x5119 ~x3276 ~x392 ~x5705 ~x943 ~x5532 ~x3699 ~x6771 
1266.63/1270.27	v ~x5992 x3454 ~x5470 ~x5384 x741 x5708 ~x945 ~x5883 ~x4050 ~x7122 
1266.63/1270.27	v ~x6343 ~x3806 x5120 ~x6788 ~x1788 ~x5714 ~x947 ~x6234 ~x6858 ~x7473 
1266.63/1270.27	v ~x2489 ~x4157 ~x6173 ~x7139 ~x2137 ~x5715 ~x958 ~x6585 ~x7209 ~x7824 
1266.63/1270.27	v ~x2838 ~x4508 ~x223 x7490 x3884 ~x5720 ~x960 ~x8340 ~x7560 ~x8175 
1266.63/1270.27	v ~x3536 x4859 x1270 ~x7841 ~x5288 ~x5722 ~x962 ~x284 ~x7911 ~x468 
1266.63/1270.27	v ~x8099 ~x5210 ~x1619 x1881 ~x5639 ~x5724 ~x971 ~x633 ~x8262 ~x817 
1266.63/1270.27	v ~x397 ~x5561 ~x2666 x8193 ~x5990 ~x5728 ~x984 ~x982 ~x1253 ~x1166 
1266.63/1270.27	v ~x746 ~x5912 ~x3015 ~x137 ~x6341 ~x5730 ~x990 ~x1680 ~x2649 ~x1864 
1266.63/1270.27	v ~x1095 ~x6263 ~x3364 ~x486 ~x5289 ~x5732 ~x1001 ~x2029 ~x2998 ~x2213 
1266.63/1270.27	v ~x1793 ~x6614 ~x3717 ~x835 x2488 ~x5741 ~x1003 ~x2378 ~x3347 ~x2562 
1266.63/1270.27	v ~x2142 ~x6965 ~x4419 ~x1184 ~x2837 ~x5744 ~x1004 ~x4129 ~x3700 ~x3260 
1266.63/1270.27	v ~x2491 ~x7316 x4770 ~x1533 x3535 ~x5758 ~x1009 ~x4480 ~x6859 ~x3964 
1266.63/1270.27	v ~x3189 ~x7667 ~x5121 ~x1882 ~x8098 ~x5761 ~x1020 ~x4831 ~x7210 ~x5719 
1266.63/1270.27	v ~x3889 ~x8018 ~x6876 x2231 ~x5291 ~x5774 ~x1021 ~x5182 ~x7561 ~x6070 
1266.63/1270.27	v ~x5293 ~x314 ~x7227 ~x3278 x6344 ~x5783 ~x1024 ~x5884 ~x7912 ~x6421 
1266.63/1270.27	v ~x5644 x663 ~x7578 ~x4333 x2490 ~x5784 ~x1026 ~x6235 ~x8263 ~x6772 
1266.63/1270.27	v ~x5995 ~x1012 ~x7929 ~x4684 x3888 ~x5785 ~x1033 ~x6586 ~x2650 ~x7123 
1266.63/1270.27	v ~x6346 ~x1361 ~x8280 ~x5035 x48 ~x5802 ~x1038 ~x285 ~x2999 ~x7474 
1266.63/1270.27	v ~x6697 ~x1710 x1969 ~x5386 ~x1444 ~x5807 ~x1043 ~x634 ~x3701 ~x7825 
1266.63/1270.27	v ~x7048 ~x2059 ~x5473 ~x5737 ~x2840 ~x5818 ~x1045 ~x983 ~x8264 ~x8176 
1266.63/1270.27	v ~x7399 ~x2408 ~x225 ~x6088 x3538 ~x5819 ~x1046 ~x1681 ~x2651 ~x2563 
1266.63/1270.27	v ~x7750 ~x3455 x1621 ~x6439 ~x4240 ~x5822 ~x1054 ~x2030 ~x3000 ~x2912 
1266.63/1270.27	v ~x8101 ~x4509 x4070 ~x6790 ~x4591 ~x5833 x1055 ~x2379 ~x3702 ~x3614 
1266.63/1270.27	v ~x1096 ~x4860 ~x4421 ~x7141 ~x4942 ~x5836 x1070 ~x2728 ~x4053 ~x3965 
1266.63/1270.27	v ~x2841 ~x5211 ~x4772 x7492 ~x49 ~x5837 ~x1083 ~x3077 ~x8265 ~x8177 
1266.63/1270.27	v ~x3190 ~x5562 ~x5123 ~x7843 x398 ~x5839 ~x1084 ~x3779 ~x559 ~x121 
1266.63/1270.27	v ~x3539 ~x5913 x226 ~x138 ~x747 ~x5846 ~x1086 ~x4130 ~x908 ~x1517 
1266.63/1270.27	v ~x3890 ~x6264 ~x575 ~x487 ~x1445 ~x5848 ~x1087 ~x4481 ~x2304 ~x2564 
1266.63/1270.27	v ~x6698 ~x6615 ~x924 ~x836 ~x1794 ~x5859 ~x1088 ~x4832 ~x2653 ~x3966 
1266.63/1270.27	v ~x7049 ~x6966 ~x1273 ~x1534 ~x2143 ~x5861 ~x1089 ~x5183 ~x3002 ~x4317 
1266.63/1270.27	v ~x7400 ~x7317 ~x1622 ~x1883 ~x2492 ~x5863 ~x1091 ~x5885 ~x3704 ~x4668 
1266.63/1270.27	v ~x7751 ~x7668 ~x1971 x2232 ~x4241 ~x5872 ~x1092 ~x6236 ~x4055 ~x5019 
1266.63/1270.27	v ~x1097 x8019 ~x2320 x4334 x4592 ~x5886 x1093 ~x6587 ~x5810 ~x8178 
1266.63/1270.27	v ~x2493 ~x1362 ~x3367 ~x4685 ~x4943 ~x5893 ~x1094 ~x8342 ~x6161 ~x1169 
1266.63/1270.27	v ~x2842 x3107 ~x4422 ~x5036 ~x5294 ~x5903 ~x1110 ~x287 ~x6512 ~x2565 
1266.63/1270.27	v ~x3191 ~x3456 ~x4773 ~x5387 ~x5645 ~x5905 ~x1121 ~x636 ~x560 ~x2914 
1266.63/1270.27	v ~x3540 ~x3808 ~x5124 ~x5738 ~x5996 ~x5906 ~x1137 ~x985 ~x909 ~x3263 
1266.63/1270.27	v ~x3891 ~x5563 ~x5475 ~x6089 ~x6347 ~x5921 ~x1142 ~x1683 ~x1258 ~x3616 
1266.63/1270.27	v ~x6699 ~x6967 ~x5826 ~x6440 ~x8102 ~x5922 ~x1143 ~x2032 ~x1956 ~x3967 
1266.63/1270.27	v ~x7050 ~x7318 ~x6177 ~x488 x50 ~x5925 x1145 ~x2381 ~x2305 ~x6775 
1266.63/1270.27	v ~x7401 x7669 ~x6528 ~x837 ~x1446 ~x5927 ~x1149 ~x2730 ~x3003 ~x7126 
1266.63/1270.27	v ~x7752 ~x8020 ~x6879 ~x1186 ~x4242 ~x5934 ~x1151 ~x4132 ~x3352 ~x7477 
1266.63/1270.27	v ~x8103 ~x665 ~x7230 x1884 ~x4593 ~x5939 ~x1152 ~x4483 ~x3705 ~x7828 
1266.63/1270.27	v ~x1098 ~x1014 ~x7581 ~x2233 ~x4944 ~x5944 ~x1155 ~x4834 ~x5460 ~x8179 
1266.63/1270.27	v ~x2494 ~x2410 x7932 ~x3280 x5295 ~x5953 x1162 ~x5185 ~x5811 ~x1170 
1266.63/1270.27	v ~x2843 x3108 x227 ~x5388 ~x51 ~x5956 ~x1167 ~x5536 ~x6162 ~x1868 
1266.63/1270.27	v ~x3192 ~x3809 ~x1274 ~x5739 ~x400 ~x5970 ~x1175 ~x5887 ~x6513 ~x2566 
1266.63/1270.27	v ~x3541 x5915 ~x1623 ~x6090 x749 ~x5972 ~x1176 ~x6238 ~x6864 ~x3264 
1266.63/1270.27	v ~x3892 ~x6266 ~x3368 ~x6441 ~x1447 ~x5974 ~x1189 ~x6589 ~x7215 ~x3968 
1266.63/1270.27	v ~x6700 ~x6617 ~x228 ~x6792 ~x1796 ~x5984 ~x1194 ~x8344 ~x7566 ~x5372 
1266.63/1270.27	v ~x7051 x2062 x1624 ~x7143 ~x2145 ~x5986 ~x1199 ~x637 ~x7917 ~x6776 
1266.63/1270.27	v ~x7402 ~x3109 ~x4423 x7494 ~x4243 ~x5989 x1208 ~x986 ~x8268 ~x7127 
1266.63/1270.27	v ~x7753 x3810 ~x4774 ~x7845 x4594 ~x5991 ~x1214 ~x2033 ~x561 ~x7478 
1266.63/1270.27	v ~x8104 ~x5565 ~x5125 ~x489 ~x4945 ~x5993 ~x1222 ~x2382 ~x910 ~x7829 
1266.63/1270.27	v ~x401 ~x318 x8284 ~x838 ~x5296 ~x5994 x1226 ~x4133 ~x2306 ~x8180 
1266.63/1270.27	v ~x750 ~x667 ~x229 ~x1187 ~x5647 ~x5997 ~x1230 ~x5888 ~x2655 ~x125 
1266.63/1270.27	v ~x1797 ~x1016 ~x578 x1885 ~x5998 ~x6012 ~x1231 ~x6239 ~x3004 ~x1172 
1266.63/1270.27	v ~x2146 x1714 ~x927 ~x2234 ~x6349 ~x6018 ~x1232 ~x6590 ~x3706 ~x1521 
1266.63/1270.27	v ~x2495 ~x2063 ~x1276 ~x3281 ~x52 ~x6028 ~x1237 ~x2732 ~x4057 ~x2568 
1266.63/1270.27	v ~x2844 ~x2412 ~x1625 ~x5389 x1099 ~x6038 ~x1240 ~x3081 ~x5812 ~x2917 
1266.63/1270.27	v ~x3542 ~x4513 ~x1974 ~x5740 ~x1448 ~x6039 ~x1254 ~x3783 ~x6163 ~x3266 
1266.63/1270.27	v ~x3893 ~x4864 x2323 ~x6091 ~x3193 ~x6046 ~x1257 ~x8346 ~x6514 ~x3619 
1266.63/1270.27	v ~x5297 ~x5215 ~x3370 ~x6442 x4244 ~x6048 ~x1259 ~x2733 ~x213 ~x3970 
1266.63/1270.27	v ~x5648 ~x5566 ~x4424 ~x6793 ~x4595 ~x6056 ~x1265 ~x8347 ~x1260 ~x4321 
1266.63/1270.27	v ~x5999 ~x5917 ~x4775 ~x7144 ~x4946 ~x6059 ~x1269 ~x4487 ~x1609 ~x4672 
1266.63/1270.27	v ~x6350 x6268 ~x5126 x7495 ~x6701 ~x6065 ~x1281 ~x4838 ~x3005 ~x5023 
1266.63/1270.27	v ~x8105 ~x6619 ~x5477 ~x7846 ~x7052 ~x6066 ~x1283 ~x5189 ~x3354 ~x6778 
1266.63/1270.27	v ~x2496 ~x319 ~x5828 ~x1188 ~x7403 ~x6071 ~x1284 ~x5540 ~x3707 ~x7129 
1266.63/1270.27	v ~x2845 x1715 ~x6179 ~x2933 ~x7754 ~x6073 ~x1287 ~x5891 ~x4409 ~x7480 
1266.63/1270.27	v ~x3543 x4163 ~x6530 x3282 ~x402 ~x6075 ~x1292 ~x6242 ~x4760 ~x7831 
1266.63/1270.27	v ~x8106 ~x4514 ~x6881 x3635 x751 ~x6079 ~x1303 ~x6593 ~x5111 ~x8182 
1266.63/1270.27	v ~x1101 ~x4865 ~x7232 ~x6794 ~x1100 ~x6081 ~x1307 ~x6944 ~x6866 ~x1871 
1266.63/1270.27	v ~x2846 ~x5216 x7583 ~x7145 ~x1798 ~x6083 ~x1309 ~x7295 ~x7217 ~x2569 
1266.63/1270.27	v ~x3195 ~x669 ~x7934 ~x7496 ~x2147 ~x6092 ~x1311 ~x7646 ~x7568 ~x5375 
1266.63/1270.27	v ~x3544 ~x1018 ~x230 ~x7847 ~x3194 ~x6093 ~x1319 ~x7997 ~x7919 ~x8183 
1266.63/1270.27	v ~x3895 ~x2065 x1626 x142 ~x5298 ~x6095 ~x1327 ~x640 ~x563 ~x476 
1266.63/1270.27	v ~x6703 x2414 ~x3022 ~x1538 ~x5649 ~x6109 ~x1335 ~x989 ~x912 ~x825 
1266.63/1270.27	v ~x7054 x4164 x3723 ~x1887 ~x6000 x6112 ~x1336 ~x2036 ~x1261 ~x1174 
1266.63/1270.27	v ~x7405 ~x5568 ~x4425 ~x2236 ~x6351 ~x6125 ~x1337 ~x2385 ~x1959 ~x1872 
1266.63/1270.27	v ~x7756 ~x5919 ~x4776 ~x2934 ~x6702

Verifier Data 

OK	939

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: 63837 MiB (63256 MiB free)
  memory of node 1: 64465 MiB (63333 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484213-1751277746/watcher-4484213-1751277746 -o /tmp/evaluation-result-4484213-1751277746/solver-4484213-1751277746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751270519-36741 --watchdog 3760 pb_picat HOME/instance-4484213-1751277746.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=37594, runsolver pid=37591

[startup+0.100071 s]*
/proc/loadavg: 4.09 4.09 4.09 5/251 37595
/proc/meminfo: memFree=129611168/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2027148 memory=28644 CPUtime=0.1 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 1136 0 0 0 9 1 0 0 20 0 1 0 43454011 2075799552 7161 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 506787 7161 1600 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 28644 KiB

[startup+0.213857 s]*
/proc/loadavg: 4.09 4.09 4.09 5/251 37595
/proc/meminfo: memFree=129610920/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2027148 memory=36836 CPUtime=0.21 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 1141 0 0 0 20 1 0 0 20 0 1 0 43454011 2075799552 9209 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 506787 9209 1600 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36836 KiB

[startup+0.313524 s]*
/proc/loadavg: 4.09 4.09 4.09 5/251 37595
/proc/meminfo: memFree=129610920/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2027148 memory=40932 CPUtime=0.3 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 1143 0 0 0 29 1 0 0 20 0 1 0 43454011 2075799552 10233 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 506787 10233 1600 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 40932 KiB

[startup+0.700337 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 37595
/proc/meminfo: memFree=129598632/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2034964 memory=70392 CPUtime=0.68 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 1294 0 0 0 66 2 0 0 20 0 1 0 43454011 2083803136 17598 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 508741 17598 1664 343 0 505805 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 70392 KiB

[startup+1.50035 s]
/proc/loadavg: 4.09 4.09 4.09 4/247 37603
/proc/meminfo: memFree=129546476/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2098244 memory=127568 CPUtime=1.47 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 11333 0 0 0 141 6 0 0 20 0 1 0 43454011 2148601856 31892 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 524561 31892 1760 343 0 521625 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2098244 KiB
Current children cumulated memory: 127568 KiB

[startup+3.11289 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 37640
/proc/meminfo: memFree=129484600/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2118540 memory=145988 CPUtime=3.08 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 14577 0 0 0 300 8 0 0 20 0 1 0 43454011 2169384960 36497 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 529635 36497 1760 343 0 526699 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2118540 KiB
Current children cumulated memory: 145988 KiB

[startup+6.30034 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 37640
/proc/meminfo: memFree=129484636/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2118044 memory=144112 CPUtime=6.26 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 20576 0 0 0 616 10 0 0 20 0 1 0 43454011 2168877056 36028 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 529511 36028 1760 343 0 526575 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2118044 KiB
Current children cumulated memory: 144112 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 37640
/proc/meminfo: memFree=129486180/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2118044 memory=142880 CPUtime=12.65 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 26689 0 0 0 1252 13 0 0 20 0 1 0 43454011 2168877056 35720 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 529511 35720 1760 343 0 526575 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2118044 KiB
Current children cumulated memory: 142880 KiB

[startup+25.5004 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 37640
/proc/meminfo: memFree=129473000/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2118044 memory=142880 CPUtime=25.41 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 31527 0 0 0 2526 15 0 0 20 0 1 0 43454011 2168877056 35720 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 529511 35720 1760 343 0 526575 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2118044 KiB
Current children cumulated memory: 142880 KiB

[startup+51.1129 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 37641
/proc/meminfo: memFree=129442804/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2121056 memory=145840 CPUtime=50.95 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 55268 0 0 0 5070 25 0 0 20 0 1 0 43454011 2171961344 36460 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 530264 36460 1760 343 0 527328 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2121056 KiB
Current children cumulated memory: 145840 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 37642
/proc/meminfo: memFree=129428096/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2121392 memory=147808 CPUtime=101.98 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 89474 0 0 0 10158 40 0 0 20 0 1 0 43454011 2172305408 36952 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 530348 36952 1760 343 0 527412 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2121392 KiB
Current children cumulated memory: 147808 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 37644
/proc/meminfo: memFree=129428136/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2105016 memory=138620 CPUtime=161.82 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 118940 0 0 0 16129 53 0 0 20 0 1 0 43454011 2155536384 34655 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 526254 34655 1760 343 0 523318 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2105016 KiB
Current children cumulated memory: 138620 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 37646
/proc/meminfo: memFree=129388452/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2149068 memory=175480 CPUtime=221.64 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 161653 0 0 0 22091 73 0 0 20 0 1 0 43454011 2200645632 43870 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 537267 43870 1760 343 0 534331 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2149068 KiB
Current children cumulated memory: 175480 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 37648
/proc/meminfo: memFree=129420392/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2122424 memory=147196 CPUtime=281.48 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 205588 0 0 0 28055 93 0 0 20 0 1 0 43454011 2173362176 36799 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 530606 36799 1760 343 0 527670 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2122424 KiB
Current children cumulated memory: 147196 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/249 37657
/proc/meminfo: memFree=129389640/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2152140 memory=178552 CPUtime=341.31 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 229934 0 0 0 34024 107 0 0 20 0 1 0 43454011 2203791360 44638 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 538035 44638 1760 343 0 535099 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 2152140 KiB
Current children cumulated memory: 178552 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/250 37660
/proc/meminfo: memFree=129414680/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2122680 memory=147044 CPUtime=401.15 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 263160 0 0 0 39993 122 0 0 20 0 1 0 43454011 2173624320 36761 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 530670 36761 1760 343 0 527734 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 2122680 KiB
Current children cumulated memory: 147044 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/250 37662
/proc/meminfo: memFree=129413916/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2122688 memory=147052 CPUtime=460.97 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 294724 0 0 0 45959 138 0 0 20 0 1 0 43454011 2173632512 36763 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 530672 36763 1760 343 0 527736 0
Current children cumulated CPU time: 460.97 s

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

/proc/loadavg: 4.42 4.26 4.16 5/248 37674
/proc/meminfo: memFree=129373288/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2154856 memory=179656 CPUtime=819.96 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 461439 0 0 0 81779 217 0 0 20 0 1 0 43454011 2206572544 44914 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 538714 44914 1760 343 0 535778 0
Current children cumulated CPU time: 819.96 s
Current children cumulated vsize: 2154856 KiB
Current children cumulated memory: 179656 KiB

[startup+882.3 s]
/proc/loadavg: 4.26 4.24 4.16 5/248 37676
/proc/meminfo: memFree=129372208/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2154856 memory=183800 CPUtime=879.8 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 490678 0 0 0 87751 229 0 0 20 0 1 0 43454011 2206572544 45950 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 538714 45950 1760 343 0 535778 0
Current children cumulated CPU time: 879.8 s
Current children cumulated vsize: 2154856 KiB
Current children cumulated memory: 183800 KiB

[startup+942.3 s]
/proc/loadavg: 3.61 4.07 4.10 4/242 37708
/proc/meminfo: memFree=129442408/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2122088 memory=162836 CPUtime=939.64 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 512379 0 0 0 93724 240 0 0 20 0 1 0 43454011 2173018112 40709 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 530522 40709 1760 343 0 527586 0
Current children cumulated CPU time: 939.64 s
Current children cumulated vsize: 2122088 KiB
Current children cumulated memory: 162836 KiB

[startup+1002.3 s]
/proc/loadavg: 3.34 3.90 4.04 4/243 37717
/proc/meminfo: memFree=129419232/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2154856 memory=181268 CPUtime=999.47 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 545004 0 0 0 99695 252 0 0 20 0 1 0 43454011 2206572544 45317 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 538714 45317 1760 343 0 535778 0
Current children cumulated CPU time: 999.47 s
Current children cumulated vsize: 2154856 KiB
Current children cumulated memory: 181268 KiB

[startup+1062.3 s]
/proc/loadavg: 3.19 3.75 3.98 4/243 37719
/proc/meminfo: memFree=129412892/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2122088 memory=160788 CPUtime=1059.3 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 559544 0 0 0 105671 259 0 0 20 0 1 0 43454011 2173018112 40197 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 530522 40197 1760 343 0 527586 0
Current children cumulated CPU time: 1059.3 s
Current children cumulated vsize: 2122088 KiB
Current children cumulated memory: 160788 KiB

[startup+1122.3 s]
/proc/loadavg: 3.12 3.63 3.92 4/244 37722
/proc/meminfo: memFree=129405656/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2122088 memory=162836 CPUtime=1119.13 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 595095 0 0 0 111639 274 0 0 20 0 1 0 43454011 2173018112 40709 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 530522 40709 1760 343 0 527586 0
Current children cumulated CPU time: 1119.13 s
Current children cumulated vsize: 2122088 KiB
Current children cumulated memory: 162836 KiB

[startup+1182.3 s]
/proc/loadavg: 3.56 3.67 3.91 3/238 37755
/proc/meminfo: memFree=129432412/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2154856 memory=175124 CPUtime=1178.96 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 628726 0 0 0 117606 290 0 0 20 0 1 0 43454011 2206572544 43781 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 538714 43781 1760 343 0 535778 0
Current children cumulated CPU time: 1178.96 s
Current children cumulated vsize: 2154856 KiB
Current children cumulated memory: 175124 KiB

[startup+1242.3 s]
/proc/loadavg: 2.73 3.42 3.81 3/238 37757
/proc/meminfo: memFree=129425724/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2122088 memory=158100 CPUtime=1238.8 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 647386 0 0 0 123582 298 0 0 20 0 1 0 43454011 2173018112 39525 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 530522 39525 1760 343 0 527586 0
Current children cumulated CPU time: 1238.8 s
Current children cumulated vsize: 2122088 KiB
Current children cumulated memory: 158100 KiB

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

# cumulated CPU time of all completed processes:  user=1263.7 s, system=3.01554 s

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

[startup+1254.4 s]
/proc/loadavg: 2.57 3.35 3.78 3/239 37758
/proc/meminfo: memFree=129425976/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2113896 memory=157460 CPUtime=1250.87 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 651901 0 0 0 124788 299 0 0 20 0 1 0 43454011 2164629504 39365 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 528474 39365 1760 343 0 525538 0
Current children cumulated CPU time: 1250.87 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 157460 KiB

[startup+1260.8 s]
/proc/loadavg: 2.60 3.34 3.78 3/239 37758
/proc/meminfo: memFree=129421880/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2109800 memory=157048 CPUtime=1257.25 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 654739 0 0 0 125425 300 0 0 20 0 1 0 43454011 2160435200 39262 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 527450 39262 1760 343 0 524514 0
Current children cumulated CPU time: 1257.25 s
Current children cumulated vsize: 2109800 KiB
Current children cumulated memory: 157048 KiB

[startup+1267.2 s]
/proc/loadavg: 2.55 3.32 3.77 3/239 37758
/proc/meminfo: memFree=129422132/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2113896 memory=159508 CPUtime=1263.63 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 656333 0 0 0 126063 300 0 0 20 0 1 0 43454011 2164629504 39877 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 528474 39877 1760 343 0 525538 0
Current children cumulated CPU time: 1263.63 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 159508 KiB

[startup+1268.8 s]
/proc/loadavg: 2.51 3.30 3.76 3/239 37758
/proc/meminfo: memFree=129422132/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2113896 memory=159508 CPUtime=1265.24 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 657823 0 0 0 126223 301 0 0 20 0 1 0 43454011 2164629504 39877 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 528474 39877 1760 343 0 525538 0
Current children cumulated CPU time: 1265.24 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 159508 KiB

[startup+1269.6 s]
/proc/loadavg: 2.51 3.30 3.76 3/239 37758
/proc/meminfo: memFree=129422132/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2113896 memory=160020 CPUtime=1266.03 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 657982 0 0 0 126302 301 0 0 20 0 1 0 43454011 2164629504 40005 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 528474 40005 1760 343 0 525538 0
Current children cumulated CPU time: 1266.03 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 160020 KiB

[startup+1270 s]*
/proc/loadavg: 2.51 3.30 3.76 3/239 37758
/proc/meminfo: memFree=129422132/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2113896 memory=160276 CPUtime=1266.45 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 658039 0 0 0 126344 301 0 0 20 0 1 0 43454011 2164629504 40069 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 528474 40069 1760 343 0 525538 0
Current children cumulated CPU time: 1266.45 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 160276 KiB

[startup+1270.2 s]
/proc/loadavg: 2.51 3.30 3.76 3/239 37758
/proc/meminfo: memFree=129422132/131382116 swapFree=33010684/33010684
[pid=37594] ppid=37591 vsize=2113896 memory=160404 CPUtime=1266.63 cores=0,2
/proc/37594/stat : 37594 (pb_picat) R 37591 37594 36134 0 -1 4194304 658058 0 0 0 126362 301 0 0 20 0 1 0 43454011 2164629504 40101 18446744073709551615 94519934013440 94519935415021 140724830801776 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94519935686448 94519937560752 94519966748672 140724830804382 140724830804458 140724830804458 140724830810060 0
/proc/37594/statm: 528474 40101 1760 343 0 525538 0
Current children cumulated CPU time: 1266.63 s
Current children cumulated vsize: 2113896 KiB
Current children cumulated memory: 160404 KiB

Child status: 0

Real time (s): 1270.28
CPU time (s): 1266.72
CPU user time (s): 1263.7
CPU system time (s): 3.01554
CPU usage (%): 99.7197
Max. virtual memory (cumulated for all children) (KiB): 2154856
Max. memory (cumulated for all children) (KiB): 191508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1263.7
system time used= 3.01554
maximum resident set size= 191508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 658063
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= 77
involuntary context switches= 2880


# summary of solver processes directly reported to runsolver:
#   pid: 37594
#   total CPU time (s): 1266.72
#   total CPU user time (s): 1263.7
#   total CPU system time (s): 3.01554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.213 second user time and 12.3108 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-30 12:02:26
IDJOB=4484213
IDBENCH=146652
IDSOLVER=3346
FILE ID=nodeC010/4484213-1751277746
RUNJOBID= nodeC010-1751270519-36741
SLURM_JOB_ID= 9594177
Free space on /tmp= 432680 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484213-1751277746/watcher-4484213-1751277746 -o /tmp/evaluation-result-4484213-1751277746/solver-4484213-1751277746 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751270519-36741 --watchdog 3760  pb_picat HOME/instance-4484213-1751277746.opb

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1856423447

nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 1197.564
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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		: 3662.284
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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.160
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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.933
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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		: 1296.913
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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		: 1596.194
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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.244
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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		: 3700.000
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129627744 kB
MemAvailable:   129906156 kB
Buffers:            3280 kB
Cached:          1086896 kB
SwapCached:            0 kB
Active:           443216 kB
Inactive:         794380 kB
Active(anon):     165388 kB
Inactive(anon):        0 kB
Active(file):     277828 kB
Inactive(file):   794380 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11852 kB
Writeback:             0 kB
AnonPages:        149208 kB
Mapped:           114332 kB
Shmem:             17960 kB
KReclaimable:      91660 kB
Slab:             173580 kB
SReclaimable:      91660 kB
SUnreclaim:        81920 kB
KernelStack:        4080 kB
PageTables:         3384 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6519848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432684 MiB
End job on nodeC010 at 2025-06-30 12:23:37