Trace number 4528553

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb_picat 2025-07-11OPT5950590 3437 3447.61

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_2_mh.opb
MD5SUM1542385ac037132e9cf985b37fe6e57c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5950590
Best CPU time to get the best result obtained on this benchmark10.1892
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 74088000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3666159515
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 74088000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3666159515
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	5950590

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61941 MiB free)
  memory of node 1: 64465 MiB (61146 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528553-1752242351/watcher-4528553-1752242351 -o /tmp/evaluation-result-4528553-1752242351/solver-4528553-1752242351 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752242351-141647 --watchdog 3760 pb_picat HOME/instance-4528553-1752242351.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100059 s]*
/proc/loadavg: 3.69 3.94 3.98 5/273 141704
/proc/meminfo: memFree=125930304/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2027148 memory=36684 CPUtime=0.09 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 1101 0 0 0 9 0 0 0 20 0 1 0 139913556 2075799552 9171 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 506787 9171 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36684 KiB

[startup+0.205345 s]*
/proc/loadavg: 3.69 3.94 3.98 5/273 141704
/proc/meminfo: memFree=125856576/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2034964 memory=60024 CPUtime=0.19 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 1256 0 0 0 18 1 0 0 20 0 1 0 139913556 2083803136 15006 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 508741 15006 1664 343 0 505805 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 60024 KiB

[startup+0.305588 s]*
/proc/loadavg: 3.69 3.94 3.98 5/273 141704
/proc/meminfo: memFree=125799776/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2038164 memory=71076 CPUtime=0.29 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 2064 0 0 0 27 2 0 0 20 0 1 0 139913556 2087079936 17769 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 509541 17769 1728 343 0 506605 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2038164 KiB
Current children cumulated memory: 71076 KiB

[startup+0.700137 s]
/proc/loadavg: 3.69 3.94 3.98 5/273 141704
/proc/meminfo: memFree=125707964/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2057176 memory=86640 CPUtime=0.68 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 5992 0 0 0 60 8 0 0 20 0 1 0 139913556 2106548224 21660 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 514294 21660 1728 343 0 511358 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2057176 KiB
Current children cumulated memory: 86640 KiB

[startup+1.50013 s]
/proc/loadavg: 3.69 3.94 3.98 5/273 141704
/proc/meminfo: memFree=125509032/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2064376 memory=94388 CPUtime=1.48 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 9309 0 0 0 133 15 0 0 20 0 1 0 139913556 2113921024 23597 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 516094 23597 1760 343 0 513158 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2064376 KiB
Current children cumulated memory: 94388 KiB

[startup+3.10562 s]
/proc/loadavg: 3.69 3.94 3.98 5/273 141704
/proc/meminfo: memFree=125241016/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088956 memory=114520 CPUtime=3.08 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 10915 0 0 0 290 18 0 0 20 0 1 0 139913556 2139090944 28630 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522239 28630 1760 343 0 519303 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2088956 KiB
Current children cumulated memory: 114520 KiB

[startup+6.30016 s]
/proc/loadavg: 3.72 3.94 3.98 5/273 141704
/proc/meminfo: memFree=125126416/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088956 memory=115032 CPUtime=6.26 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 11073 0 0 0 608 18 0 0 20 0 1 0 139913556 2139090944 28758 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522239 28758 1760 343 0 519303 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2088956 KiB
Current children cumulated memory: 115032 KiB

[startup+12.7002 s]
/proc/loadavg: 3.74 3.94 3.98 5/273 141704
/proc/meminfo: memFree=125117040/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088956 memory=115928 CPUtime=12.65 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 11299 0 0 0 1246 19 0 0 20 0 1 0 139913556 2139090944 28982 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522239 28982 1760 343 0 519303 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2088956 KiB
Current children cumulated memory: 115928 KiB

[startup+25.5002 s]
/proc/loadavg: 3.93 3.98 3.99 5/273 141704
/proc/meminfo: memFree=125093512/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088956 memory=118740 CPUtime=25.41 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 11485 0 0 0 2522 19 0 0 20 0 1 0 139913556 2139090944 29685 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522239 29685 1760 343 0 519303 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2088956 KiB
Current children cumulated memory: 118740 KiB

