Trace number 4436735

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-LSMabSP+CASHWMaxSATDisjCom 2024-07-11SAT939 3587.1 3596.13

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 

3587.08/3596.12	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3587.08/3596.12	c Setting memory limit to 29976MB.
3587.08/3596.12	c Do: 140725221358088 140725221358096
3587.08/3596.12	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3587.08/3596.12	o 1237
3587.08/3596.12	o 1137
3587.08/3596.12	o 1132
3587.08/3596.12	o 1050
3587.08/3596.12	o 939
3587.08/3596.12	
3587.08/3596.12	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
3587.08/3596.12	v -x2638 -x2640 -x2652 -x2656 -x2660 -x2671 -x2674 -x2677 -x2680 -x2690 -x2698 -x2710 -x2716 -x2717 -x2724 -x2725 -x2729 -x2735 -x2737 -x2746 -x2749 -x2754 -x2755 -x2765 -x2788 -x2791 x2792 -x2794 -x2798 -x2799 -x2801 x2809 -x2815 -x2819 -x2829 -x2832 -x2835 -x2839 -x2884 -x2890 -x2895 -x2907 -x2916 -x2927 -x2968 -x2971 -x2975 -x2976 -x2978 -x2987 -x2989 -x2995 -x3001 -x3006 -x3012 -x3019 -x3029 -x3037 x3066 -x3076 -x3078 -x3080 -x3084 -x3098 -x3103 -x3104 -x3127 -x3128 -x3129 -x3134 -x3135 -x3148 -x3149 x3164 -x3177 -x3178 -x3180 -x3181 x3182 -x3183 x3185 -x3186 -x3187 -x3188 -x3204 -x3215 -x3231 -x3236 -x3237 -x3239 -x3243 -x3245 -x3246 -x3249 -x3256 -x3261 -x3269 -x3270 -x3283 -x3288 -x3293 -x3302 x3308 -x3316 -x3320 -x3324 -x3325 -x3326 -x3331 -x3334 x3348 -x3350 -x3351 -x3353 -x3359 -x3363 -x3375 -x3377 -x3378 x3381 -x3386 -x3397 -x3401 x3403 -x3405 -x3413 -x3421 -x3429 -x3430 -x3431 -x3437 -x3444 -x3447 -x3452 -x3458 -x3463 -x3473 -x3478 -x3481 -x3482 -x3489 -x3492 -x3496 -x3497 -x3499 -x3507 -x3513 -x3517 -x3527 -x3530 -x3533 -x3537 -x3585 -x3591 -x3597 -x3609 -x3618 -x3629 -x3671 -x3674 -x3677 -x3678 -x3680 -x3689 -x3691 -x3697 -x3703 -x3708 -x3714 -x3730 -x3738 -x3767 -x3778 -x3780 -x3782 -x3785 -x3787 -x3800 -x3805 -x3828 -x3829 -x3830 -x3834 -x3835 -x3836 -x3845 -x3847 -x3848 -x3849 x3851 -x3852 -x3857 -x3859 -x3864 -x3880 -x3883 -x3886 -x3887 -x3894 -x3906 -x3936 -x3942 -x3948 -x3952 -x3959 -x3960 -x3974 -x3986 -x3987 -x4011 -x4012 -x4018 -x4019 -x4020 -x4025 -x4028 -x4029 -x4030 -x4038 -x4045 -x4047 -x4048 -x4052 -x4054 -x4058 -x4059 -x4062 -x4063 -x4065 -x4067 x4072 x4075 -x4078 -x4080 -x4091 -x4106 -x4108 -x4111 -x4125 -x4131 -x4136 -x4138 -x4148 -x4151 -x4167 -x4170 -x4172 -x4184 -x4186 -x4192 -x4199 -x4200 -x4201 -x4215 -x4229 -x4231 x4232 -x4234 -x4236 -x4237 -x4238 -x4239 -x4245 x4258 -x4274 -x4284 -x4287 -x4293 -x4295 -x4299 -x4313 -x4315 -x4316 -x4320 -x4324 -x4326 -x4336 -x4345 -x4346 -x4349 -x4354 -x4356 -x4357 -x4363 -x4368 -x4370 -x4376 -x4379 -x4380 -x4381 -x4385 -x4389 -x4405 -x4412 -x4418 -x4429 -x4432 -x4435 -x4436 -x4438 -x4451 -x4456 -x4470 -x4472 -x4484 -x4485 -x4486 -x4499 -x4502 -x4507 -x4516 -x4518 -x4532 -x4535 -x4542 -x4550 -x4551 -x4552 -x4566 -x4580 -x4582 -x4583 -x4585 -x4587 -x4588 -x4589 -x4590 -x4596 -x4609 -x4625 -x4635 -x4638 -x4644 -x4646 -x4650 -x4664 -x4666 -x4667 -x4671 -x4675 -x4677 -x4687 -x4696 -x4697 -x4700 -x4705 -x4707 -x4708 -x4714 -x4719 -x4727 -x4730 -x4731 -x4732 -x4736 -x4740 -x4756 -x4763 -x4769 -x4780 -x4783 -x4786 -x4787 -x4789 -x4802 -x4807 -x4821 -x4823 -x4835 -x4836 -x4837 -x4850 -x4853 -x4858 -x4867 -x4869 -x4883 -x4886 -x4893 -x4901 -x4902 -x4903 -x4917 -x4931 -x4933 -x4934 -x4936 -x4938 -x4939 -x4940 -x4941 -x4947 -x4960 -x4976 -x4986 -x4989 -x4995 -x4997 -x5001 -x5015 -x5017 -x5018 -x5022 -x5026 -x5028 -x5038 -x5047 -x5048 -x5051 -x5056 -x5058 -x5059 -x5065 -x5070 -x5072 x5078 -x5081 -x5082 -x5083 -x5087 -x5091 -x5114 -x5131 -x5134 x5138 -x5140 -x5153 -x5158 -x5172 -x5174 -x5186 -x5187 -x5188 -x5204 -x5209 -x5218 -x5220 -x5237 -x5244 -x5249 -x5252 -x5260 -x5267 -x5268 -x5272 -x5282 -x5286 -x5292 -x5326 -x5327 -x5333 -x5336 -x5337 -x5340 -x5343 -x5344 -x5345 -x5346 -x5348 -x5350 -x5352 -x5353 -x5354 -x5356 -x5363 -x5373 -x5379 -x5390 -x5391 -x5407 -x5410 -x5432 -x5433 -x5434 x5441 -x5451 -x5456 -x5457 -x5466 -x5467 -x5468 -x5471 -x5476 -x5479 -x5480 -x5482 -x5485 -x5486 -x5488 -x5495 -x5510 -x5515 -x5520 -x5523 -x5525 -x5529 -x5535 -x5542 -x5549 -x5555 -x5570 -x5571 -x5580 -x5583 -x5588 -x5593 -x5595 -x5605 -x5619 -x5621 -x5623 -x5633 -x5635 -x5638 -x5640 -x5642 -x5643 -x5646 -x5661 -x5667 -x5677 -x5687 -x5688 -x5695 -x5697 -x5705 -x5708 -x5714 -x5715 -x5720 -x5722 -x5724 -x5728 -x5730 -x5732 -x5741 -x5744 -x5758 -x5761 -x5774 -x5783 -x5784 -x5785 -x5802 -x5807 -x5818 -x5819 -x5822 -x5833 -x5836 -x5837 -x5839 -x5846 -x5848 -x5859 -x5861 -x5863 -x5872 -x5886 -x5893 -x5903 -x5905 -x5906 -x5921 -x5922 -x5925 -x5927 -x5934 -x5939 -x5944 -x5953 -x5956 x5970 -x5972 -x5974 -x5984 -x5986 -x5989 x5991 -x5993 -x5994 -x5997 -x6012 -x6018 -x6028 -x6038 -x6039 -x6046 -x6048 -x6056 -x6059 -x6065 -x6066 -x6071 -x6073 -x6075 -x6079 -x6081 -x6083 -x6092 -x6093 -x6095 -x6109 -x6112 -x6125 -x6134 -x6135 -x6136 -x6153 -x6158 -x6168 -x6170 -x6184 -x6187 -x6188 -x6195 -x6197 -x6199 -x6210 -x6212 -x6214 -x6223 -x6237 -x6244 -x6256 -x6257 -x6272 -x6273 -x6276 -x6278 -x6290 -x6295 -x6297 -x6304 -x6307 -x6321 -x6323 -x6325 -x6335 -x6337 x6340 -x6342 -x6345 -x6348 -x6363 -x6369 -x6379 -x6389 -x6390 -x6397 -x6399 -x6407 x6410 -x6416 -x6417 -x6422 x6424 -x6426 -x6430 -x6432 -x6434 -x6443 -x6444 -x6446 -x6460 -x6463 -x6476 -x6485 x6486 x6487 -x6504 -x6509 -x6519 -x6520 -x6521 -x6524 -x6535 -x6538 -x6539 -x6541 -x6546 -x6548 x6550 -x6561 -x6563 -x6565 -x6574 -x6588 -x6595 -x6605 x6607 -x6608 -x6623 -x6624 -x6627 -x6629 -x6636 -x6641 -x6646 -x6648 -x6656 -x6657 -x6672 -x6685 -x6686 -x6688 -x6689 -x6690 -x6691 -x6693 -x6694 -x6695 -x6696 -x6714 -x6725 -x6742 -x6747 -x6748 -x6750 -x6754 -x6757 -x6758 -x6761 -x6768 x6773 -x6781 -x6782 -x6795 -x6800 -x6805 -x6814 -x6820 -x6827 -x6829 -x6833 -x6836 -x6837 -x6838 -x6843 -x6846 -x6860 -x6863 -x6865 -x6871 -x6875 -x6886 -x6888 -x6889 -x6892 -x6897 -x6908 -x6912 -x6914 -x6916 -x6924 -x6929 -x6933 -x6941 -x6942 -x6943 -x6956 -x6959 -x6969 -x6974 -x6984 -x6989 -x6992 -x7007 -x7008 -x7023 -x7036 -x7037 -x7039 -x7040 -x7041 -x7042 -x7044 -x7045 -x7046 -x7047 -x7065 -x7076 -x7093 -x7098 -x7099 -x7101 -x7105 -x7108 -x7109 -x7112 -x7119 -x7124 x7132 -x7133 -x7146 -x7151 -x7156 -x7165 -x7171 -x7178 -x7180 -x7184 -x7187 -x7188 -x7189 -x7194 -x7197 -x7211 -x7213 -x7214 -x7216 -x7222 -x7226 -x7237 -x7239 -x7240 -x7243 -x7248 -x7259 -x7263 -x7265 -x7267 -x7275 -x7280 -x7284 x7292 -x7293 -x7294 -x7307 -x7310 -x7320 -x7325 -x7335 -x7340 -x7343 -x7358 -x7359 -x7374 -x7387 -x7388 -x7390 -x7391 -x7392 -x7393 -x7395 -x7396 -x7397 -x7398 -x7416 -x7427 -x7444 -x7449 -x7450 -x7452 -x7456 -x7459 -x7460 -x7463 -x7470 -x7475 -x7483 -x7497 -x7502 -x7507 -x7516 -x7522 -x7529 -x7531 -x7535 -x7538 -x7539 -x7540 -x7545 -x7548 -x7562 -x7564 -x7565 -x7567 -x7573 -x7577 -x7588 -x7590 -x7591 -x7594 -x7599 -x7610 -x7614 -x7616 x7618 -x7626 -x7631 -x7635 -x7643 -x7644 -x7645 -x7658 -x7661 -x7671 -x7676 -x7686 -x7691 -x7694 x7709 x7710 -x7725 -x7739 -x7741 -x7742 -x7743 -x7744 -x7746 -x7747 -x7748 -x7749 -x7767 -x7778 x7795 -x7800 -x7801 x7803 -x7807 -x7810 -x7811 -x7814 -x7821 -x7826 -x7834 -x7835 -x7848 -x7853 -x7858 x7867 -x7873 -x7880 -x7882 -x7886 x7889 -x7890 -x7891 -x7899 -x7913 -x7915 -x7916 -x7918 -x7924 -x7928 -x7939 -x7941 x7942 -x7945 -x7950 -x7961 -x7965 -x7967 -x7969 -x7977 -x7982 -x7986 -x7994 -x7995 -x7996 -x8009 x8012 -x8022 -x8027 -x8037 -x8042 -x8045 -x8057 -x8059 -x8060 -x8062 -x8071 -x8079 -x8084 -x8085 -x8090 -x8100 -x8145 -x8148 -x8153 -x8154 -x8160 -x8161 -x8164 -x8187 -x8198 -x8199 -x8209 -x8231 -x8234 -x8237 -x8242 -x8250 -x8252 -x8254 -x8266 -x8270 -x8274 -x8293 -x8323 -x8329 -x8333 -x8339 -x8343 -x8363 -x8368 -x8378 -x8389 -x8391
3587.08/3596.12	s SATISFIABLE

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436735-1722948203/watcher-4436735-1722948203 -o /tmp/evaluation-result-4436735-1722948203/solver-4436735-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722948202-322183 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436735-1722948203.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=322246, runsolver pid=322237

