Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB12: minisatp 1.0-2-g022594c | SAT (TO) | 24 | 1800.09 | 1800.41 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb |
MD5SUM | d6135de924aeb400fc0f7d1c419e5860 |
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 | 24 |
Best CPU time to get the best result obtained on this benchmark | 2.67559 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 6080 |
Total number of constraints | 18113 |
Number of constraints which are clauses | 18113 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 125 |
Number of terms in the objective function | 2975 |
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 | 2975 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2975 |
Number of bits of the biggest sum of numbers | 12 |
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.00/0.02 c Converting 17626 PB-constraints to clauses... 0.00/0.03 c -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.00/0.03 c -- Detecting intervals from adjacent constraints: ######### 0.00/0.03 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 0.00/0.04 c ---[16207]---> BDD-cost: 1 0.00/0.04 c ---[16025]---> BDD-cost: 1 0.00/0.04 c ---[15269]---> BDD-cost: 1 0.00/0.04 c ---[15051]---> BDD-cost: 1 0.00/0.04 c ---[14914]---> BDD-cost: 1 0.00/0.04 c ---[14863]---> BDD-cost: 1 0.00/0.04 c ---[14846]---> BDD-cost: 1 0.00/0.04 c ---[14841]---> BDD-cost: 1 0.00/0.04 c ---[14839]---> BDD-cost: 1 0.00/0.04 c ==================================[MINISAT+]================================== 0.00/0.04 c | Conflicts | Original | Learnt | Progress | 0.00/0.04 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.04 c ============================================================================== 0.00/0.04 c | 0 | 15634 37659 | 5211 0 0 -nan | 0.000 % | 0.00/0.04 c ============================================================================== 0.00/0.04 c [1mFound solution: 32[0m 0.00/0.04 c ---[ 0]---> Adder-cost: 4964 maxlim: 2456 bits: 12/12 0.00/0.12 c ==================================[MINISAT+]================================== 0.00/0.12 c | Conflicts | Original | Learnt | Progress | 0.00/0.12 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.12 c ============================================================================== 0.00/0.12 c | 11 | 50299 161461 | 16766 11 90 8.2 | 0.000 % | 0.00/0.13 c | 111 | 50091 160735 | 18442 80 480 6.0 | 9.170 % | 0.00/0.15 c | 261 | 49886 160028 | 20286 195 737 3.8 | 9.486 % | 0.00/0.16 c | 486 | 49827 159829 | 22315 413 1571 3.8 | 9.586 % | 0.00/0.20 c | 823 | 49759 159601 | 24547 742 2837 3.8 | 9.703 % | 0.00/0.24 c | 1330 | 49750 159572 | 27001 1248 6495 5.2 | 9.721 % | 0.00/0.30 c | 2090 | 49750 159572 | 29701 2008 25731 12.8 | 9.721 % | 0.00/0.40 c | 3229 | 49750 159572 | 32672 3147 112519 35.8 | 9.721 % | 0.00/0.55 c | 4937 | 49750 159572 | 35939 4855 283032 58.3 | 9.721 % | 0.00/0.79 c | 7499 | 49750 159572 | 39533 7417 523782 70.6 | 9.721 % | 1.09/1.19 c | 11345 | 49750 159572 | 43486 11263 1012182 89.9 | 9.721 % | 1.79/1.87 c | 17111 | 49750 159572 | 47835 17029 1563365 91.8 | 9.721 % | 3.38/3.42 c | 25760 | 49750 159572 | 52618 25678 2994569 116.6 | 9.721 % | 6.29/6.34 c | 38734 | 49750 159572 | 57880 38652 5206565 134.7 | 9.721 % | 11.99/12.07 c | 58196 | 49750 159572 | 63668 58114 8520599 146.6 | 9.721 % | 19.79/19.81 c | 87388 | 49750 159572 | 70035 37980 5335324 140.5 | 9.721 % | 32.89/32.97 c | 131178 | 49750 159572 | 77039 26731 4026292 150.6 | 9.721 % | 38.49/38.54 c ============================================================================== 38.49/38.54 c [1mFound solution: 31[0m 38.49/38.54 c ---[ 0]---> Adder-cost: 0 maxlim: 2457 bits: 12/12 38.58/38.63 c ==================================[MINISAT+]================================== 38.58/38.63 c | Conflicts | Original | Learnt | Progress | 38.58/38.63 c | | Clauses Literals | Max Clauses Literals LPC | | 38.58/38.63 c ============================================================================== 38.58/38.63 c | 154410 | 49751 159578 | 16583 49963 6705794 134.2 | 9.721 % | 38.68/38.71 c | 154510 | 49751 159578 | 18241 16333 1488538 91.1 | 9.730 % | 38.68/38.74 c | 154660 | 49751 159578 | 20065 16483 1489345 90.4 | 9.730 % | 38.68/38.78 c | 154886 | 49751 159578 | 22071 16709 1491712 89.3 | 9.730 % | 38.78/38.81 c | 155227 | 49751 159578 | 24279 17050 1499574 88.0 | 9.730 % | 38.78/38.86 c | 155734 | 49751 159578 | 26707 17557 1524021 86.8 | 9.730 % | 38.88/38.97 c | 156495 | 49751 159578 | 29377 18318 1614946 88.2 | 9.730 % | 39.08/39.12 c | 157637 | 49751 159578 | 32315 19460 1735271 89.2 | 9.730 % | 39.28/39.34 c | 159345 | 49751 159578 | 35547 21168 1941413 91.7 | 9.730 % | 39.68/39.73 c | 161908 | 49751 159578 | 39101 23731 2209570 93.1 | 9.730 % | 40.38/40.46 c | 165756 | 49751 159578 | 43012 27579 2860229 103.7 | 9.730 % | 40.98/41.08 c ============================================================================== 40.98/41.08 c [1mFound solution: 30[0m 40.98/41.08 c ---[ 0]---> Adder-cost: 0 maxlim: 2458 bits: 12/12 41.08/41.15 c ==================================[MINISAT+]================================== 41.08/41.15 c | Conflicts | Original | Learnt | Progress | 41.08/41.15 c | | Clauses Literals | Max Clauses Literals LPC | | 41.08/41.15 c ============================================================================== 41.08/41.15 c | 169000 | 49754 159591 | 16584 30823 3269762 106.1 | 9.730 % | 41.08/41.19 c | 169102 | 49754 159591 | 18242 15000 1563156 104.2 | 9.738 % | 41.18/41.21 c | 169252 | 49754 159591 | 20066 15150 1572715 103.8 | 9.738 % | 41.18/41.25 c | 169479 | 49754 159591 | 22073 15377 1595774 103.8 | 9.738 % | 41.18/41.28 c | 169818 | 49754 159591 | 24280 15716 1614202 102.7 | 9.738 % | 41.28/41.36 c | 170326 | 49754 159591 | 26708 16224 1671768 103.0 | 9.738 % | 41.38/41.45 c | 171087 | 49754 159591 | 29379 16985 1745861 102.8 | 9.738 % | 41.58/41.63 c | 172226 | 49754 159591 | 32317 18124 1885725 104.0 | 9.738 % | 41.88/41.90 c | 173935 | 49754 159591 | 35549 19833 2102786 106.0 | 9.738 % | 42.28/42.31 c | 176497 | 49754 159591 | 39104 22395 2453056 109.5 | 9.738 % | 42.98/43.03 c | 180342 | 49754 159591 | 43014 26240 2817553 107.4 | 9.738 % | 44.28/44.30 c | 186109 | 49754 159591 | 47316 32007 3722205 116.3 | 9.738 % | 46.38/46.47 c | 194758 | 49754 159591 | 52047 40656 5293421 130.2 | 9.738 % | 50.59/50.66 c | 207732 | 49754 159591 | 57252 16688 1350615 80.9 | 9.738 % | 54.58/54.67 c | 227193 | 49754 159591 | 62977 36149 4013662 111.0 | 9.738 % | 61.78/61.88 c | 256385 | 49754 159591 | 69275 16823 2142531 127.4 | 9.738 % | 70.18/70.21 c ============================================================================== 70.18/70.21 c [1mFound solution: 28[0m 70.18/70.21 c ---[ 0]---> Adder-cost: 0 maxlim: 2460 bits: 12/12 70.18/70.29 c ==================================[MINISAT+]================================== 70.18/70.29 c | Conflicts | Original | Learnt | Progress | 70.18/70.29 c | | Clauses Literals | Max Clauses Literals LPC | | 70.18/70.29 c ============================================================================== 70.18/70.29 c | 293116 | 49758 159609 | 16586 53554 8284297 154.7 | 9.738 % | 70.29/70.37 c | 293216 | 49758 159609 | 18244 16061 1892953 117.9 | 9.754 % | 70.29/70.39 c | 293366 | 49758 159609 | 20069 16211 1894445 116.9 | 9.754 % | 70.39/70.42 c | 293594 | 49758 159609 | 22075 16439 1908593 116.1 | 9.754 % | 70.39/70.45 c | 293931 | 49758 159609 | 24283 16776 1921714 114.6 | 9.754 % | 70.48/70.52 c | 294437 | 49758 159609 | 26711 17282 1961377 113.5 | 9.754 % | 70.58/70.61 c | 295198 | 49758 159609 | 29383 18043 2057384 114.0 | 9.754 % | 70.68/70.78 c | 296337 | 49758 159609 | 32321 19182 2227243 116.1 | 9.754 % | 70.88/70.97 c | 298046 | 49758 159609 | 35553 20891 2350033 112.5 | 9.754 % | 71.28/71.37 c | 300609 | 49758 159609 | 39108 23454 2735655 116.6 | 9.754 % | 71.98/72.04 c | 304454 | 49758 159609 | 43019 27299 3313429 121.4 | 9.754 % | 73.08/73.17 c | 310220 | 49758 159609 | 47321 33065 3980839 120.4 | 9.754 % | 74.88/74.96 c | 318869 | 49758 159609 | 52053 41714 4910858 117.7 | 9.754 % | 78.18/78.25 c | 331845 | 49749 159578 | 57259 17051 1764280 103.5 | 9.763 % | 82.58/82.62 c | 351306 | 49749 159578 | 62985 36512 4317477 118.2 | 9.763 % | 91.18/91.28 c | 380498 | 49749 159578 | 69283 19136 2053169 107.3 | 9.763 % | 103.87/103.94 c | 424288 | 49740 159547 | 76212 62920 10105641 160.6 | 9.772 % | 123.06/123.16 c | 489972 | 49740 159547 | 83833 65960 11371235 172.4 | 9.772 % | 149.94/150.09 c | 588498 | 49731 159516 | 92216 31620 3602564 113.9 | 9.781 % | 188.63/188.77 c | 736288 | 49731 159516 | 101438 31919 3888914 121.8 | 9.781 % | 251.42/251.58 c | 957971 | 49705 159426 | 111582 87550 10047184 114.8 | 9.817 % | 347.10/347.21 c | 1290502 | 49699 159406 | 122740 50159 4730926 94.3 | 9.826 % | 379.00/379.17 c ============================================================================== 379.00/379.17 c [1mFound solution: 27[0m 379.00/379.17 c ---[ 0]---> Adder-cost: 0 maxlim: 2461 bits: 12/12 379.10/379.25 c ==================================[MINISAT+]================================== 379.10/379.25 c | Conflicts | Original | Learnt | Progress | 379.10/379.25 c | | Clauses Literals | Max Clauses Literals LPC | | 379.10/379.25 c ============================================================================== 379.10/379.25 c | 1404183 | 49700 159412 | 16566 62146 5848966 94.1 | 9.826 % | 379.50/379.62 c | 1404283 | 49700 159412 | 18222 11184 716334 64.0 | 9.835 % | 379.50/379.64 c | 1404433 | 49700 159412 | 20044 11334 717851 63.3 | 9.835 % | 379.50/379.66 c | 1404658 | 49700 159412 | 22049 11559 731509 63.3 | 9.835 % | 379.50/379.68 c | 1404997 | 49700 159412 | 24254 11898 746561 62.7 | 9.835 % | 379.60/379.73 c | 1405504 | 49700 159412 | 26679 12405 791567 63.8 | 9.835 % | 379.70/379.81 c | 1406265 | 49700 159412 | 29347 13166 865816 65.8 | 9.835 % | 379.80/379.93 c | 1407404 | 49700 159412 | 32282 14305 985612 68.9 | 9.835 % | 380.00/380.13 c | 1409113 | 49700 159412 | 35510 16014 1168645 73.0 | 9.835 % | 380.30/380.41 c | 1411676 | 49700 159412 | 39061 18577 1501180 80.8 | 9.835 % | 380.80/380.90 c | 1415524 | 49700 159412 | 42967 22425 1987897 88.6 | 9.835 % | 381.80/381.93 c | 1421296 | 49700 159412 | 47264 28197 2980600 105.7 | 9.835 % | 383.20/383.37 c | 1429947 | 49700 159412 | 51991 36848 4282143 116.2 | 9.835 % | 386.20/386.36 c | 1442925 | 49700 159412 | 57190 49826 6532316 131.1 | 9.835 % | 391.41/391.50 c | 1462386 | 49700 159412 | 62909 28548 3992976 139.9 | 9.835 % | 397.60/397.78 c | 1491578 | 49700 159412 | 69200 57740 8168744 141.5 | 9.835 % | 409.70/409.81 c | 1535367 | 49700 159412 | 76120 48226 6986843 144.9 | 9.835 % | 424.90/425.06 c | 1601052 | 49700 159412 | 83732 52937 6902416 130.4 | 9.835 % | 450.19/450.39 c | 1699581 | 49700 159412 | 92105 84809 12936440 152.5 | 9.835 % | 494.28/494.43 c | 1847370 | 49700 159412 | 101316 84163 14067769 167.1 | 9.835 % | 515.88/516.06 c ============================================================================== 515.88/516.06 c [1mFound solution: 26[0m 515.88/516.06 c ---[ 0]---> Adder-cost: 0 maxlim: 2462 bits: 12/12 515.98/516.15 c ==================================[MINISAT+]================================== 515.98/516.15 c | Conflicts | Original | Learnt | Progress | 515.98/516.15 c | | Clauses Literals | Max Clauses Literals LPC | | 515.98/516.15 c ============================================================================== 515.98/516.15 c | 1930969 | 49624 159152 | 16541 82755 11522536 139.2 | 9.835 % | 516.18/516.36 c | 1931069 | 49624 159152 | 18195 15729 1523535 96.9 | 9.960 % | 516.18/516.38 c | 1931219 | 49624 159152 | 20014 15879 1524218 96.0 | 9.960 % | 516.28/516.40 c | 1931444 | 49624 159152 | 22016 16104 1525800 94.7 | 9.960 % | 516.28/516.44 c | 1931782 | 49624 159152 | 24217 16442 1534597 93.3 | 9.960 % | 516.28/516.49 c | 1932288 | 49598 159062 | 26639 16943 1570418 92.7 | 9.996 % | 516.38/516.57 c | 1933049 | 49598 159062 | 29303 17704 1623886 91.7 | 9.996 % | 516.58/516.70 c | 1934189 | 49572 158972 | 32233 18839 1750168 92.9 | 10.033 % | 516.68/516.87 c | 1935897 | 49572 158972 | 35457 20547 1889757 92.0 | 10.033 % | 516.98/517.18 c | 1938462 | 49572 158972 | 39002 23112 2198695 95.1 | 10.033 % | 517.48/517.62 c | 1942306 | 49572 158972 | 42903 26956 2553509 94.7 | 10.033 % | 518.28/518.46 c | 1948076 | 49572 158972 | 47193 32726 3260238 99.6 | 10.033 % | 519.78/519.96 c | 1956728 | 49572 158972 | 51912 41378 4378661 105.8 | 10.033 % | 522.58/522.77 c | 1969706 | 49572 158972 | 57104 16759 1656247 98.8 | 10.033 % | 526.18/526.32 c | 1989170 | 49572 158972 | 62814 36223 4147023 114.5 | 10.033 % | 534.17/534.33 c | 2018363 | 49572 158972 | 69095 19342 1614396 83.5 | 10.033 % | 543.28/543.48 c | 2062154 | 49572 158972 | 76005 63133 7514142 119.0 | 10.033 % | 557.67/557.85 c | 2127838 | 49572 158972 | 83605 69264 7827240 113.0 | 10.033 % | 585.27/585.47 c | 2226367 | 49563 158941 | 91966 35624 2910338 81.7 | 10.042 % | 623.36/623.55 c | 2374158 | 49563 158941 | 101163 34845 3180902 91.3 | 10.042 % | 695.06/695.26 c | 2595843 | 49563 158941 | 111279 87560 9809605 112.0 | 10.042 % | 798.73/798.94 c | 2928369 | 49563 158941 | 122407 48590 6330177 130.3 | 10.042 % | 973.09/973.31 c | 3427158 | 49563 158941 | 134648 35933 4179582 116.3 | 10.042 % | 984.99/985.26 c ============================================================================== 984.99/985.26 c [1mFound solution: 24[0m 984.99/985.26 c ---[ 0]---> Adder-cost: 0 maxlim: 2464 bits: 12/12 985.09/985.35 c ==================================[MINISAT+]================================== 985.09/985.35 c | Conflicts | Original | Learnt | Progress | 985.09/985.35 c | | Clauses Literals | Max Clauses Literals LPC | | 985.09/985.35 c ============================================================================== 985.09/985.35 c | 3477549 | 49108 157326 | 16369 85167 11247055 132.1 | 10.042 % | 985.30/985.54 c | 3477650 | 49108 157326 | 18005 17264 1920667 111.3 | 10.825 % | 985.30/985.56 c | 3477800 | 49108 157326 | 19806 17414 1932743 111.0 | 10.825 % | 985.30/985.60 c | 3478026 | 49108 157326 | 21787 17640 1954578 110.8 | 10.825 % | 985.40/985.64 c | 3478365 | 49108 157326 | 23965 17979 1989421 110.7 | 10.825 % | 985.49/985.70 c | 3478871 | 49108 157326 | 26362 18485 2037350 110.2 | 10.825 % | 985.59/985.80 c | 3479630 | 49108 157326 | 28998 19244 2122155 110.3 | 10.825 % | 985.69/985.94 c | 3480769 | 49108 157326 | 31898 20383 2254106 110.6 | 10.825 % | 985.99/986.20 c | 3482477 | 49108 157326 | 35088 22091 2472492 111.9 | 10.825 % | 986.40/986.63 c | 3485041 | 49108 157326 | 38597 24655 2817515 114.3 | 10.825 % | 987.09/987.34 c | 3488885 | 49108 157326 | 42456 28499 3288328 115.4 | 10.825 % | 988.19/988.47 c | 3494651 | 49108 157326 | 46702 34265 3948759 115.2 | 10.825 % | 989.99/990.21 c | 3503301 | 49108 157326 | 51372 42915 4921895 114.7 | 10.825 % | 993.00/993.26 c | 3516277 | 49108 157326 | 56510 18910 1654475 87.5 | 10.825 % | 996.09/996.34 c | 3535741 | 49108 157326 | 62161 38374 3194129 83.2 | 10.825 % | 1004.19/1004.44 c | 3564935 | 49108 157326 | 68377 19578 1356266 69.3 | 10.825 % | 1013.39/1013.60 c | 3608728 | 49108 157326 | 75215 63371 4665023 73.6 | 10.825 % | 1027.38/1027.68 c | 3674413 | 49108 157326 | 82736 69041 4491573 65.1 | 10.825 % | 1048.98/1049.25 c | 3772939 | 49108 157326 | 91010 35534 2311053 65.0 | 10.825 % | 1087.27/1087.50 c | 3920735 | 49108 157326 | 100111 39785 2570995 64.6 | 10.825 % | 1138.47/1138.76 c | 4142426 | 49108 157326 | 110122 95791 5373711 56.1 | 10.825 % | 1221.45/1221.76 c | 4474952 | 49108 157326 | 121134 57479 3133902 54.5 | 10.825 % | 1348.43/1348.76 c | 4973741 | 49108 157326 | 133248 39980 3188896 79.8 | 10.825 % | 1570.61/1570.99 c | 5721924 | 49108 157326 | 146572 106973 11358015 106.2 | 10.825 % | 1800.08/1800.40 c 1800.08/1800.40 c *** TERMINATED *** 1800.08/1800.40 s SATISFIABLE 1800.08/1800.40 v x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2087 -x2089 -x2091 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2253 -x2255 -x2257 -x2259 -x2261 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 x3379 -x3381 -x3383 -x3385 -x3387 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4460 -x4462 -x4464 -x4466 -x4468 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4976 -x4978 -x4980 x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5634 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 -x5704 -x5706 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5737 -x5739 -x5741 -x5743 -x5745 -x5746 x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 x5809 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 x5964 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 x6000 -x6002 -x6004 -x6006 -x6008 -x6010 -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6024 -x6026 -x6028 x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 -x6046 -x6048 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6074 -x6076 -x6078 x6079 x6080 x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x1 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x2 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 x286 -x288 -x290 -x292 -x3 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 x546 -x548 -x4 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x5 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x6 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x7 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x976 -x978 -x980 -x982 -x984 -x986 -x8 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x9 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x10 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x11 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x12 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x13 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1381 -x1383 -x1385 -x1387 -x1389 -x14 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x15 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x16 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x17 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x18 -x1543 -x1545 -x1548 -x1550 -x1552 -x1554 -x19 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x20 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x21 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x22 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x23 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x24 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x25 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x26 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x27 -x2046 -x2048 -x2050 -x2052 -x2055 -x2057 -x28 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2088 -x2090 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x29 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x30 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x31 -x2209 -x2211 -x2213 -x2215 -x2217 -x2220 -x32 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x33 -x2251 -x2254 -x2256 -x2258 -x2260 -x34 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x35 -x2277 -x2280 -x2282 -x2284 -x2286 -x2288 x2290 -x2292 -x2294 -x36 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x37 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x38 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x39 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x40 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x41 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x42 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x43 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x44 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x45 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x46 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x47 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x48 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x49 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x50 -x2887 -x2890 -x2892 -x2894 -x2896 -x2898 -x51 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x52 -x2914 -x2916 -x2918 -x53 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x54 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x55 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x56 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x57 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x58 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x59 -x3114 -x3116 -x3118 -x3120 -x3123 -x3125 -x60 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x61 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x62 -x3155 -x3157 -x3159 -x63 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x64 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x65 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x66 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x67 -x3233 -x3235 -x3237 -x68 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x69 -x3253 -x3255 -x3257 -x70 -x3259 -x3261 -x3263 -x71 -x3265 -x3267 -x72 -x3270 -x73 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x74 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 x75 -x3322 -x3324 -x3326 x3328 -x3330 -x3332 -x3334 -x76 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 x3378 -x3380 -x3382 -x3384 -x3386 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x77 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x78 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x79 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x80 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x81 -x3540 -x3542 -x3544 -x3546 -x3548 -x3551 -x82 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x83 -x3567 -x3569 -x3571 -x84 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x85 -x3587 -x3589 -x3591 -x86 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x87 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x88 -x3637 -x3639 -x3641 -x3644 -x3646 -x3648 -x89 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x90 -x3664 -x3666 -x91 -x3668 -x3670 -x3672 -x92 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x93 -x3688 -x3690 -x3692 -x94 -x3694 -x3696 -x95 -x3699 -x96 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x97 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x98 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x99 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 x4034 -x4036 -x4038 -x100 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x101 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x102 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x103 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x104 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x105 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x106 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x107 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x108 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x109 -x4292 -x4294 -x4296 -x4299 -x4301 -x4303 -x110 -x4305 -x4307 -x4309 -x111 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x112 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4461 -x4463 -x4465 -x4467 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x113 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x114 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x115 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x116 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x117 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x118 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x119 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x120 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x121 -x4812 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x122 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x123 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4878 -x4880 -x4882 -x124 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x125 -x4912 -x4914 -x4916 -x126 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4977 -x4979 x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x127 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x128 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x129 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x130 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x131 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x132 -x5111 -x5113 -x5115 -x133 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x134 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x135 -x5161 -x5163 -x5166 -x5168 -x5170 -x5172 -x136 -x5174 -x5176 -x5178 -x137 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x138 -x5194 -x5196 -x5198 -x139 -x5200 -x5202 -x140 -x5205 -x141 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x142 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5288 -x5290 -x5292 -x5294 -x143 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x144 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 x5364 -x5366 -x5368 -x145 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x146 -x5384 -x5386 -x5388 -x5390 -x5392 -x5395 -x147 -x5397 -x5399 -x5401 -x5403 x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x148 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x149 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x150 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x151 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x152 -x5568 -x5570 -x5572 -x5574 -x5576 -x153 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x154 -x5592 -x5594 -x5596 -x155 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x156 -x5628 -x5630 -x5632 -x5635 -x5637 -x5639 -x157 -x5641 -x5643 -x5645 -x5647 -x5649 -x5651 -x5653 -x158 -x5655 -x5657 -x159 -x5660 -x5662 -x5664 -x5666 -x5668 x5670 -x5672 -x5674 -x5676 -x160 -x5678 -x5680 -x161 -x5683 -x162 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5738 -x5740 -x5742 -x5744 x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x163 -x5769 -x5771 -x5773 -x5775 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 x5808 -x5810 -x164 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 -x165 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x166 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x167 -x5870 -x5872 -x5874 -x168 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x169 -x5906 -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x170 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x171 -x5934 -x5936 -x5938 -x172 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x173 -x5954 -x5956 -x5958 -x174 -x5960 -x5962 x175 -x5965 -x176 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 x177 -x5993 -x5995 -x5997 x5999 -x6001 -x6003 -x6005 -x178 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x179 -x6021 -x6023 -x6025 x180 -x6027 x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x181 -x6041 -x6043 -x182 -x6045 -x6047 -x183 -x6050 -x184 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x185 -x6064 -x6066 -x6068 -x186 -x6070 -x6072 -x187 -x6075 -x188 -x6077 x189 x190
OK 24
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3723760-1338574313/watcher-3723760-1338574313 -o /tmp/evaluation-result-3723760-1338574313/solver-3723760-1338574313 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723760-1338574313.opb 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.02 2.01 1.93 3/177 18668 /proc/meminfo: memFree=27985276/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [startup+0.019367 s] /proc/loadavg: 2.02 2.01 1.93 3/177 18668 /proc/meminfo: memFree=27985276/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100245 s] /proc/loadavg: 2.02 2.01 1.93 3/177 18668 /proc/meminfo: memFree=27985276/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300229 s] /proc/loadavg: 2.02 2.01 1.93 3/177 18668 /proc/meminfo: memFree=27985276/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.70022 s] /proc/loadavg: 2.02 2.01 1.93 3/177 18668 /proc/meminfo: memFree=27985276/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50022 s] /proc/loadavg: 2.02 2.01 1.93 3/179 18673 /proc/meminfo: memFree=27966388/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=23032 CPUtime=1.49 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 5640 0 0 0 148 1 0 0 20 0 1 0 323558029 23584768 5548 33554432000 4194304 5276501 140735960684912 140735960682904 4399860 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 5758 5548 148 265 0 5490 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32180 [startup+3.1003 s] /proc/loadavg: 2.02 2.01 1.93 3/179 18673 /proc/meminfo: memFree=27960924/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=29760 CPUtime=3.08 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 7325 0 0 0 307 1 0 0 20 0 1 0 323558029 30474240 7233 33554432000 4194304 5276501 140735960684912 140735960682904 4399913 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 7440 7233 148 265 0 7172 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 38908 [startup+6.3003 s] /proc/loadavg: 2.02 2.01 1.93 3/179 18673 /proc/meminfo: memFree=27948040/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=40748 CPUtime=6.29 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 10072 0 0 0 627 2 0 0 20 0 1 0 323558029 41725952 9980 33554432000 4194304 5276501 140735960684912 140735960682904 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 10187 9980 148 265 0 9919 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49896 [startup+12.7003 s] /proc/loadavg: 2.02 2.01 1.93 3/179 18673 /proc/meminfo: memFree=27929528/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=57284 CPUtime=12.68 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 14172 0 0 0 1266 2 0 0 20 0 1 0 323558029 58658816 14080 33554432000 4194304 5276501 140735960684912 140735960682904 4399866 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 14321 14080 148 265 0 14053 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 66432 [startup+25.5003 s] /proc/loadavg: 2.01 2.01 1.93 3/179 18673 /proc/meminfo: memFree=27913168/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=62112 CPUtime=25.49 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 15298 0 0 0 2546 3 0 0 20 0 1 0 323558029 63602688 15206 33554432000 4194304 5276501 140735960684912 140735960683096 4399869 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 15528 15206 148 265 0 15260 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71260 [startup+51.1002 s] /proc/loadavg: 2.01 2.01 1.93 3/179 18673 /proc/meminfo: memFree=27896796/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=72752 CPUtime=51.08 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 17593 0 0 0 5104 4 0 0 20 0 1 0 323558029 74498048 17856 33554432000 4194304 5276501 140735960684912 140735960683160 4399918 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 18188 17856 149 265 0 17920 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 81900 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.93 3/179 18673 /proc/meminfo: memFree=27861828/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=76432 CPUtime=102.28 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 18497 0 0 0 10224 4 0 0 20 0 1 0 323558029 78266368 18766 33554432000 4194304 5276501 140735960684912 140735960682904 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 19108 18766 149 265 0 18840 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 85580 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 18673 /proc/meminfo: memFree=27822636/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=101732 CPUtime=162.23 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 24751 0 0 0 16218 5 0 0 20 0 1 0 323558029 104173568 25160 33554432000 4194304 5276501 140735960684912 140735960683096 4394779 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 25433 25160 149 265 0 25165 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 110880 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 18674 /proc/meminfo: memFree=27815196/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=109008 CPUtime=222.23 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 26458 0 0 0 22217 6 0 0 20 0 1 0 323558029 111624192 26867 33554432000 4194304 5276501 140735960684912 140735960683096 4399937 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 27252 26867 149 265 0 26984 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 118156 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 18674 /proc/meminfo: memFree=27811776/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=112624 CPUtime=282.22 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 27273 0 0 0 28216 6 0 0 20 0 1 0 323558029 115326976 27682 33554432000 4194304 5276501 140735960684912 140735960683096 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 28156 27682 149 265 0 27888 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 121772 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 18674 /proc/meminfo: memFree=27803968/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=120124 CPUtime=342.2 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 28803 0 0 0 34214 6 0 0 20 0 1 0 323558029 123006976 29564 33554432000 4194304 5276501 140735960684912 140735960683096 4399904 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 30031 29564 149 265 0 29763 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 129272 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 18674 /proc/meminfo: memFree=27800128/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=167240 CPUtime=1062.08 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 40037 0 0 0 106198 10 0 0 20 0 1 0 323558029 171253760 41508 33554432000 4194304 5276501 140735960684912 140735960683160 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 41810 41508 151 265 0 41542 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 176388 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 18684 /proc/meminfo: memFree=27676780/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=167240 CPUtime=1122.07 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 40037 0 0 0 112197 10 0 0 20 0 1 0 323558029 171253760 41508 33554432000 4194304 5276501 140735960684912 140735960683160 4395028 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 41810 41508 151 265 0 41542 0 Current children cumulated CPU time (s) 1122.07 Current children cumulated vsize (KiB) 176388 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18684 /proc/meminfo: memFree=27677768/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=167240 CPUtime=1182.06 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 40037 0 0 0 118196 10 0 0 20 0 1 0 323558029 171253760 41508 33554432000 4194304 5276501 140735960684912 140735960683160 4399913 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 41810 41508 151 265 0 41542 0 Current children cumulated CPU time (s) 1182.06 Current children cumulated vsize (KiB) 176388 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 18684 /proc/meminfo: memFree=27677768/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=167240 CPUtime=1242.05 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 40037 0 0 0 124195 10 0 0 20 0 1 0 323558029 171253760 41508 33554432000 4194304 5276501 140735960684912 140735960683160 4390912 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 41810 41508 151 265 0 41542 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 176388 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 18685 /proc/meminfo: memFree=27677388/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=167240 CPUtime=1302.05 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 40037 0 0 0 130195 10 0 0 20 0 1 0 323558029 171253760 41508 33554432000 4194304 5276501 140735960684912 140735960683160 4399869 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 41810 41508 151 265 0 41542 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 176388 [startup+1362.3 s] /proc/loadavg: 2.11 2.03 1.95 3/179 18685 /proc/meminfo: memFree=27677276/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=167240 CPUtime=1362.03 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 40088 0 0 0 136193 10 0 0 20 0 1 0 323558029 171253760 41559 33554432000 4194304 5276501 140735960684912 140735960683160 4399937 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 41810 41559 151 265 0 41542 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 176388 [startup+1422.31 s] /proc/loadavg: 2.04 2.02 1.95 3/179 18686 /proc/meminfo: memFree=27676656/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=168124 CPUtime=1422.03 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 40207 0 0 0 142193 10 0 0 20 0 1 0 323558029 172158976 41678 33554432000 4194304 5276501 140735960684912 140735960683096 4399904 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 42031 41678 151 265 0 41763 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 177272 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 1.95 3/179 18686 /proc/meminfo: memFree=27674488/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=170364 CPUtime=1482.02 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 40664 0 0 0 148191 11 0 0 20 0 1 0 323558029 174452736 42225 33554432000 4194304 5276501 140735960684912 140735960683096 4399800 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 42591 42225 151 265 0 42323 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 179512 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 1.95 3/179 18686 /proc/meminfo: memFree=27673248/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=172284 CPUtime=1542.01 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 41085 0 0 0 154190 11 0 0 20 0 1 0 323558029 176418816 42646 33554432000 4194304 5276501 140735960684912 140735960683096 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 43071 42646 151 265 0 42803 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 181432 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.95 3/179 18686 /proc/meminfo: memFree=27671140/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=174632 CPUtime=1602 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 41568 0 0 0 160189 11 0 0 20 0 1 0 323558029 178823168 43129 33554432000 4194304 5276501 140735960684912 140735960682504 4399913 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 43658 43129 151 265 0 43390 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 183780 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 18686 /proc/meminfo: memFree=27668660/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=177344 CPUtime=1661.99 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 42117 0 0 0 166188 11 0 0 20 0 1 0 323558029 181600256 43678 33554432000 4194304 5276501 140735960684912 140735960683096 4399860 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 44336 43678 151 265 0 44068 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 186492 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.95 3/180 18733 /proc/meminfo: memFree=27689128/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=179868 CPUtime=1721.98 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 42581 0 0 0 172187 11 0 0 20 0 1 0 323558029 184184832 44142 33554432000 4194304 5276501 140735960684912 140735960683096 4399992 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 44967 44142 151 265 0 44699 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 189016 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 18733 /proc/meminfo: memFree=27647524/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=192632 CPUtime=1781.97 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 45693 0 0 0 178185 12 0 0 20 0 1 0 323558029 197255168 47668 33554432000 4194304 5276501 140735960684912 140735960683096 4399850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 48158 47668 151 265 0 47890 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 201780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.07 2.02 1.96 3/179 18733 /proc/meminfo: memFree=27639572/32873648 swapFree=6852/6852 [pid=18668] ppid=18666 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18668/stat : 18668 (minisat+_script) S 18666 18668 16571 0 -1 4202496 382 553 0 0 0 0 0 0 20 0 1 0 323558028 9367552 277 33554432000 4194304 5064252 140733526214960 140733526213872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/18668/statm: 2287 277 236 213 0 72 0 [pid=18672] ppid=18668 vsize=193112 CPUtime=1800.08 cores=0,2,4,6 /proc/18672/stat : 18672 (minisat+_64-bit) R 18668 18668 16571 0 -1 4202496 45779 0 0 0 179996 12 0 0 20 0 1 0 323558029 197746688 47754 33554432000 4194304 5276501 140735960684912 140735960683096 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/18672/statm: 48278 47754 151 265 0 48010 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 202260 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.09 CPU user time (s): 1799.96 CPU system time (s): 0.12698 CPU usage (%): 99.9822 Max. virtual memory (cumulated for all children) (KiB): 202260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.12698 maximum resident set size= 191020 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46727 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= 88 involuntary context switches= 1978 runsolver used 2.6546 second user time and 7.19691 second system time The end
Begin job on node115 at 2012-06-01 20:11:53 IDJOB=3723760 IDBENCH=24996 IDSOLVER=2307 FILE ID=node115/3723760-1338574313 RUNJOBID= node115-1338570572-18281 PBS_JOBID= 14635869 Free space on /tmp= 70828 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723760-1338574313/watcher-3723760-1338574313 -o /tmp/evaluation-result-3723760-1338574313/solver-3723760-1338574313 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723760-1338574313.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860 RANDOM SEED=83919695 node115.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.462 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 : 5332.92 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.462 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 : 5331.91 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.462 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 : 5331.92 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.462 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 : 5331.91 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.462 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 : 5331.92 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.462 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 : 5331.91 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.462 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 : 5331.91 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.462 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27985540 kB Buffers: 545928 kB Cached: 3312932 kB SwapCached: 964 kB Active: 1916376 kB Inactive: 2068256 kB Active(anon): 117744 kB Inactive(anon): 9824 kB Active(file): 1798632 kB Inactive(file): 2058432 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67106432 kB Dirty: 2804 kB Writeback: 4 kB AnonPages: 131012 kB Mapped: 12228 kB Shmem: 96 kB Slab: 766692 kB SReclaimable: 210936 kB SUnreclaim: 555756 kB KernelStack: 1472 kB PageTables: 3624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 241964 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 100352 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70820 MiB End job on node115 at 2012-06-01 20:41:53