Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | OPT | 2218686 | 510.783 | 516.533 |
| 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.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB25.v20250606 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.14 c Pseudo Boolean Optimization by upper bound 0.12/0.14 c --- Begin Solver configuration --- 0.12/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.14 c Learn all clauses as in MiniSAT 0.12/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.14 c Expensive reason simplification 0.12/0.14 c Glucose 2.1 dynamic restart strategy 0.12/0.14 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.12/0.14 c timeout=2147483s 0.12/0.14 c DB Simplification allowed=false 0.12/0.14 c Listener: none 0.12/0.14 c --- End Solver configuration --- 0.12/0.14 c solving HOME/instance-4504811-1751459430.opb 0.12/0.14 c reading problem ... 0.12/0.14 c using VERIPB proof format 0.12/0.14 c objective function found 0.51/0.39 c ... done. Wall clock time 0.246s. 0.51/0.39 c declared #vars 9765 0.51/0.39 c #constraints 21931 0.51/0.39 c constraints type 0.51/0.39 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 0.51/0.39 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 0.51/0.39 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.51/0.39 c org.sat4j.specs.Constr$1 => 4 0.51/0.39 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 0.51/0.39 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 0.51/0.39 c 21931 constraints processed. 0.51/0.40 c objective function length is 4005 literals 1.27/0.70 c SATISFIABLE 1.27/0.70 c OPTIMIZING... 1.27/0.70 c Got one! Elapsed wall clock time (in seconds):0.567 1.27/0.70 o 2842041 4.05/2.11 c cleaning 2613 clauses out of 5228 with flag 24633/5228 5.85/3.49 c cleaning 4308 clauses out of 8616 with flag 58544/11229 7.53/4.99 c cleaning 5648 clauses out of 11309 with flag 121126/18230 9.66/6.75 c cleaning 6828 clauses out of 13659 with flag 211351/26228 12.24/8.84 c cleaning 7909 clauses out of 15830 with flag 301969/35227 14.51/11.03 c cleaning 8958 clauses out of 17923 with flag 373474/45229 16.91/13.43 c cleaning 9972 clauses out of 19961 with flag 451770/56227 19.78/16.16 c cleaning 10990 clauses out of 21984 with flag 529359/68227 22.62/18.97 c cleaning 11994 clauses out of 23992 with flag 614374/81227 25.73/22.03 c cleaning 12991 clauses out of 25999 with flag 707126/95228 28.91/25.20 c cleaning 13995 clauses out of 28005 with flag 821380/110227 32.52/28.86 c cleaning 14991 clauses out of 30010 with flag 938036/126227 33.94/30.26 c Got one! Elapsed wall clock time (in seconds):30.121 33.94/30.26 o 2816833 34.06/30.32 c Got one! Elapsed wall clock time (in seconds):30.186 34.06/30.32 o 2760342 34.06/30.35 c Got one! Elapsed wall clock time (in seconds):30.208 34.06/30.35 o 2702759 35.23/31.45 c cleaning 13244 clauses out of 26511 with flag 28202/137719 36.51/32.70 c cleaning 9624 clauses out of 19267 with flag 69515/143719 38.11/34.22 c cleaning 8278 clauses out of 16645 with flag 122161/150721 38.92/35.06 c Got one! Elapsed wall clock time (in seconds):34.928 38.92/35.06 o 2698204 39.05/35.11 c Got one! Elapsed wall clock time (in seconds):34.97 39.05/35.11 o 2688284 39.05/35.13 c Got one! Elapsed wall clock time (in seconds):34.998 39.05/35.13 o 2542829 39.30/35.38 c cleaning 6827 clauses out of 13659 with flag 5094/156014 40.60/36.65 c cleaning 6403 clauses out of 12828 with flag 38993/162010 42.19/38.20 c cleaning 6704 clauses out of 13425 with flag 86661/169010 43.89/39.97 c cleaning 7346 clauses out of 14721 with flag 155123/177010 45.89/41.95 c cleaning 8185 clauses out of 16375 with flag 232383/186010 48.28/44.30 c cleaning 9088 clauses out of 18190 with flag 328502/196010 50.78/46.89 c cleaning 10050 clauses out of 20102 with flag 404864/207010 51.87/47.95 c Got one! Elapsed wall clock time (in seconds):47.811 51.87/47.95 o 2518303 52.27/48.21 c cleaning 7858 clauses out of 15723 with flag 4367/212681 53.57/49.56 c cleaning 6918 clauses out of 13865 with flag 39748/218681 54.96/51.00 c Got one! Elapsed wall clock time (in seconds):50.863 54.96/51.00 o 2517204 55.18/51.16 c Got one! Elapsed wall clock time (in seconds):51.021 55.18/51.16 o 2495948 56.39/52.39 c cleaning 9735 clauses out of 19469 with flag 23570/231203 57.88/53.81 c cleaning 7859 clauses out of 15735 with flag 50451/237204 59.49/55.45 c cleaning 7430 clauses out of 14878 with flag 84862/244206 61.38/57.31 c cleaning 7698 clauses out of 15445 with flag 126315/252203 63.38/59.36 c cleaning 8366 clauses out of 16747 with flag 176076/261203 64.19/60.17 c Got one! Elapsed wall clock time (in seconds):60.037 64.19/60.17 o 2479521 64.77/60.63 c cleaning 6953 clauses out of 13915 with flag 10632/266737 66.17/62.03 c cleaning 6473 clauses out of 12962 with flag 50709/272737 67.72/63.60 c cleaning 6739 clauses out of 13491 with flag 90012/279739 69.32/65.22 c cleaning 7367 clauses out of 14751 with flag 127065/287738 71.11/67.09 c cleaning 8184 clauses out of 16383 with flag 175433/296737 73.30/69.23 c cleaning 9090 clauses out of 18199 with flag 231588/306737 75.60/71.54 c cleaning 10037 clauses out of 20109 with flag 294253/317737 77.30/73.29 c Got one! Elapsed wall clock time (in seconds):73.148 77.30/73.29 o 2475710 78.49/74.37 c cleaning 11636 clauses out of 23278 with flag 25993/330946 79.89/75.73 c cleaning 8796 clauses out of 17642 with flag 57190/336946 81.39/77.26 c cleaning 7921 clauses out of 15846 with flag 100079/343946 83.08/78.99 c cleaning 7946 clauses out of 15925 with flag 141287/351946 84.99/80.88 c cleaning 8482 clauses out of 16980 with flag 185773/360947 87.19/83.00 c cleaning 9239 clauses out of 18497 with flag 237397/370946 89.48/85.35 c cleaning 10125 clauses out of 20259 with flag 300418/381947 89.78/85.60 c Got one! Elapsed wall clock time (in seconds):85.462 89.78/85.60 o 2469760 90.59/86.48 c Got one! Elapsed wall clock time (in seconds):86.342 90.59/86.48 o 2449268 90.93/86.71 c cleaning 8035 clauses out of 16088 with flag 4993/387901 91.02/86.87 c Got one! Elapsed wall clock time (in seconds):86.73 91.02/86.87 o 2415835 91.23/87.08 c Got one! Elapsed wall clock time (in seconds):86.943 91.23/87.08 o 2372046 92.13/87.99 c cleaning 7003 clauses out of 14076 with flag 23188/393924 93.52/89.31 c cleaning 6501 clauses out of 13073 with flag 56325/399924 95.02/90.85 c cleaning 6778 clauses out of 13572 with flag 95406/406924 96.61/92.48 c cleaning 7394 clauses out of 14796 with flag 134731/414926 98.52/94.30 c cleaning 8188 clauses out of 16400 with flag 187213/423924 100.32/96.12 c cleaning 9105 clauses out of 18212 with flag 252446/433924 102.41/98.26 c cleaning 10054 clauses out of 20108 with flag 323229/444925 104.81/100.68 c cleaning 11022 clauses out of 22053 with flag 379963/456924 107.50/103.37 c cleaning 12011 clauses out of 24031 with flag 456528/469924 110.41/106.21 c cleaning 13005 clauses out of 26020 with flag 530349/483924 113.51/109.33 c cleaning 13995 clauses out of 28015 with flag 621959/498924 116.90/112.75 c cleaning 14997 clauses out of 30020 with flag 721729/514925 120.49/116.34 c cleaning 15994 clauses out of 32023 with flag 820686/531925 124.38/120.20 c cleaning 17010 clauses out of 34027 with flag 916614/549925 126.68/122.53 c Got one! Elapsed wall clock time (in seconds):122.394 126.68/122.53 o 2370680 127.84/123.76 c cleaning 16377 clauses out of 32768 with flag 29037/565676 129.03/124.98 c cleaning 11178 clauses out of 22388 with flag 64979/571673 130.63/126.50 c cleaning 9073 clauses out of 18211 with flag 111563/578674 132.33/128.24 c cleaning 8554 clauses out of 17138 with flag 162346/586674 134.23/130.13 c cleaning 8773 clauses out of 17583 with flag 211217/595673 136.34/132.29 c cleaning 9405 clauses out of 18810 with flag 264634/605673 138.63/134.58 c cleaning 10201 clauses out of 20407 with flag 321989/616675 141.12/137.09 c cleaning 11074 clauses out of 22204 with flag 384157/628673 143.91/139.80 c cleaning 12056 clauses out of 24130 with flag 448849/641673 147.01/142.96 c cleaning 13035 clauses out of 26074 with flag 538725/655673 150.30/146.27 c cleaning 14015 clauses out of 28039 with flag 623793/670673 153.89/149.81 c cleaning 15008 clauses out of 30024 with flag 713402/686673 157.68/153.68 c cleaning 16003 clauses out of 32017 with flag 812597/703674 158.83/154.87 c Got one! Elapsed wall clock time (in seconds):154.735 158.83/154.87 o 2349827 159.14/155.10 c cleaning 10941 clauses out of 21913 with flag 5185/709573 160.32/156.35 c cleaning 8460 clauses out of 16973 with flag 37175/715574 161.84/157.82 c cleaning 7730 clauses out of 15512 with flag 70592/722573 163.53/159.57 c cleaning 7878 clauses out of 15785 with flag 111311/730576 165.43/161.47 c cleaning 8439 clauses out of 16904 with flag 164594/739573 167.62/163.65 c cleaning 9231 clauses out of 18465 with flag 228227/749573 169.92/165.95 c cleaning 10109 clauses out of 20237 with flag 293732/760576 172.51/168.59 c cleaning 11055 clauses out of 22127 with flag 370288/772575 175.41/171.46 c cleaning 12031 clauses out of 24072 with flag 449829/785575 178.50/174.50 c cleaning 13004 clauses out of 26039 with flag 534182/799573 181.70/177.75 c cleaning 14017 clauses out of 28035 with flag 622189/814573 185.29/181.32 c cleaning 15001 clauses out of 30018 with flag 711367/830573 189.07/185.18 c cleaning 15976 clauses out of 32017 with flag 799061/847573 189.07/185.19 c Got one! Elapsed wall clock time (in seconds):185.049 189.07/185.19 o 2337699 190.25/186.34 c cleaning 10519 clauses out of 21054 with flag 29543/852586 191.54/187.68 c cleaning 8249 clauses out of 16535 with flag 61167/858586 193.14/189.22 c cleaning 7626 clauses out of 15285 with flag 97588/865585 194.83/190.97 c cleaning 7812 clauses out of 15659 with flag 137586/873585 196.73/192.89 c cleaning 8420 clauses out of 16847 with flag 182474/882585 198.93/195.05 c cleaning 9212 clauses out of 18427 with flag 240508/892585 201.32/197.41 c cleaning 10104 clauses out of 20216 with flag 301472/903586 203.71/199.83 c cleaning 11042 clauses out of 22111 with flag 363681/915585 206.61/202.70 c cleaning 12027 clauses out of 24069 with flag 425574/928586 209.81/205.92 c cleaning 13019 clauses out of 26042 with flag 479181/942586 212.90/209.05 c cleaning 14004 clauses out of 28022 with flag 547129/957585 216.59/212.70 c cleaning 15001 clauses out of 30022 with flag 624762/973589 220.19/216.41 c cleaning 15999 clauses out of 32017 with flag 705622/990585 224.07/220.36 c cleaning 16999 clauses out of 34018 with flag 790256/1008585 228.07/224.37 c cleaning 17995 clauses out of 36020 with flag 886090/1027586 232.56/228.80 c cleaning 18993 clauses out of 38024 with flag 990502/1047585 237.05/233.32 c cleaning 20006 clauses out of 40031 with flag 1091223/1068585 241.95/238.29 c cleaning 21013 clauses out of 42025 with flag 1206159/1090585 243.85/240.11 c Got one! Elapsed wall clock time (in seconds):239.97 243.85/240.11 o 2334481 244.95/241.29 c cleaning 17233 clauses out of 34485 with flag 23048/1104058 246.24/242.58 c cleaning 11614 clauses out of 23252 with flag 53024/1110058 247.84/244.15 c cleaning 9303 clauses out of 18638 with flag 93527/1117058 249.13/245.48 c Got one! Elapsed wall clock time (in seconds):245.342 249.13/245.48 o 2325039 249.23/245.59 c Got one! Elapsed wall clock time (in seconds):245.448 249.23/245.59 o 2321685 250.34/246.97 c cleaning 10459 clauses out of 20928 with flag 23649/1128651 251.63/248.27 c cleaning 8228 clauses out of 16466 with flag 53772/1134648 253.13/249.76 c cleaning 7605 clauses out of 15239 with flag 82073/1141649 255.02/251.65 c cleaning 7804 clauses out of 15633 with flag 119915/1149648 257.02/253.61 c cleaning 8403 clauses out of 16829 with flag 157235/1158648 259.22/255.81 c cleaning 9206 clauses out of 18427 with flag 202903/1168649 261.72/258.30 c cleaning 10107 clauses out of 20220 with flag 262132/1179648 264.42/261.02 c cleaning 11051 clauses out of 22115 with flag 313115/1191650 267.21/263.85 c cleaning 11998 clauses out of 24061 with flag 362077/1204648 270.20/266.87 c cleaning 13026 clauses out of 26063 with flag 417581/1218648 273.40/270.08 c cleaning 14005 clauses out of 28038 with flag 489352/1233649 276.59/273.29 c cleaning 15016 clauses out of 30033 with flag 570699/1249649 280.28/276.95 c cleaning 16003 clauses out of 32017 with flag 663754/1266649 284.14/280.88 c cleaning 17003 clauses out of 34016 with flag 748828/1284651 288.54/285.23 c cleaning 17996 clauses out of 36011 with flag 846360/1303649 293.23/289.93 c cleaning 18987 clauses out of 38014 with flag 942560/1323648 298.33/295.10 c cleaning 20012 clauses out of 40027 with flag 1048656/1344648 302.81/299.56 c Got one! Elapsed wall clock time (in seconds):299.423 302.81/299.56 o 2317994 303.91/300.69 c cleaning 21537 clauses out of 43087 with flag 19166/1367720 305.31/302.08 c cleaning 13751 clauses out of 27550 with flag 49929/1373720 306.81/303.59 c cleaning 10387 clauses out of 20798 with flag 78403/1380719 308.52/305.22 c cleaning 9179 clauses out of 18411 with flag 110639/1388719 310.41/307.13 c cleaning 9092 clauses out of 18234 with flag 147043/1397721 312.67/309.54 c cleaning 9556 clauses out of 19140 with flag 190461/1407719 315.26/312.12 c cleaning 10279 clauses out of 20584 with flag 237712/1418719 317.85/314.75 c cleaning 11138 clauses out of 22305 with flag 294193/1430719 320.74/317.69 c cleaning 12074 clauses out of 24167 with flag 353360/1443719 323.84/320.72 c cleaning 13036 clauses out of 26095 with flag 413310/1457721 324.64/321.53 c Got one! Elapsed wall clock time (in seconds):321.393 324.64/321.53 o 2298266 325.03/321.97 c cleaning 9320 clauses out of 18655 with flag 8306/1463317 326.43/323.32 c cleaning 7637 clauses out of 15334 with flag 36739/1469316 328.03/324.97 c cleaning 7320 clauses out of 14697 with flag 67090/1476316 329.93/326.81 c cleaning 7682 clauses out of 15378 with flag 97747/1484317 331.82/328.77 c cleaning 8330 clauses out of 16695 with flag 133298/1493316 334.12/331.00 c cleaning 9180 clauses out of 18368 with flag 170240/1503319 336.42/333.32 c cleaning 10089 clauses out of 20186 with flag 219778/1514317 339.01/335.91 c cleaning 11043 clauses out of 22096 with flag 275513/1526317 341.78/338.77 c cleaning 12019 clauses out of 24052 with flag 329796/1539316 345.05/342.07 c cleaning 13001 clauses out of 26033 with flag 395407/1553316 348.94/345.90 c cleaning 14014 clauses out of 28032 with flag 459571/1568316 352.74/349.77 c cleaning 15005 clauses out of 30019 with flag 535676/1584317 357.12/354.14 c cleaning 15999 clauses out of 32016 with flag 617725/1601319 361.41/358.49 c cleaning 16990 clauses out of 34015 with flag 695542/1619317 366.20/363.21 c cleaning 18012 clauses out of 36025 with flag 777884/1638317 371.41/368.43 c cleaning 18999 clauses out of 38013 with flag 872236/1658317 376.71/373.81 c cleaning 20000 clauses out of 40012 with flag 965203/1679316 378.10/375.25 c Got one! Elapsed wall clock time (in seconds):375.11 378.10/375.25 o 2297338 379.41/376.55 c cleaning 15986 clauses out of 31991 with flag 21334/1691295 380.12/377.21 c Got one! Elapsed wall clock time (in seconds):377.069 380.12/377.21 o 2266950 380.34/377.46 c Got one! Elapsed wall clock time (in seconds):377.327 380.34/377.46 o 2254714 380.86/377.97 c cleaning 10891 clauses out of 21813 with flag 9597/1697103 382.46/379.58 c cleaning 8431 clauses out of 16922 with flag 38625/1703103 384.27/381.36 c cleaning 7719 clauses out of 15491 with flag 66956/1710103 386.26/383.35 c cleaning 7877 clauses out of 15775 with flag 100892/1718106 388.46/385.53 c cleaning 8441 clauses out of 16895 with flag 135936/1727103 391.06/388.18 c cleaning 9224 clauses out of 18456 with flag 178557/1737105 393.85/390.91 c Got one! Elapsed wall clock time (in seconds):390.778 393.85/390.91 o 2245318 395.08/392.18 c cleaning 12364 clauses out of 24727 with flag 21317/1752600 396.79/393.85 c cleaning 9172 clauses out of 18364 with flag 50115/1758601 398.68/395.72 c cleaning 8079 clauses out of 16192 with flag 80373/1765601 400.48/397.51 c cleaning 8050 clauses out of 16112 with flag 109993/1773600 402.37/399.46 c cleaning 8523 clauses out of 17063 with flag 142843/1782601 404.77/406.23 c cleaning 9265 clauses out of 18539 with flag 178802/1792600 407.36/408.83 c cleaning 10130 clauses out of 20274 with flag 220413/1803600 410.16/411.60 c cleaning 11069 clauses out of 22144 with flag 260446/1815600 413.47/414.96 c cleaning 12032 clauses out of 24075 with flag 310741/1828600 416.86/418.39 c cleaning 13015 clauses out of 26043 with flag 369122/1842600 420.84/422.32 c cleaning 14001 clauses out of 28029 with flag 440371/1857601 424.64/426.16 c cleaning 15011 clauses out of 30031 with flag 509035/1873604 428.95/430.48 c cleaning 16000 clauses out of 32016 with flag 584508/1890600 433.64/435.11 c cleaning 17003 clauses out of 34018 with flag 672625/1908602 439.09/440.68 c cleaning 18004 clauses out of 36013 with flag 779825/1927600 444.88/446.43 c Got one! Elapsed wall clock time (in seconds):446.289 444.88/446.43 o 2239348 446.38/447.91 c cleaning 20395 clauses out of 40810 with flag 21430/1950401 448.31/449.82 c cleaning 13195 clauses out of 26418 with flag 48428/1956404 449.80/451.35 c Got one! Elapsed wall clock time (in seconds):451.215 449.80/451.35 o 2239181 449.90/451.42 c Got one! Elapsed wall clock time (in seconds):451.285 449.90/451.42 o 2218686 450.21/451.70 c cleaning 9705 clauses out of 19438 with flag 4637/1962619 451.61/453.16 c cleaning 7849 clauses out of 15732 with flag 27469/1968618 453.20/454.73 c cleaning 7418 clauses out of 14881 with flag 51194/1975617 455.10/456.64 c cleaning 7713 clauses out of 15464 with flag 80463/1983618 457.29/458.86 c cleaning 8366 clauses out of 16750 with flag 113091/1992617 459.92/461.46 c cleaning 9186 clauses out of 18384 with flag 152561/2002617 462.50/464.06 c cleaning 10075 clauses out of 20197 with flag 192442/2013617 465.39/467.07 c cleaning 11054 clauses out of 22120 with flag 235803/2025617 468.17/469.83 c cleaning 12025 clauses out of 24066 with flag 284473/2038617 471.17/472.84 c cleaning 13017 clauses out of 26041 with flag 341019/2052618 474.37/476.05 c cleaning 14011 clauses out of 28026 with flag 400880/2067620 477.75/479.46 c cleaning 14997 clauses out of 30012 with flag 468396/2083617 481.15/482.84 c cleaning 16007 clauses out of 32013 with flag 531803/2100617 485.07/486.78 c cleaning 17004 clauses out of 34008 with flag 609895/2118619 489.16/490.80 c cleaning 17987 clauses out of 36001 with flag 696858/2137617 493.15/494.82 c cleaning 19003 clauses out of 38014 with flag 780029/2157617 497.49/499.23 c cleaning 20002 clauses out of 40011 with flag 870813/2178617 501.77/503.57 c cleaning 21002 clauses out of 42008 with flag 974470/2200617 506.37/508.12 c cleaning 22000 clauses out of 44004 with flag 1077700/2223617 510.56/512.37 c cleaning 22998 clauses out of 46002 with flag 1171795/2247617 510.73/516.49 c starts : 1076 510.75/516.50 c conflicts : 2247989 510.75/516.50 c decisions : 5964426 510.75/516.50 c propagations : 774064930 510.75/516.50 c inspects : 2935997086 510.75/516.50 c shortcuts : 0 510.75/516.50 c learnt literals : 40 510.75/516.50 c learnt binary clauses : 157 510.75/516.50 c learnt ternary clauses : 406 510.75/516.50 c learnt constraints : 2247948 510.75/516.50 c ignored constraints : 0 510.75/516.50 c root simplifications : 0 510.75/516.50 c removed literals (reason simplification) : 47655624 510.75/516.50 c reason swapping (by a shorter reason) : 0 510.75/516.50 c Calls to reduceDB : 193 510.75/516.50 c Number of update (reduction) of LBD : 891713 510.75/516.50 c Imported unit clauses : 0 510.75/516.50 c No decision after first conflict : false 510.75/516.50 c number of reductions to clauses (during analyze) : 0 510.75/516.50 c number of learned constraints concerned by reduction : 0 510.75/516.50 c number of learning phase by resolution : 0 510.75/516.50 c number of learning phase by cutting planes : 0 510.75/516.50 c number of rounding to 1 operations : 0 510.75/516.50 c number of easy rounding to 1 operations (no literal elimination needed) : 0 510.75/516.50 c number of reductions of the coefficients by power 2 : 0 510.75/516.50 c number of right shift for reduction by power 2 : 0 510.75/516.50 c number of reductions of the coefficients by GCD over coefficients : 0 510.75/516.50 c number of ending skipping : 0 510.75/516.50 c number of internal skipping : 0 510.75/516.50 c number of derivation steps : 0 510.75/516.50 c number of skipped derivation steps : 0 510.75/516.50 c number of remaining unassigned : 0 510.75/516.50 c number of remaining assigned : 0 510.75/516.50 c number of falsified literals weakened from reason : 0 510.75/516.50 c number of falsified literals weakened from conflict : 0 510.75/516.50 c time for arithmetic operations : 0 510.75/516.50 c minimum degree of deleted constraints : null 510.75/516.50 c maximum degree of deleted constraints : null 510.75/516.50 c number of deleted constraints : 0 510.75/516.50 c speed (assignments/second) : 1499913.6362491352 510.75/516.50 c non guided choices : 6657 510.75/516.50 s OPTIMUM FOUND 510.75/516.50 c Found 31 solution(s) 510.75/516.51 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 510.75/516.51 c objective function=2218686 510.75/516.51 c Total wall clock time (in seconds): 516.372
OK 2218686
Wed Jul 16 04:26:54 CEST 2025 extraparms= -- time out --
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: 63665 MiB (56874 MiB free)
memory of node 1: 64507 MiB (40997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504811-1751459430/watcher-4504811-1751459430 -o /tmp/evaluation-result-4504811-1751459430/solver-4504811-1751459430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751452127-65406 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4504811-1751459430 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4504811-1751459430.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=66515, runsolver pid=66512
[startup+0.100061 s]*
/proc/loadavg: 4.45 4.20 4.12 8/340 66533
/proc/meminfo: memFree=100205408/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=18930384 memory=55644 CPUtime=0.12 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 6552 0 0 0 10 2 0 0 20 0 18 0 61621841 19384713216 13911 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4732596 13911 5340 1 0 547603 0
[pid=66515/tid=66517] ppid=66512 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 5061 0 0 0 6 1 0 0 20 0 18 0 61621843 19384713216 13911 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61621845 19384713216 13911 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=18930384 memory=55186957820777 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61621845 19384713216 13911 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55644 KiB
[startup+0.205775 s]*
/proc/loadavg: 4.45 4.20 4.12 8/340 66533
/proc/meminfo: memFree=100172768/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=18930384 memory=68012 CPUtime=0.32 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 7013 0 0 0 29 3 0 0 20 0 18 0 61621841 19384713216 17003 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4732596 17003 5436 1 0 547910 0
[pid=66515/tid=66517] ppid=66512 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 5297 0 0 0 14 1 0 0 20 0 18 0 61621843 19384713216 17003 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=18930384 memory=2697 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61621845 19384713216 17003 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=18930384 memory=54087446168546 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61621845 19384713216 17003 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68012 KiB
[startup+0.305701 s]*
/proc/loadavg: 4.45 4.20 4.12 8/340 66533
/proc/meminfo: memFree=100150524/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=18930384 memory=91636 CPUtime=0.51 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 8894 0 0 0 47 4 0 0 20 0 18 0 61621841 19384713216 22909 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4732596 22909 5436 1 0 549124 0
[pid=66515/tid=66517] ppid=66512 vsize=18930384 memory=-6000919498543425129 CPUtime=0.22 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 5330 0 0 0 20 2 0 0 20 0 18 0 61621843 19384713216 22909 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61621845 19384713216 22909 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61621845 19384713216 22909 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 91636 KiB
[startup+0.700294 s]
/proc/loadavg: 4.45 4.20 4.12 7/341 66534
/proc/meminfo: memFree=100076724/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=18996948 memory=162032 CPUtime=1.27 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 17922 0 0 0 120 7 0 0 20 0 19 0 61621841 19452874752 40508 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4749237 40508 5468 1 0 555293 0
[pid=66515/tid=66517] ppid=66512 vsize=18996948 memory=18560 CPUtime=0.53 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 5480 0 0 0 50 3 0 0 20 0 19 0 61621843 19452874752 40508 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 61621845 19452874752 40508 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 61621845 19452874752 40508 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 61621884 19452874752 40508 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 162032 KiB
[startup+1.50025 s]
/proc/loadavg: 4.45 4.20 4.12 7/342 66535
/proc/meminfo: memFree=99831060/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=186716 CPUtime=2.86 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 21623 0 0 0 277 9 0 0 20 0 20 0 61621841 19521036288 46679 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 46679 5532 1 0 555612 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=0 CPUtime=1.28 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 5635 0 0 0 124 4 0 0 20 0 20 0 61621843 19521036288 46679 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 46679 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 46679 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61621884 19521036288 46679 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 186716 KiB
[startup+3.10557 s]
/proc/loadavg: 4.45 4.20 4.12 5/343 66536
/proc/meminfo: memFree=99821200/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=192468 CPUtime=5.56 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 26431 0 0 0 546 10 0 0 20 0 20 0 61621841 19521036288 48117 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 48117 5532 1 0 555660 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=10624 CPUtime=2.85 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 6468 0 0 0 280 5 0 0 20 0 20 0 61621843 19521036288 48117 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=-6000919498543425129 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 48117 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 48117 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61621884 19521036288 48117 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 192468 KiB
[startup+6.30022 s]
/proc/loadavg: 4.41 4.20 4.12 6/343 66536
/proc/meminfo: memFree=99805312/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=227856 CPUtime=9.26 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 28640 0 0 0 913 13 0 0 20 0 20 0 61621841 19521036288 56964 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 56964 5564 1 0 555662 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=0 CPUtime=6.02 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 6571 0 0 0 596 6 0 0 20 0 20 0 61621843 19521036288 56964 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 56964 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 56964 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=19063512 memory=186844 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61621884 19521036288 56964 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 9.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 227856 KiB
[startup+12.7002 s]
/proc/loadavg: 4.38 4.19 4.12 5/343 66536
/proc/meminfo: memFree=99594000/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=422196 CPUtime=16.22 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 34697 0 0 0 1603 19 0 0 20 0 20 0 61621841 19521036288 105549 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 105549 5564 1 0 556181 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=186844 CPUtime=12.39 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 8325 0 0 0 1228 11 0 0 20 0 20 0 61621843 19521036288 105549 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 105549 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19063512 memory=350516 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 105549 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61621884 19521036288 105549 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 16.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 422196 KiB
[startup+25.5003 s]
/proc/loadavg: 4.29 4.18 4.12 5/343 66537
/proc/meminfo: memFree=99345404/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=637344 CPUtime=29.22 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 41653 0 0 0 2893 29 0 0 20 0 20 0 61621841 19521036288 159336 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 159336 5564 1 0 556197 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=-6000919498543425129 CPUtime=25.15 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 9713 0 0 0 2495 20 0 0 20 0 20 0 61621843 19521036288 159336 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 159336 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 159336 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61621884 19521036288 159336 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 29.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 637344 KiB
[startup+51.1057 s]
/proc/loadavg: 4.19 4.17 4.11 5/343 66538
/proc/meminfo: memFree=98662616/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=1157856 CPUtime=55.18 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 48875 0 0 0 5469 49 0 0 20 0 20 0 61621841 19521036288 289464 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 289464 5564 1 0 556214 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=942816 CPUtime=50.63 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 12035 0 0 0 5024 39 0 0 20 0 20 0 61621843 19521036288 289464 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=924384 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 289464 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
################
# More data... #
################
/proc/loadavg: 4.12 4.12 4.09 5/342 66627
/proc/meminfo: memFree=96072552/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=1394132 CPUtime=484.77 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 67872 0 0 0 48346 131 0 0 20 0 20 0 61621841 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 348533 5564 1 0 556278 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=18560 CPUtime=478.84 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 19828 0 0 0 47774 110 0 0 20 0 20 0 61621843 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19063512 memory=1387880 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 261 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61621884 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 484.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1394132 KiB
[startup+499.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/342 66628
/proc/meminfo: memFree=96041676/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=1394132 CPUtime=497.49 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 67900 0 0 0 49616 133 0 0 20 0 20 0 61621841 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 348533 5564 1 0 556278 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=5632 CPUtime=491.55 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 19847 0 0 0 49043 112 0 0 20 0 20 0 61621843 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19063512 memory=1394132 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 261 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=19063512 memory=193 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61621884 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 497.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1394132 KiB
[startup+505.6 s]
/proc/loadavg: 4.16 4.13 4.10 5/342 66628
/proc/meminfo: memFree=96021768/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=1394132 CPUtime=503.87 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 67935 0 0 0 50254 133 0 0 20 0 20 0 61621841 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 348533 5564 1 0 556278 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=1394132 CPUtime=497.93 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 19875 0 0 0 49681 112 0 0 20 0 20 0 61621843 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=1394132 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 261 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61621884 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 503.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1394132 KiB
[startup+512 s]*
/proc/loadavg: 4.15 4.13 4.10 5/342 66628
/proc/meminfo: memFree=95997880/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=1394132 CPUtime=510.26 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 68062 0 0 0 50892 134 0 0 20 0 20 0 61621841 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 348533 5564 1 0 556278 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=-6000919472656180841 CPUtime=504.33 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) R 66512 66515 65393 0 -1 4194368 19999 0 0 0 50320 113 0 0 20 0 20 0 61621843 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=4283093254822063776 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19063512 memory=30132 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 261 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=19063512 memory=9088 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61621884 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 510.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1394132 KiB
[startup+513.6 s]
/proc/loadavg: 4.15 4.13 4.10 3/342 66628
/proc/meminfo: memFree=95987588/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=1394132 CPUtime=510.73 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 69187 0 0 0 50938 135 0 0 20 0 20 0 61621841 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 348533 5564 1 0 556294 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=12416 CPUtime=504.78 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) D 66512 66515 65393 0 -1 4194368 20854 0 0 0 50365 113 0 0 20 0 20 0 61621843 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=1394132 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 261 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=19063512 memory=1394132 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61621884 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 510.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1394132 KiB
[startup+515.2 s]
/proc/loadavg: 4.13 4.12 4.09 3/342 66628
/proc/meminfo: memFree=95988288/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=1394132 CPUtime=510.73 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 69187 0 0 0 50938 135 0 0 20 0 20 0 61621841 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 348533 5564 1 0 556294 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=1394132 CPUtime=504.78 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) D 66512 66515 65393 0 -1 4194368 20854 0 0 0 50365 113 0 0 20 0 20 0 61621843 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 261 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61621884 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 510.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1394132 KiB
[startup+516 s]*
/proc/loadavg: 4.13 4.12 4.09 3/342 66628
/proc/meminfo: memFree=95988036/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=1394132 CPUtime=510.73 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 69190 0 0 0 50938 135 0 0 20 0 20 0 61621841 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 348533 5564 1 0 556294 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=-6000919472656180841 CPUtime=504.78 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) D 66512 66515 65393 0 -1 4194368 20854 0 0 0 50365 113 0 0 20 0 20 0 61621843 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=4283093254822063776 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19063512 memory=30132 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 261 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=19063512 memory=9088 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61621884 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 510.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1394132 KiB
[startup+516.4 s]
/proc/loadavg: 4.13 4.12 4.09 3/342 66628
/proc/meminfo: memFree=95988036/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19063512 memory=1394132 CPUtime=510.73 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 69190 0 0 0 50938 135 0 0 20 0 20 0 61621841 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4765878 348533 5564 1 0 556294 0
[pid=66515/tid=66517] ppid=66512 vsize=19063512 memory=2944 CPUtime=504.78 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) D 66512 66515 65393 0 -1 4194368 20854 0 0 0 50365 113 0 0 20 0 20 0 61621843 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19063512 memory=1394132 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 261 0 0 0 0 0 0 0 20 0 20 0 61621845 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66534] ppid=66512 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/66515/task/66534/stat : 66534 (Timer-0) S 66512 66515 65393 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61621884 19521036288 348533 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 510.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1394132 KiB
[startup+516.501 s]
/proc/loadavg: 4.13 4.12 4.09 3/342 66628
/proc/meminfo: memFree=95988036/131249988 swapFree=33010160/33010684
[pid=66515] ppid=66512 vsize=19196640 memory=1394644 CPUtime=510.75 cores=5,7
/proc/66515/stat : 66515 (java) S 66512 66515 65393 0 -1 4194304 70316 0 0 0 50940 135 0 0 20 0 20 0 61621841 19657359360 348661 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
/proc/66515/statm: 4799160 348661 5564 1 0 556968 0
[pid=66515/tid=66517] ppid=66512 vsize=19196640 memory=10624 CPUtime=504.79 cores=5,7
/proc/66515/task/66517/stat : 66517 (java) S 66512 66515 65393 0 -1 4194368 21575 0 0 0 50366 113 0 0 20 0 20 0 61621843 19657359360 348661 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66526] ppid=66512 vsize=19196640 memory=1394132 CPUtime=0 cores=5,7
/proc/66515/task/66526/stat : 66526 (Finalizer) S 66512 66515 65393 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61621845 19657359360 348661 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
[pid=66515/tid=66533] ppid=66512 vsize=19196640 memory=0 CPUtime=0 cores=5,7
/proc/66515/task/66533/stat : 66533 (Common-Cleaner) S 66512 66515 65393 0 -1 4194368 261 0 0 0 0 0 0 0 20 0 20 0 61621845 19657359360 348661 18446744073709551615 94019936215040 94019936218736 140726871615680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94019936226552 94019936227344 94019949031424 140726871619888 140726871620070 140726871620070 140726871625672 0
Current children cumulated CPU time: 510.75 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1394644 KiB
Child status: 30
Real time (s): 516.533
CPU time (s): 510.783
CPU user time (s): 509.42
CPU system time (s): 1.36337
CPU usage (%): 98.8868
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1394644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 509.42
system time used= 1.36337
maximum resident set size= 1394772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1605216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19727
involuntary context switches= 3357
# summary of solver processes directly reported to runsolver:
# pid: 66515
# total CPU time (s): 510.783
# total CPU user time (s): 509.42
# total CPU system time (s): 1.36337
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0319 second user time and 2.50691 second system time
The end
Begin job on nodeC034 at 2025-07-02 14:30:30 IDJOB=4504811 IDBENCH=155687 IDSOLVER=3364 FILE ID=nodeC034/4504811-1751459430 RUNJOBID= nodeC034-1751452127-65406 SLURM_JOB_ID= 9598436 Free space on /tmp= 431096 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_4_mh_ic.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504811-1751459430/watcher-4504811-1751459430 -o /tmp/evaluation-result-4504811-1751459430/solver-4504811-1751459430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751452127-65406 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4504811-1751459430 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4504811-1751459430.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 122e0703ad162af40c09f7923c9e110e RANDOM SEED=1392458009 nodeC034 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 : 0xb00002a cpu MHz : 3598.979 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.770 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.567 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.733 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.733 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.759 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.747 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3627.840 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 100232748 kB MemAvailable: 123948736 kB Buffers: 2128 kB Cached: 24455628 kB SwapCached: 36 kB Active: 6289748 kB Inactive: 23980940 kB Active(anon): 5826872 kB Inactive(anon): 4208 kB Active(file): 462876 kB Inactive(file): 23976732 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 74116 kB Writeback: 16 kB AnonPages: 5816116 kB Mapped: 124216 kB Shmem: 18068 kB KReclaimable: 230840 kB Slab: 324660 kB SReclaimable: 230840 kB SUnreclaim: 93820 kB KernelStack: 5204 kB PageTables: 14920 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 15569724 kB VmallocTotal: 34359738367 kB VmallocUsed: 151448 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 5599232 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: 189140 kB DirectMap2M: 7970816 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431116 MiB End job on nodeC034 at 2025-07-02 14:39:07