[startup+0.100102 s]*
/proc/loadavg: 0.45 0.17 0.11 8/250 322257
/proc/meminfo: memFree=126657424/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417367 10170368 674 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 674 595 264 0 134 0
[pid=322253] ppid=322246 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/322253/stat : 322253 (timeout) S 322246 322253 322170 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61417368 8867840 255 134679101440 94302586597376 94302586632392 140720378150912 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94302588729808 94302588731940 94302620282880 140720378156061 140720378156193 140720378156193 140720378163175 0
/proc/322253/statm: 2165 255 230 9 0 87 0
[pid=322256] ppid=322253 vsize=27880 memory=8792 CPUtime=0.09 cores=5,7
/proc/322256/stat : 322256 (CASHWMaxSAT-Dis) R 322253 322253 322170 0 -1 4194304 1536 0 0 0 9 0 0 0 20 0 1 0 61417368 28549120 2198 134679101440 4194304 14093885 140725221360448 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50716672 140725221368867 140725221368986 140725221368986 140725221375968 0
/proc/322256/statm: 6970 2198 750 2417 0 4072 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46472 KiB
Current children cumulated memory: 12508 KiB

[startup+0.215038 s]*
/proc/loadavg: 0.45 0.17 0.11 8/250 322257
/proc/meminfo: memFree=126635916/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417367 10170368 674 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 674 595 264 0 134 0
[pid=322253] ppid=322246 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/322253/stat : 322253 (timeout) S 322246 322253 322170 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61417368 8867840 255 134679101440 94302586597376 94302586632392 140720378150912 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94302588729808 94302588731940 94302620282880 140720378156061 140720378156193 140720378156193 140720378163175 0
/proc/322253/statm: 2165 255 230 9 0 87 0
[pid=322256] ppid=322253 vsize=32860 memory=13764 CPUtime=0.2 cores=5,7
/proc/322256/stat : 322256 (CASHWMaxSAT-Dis) R 322253 322253 322170 0 -1 4194304 2764 0 0 0 20 0 0 0 20 0 1 0 61417368 33648640 3441 134679101440 4194304 14093885 140725221360448 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50716672 140725221368867 140725221368986 140725221368986 140725221375968 0
/proc/322256/statm: 8215 3441 750 2417 0 5317 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51452 KiB
Current children cumulated memory: 17480 KiB

