Trace number 4484199

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02SAT939 3587.58 3596.12

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMb97b9bf3767749854a32fccedb37d823
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark4.83735
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	939

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484199-1751285306/watcher-4484199-1751285306 -o /tmp/evaluation-result-4484199-1751285306/solver-4484199-1751285306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751279152-47226 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4484199-1751285306.opb 3600 HOME 

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

solver pid=48071, runsolver pid=48068

[startup+0.100056 s]*
/proc/loadavg: 4.15 4.10 4.09 5/271 48075
/proc/meminfo: memFree=126104220/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 44209322 4427776 704 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 704 672 219 0 143 0
[pid=48074] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48074/stat : 48074 (timeout) S 48071 48074 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 44209324 2723840 352 18446744073709551615 94080187977728 94080187994241 140737252732672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94080188009008 94080188011096 94080202510336 140737252739504 140737252739618 140737252739618 140737252745191 0
/proc/48074/statm: 665 352 352 5 0 90 0
[pid=48075] ppid=48074 vsize=23060 memory=7916 CPUtime=0.08 cores=0,2
/proc/48075/stat : 48075 (NuPBO-DeepOptS+) R 48074 48074 47216 0 -1 4194304 1471 0 0 0 8 0 0 0 20 0 1 0 44209324 23613440 1979 18446744073709551615 4198400 15468185 140727417942832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42160128 140727417944508 140727417944609 140727417944609 140727417950182 0
/proc/48075/statm: 5765 1979 1088 2752 0 2418 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 30044 KiB
Current children cumulated memory: 12140 KiB

[startup+0.205127 s]*
/proc/loadavg: 4.15 4.10 4.09 5/271 48075
/proc/meminfo: memFree=126096408/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 44209322 4427776 704 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 704 672 219 0 143 0
[pid=48074] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48074/stat : 48074 (timeout) S 48071 48074 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 44209324 2723840 352 18446744073709551615 94080187977728 94080187994241 140737252732672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94080188009008 94080188011096 94080202510336 140737252739504 140737252739618 140737252739618 140737252745191 0
/proc/48074/statm: 665 352 352 5 0 90 0
[pid=48075] ppid=48074 vsize=30436 memory=15424 CPUtime=0.18 cores=0,2
/proc/48075/stat : 48075 (NuPBO-DeepOptS+) R 48074 48074 47216 0 -1 4194304 3555 0 0 0 18 0 0 0 20 0 1 0 44209324 31166464 3856 18446744073709551615 4198400 15468185 140727417942832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42160128 140727417944508 140727417944609 140727417944609 140727417950182 0
/proc/48075/statm: 7609 3856 1152 2752 0 4262 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 37420 KiB
Current children cumulated memory: 19648 KiB

[startup+0.305103 s]*
/proc/loadavg: 4.13 4.10 4.09 5/271 48075
/proc/meminfo: memFree=126088596/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 44209322 4427776 704 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 704 672 219 0 143 0
[pid=48074] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48074/stat : 48074 (timeout) S 48071 48074 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 44209324 2723840 352 18446744073709551615 94080187977728 94080187994241 140737252732672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94080188009008 94080188011096 94080202510336 140737252739504 140737252739618 140737252739618 140737252745191 0
/proc/48074/statm: 665 352 352 5 0 90 0
[pid=48075] ppid=48074 vsize=41540 memory=25228 CPUtime=0.28 cores=0,2
/proc/48075/stat : 48075 (NuPBO-DeepOptS+) R 48074 48074 47216 0 -1 4194304 6272 0 0 0 27 1 0 0 20 0 1 0 44209324 42536960 6307 18446744073709551615 4198400 15468185 140727417942832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42160128 140727417944508 140727417944609 140727417944609 140727417950182 0
/proc/48075/statm: 10385 6307 1152 2752 0 7038 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 48524 KiB
Current children cumulated memory: 29452 KiB

