Trace number 4428675

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
LS-MabP 2024-07-10SAT939 3558.02 3565.22

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 

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428675-1722769581/watcher-4428675-1722769581 -o /tmp/evaluation-result-4428675-1722769581/solver-4428675-1722769581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722769581-229884 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428675-1722769581.opb -t 3558 -s 17552991 --no-s 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100084 s]*
/proc/loadavg: 0.11 0.09 0.09 6/241 229947
/proc/meminfo: memFree=126819356/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=21424 memory=8848 CPUtime=0.1 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 869 0 0 0 10 0 0 0 20 0 1 0 43555054 21938176 2212 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 5356 2212 1073 2753 0 2009 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21424 KiB
Current children cumulated memory: 8848 KiB

[startup+0.21345 s]*
/proc/loadavg: 0.11 0.09 0.09 6/241 229947
/proc/meminfo: memFree=126814108/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=22960 memory=9616 CPUtime=0.21 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 1437 0 0 0 21 0 0 0 20 0 1 0 43555054 23511040 2404 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 5740 2404 1073 2753 0 2393 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 22960 KiB
Current children cumulated memory: 9616 KiB

[startup+0.312607 s]*
/proc/loadavg: 0.11 0.09 0.09 6/241 229947
/proc/meminfo: memFree=126806536/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=30336 memory=17244 CPUtime=0.31 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 3579 0 0 0 30 1 0 0 20 0 1 0 43555054 31064064 4311 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 7584 4311 1105 2753 0 4237 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30336 KiB
Current children cumulated memory: 17244 KiB

[startup+0.700366 s]
/proc/loadavg: 0.11 0.09 0.09 6/241 229947
/proc/meminfo: memFree=126803568/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=38008 memory=23916 CPUtime=0.68 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 5443 0 0 0 67 1 0 0 20 0 1 0 43555054 38920192 5979 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 9502 5979 1153 2753 0 6155 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38008 KiB
Current children cumulated memory: 23916 KiB

[startup+1.50034 s]
/proc/loadavg: 0.11 0.09 0.09 6/241 229947
/proc/meminfo: memFree=126785688/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34508 CPUtime=1.48 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 20617 0 0 0 143 5 0 0 20 0 1 0 43555054 48586752 8627 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8627 1169 2753 0 8515 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34508 KiB

[startup+3.11245 s]
/proc/loadavg: 0.50 0.17 0.12 6/241 229947
/proc/meminfo: memFree=126785316/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34508 CPUtime=3.09 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 22013 0 0 0 300 9 0 0 20 0 1 0 43555054 48586752 8627 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8627 1169 2753 0 8515 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34508 KiB

[startup+6.30025 s]
/proc/loadavg: 0.50 0.17 0.12 6/241 229949
/proc/meminfo: memFree=126785200/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34520 CPUtime=6.27 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 23876 0 0 0 611 16 0 0 20 0 1 0 43555054 48586752 8630 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8630 1169 2753 0 8515 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34520 KiB

[startup+12.7002 s]
/proc/loadavg: 1.04 0.30 0.16 6/241 229949
/proc/meminfo: memFree=126785264/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34520 CPUtime=12.66 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 23876 0 0 0 1238 28 0 0 20 0 1 0 43555054 48586752 8630 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8630 1169 2753 0 8515 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34520 KiB

[startup+25.5003 s]
/proc/loadavg: 1.50 0.42 0.20 6/241 229952
/proc/meminfo: memFree=126785284/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34520 CPUtime=25.43 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 23876 0 0 0 2492 51 0 0 20 0 1 0 43555054 48586752 8630 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8630 1169 2753 0 8515 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34520 KiB

[startup+51.1122 s]
/proc/loadavg: 2.53 0.76 0.32 6/241 229955
/proc/meminfo: memFree=126784512/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34520 CPUtime=50.99 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 23876 0 0 0 4994 105 0 0 20 0 1 0 43555054 48586752 8630 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8630 1169 2753 0 8515 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34520 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.30 0.53 6/241 229963
/proc/meminfo: memFree=126784140/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34520 CPUtime=102.07 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 23876 0 0 0 9994 213 0 0 20 0 1 0 43555054 48586752 8630 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8630 1169 2753 0 8515 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34520 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 1.83 0.76 6/241 229975
/proc/meminfo: memFree=126783740/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34520 CPUtime=161.95 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 23876 0 0 0 15857 338 0 0 20 0 1 0 43555054 48586752 8630 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8630 1169 2753 0 8515 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34520 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.24 0.97 6/241 229986
/proc/meminfo: memFree=126782288/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=221.82 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 23953 0 0 0 21715 467 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 221.82 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 2.58 1.17 6/242 230000
/proc/meminfo: memFree=126782200/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=281.7 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 23989 0 0 0 27578 592 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 281.7 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 2.85 1.36 6/240 230010
/proc/meminfo: memFree=126781784/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=341.57 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24013 0 0 0 33439 718 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 341.57 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.08 1.53 6/240 230021
/proc/meminfo: memFree=126781444/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=401.45 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24025 0 0 0 39300 845 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 401.45 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.28 1.70 6/240 230031
/proc/meminfo: memFree=126781108/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=461.33 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24037 0 0 0 45160 973 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0

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

