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

OK	34

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436300-1721094566/watcher-4436300-1721094566 -o /tmp/evaluation-result-4436300-1721094566/solver-4436300-1721094566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721087315-823652 --watchdog 3760 pb_picat HOME/instance-4436300-1721094566.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.1001 s]*
/proc/loadavg: 4.13 4.12 4.13 5/242 827995
/proc/meminfo: memFree=126098256/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2033608 memory=24864 CPUtime=0.1 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 1220 0 0 0 10 0 0 0 20 0 1 0 161615890 2082414592 6216 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 508402 6216 1613 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 24864 KiB

[startup+0.212274 s]*
/proc/loadavg: 4.13 4.12 4.13 5/242 827995
/proc/meminfo: memFree=126067312/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2033608 memory=41248 CPUtime=0.21 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 1229 0 0 0 21 0 0 0 20 0 1 0 161615890 2082414592 10312 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 508402 10312 1613 439 0 503831 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 41248 KiB

[startup+0.312064 s]*
/proc/loadavg: 4.13 4.12 4.13 5/242 827995
/proc/meminfo: memFree=126034348/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2033608 memory=55584 CPUtime=0.31 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 1236 0 0 0 30 1 0 0 20 0 1 0 161615890 2082414592 13896 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 508402 13896 1613 439 0 503831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 55584 KiB

[startup+0.700334 s]
/proc/loadavg: 4.13 4.12 4.13 5/242 827995
/proc/meminfo: memFree=125982840/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2033608 memory=106924 CPUtime=0.69 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 1264 0 0 0 67 2 0 0 20 0 1 0 161615890 2082414592 26731 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 508402 26731 1613 439 0 503831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 106924 KiB

[startup+1.50033 s]
/proc/loadavg: 4.13 4.12 4.13 5/242 827995
/proc/meminfo: memFree=125888440/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2033608 memory=219588 CPUtime=1.49 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 1325 0 0 0 145 4 0 0 20 0 1 0 161615890 2082414592 54897 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 508402 54897 1613 439 0 503831 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 219588 KiB

[startup+3.11204 s]
/proc/loadavg: 4.13 4.12 4.13 5/242 827996
/proc/meminfo: memFree=125327088/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2046648 memory=378556 CPUtime=3.09 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 3875 0 0 0 302 7 0 0 20 0 1 0 161615890 2095767552 94639 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 511662 94639 1785 439 0 507091 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2046648 KiB
Current children cumulated memory: 378556 KiB

[startup+6.30025 s]
/proc/loadavg: 4.12 4.12 4.13 5/242 827996
/proc/meminfo: memFree=125183132/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2047408 memory=379908 CPUtime=6.28 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 5419 0 0 0 620 8 0 0 20 0 1 0 161615890 2096545792 94977 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 511852 94977 1785 439 0 507281 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2047408 KiB
Current children cumulated memory: 379908 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.11 4.13 5/238 828024
/proc/meminfo: memFree=128119608/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2052920 memory=384132 CPUtime=12.66 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 6820 0 0 0 1258 8 0 0 20 0 1 0 161615890 2102190080 96033 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 513230 96033 1785 439 0 508659 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2052920 KiB
Current children cumulated memory: 384132 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.11 4.13 5/242 828091
/proc/meminfo: memFree=128169376/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2059068 memory=391168 CPUtime=25.42 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 15471 0 0 0 2532 10 0 0 20 0 1 0 161615890 2108485632 97792 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 514767 97792 1785 439 0 510196 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2059068 KiB
Current children cumulated memory: 391168 KiB

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

# cumulated CPU time of all completed processes:  user=36.2038 s, system=0.157621 s

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

[startup+25.6003 s]
/proc/loadavg: 4.09 4.11 4.13 5/242 828091
/proc/meminfo: memFree=128169376/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2059068 memory=391656 CPUtime=25.52 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 15573 0 0 0 2542 10 0 0 20 0 1 0 161615890 2108485632 97914 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 514767 97914 1785 439 0 510196 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 2059068 KiB
Current children cumulated memory: 391656 KiB

[startup+32.0002 s]*
/proc/loadavg: 4.09 4.11 4.13 5/242 828091
/proc/meminfo: memFree=128145328/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2059068 memory=390668 CPUtime=31.92 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 25073 0 0 0 3180 12 0 0 20 0 1 0 161615890 2108485632 97667 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 514767 97667 1785 439 0 510196 0
Current children cumulated CPU time: 31.92 s
Current children cumulated vsize: 2059068 KiB
Current children cumulated memory: 390668 KiB