[startup+0.70024 s]
/proc/loadavg: 4.13 4.10 4.09 5/271 48075
/proc/meminfo: memFree=126032148/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 44209322 4427776 704 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 704 672 219 0 143 0
[pid=48074] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48074/stat : 48074 (timeout) S 48071 48074 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 44209324 2723840 352 18446744073709551615 94080187977728 94080187994241 140737252732672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94080188009008 94080188011096 94080202510336 140737252739504 140737252739618 140737252739618 140737252745191 0
/proc/48074/statm: 665 352 352 5 0 90 0
[pid=48075] ppid=48074 vsize=125544 memory=111324 CPUtime=0.67 cores=0,2
/proc/48075/stat : 48075 (NuPBO-DeepOptS+) R 48074 48074 47216 0 -1 4194304 26941 0 0 0 64 3 0 0 20 0 1 0 44209324 128557056 27831 18446744073709551615 4198400 15468185 140727417942832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42160128 140727417944508 140727417944609 140727417944609 140727417950182 0
/proc/48075/statm: 31386 27831 2816 2752 0 28039 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 132528 KiB
Current children cumulated memory: 115548 KiB

[startup+1.50015 s]
/proc/loadavg: 4.13 4.10 4.09 5/271 48075
/proc/meminfo: memFree=125992080/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 44209322 4427776 704 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 704 672 219 0 143 0
[pid=48074] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48074/stat : 48074 (timeout) S 48071 48074 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 44209324 2723840 352 18446744073709551615 94080187977728 94080187994241 140737252732672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94080188009008 94080188011096 94080202510336 140737252739504 140737252739618 140737252739618 140737252745191 0
/proc/48074/statm: 665 352 352 5 0 90 0
[pid=48075] ppid=48074 vsize=145304 memory=129244 CPUtime=1.47 cores=0,2
/proc/48075/stat : 48075 (NuPBO-DeepOptS+) R 48074 48074 47216 0 -1 4194304 31450 0 0 0 143 4 0 0 20 0 1 0 44209324 148791296 32311 18446744073709551615 4198400 15468185 140727417942832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42160128 140727417944508 140727417944609 140727417944609 140727417950182 0
/proc/48075/statm: 36326 32311 2848 2752 0 32979 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 152288 KiB
Current children cumulated memory: 133468 KiB

[startup+3.10535 s]
/proc/loadavg: 4.13 4.10 4.09 5/271 48075
/proc/meminfo: memFree=125984224/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 44209322 4427776 704 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 704 672 219 0 143 0
[pid=48074] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48074/stat : 48074 (timeout) S 48071 48074 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 44209324 2723840 352 18446744073709551615 94080187977728 94080187994241 140737252732672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94080188009008 94080188011096 94080202510336 140737252739504 140737252739618 140737252739618 140737252745191 0
/proc/48074/statm: 665 352 352 5 0 90 0
[pid=48075] ppid=48074 vsize=151172 memory=134236 CPUtime=3.07 cores=0,2
/proc/48075/stat : 48075 (NuPBO-DeepOptS+) R 48074 48074 47216 0 -1 4194304 32728 0 0 0 303 4 0 0 20 0 1 0 44209324 154800128 33559 18446744073709551615 4198400 15468185 140727417942832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42160128 140727417944508 140727417944609 140727417944609 140727417950182 0
/proc/48075/statm: 37793 33559 2848 2752 0 34446 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 158156 KiB
Current children cumulated memory: 138460 KiB

