Trace number 4437541

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-LSMabP+Exact 2024-07-11SAT939 3588.88 3596.08

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 

3588.78/3596.07	c Filename:instance-4437541-1722948202.opb, Cutoff_time:1798, memory_limit_gb:29976
3588.78/3596.07	c Use Presolve
3588.78/3596.07	c Parse finsih
3588.78/3596.07	c Start Presolve
3588.78/3596.07	c After Reduce Vars: 8404 Clauses: 18257 Top clause weight: 371113 Hard Clauses: 11366
3588.78/3596.07	c Use LS-small
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 29091
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 2761
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 1244
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 1041
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 1040
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 1039
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 1038
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 1037
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 1035
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 1034
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 1033
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 1032
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 979
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 977
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 976
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 975
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 974
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 958
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 957
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 956
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 953
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 952
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 950
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 949
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 948
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 947
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 946
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 945
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 944
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 943
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 942
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 941
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 940
3588.78/3596.07	c Use postsolve
3588.78/3596.07	o 939
3588.78/3596.07	s SATISFIABLE
3588.78/3596.07	c Use postsolve
3588.78/3596.07	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 
3588.78/3596.07	c Done 4.85s

Verifier Data 

OK	939

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62293 MiB free)
  memory of node 1: 64510 MiB (63515 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=336237, runsolver pid=336229

[startup+0.10059 s]*
/proc/loadavg: 0.40 0.16 0.11 8/267 336259
/proc/meminfo: memFree=128800020/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 237 107 0 0 0 0 0 0 20 0 1 0 61417837 10170368 653 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 653 574 264 0 134 0
[pid=336255] ppid=336237 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/336255/stat : 336255 (timeout) S 336237 336255 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 255 134679101440 94176138317824 94176138352840 140731833162528 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94176140450256 94176140452388 94176149954560 140731833164835 140731833164957 140731833164957 140731833171943 0
/proc/336255/statm: 2165 255 231 9 0 87 0
[pid=336258] ppid=336255 vsize=22964 memory=9620 CPUtime=0.06 cores=5,7
/proc/336258/stat : 336258 (LS-MabP) R 336255 336255 336172 0 -1 4194304 1389 0 0 0 6 0 0 0 20 0 1 0 61417840 23515136 2405 134679101440 4194304 15467897 140722344511904 0 0 0 0 0 17410 0 0 0 17 5 0 0 61417840 0 0 17807032 17896208 47357952 140722344518711 140722344518820 140722344518820 140722344525806 0
/proc/336258/statm: 5741 2405 1073 2753 0 2394 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 41556 KiB
Current children cumulated memory: 13252 KiB

[startup+0.206604 s]*
/proc/loadavg: 0.40 0.16 0.11 6/267 336259
/proc/meminfo: memFree=128781204/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 237 107 0 0 0 0 0 0 20 0 1 0 61417837 10170368 653 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 653 574 264 0 134 0
[pid=336255] ppid=336237 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/336255/stat : 336255 (timeout) S 336237 336255 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 255 134679101440 94176138317824 94176138352840 140731833162528 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94176140450256 94176140452388 94176149954560 140731833164835 140731833164957 140731833164957 140731833171943 0
/proc/336255/statm: 2165 255 231 9 0 87 0
[pid=336258] ppid=336255 vsize=30340 memory=17248 CPUtime=0.17 cores=5,7
/proc/336258/stat : 336258 (LS-MabP) R 336255 336255 336172 0 -1 4194304 3547 0 0 0 17 0 0 0 20 0 1 0 61417840 31068160 4312 134679101440 4194304 15467897 140722344511904 0 0 0 0 0 17410 0 0 0 17 5 0 0 61417840 0 0 17807032 17896208 47357952 140722344518711 140722344518820 140722344518820 140722344525806 0
/proc/336258/statm: 7585 4312 1105 2753 0 4238 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 48932 KiB
Current children cumulated memory: 20880 KiB

[startup+0.306713 s]*
/proc/loadavg: 0.40 0.16 0.11 6/267 336259
/proc/meminfo: memFree=128771092/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 237 107 0 0 0 0 0 0 20 0 1 0 61417837 10170368 653 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 653 574 264 0 134 0
[pid=336255] ppid=336237 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/336255/stat : 336255 (timeout) S 336237 336255 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 255 134679101440 94176138317824 94176138352840 140731833162528 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94176140450256 94176140452388 94176149954560 140731833164835 140731833164957 140731833164957 140731833171943 0
/proc/336255/statm: 2165 255 231 9 0 87 0
[pid=336258] ppid=336255 vsize=38804 memory=24712 CPUtime=0.26 cores=5,7
/proc/336258/stat : 336258 (LS-MabP) R 336255 336255 336172 0 -1 4194304 5596 0 0 0 26 0 0 0 20 0 1 0 61417840 39735296 6178 134679101440 4194304 15467897 140722344511904 0 0 0 0 0 17410 0 0 0 17 5 0 0 61417840 0 0 17807032 17896208 47357952 140722344518711 140722344518820 140722344518820 140722344525806 0
/proc/336258/statm: 9701 6178 1153 2753 0 6354 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 57396 KiB
Current children cumulated memory: 28344 KiB

[startup+0.700252 s]
/proc/loadavg: 0.40 0.16 0.11 8/267 336259
/proc/meminfo: memFree=128722916/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 237 107 0 0 0 0 0 0 20 0 1 0 61417837 10170368 653 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 653 574 264 0 134 0
[pid=336255] ppid=336237 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/336255/stat : 336255 (timeout) S 336237 336255 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 255 134679101440 94176138317824 94176138352840 140731833162528 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94176140450256 94176140452388 94176149954560 140731833164835 140731833164957 140731833164957 140731833171943 0
/proc/336255/statm: 2165 255 231 9 0 87 0
[pid=336258] ppid=336255 vsize=49404 memory=36364 CPUtime=0.65 cores=5,7
/proc/336258/stat : 336258 (LS-MabP) R 336255 336255 336172 0 -1 4194304 20119 0 0 0 63 2 0 0 20 0 1 0 61417840 50589696 9091 134679101440 4194304 15467897 140722344511904 0 0 0 0 0 17410 0 0 0 17 5 0 0 61417840 0 0 17807032 17896208 47357952 140722344518711 140722344518820 140722344518820 140722344525806 0
/proc/336258/statm: 12351 9091 1169 2753 0 9004 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 67996 KiB
Current children cumulated memory: 39996 KiB

[startup+1.50025 s]
/proc/loadavg: 0.40 0.16 0.11 6/267 336259
/proc/meminfo: memFree=128715988/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 237 107 0 0 0 0 0 0 20 0 1 0 61417837 10170368 653 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 653 574 264 0 134 0
[pid=336255] ppid=336237 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/336255/stat : 336255 (timeout) S 336237 336255 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 255 134679101440 94176138317824 94176138352840 140731833162528 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94176140450256 94176140452388 94176149954560 140731833164835 140731833164957 140731833164957 140731833171943 0
/proc/336255/statm: 2165 255 231 9 0 87 0
[pid=336258] ppid=336255 vsize=47448 memory=34520 CPUtime=1.46 cores=5,7
/proc/336258/stat : 336258 (LS-MabP) R 336255 336255 336172 0 -1 4194304 21514 0 0 0 141 5 0 0 20 0 1 0 61417840 48586752 8630 134679101440 4194304 15467897 140722344511904 0 0 0 0 0 17410 0 0 0 17 5 0 0 61417840 0 0 17807032 17896208 47357952 140722344518711 140722344518820 140722344518820 140722344525806 0
/proc/336258/statm: 11862 8630 1169 2753 0 8515 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 66040 KiB
Current children cumulated memory: 38152 KiB

[startup+3.10666 s]
/proc/loadavg: 0.40 0.16 0.11 6/267 336259
/proc/meminfo: memFree=128703676/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 237 107 0 0 0 0 0 0 20 0 1 0 61417837 10170368 653 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 653 574 264 0 134 0
[pid=336255] ppid=336237 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/336255/stat : 336255 (timeout) S 336237 336255 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 255 134679101440 94176138317824 94176138352840 140731833162528 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94176140450256 94176140452388 94176149954560 140731833164835 140731833164957 140731833164957 140731833171943 0
/proc/336255/statm: 2165 255 231 9 0 87 0
[pid=336258] ppid=336255 vsize=47448 memory=34520 CPUtime=3.06 cores=5,7
/proc/336258/stat : 336258 (LS-MabP) R 336255 336255 336172 0 -1 4194304 23375 0 0 0 297 9 0 0 20 0 1 0 61417840 48586752 8630 134679101440 4194304 15467897 140722344511904 0 0 0 0 0 17410 0 0 0 17 5 0 0 61417840 0 0 17807032 17896208 47357952 140722344518711 140722344518820 140722344518820 140722344525806 0
/proc/336258/statm: 11862 8630 1169 2753 0 8515 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 66040 KiB
Current children cumulated memory: 38152 KiB

[startup+6.30025 s]
/proc/loadavg: 0.69 0.22 0.13 6/267 336261
/proc/meminfo: memFree=128703636/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 237 107 0 0 0 0 0 0 20 0 1 0 61417837 10170368 653 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 653 574 264 0 134 0
[pid=336255] ppid=336237 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/336255/stat : 336255 (timeout) S 336237 336255 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 255 134679101440 94176138317824 94176138352840 140731833162528 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94176140450256 94176140452388 94176149954560 140731833164835 140731833164957 140731833164957 140731833171943 0
/proc/336255/statm: 2165 255 231 9 0 87 0
[pid=336258] ppid=336255 vsize=47448 memory=34532 CPUtime=6.25 cores=5,7
/proc/336258/stat : 336258 (LS-MabP) R 336255 336255 336172 0 -1 4194304 23843 0 0 0 609 16 0 0 20 0 1 0 61417840 48586752 8633 134679101440 4194304 15467897 140722344511904 0 0 0 0 0 17410 0 0 0 17 5 0 0 61417840 0 0 17807032 17896208 47357952 140722344518711 140722344518820 140722344518820 140722344525806 0
/proc/336258/statm: 11862 8633 1169 2753 0 8515 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 66040 KiB
Current children cumulated memory: 38164 KiB

[startup+12.7002 s]
/proc/loadavg: 1.04 0.30 0.16 6/267 336261
/proc/meminfo: memFree=128703572/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 237 107 0 0 0 0 0 0 20 0 1 0 61417837 10170368 653 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 653 574 264 0 134 0
[pid=336255] ppid=336237 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/336255/stat : 336255 (timeout) S 336237 336255 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 255 134679101440 94176138317824 94176138352840 140731833162528 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94176140450256 94176140452388 94176149954560 140731833164835 140731833164957 140731833164957 140731833171943 0
/proc/336255/statm: 2165 255 231 9 0 87 0
[pid=336258] ppid=336255 vsize=47448 memory=34532 CPUtime=12.63 cores=5,7
/proc/336258/stat : 336258 (LS-MabP) R 336255 336255 336172 0 -1 4194304 23843 0 0 0 1237 26 0 0 20 0 1 0 61417840 48586752 8633 134679101440 4194304 15467897 140722344511904 0 0 0 0 0 17410 0 0 0 17 5 0 0 61417840 0 0 17807032 17896208 47357952 140722344518711 140722344518820 140722344518820 140722344525806 0
/proc/336258/statm: 11862 8633 1169 2753 0 8515 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 66040 KiB
Current children cumulated memory: 38164 KiB

[startup+25.5003 s]
/proc/loadavg: 1.69 0.48 0.22 6/267 336264
/proc/meminfo: memFree=128703164/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 237 107 0 0 0 0 0 0 20 0 1 0 61417837 10170368 653 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 653 574 264 0 134 0
[pid=336255] ppid=336237 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/336255/stat : 336255 (timeout) S 336237 336255 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 255 134679101440 94176138317824 94176138352840 140731833162528 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94176140450256 94176140452388 94176149954560 140731833164835 140731833164957 140731833164957 140731833171943 0
/proc/336255/statm: 2165 255 231 9 0 87 0
[pid=336258] ppid=336255 vsize=47448 memory=34532 CPUtime=25.41 cores=5,7
/proc/336258/stat : 336258 (LS-MabP) R 336255 336255 336172 0 -1 4194304 23843 0 0 0 2490 51 0 0 20 0 1 0 61417840 48586752 8633 134679101440 4194304 15467897 140722344511904 0 0 0 0 0 17410 0 0 0 17 5 0 0 61417840 0 0 17807032 17896208 47357952 140722344518711 140722344518820 140722344518820 140722344525806 0
/proc/336258/statm: 11862 8633 1169 2753 0 8515 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 66040 KiB
Current children cumulated memory: 38164 KiB

[startup+51.1066 s]
/proc/loadavg: 2.56 0.78 0.33 6/267 336267
/proc/meminfo: memFree=128702024/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 237 107 0 0 0 0 0 0 20 0 1 0 61417837 10170368 653 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 653 574 264 0 134 0
[pid=336255] ppid=336237 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/336255/stat : 336255 (timeout) S 336237 336255 336172 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61417838 8867840 255 134679101440 94176138317824 94176138352840 140731833162528 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 1 0 0 94176140450256 94176140452388 94176149954560 140731833164835 140731833164957 140731833164957 140731833171943 0
/proc/336255/statm: 2165 255 231 9 0 87 0
[pid=336258] ppid=336255 vsize=47448 memory=34532 CPUtime=50.97 cores=5,7
/proc/336258/stat : 336258 (LS-MabP) R 336255 336255 336172 0 -1 4194304 23843 0 0 0 4994 103 0 0 20 0 1 0 61417840 48586752 8633 134679101440 4194304 15467897 140722344511904 0 0 0 0 0 17410 0 0 0 17 5 0 0 61417840 0 0 17807032 17896208 47357952 140722344518711 140722344518820 140722344518820 140722344525806 0
/proc/336258/statm: 11862 8633 1169 2753 0 8515 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 66040 KiB
Current children cumulated memory: 38164 KiB

[startup+102.3 s]
/proc/loadavg: 3.44 1.29 0.53 6/267 336276
/proc/meminfo: memFree=128701404/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2612 CPUtime=0 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 237 107 0 0 0 0 0 0 20 0 1 0 61417837 10170368 653 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0

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

/proc/337159/statm: 252116 208628 804 745 0 251181 0
Current children cumulated CPU time: 3395.49 s
Current children cumulated vsize: 1027056 KiB
Current children cumulated memory: 838200 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.15 6/265 338076
/proc/meminfo: memFree=125962972/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2656 CPUtime=1794.87 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 268 24948 0 0 0 0 175676 3811 20 0 1 0 61417837 10170368 664 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 664 574 264 0 134 0
[pid=337158] ppid=336237 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/337158/stat : 337158 (timeout) S 336237 337158 336172 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61597641 8867840 258 134679101440 94267367649280 94267367684296 140733276132384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94267369781712 94267369783844 94267394523136 140733276136436 140733276136605 140733276136605 140733276143591 0
/proc/337158/statm: 2165 258 234 9 0 87 0
[pid=337159] ppid=337158 vsize=1010516 memory=837148 CPUtime=1660.48 cores=5,7
/proc/337159/stat : 337159 (Exact) R 337158 337158 336172 0 -1 4194304 122625 0 0 0 165998 50 0 0 20 0 1 0 61597641 1034768384 209287 134679101440 4194304 7243121 140725277642224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 28090368 140725277647888 140725277648038 140725277648038 140725277655024 0
/proc/337159/statm: 252629 209287 804 745 0 251694 0
Current children cumulated CPU time: 3455.35 s
Current children cumulated vsize: 1029108 KiB
Current children cumulated memory: 840836 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.14 6/265 338086
/proc/meminfo: memFree=125958260/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2656 CPUtime=1794.87 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 268 24948 0 0 0 0 175676 3811 20 0 1 0 61417837 10170368 664 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 664 574 264 0 134 0
[pid=337158] ppid=336237 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/337158/stat : 337158 (timeout) S 336237 337158 336172 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61597641 8867840 258 134679101440 94267367649280 94267367684296 140733276132384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94267369781712 94267369783844 94267394523136 140733276136436 140733276136605 140733276136605 140733276143591 0
/proc/337158/statm: 2165 258 234 9 0 87 0
[pid=337159] ppid=337158 vsize=1011248 memory=837884 CPUtime=1720.35 cores=5,7
/proc/337159/stat : 337159 (Exact) R 337158 337158 336172 0 -1 4194304 123126 0 0 0 171985 50 0 0 20 0 1 0 61597641 1035517952 209471 134679101440 4194304 7243121 140725277642224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 28090368 140725277647888 140725277648038 140725277648038 140725277655024 0
/proc/337159/statm: 252812 209471 804 745 0 251877 0
Current children cumulated CPU time: 3515.22 s
Current children cumulated vsize: 1029840 KiB
Current children cumulated memory: 841572 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.14 6/265 338096
/proc/meminfo: memFree=125955848/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2656 CPUtime=1794.87 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 268 24948 0 0 0 0 175676 3811 20 0 1 0 61417837 10170368 664 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 664 574 264 0 134 0
[pid=337158] ppid=336237 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/337158/stat : 337158 (timeout) S 336237 337158 336172 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61597641 8867840 258 134679101440 94267367649280 94267367684296 140733276132384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94267369781712 94267369783844 94267394523136 140733276136436 140733276136605 140733276136605 140733276143591 0
/proc/337158/statm: 2165 258 234 9 0 87 0
[pid=337159] ppid=337158 vsize=1012592 memory=838608 CPUtime=1780.22 cores=5,7
/proc/337159/stat : 337159 (Exact) R 337158 337158 336172 0 -1 4194304 123678 0 0 0 177972 50 0 0 20 0 1 0 61597641 1036894208 209652 134679101440 4194304 7243121 140725277642224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 28090368 140725277647888 140725277648038 140725277648038 140725277655024 0
/proc/337159/statm: 253148 209652 804 745 0 252213 0
Current children cumulated CPU time: 3575.09 s
Current children cumulated vsize: 1031184 KiB
Current children cumulated memory: 842296 KiB

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

# cumulated CPU time of all completed processes:  user=3550.23 s, system=38.652 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.16 4.14 6/265 338096
/proc/meminfo: memFree=125955512/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2656 CPUtime=1794.87 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 268 24948 0 0 0 0 175676 3811 20 0 1 0 61417837 10170368 664 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 664 574 264 0 134 0
[pid=337158] ppid=336237 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/337158/stat : 337158 (timeout) S 336237 337158 336172 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61597641 8867840 258 134679101440 94267367649280 94267367684296 140733276132384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94267369781712 94267369783844 94267394523136 140733276136436 140733276136605 140733276136605 140733276143591 0
/proc/337158/statm: 2165 258 234 9 0 87 0
[pid=337159] ppid=337158 vsize=1012784 memory=838856 CPUtime=1781.93 cores=5,7
/proc/337159/stat : 337159 (Exact) R 337158 337158 336172 0 -1 4194304 123721 0 0 0 178143 50 0 0 20 0 1 0 61597641 1037090816 209714 134679101440 4194304 7243121 140725277642224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 28090368 140725277647888 140725277648038 140725277648038 140725277655024 0
/proc/337159/statm: 253196 209714 804 745 0 252261 0
Current children cumulated CPU time: 3576.8 s
Current children cumulated vsize: 1031376 KiB
Current children cumulated memory: 842544 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.16 4.14 6/265 338098
/proc/meminfo: memFree=125954300/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2656 CPUtime=1794.87 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 268 24948 0 0 0 0 175676 3811 20 0 1 0 61417837 10170368 664 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 664 574 264 0 134 0
[pid=337158] ppid=336237 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/337158/stat : 337158 (timeout) S 336237 337158 336172 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61597641 8867840 258 134679101440 94267367649280 94267367684296 140733276132384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94267369781712 94267369783844 94267394523136 140733276136436 140733276136605 140733276136605 140733276143591 0
/proc/337158/statm: 2165 258 234 9 0 87 0
[pid=337159] ppid=337158 vsize=1013552 memory=839360 CPUtime=1788.31 cores=5,7
/proc/337159/stat : 337159 (Exact) R 337158 337158 336172 0 -1 4194304 123860 0 0 0 178781 50 0 0 20 0 1 0 61597641 1037877248 209840 134679101440 4194304 7243121 140725277642224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 28090368 140725277647888 140725277648038 140725277648038 140725277655024 0
/proc/337159/statm: 253388 209840 804 745 0 252453 0
Current children cumulated CPU time: 3583.18 s
Current children cumulated vsize: 1032144 KiB
Current children cumulated memory: 843048 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.16 4.14 6/265 338098
/proc/meminfo: memFree=125953768/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2656 CPUtime=1794.87 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 268 24948 0 0 0 0 175676 3811 20 0 1 0 61417837 10170368 664 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 664 574 264 0 134 0
[pid=337158] ppid=336237 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/337158/stat : 337158 (timeout) S 336237 337158 336172 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61597641 8867840 258 134679101440 94267367649280 94267367684296 140733276132384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94267369781712 94267369783844 94267394523136 140733276136436 140733276136605 140733276136605 140733276143591 0
/proc/337158/statm: 2165 258 234 9 0 87 0
[pid=337159] ppid=337158 vsize=1014320 memory=839860 CPUtime=1791.51 cores=5,7
/proc/337159/stat : 337159 (Exact) R 337158 337158 336172 0 -1 4194304 124087 0 0 0 179100 51 0 0 20 0 1 0 61597641 1038663680 209965 134679101440 4194304 7243121 140725277642224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 28090368 140725277647888 140725277648038 140725277648038 140725277655024 0
/proc/337159/statm: 253580 209965 804 745 0 252645 0
Current children cumulated CPU time: 3586.38 s
Current children cumulated vsize: 1032912 KiB
Current children cumulated memory: 843548 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.16 4.14 6/265 338099
/proc/meminfo: memFree=125950952/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2656 CPUtime=1794.87 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 268 24948 0 0 0 0 175676 3811 20 0 1 0 61417837 10170368 664 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 664 574 264 0 134 0
[pid=337158] ppid=336237 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/337158/stat : 337158 (timeout) S 336237 337158 336172 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61597641 8867840 258 134679101440 94267367649280 94267367684296 140733276132384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94267369781712 94267369783844 94267394523136 140733276136436 140733276136605 140733276136605 140733276143591 0
/proc/337158/statm: 2165 258 234 9 0 87 0
[pid=337159] ppid=337158 vsize=1014320 memory=840116 CPUtime=1793.11 cores=5,7
/proc/337159/stat : 337159 (Exact) R 337158 337158 336172 0 -1 4194304 124120 0 0 0 179260 51 0 0 20 0 1 0 61597641 1038663680 210029 134679101440 4194304 7243121 140725277642224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 28090368 140725277647888 140725277648038 140725277648038 140725277655024 0
/proc/337159/statm: 253580 210029 804 745 0 252645 0
Current children cumulated CPU time: 3587.98 s
Current children cumulated vsize: 1032912 KiB
Current children cumulated memory: 843804 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.16 4.14 6/265 338099
/proc/meminfo: memFree=125950952/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2656 CPUtime=1794.87 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 268 24948 0 0 0 0 175676 3811 20 0 1 0 61417837 10170368 664 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 664 574 264 0 134 0
[pid=337158] ppid=336237 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/337158/stat : 337158 (timeout) S 336237 337158 336172 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61597641 8867840 258 134679101440 94267367649280 94267367684296 140733276132384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94267369781712 94267369783844 94267394523136 140733276136436 140733276136605 140733276136605 140733276143591 0
/proc/337158/statm: 2165 258 234 9 0 87 0
[pid=337159] ppid=337158 vsize=1014320 memory=840116 CPUtime=1793.51 cores=5,7
/proc/337159/stat : 337159 (Exact) R 337158 337158 336172 0 -1 4194304 124123 0 0 0 179300 51 0 0 20 0 1 0 61597641 1038663680 210029 134679101440 4194304 7243121 140725277642224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 28090368 140725277647888 140725277648038 140725277648038 140725277655024 0
/proc/337159/statm: 253580 210029 804 745 0 252645 0
Current children cumulated CPU time: 3588.38 s
Current children cumulated vsize: 1032912 KiB
Current children cumulated memory: 843804 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.15 4.14 6/265 338099
/proc/meminfo: memFree=125950840/131524600 swapFree=131071996/131071996
[pid=336237] ppid=336229 vsize=9932 memory=2656 CPUtime=1794.87 cores=5,7
/proc/336237/stat : 336237 (Hybrid-LSMabP+E) S 336229 336237 336172 0 -1 4194304 268 24948 0 0 0 0 175676 3811 20 0 1 0 61417837 10170368 664 134679101440 94416859680768 94416860760088 140730906216080 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94416862858544 94416862905732 94416878534656 140730906223594 140730906223739 140730906223739 140730906230754 0
/proc/336237/statm: 2483 664 574 264 0 134 0
[pid=337158] ppid=336237 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/337158/stat : 337158 (timeout) S 336237 337158 336172 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61597641 8867840 258 134679101440 94267367649280 94267367684296 140733276132384 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94267369781712 94267369783844 94267394523136 140733276136436 140733276136605 140733276136605 140733276143591 0
/proc/337158/statm: 2165 258 234 9 0 87 0
[pid=337159] ppid=337158 vsize=1014512 memory=840116 CPUtime=1793.91 cores=5,7
/proc/337159/stat : 337159 (Exact) R 337158 337158 336172 0 -1 4194304 124140 0 0 0 179340 51 0 0 20 0 1 0 61597641 1038860288 210029 134679101440 4194304 7243121 140725277642224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 28090368 140725277647888 140725277648038 140725277648038 140725277655024 0
/proc/337159/statm: 253628 210029 804 745 0 252693 0
Current children cumulated CPU time: 3588.78 s
Current children cumulated vsize: 1033104 KiB
Current children cumulated memory: 843804 KiB

Child status: 0

Real time (s): 3596.08
CPU time (s): 3588.88
CPU user time (s): 3550.23
CPU system time (s): 38.652
CPU usage (%): 99.7999
Max. virtual memory (cumulated for all children) (KiB): 1033104
Max. memory (cumulated for all children) (KiB): 843804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3550.23
system time used= 38.652
maximum resident set size= 868108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152538
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120
involuntary context switches= 2220


# summary of solver processes directly reported to runsolver:
#   pid: 336237
#   total CPU time (s): 3588.88
#   total CPU user time (s): 3550.23
#   total CPU system time (s): 38.652

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62068 second user time and 21.5636 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-08-06 14:43:23
IDJOB=4437541
IDBENCH=146652
IDSOLVER=3071
FILE ID=nodeC018/4437541-1722948202
RUNJOBID= nodeC018-1722948202-336185
SLURM_JOB_ID= 8258989
Free space on /tmp= 890080 MiB

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

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=1395330820

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128830324 kB
MemAvailable:   129791660 kB
Buffers:          337592 kB
Cached:          1468548 kB
SwapCached:            0 kB
Active:           590896 kB
Inactive:        1583228 kB
Active(anon):       1452 kB
Inactive(anon):   404284 kB
Active(file):     589444 kB
Inactive(file):  1178944 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             86924 kB
Writeback:            12 kB
AnonPages:        367252 kB
Mapped:            98536 kB
Shmem:             37720 kB
KReclaimable:      65192 kB
Slab:             157564 kB
SReclaimable:      65192 kB
SUnreclaim:        92372 kB
KernelStack:        3888 kB
PageTables:         9484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     694708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            28160 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      244436 kB
DirectMap2M:    25743360 kB
DirectMap1G:    110100480 kB

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