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 | OPT | 2218686 | 473.992 | 469.408 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_4_mh_ic.opb |
| MD5SUM | 122e0703ad162af40c09f7923c9e110e |
| 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 | 2218686 |
| Best CPU time to get the best result obtained on this benchmark | 10.6945 |
| 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 | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 70957944 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 2280923861 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 70957944 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 2280923861 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.09/0.19 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.19 c See www.sat4j.org for details. 0.09/0.20 c version PB25.v20250606 0.27/0.23 c java.runtime.name OpenJDK Runtime Environment 0.27/0.23 c java.vm.name OpenJDK 64-Bit Server VM 0.27/0.23 c java.vm.version 22.0.1+8-16 0.27/0.23 c java.vm.vendor Oracle Corporation 0.27/0.23 c sun.arch.data.model 64 0.27/0.23 c java.version 22.0.1 0.27/0.23 c os.name Linux 0.27/0.23 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.27/0.23 c os.arch amd64 0.27/0.24 c Free memory 2104792832 0.27/0.24 c Max memory 16282288128 0.27/0.24 c Total memory 2113929216 0.27/0.25 c Number of processors 2 0.44/0.35 c Pseudo Boolean Optimization by upper bound 0.44/0.35 c --- Begin Solver configuration --- 0.44/0.35 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.44/0.35 c Learn all clauses as in MiniSAT 0.44/0.35 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.44/0.35 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.44/0.35 c Expensive reason simplification 0.44/0.35 c Glucose 2.1 dynamic restart strategy 0.44/0.35 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.44/0.35 c timeout=2147483s 0.44/0.35 c DB Simplification allowed=false 0.44/0.35 c Listener: none 0.44/0.35 c --- End Solver configuration --- 0.44/0.35 c solving HOME/instance-4504810-1751457469.opb 0.44/0.35 c reading problem ... 0.44/0.35 c objective function found 1.53/0.90 c ... done. Wall clock time 0.54s. 1.53/0.90 c declared #vars 9765 1.53/0.90 c #constraints 21931 1.53/0.90 c constraints type 1.53/0.90 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.53/0.90 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.53/0.90 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.53/0.90 c org.sat4j.specs.Constr$1 => 4 1.53/0.90 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.53/0.90 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.53/0.90 c 21931 constraints processed. 1.53/0.94 c objective function length is 4005 literals 2.11/1.29 c SATISFIABLE 2.11/1.29 c OPTIMIZING... 2.11/1.29 c Got one! Elapsed wall clock time (in seconds):0.943 2.11/1.29 o 2842041 4.63/2.72 c cleaning 2613 clauses out of 5228 with flag 24633/5228 6.90/4.72 c cleaning 4308 clauses out of 8616 with flag 58544/11229 8.94/6.77 c cleaning 5648 clauses out of 11309 with flag 121126/18230 10.64/8.40 c cleaning 6828 clauses out of 13659 with flag 211351/26228 12.87/10.31 c cleaning 7909 clauses out of 15830 with flag 301969/35227 14.77/12.29 c cleaning 8958 clauses out of 17923 with flag 373474/45229 17.14/14.42 c cleaning 9972 clauses out of 19961 with flag 451770/56227 19.70/16.85 c cleaning 10990 clauses out of 21984 with flag 529359/68227 22.47/19.37 c cleaning 11994 clauses out of 23992 with flag 614374/81227 25.18/22.08 c cleaning 12991 clauses out of 25999 with flag 707126/95228 28.08/24.91 c cleaning 13995 clauses out of 28005 with flag 821380/110227 31.29/28.13 c cleaning 14991 clauses out of 30010 with flag 938036/126227 32.54/29.37 c Got one! Elapsed wall clock time (in seconds):29.018 32.54/29.37 o 2816833 32.67/29.42 c Got one! Elapsed wall clock time (in seconds):29.072 32.67/29.42 o 2760342 32.67/29.44 c Got one! Elapsed wall clock time (in seconds):29.089 32.67/29.44 o 2702759 33.85/30.41 c cleaning 13244 clauses out of 26511 with flag 28202/137719 34.91/31.50 c cleaning 9624 clauses out of 19267 with flag 69515/143719 36.61/32.83 c cleaning 8278 clauses out of 16645 with flag 122161/150721 37.31/33.54 c Got one! Elapsed wall clock time (in seconds):33.194 37.31/33.54 o 2698204 37.31/33.57 c Got one! Elapsed wall clock time (in seconds):33.226 37.31/33.57 o 2688284 37.31/33.59 c Got one! Elapsed wall clock time (in seconds):33.248 37.31/33.59 o 2542829 37.78/33.81 c cleaning 6827 clauses out of 13659 with flag 5094/156014 38.87/34.94 c cleaning 6403 clauses out of 12828 with flag 38993/162010 40.27/36.38 c cleaning 6704 clauses out of 13425 with flag 86661/169010 41.86/37.95 c cleaning 7346 clauses out of 14721 with flag 155123/177010 43.66/39.71 c cleaning 8185 clauses out of 16375 with flag 232383/186010 45.65/41.80 c cleaning 9088 clauses out of 18190 with flag 328502/196010 47.97/44.07 c cleaning 10050 clauses out of 20102 with flag 404864/207010 48.86/45.00 c Got one! Elapsed wall clock time (in seconds):44.651 48.86/45.00 o 2518303 49.17/45.23 c cleaning 7858 clauses out of 15723 with flag 4367/212681 50.37/46.42 c cleaning 6918 clauses out of 13865 with flag 39748/218681 51.66/47.71 c Got one! Elapsed wall clock time (in seconds):47.351 51.66/47.71 o 2517204 51.86/47.84 c Got one! Elapsed wall clock time (in seconds):47.492 51.86/47.84 o 2495948 53.12/48.93 c cleaning 9735 clauses out of 19469 with flag 23570/231203 54.42/50.21 c cleaning 7859 clauses out of 15735 with flag 50451/237204 55.81/51.66 c cleaning 7430 clauses out of 14878 with flag 84862/244206 57.51/53.34 c cleaning 7698 clauses out of 15445 with flag 126315/252203 59.32/55.17 c cleaning 8366 clauses out of 16747 with flag 176076/261203 60.10/55.92 c Got one! Elapsed wall clock time (in seconds):55.567 60.10/55.92 o 2479521 60.69/56.32 c cleaning 6953 clauses out of 13915 with flag 10632/266737 61.88/57.57 c cleaning 6473 clauses out of 12962 with flag 50709/272737 63.28/58.97 c cleaning 6739 clauses out of 13491 with flag 90012/279739 64.79/60.46 c cleaning 7367 clauses out of 14751 with flag 127065/287738 66.50/62.16 c cleaning 8184 clauses out of 16383 with flag 175433/296737 68.39/64.09 c cleaning 9090 clauses out of 18199 with flag 231588/306737 70.57/66.20 c cleaning 10037 clauses out of 20109 with flag 294253/317737 72.07/67.78 c Got one! Elapsed wall clock time (in seconds):67.422 72.07/67.78 o 2475710 73.14/68.75 c cleaning 11636 clauses out of 23278 with flag 25993/330946 74.45/70.05 c cleaning 8796 clauses out of 17642 with flag 57190/336946 75.84/71.46 c cleaning 7921 clauses out of 15846 with flag 100079/343946 77.45/73.04 c cleaning 7946 clauses out of 15925 with flag 141287/351946 79.14/74.77 c cleaning 8482 clauses out of 16980 with flag 185773/360947 81.13/76.73 c cleaning 9239 clauses out of 18497 with flag 237397/370946 83.23/78.89 c cleaning 10125 clauses out of 20259 with flag 300418/381947 83.54/79.12 c Got one! Elapsed wall clock time (in seconds):78.77 83.54/79.12 o 2469760 84.31/79.86 c Got one! Elapsed wall clock time (in seconds):79.518 84.31/79.86 o 2449268 84.59/80.07 c cleaning 8035 clauses out of 16088 with flag 4993/387901 84.78/80.22 c Got one! Elapsed wall clock time (in seconds):79.877 84.78/80.22 o 2415835 85.06/80.42 c Got one! Elapsed wall clock time (in seconds):80.07 85.06/80.42 o 2372046 85.88/81.25 c cleaning 7003 clauses out of 14076 with flag 23188/393924 87.07/82.47 c cleaning 6501 clauses out of 13073 with flag 56325/399924 88.57/83.90 c cleaning 6778 clauses out of 13572 with flag 95406/406924 89.97/85.40 c cleaning 7394 clauses out of 14796 with flag 134731/414926 91.76/87.04 c cleaning 8188 clauses out of 16400 with flag 187213/423924 93.52/88.72 c cleaning 9105 clauses out of 18212 with flag 252446/433924 95.51/90.70 c cleaning 10054 clauses out of 20108 with flag 323229/444925 97.71/92.95 c cleaning 11022 clauses out of 22053 with flag 379963/456924 100.20/95.43 c cleaning 12011 clauses out of 24031 with flag 456528/469924 102.81/98.03 c cleaning 13005 clauses out of 26020 with flag 530349/483924 105.69/100.90 c cleaning 13995 clauses out of 28015 with flag 621959/498924 108.90/104.16 c cleaning 14997 clauses out of 30020 with flag 721729/514925 112.28/107.51 c cleaning 15994 clauses out of 32023 with flag 820686/531925 115.79/111.10 c cleaning 17010 clauses out of 34027 with flag 916614/549925 117.98/113.28 c Got one! Elapsed wall clock time (in seconds):112.931 117.98/113.28 o 2370680 119.08/114.39 c cleaning 16377 clauses out of 32768 with flag 29037/565676 120.28/115.53 c cleaning 11178 clauses out of 22388 with flag 64979/571673 121.67/116.95 c cleaning 9073 clauses out of 18211 with flag 111563/578674 123.27/118.58 c cleaning 8554 clauses out of 17138 with flag 162346/586674 125.07/120.35 c cleaning 8773 clauses out of 17583 with flag 211217/595673 127.06/122.35 c cleaning 9405 clauses out of 18810 with flag 264634/605673 129.16/124.48 c cleaning 10201 clauses out of 20407 with flag 321989/616675 131.46/126.79 c cleaning 11074 clauses out of 22204 with flag 384157/628673 134.05/129.31 c cleaning 12056 clauses out of 24130 with flag 448849/641673 136.94/132.25 c cleaning 13035 clauses out of 26074 with flag 538725/655673 140.04/135.33 c cleaning 14015 clauses out of 28039 with flag 623793/670673 143.33/138.63 c cleaning 15008 clauses out of 30024 with flag 713402/686673 146.95/142.26 c cleaning 16003 clauses out of 32017 with flag 812597/703674 148.04/143.31 c Got one! Elapsed wall clock time (in seconds):142.965 148.04/143.31 o 2349827 148.24/143.52 c cleaning 10941 clauses out of 21913 with flag 5185/709573 149.34/144.68 c cleaning 8460 clauses out of 16973 with flag 37175/715574 150.75/146.05 c cleaning 7730 clauses out of 15512 with flag 70592/722573 152.33/147.68 c cleaning 7878 clauses out of 15785 with flag 111311/730576 154.13/149.46 c cleaning 8439 clauses out of 16904 with flag 164594/739573 156.13/151.47 c cleaning 9231 clauses out of 18465 with flag 228227/749573 158.33/153.61 c cleaning 10109 clauses out of 20237 with flag 293732/760576 160.74/156.08 c cleaning 11055 clauses out of 22127 with flag 370288/772575 163.42/158.75 c cleaning 12031 clauses out of 24072 with flag 449829/785575 166.31/161.60 c cleaning 13004 clauses out of 26039 with flag 534182/799573 169.31/164.64 c cleaning 14017 clauses out of 28035 with flag 622189/814573 172.60/167.99 c cleaning 15001 clauses out of 30018 with flag 711367/830573 176.19/171.57 c cleaning 15976 clauses out of 32017 with flag 799061/847573 176.19/171.57 c Got one! Elapsed wall clock time (in seconds):171.228 176.19/171.58 o 2337699 177.29/172.65 c cleaning 10519 clauses out of 21054 with flag 29543/852586 178.49/173.88 c cleaning 8249 clauses out of 16535 with flag 61167/858586 180.08/175.42 c cleaning 7626 clauses out of 15285 with flag 97588/865585 181.69/177.06 c cleaning 7812 clauses out of 15659 with flag 137586/873585 183.47/178.83 c cleaning 8420 clauses out of 16847 with flag 182474/882585 185.47/180.82 c cleaning 9212 clauses out of 18427 with flag 240508/892585 187.56/183.00 c cleaning 10104 clauses out of 20216 with flag 301472/903586 189.86/185.24 c cleaning 11042 clauses out of 22111 with flag 363681/915585 192.45/187.89 c cleaning 12027 clauses out of 24069 with flag 425574/928586 195.44/190.87 c cleaning 13019 clauses out of 26042 with flag 479181/942586 198.34/193.76 c cleaning 14004 clauses out of 28022 with flag 547129/957585 201.74/197.17 c cleaning 15001 clauses out of 30022 with flag 624762/973589 205.13/200.55 c cleaning 15999 clauses out of 32017 with flag 705622/990585 208.82/204.28 c cleaning 16999 clauses out of 34018 with flag 790256/1008585 212.63/208.04 c cleaning 17995 clauses out of 36020 with flag 886090/1027586 216.91/212.31 c cleaning 18993 clauses out of 38024 with flag 990502/1047585 221.11/216.51 c cleaning 20006 clauses out of 40031 with flag 1091223/1068585 225.71/221.14 c cleaning 21013 clauses out of 42025 with flag 1206159/1090585 227.39/222.83 c Got one! Elapsed wall clock time (in seconds):222.483 227.39/222.83 o 2334481 228.49/223.92 c cleaning 17233 clauses out of 34485 with flag 23048/1104058 229.70/225.13 c cleaning 11614 clauses out of 23252 with flag 53024/1110058 231.09/226.59 c cleaning 9303 clauses out of 18638 with flag 93527/1117058 232.38/227.83 c Got one! Elapsed wall clock time (in seconds):227.479 232.38/227.83 o 2325039 232.48/227.93 c Got one! Elapsed wall clock time (in seconds):227.579 232.48/227.93 o 2321685 233.48/228.93 c cleaning 10459 clauses out of 20928 with flag 23649/1128651 234.69/230.14 c cleaning 8228 clauses out of 16466 with flag 53772/1134648 236.07/231.50 c cleaning 7605 clauses out of 15239 with flag 82073/1141649 237.77/233.23 c cleaning 7804 clauses out of 15633 with flag 119915/1149648 239.58/235.05 c cleaning 8403 clauses out of 16829 with flag 157235/1158648 241.58/237.11 c cleaning 9206 clauses out of 18427 with flag 202903/1168649 243.96/239.40 c cleaning 10107 clauses out of 20220 with flag 262132/1179648 246.48/241.98 c cleaning 11051 clauses out of 22115 with flag 313115/1191650 249.17/244.62 c cleaning 11998 clauses out of 24061 with flag 362077/1204648 251.97/247.46 c cleaning 13026 clauses out of 26063 with flag 417581/1218648 254.97/250.46 c cleaning 14005 clauses out of 28038 with flag 489352/1233649 257.96/253.47 c cleaning 15016 clauses out of 30033 with flag 570699/1249649 261.45/256.91 c cleaning 16003 clauses out of 32017 with flag 663754/1266649 265.04/260.55 c cleaning 17003 clauses out of 34016 with flag 748828/1284651 269.14/264.62 c cleaning 17996 clauses out of 36011 with flag 846360/1303649 273.55/269.04 c cleaning 18987 clauses out of 38014 with flag 942560/1323648 278.54/274.01 c cleaning 20012 clauses out of 40027 with flag 1048656/1344648 282.63/278.17 c Got one! Elapsed wall clock time (in seconds):277.828 282.63/278.18 o 2317994 283.72/279.24 c cleaning 21537 clauses out of 43087 with flag 19166/1367720 285.02/280.54 c cleaning 13751 clauses out of 27550 with flag 49929/1373720 286.41/281.93 c cleaning 10387 clauses out of 20798 with flag 78403/1380719 287.91/283.45 c cleaning 9179 clauses out of 18411 with flag 110639/1388719 289.71/285.24 c cleaning 9092 clauses out of 18234 with flag 147043/1397721 291.81/287.38 c cleaning 9556 clauses out of 19140 with flag 190461/1407719 294.30/289.80 c cleaning 10279 clauses out of 20584 with flag 237712/1418719 296.70/292.27 c cleaning 11138 clauses out of 22305 with flag 294193/1430719 299.39/294.99 c cleaning 12074 clauses out of 24167 with flag 353360/1443719 302.29/297.81 c cleaning 13036 clauses out of 26095 with flag 413310/1457721 302.98/298.58 c Got one! Elapsed wall clock time (in seconds):298.23 302.98/298.58 o 2298266 303.38/298.99 c cleaning 9320 clauses out of 18655 with flag 8306/1463317 304.68/300.26 c cleaning 7637 clauses out of 15334 with flag 36739/1469316 306.28/301.80 c cleaning 7320 clauses out of 14697 with flag 67090/1476316 307.98/303.50 c cleaning 7682 clauses out of 15378 with flag 97747/1484317 309.86/305.45 c cleaning 8330 clauses out of 16695 with flag 133298/1493316 311.96/307.52 c cleaning 9180 clauses out of 18368 with flag 170240/1503319 314.05/309.67 c cleaning 10089 clauses out of 20186 with flag 219778/1514317 316.46/312.09 c cleaning 11043 clauses out of 22096 with flag 275513/1526317 319.15/314.72 c cleaning 12019 clauses out of 24052 with flag 329796/1539316 322.14/317.77 c cleaning 13001 clauses out of 26033 with flag 395407/1553316 325.63/321.22 c cleaning 14014 clauses out of 28032 with flag 459571/1568316 329.13/324.74 c cleaning 15005 clauses out of 30019 with flag 535676/1584317 333.32/328.90 c cleaning 15999 clauses out of 32016 with flag 617725/1601319 337.21/332.82 c cleaning 16990 clauses out of 34015 with flag 695542/1619317 341.52/337.13 c cleaning 18012 clauses out of 36025 with flag 777884/1638317 346.20/341.84 c cleaning 18999 clauses out of 38013 with flag 872236/1658317 352.41/348.08 c cleaning 20000 clauses out of 40012 with flag 965203/1679316 353.80/349.42 c Got one! Elapsed wall clock time (in seconds):349.074 353.80/349.42 o 2297338 354.94/350.59 c cleaning 15986 clauses out of 31991 with flag 21334/1691295 355.55/351.20 c Got one! Elapsed wall clock time (in seconds):350.848 355.55/351.20 o 2266950 355.90/351.43 c Got one! Elapsed wall clock time (in seconds):351.084 355.90/351.43 o 2254714 356.35/351.89 c cleaning 10891 clauses out of 21813 with flag 9597/1697103 357.85/353.32 c cleaning 8431 clauses out of 16922 with flag 38625/1703103 359.44/354.90 c cleaning 7719 clauses out of 15491 with flag 66956/1710103 361.14/356.67 c cleaning 7877 clauses out of 15775 with flag 100892/1718106 363.14/358.65 c cleaning 8441 clauses out of 16895 with flag 135936/1727103 365.54/361.03 c cleaning 9224 clauses out of 18456 with flag 178557/1737105 368.03/363.58 c Got one! Elapsed wall clock time (in seconds):363.233 368.03/363.58 o 2245318 369.21/364.69 c cleaning 12364 clauses out of 24727 with flag 21317/1752600 370.71/366.15 c cleaning 9172 clauses out of 18364 with flag 50115/1758601 372.40/367.81 c cleaning 8079 clauses out of 16192 with flag 80373/1765601 373.99/369.47 c cleaning 8050 clauses out of 16112 with flag 109993/1773600 375.79/371.23 c cleaning 8523 clauses out of 17063 with flag 142843/1782601 377.89/373.39 c cleaning 9265 clauses out of 18539 with flag 178802/1792600 380.28/375.72 c cleaning 10130 clauses out of 20274 with flag 220413/1803600 382.87/378.35 c cleaning 11069 clauses out of 22144 with flag 260446/1815600 385.88/381.37 c cleaning 12032 clauses out of 24075 with flag 310741/1828600 388.97/384.49 c cleaning 13015 clauses out of 26043 with flag 369122/1842600 392.57/388.03 c cleaning 14001 clauses out of 28029 with flag 440371/1857601 395.95/391.46 c cleaning 15011 clauses out of 30031 with flag 509035/1873604 399.85/395.30 c cleaning 16000 clauses out of 32016 with flag 584508/1890600 403.94/399.41 c cleaning 17003 clauses out of 34018 with flag 672625/1908602 408.76/404.21 c cleaning 18004 clauses out of 36013 with flag 779825/1927600 413.66/409.15 c Got one! Elapsed wall clock time (in seconds):408.806 413.66/409.15 o 2239348 414.94/410.47 c cleaning 20395 clauses out of 40810 with flag 21430/1950401 416.55/412.04 c cleaning 13195 clauses out of 26418 with flag 48428/1956404 417.84/413.34 c Got one! Elapsed wall clock time (in seconds):412.996 417.84/413.34 o 2239181 417.94/413.40 c Got one! Elapsed wall clock time (in seconds):413.056 417.94/413.40 o 2218686 418.14/413.64 c cleaning 9705 clauses out of 19438 with flag 4637/1962619 419.44/414.92 c cleaning 7849 clauses out of 15732 with flag 27469/1968618 420.83/416.34 c cleaning 7418 clauses out of 14881 with flag 51194/1975617 422.61/418.10 c cleaning 7713 clauses out of 15464 with flag 80463/1983618 424.60/420.05 c cleaning 8366 clauses out of 16750 with flag 113091/1992617 426.89/422.31 c cleaning 9186 clauses out of 18384 with flag 152561/2002617 429.18/424.64 c cleaning 10075 clauses out of 20197 with flag 192442/2013617 431.87/427.30 c cleaning 11054 clauses out of 22120 with flag 235803/2025617 434.37/429.85 c cleaning 12025 clauses out of 24066 with flag 284473/2038617 437.06/432.60 c cleaning 13017 clauses out of 26041 with flag 341019/2052618 440.06/435.54 c cleaning 14011 clauses out of 28026 with flag 400880/2067620 443.15/438.69 c cleaning 14997 clauses out of 30012 with flag 468396/2083617 446.25/441.79 c cleaning 16007 clauses out of 32013 with flag 531803/2100617 449.84/445.38 c cleaning 17004 clauses out of 34008 with flag 609895/2118619 453.65/449.12 c cleaning 17987 clauses out of 36001 with flag 696858/2137617 457.32/452.88 c cleaning 19003 clauses out of 38014 with flag 780029/2157617 461.42/456.94 c cleaning 20002 clauses out of 40011 with flag 870813/2178617 465.42/460.98 c cleaning 21002 clauses out of 42008 with flag 974470/2200617 469.76/465.27 c cleaning 22000 clauses out of 44004 with flag 1077700/2223617 473.75/469.24 c cleaning 22998 clauses out of 46002 with flag 1171795/2247617 473.85/469.34 c starts : 1076 473.85/469.35 c conflicts : 2247989 473.85/469.35 c decisions : 5964426 473.85/469.35 c propagations : 774064930 473.85/469.35 c inspects : 2935997086 473.85/469.35 c shortcuts : 0 473.85/469.35 c learnt literals : 40 473.85/469.35 c learnt binary clauses : 157 473.85/469.35 c learnt ternary clauses : 406 473.85/469.35 c learnt constraints : 2247948 473.85/469.35 c ignored constraints : 0 473.85/469.35 c root simplifications : 0 473.85/469.35 c removed literals (reason simplification) : 47655624 473.85/469.36 c reason swapping (by a shorter reason) : 0 473.85/469.36 c Calls to reduceDB : 193 473.85/469.36 c Number of update (reduction) of LBD : 891713 473.85/469.36 c Imported unit clauses : 0 473.85/469.36 c No decision after first conflict : false 473.85/469.36 c number of reductions to clauses (during analyze) : 0 473.85/469.36 c number of learned constraints concerned by reduction : 0 473.85/469.36 c number of learning phase by resolution : 0 473.85/469.36 c number of learning phase by cutting planes : 0 473.85/469.36 c number of rounding to 1 operations : 0 473.85/469.36 c number of easy rounding to 1 operations (no literal elimination needed) : 0 473.85/469.36 c number of reductions of the coefficients by power 2 : 0 473.85/469.36 c number of right shift for reduction by power 2 : 0 473.85/469.36 c number of reductions of the coefficients by GCD over coefficients : 0 473.85/469.36 c number of ending skipping : 0 473.85/469.36 c number of internal skipping : 0 473.85/469.36 c number of derivation steps : 0 473.85/469.36 c number of skipped derivation steps : 0 473.85/469.36 c number of remaining unassigned : 0 473.85/469.36 c number of remaining assigned : 0 473.85/469.36 c number of falsified literals weakened from reason : 0 473.85/469.36 c number of falsified literals weakened from conflict : 0 473.85/469.36 c time for arithmetic operations : 0 473.85/469.36 c minimum degree of deleted constraints : null 473.85/469.36 c maximum degree of deleted constraints : null 473.85/469.36 c number of deleted constraints : 0 473.85/469.37 c speed (assignments/second) : 1652530.1017053365 473.85/469.37 c non guided choices : 6657 473.85/469.37 s OPTIMUM FOUND 473.85/469.37 c Found 31 solution(s) 473.85/469.37 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 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 x9532 -x9533 -x9534 -x9535 -x9536 -x9537 x9538 x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 x9562 -x9563 -x9564 -x9565 -x9566 -x9567 x9568 x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 x9592 -x9593 -x9594 -x9595 x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 x9607 -x9608 -x9609 -x9610 x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 x9731 -x9732 x9733 x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 473.85/469.39 c objective function=2218686 473.85/469.39 c Total wall clock time (in seconds): 469.039
OK 2218686
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: 63837 MiB (62855 MiB free)
memory of node 1: 64465 MiB (63567 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504810-1751457469/watcher-4504810-1751457469 -o /tmp/evaluation-result-4504810-1751457469/solver-4504810-1751457469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751453868-61311 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4504810-1751457469.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=61811, runsolver pid=61802
[startup+0.100072 s]*
/proc/loadavg: 4.10 4.12 4.08 7/301 61840
/proc/meminfo: memFree=129389660/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=18930344 memory=46924 CPUtime=0.09 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 5665 0 0 0 6 3 0 0 20 0 18 0 61425673 19384672256 11731 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4732586 11731 5080 1 0 546927 0
[pid=61811/tid=61814] ppid=61802 vsize=18930344 memory=4026532141 CPUtime=0.06 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) D 61802 61811 61299 0 -1 4194368 4571 0 0 0 4 2 0 0 20 0 18 0 61425675 19384672256 11731 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=18930384 memory=237112658167 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61425680 19384713216 11731 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=18930384 memory=20000 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61425681 19384713216 11763 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 46924 KiB
[startup+0.216044 s]*
/proc/loadavg: 4.10 4.12 4.08 9/301 61840
/proc/meminfo: memFree=129335972/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=18930384 memory=52144 CPUtime=0.27 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 6187 0 0 0 23 4 0 0 20 0 18 0 61425673 19384713216 13036 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4732596 13036 5336 1 0 547317 0
[pid=61811/tid=61814] ppid=61802 vsize=18930384 memory=3472328300254199928 CPUtime=0.18 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 4977 0 0 0 15 3 0 0 20 0 18 0 61425675 19384713216 13036 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61425680 19384713216 13036 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=18930384 memory=55195547748946 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61425681 19384713216 13036 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52144 KiB
[startup+0.317057 s]*
/proc/loadavg: 4.10 4.12 4.08 11/302 61841
/proc/meminfo: memFree=129307616/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=18930384 memory=58388 CPUtime=0.44 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 6736 0 0 0 39 5 0 0 20 0 18 0 61425673 19384713216 14597 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4732596 14597 5336 1 0 547762 0
[pid=61811/tid=61814] ppid=61802 vsize=18930384 memory=-6000919498560007017 CPUtime=0.27 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 5196 0 0 0 24 3 0 0 20 0 18 0 61425675 19384713216 14597 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61425680 19384713216 14597 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61425681 19384713216 14597 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58388 KiB
[startup+0.700363 s]
/proc/loadavg: 4.10 4.12 4.08 9/302 61841
/proc/meminfo: memFree=129285752/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=18930384 memory=90700 CPUtime=1.13 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 8676 0 0 0 106 7 0 0 20 0 18 0 61425673 19384713216 22675 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4732596 22675 5400 1 0 549041 0
[pid=61811/tid=61814] ppid=61802 vsize=18930384 memory=17792 CPUtime=0.59 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 5315 0 0 0 55 4 0 0 20 0 18 0 61425675 19384713216 22675 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=18930384 memory=11264 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61425680 19384713216 22675 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61425681 19384713216 22675 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 90700 KiB
[startup+1.50027 s]
/proc/loadavg: 4.10 4.12 4.08 9/304 61843
/proc/meminfo: memFree=129099736/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=18996948 memory=134204 CPUtime=2.71 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 14915 0 0 0 260 11 0 0 20 0 19 0 61425673 19452874752 33551 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4749237 33551 5464 1 0 551135 0
[pid=61811/tid=61814] ppid=61802 vsize=18996948 memory=0 CPUtime=1.26 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 6630 0 0 0 120 6 0 0 20 0 19 0 61425675 19452874752 33551 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 61425680 19452874752 33551 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=18996948 memory=14464 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 61425681 19452874752 33551 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61843] ppid=61802 vsize=18996948 memory=33 CPUtime=0 cores=1,3
/proc/61811/task/61843/stat : 61843 (Timer-0) S 61802 61811 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 61425768 19452874752 33551 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 134204 KiB
[startup+3.10739 s]
/proc/loadavg: 4.33 4.16 4.10 10/324 61893
/proc/meminfo: memFree=128602900/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=18996948 memory=153100 CPUtime=5.27 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 20926 0 0 0 512 15 0 0 20 0 19 0 61425673 19452874752 38275 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4749237 38275 5464 1 0 553878 0
[pid=61811/tid=61814] ppid=61802 vsize=18996948 memory=11264 CPUtime=2.83 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 7457 0 0 0 276 7 0 0 20 0 19 0 61425675 19452874752 38275 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 61425680 19452874752 38275 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=18996948 memory=14464 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 61425681 19452874752 38275 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61843] ppid=61802 vsize=18996948 memory=126960 CPUtime=0 cores=1,3
/proc/61811/task/61843/stat : 61843 (Timer-0) S 61802 61811 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 61425768 19452874752 38275 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 5.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 153100 KiB
[startup+6.3004 s]
/proc/loadavg: 4.33 4.16 4.10 5/326 61895
/proc/meminfo: memFree=128400064/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=18996948 memory=143684 CPUtime=8.54 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 23234 0 0 0 838 16 0 0 20 0 19 0 61425673 19452874752 35921 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4749237 35921 5464 1 0 553880 0
[pid=61811/tid=61814] ppid=61802 vsize=18996948 memory=0 CPUtime=6 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 8001 0 0 0 593 7 0 0 20 0 19 0 61425675 19452874752 35921 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 61425680 19452874752 35921 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=18996948 memory=14464 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 61425681 19452874752 35921 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61843] ppid=61802 vsize=18996948 memory=14464 CPUtime=0 cores=1,3
/proc/61811/task/61843/stat : 61843 (Timer-0) S 61802 61811 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 61425768 19452874752 35921 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 8.54 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 143684 KiB
[startup+12.7004 s]
/proc/loadavg: 4.28 4.16 4.09 5/327 61896
/proc/meminfo: memFree=128359248/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=19063512 memory=180104 CPUtime=15.35 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 29339 0 0 0 1517 18 0 0 20 0 20 0 61425673 19521036288 45026 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4765878 45026 5560 1 0 554659 0
[pid=61811/tid=61814] ppid=61802 vsize=19063512 memory=11264 CPUtime=12.35 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 9442 0 0 0 1228 7 0 0 20 0 20 0 61425675 19521036288 45026 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61425680 19521036288 45026 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 61425681 19521036288 45026 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61843] ppid=61802 vsize=19063512 memory=153100 CPUtime=0 cores=1,3
/proc/61811/task/61843/stat : 61843 (Timer-0) S 61802 61811 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61425768 19521036288 45026 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 15.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180104 KiB
[startup+25.5004 s]
/proc/loadavg: 4.24 4.15 4.09 5/327 61896
/proc/meminfo: memFree=128357236/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=19063512 memory=178460 CPUtime=28.68 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 31583 0 0 0 2848 20 0 0 20 0 20 0 61425673 19521036288 44615 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4765878 44615 5560 1 0 554813 0
[pid=61811/tid=61814] ppid=61802 vsize=19063512 memory=153100 CPUtime=25.12 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 10176 0 0 0 2505 7 0 0 20 0 20 0 61425675 19521036288 44615 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=19063512 memory=178460 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61425680 19521036288 44615 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=19063512 memory=178460 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 61425681 19521036288 44615 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61843] ppid=61802 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/61811/task/61843/stat : 61843 (Timer-0) S 61802 61811 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61425768 19521036288 44615 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 28.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178460 KiB
[startup+51.1135 s]
/proc/loadavg: 4.21 4.15 4.09 5/327 61897
/proc/meminfo: memFree=128313004/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=19063512 memory=192124 CPUtime=55.33 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 34632 0 0 0 5511 22 0 0 20 0 20 0 61425673 19521036288 48031 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4765878 48031 5560 1 0 554813 0
[pid=61811/tid=61814] ppid=61802 vsize=19063512 memory=11264 CPUtime=50.62 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 10546 0 0 0 5055 7 0 0 20 0 20 0 61425675 19521036288 48031 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=19063512 memory=180744 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61425680 19521036288 48031 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 61425681 19521036288 48031 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
################
# More data... #
################
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 137 0 0 0 0 0 0 0 20 0 20 0 61425681 19521036288 73296 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61843] ppid=61802 vsize=19063512 memory=262460 CPUtime=0 cores=1,3
/proc/61811/task/61843/stat : 61843 (Timer-0) S 61802 61811 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61425768 19521036288 73296 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 286.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 293184 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/327 61925
/proc/meminfo: memFree=127963952/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=19063512 memory=330064 CPUtime=346.7 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 44122 0 0 0 34631 39 0 0 20 0 20 0 61425673 19521036288 82516 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4765878 82516 5560 1 0 554829 0
[pid=61811/tid=61814] ppid=61802 vsize=19063512 memory=305484 CPUtime=340.32 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 15860 0 0 0 34024 8 0 0 20 0 20 0 61425675 19521036288 82516 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=19063512 memory=305484 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61425680 19521036288 82516 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=19063512 memory=330064 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 177 0 0 0 0 0 0 0 20 0 20 0 61425681 19521036288 82516 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61843] ppid=61802 vsize=19063512 memory=330064 CPUtime=0 cores=1,3
/proc/61811/task/61843/stat : 61843 (Timer-0) S 61802 61811 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61425768 19521036288 82516 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 346.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 330064 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/327 61927
/proc/meminfo: memFree=127816512/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=19063512 memory=432624 CPUtime=406.86 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 45475 0 0 0 40642 44 0 0 20 0 20 0 61425673 19521036288 108156 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4765878 108156 5560 1 0 554829 0
[pid=61811/tid=61814] ppid=61802 vsize=19063512 memory=383464 CPUtime=399.82 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 16324 0 0 0 39973 9 0 0 20 0 20 0 61425675 19521036288 108156 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=19063512 memory=383464 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61425680 19521036288 108156 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=19063512 memory=5504 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 204 0 0 0 0 0 0 0 20 0 20 0 61425681 19521036288 108156 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61843] ppid=61802 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/61811/task/61843/stat : 61843 (Timer-0) S 61802 61811 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61425768 19521036288 108156 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 406.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 432624 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/326 61929
/proc/meminfo: memFree=127693404/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=19063512 memory=477688 CPUtime=466.81 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 45540 0 0 0 46633 48 0 0 20 0 20 0 61425673 19521036288 119422 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4765878 119422 5560 1 0 554829 0
[pid=61811/tid=61814] ppid=61802 vsize=19063512 memory=477688 CPUtime=459.6 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 16330 0 0 0 45951 9 0 0 20 0 20 0 61425675 19521036288 119422 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=19063512 memory=477688 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61425680 19521036288 119422 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=19063512 memory=17792 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 204 0 0 0 0 0 0 0 20 0 20 0 61425681 19521036288 119422 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61843] ppid=61802 vsize=19063512 memory=477688 CPUtime=0 cores=1,3
/proc/61811/task/61843/stat : 61843 (Timer-0) S 61802 61811 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61425768 19521036288 119422 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 466.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 477688 KiB
[startup+469.408 s]
# the end of solver process 61811 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=473.491 s, system=0.500737 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+464 s]*
/proc/loadavg: 4.12 4.13 4.09 5/326 61929
/proc/meminfo: memFree=127668828/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=19063512 memory=504340 CPUtime=468.57 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 45577 0 0 0 46808 49 0 0 20 0 20 0 61425673 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4765878 126085 5560 1 0 554829 0
[pid=61811/tid=61814] ppid=61802 vsize=19063512 memory=477688 CPUtime=461.26 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 16330 0 0 0 46117 9 0 0 20 0 20 0 61425675 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=19063512 memory=17792 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61425680 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 204 0 0 0 0 0 0 0 20 0 20 0 61425681 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61843] ppid=61802 vsize=19063512 memory=6896 CPUtime=0 cores=1,3
/proc/61811/task/61843/stat : 61843 (Timer-0) S 61802 61811 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61425768 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 468.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 504340 KiB
[startup+467.2 s]
/proc/loadavg: 4.11 4.12 4.09 5/326 61929
/proc/meminfo: memFree=127668828/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=19063512 memory=504340 CPUtime=471.75 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 45577 0 0 0 47126 49 0 0 20 0 20 0 61425673 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4765878 126085 5560 1 0 554829 0
[pid=61811/tid=61814] ppid=61802 vsize=19063512 memory=477688 CPUtime=464.44 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 16330 0 0 0 46435 9 0 0 20 0 20 0 61425675 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=19063512 memory=477276 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61425680 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=19063512 memory=6836 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 204 0 0 0 0 0 0 0 20 0 20 0 61425681 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61843] ppid=61802 vsize=19063512 memory=504340 CPUtime=0 cores=1,3
/proc/61811/task/61843/stat : 61843 (Timer-0) S 61802 61811 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61425768 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 471.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 504340 KiB
[startup+468.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/326 61929
/proc/meminfo: memFree=127668828/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=19063512 memory=504340 CPUtime=473.35 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 45577 0 0 0 47286 49 0 0 20 0 20 0 61425673 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4765878 126085 5560 1 0 554829 0
[pid=61811/tid=61814] ppid=61802 vsize=19063512 memory=19968 CPUtime=466.04 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 16330 0 0 0 46595 9 0 0 20 0 20 0 61425675 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=19063512 memory=504340 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61425680 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=19063512 memory=2432 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 204 0 0 0 0 0 0 0 20 0 20 0 61425681 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61843] ppid=61802 vsize=19063512 memory=504340 CPUtime=0 cores=1,3
/proc/61811/task/61843/stat : 61843 (Timer-0) S 61802 61811 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61425768 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 473.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 504340 KiB
[startup+469.2 s]
/proc/loadavg: 4.11 4.12 4.09 5/326 61929
/proc/meminfo: memFree=127668828/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=19063512 memory=504340 CPUtime=473.75 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 45577 0 0 0 47326 49 0 0 20 0 20 0 61425673 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4765878 126085 5560 1 0 554829 0
[pid=61811/tid=61814] ppid=61802 vsize=19063512 memory=477276 CPUtime=466.44 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) R 61802 61811 61299 0 -1 4194368 16330 0 0 0 46635 9 0 0 20 0 20 0 61425675 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=19063512 memory=6836 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61425680 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=19063512 memory=504340 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 204 0 0 0 0 0 0 0 20 0 20 0 61425681 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61843] ppid=61802 vsize=19063512 memory=504340 CPUtime=0 cores=1,3
/proc/61811/task/61843/stat : 61843 (Timer-0) S 61802 61811 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61425768 19521036288 126085 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 473.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 504340 KiB
[startup+469.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/326 61929
/proc/meminfo: memFree=127668828/131382120 swapFree=33010416/33010684
[pid=61811] ppid=61802 vsize=19196640 memory=504852 CPUtime=473.98 cores=1,3
/proc/61811/stat : 61811 (java) S 61802 61811 61299 0 -1 4194304 47513 0 0 0 47349 49 0 0 20 0 15 0 61425673 19657359360 126213 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
/proc/61811/statm: 4799160 126213 5560 1 0 555463 0
[pid=61811/tid=61814] ppid=61802 vsize=19196640 memory=6644 CPUtime=466.57 cores=1,3
/proc/61811/task/61814/stat : 61814 (java) S 61802 61811 61299 0 -1 4194368 17436 0 0 0 46648 9 0 0 20 0 15 0 61425675 19657359360 126213 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61833] ppid=61802 vsize=19196640 memory=477276 CPUtime=0 cores=1,3
/proc/61811/task/61833/stat : 61833 (Finalizer) S 61802 61811 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 61425680 19657359360 126213 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
[pid=61811/tid=61840] ppid=61802 vsize=19196640 memory=6836 CPUtime=0 cores=1,3
/proc/61811/task/61840/stat : 61840 (Common-Cleaner) S 61802 61811 61299 0 -1 4194368 204 0 0 0 0 0 0 0 20 0 15 0 61425681 19657359360 126213 18446744073709551615 94081095753728 94081095757424 140722073401536 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94081095765240 94081095766032 94081127231488 140722073405825 140722073405926 140722073405926 140722073411528 0
Current children cumulated CPU time: 473.98 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 504852 KiB
Child status: 30
Real time (s): 469.408
CPU time (s): 473.992
CPU user time (s): 473.491
CPU system time (s): 0.500737
CPU usage (%): 100.977
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 504852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 473.491
system time used= 0.500737
maximum resident set size= 504980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47541
page faults= 0
swaps= 0
block input operations= 0
block output operations= 560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16422
involuntary context switches= 1859
# summary of solver processes directly reported to runsolver:
# pid: 61811
# total CPU time (s): 473.992
# total CPU user time (s): 473.491
# total CPU system time (s): 0.500737
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.51872 second user time and 4.98706 second system time
The end
Begin job on nodeC002 at 2025-07-02 13:57:49 IDJOB=4504810 IDBENCH=155687 IDSOLVER=3363 FILE ID=nodeC002/4504810-1751457469 RUNJOBID= nodeC002-1751453868-61311 SLURM_JOB_ID= 9598443 Free space on /tmp= 432692 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_4_mh_ic.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504810-1751457469/watcher-4504810-1751457469 -o /tmp/evaluation-result-4504810-1751457469/solver-4504810-1751457469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751453868-61311 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4504810-1751457469.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 122e0703ad162af40c09f7923c9e110e RANDOM SEED=2108438993 nodeC002 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.288 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.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.186 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.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.208 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.81 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.227 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.81 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 : 1396.762 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.81 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 : 2793.505 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.81 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 : 1596.306 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.81 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.429 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.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129474068 kB MemAvailable: 129894000 kB Buffers: 2128 kB Cached: 1226616 kB SwapCached: 28 kB Active: 427980 kB Inactive: 923528 kB Active(anon): 134292 kB Inactive(anon): 6404 kB Active(file): 293688 kB Inactive(file): 917124 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 30132 kB Writeback: 104 kB AnonPages: 125904 kB Mapped: 122616 kB Shmem: 17932 kB KReclaimable: 97496 kB Slab: 182140 kB SReclaimable: 97496 kB SUnreclaim: 84644 kB KernelStack: 4256 kB PageTables: 3500 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 2566132 kB VmallocTotal: 34359738367 kB VmallocUsed: 149624 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 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: 181064 kB DirectMap2M: 8110080 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432716 MiB End job on nodeC002 at 2025-07-02 14:05:38