Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | SAT (TO) | 1096285184 | 3600.27 | 3594.54 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb |
| MD5SUM | 9da0f014fb9cbd107dd1b5ea973ba0c7 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1086940160 |
| Best CPU time to get the best result obtained on this benchmark | 2471.28 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8902 |
| Total number of constraints | 2864 |
| Number of constraints which are clauses | 143 |
| Number of constraints which are cardinality constraints (but not clauses) | 31 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2407 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 1024000000000 |
| Number of bits of the biggest number in a constraint | 40 |
| Biggest sum of numbers in a constraint | 2123511627775 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.12/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.16 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.16 c See www.sat4j.org for details. 0.12/0.18 c version PB25.v20250606 0.12/0.20 c java.runtime.name OpenJDK Runtime Environment 0.12/0.20 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.20 c java.vm.version 22.0.1+8-16 0.12/0.20 c java.vm.vendor Oracle Corporation 0.12/0.20 c sun.arch.data.model 64 0.12/0.20 c java.version 22.0.1 0.12/0.20 c os.name Linux 0.12/0.20 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.12/0.20 c os.arch amd64 0.28/0.22 c Free memory 2104792832 0.28/0.23 c Max memory 16282288128 0.28/0.23 c Total memory 2113929216 0.28/0.23 c Number of processors 2 0.43/0.34 c Pseudo Boolean Optimization by upper bound 0.43/0.34 c --- Begin Solver configuration --- 0.43/0.34 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.43/0.34 c Learn all clauses as in MiniSAT 0.43/0.34 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.43/0.34 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.43/0.34 c Expensive reason simplification 0.43/0.34 c Glucose 2.1 dynamic restart strategy 0.43/0.34 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.43/0.34 c timeout=2147483s 0.43/0.34 c DB Simplification allowed=false 0.43/0.34 c Listener: none 0.43/0.34 c --- End Solver configuration --- 0.43/0.34 c solving HOME/instance-4485650-1751298003.opb 0.43/0.34 c reading problem ... 0.43/0.34 c objective function found 1.32/0.86 c ... done. Wall clock time 0.514s. 1.32/0.86 c declared #vars 8902 1.32/0.86 c #constraints 3038 1.32/0.86 c constraints type 1.32/0.86 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 538 1.32/0.86 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 31 1.32/0.86 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2019 1.32/0.86 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 450 1.32/0.86 c 3038 constraints processed. 1.32/0.88 c objective function length is 31 literals 3.74/2.20 c cleaning 2497 clauses out of 5000 with flag 15714/5002 4.76/2.86 c cleaning 4248 clauses out of 8504 with flag 35679/11003 5.61/3.64 c cleaning 5621 clauses out of 11253 with flag 58864/18000 6.76/4.73 c cleaning 6806 clauses out of 13631 with flag 86683/26001 8.27/5.94 c cleaning 7904 clauses out of 15826 with flag 120774/35002 9.57/7.25 c cleaning 8954 clauses out of 17921 with flag 158918/45001 11.47/9.10 c cleaning 9971 clauses out of 19964 with flag 203454/56000 13.61/11.05 c cleaning 10991 clauses out of 21993 with flag 253831/68000 15.10/12.57 c cleaning 11997 clauses out of 24001 with flag 304646/81000 18.08/15.52 c cleaning 12980 clauses out of 26004 with flag 363206/95000 20.79/18.23 c cleaning 14009 clauses out of 28025 with flag 430947/110002 23.08/20.52 c cleaning 14993 clauses out of 30014 with flag 508583/126000 25.36/22.78 c cleaning 16004 clauses out of 32021 with flag 581867/143000 28.11/25.41 c cleaning 17003 clauses out of 34018 with flag 659718/161001 30.91/28.25 c cleaning 17996 clauses out of 36014 with flag 723650/180000 33.32/30.66 c cleaning 18989 clauses out of 38018 with flag 789238/200001 36.22/33.52 c cleaning 19985 clauses out of 40030 with flag 889700/221002 39.63/36.96 c SATISFIABLE 39.63/36.96 c OPTIMIZING... 39.63/36.97 c Got one! Elapsed wall clock time (in seconds):36.626 39.63/36.97 o 2147482624 41.04/38.33 c cleaning 22512 clauses out of 45043 with flag 16932/246000 42.85/40.15 c cleaning 14250 clauses out of 28533 with flag 39574/252002 45.20/42.50 c cleaning 10606 clauses out of 21281 with flag 68174/259000 47.87/45.08 c cleaning 9310 clauses out of 18675 with flag 103611/267000 50.45/47.62 c cleaning 9155 clauses out of 18366 with flag 135771/276001 52.87/50.03 c cleaning 9588 clauses out of 19210 with flag 170065/286000 55.75/52.92 c cleaning 10303 clauses out of 20625 with flag 211982/297003 58.34/55.58 c cleaning 11149 clauses out of 22321 with flag 255340/309002 61.34/58.58 c cleaning 12064 clauses out of 24171 with flag 300793/322001 64.76/62.00 c cleaning 13043 clauses out of 26108 with flag 352797/336002 68.65/65.89 c cleaning 14015 clauses out of 28063 with flag 410685/351000 72.54/69.72 c cleaning 15013 clauses out of 30048 with flag 475786/367000 76.43/73.69 c cleaning 16008 clauses out of 32035 with flag 533608/384000 81.54/78.78 c cleaning 17013 clauses out of 34030 with flag 594836/402003 87.02/84.06 c cleaning 18004 clauses out of 36015 with flag 660066/421001 91.01/88.10 c cleaning 19002 clauses out of 38011 with flag 744140/441001 94.11/91.15 c cleaning 19999 clauses out of 40008 with flag 862459/462000 96.59/93.66 c cleaning 20994 clauses out of 42009 with flag 963900/484000 98.99/96.07 c cleaning 21994 clauses out of 44016 with flag 1052526/507001 102.09/99.14 c cleaning 23007 clauses out of 46021 with flag 1160968/531000 105.79/102.82 c cleaning 24002 clauses out of 48016 with flag 1281002/556002 108.19/105.26 c Got one! Elapsed wall clock time (in seconds):104.925 108.19/105.26 o 1145043968 109.59/106.65 c cleaning 23791 clauses out of 47601 with flag 22266/579590 110.69/107.78 c cleaning 14895 clauses out of 29811 with flag 42102/585591 112.10/109.16 c cleaning 10949 clauses out of 21914 with flag 65826/592589 113.48/110.59 c cleaning 9473 clauses out of 18965 with flag 95818/600589 115.00/112.09 c cleaning 9232 clauses out of 18494 with flag 136132/609591 116.68/113.75 c cleaning 9626 clauses out of 19260 with flag 179936/619589 119.40/116.42 c cleaning 10318 clauses out of 20637 with flag 233472/630592 121.60/118.67 c cleaning 11153 clauses out of 22317 with flag 298710/642590 123.59/120.68 c cleaning 12054 clauses out of 24164 with flag 369735/655590 123.89/120.92 c Got one! Elapsed wall clock time (in seconds):120.582 123.89/120.92 o 1145043952 124.59/121.60 c cleaning 8818 clauses out of 17666 with flag 9683/661147 125.89/122.91 c cleaning 7411 clauses out of 14849 with flag 29643/667148 127.49/124.55 c cleaning 7203 clauses out of 14439 with flag 54071/674149 129.28/126.32 c cleaning 7601 clauses out of 15234 with flag 79916/682147 132.08/129.11 c cleaning 8312 clauses out of 16637 with flag 108806/691151 134.37/131.40 c cleaning 9146 clauses out of 18322 with flag 141139/701148 136.67/133.77 c cleaning 10082 clauses out of 20175 with flag 175398/712147 139.26/136.32 c cleaning 11034 clauses out of 22095 with flag 214269/724149 141.96/139.05 c cleaning 12019 clauses out of 24059 with flag 256927/737147 145.65/142.79 c cleaning 13004 clauses out of 26041 with flag 313146/751148 149.64/146.72 c cleaning 14001 clauses out of 28036 with flag 380551/766147 153.34/150.40 c cleaning 14997 clauses out of 30036 with flag 439530/782148 157.73/154.86 c cleaning 16006 clauses out of 32038 with flag 516733/799147 162.71/159.87 c cleaning 16995 clauses out of 34032 with flag 606624/817147 168.01/165.15 c cleaning 18009 clauses out of 36037 with flag 692508/836147 173.19/170.37 c cleaning 19005 clauses out of 38028 with flag 774585/856147 177.68/174.83 c cleaning 20003 clauses out of 40024 with flag 857873/877148 182.37/179.53 c cleaning 21002 clauses out of 42021 with flag 957415/899148 187.10/184.20 c cleaning 22007 clauses out of 44021 with flag 1061494/922150 191.69/188.82 c cleaning 22998 clauses out of 46012 with flag 1176633/946148 197.08/194.22 c cleaning 24000 clauses out of 48013 with flag 1303482/971147 202.31/199.45 c cleaning 24990 clauses out of 50013 with flag 1457806/997147 206.80/203.99 c cleaning 25995 clauses out of 52023 with flag 1620422/1024147 211.19/208.35 c cleaning 27004 clauses out of 54029 with flag 1766199/1052148 215.70/212.87 c cleaning 27992 clauses out of 56025 with flag 1901156/1081148 219.90/217.07 c cleaning 29002 clauses out of 58032 with flag 2071127/1111147 224.28/221.50 c cleaning 29992 clauses out of 60030 with flag 2227160/1142147 229.07/226.28 c cleaning 31010 clauses out of 62038 with flag 2385995/1174147 235.80/232.96 c cleaning 31991 clauses out of 64028 with flag 2622630/1207147 241.50/238.61 c cleaning 33009 clauses out of 66038 with flag 2810261/1241148 249.90/246.73 c cleaning 34007 clauses out of 68027 with flag 2910480/1276147 260.08/256.96 c cleaning 35005 clauses out of 70021 with flag 3018480/1312148 271.19/268.02 c cleaning 35997 clauses out of 72015 with flag 3133159/1349147 282.35/279.22 c cleaning 37004 clauses out of 74018 with flag 3241194/1387147 293.15/290.02 c cleaning 37999 clauses out of 76015 with flag 3372880/1426148 303.63/300.52 c cleaning 39002 clauses out of 78015 with flag 3507258/1466147 314.94/311.82 c cleaning 40001 clauses out of 80014 with flag 3646256/1507148 327.12/324.07 c cleaning 40997 clauses out of 82012 with flag 3786417/1549147 339.10/336.06 c cleaning 41998 clauses out of 84015 with flag 3926936/1592147 351.21/348.13 c cleaning 42996 clauses out of 86017 with flag 4068819/1636147 362.91/359.82 c cleaning 43994 clauses out of 88022 with flag 4211956/1681148 374.79/371.74 c cleaning 45003 clauses out of 90029 with flag 4360115/1727149 387.80/384.79 c cleaning 46006 clauses out of 92024 with flag 4503973/1774147 400.92/397.83 c cleaning 47003 clauses out of 94019 with flag 4657999/1822148 415.54/412.45 c cleaning 48004 clauses out of 96015 with flag 4819978/1871147 430.72/427.60 c cleaning 48994 clauses out of 98011 with flag 4970882/1921147 445.16/442.07 c cleaning 50007 clauses out of 100018 with flag 5127189/1972148 459.74/456.66 c cleaning 50997 clauses out of 102010 with flag 5290135/2024147 475.34/472.21 c cleaning 52002 clauses out of 104013 with flag 5460090/2077147 491.06/488.00 c cleaning 52998 clauses out of 106012 with flag 5622297/2131148 508.53/505.40 c cleaning 53999 clauses out of 108015 with flag 5780721/2186149 525.81/522.75 c cleaning 54999 clauses out of 110014 with flag 5942147/2242147 544.55/541.50 c cleaning 55997 clauses out of 112015 with flag 6101540/2299147 560.08/557.03 c cleaning 56999 clauses out of 114019 with flag 6258037/2357148 575.17/572.12 c cleaning 58005 clauses out of 116019 with flag 6416217/2416147 589.84/586.85 c cleaning 59000 clauses out of 118013 with flag 6581040/2476147 604.32/601.36 c cleaning 59998 clauses out of 120014 with flag 6749274/2537148 617.60/614.69 c cleaning 61000 clauses out of 122013 with flag 6950786/2599147 631.08/628.05 c cleaning 62005 clauses out of 124012 with flag 7275550/2662147 644.08/641.04 c cleaning 62987 clauses out of 126007 with flag 7598921/2726147 658.65/655.69 c cleaning 64000 clauses out of 128019 with flag 7958721/2791147 672.23/669.25 c cleaning 65001 clauses out of 130020 with flag 8294472/2857148 684.17/681.18 c cleaning 65990 clauses out of 132020 with flag 8611386/2924149 697.07/694.02 c cleaning 66994 clauses out of 134028 with flag 8947416/2992147 708.28/705.20 c cleaning 67974 clauses out of 136034 with flag 9232216/3061147 721.55/718.46 c cleaning 69020 clauses out of 138060 with flag 9516823/3131147 737.10/733.98 c cleaning 69994 clauses out of 140040 with flag 9871707/3202147 751.54/748.36 c cleaning 71014 clauses out of 142046 with flag 10198755/3274147 764.72/761.51 c cleaning 72004 clauses out of 144032 with flag 10528113/3347147 773.17/769.94 c Got one! Elapsed wall clock time (in seconds):769.597 773.17/769.94 o 1144519680 774.86/771.64 c cleaning 68173 clauses out of 136375 with flag 25480/3411494 776.66/773.42 c cleaning 37089 clauses out of 74201 with flag 49890/3417493 778.85/775.63 c cleaning 22047 clauses out of 44113 with flag 87141/3424494 781.40/778.17 c cleaning 15023 clauses out of 30067 with flag 110486/3432495 783.48/780.25 c cleaning 12006 clauses out of 24042 with flag 137110/3441493 785.40/782.17 c cleaning 11008 clauses out of 22037 with flag 171115/3451494 787.78/784.52 c cleaning 10983 clauses out of 22029 with flag 215102/3462494 790.08/786.80 c cleaning 11521 clauses out of 23046 with flag 273512/3474494 792.38/789.18 c cleaning 12257 clauses out of 24524 with flag 337330/3487493 794.68/791.35 c cleaning 13130 clauses out of 26267 with flag 415795/3501493 797.31/793.80 c cleaning 14063 clauses out of 28142 with flag 493137/3516498 799.41/795.90 c cleaning 15032 clauses out of 30075 with flag 532773/3532494 801.91/798.50 c cleaning 16019 clauses out of 32042 with flag 569686/3549493 805.30/801.84 c Got one! Elapsed wall clock time (in seconds):801.497 805.30/801.84 o 1115683840 806.50/802.96 c cleaning 19463 clauses out of 38957 with flag 18216/3572427 807.71/804.13 c cleaning 12740 clauses out of 25494 with flag 36665/3578427 808.79/805.20 c cleaning 9855 clauses out of 19752 with flag 67166/3585427 809.99/806.49 c cleaning 8926 clauses out of 17897 with flag 101361/3593427 811.19/807.67 c cleaning 8967 clauses out of 17972 with flag 128300/3602428 813.28/809.79 c cleaning 9495 clauses out of 19004 with flag 170832/3612427 814.63/811.10 c cleaning 10248 clauses out of 20510 with flag 209900/3623428 816.81/813.24 c cleaning 11129 clauses out of 22262 with flag 251634/3635428 818.62/815.03 c cleaning 12065 clauses out of 24134 with flag 278820/3648429 820.80/817.26 c cleaning 13029 clauses out of 26067 with flag 308752/3662427 822.49/818.97 c Got one! Elapsed wall clock time (in seconds):818.629 822.49/818.97 o 1115651072 824.14/820.47 c cleaning 14503 clauses out of 29015 with flag 19083/3678404 825.95/822.21 c cleaning 10250 clauses out of 20513 with flag 39675/3684405 828.24/824.56 c cleaning 8612 clauses out of 17263 with flag 60466/3691405 831.04/827.38 c cleaning 8310 clauses out of 16648 with flag 82279/3699402 834.48/830.73 c cleaning 8655 clauses out of 17338 with flag 106151/3708402 837.89/834.19 c cleaning 9334 clauses out of 18684 with flag 133248/3718403 841.67/837.91 c cleaning 10166 clauses out of 20349 with flag 164958/3729402 845.54/841.77 c cleaning 11071 clauses out of 22183 with flag 211081/3741402 849.53/845.78 c cleaning 12036 clauses out of 24112 with flag 263948/3754402 853.52/849.74 c cleaning 13018 clauses out of 26077 with flag 313509/3768403 857.88/854.05 c cleaning 14014 clauses out of 28058 with flag 373544/3783402 862.36/858.59 c cleaning 14992 clauses out of 30044 with flag 442014/3799402 866.86/863.11 c cleaning 16004 clauses out of 32054 with flag 514163/3816404 872.97/869.16 c cleaning 16995 clauses out of 34048 with flag 604246/3834402 878.74/874.98 c cleaning 18003 clauses out of 36053 with flag 703868/3853402 884.53/880.71 c cleaning 19011 clauses out of 38050 with flag 799201/3873402 890.73/886.93 c cleaning 20003 clauses out of 40040 with flag 899603/3894403 897.22/893.48 c cleaning 21013 clauses out of 42035 with flag 976533/3916402 904.25/900.44 c cleaning 22007 clauses out of 44022 with flag 1050888/3939402 910.85/907.02 c cleaning 23006 clauses out of 46015 with flag 1139292/3963402 917.66/913.89 c cleaning 23998 clauses out of 48010 with flag 1236547/3988403 924.87/921.09 c cleaning 24999 clauses out of 50011 with flag 1345173/4014402 932.60/928.73 c cleaning 25999 clauses out of 52014 with flag 1454185/4041404 940.29/936.44 c cleaning 27005 clauses out of 54013 with flag 1557439/4069402 948.63/944.70 c cleaning 28004 clauses out of 56008 with flag 1677633/4098402 956.22/952.34 c cleaning 28993 clauses out of 58004 with flag 1777389/4128402 964.62/960.74 c cleaning 30003 clauses out of 60011 with flag 1885922/4159402 973.20/969.39 c cleaning 31003 clauses out of 62010 with flag 2003767/4191404 981.69/977.89 c cleaning 32003 clauses out of 64007 with flag 2121397/4224404 990.57/986.74 c cleaning 32996 clauses out of 66004 with flag 2246123/4258404 999.56/995.75 c cleaning 33998 clauses out of 68009 with flag 2371464/4293405 1008.46/1004.61 c cleaning 34998 clauses out of 70010 with flag 2481522/4329404 1018.27/1014.47 c cleaning 36001 clauses out of 72010 with flag 2594043/4366402 1028.45/1024.67 c cleaning 37001 clauses out of 74009 with flag 2719535/4404402 1039.72/1035.91 c cleaning 37996 clauses out of 76008 with flag 2839659/4443402 1049.92/1046.17 c cleaning 38986 clauses out of 78012 with flag 2969277/4483402 1060.93/1057.18 c cleaning 40011 clauses out of 80027 with flag 3088893/4524403 1070.39/1066.61 c cleaning 41005 clauses out of 82015 with flag 3212316/4566402 1080.72/1076.93 c cleaning 42000 clauses out of 84010 with flag 3339452/4609402 1091.02/1087.25 c cleaning 42996 clauses out of 86013 with flag 3471420/4653405 1100.91/1097.17 c cleaning 43998 clauses out of 88014 with flag 3604152/4698402 1112.28/1108.57 c cleaning 45003 clauses out of 90016 with flag 3742810/4744402 1123.57/1119.88 c cleaning 46006 clauses out of 92014 with flag 3885825/4791403 1135.40/1131.62 c cleaning 46997 clauses out of 94008 with flag 4034386/4839403 1147.10/1143.32 c cleaning 48005 clauses out of 96010 with flag 4181789/4888402 1160.13/1156.35 c cleaning 48996 clauses out of 98005 with flag 4344844/4938402 1172.12/1168.37 c cleaning 49997 clauses out of 100009 with flag 4502117/4989402 1184.26/1180.42 c cleaning 50997 clauses out of 102012 with flag 4654909/5041402 1196.49/1192.69 c cleaning 52000 clauses out of 104015 with flag 4807192/5094402 1208.16/1204.38 c cleaning 52999 clauses out of 106017 with flag 4961759/5148404 1220.48/1216.62 c cleaning 54004 clauses out of 108016 with flag 5110717/5203402 1233.35/1229.51 c cleaning 54994 clauses out of 110012 with flag 5261427/5259402 1246.17/1242.37 c cleaning 56005 clauses out of 112018 with flag 5417399/5316402 1262.14/1258.35 c cleaning 57003 clauses out of 114014 with flag 5595449/5374403 1277.01/1273.11 c cleaning 58003 clauses out of 116010 with flag 5772745/5433402 1290.80/1286.93 c cleaning 58997 clauses out of 118008 with flag 5948292/5493403 1301.08/1297.28 c Got one! Elapsed wall clock time (in seconds):1296.937 1301.08/1297.28 o 1098906624 1302.95/1299.03 c cleaning 56629 clauses out of 113276 with flag 13591/5547669 1304.54/1300.61 c cleaning 31310 clauses out of 62647 with flag 29024/5553669 1306.34/1302.41 c cleaning 19158 clauses out of 38339 with flag 48107/5560671 1308.34/1304.44 c cleaning 13572 clauses out of 27181 with flag 72668/5568671 1310.43/1306.55 c cleaning 11288 clauses out of 22607 with flag 102341/5577669 1313.16/1309.24 c cleaning 10655 clauses out of 21322 with flag 130088/5587672 1316.35/1312.45 c cleaning 10820 clauses out of 21665 with flag 158348/5598670 1319.54/1315.64 c cleaning 11419 clauses out of 22845 with flag 189941/5610670 1322.95/1319.08 c cleaning 12206 clauses out of 24425 with flag 223346/5623669 1327.42/1323.53 c cleaning 13110 clauses out of 26219 with flag 259956/5637669 1331.61/1327.72 c cleaning 14047 clauses out of 28109 with flag 307380/5652669 1336.11/1332.29 c cleaning 15025 clauses out of 30062 with flag 354687/5668669 1340.90/1337.03 c cleaning 16013 clauses out of 32037 with flag 407229/5685669 1345.28/1341.41 c cleaning 17005 clauses out of 34024 with flag 465938/5703669 1351.01/1347.18 c cleaning 17996 clauses out of 36021 with flag 534554/5722671 1356.00/1352.14 c cleaning 19000 clauses out of 38023 with flag 607057/5742669 1361.49/1357.60 c cleaning 20001 clauses out of 40025 with flag 685536/5763671 1366.68/1362.89 c cleaning 20995 clauses out of 42022 with flag 764636/5785669 1371.27/1367.46 c cleaning 22012 clauses out of 44030 with flag 828684/5808672 1376.07/1372.25 c cleaning 23000 clauses out of 46015 with flag 899789/5832669 1380.66/1376.86 c cleaning 23999 clauses out of 48015 with flag 991959/5857669 1385.16/1381.36 c cleaning 24997 clauses out of 50016 with flag 1095909/5883669 1390.76/1387.00 c cleaning 26000 clauses out of 52019 with flag 1226140/5910669 1396.09/1392.28 c cleaning 26994 clauses out of 54019 with flag 1332482/5938669 1399.08/1395.23 c Got one! Elapsed wall clock time (in seconds):1394.889 1399.08/1395.23 o 1098904576 1400.58/1396.77 c cleaning 26021 clauses out of 52046 with flag 14721/5963690 1402.18/1398.32 c cleaning 16009 clauses out of 32025 with flag 32018/5969690 1403.78/1399.99 c cleaning 11487 clauses out of 23015 with flag 51059/5976689 1405.99/1402.11 c cleaning 9751 clauses out of 19531 with flag 73809/5984692 1408.57/1404.75 c cleaning 9369 clauses out of 18777 with flag 99379/5993689 1411.46/1407.61 c cleaning 9696 clauses out of 19409 with flag 126097/6003690 1414.45/1410.63 c cleaning 10354 clauses out of 20712 with flag 154041/6014689 1417.65/1413.86 c cleaning 11176 clauses out of 22358 with flag 184160/6026689 1421.15/1417.33 c cleaning 12085 clauses out of 24182 with flag 218606/6039689 1424.85/1421.06 c cleaning 13041 clauses out of 26097 with flag 256825/6053689 1428.84/1425.06 c cleaning 14028 clauses out of 28057 with flag 294947/6068690 1433.02/1429.25 c cleaning 15014 clauses out of 30028 with flag 336561/6084689 1437.41/1433.67 c cleaning 16005 clauses out of 32015 with flag 381717/6101690 1442.51/1438.70 c cleaning 17005 clauses out of 34009 with flag 429467/6119689 1447.49/1443.78 c cleaning 18000 clauses out of 36005 with flag 478693/6138690 1453.18/1449.42 c cleaning 18997 clauses out of 38004 with flag 529254/6158689 1458.27/1454.59 c cleaning 19988 clauses out of 40007 with flag 584250/6179689 1462.84/1458.91 c cleaning 20996 clauses out of 42019 with flag 650008/6201689 1466.13/1462.25 c cleaning 22008 clauses out of 44023 with flag 737078/6224689 1469.42/1465.56 c cleaning 22998 clauses out of 46015 with flag 868681/6248689 1472.93/1469.11 c cleaning 23998 clauses out of 48017 with flag 978399/6273689 1476.31/1472.47 c Got one! Elapsed wall clock time (in seconds):1472.134 1476.31/1472.47 o 1098841088 1477.94/1474.06 c cleaning 25451 clauses out of 50918 with flag 15443/6300588 1479.72/1475.86 c cleaning 15724 clauses out of 31466 with flag 32586/6306587 1481.82/1477.92 c cleaning 11361 clauses out of 22742 with flag 50610/6313587 1484.11/1480.23 c cleaning 9684 clauses out of 19381 with flag 70583/6321587 1486.83/1482.91 c cleaning 9332 clauses out of 18697 with flag 92716/6330587 1489.62/1485.70 c cleaning 9674 clauses out of 19367 with flag 117496/6340589 1493.02/1489.14 c cleaning 10333 clauses out of 20692 with flag 144809/6351588 1496.80/1492.99 c cleaning 11163 clauses out of 22359 with flag 173857/6363588 1501.01/1497.19 c cleaning 12095 clauses out of 24197 with flag 206467/6376589 1505.79/1501.90 c cleaning 13040 clauses out of 26100 with flag 245372/6390587 1510.18/1506.35 c cleaning 14017 clauses out of 28060 with flag 284451/6405587 1514.77/1510.94 c cleaning 15015 clauses out of 30044 with flag 328101/6421588 1519.87/1516.11 c cleaning 16001 clauses out of 32029 with flag 375441/6438588 1525.46/1521.61 c cleaning 17009 clauses out of 34029 with flag 432759/6456589 1531.26/1527.44 c cleaning 17994 clauses out of 36018 with flag 485399/6475587 1537.86/1534.04 c cleaning 19005 clauses out of 38024 with flag 552004/6495587 1545.31/1541.58 c cleaning 20000 clauses out of 40020 with flag 615658/6516588 1553.19/1549.44 c cleaning 21004 clauses out of 42019 with flag 686811/6538587 1559.92/1556.13 c cleaning 21999 clauses out of 44016 with flag 752905/6561588 1567.49/1563.74 c cleaning 23005 clauses out of 46016 with flag 821590/6585587 1574.81/1571.09 c cleaning 23993 clauses out of 48012 with flag 896006/6610588 1583.90/1579.97 c cleaning 25001 clauses out of 50018 with flag 987742/6636587 1590.57/1586.67 c cleaning 26000 clauses out of 52018 with flag 1060068/6663588 1598.76/1594.87 c cleaning 26999 clauses out of 54017 with flag 1143787/6691587 1607.06/1603.16 c cleaning 28005 clauses out of 56020 with flag 1231882/6720589 1616.04/1612.11 c cleaning 29002 clauses out of 58013 with flag 1324822/6750587 1625.54/1621.67 c cleaning 30000 clauses out of 60014 with flag 1421678/6781590 1634.71/1630.86 c cleaning 30997 clauses out of 62013 with flag 1515709/6813589 1644.70/1640.89 c cleaning 32007 clauses out of 64015 with flag 1616415/6846588 1654.07/1650.25 c cleaning 32991 clauses out of 66007 with flag 1709575/6880587 1663.26/1659.44 c cleaning 34000 clauses out of 68016 with flag 1812436/6915587 1673.24/1669.47 c cleaning 35004 clauses out of 70018 with flag 1952314/6951589 1682.11/1678.34 c cleaning 36002 clauses out of 72014 with flag 2050824/6988589 1690.81/1687.06 c cleaning 37005 clauses out of 74010 with flag 2153757/7026587 1698.38/1694.67 c cleaning 37997 clauses out of 76006 with flag 2296919/7065588 1705.67/1701.94 c cleaning 38995 clauses out of 78009 with flag 2481228/7105588 1713.89/1710.18 c cleaning 39999 clauses out of 80015 with flag 2658888/7146589 1722.45/1718.73 c cleaning 40987 clauses out of 82015 with flag 2858786/7188588 1731.33/1727.63 c cleaning 42002 clauses out of 84028 with flag 3053689/7231588 1741.71/1738.07 c cleaning 43009 clauses out of 86026 with flag 3270367/7275588 1746.20/1742.58 c Got one! Elapsed wall clock time (in seconds):1742.245 1746.20/1742.58 o 1098644480 1747.72/1744.03 c cleaning 37076 clauses out of 74166 with flag 16776/7306737 1749.60/1746.00 c cleaning 21535 clauses out of 43088 with flag 41094/7312736 1751.39/1747.76 c cleaning 14264 clauses out of 28553 with flag 59426/7319736 1753.39/1749.71 c cleaning 11134 clauses out of 22291 with flag 80003/7327738 1755.52/1751.87 c cleaning 10066 clauses out of 20155 with flag 103188/7336736 1757.82/1754.12 c cleaning 10034 clauses out of 20090 with flag 128597/7346737 1760.31/1756.65 c cleaning 10525 clauses out of 21056 with flag 155973/7357737 1762.90/1759.27 c cleaning 11266 clauses out of 22531 with flag 186640/7369737 1765.50/1761.81 c cleaning 12116 clauses out of 24264 with flag 222687/7382737 1769.57/1765.75 c cleaning 13070 clauses out of 26148 with flag 267316/7396737 1772.80/1768.93 c cleaning 14035 clauses out of 28077 with flag 327421/7411736 1775.01/1771.16 c cleaning 15014 clauses out of 30043 with flag 386342/7427737 1777.80/1773.97 c cleaning 15996 clauses out of 32028 with flag 444722/7444736 1780.91/1777.08 c cleaning 16990 clauses out of 34032 with flag 527441/7462736 1783.39/1779.59 c cleaning 18015 clauses out of 36043 with flag 603096/7481737 1786.29/1782.48 c cleaning 19001 clauses out of 38027 with flag 673447/7501736 1789.38/1785.56 c cleaning 20001 clauses out of 40026 with flag 751747/7522736 1792.67/1788.83 c cleaning 21002 clauses out of 42026 with flag 843951/7544737 1795.89/1792.04 c cleaning 21999 clauses out of 44024 with flag 923702/7567737 1799.57/1795.72 c Got one! Elapsed wall clock time (in seconds):1795.378 1799.57/1795.72 o 1098513408 1800.98/1797.15 c cleaning 25299 clauses out of 50620 with flag 13324/7596332 1802.76/1799.00 c cleaning 15651 clauses out of 31320 with flag 29090/7602331 1805.25/1801.42 c cleaning 11323 clauses out of 22668 with flag 46478/7609330 1807.55/1803.74 c cleaning 9662 clauses out of 19346 with flag 67432/7617331 1810.25/1806.50 c cleaning 9320 clauses out of 18683 with flag 89330/7626330 1813.05/1809.23 c cleaning 9678 clauses out of 19363 with flag 113626/7636330 1816.14/1812.30 c cleaning 10345 clauses out of 20689 with flag 139766/7647334 1819.13/1815.32 c cleaning 11166 clauses out of 22341 with flag 169823/7659331 1822.73/1818.99 c cleaning 12087 clauses out of 24174 with flag 200311/7672330 1826.52/1822.77 c cleaning 13038 clauses out of 26090 with flag 234209/7686333 1830.11/1826.32 c cleaning 14017 clauses out of 28050 with flag 276025/7701331 1833.60/1829.84 c cleaning 15004 clauses out of 30032 with flag 324667/7717330 1837.60/1833.84 c cleaning 16006 clauses out of 32028 with flag 379300/7734330 1842.19/1838.47 c cleaning 16998 clauses out of 34022 with flag 436142/7752330 1846.68/1843.00 c cleaning 18007 clauses out of 36025 with flag 487095/7771331 1851.57/1847.88 c cleaning 19007 clauses out of 38019 with flag 544911/7791332 1856.98/1853.24 c cleaning 20005 clauses out of 40010 with flag 605600/7812330 1862.26/1858.55 c cleaning 20996 clauses out of 42006 with flag 669931/7834331 1866.26/1862.50 c cleaning 22005 clauses out of 44019 with flag 743108/7857340 1869.77/1866.03 c cleaning 22997 clauses out of 46004 with flag 827944/7881330 1874.24/1870.53 c cleaning 23989 clauses out of 48007 with flag 909810/7906330 1879.13/1875.48 c cleaning 24994 clauses out of 50018 with flag 1020869/7932330 1884.42/1880.71 c cleaning 25994 clauses out of 52025 with flag 1145572/7959331 1890.11/1886.40 c cleaning 26989 clauses out of 54030 with flag 1281576/7987330 1895.30/1891.66 c cleaning 28002 clauses out of 56042 with flag 1434020/8016331 1901.39/1897.78 c cleaning 28998 clauses out of 58040 with flag 1599287/8046331 1907.69/1904.09 c cleaning 30008 clauses out of 60041 with flag 1779535/8077330 1914.06/1910.41 c cleaning 31006 clauses out of 62037 with flag 1959914/8109334 1920.55/1916.92 c cleaning 31995 clauses out of 64027 with flag 2146807/8142330 1926.94/1923.40 c cleaning 33000 clauses out of 66032 with flag 2345322/8176330 1933.42/1929.82 c cleaning 33999 clauses out of 68033 with flag 2519133/8211331 1940.22/1936.64 c cleaning 34999 clauses out of 70035 with flag 2701355/8247332 1947.44/1943.89 c cleaning 36001 clauses out of 72035 with flag 2894504/8284331 1954.82/1951.23 c cleaning 36993 clauses out of 74033 with flag 3087226/8322330 1962.32/1958.72 c cleaning 38005 clauses out of 76040 with flag 3277942/8361330 1972.10/1968.50 c cleaning 39007 clauses out of 78037 with flag 3507567/8401332 1981.38/1977.86 c cleaning 40000 clauses out of 80029 with flag 3705702/8442331 1989.07/1985.57 c cleaning 40993 clauses out of 82029 with flag 3915717/8484331 1997.51/1993.95 c cleaning 42003 clauses out of 84035 with flag 4142663/8527330 2006.48/2003.00 c cleaning 43000 clauses out of 86032 with flag 4376394/8571330 2016.48/2012.99 c cleaning 44000 clauses out of 88032 with flag 4625514/8616330 2029.31/2025.73 c cleaning 44998 clauses out of 90032 with flag 4913485/8662330 2039.40/2035.80 c cleaning 46002 clauses out of 92035 with flag 5169769/8709331 2049.79/2046.23 c cleaning 46997 clauses out of 94032 with flag 5423643/8757330 2061.09/2057.57 c cleaning 47999 clauses out of 96035 with flag 5680877/8806330 2072.16/2068.63 c cleaning 48994 clauses out of 98037 with flag 5955581/8856331 2083.40/2079.86 c cleaning 49997 clauses out of 100042 with flag 6220689/8907330 2095.50/2091.99 c cleaning 51004 clauses out of 102046 with flag 6498568/8959331 2108.17/2104.62 c cleaning 52003 clauses out of 104041 with flag 6796451/9012330 2120.61/2117.11 c cleaning 53001 clauses out of 106038 with flag 7088975/9066330 2134.78/2131.27 c cleaning 54004 clauses out of 108037 with flag 7395292/9121330 2146.58/2143.07 c cleaning 54998 clauses out of 110033 with flag 7693539/9177330 2156.76/2153.25 c cleaning 56005 clauses out of 112036 with flag 7998600/9234331 2167.41/2163.80 c cleaning 56998 clauses out of 114030 with flag 8307004/9292330 2177.96/2174.32 c cleaning 58004 clauses out of 116033 with flag 8613503/9351331 2188.53/2185.00 c cleaning 59002 clauses out of 118028 with flag 8922624/9411330 2198.56/2194.98 c cleaning 60009 clauses out of 120024 with flag 9128065/9472330 2210.40/2206.73 c cleaning 60999 clauses out of 122015 with flag 9336837/9534330 2223.58/2219.97 c cleaning 61996 clauses out of 124018 with flag 9570759/9597332 2235.62/2232.00 c cleaning 62998 clauses out of 126021 with flag 9780007/9661331 2247.56/2243.87 c cleaning 64000 clauses out of 128022 with flag 9981596/9726330 2261.09/2257.36 c cleaning 65004 clauses out of 130022 with flag 10184938/9792330 2274.74/2270.92 c cleaning 66000 clauses out of 132018 with flag 10413649/9859330 2288.31/2284.54 c cleaning 66999 clauses out of 134018 with flag 10639467/9927330 2301.53/2297.80 c cleaning 67999 clauses out of 136020 with flag 10865924/9996331 2316.35/2312.60 c cleaning 68992 clauses out of 138020 with flag 11136983/10066330 2331.54/2327.77 c cleaning 70002 clauses out of 140028 with flag 11461113/10137330 2347.77/2343.92 c cleaning 71002 clauses out of 142027 with flag 11814629/10209331 2364.39/2360.55 c cleaning 72003 clauses out of 144024 with flag 12185388/10282330 2379.82/2375.99 c cleaning 73001 clauses out of 146021 with flag 12524220/10356330 2394.00/2390.17 c cleaning 73992 clauses out of 148020 with flag 12878020/10431330 2409.71/2405.86 c cleaning 74997 clauses out of 150028 with flag 13266312/10507330 2425.72/2421.86 c cleaning 75999 clauses out of 152031 with flag 13628728/10584330 2442.10/2438.29 c cleaning 77002 clauses out of 154033 with flag 14009424/10662331 2457.80/2453.94 c cleaning 78007 clauses out of 156037 with flag 14399977/10741337 2475.28/2471.47 c cleaning 78999 clauses out of 158024 with flag 14809275/10821331 2493.50/2489.68 c cleaning 80000 clauses out of 160024 with flag 15228837/10902330 2509.53/2505.64 c cleaning 80998 clauses out of 162024 with flag 15630972/10984330 2525.67/2521.71 c cleaning 81998 clauses out of 164029 with flag 16029993/11067333 2542.70/2538.79 c cleaning 83010 clauses out of 166028 with flag 16342829/11151331 2561.13/2557.18 c cleaning 83990 clauses out of 168018 with flag 16738976/11236331 2579.43/2575.47 c cleaning 85006 clauses out of 170026 with flag 17131653/11322330 2598.54/2594.56 c cleaning 86003 clauses out of 172021 with flag 17464572/11409331 2622.81/2618.88 c cleaning 86990 clauses out of 174019 with flag 17822130/11497332 2644.64/2640.64 c cleaning 87993 clauses out of 176027 with flag 18211947/11586330 2668.96/2665.01 c cleaning 88998 clauses out of 178034 with flag 18587454/11676330 2695.93/2691.86 c cleaning 89988 clauses out of 180036 with flag 18998651/11767330 2719.83/2715.71 c cleaning 91003 clauses out of 182049 with flag 19414482/11859331 2743.15/2739.06 c cleaning 92004 clauses out of 184047 with flag 19882219/11952332 2770.08/2766.00 c cleaning 92992 clauses out of 186042 with flag 20344915/12046331 2798.49/2794.38 c cleaning 94003 clauses out of 188053 with flag 20795667/12141334 2826.26/2822.07 c cleaning 94993 clauses out of 190046 with flag 21239434/12237330 2829.36/2825.15 c Got one! Elapsed wall clock time (in seconds):2824.807 2829.36/2825.15 o 1098505216 2831.09/2826.87 c cleaning 58369 clauses out of 116757 with flag 13837/12259034 2833.40/2829.14 c cleaning 32189 clauses out of 64387 with flag 30336/12265033 2835.82/2831.58 c cleaning 19595 clauses out of 39199 with flag 48972/12272034 2838.80/2834.54 c cleaning 13793 clauses out of 27604 with flag 68106/12280034 2841.31/2837.11 c cleaning 11399 clauses out of 22809 with flag 89502/12289032 2844.10/2839.84 c cleaning 10691 clauses out of 21411 with flag 113088/12299033 2847.19/2842.91 c cleaning 10844 clauses out of 21718 with flag 139059/12310031 2850.62/2846.35 c cleaning 11438 clauses out of 22875 with flag 166943/12322032 2854.43/2850.13 c cleaning 12214 clauses out of 24436 with flag 197264/12335031 2858.32/2854.05 c cleaning 13108 clauses out of 26222 with flag 230033/12349031 2862.44/2858.13 c cleaning 14052 clauses out of 28115 with flag 266092/12364032 2866.61/2862.34 c cleaning 15027 clauses out of 30062 with flag 305603/12380031 2871.20/2867.01 c cleaning 16018 clauses out of 32035 with flag 345979/12397031 2876.60/2872.35 c cleaning 17007 clauses out of 34017 with flag 387449/12415031 2881.69/2877.48 c cleaning 18003 clauses out of 36010 with flag 433657/12434031 2886.87/2882.68 c cleaning 18999 clauses out of 38008 with flag 483182/12454032 2892.41/2888.15 c cleaning 19993 clauses out of 40008 with flag 535750/12475031 2898.08/2893.81 c cleaning 21007 clauses out of 42017 with flag 589749/12497033 2903.91/2899.65 c cleaning 22000 clauses out of 44008 with flag 645608/12520031 2909.80/2905.53 c cleaning 23002 clauses out of 46008 with flag 705322/12544031 2916.22/2911.98 c cleaning 24000 clauses out of 48007 with flag 767098/12569032 2923.00/2918.78 c cleaning 25002 clauses out of 50007 with flag 830279/12595032 2929.92/2925.65 c cleaning 26000 clauses out of 52006 with flag 897311/12622033 2937.01/2932.75 c cleaning 27000 clauses out of 54004 with flag 967592/12650031 2944.34/2940.05 c cleaning 27997 clauses out of 56004 with flag 1038289/12679031 2952.54/2948.24 c cleaning 28993 clauses out of 58007 with flag 1113390/12709031 2958.53/2954.25 c Got one! Elapsed wall clock time (in seconds):2953.913 2958.53/2954.25 o 1098481152 2960.30/2955.63 c cleaning 29911 clauses out of 59836 with flag 12528/12739853 2961.81/2957.15 c cleaning 17955 clauses out of 35927 with flag 27849/12745855 2963.53/2958.86 c cleaning 12480 clauses out of 24974 with flag 45340/12752857 2965.32/2960.63 c cleaning 10226 clauses out of 20490 with flag 65547/12760853 2967.52/2962.81 c cleaning 9619 clauses out of 19267 with flag 87728/12769856 2969.82/2965.14 c cleaning 9817 clauses out of 19646 with flag 112379/12779854 2972.51/2967.84 c cleaning 10408 clauses out of 20828 with flag 138805/12790853 2975.20/2970.52 c cleaning 11205 clauses out of 22420 with flag 169396/12802853 2978.32/2973.64 c cleaning 12099 clauses out of 24216 with flag 201289/12815854 2981.72/2977.08 c cleaning 13048 clauses out of 26116 with flag 235682/12829853 2985.40/2980.70 c cleaning 14027 clauses out of 28068 with flag 273721/12844853 2989.31/2984.68 c cleaning 15017 clauses out of 30041 with flag 312498/12860853 2993.71/2989.03 c cleaning 16006 clauses out of 32025 with flag 352695/12877854 2998.29/2993.63 c cleaning 17004 clauses out of 34018 with flag 395959/12895853 3002.80/2998.18 c cleaning 18007 clauses out of 36015 with flag 443028/12914854 3007.98/3003.33 c cleaning 19002 clauses out of 38009 with flag 490960/12934855 3013.18/3008.52 c cleaning 20003 clauses out of 40006 with flag 542361/12955854 3018.48/3013.89 c cleaning 21002 clauses out of 42003 with flag 595882/12977854 3022.27/3017.61 c cleaning 22000 clauses out of 44000 with flag 667692/13000853 3025.69/3021.11 c cleaning 22987 clauses out of 46001 with flag 740255/13024854 3029.37/3024.77 c cleaning 24000 clauses out of 48014 with flag 822991/13049854 3030.57/3025.97 c Got one! Elapsed wall clock time (in seconds):3025.634 3030.57/3025.97 o 1098415104 3032.09/3027.12 c cleaning 18055 clauses out of 36117 with flag 12941/13061958 3033.38/3028.45 c cleaning 12022 clauses out of 24058 with flag 28126/13067954 3034.98/3030.04 c cleaning 9506 clauses out of 19037 with flag 47457/13074955 3036.67/3031.77 c cleaning 8203 clauses out of 17529 with flag 67957/13082953 3038.77/3033.89 c cleaning 9006 clauses out of 18328 with flag 93300/13091955 3041.38/3036.44 c cleaning 9660 clauses out of 19320 with flag 117988/13101953 3043.28/3038.34 c cleaning 10325 clauses out of 20661 with flag 151825/13112954 3045.09/3040.20 c cleaning 11156 clauses out of 22335 with flag 188714/13124953 3046.87/3042.00 c cleaning 12052 clauses out of 24179 with flag 238354/13137953 3048.63/3043.62 c cleaning 13054 clauses out of 26128 with flag 302211/13151954 3050.23/3045.28 c cleaning 14015 clauses out of 28073 with flag 363548/13166953 3052.14/3047.15 c cleaning 15023 clauses out of 30058 with flag 414211/13182953 3054.44/3049.45 c cleaning 16013 clauses out of 32036 with flag 471303/13199954 3057.45/3052.41 c cleaning 17010 clauses out of 34026 with flag 533775/13217957 3059.94/3054.99 c cleaning 17997 clauses out of 36013 with flag 617702/13236954 3062.64/3057.66 c cleaning 19000 clauses out of 38015 with flag 685066/13256953 3065.76/3060.79 c cleaning 19998 clauses out of 40017 with flag 761601/13277955 3067.26/3062.28 c Got one! Elapsed wall clock time (in seconds):3061.943 3067.26/3062.28 o 1098398720 3068.81/3063.30 c cleaning 17135 clauses out of 34286 with flag 14142/13292222 3069.62/3064.19 c cleaning 11572 clauses out of 23153 with flag 28974/13298224 3070.41/3065.01 c cleaning 9135 clauses out of 18579 with flag 45853/13305222 3071.72/3066.23 c cleaning 8009 clauses out of 17445 with flag 68420/13313223 3073.01/3067.54 c cleaning 8984 clauses out of 18435 with flag 98604/13322222 3074.71/3069.29 c cleaning 9709 clauses out of 19453 with flag 133651/13332224 3076.52/3071.07 c cleaning 10359 clauses out of 20742 with flag 175760/13343222 3078.65/3073.16 c cleaning 11180 clauses out of 22384 with flag 220211/13355223 3080.73/3075.29 c cleaning 12092 clauses out of 24203 with flag 271455/13368222 3083.12/3077.69 c cleaning 13040 clauses out of 26111 with flag 326303/13382222 3085.82/3080.34 c cleaning 14024 clauses out of 28071 with flag 386643/13397222 3088.85/3083.38 c cleaning 15016 clauses out of 30050 with flag 454834/13413225 3092.04/3086.53 c cleaning 15997 clauses out of 32031 with flag 526762/13430222 3095.23/3089.77 c cleaning 17003 clauses out of 34034 with flag 595916/13448222 3098.72/3093.24 c cleaning 18004 clauses out of 36031 with flag 680665/13467222 3102.35/3096.88 c cleaning 18995 clauses out of 38027 with flag 766516/13487222 3106.14/3100.65 c cleaning 19999 clauses out of 40033 with flag 846613/13508223 3110.33/3104.88 c cleaning 20987 clauses out of 42033 with flag 933574/13530222 3114.76/3109.27 c cleaning 22015 clauses out of 44051 with flag 1038803/13553227 3118.85/3113.32 c cleaning 23008 clauses out of 46031 with flag 1144525/13577222 3122.55/3117.06 c cleaning 24007 clauses out of 48024 with flag 1236754/13602223 3126.47/3120.96 c cleaning 24995 clauses out of 50016 with flag 1325228/13628222 3130.57/3125.08 c cleaning 25997 clauses out of 52022 with flag 1424043/13655223 3134.79/3129.26 c cleaning 27001 clauses out of 54025 with flag 1527928/13683223 3139.78/3134.20 c cleaning 28003 clauses out of 56023 with flag 1640632/13712222 3144.17/3138.65 c cleaning 28998 clauses out of 58020 with flag 1737491/13742222 3149.00/3143.43 c cleaning 30009 clauses out of 60022 with flag 1841038/13773222 3153.39/3147.83 c cleaning 31002 clauses out of 62013 with flag 1947308/13805222 3157.74/3152.12 c Got one! Elapsed wall clock time (in seconds):3151.78 3157.74/3152.12 o 1098397826 3159.48/3153.81 c cleaning 30813 clauses out of 61652 with flag 13109/13835863 3160.79/3155.11 c cleaning 18402 clauses out of 36839 with flag 29357/13841863 3161.97/3156.36 c cleaning 12706 clauses out of 25439 with flag 48550/13848865 3163.27/3157.68 c cleaning 10353 clauses out of 20732 with flag 71230/13856864 3164.86/3159.22 c cleaning 9681 clauses out of 19380 with flag 95963/13865865 3166.56/3160.95 c cleaning 9839 clauses out of 19696 with flag 122557/13875863 3168.15/3162.58 c cleaning 10426 clauses out of 20859 with flag 161025/13886865 3169.15/3163.54 c Got one! Elapsed wall clock time (in seconds):3163.205 3169.15/3163.54 o 1096809472 3170.55/3164.95 c cleaning 10753 clauses out of 21528 with flag 12338/13897960 3172.18/3166.54 c cleaning 7211 clauses out of 16777 with flag 28771/13903962 3174.08/3168.42 c cleaning 6995 clauses out of 16564 with flag 47634/13910960 3176.28/3170.67 c cleaning 7991 clauses out of 17569 with flag 70328/13918960 3178.78/3173.15 c cleaning 9008 clauses out of 18579 with flag 93410/13927961 3181.46/3175.88 c cleaning 9780 clauses out of 19572 with flag 122323/13937962 3184.09/3178.42 c cleaning 10395 clauses out of 20794 with flag 151141/13948964 3186.39/3180.78 c cleaning 11193 clauses out of 22395 with flag 183887/13960960 3189.08/3183.48 c cleaning 12099 clauses out of 24204 with flag 217831/13973962 3191.68/3186.02 c cleaning 13033 clauses out of 26101 with flag 258662/13987961 3193.78/3188.15 c cleaning 14028 clauses out of 28068 with flag 311881/14002961 3196.31/3190.63 c cleaning 15014 clauses out of 30040 with flag 377291/14018961 3198.81/3193.13 c cleaning 16007 clauses out of 32026 with flag 433313/14035961 3201.71/3196.05 c cleaning 17005 clauses out of 34020 with flag 505966/14053962 3204.09/3198.41 c cleaning 17979 clauses out of 36014 with flag 554906/14072961 3206.43/3200.75 c cleaning 18992 clauses out of 38034 with flag 613421/14092960 3208.93/3203.23 c cleaning 20008 clauses out of 40043 with flag 680414/14113961 3211.62/3205.94 c cleaning 21011 clauses out of 42035 with flag 750906/14135961 3214.41/3208.74 c cleaning 22003 clauses out of 44026 with flag 817266/14158963 3217.95/3212.28 c cleaning 23005 clauses out of 46024 with flag 899603/14182964 3221.64/3215.95 c cleaning 24003 clauses out of 48017 with flag 999843/14207962 3224.93/3219.27 c cleaning 24997 clauses out of 50013 with flag 1100493/14233961 3227.96/3222.29 c cleaning 26006 clauses out of 52016 with flag 1194351/14260961 3231.87/3226.19 c cleaning 26993 clauses out of 54009 with flag 1285186/14288960 3237.25/3231.51 c cleaning 28008 clauses out of 56019 with flag 1375835/14317963 3241.95/3236.19 c cleaning 28998 clauses out of 58010 with flag 1475152/14347962 3246.24/3240.42 c cleaning 30000 clauses out of 60010 with flag 1587306/14378960 3246.54/3240.74 c Got one! Elapsed wall clock time (in seconds):3240.402 3246.54/3240.74 o 1096808576 3247.23/3241.49 c cleaning 17703 clauses out of 35413 with flag 9137/14384363 3248.73/3242.90 c cleaning 11845 clauses out of 23711 with flag 24938/14390364 3250.62/3244.78 c cleaning 9178 clauses out of 18865 with flag 42316/14397363 3252.82/3246.95 c cleaning 8004 clauses out of 17689 with flag 61351/14405365 3254.92/3249.01 c cleaning 8992 clauses out of 18683 with flag 83800/14414363 3257.31/3251.44 c cleaning 9843 clauses out of 19691 with flag 107325/14424363 3261.17/3255.12 c cleaning 10419 clauses out of 20849 with flag 131813/14435364 3264.35/3258.37 c cleaning 11205 clauses out of 22433 with flag 160678/14447367 3267.54/3261.50 c cleaning 12111 clauses out of 24226 with flag 193009/14460365 3271.04/3265.08 c cleaning 13055 clauses out of 26113 with flag 228024/14474363 3274.63/3268.67 c cleaning 14029 clauses out of 28058 with flag 266485/14489363 3278.92/3272.95 c cleaning 15010 clauses out of 30029 with flag 304920/14505363 3283.12/3277.15 c cleaning 16008 clauses out of 32020 with flag 346773/14522364 3287.31/3281.35 c cleaning 17005 clauses out of 34014 with flag 392209/14540366 3291.49/3285.55 c cleaning 17994 clauses out of 36006 with flag 439654/14559363 3295.19/3289.26 c cleaning 18999 clauses out of 38012 with flag 491834/14579363 3297.18/3291.27 c cleaning 19991 clauses out of 40014 with flag 548891/14600364 3300.38/3294.42 c cleaning 21004 clauses out of 42021 with flag 607690/14622363 3303.47/3297.56 c cleaning 21985 clauses out of 44019 with flag 680332/14645365 3306.66/3300.73 c cleaning 22990 clauses out of 46033 with flag 769376/14669364 3310.99/3305.01 c cleaning 24014 clauses out of 48043 with flag 862305/14694364 3314.76/3308.88 c cleaning 25010 clauses out of 50031 with flag 972722/14720366 3319.25/3313.38 c cleaning 26003 clauses out of 52020 with flag 1087551/14747365 3324.15/3318.27 c cleaning 26999 clauses out of 54018 with flag 1216304/14775366 3329.14/3323.23 c cleaning 28004 clauses out of 56016 with flag 1346461/14804363 3334.22/3328.37 c cleaning 29005 clauses out of 58013 with flag 1489681/14834364 3338.95/3333.03 c cleaning 29990 clauses out of 60008 with flag 1596158/14865364 3344.12/3338.21 c cleaning 31003 clauses out of 62018 with flag 1708721/14897364 3349.72/3343.88 c cleaning 32003 clauses out of 64014 with flag 1839498/14930363 3355.31/3349.44 c cleaning 32975 clauses out of 66012 with flag 1956043/14964364 3362.02/3356.14 c cleaning 33996 clauses out of 68039 with flag 2109386/14999366 3364.20/3358.40 c Got one! Elapsed wall clock time (in seconds):3358.056 3364.20/3358.40 o 1096285184 3365.80/3359.96 c cleaning 27542 clauses out of 55113 with flag 12765/15020436 3367.80/3361.96 c cleaning 16760 clauses out of 33571 with flag 28533/15026436 3370.09/3364.25 c cleaning 11892 clauses out of 23809 with flag 46199/15033434 3372.58/3366.74 c cleaning 9948 clauses out of 19918 with flag 67870/15041435 3375.48/3369.66 c cleaning 9189 clauses out of 18970 with flag 87919/15050435 3378.18/3372.32 c cleaning 9884 clauses out of 19781 with flag 111431/15060435 3380.99/3375.14 c cleaning 10435 clauses out of 20896 with flag 137837/15071434 3384.26/3378.41 c cleaning 11228 clauses out of 22463 with flag 165997/15083436 3387.46/3381.68 c cleaning 12105 clauses out of 24233 with flag 196674/15096434 3391.25/3385.46 c cleaning 13055 clauses out of 26130 with flag 229714/15110436 3395.04/3389.23 c cleaning 14029 clauses out of 28073 with flag 266308/15125434 3399.63/3393.82 c cleaning 15014 clauses out of 30044 with flag 309202/15141434 3405.03/3399.26 c cleaning 16006 clauses out of 32031 with flag 354458/15158435 3410.62/3404.84 c cleaning 17006 clauses out of 34024 with flag 409093/15176434 3416.51/3410.71 c cleaning 17989 clauses out of 36018 with flag 462843/15195434 3422.00/3416.20 c cleaning 19006 clauses out of 38031 with flag 515909/15215436 3428.08/3422.36 c cleaning 19998 clauses out of 40024 with flag 577415/15236435 3434.68/3428.94 c cleaning 21008 clauses out of 42025 with flag 642740/15258434 3440.77/3435.10 c cleaning 22005 clauses out of 44018 with flag 700975/15281435 3447.46/3441.73 c cleaning 23003 clauses out of 46012 with flag 769804/15305434 3454.04/3448.39 c cleaning 24002 clauses out of 48012 with flag 840163/15330437 3461.85/3456.18 c cleaning 24992 clauses out of 50007 with flag 914255/15356434 3470.85/3465.13 c cleaning 26000 clauses out of 52016 with flag 994530/15383435 3479.41/3473.73 c cleaning 27001 clauses out of 54015 with flag 1079999/15411434 3487.11/3481.43 c cleaning 27996 clauses out of 56014 with flag 1163058/15440434 3494.39/3488.72 c cleaning 29000 clauses out of 58018 with flag 1245414/15470434 3501.89/3496.25 c cleaning 29995 clauses out of 60018 with flag 1333486/15501434 3510.47/3504.81 c cleaning 31010 clauses out of 62023 with flag 1447115/15533434 3520.06/3514.49 c cleaning 31980 clauses out of 64014 with flag 1557377/15566435 3526.76/3521.12 c cleaning 33008 clauses out of 66034 with flag 1650494/15600435 3531.55/3525.93 c cleaning 33998 clauses out of 68027 with flag 1761171/15635436 3536.66/3531.08 c cleaning 35003 clauses out of 70027 with flag 1905311/15671434 3542.55/3536.93 c cleaning 36000 clauses out of 72025 with flag 2064194/15708435 3548.34/3542.74 c cleaning 37004 clauses out of 74028 with flag 2231279/15746438 3554.56/3548.96 c cleaning 37992 clauses out of 76021 with flag 2399715/15785435 3561.04/3555.48 c cleaning 38999 clauses out of 78030 with flag 2588351/15825436 3568.16/3562.57 c cleaning 40008 clauses out of 80029 with flag 2782657/15866434 3572.84/3567.24 c cleaning 41003 clauses out of 82022 with flag 2873042/15908435 3579.13/3573.59 c cleaning 42001 clauses out of 84018 with flag 3027191/15951434 3586.75/3581.16 c cleaning 42999 clauses out of 86018 with flag 3196963/15995435 3593.92/3588.34 c cleaning 44005 clauses out of 88018 with flag 3357921/16040435 3600.03/3594.42 c starts : 10880 3600.03/3594.42 c conflicts : 16079176 3600.03/3594.43 c decisions : 28490364 3600.03/3594.43 c propagations : 855310675 3600.03/3594.43 c inspects : 35659475424 3600.03/3594.43 c shortcuts : 0 3600.03/3594.43 c learnt literals : 34 3600.03/3594.43 c learnt binary clauses : 166 3600.03/3594.43 c learnt ternary clauses : 337 3600.03/3594.43 c learnt constraints : 16079142 3600.03/3594.43 c ignored constraints : 0 3600.03/3594.43 c root simplifications : 0 3600.03/3594.43 c removed literals (reason simplification) : 46536194 3600.03/3594.43 c reason swapping (by a shorter reason) : 0 3600.03/3594.43 c Calls to reduceDB : 589 3600.03/3594.43 c Number of update (reduction) of LBD : 3842901 3600.03/3594.43 c Imported unit clauses : 0 3600.03/3594.43 c No decision after first conflict : false 3600.03/3594.43 c number of reductions to clauses (during analyze) : 0 3600.03/3594.43 c number of learned constraints concerned by reduction : 0 3600.03/3594.43 c number of learning phase by resolution : 0 3600.03/3594.43 c number of learning phase by cutting planes : 0 3600.03/3594.43 c number of rounding to 1 operations : 0 3600.03/3594.43 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.03/3594.43 c number of reductions of the coefficients by power 2 : 0 3600.03/3594.43 c number of right shift for reduction by power 2 : 0 3600.03/3594.43 c number of reductions of the coefficients by GCD over coefficients : 0 3600.03/3594.43 c number of ending skipping : 0 3600.03/3594.43 c number of internal skipping : 0 3600.03/3594.43 c number of derivation steps : 0 3600.03/3594.43 c number of skipped derivation steps : 0 3600.03/3594.43 c number of remaining unassigned : 0 3600.03/3594.43 c number of remaining assigned : 0 3600.03/3594.43 c number of falsified literals weakened from reason : 0 3600.03/3594.43 c number of falsified literals weakened from conflict : 0 3600.03/3594.43 c time for arithmetic operations : 0 3600.03/3594.44 c minimum degree of deleted constraints : null 3600.03/3594.44 c maximum degree of deleted constraints : null 3600.03/3594.44 c number of deleted constraints : 0 3600.03/3594.44 c speed (assignments/second) : 238013.40043522543 3600.03/3594.44 c non guided choices : 141330 3600.03/3594.48 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 82588 3600.03/3594.48 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 166 3600.03/3594.48 s SATISFIABLE 3600.03/3594.48 c Found 19 solution(s) 3600.03/3594.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 x14 x15 x16 x17 -x18 x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 x593 x594 -x595 x596 x597 x598 x599 -x600 -x601 x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 x770 x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 x1867 x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 x2609 x2610 x2611 x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 x3155 x3156 x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 x3235 x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 x3312 -x3313 x3314 x3315 x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 x3472 x3473 -x3474 x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 x3590 -x3591 -x3592 x3593 x3594 x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3791 x3792 x3793 x3794 -x3795 -x3796 x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 x3951 x3952 x3953 x3954 -x3955 x3956 x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 x4034 -x4035 -x4036 -x4037 x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x4050 -x4051 -x4052 -x4053 x4054 -x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 x4254 -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 x4370 -x4371 x4372 x4373 -x4374 -x4375 x4376 x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 x4435 -x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 x4454 -x4455 x4456 x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 x4676 x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 x4691 x4692 -x4693 x4694 x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 x4815 x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 -x4892 -x4893 -x4894 x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 x5190 x5191 x5192 -x5193 x5194 x5195 -x5196 x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 x5290 -x5291 -x5292 -x5293 x5294 -x5295 x5296 -x5297 x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 x5371 -x5372 -x5373 x5374 x5375 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 x5387 x5388 -x5389 x5390 x5391 x5392 x5393 x5394 x5395 x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 x5417 -x5418 -x5419 x5420 x5421 -x5422 -x5423 x5424 x5425 -x5426 -x5427 -x5428 x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 x5538 -x5539 -x5540 -x5541 x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 x5606 -x5607 -x5608 -x5609 -x5610 -x5611 x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 x5626 -x5627 x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 x5668 -x5669 -x5670 -x5671 -x5672 -x5673 x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 x5816 -x5817 -x5818 -x5819 x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 x5840 -x5841 x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 x5894 -x5895 -x5896 -x5897 -x5898 -x5899 x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 x5936 x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 x6146 x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 x6251 x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 x6266 x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 x6371 x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 x6686 x6687 x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 x6776 x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 x6792 x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 x6881 x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 x7106 x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 x7136 x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 x7181 -x7182 -x7183 x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 x7241 x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 x7286 x7287 x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 x7331 x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 x7796 x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 x7886 x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 x8141 x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 x8231 x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 x8456 x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 x8486 x8487 x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 x8561 x8562 x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 x8576 -x8577 x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 x8629 -x8630 -x8631 -x8632 x8633 -x8634 -x8635 -x8636 -x8637 x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 x8646 -x8647 -x8648 -x8649 -x8650 x8651 x8652 -x8653 -x8654 -x8655 -x8656 x8657 -x8658 -x8659 -x8660 x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 x8675 -x8676 -x8677 x8678 -x8679 x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 x8693 -x8694 -x8695 -x8696 -x8697 x8698 x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 x8706 x8707 -x8708 -x8709 -x8710 -x8711 x8712 -x8713 -x8714 x8715 -x8716 -x8717 -x8718 -x8719 x8720 -x8721 x8722 x8723 -x8724 -x8725 -x8726 -x8727 -x8728 x8729 -x8730 -x8731 x8732 x8733 x8734 -x8735 -x8736 -x8737 -x8738 -x8739 x8740 -x8741 -x8742 x8743 -x8744 -x8745 x8746 -x8747 -x8748 -x8749 -x8750 x8751 -x8752 -x8753 x8754 -x8755 x8756 x8757 -x8758 -x8759 -x8760 x8761 -x8762 x8763 -x8764 -x8765 x8766 x8767 x8768 -x8769 -x8770 -x8771 -x8772 x8773 -x8774 x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 x8796 -x8797 -x8798 -x8799 -x8800 x8801 -x8802 -x8803 -x8804 x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 x8815 -x8816 x8817 -x8818 x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 x8827 -x8828 x8829 x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 x8856 -x8857 -x8858 x8859 x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 x8882 x8883 x8884 x8885 x8886 x8887 x8888 x8889 x8890 -x8891 x8892 -x8893 x8894 -x8895 x8896 -x8897 -x8898 -x8899 -x8900 -x8901 x8902 3600.24/3594.51 c objective function=1096285184 3600.24/3594.51 c Total wall clock time (in seconds): 3594.171
OK 1096285184
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (52380 MiB free)
memory of node 1: 64507 MiB (55579 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485650-1751298003/watcher-4485650-1751298003 -o /tmp/evaluation-result-4485650-1751298003/solver-4485650-1751298003 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751290914-41002 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4485650-1751298003.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=42007, runsolver pid=42004
[startup+0.100075 s]*
/proc/loadavg: 4.11 4.20 4.23 7/325 42025
/proc/meminfo: memFree=110540020/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=18930384 memory=50420 CPUtime=0.12 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 5770 0 0 0 8 4 0 0 20 0 18 0 45480066 19384713216 12605 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4732596 12605 5337 1 0 547002 0
[pid=42007/tid=42009] ppid=42004 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 4638 0 0 0 4 2 0 0 20 0 18 0 45480067 19384713216 12605 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45480072 19384713216 12605 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=18930384 memory=59593594258114 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 45480073 19384713216 12605 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50420 KiB
[startup+0.213571 s]*
/proc/loadavg: 4.11 4.20 4.23 6/325 42025
/proc/meminfo: memFree=110533928/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=18930384 memory=54980 CPUtime=0.28 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 6394 0 0 0 24 4 0 0 20 0 18 0 45480066 19384713216 13745 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4732596 13745 5369 1 0 547533 0
[pid=42007/tid=42009] ppid=42004 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 4986 0 0 0 14 3 0 0 20 0 18 0 45480067 19384713216 13745 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=18930384 memory=16142 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45480072 19384713216 13745 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 45480073 19384713216 13745 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54980 KiB
[startup+0.313649 s]*
/proc/loadavg: 4.11 4.20 4.23 7/325 42025
/proc/meminfo: memFree=110529832/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=18930384 memory=60360 CPUtime=0.43 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 6648 0 0 0 38 5 0 0 20 0 18 0 45480066 19384713216 15090 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4732596 15090 5433 1 0 547754 0
[pid=42007/tid=42009] ppid=42004 vsize=18930384 memory=-6000919489970596459 CPUtime=0.24 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 5175 0 0 0 21 3 0 0 20 0 18 0 45480067 19384713216 15090 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45480072 19384713216 15090 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 45480073 19384713216 15090 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60360 KiB
[startup+0.700392 s]
/proc/loadavg: 4.26 4.23 4.24 7/325 42025
/proc/meminfo: memFree=110524476/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=18930384 memory=94164 CPUtime=1.12 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 8496 0 0 0 104 8 0 0 20 0 18 0 45480066 19384713216 23541 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4732596 23541 5433 1 0 549044 0
[pid=42007/tid=42009] ppid=42004 vsize=18930384 memory=17792 CPUtime=0.55 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 5311 0 0 0 50 5 0 0 20 0 18 0 45480067 19384713216 23541 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=18930384 memory=10624 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45480072 19384713216 23541 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 45480073 19384713216 23541 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 94164 KiB
[startup+1.50034 s]
/proc/loadavg: 4.26 4.23 4.24 7/326 42026
/proc/meminfo: memFree=110459824/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=18996948 memory=157492 CPUtime=2.7 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 19297 0 0 0 258 12 0 0 20 0 19 0 45480066 19452874752 39373 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4749237 39373 5465 1 0 552805 0
[pid=42007/tid=42009] ppid=42004 vsize=18996948 memory=3200 CPUtime=1.27 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 5628 0 0 0 120 7 0 0 20 0 19 0 45480067 19452874752 39373 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45480072 19452874752 39373 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 45480073 19452874752 39373 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42026] ppid=42004 vsize=18996948 memory=14560 CPUtime=0 cores=0,2
/proc/42007/task/42026/stat : 42026 (Timer-0) S 42004 42007 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 45480156 19452874752 39373 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 157492 KiB
[startup+3.10641 s]
/proc/loadavg: 4.26 4.23 4.24 5/327 42027
/proc/meminfo: memFree=110043488/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=19063512 memory=193968 CPUtime=5.1 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 24572 0 0 0 496 14 0 0 20 0 20 0 45480066 19521036288 48492 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4765878 48492 5529 1 0 554177 0
[pid=42007/tid=42009] ppid=42004 vsize=19063512 memory=14560 CPUtime=2.84 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 6509 0 0 0 277 7 0 0 20 0 20 0 45480067 19521036288 48492 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45480072 19521036288 48492 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 45480073 19521036288 48492 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42026] ppid=42004 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/42007/task/42026/stat : 42026 (Timer-0) S 42004 42007 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45480156 19521036288 48492 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 5.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 193968 KiB
[startup+6.30043 s]
/proc/loadavg: 4.32 4.24 4.25 5/327 42027
/proc/meminfo: memFree=109969904/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=19063512 memory=265956 CPUtime=8.67 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 24773 0 0 0 852 15 0 0 20 0 20 0 45480066 19521036288 66489 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4765878 66489 5561 1 0 554177 0
[pid=42007/tid=42009] ppid=42004 vsize=19063512 memory=0 CPUtime=6 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 6583 0 0 0 592 8 0 0 20 0 20 0 45480067 19521036288 66489 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45480072 19521036288 66489 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 45480073 19521036288 66489 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42026] ppid=42004 vsize=19063512 memory=161588 CPUtime=0 cores=0,2
/proc/42007/task/42026/stat : 42026 (Timer-0) S 42004 42007 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45480156 19521036288 66489 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 8.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 265956 KiB
[startup+12.7004 s]
/proc/loadavg: 4.30 4.24 4.25 5/327 42027
/proc/meminfo: memFree=109367540/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=19063512 memory=479216 CPUtime=15.3 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 30166 0 0 0 1509 21 0 0 20 0 20 0 45480066 19521036288 119804 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4765878 119804 5561 1 0 554177 0
[pid=42007/tid=42009] ppid=42004 vsize=19063512 memory=161588 CPUtime=12.35 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 7744 0 0 0 1222 13 0 0 20 0 20 0 45480067 19521036288 119804 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=19063512 memory=391144 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45480072 19521036288 119804 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 45480073 19521036288 119804 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42026] ppid=42004 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/42007/task/42026/stat : 42026 (Timer-0) S 42004 42007 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45480156 19521036288 119804 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 15.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 479216 KiB
[startup+25.5004 s]
/proc/loadavg: 4.25 4.23 4.24 5/327 42028
/proc/meminfo: memFree=108789500/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=19063512 memory=921672 CPUtime=28.21 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 32810 0 0 0 2789 32 0 0 20 0 20 0 45480066 19521036288 230418 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4765878 230418 5561 1 0 554177 0
[pid=42007/tid=42009] ppid=42004 vsize=19063512 memory=0 CPUtime=24.99 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 8915 0 0 0 2477 22 0 0 20 0 20 0 45480067 19521036288 230418 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45480072 19521036288 230418 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=19063512 memory=921672 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 45480073 19521036288 230418 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42026] ppid=42004 vsize=19063512 memory=626724 CPUtime=0 cores=0,2
/proc/42007/task/42026/stat : 42026 (Timer-0) S 42004 42007 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45480156 19521036288 230418 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 28.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 921672 KiB
[startup+51.1132 s]
/proc/loadavg: 4.29 4.24 4.25 5/327 42028
/proc/meminfo: memFree=106768348/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=19063512 memory=1329364 CPUtime=53.96 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 35868 0 0 0 5354 42 0 0 20 0 20 0 45480066 19521036288 332341 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4765878 332341 5561 1 0 554194 0
[pid=42007/tid=42009] ppid=42004 vsize=19063512 memory=921672 CPUtime=50.39 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 11034 0 0 0 5009 30 0 0 20 0 20 0 45480067 19521036288 332341 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45480072 19521036288 332341 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 64 0 0 0 0 0 0 0 20 0 20 0 45480073 19521036288 332341 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42026] ppid=42004 vsize=19063512 memory=491504 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 2.81 3.15 3.74 3/275 42259
/proc/meminfo: memFree=119403804/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=19063512 memory=2171672 CPUtime=3288.3 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 107589 0 0 0 328584 246 0 0 20 0 20 0 45480066 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4765878 542918 5561 1 0 556793 0
[pid=42007/tid=42009] ppid=42004 vsize=19063512 memory=2171672 CPUtime=3253.29 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 49938 0 0 0 325294 35 0 0 20 0 20 0 45480067 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=19063512 memory=2171672 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45480072 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=19063512 memory=2171672 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 1111 0 0 0 0 0 0 0 20 0 20 0 45480073 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42026] ppid=42004 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/42007/task/42026/stat : 42026 (Timer-0) S 42004 42007 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45480156 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 3288.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171672 KiB
[startup+3342.3 s]
/proc/loadavg: 1.81 2.82 3.59 2/250 42295
/proc/meminfo: memFree=121198448/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=19063512 memory=2171672 CPUtime=3348.23 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 107688 0 0 0 334575 248 0 0 20 0 20 0 45480066 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4765878 542918 5561 1 0 556793 0
[pid=42007/tid=42009] ppid=42004 vsize=19063512 memory=2171672 CPUtime=3313.01 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 49944 0 0 0 331266 35 0 0 20 0 20 0 45480067 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45480072 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=19063512 memory=2171672 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 1111 0 0 0 0 0 0 0 20 0 20 0 45480073 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42026] ppid=42004 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/42007/task/42026/stat : 42026 (Timer-0) S 42004 42007 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45480156 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 3348.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171672 KiB
[startup+3402.3 s]
/proc/loadavg: 1.34 2.50 3.43 3/250 42297
/proc/meminfo: memFree=121197192/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=19063512 memory=2171672 CPUtime=3408.12 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 109573 0 0 0 340560 252 0 0 20 0 20 0 45480066 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4765878 542918 5561 1 0 556793 0
[pid=42007/tid=42009] ppid=42004 vsize=19063512 memory=2171672 CPUtime=3372.76 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 50923 0 0 0 337240 36 0 0 20 0 20 0 45480067 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=19063512 memory=2171672 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45480072 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=19063512 memory=2171672 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 1111 0 0 0 0 0 0 0 20 0 20 0 45480073 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42026] ppid=42004 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/42007/task/42026/stat : 42026 (Timer-0) S 42004 42007 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45480156 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 3408.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171672 KiB
[startup+3462.3 s]
/proc/loadavg: 1.22 2.25 3.28 2/250 42299
/proc/meminfo: memFree=121197444/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=19063512 memory=2171672 CPUtime=3468.02 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 110231 0 0 0 346547 255 0 0 20 0 20 0 45480066 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4765878 542918 5561 1 0 556793 0
[pid=42007/tid=42009] ppid=42004 vsize=19063512 memory=2171672 CPUtime=3432.49 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 51425 0 0 0 343213 36 0 0 20 0 20 0 45480067 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=19063512 memory=2171672 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45480072 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 1175 0 0 0 0 0 0 0 20 0 20 0 45480073 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42026] ppid=42004 vsize=19063512 memory=2171672 CPUtime=0 cores=0,2
/proc/42007/task/42026/stat : 42026 (Timer-0) S 42004 42007 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45480156 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 3468.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171672 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 2.04 3.14 2/250 42301
/proc/meminfo: memFree=121197696/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=19063512 memory=2171672 CPUtime=3527.96 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 111802 0 0 0 352538 258 0 0 20 0 20 0 45480066 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4765878 542918 5561 1 0 556793 0
[pid=42007/tid=42009] ppid=42004 vsize=19063512 memory=2171672 CPUtime=3492.17 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 51885 0 0 0 349181 36 0 0 20 0 20 0 45480067 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45480072 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 1254 0 0 0 0 0 0 0 20 0 20 0 45480073 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42026] ppid=42004 vsize=19063512 memory=2171672 CPUtime=0 cores=0,2
/proc/42007/task/42026/stat : 42026 (Timer-0) S 42004 42007 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45480156 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 3527.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171672 KiB
[startup+3582.3 s]
/proc/loadavg: 1.15 1.88 3.02 2/251 42310
/proc/meminfo: memFree=121197948/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=19063512 memory=2171672 CPUtime=3587.94 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 111972 0 0 0 358533 261 0 0 20 0 20 0 45480066 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4765878 542918 5561 1 0 556793 0
[pid=42007/tid=42009] ppid=42004 vsize=19063512 memory=17792 CPUtime=3551.85 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 51923 0 0 0 355149 36 0 0 20 0 20 0 45480067 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=19063512 memory=4138129235179630238 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45480072 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=19063512 memory=2171672 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 1260 0 0 0 0 0 0 0 20 0 20 0 45480073 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42026] ppid=42004 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/42007/task/42026/stat : 42026 (Timer-0) S 42004 42007 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45480156 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 3587.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3594.4 s]
/proc/loadavg: 1.21 1.86 3.00 2/251 42311
/proc/meminfo: memFree=121197948/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=19063512 memory=2171672 CPUtime=3600.03 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 111987 0 0 0 359742 261 0 0 20 0 20 0 45480066 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4765878 542918 5561 1 0 556793 0
[pid=42007/tid=42009] ppid=42004 vsize=19063512 memory=-6000919489970596459 CPUtime=3563.87 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 51937 0 0 0 356351 36 0 0 20 0 20 0 45480067 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45480072 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 1261 0 0 0 0 0 0 0 20 0 20 0 45480073 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42026] ppid=42004 vsize=19063512 memory=2944 CPUtime=0 cores=0,2
/proc/42007/task/42026/stat : 42026 (Timer-0) S 42004 42007 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45480156 19521036288 542918 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3594.54 s]
# the end of solver process 42007 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.64 s, system=2.63113 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3594.51 s]
/proc/loadavg: 1.21 1.86 3.00 2/251 42311
/proc/meminfo: memFree=121197948/131382112 swapFree=33010684/33010684
[pid=42007] ppid=42004 vsize=19263204 memory=2172440 CPUtime=3600.24 cores=0,2
/proc/42007/stat : 42007 (java) S 42004 42007 40992 0 -1 4194304 114135 0 0 0 359762 262 0 0 20 0 21 0 45480066 19725520896 543110 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
/proc/42007/statm: 4815801 543110 5593 1 0 557744 0
[pid=42007/tid=42009] ppid=42004 vsize=19263204 memory=14560 CPUtime=3563.96 cores=0,2
/proc/42007/task/42009/stat : 42009 (java) R 42004 42007 40992 0 -1 4194368 52047 0 0 0 356360 36 0 0 20 0 21 0 45480067 19725520896 543110 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42018] ppid=42004 vsize=19263204 memory=2171672 CPUtime=0 cores=0,2
/proc/42007/task/42018/stat : 42018 (Finalizer) S 42004 42007 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45480072 19725520896 543110 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
[pid=42007/tid=42025] ppid=42004 vsize=19263204 memory=2171672 CPUtime=0 cores=0,2
/proc/42007/task/42025/stat : 42025 (Common-Cleaner) S 42004 42007 40992 0 -1 4194368 1261 0 0 0 0 0 0 0 20 0 21 0 45480073 19725520896 543110 18446744073709551615 94395201667072 94395201670768 140727397526224 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94395201678584 94395201679376 94395205402624 140727397534081 140727397534182 140727397534182 140727397539784 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2172440 KiB
Child status: 143
Real time (s): 3594.54
CPU time (s): 3600.27
CPU user time (s): 3597.64
CPU system time (s): 2.63113
CPU usage (%): 100.159
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2175220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.64
system time used= 2.63113
maximum resident set size= 2175220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114368
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119297
involuntary context switches= 11538
# summary of solver processes directly reported to runsolver:
# pid: 42007
# total CPU time (s): 3600.27
# total CPU user time (s): 3597.64
# total CPU system time (s): 2.63113
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9996 second user time and 36.3603 second system time
The end
Begin job on nodeC009 at 2025-06-30 17:40:03 IDJOB=4485650 IDBENCH=146805 IDSOLVER=3363 FILE ID=nodeC009/4485650-1751298003 RUNJOBID= nodeC009-1751290914-41002 SLURM_JOB_ID= 9594248 Free space on /tmp= 432644 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485650-1751298003/watcher-4485650-1751298003 -o /tmp/evaluation-result-4485650-1751298003/solver-4485650-1751298003 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751290914-41002 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4485650-1751298003.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9da0f014fb9cbd107dd1b5ea973ba0c7 RANDOM SEED=796375390 nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.232 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3554.977 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1196.942 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.437 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.708 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3660.482 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.331 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.379 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 110550384 kB MemAvailable: 117132652 kB Buffers: 3280 kB Cached: 7354668 kB SwapCached: 0 kB Active: 13138588 kB Inactive: 7057236 kB Active(anon): 12854868 kB Inactive(anon): 968 kB Active(file): 283720 kB Inactive(file): 7056268 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1620 kB Writeback: 0 kB AnonPages: 12841012 kB Mapped: 123176 kB Shmem: 17960 kB KReclaimable: 163428 kB Slab: 247276 kB SReclaimable: 163428 kB SUnreclaim: 83848 kB KernelStack: 4992 kB PageTables: 28812 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 17953428 kB VmallocTotal: 34359738367 kB VmallocUsed: 150312 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12587008 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 172872 kB DirectMap2M: 9166848 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432656 MiB End job on nodeC009 at 2025-06-30 18:39:58