[startup+33.6002 s]
/proc/loadavg: 4.09 4.11 4.13 5/242 828093
/proc/meminfo: memFree=128158392/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2063164 memory=391880 CPUtime=33.51 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 26963 0 0 0 3338 13 0 0 20 0 1 0 161615890 2112679936 97970 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 515791 97970 1785 439 0 511220 0
Current children cumulated CPU time: 33.51 s
Current children cumulated vsize: 2063164 KiB
Current children cumulated memory: 391880 KiB

[startup+35.2002 s]
/proc/loadavg: 4.08 4.10 4.13 5/242 828093
/proc/meminfo: memFree=128159092/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2059068 memory=390872 CPUtime=35.1 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 28915 0 0 0 3497 13 0 0 20 0 1 0 161615890 2108485632 97718 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 514767 97718 1785 439 0 510196 0
Current children cumulated CPU time: 35.1 s
Current children cumulated vsize: 2059068 KiB
Current children cumulated memory: 390872 KiB

[startup+36.0002 s]*
/proc/loadavg: 4.08 4.10 4.13 5/242 828093
/proc/meminfo: memFree=128153908/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2059068 memory=391436 CPUtime=35.91 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 29829 0 0 0 3577 14 0 0 20 0 1 0 161615890 2108485632 97859 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 514767 97859 1785 439 0 510196 0
Current children cumulated CPU time: 35.91 s
Current children cumulated vsize: 2059068 KiB
Current children cumulated memory: 391436 KiB

[startup+36.4002 s]
/proc/loadavg: 4.08 4.10 4.13 5/242 828093
/proc/meminfo: memFree=128153908/131655788 swapFree=131071996/131071996
[pid=827994] ppid=827991 vsize=2063164 memory=394480 CPUtime=36.3 cores=1,3
/proc/827994/stat : 827994 (pb_picat) R 827991 827994 823640 0 -1 4194304 30119 0 0 0 3616 14 0 0 20 0 1 0 161615890 2112679936 98620 134679101440 4194304 5989780 140732363871840 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 44974080 140732363879449 140732363879525 140732363879525 140732363886540 0
/proc/827994/statm: 515791 98620 1785 439 0 511220 0
Current children cumulated CPU time: 36.3 s
Current children cumulated vsize: 2063164 KiB
Current children cumulated memory: 394480 KiB

Child status: 0

Real time (s): 36.451
CPU time (s): 36.3615
CPU user time (s): 36.2038
CPU system time (s): 0.157621
CPU usage (%): 99.7544
Max. virtual memory (cumulated for all children) (KiB): 2063164
Max. memory (cumulated for all children) (KiB): 394480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.2038
system time used= 0.157621
maximum resident set size= 394668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30252
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= 4
involuntary context switches= 47


# summary of solver processes directly reported to runsolver:
#   pid: 827994
#   total CPU time (s): 36.3615
#   total CPU user time (s): 36.2038
#   total CPU system time (s): 0.157621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.193325 second user time and 0.397797 second system time

The end

Begin job on nodeC010 at 2024-07-16 03:49:38
IDJOB=4436300
IDBENCH=147573
IDSOLVER=3068
FILE ID=nodeC010/4436300-1721094566
RUNJOBID= nodeC010-1721087315-823652
SLURM_JOB_ID= 7505582
Free space on /tmp= 723632 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.00.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436300-1721094566/watcher-4436300-1721094566 -o /tmp/evaluation-result-4436300-1721094566/solver-4436300-1721094566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721087315-823652 --watchdog 3760  pb_picat HOME/instance-4436300-1721094566.opb

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

MD5SUM BENCH= 9be73b05d343999548eaad0214200c86
RANDOM SEED=252477476

nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126150180 kB
MemAvailable:   126559616 kB
Buffers:          391300 kB
Cached:           860800 kB
SwapCached:            0 kB
Active:           816448 kB
Inactive:        4160708 kB
Active(anon):       1448 kB
Inactive(anon):  3761352 kB
Active(file):     815000 kB
Inactive(file):   399356 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            137584 kB
Writeback:             0 kB
AnonPages:       3722776 kB
Mapped:           113968 kB
Shmem:             37704 kB
KReclaimable:      70224 kB
Slab:             163240 kB
SReclaimable:      70224 kB
SUnreclaim:        93016 kB
KernelStack:        3904 kB
PageTables:        16656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    6858440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51744 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3538944 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:    18591744 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 723740 MiB
End job on nodeC010 at 2024-07-16 03:50:14