[startup+0.315029 s]*
/proc/loadavg: 0.45 0.17 0.11 8/250 322257
/proc/meminfo: memFree=126620896/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417367 10170368 674 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 674 595 264 0 134 0
[pid=322253] ppid=322246 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/322253/stat : 322253 (timeout) S 322246 322253 322170 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61417368 8867840 255 134679101440 94302586597376 94302586632392 140720378150912 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94302588729808 94302588731940 94302620282880 140720378156061 140720378156193 140720378156193 140720378163175 0
/proc/322253/statm: 2165 255 230 9 0 87 0
[pid=322256] ppid=322253 vsize=39472 memory=22624 CPUtime=0.31 cores=5,7
/proc/322256/stat : 322256 (CASHWMaxSAT-Dis) R 322253 322253 322170 0 -1 4194304 4503 0 0 0 30 1 0 0 20 0 1 0 61417368 40419328 5656 134679101440 4194304 14093885 140725221360448 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50716672 140725221368867 140725221368986 140725221368986 140725221375968 0
/proc/322256/statm: 9868 5656 782 2417 0 6970 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 58064 KiB
Current children cumulated memory: 26340 KiB

[startup+0.700566 s]
/proc/loadavg: 0.45 0.17 0.11 8/250 322257
/proc/meminfo: memFree=126568472/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417367 10170368 674 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 674 595 264 0 134 0
[pid=322253] ppid=322246 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/322253/stat : 322253 (timeout) S 322246 322253 322170 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61417368 8867840 255 134679101440 94302586597376 94302586632392 140720378150912 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94302588729808 94302588731940 94302620282880 140720378156061 140720378156193 140720378156193 140720378163175 0
/proc/322253/statm: 2165 255 230 9 0 87 0
[pid=322256] ppid=322253 vsize=94732 memory=73568 CPUtime=0.68 cores=5,7
/proc/322256/stat : 322256 (CASHWMaxSAT-Dis) R 322253 322253 322170 0 -1 4194304 14794 0 0 0 62 6 0 0 20 0 1 0 61417368 97005568 18392 134679101440 4194304 14093885 140725221360448 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50716672 140725221368867 140725221368986 140725221368986 140725221375968 0
/proc/322256/statm: 23683 18392 782 2417 0 20785 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 113324 KiB
Current children cumulated memory: 77284 KiB