[startup+6.30014 s]
/proc/loadavg: 4.12 4.09 4.09 5/271 48075
/proc/meminfo: memFree=125964252/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 44209322 4427776 704 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 704 672 219 0 143 0
[pid=48074] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48074/stat : 48074 (timeout) S 48071 48074 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 44209324 2723840 352 18446744073709551615 94080187977728 94080187994241 140737252732672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94080188009008 94080188011096 94080202510336 140737252739504 140737252739618 140737252739618 140737252745191 0
/proc/48074/statm: 665 352 352 5 0 90 0
[pid=48075] ppid=48074 vsize=176400 memory=145800 CPUtime=6.25 cores=0,2
/proc/48075/stat : 48075 (NuPBO-DeepOptS+) R 48074 48074 47216 0 -1 4194304 36657 0 0 0 620 5 0 0 20 0 1 0 44209324 180633600 36450 18446744073709551615 4198400 15468185 140727417942832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42160128 140727417944508 140727417944609 140727417944609 140727417950182 0
/proc/48075/statm: 44100 36450 2848 2752 0 40753 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 183384 KiB
Current children cumulated memory: 150024 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 48075
/proc/meminfo: memFree=125964252/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 44209322 4427776 704 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 704 672 219 0 143 0
[pid=48074] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48074/stat : 48074 (timeout) S 48071 48074 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 44209324 2723840 352 18446744073709551615 94080187977728 94080187994241 140737252732672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94080188009008 94080188011096 94080202510336 140737252739504 140737252739618 140737252739618 140737252745191 0
/proc/48074/statm: 665 352 352 5 0 90 0
[pid=48075] ppid=48074 vsize=176400 memory=145800 CPUtime=12.64 cores=0,2
/proc/48075/stat : 48075 (NuPBO-DeepOptS+) R 48074 48074 47216 0 -1 4194304 36660 0 0 0 1259 5 0 0 20 0 1 0 44209324 180633600 36450 18446744073709551615 4198400 15468185 140727417942832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42160128 140727417944508 140727417944609 140727417944609 140727417950182 0
/proc/48075/statm: 44100 36450 2848 2752 0 40753 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 183384 KiB
Current children cumulated memory: 150024 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 48075
/proc/meminfo: memFree=125964004/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 44209322 4427776 704 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 704 672 219 0 143 0
[pid=48074] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48074/stat : 48074 (timeout) S 48071 48074 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 44209324 2723840 352 18446744073709551615 94080187977728 94080187994241 140737252732672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94080188009008 94080188011096 94080202510336 140737252739504 140737252739618 140737252739618 140737252745191 0
/proc/48074/statm: 665 352 352 5 0 90 0
[pid=48075] ppid=48074 vsize=176400 memory=145800 CPUtime=25.41 cores=0,2
/proc/48075/stat : 48075 (NuPBO-DeepOptS+) R 48074 48074 47216 0 -1 4194304 36660 0 0 0 2536 5 0 0 20 0 1 0 44209324 180633600 36450 18446744073709551615 4198400 15468185 140727417942832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42160128 140727417944508 140727417944609 140727417944609 140727417950182 0
/proc/48075/statm: 44100 36450 2848 2752 0 40753 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 183384 KiB
Current children cumulated memory: 150024 KiB

