Trace number 4438347

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-CASHWMaxSATDisjComS+Exact 2024-07-11OPT939 1725.04 1729.73

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.63488
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

1724.99/1729.72	c Solved by First Program
1724.99/1729.72	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1724.99/1729.72	c Setting memory limit to 29976MB.
1724.99/1729.72	c Do: 140728139519880 140728139519888
1724.99/1729.72	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1724.99/1729.72	o 1237
1724.99/1729.72	o 1137
1724.99/1729.72	o 1132
1724.99/1729.72	o 939
1724.99/1729.72	s OPTIMUM FOUND
1724.99/1729.72	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 -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

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: 63931 MiB (62244 MiB free)
  memory of node 1: 64510 MiB (63521 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438347-1722959025/watcher-4438347-1722959025 -o /tmp/evaluation-result-4438347-1722959025/solver-4438347-1722959025 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722959025-342746 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438347-1722959025.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=342807, runsolver pid=342793

[startup+0.101022 s]*
/proc/loadavg: 2.88 3.84 4.03 8/267 342821
/proc/meminfo: memFree=128688008/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=37376 memory=18616 CPUtime=0.09 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 3971 0 0 0 9 0 0 0 20 0 1 0 62499959 38273024 4654 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 9344 4654 750 2417 0 6446 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55968 KiB
Current children cumulated memory: 22296 KiB

[startup+0.205454 s]*
/proc/loadavg: 2.88 3.84 4.03 6/267 342821
/proc/meminfo: memFree=128615156/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=80548 memory=58560 CPUtime=0.19 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 11512 0 0 0 18 1 0 0 20 0 1 0 62499959 82481152 14640 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 20137 14640 782 2417 0 17239 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99140 KiB
Current children cumulated memory: 62240 KiB

[startup+0.30671 s]*
/proc/loadavg: 2.88 3.84 4.03 8/267 342821
/proc/meminfo: memFree=128550260/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=103060 memory=82084 CPUtime=0.3 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 15894 0 0 0 27 3 0 0 20 0 1 0 62499959 105533440 20521 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 25765 20521 782 2417 0 22867 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 121652 KiB
Current children cumulated memory: 85764 KiB

[startup+0.700305 s]
/proc/loadavg: 2.97 3.84 4.03 9/267 342821
/proc/meminfo: memFree=128439140/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=172668 memory=146544 CPUtime=0.68 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 30517 0 0 0 63 5 0 0 20 0 1 0 62499959 176812032 36636 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 43167 36636 782 2417 0 40269 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 191260 KiB
Current children cumulated memory: 150224 KiB

[startup+1.50028 s]
/proc/loadavg: 2.97 3.84 4.03 8/267 342821
/proc/meminfo: memFree=128188616/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=199856 memory=171880 CPUtime=1.48 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 34823 0 0 0 142 6 0 0 20 0 1 0 62499959 204652544 42970 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 49964 42970 782 2417 0 47066 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 218448 KiB
Current children cumulated memory: 175560 KiB

[startup+3.10654 s]
/proc/loadavg: 2.97 3.84 4.03 7/267 342872
/proc/meminfo: memFree=128060764/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=197028 memory=160864 CPUtime=3.08 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 35727 0 0 0 300 8 0 0 20 0 1 0 62499959 201756672 40216 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 49257 40216 782 2417 0 46359 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 215620 KiB
Current children cumulated memory: 164544 KiB

[startup+6.30023 s]
/proc/loadavg: 3.05 3.85 4.03 7/267 342874
/proc/meminfo: memFree=127164520/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=197028 memory=169056 CPUtime=6.27 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 35743 0 0 0 619 8 0 0 20 0 1 0 62499959 201756672 42264 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 49257 42264 782 2417 0 46359 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 215620 KiB
Current children cumulated memory: 172736 KiB

[startup+12.7002 s]
/proc/loadavg: 3.13 3.85 4.03 7/267 342874
/proc/meminfo: memFree=126876228/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=227376 memory=197948 CPUtime=12.64 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 35835 0 0 0 1256 8 0 0 20 0 1 0 62499959 232833024 49487 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 56844 49487 814 2417 0 53946 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 245968 KiB
Current children cumulated memory: 201628 KiB

[startup+25.5003 s]
/proc/loadavg: 3.26 3.86 4.02 7/267 342877
/proc/meminfo: memFree=126793000/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=246344 memory=222492 CPUtime=25.42 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 36915 0 0 0 2533 9 0 0 20 0 1 0 62499959 252256256 55623 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 61586 55623 814 2417 0 58688 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 264936 KiB
Current children cumulated memory: 226172 KiB

[startup+51.1066 s]
/proc/loadavg: 3.61 3.89 4.03 7/267 342880
/proc/meminfo: memFree=126782228/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=246344 memory=222780 CPUtime=50.95 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 37250 0 0 0 5084 11 0 0 20 0 1 0 62499959 252256256 55695 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 61586 55695 814 2417 0 58688 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 264936 KiB
Current children cumulated memory: 226460 KiB

[startup+102.3 s]
/proc/loadavg: 3.89 3.92 4.03 7/265 342889
/proc/meminfo: memFree=126671404/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0

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

/proc/342821/statm: 91713 84206 814 2417 0 88815 0
Current children cumulated CPU time: 1538.09 s
Current children cumulated vsize: 385444 KiB
Current children cumulated memory: 340504 KiB

[startup+1602.3 s]
/proc/loadavg: 4.10 4.09 4.08 7/265 343738
/proc/meminfo: memFree=126676144/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=366852 memory=334608 CPUtime=1597.94 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 83202 0 0 0 159564 230 0 0 20 0 1 0 62499959 375656448 83652 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 91713 83652 814 2417 0 88815 0
Current children cumulated CPU time: 1597.94 s
Current children cumulated vsize: 385444 KiB
Current children cumulated memory: 338288 KiB

[startup+1662.3 s]
/proc/loadavg: 4.12 4.09 4.08 7/265 343750
/proc/meminfo: memFree=126728488/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=366852 memory=336824 CPUtime=1657.77 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 83601 0 0 0 165544 233 0 0 20 0 1 0 62499959 375656448 84206 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 91713 84206 814 2417 0 88815 0
Current children cumulated CPU time: 1657.77 s
Current children cumulated vsize: 385444 KiB
Current children cumulated memory: 340504 KiB

[startup+1722.3 s]
/proc/loadavg: 4.10 4.09 4.08 7/265 343761
/proc/meminfo: memFree=126721564/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=366852 memory=340752 CPUtime=1717.62 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 83960 0 0 0 171525 237 0 0 20 0 1 0 62499959 375656448 85188 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 91713 85188 814 2417 0 88815 0
Current children cumulated CPU time: 1717.62 s
Current children cumulated vsize: 385444 KiB
Current children cumulated memory: 344432 KiB

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

# cumulated CPU time of all completed processes:  user=1722.66 s, system=2.38109 s

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

[startup+1724.8 s]
/proc/loadavg: 4.10 4.09 4.08 7/265 343762
/proc/meminfo: memFree=126729604/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=366852 memory=332728 CPUtime=1720.11 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 84062 0 0 0 171774 237 0 0 20 0 1 0 62499959 375656448 83182 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 91713 83182 814 2417 0 88815 0
Current children cumulated CPU time: 1720.11 s
Current children cumulated vsize: 385444 KiB
Current children cumulated memory: 336408 KiB

[startup+1728 s]*
/proc/loadavg: 4.09 4.08 4.08 7/265 343762
/proc/meminfo: memFree=126727588/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=366852 memory=334776 CPUtime=1723.3 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 84067 0 0 0 172093 237 0 0 20 0 1 0 62499959 375656448 83694 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 91713 83694 814 2417 0 88815 0
Current children cumulated CPU time: 1723.3 s
Current children cumulated vsize: 385444 KiB
Current children cumulated memory: 338456 KiB

[startup+1728.8 s]
/proc/loadavg: 4.09 4.08 4.08 7/265 343762
/proc/meminfo: memFree=126727588/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=366852 memory=336824 CPUtime=1724.1 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 84068 0 0 0 172173 237 0 0 20 0 1 0 62499959 375656448 84206 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 91713 84206 814 2417 0 88815 0
Current children cumulated CPU time: 1724.1 s
Current children cumulated vsize: 385444 KiB
Current children cumulated memory: 340504 KiB

[startup+1729.2 s]
/proc/loadavg: 4.09 4.08 4.08 7/265 343762
/proc/meminfo: memFree=126725580/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=366852 memory=336824 CPUtime=1724.5 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 84068 0 0 0 172213 237 0 0 20 0 1 0 62499959 375656448 84206 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 91713 84206 814 2417 0 88815 0
Current children cumulated CPU time: 1724.5 s
Current children cumulated vsize: 385444 KiB
Current children cumulated memory: 340504 KiB

[startup+1729.6 s]
/proc/loadavg: 4.09 4.08 4.08 7/265 343762
/proc/meminfo: memFree=126725580/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=366852 memory=336824 CPUtime=1724.89 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 84068 0 0 0 172252 237 0 0 20 0 1 0 62499959 375656448 84206 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 91713 84206 814 2417 0 88815 0
Current children cumulated CPU time: 1724.89 s
Current children cumulated vsize: 385444 KiB
Current children cumulated memory: 340504 KiB

[startup+1729.7 s]
/proc/loadavg: 4.09 4.08 4.08 7/265 343762
/proc/meminfo: memFree=126725580/131524600 swapFree=131071996/131071996
[pid=342807] ppid=342793 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/342807/stat : 342807 (Hybrid-CASHWMax) S 342793 342807 342734 0 -1 4194304 244 100 0 0 0 0 0 0 20 0 1 0 62499958 10170368 675 134679101440 94075546177536 94075547256856 140732990211280 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94075549355312 94075549402500 94075568234496 140732990215120 140732990215278 140732990215278 140732990222293 0
/proc/342807/statm: 2483 675 597 264 0 134 0
[pid=342819] ppid=342807 vsize=8660 memory=980 CPUtime=0 cores=1,3
/proc/342819/stat : 342819 (timeout) S 342807 342819 342734 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62499959 8867840 245 134679101440 94890175565824 94890175600840 140734288498080 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94890177698256 94890177700388 94890193539072 140734288503820 140734288503965 140734288503965 140734288510951 0
/proc/342819/statm: 2165 245 220 9 0 87 0
[pid=342821] ppid=342819 vsize=366852 memory=336824 CPUtime=1724.99 cores=1,3
/proc/342821/stat : 342821 (CASHWMaxSAT-Dis) R 342819 342819 342734 0 -1 4194304 84068 0 0 0 172262 237 0 0 20 0 1 0 62499959 375656448 84206 134679101440 4194304 14093885 140728139522240 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46637056 140728139527186 140728139527318 140728139527318 140728139534304 0
/proc/342821/statm: 91713 84206 814 2417 0 88815 0
Current children cumulated CPU time: 1724.99 s
Current children cumulated vsize: 385444 KiB
Current children cumulated memory: 340504 KiB

Child status: 0

Real time (s): 1729.73
CPU time (s): 1725.04
CPU user time (s): 1722.66
CPU system time (s): 2.38109
CPU usage (%): 99.7288
Max. virtual memory (cumulated for all children) (KiB): 729008
Max. memory (cumulated for all children) (KiB): 619432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1722.66
system time used= 2.38109
maximum resident set size= 619848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 1849


# summary of solver processes directly reported to runsolver:
#   pid: 342807
#   total CPU time (s): 1725.04
#   total CPU user time (s): 1722.66
#   total CPU system time (s): 2.38109

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66198 second user time and 9.85413 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-08-06 17:43:45
IDJOB=4438347
IDBENCH=146652
IDSOLVER=3073
FILE ID=nodeC018/4438347-1722959025
RUNJOBID= nodeC018-1722959025-342746
SLURM_JOB_ID= 8259020
Free space on /tmp= 890084 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438347-1722959025/watcher-4438347-1722959025 -o /tmp/evaluation-result-4438347-1722959025/solver-4438347-1722959025 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722959025-342746 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438347-1722959025.opb 3600 HOME 31000

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=844413312

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3407.056
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3623.573
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
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		: 3585.445
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3351.867
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
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		: 3551.125
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3407.533
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
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		: 3571.387
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3641.102
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128786884 kB
MemAvailable:   129785664 kB
Buffers:          342836 kB
Cached:          1500320 kB
SwapCached:            0 kB
Active:           613460 kB
Inactive:        1598716 kB
Active(anon):       1420 kB
Inactive(anon):   405960 kB
Active(file):     612040 kB
Inactive(file):  1192756 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             70312 kB
Writeback:             4 kB
AnonPages:        369332 kB
Mapped:            98272 kB
Shmem:             37720 kB
KReclaimable:      67264 kB
Slab:             160076 kB
SReclaimable:      67264 kB
SUnreclaim:        92812 kB
KernelStack:        3880 kB
PageTables:         9488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     731744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            28576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      244436 kB
DirectMap2M:    25743360 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC018 at 2024-08-06 18:12:35