[startup+51.1055 s]
/proc/loadavg: 4.01 4.00 4.00 5/273 141704
/proc/meminfo: memFree=125094832/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2092156 memory=118488 CPUtime=50.95 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 15388 0 0 0 5067 28 0 0 20 0 1 0 139913556 2142367744 29622 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 523039 29622 1760 343 0 520103 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2092156 KiB
Current children cumulated memory: 118488 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.02 4.00 5/271 141706
/proc/meminfo: memFree=125121744/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2084732 memory=110296 CPUtime=101.98 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 29892 0 0 0 10140 58 0 0 20 0 1 0 139913556 2134765568 27574 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 521183 27574 1760 343 0 518247 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2084732 KiB
Current children cumulated memory: 110296 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.03 4.00 5/270 141719
/proc/meminfo: memFree=125118240/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2087388 memory=116692 CPUtime=161.8 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 37263 0 0 0 16106 74 0 0 20 0 1 0 139913556 2137485312 29173 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 521847 29173 1760 343 0 518911 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2087388 KiB
Current children cumulated memory: 116692 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.04 4.00 5/266 141721
/proc/meminfo: memFree=125073924/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2078172 memory=104404 CPUtime=221.62 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 39581 0 0 0 22080 82 0 0 20 0 1 0 139913556 2128048128 26101 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 519543 26101 1760 343 0 516607 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 2078172 KiB
Current children cumulated memory: 104404 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.06 4.01 5/264 141723
/proc/meminfo: memFree=125058112/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2090260 memory=120788 CPUtime=281.43 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 43027 0 0 0 28054 89 0 0 20 0 1 0 139913556 2140426240 30197 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522565 30197 1760 343 0 519629 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 2090260 KiB
Current children cumulated memory: 120788 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.06 4.01 5/263 141725
/proc/meminfo: memFree=125023492/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2090260 memory=120788 CPUtime=341.25 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 43027 0 0 0 34036 89 0 0 20 0 1 0 139913556 2140426240 30197 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522565 30197 1760 343 0 519629 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 2090260 KiB
Current children cumulated memory: 120788 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.09 4.02 5/264 141734
/proc/meminfo: memFree=125024208/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=114092 CPUtime=401.06 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 45460 0 0 0 40009 97 0 0 20 0 1 0 139913556 2138329088 28523 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 28523 1760 343 0 519117 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 2088212 KiB
Current children cumulated memory: 114092 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.09 4.02 5/264 141736
/proc/meminfo: memFree=125059380/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=116692 CPUtime=460.88 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 45599 0 0 0 45991 97 0 0 20 0 1 0 139913556 2138329088 29173 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 29173 1760 343 0 519117 0
Current children cumulated CPU time: 460.88 s

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