[startup+51.1048 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 48076
/proc/meminfo: memFree=125955584/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 44209322 4427776 704 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 704 672 219 0 143 0
[pid=48074] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48074/stat : 48074 (timeout) S 48071 48074 47216 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 44209324 2723840 352 18446744073709551615 94080187977728 94080187994241 140737252732672 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94080188009008 94080188011096 94080202510336 140737252739504 140737252739618 140737252739618 140737252745191 0
/proc/48074/statm: 665 352 352 5 0 90 0
[pid=48075] ppid=48074 vsize=176400 memory=145800 CPUtime=50.96 cores=0,2
/proc/48075/stat : 48075 (NuPBO-DeepOptS+) R 48074 48074 47216 0 -1 4194304 36660 0 0 0 5091 5 0 0 20 0 1 0 44209324 180633600 36450 18446744073709551615 4198400 15468185 140727417942832 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 42160128 140727417944508 140727417944609 140727417944609 140727417950182 0
/proc/48075/statm: 44100 36450 2848 2752 0 40753 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 183384 KiB
Current children cumulated memory: 150024 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 48126
/proc/meminfo: memFree=126821236/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 44209322 4427776 704 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 704 672 219 0 143 0

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

/proc/48071/statm: 1081 736 672 219 0 143 0
[pid=48356] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48356/stat : 48356 (timeout) S 48071 48356 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44449125 2723840 352 18446744073709551615 94571603156992 94571603173505 140735805762816 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94571603188272 94571603190360 94571621875712 140735805770115 140735805770274 140735805770274 140735805775847 0
/proc/48356/statm: 665 352 352 5 0 90 0
[pid=48357] ppid=48356 vsize=1024532 memory=852944 CPUtime=1061.52 cores=0,2
/proc/48357/stat : 48357 (ExactPR-nols) R 48356 48356 47216 0 -1 4194304 122063 0 0 0 106040 112 0 0 20 0 1 0 44449125 1049120768 213236 18446744073709551615 94343623786496 94343633086149 140721945895360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94343634872640 94343634911720 94343673696256 140721945897368 140721945897508 140721945897508 140721945903081 0
/proc/48357/statm: 256133 213236 1888 2271 0 250771 0
Current children cumulated CPU time: 3454.12 s
Current children cumulated vsize: 1031516 KiB
Current children cumulated memory: 857296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 48482
/proc/meminfo: memFree=125740488/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2944 CPUtime=2392.6 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 278 37120 0 0 0 0 239254 6 20 0 1 0 44209322 4427776 736 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 736 672 219 0 143 0
[pid=48356] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48356/stat : 48356 (timeout) S 48071 48356 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44449125 2723840 352 18446744073709551615 94571603156992 94571603173505 140735805762816 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94571603188272 94571603190360 94571621875712 140735805770115 140735805770274 140735805770274 140735805775847 0
/proc/48356/statm: 665 352 352 5 0 90 0
[pid=48357] ppid=48356 vsize=1024532 memory=852944 CPUtime=1121.37 cores=0,2
/proc/48357/stat : 48357 (ExactPR-nols) R 48356 48356 47216 0 -1 4194304 122067 0 0 0 112023 114 0 0 20 0 1 0 44449125 1049120768 213236 18446744073709551615 94343623786496 94343633086149 140721945895360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94343634872640 94343634911720 94343673696256 140721945897368 140721945897508 140721945897508 140721945903081 0
/proc/48357/statm: 256133 213236 1888 2271 0 250771 0
Current children cumulated CPU time: 3513.97 s
Current children cumulated vsize: 1031516 KiB
Current children cumulated memory: 857296 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/272 48484
/proc/meminfo: memFree=125741884/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2944 CPUtime=2392.6 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 278 37120 0 0 0 0 239254 6 20 0 1 0 44209322 4427776 736 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 736 672 219 0 143 0
[pid=48356] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48356/stat : 48356 (timeout) S 48071 48356 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44449125 2723840 352 18446744073709551615 94571603156992 94571603173505 140735805762816 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94571603188272 94571603190360 94571621875712 140735805770115 140735805770274 140735805770274 140735805775847 0
/proc/48356/statm: 665 352 352 5 0 90 0
[pid=48357] ppid=48356 vsize=1029432 memory=857168 CPUtime=1181.22 cores=0,2
/proc/48357/stat : 48357 (ExactPR-nols) R 48356 48356 47216 0 -1 4194304 123121 0 0 0 118005 117 0 0 20 0 1 0 44449125 1054138368 214292 18446744073709551615 94343623786496 94343633086149 140721945895360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94343634872640 94343634911720 94343673696256 140721945897368 140721945897508 140721945897508 140721945903081 0
/proc/48357/statm: 257358 214292 1888 2271 0 251996 0
Current children cumulated CPU time: 3573.82 s
Current children cumulated vsize: 1036416 KiB
Current children cumulated memory: 861520 KiB

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

# cumulated CPU time of all completed processes:  user=3586.31 s, system=1.26834 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.11 4.09 5/272 48484
/proc/meminfo: memFree=125741884/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2944 CPUtime=2392.6 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 278 37120 0 0 0 0 239254 6 20 0 1 0 44209322 4427776 736 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 736 672 219 0 143 0
[pid=48356] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48356/stat : 48356 (timeout) S 48071 48356 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44449125 2723840 352 18446744073709551615 94571603156992 94571603173505 140735805762816 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94571603188272 94571603190360 94571621875712 140735805770115 140735805770274 140735805770274 140735805775847 0
/proc/48356/statm: 665 352 352 5 0 90 0
[pid=48357] ppid=48356 vsize=1030804 memory=857680 CPUtime=1182.92 cores=0,2
/proc/48357/stat : 48357 (ExactPR-nols) R 48356 48356 47216 0 -1 4194304 123270 0 0 0 118175 117 0 0 20 0 1 0 44449125 1055543296 214420 18446744073709551615 94343623786496 94343633086149 140721945895360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94343634872640 94343634911720 94343673696256 140721945897368 140721945897508 140721945897508 140721945903081 0
/proc/48357/statm: 257701 214420 1888 2271 0 252339 0
Current children cumulated CPU time: 3575.52 s
Current children cumulated vsize: 1037788 KiB
Current children cumulated memory: 862032 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 48484
/proc/meminfo: memFree=125733820/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2944 CPUtime=2392.6 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 278 37120 0 0 0 0 239254 6 20 0 1 0 44209322 4427776 736 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 736 672 219 0 143 0
[pid=48356] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48356/stat : 48356 (timeout) S 48071 48356 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44449125 2723840 352 18446744073709551615 94571603156992 94571603173505 140735805762816 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94571603188272 94571603190360 94571621875712 140735805770115 140735805770274 140735805770274 140735805775847 0
/proc/48356/statm: 665 352 352 5 0 90 0
[pid=48357] ppid=48356 vsize=1032668 memory=859216 CPUtime=1189.3 cores=0,2
/proc/48357/stat : 48357 (ExactPR-nols) R 48356 48356 47216 0 -1 4194304 123650 0 0 0 118813 117 0 0 20 0 1 0 44449125 1057452032 214804 18446744073709551615 94343623786496 94343633086149 140721945895360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94343634872640 94343634911720 94343673696256 140721945897368 140721945897508 140721945897508 140721945903081 0
/proc/48357/statm: 258167 214804 1888 2271 0 252805 0
Current children cumulated CPU time: 3581.9 s
Current children cumulated vsize: 1039652 KiB
Current children cumulated memory: 863568 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 48484
/proc/meminfo: memFree=125733820/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2944 CPUtime=2392.6 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 278 37120 0 0 0 0 239254 6 20 0 1 0 44209322 4427776 736 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 736 672 219 0 143 0
[pid=48356] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48356/stat : 48356 (timeout) S 48071 48356 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44449125 2723840 352 18446744073709551615 94571603156992 94571603173505 140735805762816 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94571603188272 94571603190360 94571621875712 140735805770115 140735805770274 140735805770274 140735805775847 0
/proc/48356/statm: 665 352 352 5 0 90 0
[pid=48357] ppid=48356 vsize=1034300 memory=860752 CPUtime=1192.5 cores=0,2
/proc/48357/stat : 48357 (ExactPR-nols) R 48356 48356 47216 0 -1 4194304 124052 0 0 0 119132 118 0 0 20 0 1 0 44449125 1059123200 215188 18446744073709551615 94343623786496 94343633086149 140721945895360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94343634872640 94343634911720 94343673696256 140721945897368 140721945897508 140721945897508 140721945903081 0
/proc/48357/statm: 258575 215188 1888 2271 0 253213 0
Current children cumulated CPU time: 3585.1 s
Current children cumulated vsize: 1041284 KiB
Current children cumulated memory: 865104 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 48484
/proc/meminfo: memFree=125734072/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2944 CPUtime=2392.6 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 278 37120 0 0 0 0 239254 6 20 0 1 0 44209322 4427776 736 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 736 672 219 0 143 0
[pid=48356] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48356/stat : 48356 (timeout) S 48071 48356 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44449125 2723840 352 18446744073709551615 94571603156992 94571603173505 140735805762816 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94571603188272 94571603190360 94571621875712 140735805770115 140735805770274 140735805770274 140735805775847 0
/proc/48356/statm: 665 352 352 5 0 90 0
[pid=48357] ppid=48356 vsize=1034300 memory=860880 CPUtime=1194.1 cores=0,2
/proc/48357/stat : 48357 (ExactPR-nols) R 48356 48356 47216 0 -1 4194304 124058 0 0 0 119292 118 0 0 20 0 1 0 44449125 1059123200 215220 18446744073709551615 94343623786496 94343633086149 140721945895360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94343634872640 94343634911720 94343673696256 140721945897368 140721945897508 140721945897508 140721945903081 0
/proc/48357/statm: 258575 215220 1888 2271 0 253213 0
Current children cumulated CPU time: 3586.7 s
Current children cumulated vsize: 1041284 KiB
Current children cumulated memory: 865232 KiB

[startup+3595.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 48484
/proc/meminfo: memFree=125734072/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2944 CPUtime=2392.6 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 278 37120 0 0 0 0 239254 6 20 0 1 0 44209322 4427776 736 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 736 672 219 0 143 0
[pid=48356] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48356/stat : 48356 (timeout) S 48071 48356 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44449125 2723840 352 18446744073709551615 94571603156992 94571603173505 140735805762816 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94571603188272 94571603190360 94571621875712 140735805770115 140735805770274 140735805770274 140735805775847 0
/proc/48356/statm: 665 352 352 5 0 90 0
[pid=48357] ppid=48356 vsize=1034300 memory=860880 CPUtime=1194.5 cores=0,2
/proc/48357/stat : 48357 (ExactPR-nols) R 48356 48356 47216 0 -1 4194304 124058 0 0 0 119332 118 0 0 20 0 1 0 44449125 1059123200 215220 18446744073709551615 94343623786496 94343633086149 140721945895360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94343634872640 94343634911720 94343673696256 140721945897368 140721945897508 140721945897508 140721945903081 0
/proc/48357/statm: 258575 215220 1888 2271 0 253213 0
Current children cumulated CPU time: 3587.1 s
Current children cumulated vsize: 1041284 KiB
Current children cumulated memory: 865232 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.10 4.09 5/272 48484
/proc/meminfo: memFree=125734072/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2944 CPUtime=2392.6 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 278 37120 0 0 0 0 239254 6 20 0 1 0 44209322 4427776 736 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 736 672 219 0 143 0
[pid=48356] ppid=48071 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/48356/stat : 48356 (timeout) S 48071 48356 47216 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44449125 2723840 352 18446744073709551615 94571603156992 94571603173505 140735805762816 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94571603188272 94571603190360 94571621875712 140735805770115 140735805770274 140735805770274 140735805775847 0
/proc/48356/statm: 665 352 352 5 0 90 0
[pid=48357] ppid=48356 vsize=1034300 memory=860880 CPUtime=1194.9 cores=0,2
/proc/48357/stat : 48357 (ExactPR-nols) R 48356 48356 47216 0 -1 4194304 124058 0 0 0 119372 118 0 0 20 0 1 0 44449125 1059123200 215220 18446744073709551615 94343623786496 94343633086149 140721945895360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94343634872640 94343634911720 94343673696256 140721945897368 140721945897508 140721945897508 140721945903081 0
/proc/48357/statm: 258575 215220 1888 2271 0 253213 0
Current children cumulated CPU time: 3587.5 s
Current children cumulated vsize: 1041284 KiB
Current children cumulated memory: 865232 KiB

[startup+3596.11 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 48484
/proc/meminfo: memFree=125734072/131249992 swapFree=33010684/33010684
[pid=48071] ppid=48068 vsize=4324 memory=2944 CPUtime=3587.56 cores=0,2
/proc/48071/stat : 48071 (Hybrid-NuPBODee) S 48068 48071 47216 0 -1 4194304 462 163908 0 0 0 0 358630 126 20 0 1 0 44209322 4427776 736 18446744073709551615 94727410110464 94727411004997 140727112651088 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94727411244048 94727411291792 94727414972416 140727112657243 140727112657395 140727112657395 140727112662997 0
/proc/48071/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3587.56 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.12
CPU time (s): 3587.58
CPU user time (s): 3586.31
CPU system time (s): 1.26834
CPU usage (%): 99.7626
Max. virtual memory (cumulated for all children) (KiB): 1169180
Max. memory (cumulated for all children) (KiB): 865232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.31
system time used= 1.26835
maximum resident set size= 888140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164723
page faults= 0
swaps= 0
block input operations= 0
block output operations= 688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1999
involuntary context switches= 4644


# summary of solver processes directly reported to runsolver:
#   pid: 48071
#   total CPU time (s): 3587.58
#   total CPU user time (s): 3586.31
#   total CPU system time (s): 1.26834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90233 second user time and 14.0388 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-30 14:08:26
IDJOB=4484199
IDBENCH=146652
IDSOLVER=3332
FILE ID=nodeC025/4484199-1751285306
RUNJOBID= nodeC025-1751279152-47226
SLURM_JOB_ID= 9594212
Free space on /tmp= 432976 MiB

SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484199-1751285306/watcher-4484199-1751285306 -o /tmp/evaluation-result-4484199-1751285306/solver-4484199-1751285306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751279152-47226 --watchdog 3760  ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4484199-1751285306.opb 3600 HOME

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1343922421

nodeC025 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		: 3598.929
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.840
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.844
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		: 3602.012
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.837
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.834
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		: 3600.225
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		: 3600.098
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:       131249992 kB
MemFree:        126104220 kB
MemAvailable:   128845004 kB
Buffers:            3280 kB
Cached:          3540028 kB
SwapCached:            0 kB
Active:          1319660 kB
Inactive:        3200976 kB
Active(anon):     995412 kB
Inactive(anon):        0 kB
Active(file):     324248 kB
Inactive(file):  3200976 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28840 kB
Writeback:             4 kB
AnonPages:        980400 kB
Mapped:           129316 kB
Shmem:             18084 kB
KReclaimable:     109600 kB
Slab:             197504 kB
SReclaimable:     109600 kB
SUnreclaim:        87904 kB
KernelStack:        4336 kB
PageTables:         5148 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1443948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    903168 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432952 MiB
End job on nodeC025 at 2025-06-30 15:08:22