/proc/loadavg: 4.04 4.12 4.08 6/244 231688
/proc/meminfo: memFree=126867944/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3155.9 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24577 0 0 0 308852 6738 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3155.9 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/243 231699
/proc/meminfo: memFree=126867740/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3215.78 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24589 0 0 0 314719 6859 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3215.78 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/241 231722
/proc/meminfo: memFree=126866932/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3275.66 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24601 0 0 0 320580 6986 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3275.66 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/241 231732
/proc/meminfo: memFree=126866940/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3335.54 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24613 0 0 0 326445 7109 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3335.54 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/241 231743
/proc/meminfo: memFree=126866616/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3395.41 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24625 0 0 0 332311 7230 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3395.41 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/242 231758
/proc/meminfo: memFree=126866216/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3455.3 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24637 0 0 0 338148 7382 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3455.3 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/242 231768
/proc/meminfo: memFree=126866040/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3515.18 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24649 0 0 0 344002 7516 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3515.18 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

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

# cumulated CPU time of all completed processes:  user=3481.93 s, system=76.0826 s

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

[startup+3532.8 s]
/proc/loadavg: 4.12 4.11 4.09 6/242 231769
/proc/meminfo: memFree=126866016/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3525.65 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24649 0 0 0 345026 7539 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3525.65 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+3545.6 s]
/proc/loadavg: 4.09 4.11 4.09 6/242 231772
/proc/meminfo: memFree=126865872/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3538.43 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24649 0 0 0 346276 7567 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3538.43 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+3558.4 s]
/proc/loadavg: 4.07 4.10 4.09 6/241 231775
/proc/meminfo: memFree=126865776/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3551.2 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24649 0 0 0 347527 7593 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3551.2 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+3561.6 s]
/proc/loadavg: 4.07 4.10 4.09 6/241 231775
/proc/meminfo: memFree=126865760/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3554.39 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24649 0 0 0 347839 7600 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3554.39 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+3563.2 s]
/proc/loadavg: 4.06 4.10 4.09 6/241 231775
/proc/meminfo: memFree=126865752/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3555.99 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24649 0 0 0 347996 7603 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3555.99 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+3564 s]*
/proc/loadavg: 4.06 4.10 4.09 6/241 231776
/proc/meminfo: memFree=126865732/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3556.8 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24649 0 0 0 348076 7604 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3556.8 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+3564.8 s]
/proc/loadavg: 4.06 4.10 4.09 6/241 231776
/proc/meminfo: memFree=126865732/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3557.58 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24649 0 0 0 348152 7606 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3557.58 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

[startup+3565.2 s]
/proc/loadavg: 4.06 4.10 4.09 7/236 231784
/proc/meminfo: memFree=126879208/131655788 swapFree=131071996/131071996
[pid=229939] ppid=229936 vsize=47448 memory=34928 CPUtime=3557.98 cores=1,3
/proc/229939/stat : 229939 (LS-MabP) R 229936 229939 229872 0 -1 4194304 24661 0 0 0 348191 7607 0 0 20 0 1 0 43555054 48586752 8732 134679101440 4194304 15467897 140722093065984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38244352 140722093073439 140722093073546 140722093073546 140722093080558 0
/proc/229939/statm: 11862 8732 1169 2753 0 8515 0
Current children cumulated CPU time: 3557.98 s
Current children cumulated vsize: 47448 KiB
Current children cumulated memory: 34928 KiB

Child status: 0

Real time (s): 3565.22
CPU time (s): 3558.02
CPU user time (s): 3481.93
CPU system time (s): 76.0826
CPU usage (%): 99.7979
Max. virtual memory (cumulated for all children) (KiB): 47448
Max. memory (cumulated for all children) (KiB): 34928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3481.93
system time used= 76.0825
maximum resident set size= 36532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25129
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 925


# summary of solver processes directly reported to runsolver:
#   pid: 229939
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3481.93
#   total CPU system time (s): 76.0826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9095 second user time and 31.5664 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-08-04 13:06:21
IDJOB=4428675
IDBENCH=146652
IDSOLVER=3049
FILE ID=nodeC010/4428675-1722769581
RUNJOBID= nodeC010-1722769581-229884
SLURM_JOB_ID= 8257548
Free space on /tmp= 723768 MiB

SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t 3558 -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428675-1722769581/watcher-4428675-1722769581 -o /tmp/evaluation-result-4428675-1722769581/solver-4428675-1722769581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722769581-229884 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428675-1722769581.opb -t 3558 -s 17552991 --no-s

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=17552991

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.173
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.264
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		: 1197.123
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		: 1197.123
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		: 1197.123
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		: 1197.376
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.141
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:        126836488 kB
MemAvailable:   130037188 kB
Buffers:          288076 kB
Cached:          3758480 kB
SwapCached:            0 kB
Active:           478592 kB
Inactive:        3875924 kB
Active(anon):       1856 kB
Inactive(anon):   343796 kB
Active(file):     476736 kB
Inactive(file):  3532128 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             64704 kB
Writeback:             0 kB
AnonPages:        306036 kB
Mapped:           100200 kB
Shmem:             37696 kB
KReclaimable:      63732 kB
Slab:             145428 kB
SReclaimable:      63732 kB
SUnreclaim:        81696 kB
KernelStack:        3568 kB
PageTables:         9232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     633200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18304 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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= 723712 MiB
End job on nodeC010 at 2024-08-04 14:05:47