/proc/loadavg: 4.13 4.11 4.09 5/263 141864
/proc/meminfo: memFree=125022264/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2090260 memory=122836 CPUtime=3092.72 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 86666 0 0 0 309052 220 0 0 20 0 1 0 139913556 2140426240 30709 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522565 30709 1760 343 0 519629 0
Current children cumulated CPU time: 3092.72 s
Current children cumulated vsize: 2090260 KiB
Current children cumulated memory: 122836 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 141867
/proc/meminfo: memFree=124980076/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2090260 memory=122836 CPUtime=3152.53 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 86666 0 0 0 315033 220 0 0 20 0 1 0 139913556 2140426240 30709 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522565 30709 1760 343 0 519629 0
Current children cumulated CPU time: 3152.53 s
Current children cumulated vsize: 2090260 KiB
Current children cumulated memory: 122836 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 141869
/proc/meminfo: memFree=124991704/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2090260 memory=122836 CPUtime=3212.35 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 86674 0 0 0 321015 220 0 0 20 0 1 0 139913556 2140426240 30709 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522565 30709 1760 343 0 519629 0
Current children cumulated CPU time: 3212.35 s
Current children cumulated vsize: 2090260 KiB
Current children cumulated memory: 122836 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 141871
/proc/meminfo: memFree=125045644/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=118740 CPUtime=3272.17 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 89647 0 0 0 326989 228 0 0 20 0 1 0 139913556 2138329088 29685 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 29685 1760 343 0 519117 0
Current children cumulated CPU time: 3272.17 s
Current children cumulated vsize: 2088212 KiB
Current children cumulated memory: 118740 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 141873
/proc/meminfo: memFree=125050460/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=118740 CPUtime=3331.99 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 89647 0 0 0 332971 228 0 0 20 0 1 0 139913556 2138329088 29685 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 29685 1760 343 0 519117 0
Current children cumulated CPU time: 3331.99 s
Current children cumulated vsize: 2088212 KiB
Current children cumulated memory: 118740 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 141882
/proc/meminfo: memFree=125086964/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=118740 CPUtime=3391.81 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 89647 0 0 0 338953 228 0 0 20 0 1 0 139913556 2138329088 29685 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 29685 1760 343 0 519117 0
Current children cumulated CPU time: 3391.81 s
Current children cumulated vsize: 2088212 KiB
Current children cumulated memory: 118740 KiB

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

# cumulated CPU time of all completed processes:  user=3434.71 s, system=2.29225 s

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