[startup+1.50046 s]
/proc/loadavg: 0.45 0.17 0.11 8/250 322259
/proc/meminfo: memFree=126447160/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417367 10170368 674 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 674 595 264 0 134 0
[pid=322253] ppid=322246 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/322253/stat : 322253 (timeout) S 322246 322253 322170 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61417368 8867840 255 134679101440 94302586597376 94302586632392 140720378150912 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94302588729808 94302588731940 94302620282880 140720378156061 140720378156193 140720378156193 140720378163175 0
/proc/322253/statm: 2165 255 230 9 0 87 0
[pid=322256] ppid=322253 vsize=172668 memory=148036 CPUtime=1.48 cores=5,7
/proc/322256/stat : 322256 (CASHWMaxSAT-Dis) R 322253 322253 322170 0 -1 4194304 30379 0 0 0 136 12 0 0 20 0 1 0 61417368 176812032 37009 134679101440 4194304 14093885 140725221360448 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50716672 140725221368867 140725221368986 140725221368986 140725221375968 0
/proc/322256/statm: 43167 37009 782 2417 0 40269 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 191260 KiB
Current children cumulated memory: 151752 KiB

[startup+3.11366 s]
/proc/loadavg: 0.45 0.17 0.11 8/250 322259
/proc/meminfo: memFree=126229796/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417367 10170368 674 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 674 595 264 0 134 0
[pid=322253] ppid=322246 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/322253/stat : 322253 (timeout) S 322246 322253 322170 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61417368 8867840 255 134679101440 94302586597376 94302586632392 140720378150912 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94302588729808 94302588731940 94302620282880 140720378156061 140720378156193 140720378156193 140720378163175 0
/proc/322253/statm: 2165 255 230 9 0 87 0
[pid=322256] ppid=322253 vsize=197036 memory=162444 CPUtime=3.08 cores=5,7
/proc/322256/stat : 322256 (CASHWMaxSAT-Dis) R 322253 322253 322170 0 -1 4194304 35568 0 0 0 294 14 0 0 20 0 1 0 61417368 201764864 40611 134679101440 4194304 14093885 140725221360448 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50716672 140725221368867 140725221368986 140725221368986 140725221375968 0
/proc/322256/statm: 49259 40611 782 2417 0 46361 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 215628 KiB
Current children cumulated memory: 166160 KiB

