Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisatp 2012-10-02 git-d91742b | OPT | 20 | 525.753 | 525.836 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 4.76827 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 5499 |
Total number of constraints | 19319 |
Number of constraints which are clauses | 19312 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 613 |
Number of terms in the objective function | 613 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 613 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 643 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.19/0.25 c Converting 19314 PB-constraints to clauses... 0.19/0.25 c -- Unit propagations: (none) 0.19/0.25 c -- Detecting intervals from adjacent constraints: ====== 0.19/0.25 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.19/0.27 c ---[ 0]---> Adder-cost: 1210 maxlim: 582 bits: 10/10 1.29/1.39 | Eliminated clauses: 0.13 Mb | 1.29/1.39 ============================[ Search Statistics ]============================== 1.29/1.39 | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1.29/1.39 =============================================================================== 1.29/1.39 | 100 | 5554 25631 85848 | 9398 100 5 | 0.477 % | 1.29/1.39 | 250 | 5554 25631 85848 | 10337 250 4 | 0.477 % | 1.29/1.39 | 475 | 5554 25631 85848 | 11371 475 5 | 0.477 % | 1.29/1.39 | 812 | 5554 25631 85848 | 12508 812 6 | 0.477 % | 1.29/1.39 | 1318 | 5554 25631 85848 | 13759 1318 9 | 0.477 % | 1.29/1.39 | 2077 | 5554 25631 85848 | 15135 2077 22 | 0.477 % | 1.29/1.39 | 3216 | 5554 25631 85848 | 16649 3216 45 | 0.477 % | 1.29/1.39 | 4924 | 5554 25631 85848 | 18314 4924 58 | 0.477 % | 1.29/1.39 | 7486 | 5554 25631 85848 | 20145 7486 84 | 0.477 % | 1.29/1.39 | 11330 | 5554 25631 85848 | 22160 11330 93 | 0.477 % | 1.29/1.39 =============================================================================== 1.29/1.39 c [1mFound solution: 30[0m 1.29/1.39 c ---[ 0]---> Sorter-cost:27428 Base: 1.69/1.77 | Eliminated clauses: 0.45 Mb | 1.69/1.77 ============================[ Search Statistics ]============================== 1.69/1.77 | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.77 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1.69/1.77 =============================================================================== 1.69/1.77 | 11485 | 15695 47721 177185 | 17497 11485 93 | 0.123 % | 1.69/1.77 | 11635 | 15695 47721 177185 | 19247 11635 93 | 0.123 % | 1.69/1.77 | 11860 | 15695 47721 177185 | 21172 11860 92 | 0.123 % | 1.69/1.77 | 12197 | 15694 47721 177185 | 23289 12196 92 | 0.127 % | 1.69/1.77 | 12703 | 15694 47721 177185 | 25618 12702 90 | 0.127 % | 1.69/1.77 =============================================================================== 1.69/1.77 c [1mFound solution: 27[0m 1.69/1.78 c ---[ 0]---> Sorter-cost: 0 Base: 2.59/2.66 | Eliminated clauses: 0.45 Mb | 2.59/2.66 ============================[ Search Statistics ]============================== 2.59/2.66 | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.66 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 2.59/2.66 =============================================================================== 2.59/2.66 | 12903 | 15659 47632 176622 | 17465 12902 90 | 0.141 % | 2.59/2.66 | 13053 | 15659 47632 176622 | 19211 13052 89 | 0.141 % | 2.59/2.66 | 13278 | 15659 47632 176622 | 21132 13275 90 | 0.141 % | 2.59/2.66 | 13615 | 15659 47632 176622 | 23246 13612 90 | 0.141 % | 2.59/2.66 | 14121 | 15659 47632 176622 | 25570 14118 88 | 0.141 % | 2.59/2.66 | 14880 | 15659 47632 176622 | 28127 14877 86 | 0.141 % | 2.59/2.66 | 16019 | 15659 47632 176622 | 30940 16016 85 | 0.141 % | 2.59/2.66 | 17727 | 15659 47632 176622 | 34034 17724 85 | 0.141 % | 2.59/2.66 =============================================================================== 2.59/2.66 c [1mFound solution: 25[0m 2.59/2.66 c ---[ 0]---> Sorter-cost: 0 Base: 4.49/4.54 | Eliminated clauses: 0.46 Mb | 4.49/4.54 ============================[ Search Statistics ]============================== 4.49/4.54 | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.54 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 4.49/4.54 =============================================================================== 4.49/4.54 | 18493 | 15550 47464 175851 | 17403 9294 55 | 0.313 % | 4.49/4.54 | 18643 | 15550 47464 175851 | 19143 9444 56 | 0.313 % | 4.49/4.54 | 18868 | 15550 47464 175851 | 21058 9669 56 | 0.313 % | 4.49/4.54 | 19205 | 15550 47464 175851 | 23164 10006 56 | 0.313 % | 4.49/4.54 | 19711 | 15550 47464 175851 | 25480 10512 56 | 0.313 % | 4.49/4.54 | 20470 | 15550 47464 175851 | 28028 11271 57 | 0.313 % | 4.49/4.54 | 21609 | 15550 47464 175851 | 30831 12410 58 | 0.313 % | 4.49/4.54 | 23317 | 15550 47464 175851 | 33914 14118 59 | 0.313 % | 4.49/4.54 | 25879 | 15550 47464 175851 | 37305 16680 66 | 0.313 % | 4.49/4.54 =============================================================================== 4.49/4.54 c [1mFound solution: 24[0m 4.59/4.60 c ---[ 0]---> Sorter-cost: 0 Base: 6.19/6.29 | Eliminated clauses: 0.46 Mb | 6.19/6.29 ============================[ Search Statistics ]============================== 6.19/6.29 | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.29 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 6.19/6.29 =============================================================================== 6.19/6.29 | 29081 | 15555 47528 176090 | 17426 9991 82 | 0.316 % | 6.19/6.29 | 29231 | 15555 47528 176090 | 19169 10141 81 | 0.316 % | 6.19/6.29 | 29456 | 15555 47528 176090 | 21086 10366 81 | 0.316 % | 6.19/6.29 | 29793 | 15555 47528 176090 | 23195 10703 81 | 0.316 % | 6.19/6.29 | 30299 | 15551 47528 176090 | 25514 11208 79 | 0.330 % | 6.19/6.29 | 31058 | 15551 47528 176090 | 28066 11966 81 | 0.330 % | 6.19/6.29 | 32197 | 15551 47528 176090 | 30872 13105 79 | 0.330 % | 6.19/6.29 | 33905 | 15551 47528 176090 | 33960 14813 81 | 0.330 % | 6.19/6.29 | 36467 | 15551 47528 176090 | 37356 17375 82 | 0.330 % | 6.19/6.29 =============================================================================== 6.19/6.29 c [1mFound solution: 23[0m 6.29/6.30 c ---[ 0]---> Sorter-cost: 0 Base: 38.39/38.49 | Eliminated clauses: 0.46 Mb | 38.39/38.49 ============================[ Search Statistics ]============================== 38.39/38.49 | Conflicts | ORIGINAL | LEARNT | Progress | 38.39/38.49 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 38.39/38.49 =============================================================================== 38.39/38.49 | 38191 | 15547 47493 175835 | 17414 9600 75 | 0.345 % | 38.39/38.49 | 38341 | 15547 47493 175835 | 19155 9750 75 | 0.345 % | 38.39/38.49 | 38566 | 15547 47493 175835 | 21071 9975 75 | 0.345 % | 38.39/38.49 | 38903 | 15547 47493 175835 | 23178 10312 76 | 0.345 % | 38.39/38.49 | 39409 | 15547 47493 175835 | 25495 10818 76 | 0.345 % | 38.39/38.49 | 40168 | 15547 47493 175835 | 28045 11577 78 | 0.345 % | 38.39/38.49 | 41307 | 15547 47493 175835 | 30850 12716 76 | 0.345 % | 38.39/38.49 | 43015 | 15547 47493 175835 | 33935 14424 77 | 0.345 % | 38.39/38.49 | 45577 | 15547 47493 175835 | 37328 16986 81 | 0.345 % | 38.39/38.49 | 49421 | 15541 47493 175835 | 41061 20307 84 | 0.367 % | 38.39/38.49 | 55187 | 15541 47493 175835 | 45167 26073 85 | 0.367 % | 38.39/38.49 | 63836 | 15541 47493 175835 | 49684 34722 85 | 0.367 % | 38.39/38.49 | 76810 | 15541 47493 175835 | 54652 47696 88 | 0.367 % | 38.39/38.49 | 96271 | 15541 47493 175835 | 60118 32008 78 | 0.367 % | 38.39/38.49 | 125463 | 15541 47493 175835 | 66130 61200 84 | 0.367 % | 38.39/38.49 =============================================================================== 38.39/38.49 c [1mFound solution: 22[0m 38.39/38.49 c ---[ 0]---> Sorter-cost: 0 Base: 57.19/57.27 | Eliminated clauses: 0.47 Mb | 57.19/57.27 ============================[ Search Statistics ]============================== 57.19/57.27 | Conflicts | ORIGINAL | LEARNT | Progress | 57.19/57.27 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 57.19/57.27 =============================================================================== 57.19/57.27 | 165480 | 15541 47520 176163 | 17424 10859 42 | 0.369 % | 57.19/57.27 | 165630 | 15541 47520 176163 | 19166 11009 43 | 0.369 % | 57.19/57.27 | 165855 | 15541 47520 176163 | 21083 11234 44 | 0.369 % | 57.19/57.27 | 166192 | 15541 47520 176163 | 23191 11571 45 | 0.369 % | 57.19/57.27 | 166698 | 15541 47520 176163 | 25510 12077 45 | 0.369 % | 57.19/57.27 | 167457 | 15541 47520 176163 | 28061 12836 44 | 0.369 % | 57.19/57.27 | 168596 | 15541 47520 176163 | 30867 13975 45 | 0.369 % | 57.19/57.27 | 170304 | 15541 47520 176163 | 33954 15683 51 | 0.369 % | 57.19/57.27 | 172866 | 15541 47520 176163 | 37349 18245 54 | 0.369 % | 57.19/57.27 | 176710 | 15541 47520 176163 | 41084 22089 56 | 0.369 % | 57.19/57.27 | 182476 | 15541 47520 176163 | 45193 27855 62 | 0.369 % | 57.19/57.27 | 191125 | 15541 47520 176163 | 49712 36504 64 | 0.369 % | 57.19/57.27 | 204099 | 15541 47520 176163 | 54683 49478 66 | 0.369 % | 57.19/57.27 | 223560 | 15541 47520 176163 | 60152 34830 53 | 0.369 % | 57.19/57.27 =============================================================================== 57.19/57.27 c [1mFound solution: 21[0m 57.19/57.28 c ---[ 0]---> Sorter-cost: 0 Base: 470.21/470.32 | Eliminated clauses: 0.52 Mb | 470.21/470.32 ============================[ Search Statistics ]============================== 470.21/470.32 | Conflicts | ORIGINAL | LEARNT | Progress | 470.21/470.32 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 470.21/470.32 =============================================================================== 470.21/470.32 | 251604 | 9847 35961 122712 | 13185 12709 43 | 6.497 % | 470.21/470.32 | 251754 | 9847 35961 122712 | 14504 12859 42 | 6.497 % | 470.21/470.32 | 251979 | 9847 35961 122712 | 15954 13084 44 | 6.497 % | 470.21/470.32 | 252316 | 9847 35961 122712 | 17550 13421 45 | 6.497 % | 470.21/470.32 | 252822 | 9847 35961 122712 | 19305 13927 47 | 6.497 % | 470.21/470.32 | 253581 | 9847 35961 122712 | 21235 14686 52 | 6.497 % | 470.21/470.32 | 254720 | 9847 35961 122712 | 23359 15825 56 | 6.497 % | 470.21/470.32 | 256428 | 9847 35961 122712 | 25695 17533 58 | 6.497 % | 470.21/470.32 | 258990 | 9847 35961 122712 | 28264 20095 61 | 6.497 % | 470.21/470.32 | 262834 | 9847 35961 122712 | 31091 23939 65 | 6.497 % | 470.21/470.32 | 268600 | 9847 35961 122712 | 34200 29705 63 | 6.497 % | 470.21/470.32 | 277249 | 9847 35961 122712 | 37620 20206 46 | 6.497 % | 470.21/470.32 | 290223 | 9847 35961 122712 | 41382 33180 53 | 6.497 % | 470.21/470.32 | 309684 | 9847 35961 122712 | 45520 30336 52 | 6.497 % | 470.21/470.32 | 338876 | 9847 35961 122712 | 50072 35137 56 | 6.497 % | 470.21/470.32 | 382665 | 9847 35961 122712 | 55079 48720 56 | 6.497 % | 470.21/470.32 | 448349 | 9847 35961 122712 | 60587 47084 45 | 6.497 % | 470.21/470.32 | 546875 | 9843 35961 122712 | 66646 28404 46 | 6.512 % | 470.21/470.32 | 694664 | 9838 35961 122712 | 73311 35506 69 | 6.530 % | 470.21/470.32 | 916347 | 9838 35961 122712 | 80642 51908 55 | 6.530 % | 470.21/470.32 | 1248872 | 9838 35961 122712 | 88706 52884 54 | 6.530 % | 470.21/470.32 | 1747660 | 9838 35961 122712 | 97577 38004 35 | 6.530 % | 470.21/470.32 =============================================================================== 470.21/470.32 c [1mFound solution: 20[0m 470.21/470.32 c ---[ 0]---> Sorter-cost: 0 Base: 525.72/525.83 | Eliminated clauses: 0.63 Mb | 525.72/525.83 ============================[ Search Statistics ]============================== 525.72/525.83 | Conflicts | ORIGINAL | LEARNT | Progress | 525.72/525.83 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 525.72/525.83 =============================================================================== 525.72/525.83 | 2099039 | 9832 35955 122820 | 13183 13790 26 | 4.680 % | 525.72/525.83 | 2099189 | 9832 35955 122820 | 14501 13940 26 | 4.680 % | 525.72/525.83 | 2099414 | 9832 35955 122820 | 15952 14165 27 | 4.680 % | 525.72/525.83 | 2099751 | 9832 35955 122820 | 17547 14502 28 | 4.680 % | 525.72/525.83 | 2100257 | 9832 35955 122820 | 19301 15008 30 | 4.680 % | 525.72/525.83 | 2101016 | 9832 35955 122820 | 21232 15767 32 | 4.680 % | 525.72/525.83 | 2102155 | 9832 35955 122820 | 23355 16906 32 | 4.680 % | 525.72/525.83 | 2103863 | 9832 35955 122820 | 25690 18614 34 | 4.680 % | 525.72/525.83 | 2106425 | 9832 35955 122820 | 28260 21176 35 | 4.680 % | 525.72/525.83 | 2110269 | 9832 35955 122820 | 31086 25020 35 | 4.680 % | 525.72/525.83 | 2116035 | 9832 35955 122820 | 34194 30786 39 | 4.680 % | 525.72/525.83 | 2124684 | 9832 35955 122820 | 37614 21351 42 | 4.680 % | 525.72/525.83 | 2137658 | 9832 35955 122820 | 41375 34325 47 | 4.680 % | 525.72/525.83 | 2157119 | 9832 35955 122820 | 45513 30077 39 | 4.680 % | 525.72/525.83 | 2186311 | 9832 35955 122820 | 50064 33554 42 | 4.680 % | 525.72/525.83 | 2230100 | 9832 35955 122820 | 55070 46838 45 | 4.680 % | 525.72/525.83 | 2295784 | 9832 35955 122820 | 60577 46416 46 | 4.680 % | 525.72/525.83 =============================================================================== 525.72/525.83 c [1mOptimal solution: 20[0m 525.72/525.83 s OPTIMUM FOUND 525.72/525.83 v x1 x177 x350 x700 x857 -x926 -x953 -x980 -x1007 -x1034 -x1061 -x1088 x10 -x1115 -x13 -x1127 -x16 -x1139 -x19 -x1151 -x22 -x1163 -x25 -x1175 -x28 -x1187 -x31 -x1199 -x34 -x1211 -x37 -x1223 -x40 -x1235 x43 x1247 -x46 -x1259 -x49 -x1271 -x52 -x1283 -x55 -x1295 -x58 -x1307 -x61 -x1319 -x64 -x1331 x67 -x1343 -x70 -x1355 -x1367 -x1369 -x1374 -x1376 -x1381 -x1383 x1388 -x1390 -x1395 -x1397 -x1402 -x1404 -x1409 -x1411 -x1416 -x1418 -x1423 -x1425 -x1430 -x1432 -x1437 -x1439 -x1444 -x1446 -x1451 -x1453 -x1458 -x1460 -x1465 -x1467 -x1472 -x1474 -x1479 -x1481 -x1486 -x1488 -x1493 -x1495 -x1500 -x1502 -x1507 -x1509 -x1514 -x1516 -x1521 -x1523 -x1528 -x1530 -x1535 -x1537 -x1542 -x1544 -x1549 -x1551 -x1556 -x1558 -x1563 -x1565 -x1570 -x1572 -x1577 -x1579 -x1584 -x1586 -x1591 -x1593 -x1598 -x1600 -x1605 -x1607 -x1612 -x1639 -x1666 -x1693 -x1720 -x1747 -x1774 -x186 -x1801 -x189 -x1813 -x192 -x1825 -x195 -x1837 -x198 -x1849 -x201 -x1861 -x204 -x1873 -x207 -x1885 -x1897 -x212 -x1909 -x215 -x1921 -x1933 -x220 -x1945 x223 -x1957 -x226 -x1969 -x229 -x1981 -x232 -x1993 x2005 -x237 -x2017 -x240 -x2029 -x243 -x2041 -x2053 -x2055 -x2060 -x2062 x2067 -x2069 -x2074 -x2076 -x2081 -x2083 -x2088 -x2090 -x2095 -x2097 -x2102 -x2104 -x2109 -x2111 -x2116 -x2118 -x2123 -x2125 -x2130 -x2132 -x2137 -x2139 -x2144 -x2146 -x2151 -x2153 -x2158 -x2160 -x2165 -x2167 -x2172 -x2174 -x2179 -x2181 -x2186 -x2188 -x2193 -x2195 -x2200 -x2202 -x2207 -x2209 -x2214 -x2216 -x2221 -x2223 -x2228 -x2230 -x2235 -x2237 -x2242 -x2244 -x2249 -x2251 -x2256 -x2258 -x2263 -x2265 -x2270 -x2272 -x2277 -x2279 -x2284 -x2286 -x2291 -x2293 -x2298 -x2356 -x2414 -x2472 -x2530 -x2588 -x2646 x2704 -x2762 -x362 -x2789 -x365 -x2816 -x368 -x2843 -x2870 -x373 -x2897 -x2924 -x378 -x2951 -x2978 -x3005 -x3032 -x387 -x3059 -x390 -x3086 -x3113 -x395 -x3140 -x3167 -x400 -x3194 -x3221 -x3248 -x3275 -x409 -x3302 -x412 -x3329 -x3356 -x3383 -x419 -x3410 -x422 -x3437 -x3464 -x427 x3491 -x3518 -x3520 -x3532 -x3534 -x3546 -x3548 -x3560 -x3572 -x3574 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 -x3880 -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3952 -x3964 -x3966 -x3978 -x3980 -x3992 -x3994 -x4006 -x4008 -x4020 -x4022 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4118 -x4130 -x4132 -x4144 -x4146 -x4158 -x4160 -x4172 -x4174 -x4186 -x4188 -x4200 -x4202 -x4214 -x4216 -x4228 -x4230 -x4242 -x4244 -x4256 -x4258 -x4270 -x4272 -x4284 -x4286 -x4298 -x4303 -x4308 -x4313 -x4318 -x4323 -x4328 -x4333 -x4338 -x4343 -x4348 -x4353 -x4358 -x4363 -x4368 -x4373 -x4378 -x4383 x4388 -x4393 -x4398 -x4403 -x4408 -x4413 -x4418 -x4423 -x4428 -x4433 -x4438 -x4443 -x4448 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513 -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4593 -x4598 -x4603 -x4608 -x4613 -x4618 -x4623 -x4628 -x4633 -x4638 -x4643 -x4648 -x4675 -x4702 -x4729 x4756 -x4783 -x4810 -x709 -x4837 -x4849 -x714 -x4861 -x4873 -x719 -x4885 -x722 -x4897 -x4909 -x4921 -x4933 -x4945 -x4957 -x735 -x4969 -x4981 -x4993 -x5005 -x744 -x5017 -x747 -x5029 -x5041 -x5053 -x754 -x5065 -x5077 -x5089 -x5091 -x5096 -x5098 -x5103 -x5105 -x5110 -x5112 -x5117 -x5119 -x5124 -x5126 -x5131 -x5133 -x5138 -x5140 -x5145 -x5147 -x5152 -x5154 -x5156 x5161 -x5163 -x5168 -x5170 -x5175 -x5177 -x5182 -x5184 -x5189 -x5191 -x5196 -x5198 -x5203 -x5208 -x5213 -x5215 -x5220 -x5222 -x5227 -x5229 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5281 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 -x5331 x5343 -x5355 -x5367 -x5379 -x5391 -x5396 -x5401 -x5406 -x5411 -x875 -x5416 -x5421 -x880 -x5426 -x5431 -x885 -x5436 -x888 x5441 -x891 -x5446 -x5451 -x5456 -x5461 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 -x33 -x35 -x36 -x38 -x39 -x41 x42 x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 -x60 -x62 -x63 -x65 -x66 -x68 -x69 -x71 -x73 -x72 -x74 -x76 -x75 -x77 -x79 -x78 -x80 x82 -x81 -x83 -x85 -x84 -x86 -x88 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x185 -x187 -x188 -x190 -x191 -x193 -x194 -x196 -x197 -x199 -x200 -x202 -x203 -x205 -x206 -x208 -x209 -x210 -x211 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x224 -x225 -x227 -x228 -x230 -x231 -x233 x234 x235 -x236 -x238 -x239 -x241 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x359 -x360 -x361 -x363 -x364 -x366 -x367 -x369 -x370 -x371 -x372 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x389 -x391 -x392 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x410 -x411 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x421 -x423 -x424 -x425 -x426 x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x438 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483 -x482 -x484 -x486 -x485 -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x539 -x540 -x542 -x541 -x543 -x545 -x544 -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x708 -x710 -x711 -x712 -x713 -x715 -x716 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x759 -x758 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x788 -x787 -x789 x791 -x790 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x808 -x809 -x810 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x821 -x822 -x824 -x823 -x825 -x826 -x827 -x829 -x828 -x830 -x832 -x831 -x833 -x835 -x834 -x836 -x838 -x837 -x839 -x841 -x840 -x842 -x843 -x844 -x846 -x845 -x847 -x849 -x848 -x850 -x852 -x851 -x853 -x855 -x854 -x856 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x886 -x887 x889 -x890 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x900 -x899 -x902 -x901 -x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911 -x910 -x912 -x914 -x913 -x916 -x915 -x917 -x919 -x918 -x920 -x921 -x922 -x924 -x923 -x925 -x858 -x859 x860 -x861 -x862 -x863 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1368 -x1370 -x1371 -x1372 -x1373 x1375 -x1377 -x1378 -x1379 -x1380 x1382 -x1384 -x1385 -x1386 -x1387 x1389 x1391 x1392 -x1393 -x1394 x1396 -x1398 -x1399 -x1400 -x1401 x1403 -x1405 -x1406 -x1407 -x1408 -x1410 -x1412 -x1413 -x1414 -x1415 -x1417 -x1419 -x1420 -x1421 -x1422 -x1424 -x1426 -x1427 -x1428 -x1429 -x1431 -x1433 -x1434 -x1435 -x1436 -x1438 -x1440 -x1441 -x1442 -x1443 -x1445 -x1447 -x1448 -x1449 -x1450 -x1452 -x1454 -x1455 -x1456 -x1457 x1459 -x1461 -x1462 -x1463 -x1464 -x1466 -x1468 -x1469 -x1470 -x1471 x1473 -x1475 -x1476 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 -x1485 -x1487 -x1489 -x1490 -x1491 -x1492 -x1494 -x1496 -x1497 -x1498 -x1499 -x1501 -x1503 -x1504 -x1505 -x1506 -x1508 -x1510 -x1511 -x1512 -x1513 -x1515 -x1517 -x1518 -x1519 -x1520 -x1522 -x1524 -x1525 -x1526 -x1527 x1529 -x1531 -x1532 -x1533 -x1534 -x1536 -x1538 -x1539 -x1540 -x1541 x1543 x1545 -x1546 -x1547 -x1548 x1550 x1552 x1553 -x1554 -x1555 x1557 x1559 -x1560 -x1561 -x1562 -x1564 -x1566 -x1567 -x1568 -x1569 x1571 x1573 -x1574 -x1575 -x1576 -x1578 -x1580 -x1581 -x1582 -x1583 -x1585 -x1587 -x1588 -x1589 -x1590 x1592 x1594 -x1595 -x1596 -x1597 -x1599 -x1601 -x1602 -x1603 -x1604 x1606 x1608 x1609 -x1610 -x1611 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2054 -x2056 -x2057 -x2058 -x2059 -x2061 -x2063 -x2064 -x2065 -x2066 x2068 x2070 -x2071 x2072 -x2073 -x2075 -x2077 -x2078 -x2079 -x2080 -x2082 -x2084 -x2085 -x2086 -x2087 -x2089 -x2091 -x2092 -x2093 -x2094 -x2096 -x2098 -x2099 -x2100 -x2101 x2103 x2105 -x2106 x2107 -x2108 -x2110 -x2112 -x2113 -x2114 -x2115 -x2117 -x2119 -x2120 -x2121 -x2122 -x2124 -x2126 -x2127 -x2128 -x2129 x2131 x2133 -x2134 x2135 -x2136 -x2138 -x2140 -x2141 -x2142 -x2143 -x2145 -x2147 -x2148 -x2149 -x2150 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2161 -x2162 -x2163 -x2164 x2166 -x2168 -x2169 -x2170 -x2171 x2173 -x2175 -x2176 -x2177 -x2178 -x2180 -x2182 -x2183 -x2184 -x2185 x2187 -x2189 -x2190 -x2191 -x2192 -x2194 -x2196 -x2197 -x2198 -x2199 x2201 -x2203 -x2204 -x2205 -x2206 x2208 -x2210 -x2211 -x2212 -x2213 x2215 -x2217 -x2218 -x2219 -x2220 -x2222 -x2224 -x2225 -x2226 -x2227 -x2229 -x2231 -x2232 -x2233 -x2234 x2236 x2238 -x2239 -x2240 -x2241 x2243 x2245 -x2246 -x2247 -x2248 x2250 -x2252 -x2253 -x2254 -x2255 -x2257 -x2259 -x2260 -x2261 -x2262 x2264 x2266 -x2267 -x2268 -x2269 -x2271 -x2273 -x2274 -x2275 -x2276 x2278 -x2280 -x2281 -x2282 -x2283 x2285 x2287 -x2288 -x2289 -x2290 -x2292 -x2294 -x2295 -x2296 -x2297 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 x3519 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3533 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3547 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3573 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3629 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3671 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3741 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3811 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3951 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3965 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3993 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 x4021 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 x4047 x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4061 x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4117 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4131 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4145 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4173 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4187 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4201 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4215 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4229 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4243 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4257 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4271 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 x4299 x4300 -x4301 -x4302 -x4304 -x4305 -x4306 -x4307 -x4309 -x4310 -x4311 -x4312 -x4314 -x4315 -x4316 -x4317 x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4329 -x4330 -x4331 -x4332 -x4334 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4349 -x4350 -x4351 -x4352 -x4354 -x4355 -x4356 -x4357 x4359 -x4360 -x4361 -x4362 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4374 -x4375 -x4376 -x4377 -x4379 -x4380 -x4381 -x4382 -x4384 -x4385 -x4386 -x4387 x4389 -x4390 -x4391 -x4392 -x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406 -x4407 -x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 x4429 -x4430 -x4431 -x4432 -x4434 -x4435 -x4436 -x4437 -x4439 -x4440 -x4441 -x4442 -x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461 -x4462 -x4464 -x4465 -x4466 -x4467 -x4469 -x4470 -x4471 -x4472 -x4474 -x4475 -x4476 -x4477 -x4479 -x4480 -x4481 -x4482 -x4484 -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4494 -x4495 -x4496 -x4497 -x4499 -x4500 -x4501 -x4502 -x4504 -x4505 -x4506 -x4507 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4519 -x4520 -x4521 -x4522 -x4524 -x4525 -x4526 -x4527 -x4529 -x4530 -x4531 -x4532 -x4534 -x4535 -x4536 -x4537 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4549 -x4550 -x4551 -x4552 -x4554 -x4555 -x4556 -x4557 -x4559 -x4560 -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4579 -x4580 -x4581 -x4582 -x4584 -x4585 -x4586 -x4587 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4604 -x4605 -x4606 -x4607 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626 -x4627 -x4629 -x4630 -x4631 -x4632 -x4634 -x4635 -x4636 -x4637 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 x4781 -x4782 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4940 -x4941 -x4942 -x4943 -x4944 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 -x5092 -x5093 -x5094 -x5095 -x5097 -x5099 -x5100 -x5101 -x5102 -x5104 x5106 -x5107 x5108 -x5109 -x5111 -x5113 -x5114 -x5115 -x5116 -x5118 -x5120 -x5121 -x5122 -x5123 -x5125 -x5127 -x5128 -x5129 -x5130 -x5132 -x5134 -x5135 -x5136 -x5137 x5139 -x5141 -x5142 -x5143 -x5144 -x5146 -x5148 -x5149 -x5150 -x5151 -x5153 -x5155 -x5157 -x5158 -x5159 -x5160 x5162 x5164 -x5165 -x5166 -x5167 -x5169 -x5171 -x5172 -x5173 -x5174 -x5176 x5178 -x5179 -x5180 -x5181 -x5183 -x5185 -x5186 -x5187 -x5188 -x5190 -x5192 -x5193 -x5194 -x5195 -x5197 x5199 -x5200 -x5201 -x5202 x5204 -x5205 -x5206 -x5207 -x5209 -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5223 -x5224 -x5225 -x5226 x5228 -x5230 -x5231 -x5232 -x5233 x5235 -x5236 -x5237 -x5238 -x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5254 -x5255 -x5256 -x5257 x5259 -x5261 -x5262 -x5263 -x5264 x5266 -x5268 -x5269 -x5270 -x5271 x5273 x5275 -x5276 -x5277 -x5278 -x5280 -x5282 -x5283 -x5284 -x5285 -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 x5299 x5301 -x5302 -x5303 -x5304 x5306 -x5308 -x5309 -x5310 -x5311 -x5313 -x5315 -x5316 -x5317 -x5318 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5392 -x5393 -x5394 -x5395 -x5397 -x5398 -x5399 -x5400 -x5402 -x5403 -x5404 -x5405 -x5407 -x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 x5417 -x5418 -x5419 -x5420 -x5422 -x5423 -x5424 -x5425 x5427 -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 -x5437 -x5438 -x5439 -x5440 x5442 -x5443 -x5444 -x5445 -x5447 -x5448 -x5449 -x5450 -x5452 -x5453 -x5454 -x5455 -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 -x5464 -x5465 -x5467 -x5469 -x5471 -x5473 x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 525.72/525.83 c _______________________________________________________________________________ 525.72/525.83 c 525.72/525.83 restarts : 4991 525.72/525.83 conflicts : 2369812 (4509 /sec) 525.72/525.83 decisions : 5700489 (0.00 % random) (10845 /sec) 525.72/525.83 propagations : 2222729422 (4228808 /sec) 525.72/525.83 conflict literals : 139703826 (56.43 % deleted) 525.72/525.83 Memory used : 103.73 MB 525.72/525.83 CPU time : 525.616 s 525.72/525.83 c _______________________________________________________________________________
OK 20
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4112743-1466566635/watcher-4112743-1466566635 -o /tmp/evaluation-result-4112743-1466566635/solver-4112743-1466566635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466551504-32680 --watchdog 1960 minisatp HOME/instance-4112743-1466566635.opb pid=2443 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.17 2.19 3/176 2446 /proc/meminfo: memFree=29925268/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=6596 CPUtime=0 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 58710175 6754304 240 33554432000 4194304 5646918 140736695252288 140735834036552 4251039 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 1649 240 97 355 0 1290 0 [startup+0.100116 s] /proc/loadavg: 2.12 2.17 2.19 3/176 2446 /proc/meminfo: memFree=29925268/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=11744 CPUtime=0.09 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 1645 0 0 0 9 0 0 0 20 0 1 0 58710175 12025856 1521 33554432000 4194304 5646918 140736695252288 140735834036552 4251039 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 2936 1522 97 355 0 2577 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11744 [startup+0.200272 s] /proc/loadavg: 2.12 2.17 2.19 3/176 2446 /proc/meminfo: memFree=29925268/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=17204 CPUtime=0.19 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 3005 0 0 0 19 0 0 0 20 0 1 0 58710175 17616896 2881 33554432000 4194304 5646918 140736695252288 140735834036552 4823861 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 4301 2882 97 355 0 3942 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 17204 [startup+0.300288 s] /proc/loadavg: 2.12 2.17 2.19 3/176 2446 /proc/meminfo: memFree=29925268/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=22380 CPUtime=0.29 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 4356 0 0 0 29 0 0 0 20 0 1 0 58710175 22917120 4729 33554432000 4194304 5646918 140736695252288 140735834036552 4817485 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 5595 4729 116 355 0 5236 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22380 [startup+0.700187 s] /proc/loadavg: 2.12 2.17 2.19 3/176 2446 /proc/meminfo: memFree=29925268/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=21408 CPUtime=0.69 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 5309 0 0 0 69 0 0 0 20 0 1 0 58710175 21921792 4987 33554432000 4194304 5646918 140736695252288 140735834036552 4402853 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 5352 4987 185 355 0 4993 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21408 [startup+1.50023 s] /proc/loadavg: 2.11 2.17 2.19 3/177 2447 /proc/meminfo: memFree=29901372/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=26832 CPUtime=1.49 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 6169 0 0 0 148 1 0 0 20 0 1 0 58710175 27475968 5836 33554432000 4194304 5646918 140736695252288 140736695250984 4817571 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 6708 5836 186 355 0 6349 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26832 [startup+3.1002 s] /proc/loadavg: 2.11 2.17 2.19 3/177 2447 /proc/meminfo: memFree=29893440/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=28888 CPUtime=3.09 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 7962 0 0 0 308 1 0 0 20 0 1 0 58710175 29581312 6806 33554432000 4194304 5646918 140736695252288 140736695251000 4402788 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 7222 6806 187 355 0 6863 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28888 [startup+6.30023 s] /proc/loadavg: 2.11 2.17 2.19 3/177 2447 /proc/meminfo: memFree=29887876/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=35960 CPUtime=6.29 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 8764 0 0 0 628 1 0 0 20 0 1 0 58710175 36823040 8625 33554432000 4194304 5646918 140736695252288 140736695250568 4266235 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 8990 8625 188 355 0 8631 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35960 [startup+12.7002 s] /proc/loadavg: 2.09 2.16 2.18 3/177 2447 /proc/meminfo: memFree=29863636/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=59056 CPUtime=12.69 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 9542 0 0 0 1267 2 0 0 20 0 1 0 58710175 60473344 13490 33554432000 4194304 5646918 140736695252288 140736695250584 4403372 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 14764 13490 188 355 0 14405 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59056 [startup+25.5003 s] /proc/loadavg: 2.16 2.17 2.19 3/177 2447 /proc/meminfo: memFree=29855968/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=56052 CPUtime=25.48 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 10128 0 0 0 2546 2 0 0 20 0 1 0 58710175 57397248 13469 33554432000 4194304 5646918 140736695252288 140736695250536 4403159 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 14013 13469 188 355 0 13654 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56052 [startup+51.1003 s] /proc/loadavg: 2.18 2.18 2.19 3/177 2448 /proc/meminfo: memFree=29816380/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=86828 CPUtime=51.08 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 10752 0 0 0 5105 3 0 0 20 0 1 0 58710175 88911872 20215 33554432000 4194304 5646918 140736695252288 140736695249784 4388947 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 21707 20215 188 355 0 21348 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 86828 [startup+102.3 s] /proc/loadavg: 2.25 2.19 2.19 3/177 2449 /proc/meminfo: memFree=29794768/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=86828 CPUtime=102.28 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 10757 0 0 0 10225 3 0 0 20 0 1 0 58710175 88911872 21242 33554432000 4194304 5646918 140736695252288 140736695250568 4402642 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 21707 21242 188 355 0 21348 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 86828 [startup+162.3 s] /proc/loadavg: 2.31 2.21 2.19 3/177 2450 /proc/meminfo: memFree=29776932/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=86828 CPUtime=162.27 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 10757 0 0 0 16224 3 0 0 20 0 1 0 58710175 88911872 21242 33554432000 4194304 5646918 140736695252288 140736695250568 4402788 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 21707 21242 188 355 0 21348 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 86828 [startup+222.307 s] /proc/loadavg: 2.22 2.20 2.18 3/178 2454 /proc/meminfo: memFree=29770408/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=87548 CPUtime=222.27 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 11699 0 0 0 22223 4 0 0 20 0 1 0 58710175 89649152 17004 33554432000 4194304 5646918 140736695252288 140736695250536 4402736 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 21887 17004 188 355 0 21528 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 87548 [startup+282.3 s] /proc/loadavg: 2.32 2.24 2.19 3/177 2455 /proc/meminfo: memFree=29871664/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=87548 CPUtime=282.25 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12036 0 0 0 28221 4 0 0 20 0 1 0 58710175 89649152 21422 33554432000 4194304 5646918 140736695252288 140736695250536 4388947 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 21887 21422 188 355 0 21528 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 87548 [startup+342.3 s] /proc/loadavg: 2.34 2.25 2.20 4/176 2456 /proc/meminfo: memFree=29840616/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=89540 CPUtime=342.23 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12037 0 0 0 34219 4 0 0 20 0 1 0 58710175 91688960 21423 33554432000 4194304 5646918 140736695252288 140736695250536 4403184 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 22385 21423 188 355 0 22026 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 89540 [startup+402.3 s] /proc/loadavg: 2.33 2.27 2.20 4/177 2458 /proc/meminfo: memFree=29817876/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=89968 CPUtime=402.22 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12038 0 0 0 40218 4 0 0 20 0 1 0 58710175 92127232 21424 33554432000 4194304 5646918 140736695252288 140736695250536 4402853 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 22492 21424 188 355 0 22133 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 89968 [startup+462.3 s] /proc/loadavg: 2.20 2.24 2.19 3/177 2626 /proc/meminfo: memFree=29941436/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=89968 CPUtime=462.22 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12038 0 0 0 46218 4 0 0 20 0 1 0 58710175 92127232 21424 33554432000 4194304 5646918 140736695252288 140736695250536 4403069 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 22492 21424 188 355 0 22133 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 89968 [startup+522.3 s] /proc/loadavg: 2.29 2.26 2.20 3/178 3188 /proc/meminfo: memFree=30058228/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=89968 CPUtime=522.21 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12175 0 0 0 52208 13 0 0 20 0 1 0 58710175 92127232 21561 33554432000 4194304 5646918 140736695252288 140736695250568 4402853 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 22492 21561 189 355 0 22133 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 89968 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 2446 sig 9 ??? kill -2446 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+523.2 s] /proc/loadavg: 2.29 2.26 2.20 3/178 3188 /proc/meminfo: memFree=30069512/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=89968 CPUtime=523.11 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12175 0 0 0 52298 13 0 0 20 0 1 0 58710175 92127232 21561 33554432000 4194304 5646918 140736695252288 140736695250568 4402764 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 22492 21561 189 355 0 22133 0 Current children cumulated CPU time (s) 523.11 Current children cumulated vsize (KiB) 89968 [startup+524.807 s] /proc/loadavg: 2.29 2.26 2.20 3/178 3188 /proc/meminfo: memFree=30064052/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=89968 CPUtime=524.72 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12175 0 0 0 52459 13 0 0 20 0 1 0 58710175 92127232 21561 33554432000 4194304 5646918 140736695252288 140736695250568 4403468 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 22492 21561 189 355 0 22133 0 Current children cumulated CPU time (s) 524.72 Current children cumulated vsize (KiB) 89968 [startup+525.6 s] /proc/loadavg: 2.29 2.26 2.20 3/178 3188 /proc/meminfo: memFree=30064052/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=89968 CPUtime=525.51 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12175 0 0 0 52538 13 0 0 20 0 1 0 58710175 92127232 21561 33554432000 4194304 5646918 140736695252288 140736695250568 4399417 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 22492 21561 189 355 0 22133 0 Current children cumulated CPU time (s) 525.51 Current children cumulated vsize (KiB) 89968 [startup+525.8 s] /proc/loadavg: 2.27 2.25 2.20 3/178 3188 /proc/meminfo: memFree=30051828/32872528 swapFree=1543496/1696796 [pid=2446] ppid=2443 vsize=89968 CPUtime=525.72 cores=0,2,4,6 /proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12175 0 0 0 52559 13 0 0 20 0 1 0 58710175 92127232 21561 33554432000 4194304 5646918 140736695252288 140736695250568 4404189 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/2446/statm: 22492 21561 189 355 0 22133 0 Current children cumulated CPU time (s) 525.72 Current children cumulated vsize (KiB) 89968 Child status: 0 Real time (s): 525.836 CPU time (s): 525.753 CPU user time (s): 525.617 CPU system time (s): 0.135979 CPU usage (%): 99.9843 Max. virtual memory (cumulated for all children) (KiB): 106224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 525.617 system time used= 0.135979 maximum resident set size= 86280 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12184 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 610 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.37479 second user time and 1.9997 second system time The end
Begin job on node125 at 2016-06-22 05:37:15 IDJOB=4112743 IDBENCH=25021 IDSOLVER=2555 FILE ID=node125/4112743-1466566635 RUNJOBID= node125-1466551504-32680 PBS_JOBID= 19943333 Free space on /tmp= 71736 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112743-1466566635/watcher-4112743-1466566635 -o /tmp/evaluation-result-4112743-1466566635/solver-4112743-1466566635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466551504-32680 --watchdog 1960 minisatp HOME/instance-4112743-1466566635.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=1994217262 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29925168 kB Buffers: 86292 kB Cached: 153684 kB SwapCached: 2360 kB Active: 332044 kB Inactive: 170592 kB Active(anon): 263348 kB Inactive(anon): 1880 kB Active(file): 68696 kB Inactive(file): 168712 kB Unevictable: 1696796 kB Mlocked: 1543496 kB SwapTotal: 67108856 kB SwapFree: 67097172 kB Dirty: 4288 kB Writeback: 0 kB AnonPages: 2033900 kB Mapped: 8904 kB Shmem: 0 kB Slab: 601688 kB SReclaimable: 45484 kB SUnreclaim: 556204 kB KernelStack: 1472 kB PageTables: 7836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2091624 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 432128 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4112743-1466566635.opb Free space on /tmp at the end= 71736 MiB End job on node125 at 2016-06-22 05:46:01