[startup+3404.8 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 141882
/proc/meminfo: memFree=125070588/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=118740 CPUtime=3394.3 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 89647 0 0 0 339202 228 0 0 20 0 1 0 139913556 2138329088 29685 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 29685 1760 343 0 519117 0
Current children cumulated CPU time: 3394.3 s
Current children cumulated vsize: 2088212 KiB
Current children cumulated memory: 118740 KiB

[startup+3430.4 s]
/proc/loadavg: 4.44 4.17 4.12 5/264 141883
/proc/meminfo: memFree=125052380/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=118740 CPUtime=3419.83 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 89647 0 0 0 341755 228 0 0 20 0 1 0 139913556 2138329088 29685 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 29685 1760 343 0 519117 0
Current children cumulated CPU time: 3419.83 s
Current children cumulated vsize: 2088212 KiB
Current children cumulated memory: 118740 KiB

[startup+3436.8 s]
/proc/loadavg: 4.48 4.19 4.12 5/264 141883
/proc/meminfo: memFree=125077316/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=118740 CPUtime=3426.21 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 89647 0 0 0 342393 228 0 0 20 0 1 0 139913556 2138329088 29685 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 29685 1760 343 0 519117 0
Current children cumulated CPU time: 3426.21 s
Current children cumulated vsize: 2088212 KiB
Current children cumulated memory: 118740 KiB

[startup+3443.2 s]
/proc/loadavg: 4.44 4.18 4.12 5/264 141884
/proc/meminfo: memFree=125030436/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=118740 CPUtime=3432.59 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 89647 0 0 0 343031 228 0 0 20 0 1 0 139913556 2138329088 29685 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 29685 1760 343 0 519117 0
Current children cumulated CPU time: 3432.59 s
Current children cumulated vsize: 2088212 KiB
Current children cumulated memory: 118740 KiB

[startup+3444.8 s]
/proc/loadavg: 4.44 4.18 4.12 5/264 141884
/proc/meminfo: memFree=125022244/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=118740 CPUtime=3434.18 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 89647 0 0 0 343190 228 0 0 20 0 1 0 139913556 2138329088 29685 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 29685 1760 343 0 519117 0
Current children cumulated CPU time: 3434.18 s
Current children cumulated vsize: 2088212 KiB
Current children cumulated memory: 118740 KiB

[startup+3446.4 s]
/proc/loadavg: 4.41 4.18 4.12 5/264 141884
/proc/meminfo: memFree=125094236/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=118740 CPUtime=3435.78 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 89647 0 0 0 343350 228 0 0 20 0 1 0 139913556 2138329088 29685 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 29685 1760 343 0 519117 0
Current children cumulated CPU time: 3435.78 s
Current children cumulated vsize: 2088212 KiB
Current children cumulated memory: 118740 KiB

[startup+3447.2 s]
/proc/loadavg: 4.41 4.18 4.12 5/264 141884
/proc/meminfo: memFree=125090140/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=118740 CPUtime=3436.58 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 89647 0 0 0 343430 228 0 0 20 0 1 0 139913556 2138329088 29685 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 29685 1760 343 0 519117 0
Current children cumulated CPU time: 3436.58 s
Current children cumulated vsize: 2088212 KiB
Current children cumulated memory: 118740 KiB

[startup+3447.4 s]
/proc/loadavg: 4.41 4.18 4.12 5/264 141884
/proc/meminfo: memFree=125090140/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=118740 CPUtime=3436.78 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 89647 0 0 0 343450 228 0 0 20 0 1 0 139913556 2138329088 29685 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 29685 1760 343 0 519117 0
Current children cumulated CPU time: 3436.78 s
Current children cumulated vsize: 2088212 KiB
Current children cumulated memory: 118740 KiB

[startup+3447.5 s]
/proc/loadavg: 4.41 4.18 4.12 5/264 141884
/proc/meminfo: memFree=125090140/131249996 swapFree=33010160/33010684
[pid=141703] ppid=141692 vsize=2088212 memory=118740 CPUtime=3436.87 cores=1,3
/proc/141703/stat : 141703 (pb_picat) R 141692 141703 116643 0 -1 4194304 89647 0 0 0 343459 228 0 0 20 0 1 0 139913556 2138329088 29685 18446744073709551615 94295796334592 94295797736173 140730130511376 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94295798007600 94295799881840 94295827980288 140730130516380 140730130516456 140730130516456 140730130522060 0
/proc/141703/statm: 522053 29685 1760 343 0 519117 0
Current children cumulated CPU time: 3436.87 s
Current children cumulated vsize: 2088212 KiB
Current children cumulated memory: 118740 KiB

Child status: 0

Real time (s): 3447.61
CPU time (s): 3437
CPU user time (s): 3434.71
CPU system time (s): 2.29225
CPU usage (%): 99.6921
Max. virtual memory (cumulated for all children) (KiB): 2096404
Max. memory (cumulated for all children) (KiB): 122836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3434.71
system time used= 2.29225
maximum resident set size= 122836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89652
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= 67
involuntary context switches= 2086


# summary of solver processes directly reported to runsolver:
#   pid: 141703
#   total CPU time (s): 3437
#   total CPU user time (s): 3434.71
#   total CPU system time (s): 2.29225

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.16726 second user time and 13.6986 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-11 15:59:11
IDJOB=4528553
IDBENCH=155651
IDSOLVER=3385
FILE ID=nodeC029/4528553-1752242351
RUNJOBID= nodeC029-1752242351-141647
SLURM_JOB_ID= 9682547
Free space on /tmp= 432204 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528553-1752242351/watcher-4528553-1752242351 -o /tmp/evaluation-result-4528553-1752242351/solver-4528553-1752242351 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752242351-141647 --watchdog 3760  pb_picat HOME/instance-4528553-1752242351.opb

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

MD5SUM BENCH= 1542385ac037132e9cf985b37fe6e57c
RANDOM SEED=1758469658

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126068984 kB
MemAvailable:   129736976 kB
Buffers:            2128 kB
Cached:          4455132 kB
SwapCached:           40 kB
Active:           510524 kB
Inactive:        4011916 kB
Active(anon):      78436 kB
Inactive(anon):     4764 kB
Active(file):     432088 kB
Inactive(file):  4007152 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20228 kB
Writeback:             8 kB
AnonPages:         68612 kB
Mapped:           106656 kB
Shmem:             18020 kB
KReclaimable:     135984 kB
Slab:             229504 kB
SReclaimable:     135984 kB
SUnreclaim:        93520 kB
KernelStack:        4192 kB
PageTables:         2792 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     333768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3968 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432188 MiB
End job on nodeC029 at 2025-07-11 16:56:39