[startup+6.30042 s]
/proc/loadavg: 0.74 0.23 0.14 8/250 322259
/proc/meminfo: memFree=126213748/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417367 10170368 674 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 674 595 264 0 134 0
[pid=322253] ppid=322246 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/322253/stat : 322253 (timeout) S 322246 322253 322170 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61417368 8867840 255 134679101440 94302586597376 94302586632392 140720378150912 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94302588729808 94302588731940 94302620282880 140720378156061 140720378156193 140720378156193 140720378163175 0
/proc/322253/statm: 2165 255 230 9 0 87 0
[pid=322256] ppid=322253 vsize=197036 memory=164492 CPUtime=6.26 cores=5,7
/proc/322256/stat : 322256 (CASHWMaxSAT-Dis) R 322253 322253 322170 0 -1 4194304 35581 0 0 0 612 14 0 0 20 0 1 0 61417368 201764864 41123 134679101440 4194304 14093885 140725221360448 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50716672 140725221368867 140725221368986 140725221368986 140725221375968 0
/proc/322256/statm: 49259 41123 782 2417 0 46361 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 215628 KiB
Current children cumulated memory: 168208 KiB

[startup+12.7004 s]
/proc/loadavg: 1.00 0.30 0.16 8/250 322260
/proc/meminfo: memFree=126176108/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417367 10170368 674 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 674 595 264 0 134 0
[pid=322253] ppid=322246 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/322253/stat : 322253 (timeout) S 322246 322253 322170 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61417368 8867840 255 134679101440 94302586597376 94302586632392 140720378150912 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94302588729808 94302588731940 94302620282880 140720378156061 140720378156193 140720378156193 140720378163175 0
/proc/322253/statm: 2165 255 230 9 0 87 0
[pid=322256] ppid=322253 vsize=227384 memory=197632 CPUtime=12.65 cores=5,7
/proc/322256/stat : 322256 (CASHWMaxSAT-Dis) R 322253 322253 322170 0 -1 4194304 35700 0 0 0 1250 15 0 0 20 0 1 0 61417368 232841216 49408 134679101440 4194304 14093885 140725221360448 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50716672 140725221368867 140725221368986 140725221368986 140725221375968 0
/proc/322256/statm: 56846 49408 814 2417 0 53948 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 245976 KiB
Current children cumulated memory: 201348 KiB

[startup+25.5005 s]
/proc/loadavg: 1.66 0.48 0.22 8/250 322262
/proc/meminfo: memFree=126116632/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417367 10170368 674 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 674 595 264 0 134 0
[pid=322253] ppid=322246 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/322253/stat : 322253 (timeout) S 322246 322253 322170 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61417368 8867840 255 134679101440 94302586597376 94302586632392 140720378150912 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94302588729808 94302588731940 94302620282880 140720378156061 140720378156193 140720378156193 140720378163175 0
/proc/322253/statm: 2165 255 230 9 0 87 0
[pid=322256] ppid=322253 vsize=246352 memory=224080 CPUtime=25.41 cores=5,7
/proc/322256/stat : 322256 (CASHWMaxSAT-Dis) R 322253 322253 322170 0 -1 4194304 36755 0 0 0 2526 15 0 0 20 0 1 0 61417368 252264448 56020 134679101440 4194304 14093885 140725221360448 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50716672 140725221368867 140725221368986 140725221368986 140725221375968 0
/proc/322256/statm: 61588 56020 814 2417 0 58690 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 264944 KiB
Current children cumulated memory: 227796 KiB

[startup+51.1137 s]
/proc/loadavg: 2.52 0.78 0.33 8/250 322267
/proc/meminfo: memFree=126065176/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417367 10170368 674 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 674 595 264 0 134 0
[pid=322253] ppid=322246 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/322253/stat : 322253 (timeout) S 322246 322253 322170 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61417368 8867840 255 134679101440 94302586597376 94302586632392 140720378150912 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94302588729808 94302588731940 94302620282880 140720378156061 140720378156193 140720378156193 140720378163175 0
/proc/322253/statm: 2165 255 230 9 0 87 0
[pid=322256] ppid=322253 vsize=276700 memory=254556 CPUtime=50.95 cores=5,7
/proc/322256/stat : 322256 (CASHWMaxSAT-Dis) R 322253 322253 322170 0 -1 4194304 37338 0 0 0 5079 16 0 0 20 0 1 0 61417368 283340800 63639 134679101440 4194304 14093885 140725221360448 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50716672 140725221368867 140725221368986 140725221368986 140725221375968 0
/proc/322256/statm: 69175 63639 814 2417 0 66277 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 295292 KiB
Current children cumulated memory: 258272 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.29 0.53 8/250 322275
/proc/meminfo: memFree=126060776/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2696 CPUtime=0 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 61417367 10170368 674 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0

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

