Trace number 4501755

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 NameAnswerCPU timeWall clock time
Picat 2025-06-16SAT 9.27898 9.31029

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j605_7-sat.opb
MD5SUM0cdbb1fc299265025d38c8df62ac854d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.43976
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9272
Total number of constraints29130
Number of constraints which are clauses28830
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints300
Minimum length of a constraint1
Maximum length of a constraint32
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	0

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: 63665 MiB (63056 MiB free)
  memory of node 1: 64507 MiB (62701 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4501755-1751154896/watcher-4501755-1751154896 -o /tmp/evaluation-result-4501755-1751154896/solver-4501755-1751154896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751146126-15228 --watchdog 3760 pb_picat HOME/instance-4501755-1751154896.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 4.29 4.16 4.11 6/265 19661
/proc/meminfo: memFree=128755028/131250000 swapFree=33010684/33010684
[pid=19660] ppid=19657 vsize=2027148 memory=32212 CPUtime=0.09 cores=0,2
/proc/19660/stat : 19660 (pb_picat) R 19657 19660 15215 0 -1 4194304 1123 0 0 0 9 0 0 0 20 0 1 0 31169867 2075799552 8053 18446744073709551615 94242977173504 94242978575085 140720361218256 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94242978846512 94242980720816 94243011997696 140720361220510 140720361220586 140720361220586 140720361226188 0
/proc/19660/statm: 506787 8053 1504 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32212 KiB

[startup+0.204597 s]*
/proc/loadavg: 4.29 4.16 4.11 5/265 19661
/proc/meminfo: memFree=128750684/131250000 swapFree=33010684/33010684
[pid=19660] ppid=19657 vsize=2027148 memory=51040 CPUtime=0.19 cores=0,2
/proc/19660/stat : 19660 (pb_picat) R 19657 19660 15215 0 -1 4194304 1180 0 0 0 19 0 0 0 20 0 1 0 31169867 2075799552 12760 18446744073709551615 94242977173504 94242978575085 140720361218256 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94242978846512 94242980720816 94243011997696 140720361220510 140720361220586 140720361220586 140720361226188 0
/proc/19660/statm: 506787 12760 1536 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 51040 KiB

[startup+0.305292 s]*
/proc/loadavg: 4.29 4.16 4.11 5/265 19661
/proc/meminfo: memFree=128738396/131250000 swapFree=33010684/33010684
[pid=19660] ppid=19657 vsize=2027800 memory=68720 CPUtime=0.29 cores=0,2
/proc/19660/stat : 19660 (pb_picat) R 19657 19660 15215 0 -1 4194304 1425 0 0 0 29 0 0 0 20 0 1 0 31169867 2076467200 17180 18446744073709551615 94242977173504 94242978575085 140720361218256 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94242978846512 94242980720816 94243011997696 140720361220510 140720361220586 140720361220586 140720361226188 0
/proc/19660/statm: 506950 17180 1664 343 0 504014 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027800 KiB
Current children cumulated memory: 68720 KiB

[startup+0.700125 s]
/proc/loadavg: 4.29 4.16 4.11 5/265 19661
/proc/meminfo: memFree=128738396/131250000 swapFree=33010684/33010684
[pid=19660] ppid=19657 vsize=2032820 memory=73428 CPUtime=0.68 cores=0,2
/proc/19660/stat : 19660 (pb_picat) R 19657 19660 15215 0 -1 4194304 2901 0 0 0 65 3 0 0 20 0 1 0 31169867 2081607680 18357 18446744073709551615 94242977173504 94242978575085 140720361218256 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94242978846512 94242980720816 94243011997696 140720361220510 140720361220586 140720361220586 140720361226188 0
/proc/19660/statm: 508205 18357 1664 343 0 505269 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2032820 KiB
Current children cumulated memory: 73428 KiB

[startup+1.50013 s]
/proc/loadavg: 4.29 4.16 4.11 5/265 19661
/proc/meminfo: memFree=128728252/131250000 swapFree=33010684/33010684
[pid=19660] ppid=19657 vsize=2035972 memory=76316 CPUtime=1.48 cores=0,2
/proc/19660/stat : 19660 (pb_picat) R 19657 19660 15215 0 -1 4194304 5312 0 0 0 143 5 0 0 20 0 1 0 31169867 2084835328 19079 18446744073709551615 94242977173504 94242978575085 140720361218256 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94242978846512 94242980720816 94243011997696 140720361220510 140720361220586 140720361220586 140720361226188 0
/proc/19660/statm: 508993 19079 1696 343 0 506057 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2035972 KiB
Current children cumulated memory: 76316 KiB

[startup+3.10524 s]
/proc/loadavg: 4.29 4.16 4.11 5/265 19661
/proc/meminfo: memFree=128711884/131250000 swapFree=33010684/33010684
[pid=19660] ppid=19657 vsize=2038540 memory=76732 CPUtime=3.08 cores=0,2
/proc/19660/stat : 19660 (pb_picat) R 19657 19660 15215 0 -1 4194304 7151 0 0 0 302 6 0 0 20 0 1 0 31169867 2087464960 19183 18446744073709551615 94242977173504 94242978575085 140720361218256 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94242978846512 94242980720816 94243011997696 140720361220510 140720361220586 140720361220586 140720361226188 0
/proc/19660/statm: 509635 19183 1696 343 0 506699 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2038540 KiB
Current children cumulated memory: 76732 KiB

[startup+6.30013 s]
/proc/loadavg: 4.27 4.16 4.11 5/265 19661
/proc/meminfo: memFree=128695816/131250000 swapFree=33010684/33010684
[pid=19660] ppid=19657 vsize=2036492 memory=76032 CPUtime=6.26 cores=0,2
/proc/19660/stat : 19660 (pb_picat) R 19657 19660 15215 0 -1 4194304 9045 0 0 0 620 6 0 0 20 0 1 0 31169867 2085367808 19008 18446744073709551615 94242977173504 94242978575085 140720361218256 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94242978846512 94242980720816 94243011997696 140720361220510 140720361220586 140720361220586 140720361226188 0
/proc/19660/statm: 509123 19008 1696 343 0 506187 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2036492 KiB
Current children cumulated memory: 76032 KiB

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

# cumulated CPU time of all completed processes:  user=9.19518 s, system=0.083806 s

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

[startup+6.40013 s]
/proc/loadavg: 4.27 4.16 4.11 5/265 19661
/proc/meminfo: memFree=128695816/131250000 swapFree=33010684/33010684
[pid=19660] ppid=19657 vsize=2036492 memory=76288 CPUtime=6.36 cores=0,2
/proc/19660/stat : 19660 (pb_picat) R 19657 19660 15215 0 -1 4194304 9110 0 0 0 630 6 0 0 20 0 1 0 31169867 2085367808 19072 18446744073709551615 94242977173504 94242978575085 140720361218256 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94242978846512 94242980720816 94243011997696 140720361220510 140720361220586 140720361220586 140720361226188 0
/proc/19660/statm: 509123 19072 1696 343 0 506187 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 2036492 KiB
Current children cumulated memory: 76288 KiB

[startup+8.00007 s]*
/proc/loadavg: 4.27 4.16 4.11 5/265 19661
/proc/meminfo: memFree=128675092/131250000 swapFree=33010684/33010684
[pid=19660] ppid=19657 vsize=2038540 memory=77216 CPUtime=7.97 cores=0,2
/proc/19660/stat : 19660 (pb_picat) R 19657 19660 15215 0 -1 4194304 10394 0 0 0 790 7 0 0 20 0 1 0 31169867 2087464960 19304 18446744073709551615 94242977173504 94242978575085 140720361218256 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94242978846512 94242980720816 94243011997696 140720361220510 140720361220586 140720361220586 140720361226188 0
/proc/19660/statm: 509635 19304 1696 343 0 506699 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 2038540 KiB
Current children cumulated memory: 77216 KiB

[startup+8.80007 s]
/proc/loadavg: 4.27 4.16 4.11 5/265 19661
/proc/meminfo: memFree=128675092/131250000 swapFree=33010684/33010684
[pid=19660] ppid=19657 vsize=2038540 memory=77472 CPUtime=8.76 cores=0,2
/proc/19660/stat : 19660 (pb_picat) R 19657 19660 15215 0 -1 4194304 10455 0 0 0 869 7 0 0 20 0 1 0 31169867 2087464960 19368 18446744073709551615 94242977173504 94242978575085 140720361218256 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94242978846512 94242980720816 94243011997696 140720361220510 140720361220586 140720361220586 140720361226188 0
/proc/19660/statm: 509635 19368 1696 343 0 506699 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 2038540 KiB
Current children cumulated memory: 77472 KiB

[startup+9.20007 s]
/proc/loadavg: 4.25 4.15 4.11 5/265 19661
/proc/meminfo: memFree=128675092/131250000 swapFree=33010684/33010684
[pid=19660] ppid=19657 vsize=2038540 memory=77472 CPUtime=9.16 cores=0,2
/proc/19660/stat : 19660 (pb_picat) R 19657 19660 15215 0 -1 4194304 11031 0 0 0 909 7 0 0 20 0 1 0 31169867 2087464960 19368 18446744073709551615 94242977173504 94242978575085 140720361218256 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94242978846512 94242980720816 94243011997696 140720361220510 140720361220586 140720361220586 140720361226188 0
/proc/19660/statm: 509635 19368 1696 343 0 506699 0
Current children cumulated CPU time: 9.16 s
Current children cumulated vsize: 2038540 KiB
Current children cumulated memory: 77472 KiB

[startup+9.30408 s]
/proc/loadavg: 4.25 4.15 4.11 5/265 19661
/proc/meminfo: memFree=128675092/131250000 swapFree=33010684/33010684
[pid=19660] ppid=19657 vsize=2038540 memory=77728 CPUtime=9.27 cores=0,2
/proc/19660/stat : 19660 (pb_picat) R 19657 19660 15215 0 -1 4194304 11134 0 0 0 919 8 0 0 20 0 1 0 31169867 2087464960 19432 18446744073709551615 94242977173504 94242978575085 140720361218256 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94242978846512 94242980720816 94243011997696 140720361220510 140720361220586 140720361220586 140720361226188 0
/proc/19660/statm: 509635 19432 1696 343 0 506699 0
Current children cumulated CPU time: 9.27 s
Current children cumulated vsize: 2038540 KiB
Current children cumulated memory: 77728 KiB

Child status: 0

Real time (s): 9.31029
CPU time (s): 9.27898
CPU user time (s): 9.19518
CPU system time (s): 0.083806
CPU usage (%): 99.6637
Max. virtual memory (cumulated for all children) (KiB): 2038540
Max. memory (cumulated for all children) (KiB): 77872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.19518
system time used= 0.083806
maximum resident set size= 78080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11138
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= 66
involuntary context switches= 16


# summary of solver processes directly reported to runsolver:
#   pid: 19660
#   total CPU time (s): 9.27898
#   total CPU user time (s): 9.19518
#   total CPU system time (s): 0.083806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033687 second user time and 0.070794 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-29 01:54:56
IDJOB=4501755
IDBENCH=151618
IDSOLVER=3346
FILE ID=nodeC013/4501755-1751154896
RUNJOBID= nodeC013-1751146126-15228
SLURM_JOB_ID= 9587455
Free space on /tmp= 433044 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j60/normalized-j605_7-sat.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4501755-1751154896/watcher-4501755-1751154896 -o /tmp/evaluation-result-4501755-1751154896/solver-4501755-1751154896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751146126-15228 --watchdog 3760  pb_picat HOME/instance-4501755-1751154896.opb

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

MD5SUM BENCH= 0cdbb1fc299265025d38c8df62ac854d
RANDOM SEED=759389988

nodeC013 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.425
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.67
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.850
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.67
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.831
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.67
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		: 3661.242
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.67
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		: 3599.871
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.67
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		: 3599.890
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.67
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		: 3564.300
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.67
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		: 3638.830
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128775508 kB
MemAvailable:   128370732 kB
Buffers:            3280 kB
Cached:           349448 kB
SwapCached:            0 kB
Active:          1736848 kB
Inactive:         155756 kB
Active(anon):    1553160 kB
Inactive(anon):        0 kB
Active(file):     183688 kB
Inactive(file):   155756 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4812 kB
Writeback:            12 kB
AnonPages:       1541204 kB
Mapped:           108280 kB
Shmem:             13284 kB
KReclaimable:      85960 kB
Slab:             168472 kB
SReclaimable:      85960 kB
SUnreclaim:        82512 kB
KernelStack:        4336 kB
PageTables:         6208 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    8238596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1165312 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC013 at 2025-06-29 01:55:06