/proc/322246/statm: 2483 684 595 264 0 134 0
[pid=323208] ppid=322246 vsize=8660 memory=1008 CPUtime=0 cores=5,7
/proc/323208/stat : 323208 (timeout) S 322246 323208 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597168 8867840 252 134679101440 94887086731264 94887086766280 140723837575760 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94887088863696 94887088865828 94887121485824 140723837580333 140723837580449 140723837580449 140723837587431 0
/proc/323208/statm: 2165 252 227 9 0 87 0
[pid=323210] ppid=323208 vsize=176348 memory=170240 CPUtime=1660.5 cores=5,7
/proc/323210/stat : 323210 (LS-MabSP) R 323208 323208 322170 0 -1 4194304 37234 0 0 0 162523 3527 0 0 20 0 1 0 61597168 180580352 42560 134679101440 4194304 15467897 140729729064336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 23953408 140729729066048 140729729066151 140729729066151 140729729073133 0
/proc/323210/statm: 44087 42560 2849 2753 0 40740 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 194940 KiB
Current children cumulated memory: 173984 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.05 7/247 324140
/proc/meminfo: memFree=125954576/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2736 CPUtime=1793.14 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 267 71208 0 1 0 0 179047 267 20 0 1 0 61417367 10170368 684 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 684 595 264 0 134 0
[pid=323208] ppid=322246 vsize=8660 memory=1008 CPUtime=0 cores=5,7
/proc/323208/stat : 323208 (timeout) S 322246 323208 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597168 8867840 252 134679101440 94887086731264 94887086766280 140723837575760 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94887088863696 94887088865828 94887121485824 140723837580333 140723837580449 140723837580449 140723837587431 0
/proc/323208/statm: 2165 252 227 9 0 87 0
[pid=323210] ppid=323208 vsize=176348 memory=170240 CPUtime=1720.36 cores=5,7
/proc/323210/stat : 323210 (LS-MabSP) R 323208 323208 322170 0 -1 4194304 37246 0 0 0 168376 3660 0 0 20 0 1 0 61597168 180580352 42560 134679101440 4194304 15467897 140729729064336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 23953408 140729729066048 140729729066151 140729729066151 140729729073133 0
/proc/323210/statm: 44087 42560 2849 2753 0 40740 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 194940 KiB
Current children cumulated memory: 173984 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.05 7/247 324151
/proc/meminfo: memFree=125954328/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2736 CPUtime=1793.14 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 267 71208 0 1 0 0 179047 267 20 0 1 0 61417367 10170368 684 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 684 595 264 0 134 0
[pid=323208] ppid=322246 vsize=8660 memory=1008 CPUtime=0 cores=5,7
/proc/323208/stat : 323208 (timeout) S 322246 323208 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597168 8867840 252 134679101440 94887086731264 94887086766280 140723837575760 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94887088863696 94887088865828 94887121485824 140723837580333 140723837580449 140723837580449 140723837587431 0
/proc/323208/statm: 2165 252 227 9 0 87 0
[pid=323210] ppid=323208 vsize=176348 memory=170240 CPUtime=1780.21 cores=5,7
/proc/323210/stat : 323210 (LS-MabSP) R 323208 323208 322170 0 -1 4194304 37258 0 0 0 174238 3783 0 0 20 0 1 0 61597168 180580352 42560 134679101440 4194304 15467897 140729729064336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 23953408 140729729066048 140729729066151 140729729066151 140729729073133 0
/proc/323210/statm: 44087 42560 2849 2753 0 40740 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 194940 KiB
Current children cumulated memory: 173984 KiB

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

# cumulated CPU time of all completed processes:  user=3546.28 s, system=40.8238 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.12 4.05 7/247 324151
/proc/meminfo: memFree=125954324/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2736 CPUtime=1793.14 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 267 71208 0 1 0 0 179047 267 20 0 1 0 61417367 10170368 684 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 684 595 264 0 134 0
[pid=323208] ppid=322246 vsize=8660 memory=1008 CPUtime=0 cores=5,7
/proc/323208/stat : 323208 (timeout) S 322246 323208 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597168 8867840 252 134679101440 94887086731264 94887086766280 140723837575760 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94887088863696 94887088865828 94887121485824 140723837580333 140723837580449 140723837580449 140723837587431 0
/proc/323208/statm: 2165 252 227 9 0 87 0
[pid=323210] ppid=323208 vsize=176348 memory=170240 CPUtime=1781.92 cores=5,7
/proc/323210/stat : 323210 (LS-MabSP) R 323208 323208 322170 0 -1 4194304 37258 0 0 0 174406 3786 0 0 20 0 1 0 61597168 180580352 42560 134679101440 4194304 15467897 140729729064336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 23953408 140729729066048 140729729066151 140729729066151 140729729073133 0
/proc/323210/statm: 44087 42560 2849 2753 0 40740 0
Current children cumulated CPU time: 3575.06 s
Current children cumulated vsize: 194940 KiB
Current children cumulated memory: 173984 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.12 4.05 7/247 324151
/proc/meminfo: memFree=125954352/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2736 CPUtime=1793.14 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 267 71208 0 1 0 0 179047 267 20 0 1 0 61417367 10170368 684 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 684 595 264 0 134 0
[pid=323208] ppid=322246 vsize=8660 memory=1008 CPUtime=0 cores=5,7
/proc/323208/stat : 323208 (timeout) S 322246 323208 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597168 8867840 252 134679101440 94887086731264 94887086766280 140723837575760 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94887088863696 94887088865828 94887121485824 140723837580333 140723837580449 140723837580449 140723837587431 0
/proc/323208/statm: 2165 252 227 9 0 87 0
[pid=323210] ppid=323208 vsize=176348 memory=170240 CPUtime=1788.3 cores=5,7
/proc/323210/stat : 323210 (LS-MabSP) R 323208 323208 322170 0 -1 4194304 37258 0 0 0 175030 3800 0 0 20 0 1 0 61597168 180580352 42560 134679101440 4194304 15467897 140729729064336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 23953408 140729729066048 140729729066151 140729729066151 140729729073133 0
/proc/323210/statm: 44087 42560 2849 2753 0 40740 0
Current children cumulated CPU time: 3581.44 s
Current children cumulated vsize: 194940 KiB
Current children cumulated memory: 173984 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.12 4.05 7/247 324152
/proc/meminfo: memFree=125954256/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2736 CPUtime=1793.14 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 267 71208 0 1 0 0 179047 267 20 0 1 0 61417367 10170368 684 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 684 595 264 0 134 0
[pid=323208] ppid=322246 vsize=8660 memory=1008 CPUtime=0 cores=5,7
/proc/323208/stat : 323208 (timeout) S 322246 323208 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597168 8867840 252 134679101440 94887086731264 94887086766280 140723837575760 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94887088863696 94887088865828 94887121485824 140723837580333 140723837580449 140723837580449 140723837587431 0
/proc/323208/statm: 2165 252 227 9 0 87 0
[pid=323210] ppid=323208 vsize=176348 memory=170240 CPUtime=1791.48 cores=5,7
/proc/323210/stat : 323210 (LS-MabSP) R 323208 323208 322170 0 -1 4194304 37258 0 0 0 175342 3806 0 0 20 0 1 0 61597168 180580352 42560 134679101440 4194304 15467897 140729729064336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 23953408 140729729066048 140729729066151 140729729066151 140729729073133 0
/proc/323210/statm: 44087 42560 2849 2753 0 40740 0
Current children cumulated CPU time: 3584.62 s
Current children cumulated vsize: 194940 KiB
Current children cumulated memory: 173984 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.11 4.05 7/247 324152
/proc/meminfo: memFree=125954304/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2736 CPUtime=1793.14 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 267 71208 0 1 0 0 179047 267 20 0 1 0 61417367 10170368 684 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 684 595 264 0 134 0
[pid=323208] ppid=322246 vsize=8660 memory=1008 CPUtime=0 cores=5,7
/proc/323208/stat : 323208 (timeout) S 322246 323208 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597168 8867840 252 134679101440 94887086731264 94887086766280 140723837575760 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94887088863696 94887088865828 94887121485824 140723837580333 140723837580449 140723837580449 140723837587431 0
/proc/323208/statm: 2165 252 227 9 0 87 0
[pid=323210] ppid=323208 vsize=176348 memory=170240 CPUtime=1793.08 cores=5,7
/proc/323210/stat : 323210 (LS-MabSP) R 323208 323208 322170 0 -1 4194304 37258 0 0 0 175499 3809 0 0 20 0 1 0 61597168 180580352 42560 134679101440 4194304 15467897 140729729064336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 23953408 140729729066048 140729729066151 140729729066151 140729729073133 0
/proc/323210/statm: 44087 42560 2849 2753 0 40740 0
Current children cumulated CPU time: 3586.22 s
Current children cumulated vsize: 194940 KiB
Current children cumulated memory: 173984 KiB

[startup+3595.6 s]
/proc/loadavg: 4.09 4.11 4.05 7/247 324152
/proc/meminfo: memFree=125954304/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2736 CPUtime=1793.14 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 267 71208 0 1 0 0 179047 267 20 0 1 0 61417367 10170368 684 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 684 595 264 0 134 0
[pid=323208] ppid=322246 vsize=8660 memory=1008 CPUtime=0 cores=5,7
/proc/323208/stat : 323208 (timeout) S 322246 323208 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597168 8867840 252 134679101440 94887086731264 94887086766280 140723837575760 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94887088863696 94887088865828 94887121485824 140723837580333 140723837580449 140723837580449 140723837587431 0
/proc/323208/statm: 2165 252 227 9 0 87 0
[pid=323210] ppid=323208 vsize=176348 memory=170240 CPUtime=1793.48 cores=5,7
/proc/323210/stat : 323210 (LS-MabSP) R 323208 323208 322170 0 -1 4194304 37258 0 0 0 175537 3811 0 0 20 0 1 0 61597168 180580352 42560 134679101440 4194304 15467897 140729729064336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 23953408 140729729066048 140729729066151 140729729066151 140729729073133 0
/proc/323210/statm: 44087 42560 2849 2753 0 40740 0
Current children cumulated CPU time: 3586.62 s
Current children cumulated vsize: 194940 KiB
Current children cumulated memory: 173984 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.11 4.05 7/247 324152
/proc/meminfo: memFree=125954296/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2736 CPUtime=1793.14 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 267 71208 0 1 0 0 179047 267 20 0 1 0 61417367 10170368 684 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 684 595 264 0 134 0
[pid=323208] ppid=322246 vsize=8660 memory=1008 CPUtime=0 cores=5,7
/proc/323208/stat : 323208 (timeout) S 322246 323208 322170 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61597168 8867840 252 134679101440 94887086731264 94887086766280 140723837575760 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94887088863696 94887088865828 94887121485824 140723837580333 140723837580449 140723837580449 140723837587431 0
/proc/323208/statm: 2165 252 227 9 0 87 0
[pid=323210] ppid=323208 vsize=176348 memory=170240 CPUtime=1793.89 cores=5,7
/proc/323210/stat : 323210 (LS-MabSP) R 323208 323208 322170 0 -1 4194304 37258 0 0 0 175578 3811 0 0 20 0 1 0 61597168 180580352 42560 134679101440 4194304 15467897 140729729064336 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 23953408 140729729066048 140729729066151 140729729066151 140729729073133 0
/proc/323210/statm: 44087 42560 2849 2753 0 40740 0
Current children cumulated CPU time: 3587.03 s
Current children cumulated vsize: 194940 KiB
Current children cumulated memory: 173984 KiB

[startup+3596.11 s]
/proc/loadavg: 4.09 4.11 4.05 7/247 324152
/proc/meminfo: memFree=125954296/131655788 swapFree=131071996/131071996
[pid=322246] ppid=322237 vsize=9932 memory=2760 CPUtime=3587.08 cores=5,7
/proc/322246/stat : 322246 (Hybrid-LSMabSP+) S 322237 322246 322170 0 -1 4194304 398 110761 0 1 0 0 354627 4081 20 0 1 0 61417367 10170368 690 134679101440 94259465080832 94259466160152 140732013821184 0 0 0 0 4 65536 0 0 0 17 5 0 0 0 0 0 94259468258608 94259468305796 94259490840576 140732013822930 140732013823089 140732013823089 140732013830100 0
/proc/322246/statm: 2483 690 595 264 0 134 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2760 KiB

Child status: 0

Real time (s): 3596.13
CPU time (s): 3587.1
CPU user time (s): 3546.28
CPU system time (s): 40.8238
CPU usage (%): 99.749
Max. virtual memory (cumulated for all children) (KiB): 850784
Max. memory (cumulated for all children) (KiB): 628584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.28
system time used= 40.8238
maximum resident set size= 642012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111813
page faults= 1
swaps= 0
block input operations= 24
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148
involuntary context switches= 2459


# summary of solver processes directly reported to runsolver:
#   pid: 322246
#   total CPU time (s): 3587.1
#   total CPU user time (s): 3546.28
#   total CPU system time (s): 40.8238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0183 second user time and 37.0265 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-08-06 14:43:23
IDJOB=4436735
IDBENCH=146652
IDSOLVER=3069
FILE ID=nodeC010/4436735-1722948203
RUNJOBID= nodeC010-1722948202-322183
SLURM_JOB_ID= 8258998
Free space on /tmp= 723780 MiB

SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 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-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436735-1722948203/watcher-4436735-1722948203 -o /tmp/evaluation-result-4436735-1722948203/solver-4436735-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722948202-322183 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436735-1722948203.opb 3600 HOME 31000

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=18592742

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126695144 kB
MemAvailable:   130017704 kB
Buffers:          331152 kB
Cached:          3844300 kB
SwapCached:            0 kB
Active:           580088 kB
Inactive:        3903084 kB
Active(anon):       1864 kB
Inactive(anon):   352088 kB
Active(file):     578224 kB
Inactive(file):  3550996 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            123260 kB
Writeback:             4 kB
AnonPages:        308088 kB
Mapped:           102428 kB
Shmem:             45888 kB
KReclaimable:      66740 kB
Slab:             151648 kB
SReclaimable:      66740 kB
SUnreclaim:        84908 kB
KernelStack:        3616 kB
PageTables:         9448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     590764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            23488 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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:      248648 kB
DirectMap2M:    22724608 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723664 MiB
End job on nodeC010 at 2024-08-06 15:43:21