Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | SAT (TO) | 35738266 | 3600.62 | 3585.34 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb |
| MD5SUM | 542a59a1a1b8906e0495f473b09f11e4 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 30102502 |
| Best CPU time to get the best result obtained on this benchmark | 71252.6 |
| 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 | 6402 |
| Total number of constraints | 4465 |
| Number of constraints which are clauses | 2785 |
| Number of constraints which are cardinality constraints (but not clauses) | 1428 |
| Number of constraints which are nor clauses,nor cardinality constraints | 252 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 511 |
| Number of terms in the objective function | 4170 |
| Biggest coefficient in the objective function | 23582998528 |
| Number of bits for the biggest coefficient in the objective function | 35 |
| Sum of the numbers in the objective function | 2904924551250 |
| Number of bits of the sum of numbers in the objective function | 42 |
| Biggest number in a constraint | 1024000000000 |
| Number of bits of the biggest number in a constraint | 40 |
| Biggest sum of numbers in a constraint | 2904924551250 |
| Number of bits of the biggest sum of numbers | 42 |
| 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.10 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.10 c See www.sat4j.org for details. 0.00/0.10 c version CUSTOM.v20240707 0.13/0.12 c java.runtime.name OpenJDK Runtime Environment 0.13/0.12 c java.vm.name OpenJDK 64-Bit Server VM 0.13/0.12 c java.vm.version 22.0.1+8-16 0.13/0.12 c java.vm.vendor Oracle Corporation 0.13/0.12 c sun.arch.data.model 64 0.13/0.12 c java.version 22.0.1 0.13/0.12 c os.name Linux 0.13/0.12 c os.version 4.18.0-301.1.el8.x86_64 0.13/0.12 c os.arch amd64 0.13/0.12 c Free memory 2115194816 0.13/0.12 c Max memory 16282288128 0.13/0.12 c Total memory 2122317824 0.13/0.12 c Number of processors 2 0.13/0.15 --- Begin Solver configuration --- 0.13/0.15 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.15 Learn all clauses as in MiniSAT 0.13/0.15 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.15 No reason simplification 0.13/0.15 Glucose 2.1 dynamic restart strategy 0.13/0.15 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.13/0.15 timeout=2147483s 0.13/0.15 DB Simplification allowed=false 0.13/0.15 Listener: none 0.13/0.15 --- End Solver configuration --- 0.13/0.16 c Pseudo Boolean Optimization by upper bound 0.13/0.16 c --- Begin Solver configuration --- 0.13/0.16 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.16 c Learn all clauses as in MiniSAT 0.13/0.16 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.16 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.16 c No reason simplification 0.13/0.16 c Glucose 2.1 dynamic restart strategy 0.13/0.16 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.13/0.16 c timeout=2147483s 0.13/0.16 c DB Simplification allowed=false 0.13/0.16 c Listener: none 0.13/0.16 c --- End Solver configuration --- 0.13/0.16 c solving HOME/instance-4432174-1721069574.opb 0.13/0.16 c reading problem ... 0.13/0.16 c objective function found 0.72/0.49 c ... done. Wall clock time 0.323s. 0.72/0.49 c declared #vars 6402 0.72/0.49 c #constraints 5929 0.72/0.49 c constraints type 0.72/0.49 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 91 0.72/0.49 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 167 0.72/0.49 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 240 0.72/0.49 c org.sat4j.specs.Constr$1 => 2581 0.72/0.49 c org.sat4j.pb.constraints.pb.UnitClausePB => 1279 0.72/0.49 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1571 0.72/0.49 c 5929 constraints processed. 0.88/0.53 c objective function length is 4170 literals 2.21/1.22 c cleaning 2500 clauses out of 5002 with flag 13537/5002 3.15/1.72 c cleaning 4245 clauses out of 8506 with flag 30887/11006 3.47/2.01 c cleaning 5630 clauses out of 11259 with flag 46475/18004 4.08/2.31 c cleaning 6816 clauses out of 13631 with flag 64175/26006 4.64/2.61 c cleaning 7915 clauses out of 15830 with flag 83683/35021 4.64/2.63 c SATISFIABLE 4.64/2.63 c OPTIMIZING... 4.64/2.63 c Got one! Elapsed wall clock time (in seconds):2.471 4.64/2.63 o 45941478 5.17/3.00 c cleaning 6638 clauses out of 13278 with flag 16938/40384 5.77/3.62 c cleaning 6315 clauses out of 12637 with flag 40865/46381 6.37/4.28 c cleaning 6654 clauses out of 13324 with flag 65426/53383 7.07/4.91 c cleaning 7328 clauses out of 14668 with flag 93645/61381 7.87/5.71 c cleaning 8164 clauses out of 16341 with flag 124614/70382 8.77/6.67 c cleaning 9083 clauses out of 18181 with flag 162431/80386 9.97/7.88 c cleaning 10042 clauses out of 20093 with flag 203819/91381 11.37/9.24 c cleaning 11022 clauses out of 22052 with flag 248823/103382 12.87/10.77 c cleaning 12011 clauses out of 24031 with flag 303264/116383 14.68/12.49 c cleaning 13007 clauses out of 26026 with flag 359335/130389 17.12/14.70 c cleaning 13996 clauses out of 28011 with flag 427574/145381 18.43/16.03 c cleaning 14994 clauses out of 30015 with flag 490358/161381 19.73/17.37 c cleaning 15996 clauses out of 32021 with flag 553976/178381 21.38/19.00 c cleaning 17007 clauses out of 34026 with flag 632619/196382 22.78/20.37 c cleaning 18005 clauses out of 36019 with flag 708040/215382 26.72/24.27 c cleaning 19000 clauses out of 38016 with flag 793030/235384 30.02/27.48 c cleaning 20003 clauses out of 40013 with flag 879710/256381 35.13/32.43 c cleaning 21001 clauses out of 42012 with flag 975061/278383 36.67/33.90 c cleaning 21999 clauses out of 44012 with flag 1034031/301384 37.95/35.16 c cleaning 23003 clauses out of 46010 with flag 1088143/325381 38.24/35.48 c Got one! Elapsed wall clock time (in seconds):35.319 38.24/35.48 o 45938704 38.75/35.97 c cleaning 18435 clauses out of 36903 with flag 15892/339277 39.05/36.25 c cleaning 12217 clauses out of 24466 with flag 32353/345275 39.63/36.59 c cleaning 9603 clauses out of 19249 with flag 49633/352275 40.41/37.03 c cleaning 8813 clauses out of 17646 with flag 68971/360275 41.04/37.69 c cleaning 8889 clauses out of 17833 with flag 98382/369275 41.64/38.25 c cleaning 9450 clauses out of 18945 with flag 127257/379276 42.14/38.78 c cleaning 10224 clauses out of 20494 with flag 163921/390275 42.97/39.51 c cleaning 11125 clauses out of 22271 with flag 202517/402276 43.66/40.27 c cleaning 12059 clauses out of 24145 with flag 244103/415275 44.47/41.11 c cleaning 13029 clauses out of 26088 with flag 290383/429277 45.47/42.04 c cleaning 14018 clauses out of 28060 with flag 341316/444278 46.52/43.08 c cleaning 15007 clauses out of 30040 with flag 390041/460276 47.52/44.02 c cleaning 16003 clauses out of 32033 with flag 441949/477276 48.80/45.32 c cleaning 17002 clauses out of 34030 with flag 511725/495276 50.30/46.85 c cleaning 17999 clauses out of 36028 with flag 599940/514276 52.02/48.56 c cleaning 19007 clauses out of 38029 with flag 707223/534276 53.62/50.17 c cleaning 19988 clauses out of 40021 with flag 810746/555275 55.41/51.96 c cleaning 21002 clauses out of 42034 with flag 916201/577276 57.00/53.51 c cleaning 21999 clauses out of 44031 with flag 1019058/600275 58.52/55.06 c cleaning 23002 clauses out of 46034 with flag 1106142/624277 60.20/56.71 c cleaning 24000 clauses out of 48030 with flag 1185056/649275 62.92/59.30 c cleaning 25008 clauses out of 50033 with flag 1275268/675278 65.41/61.83 c cleaning 26003 clauses out of 52022 with flag 1366870/702275 68.15/64.49 c cleaning 27006 clauses out of 54019 with flag 1440894/730275 70.64/66.90 c Got one! Elapsed wall clock time (in seconds):66.739 70.64/66.90 o 45797774 70.64/66.99 c Got one! Elapsed wall clock time (in seconds):66.833 70.64/66.99 o 37988380 71.55/67.63 c cleaning 28542 clauses out of 57085 with flag 15711/760347 72.45/68.51 c cleaning 17268 clauses out of 34543 with flag 39711/766347 73.06/69.18 c cleaning 12131 clauses out of 24275 with flag 63647/773347 73.65/69.71 c cleaning 10060 clauses out of 20144 with flag 92708/781347 74.24/70.34 c cleaning 9528 clauses out of 19084 with flag 122682/790347 74.74/70.90 c cleaning 9757 clauses out of 19556 with flag 156167/800347 75.44/71.52 c cleaning 10387 clauses out of 20799 with flag 197469/811347 76.16/72.23 c cleaning 11186 clauses out of 22412 with flag 236149/823347 76.86/72.98 c cleaning 12100 clauses out of 24228 with flag 275603/836349 77.65/73.73 c cleaning 13053 clauses out of 26127 with flag 316116/850348 78.35/74.43 c cleaning 14028 clauses out of 28074 with flag 348309/865348 79.85/75.99 c cleaning 15019 clauses out of 30047 with flag 404134/881349 81.75/77.88 c cleaning 16000 clauses out of 32027 with flag 475120/898348 83.96/80.05 c cleaning 17002 clauses out of 34026 with flag 551249/916347 85.48/81.55 c cleaning 17993 clauses out of 36024 with flag 598059/935347 86.77/82.82 c cleaning 19000 clauses out of 38031 with flag 654806/955347 88.27/84.33 c cleaning 20004 clauses out of 40031 with flag 711395/976347 89.87/86.00 c cleaning 20998 clauses out of 42027 with flag 771416/998347 91.76/87.86 c cleaning 21999 clauses out of 44029 with flag 833758/1021347 93.56/89.64 c cleaning 23003 clauses out of 46033 with flag 897850/1045350 95.78/91.81 c cleaning 23999 clauses out of 48028 with flag 966519/1070348 97.87/93.98 c cleaning 25000 clauses out of 50028 with flag 1037602/1096347 100.57/96.62 c cleaning 25997 clauses out of 52028 with flag 1113103/1123347 102.26/98.30 c cleaning 26998 clauses out of 54032 with flag 1200237/1151348 103.87/99.99 c cleaning 27993 clauses out of 56033 with flag 1293696/1180347 105.76/101.86 c cleaning 28999 clauses out of 58042 with flag 1393634/1210349 107.76/103.82 c cleaning 30007 clauses out of 60041 with flag 1497547/1241347 109.75/105.88 c cleaning 30988 clauses out of 62034 with flag 1607540/1273347 111.85/108.00 c cleaning 32003 clauses out of 64048 with flag 1720027/1306349 114.15/110.20 c cleaning 33002 clauses out of 66043 with flag 1833356/1340347 116.45/112.56 c cleaning 34000 clauses out of 68043 with flag 1943848/1375349 119.17/115.24 c cleaning 34998 clauses out of 70043 with flag 2072649/1411349 121.47/117.55 c cleaning 36004 clauses out of 72043 with flag 2197478/1448347 123.98/120.10 c cleaning 37002 clauses out of 74039 with flag 2326298/1486347 126.66/122.72 c cleaning 37997 clauses out of 76038 with flag 2462247/1525348 129.56/125.67 c cleaning 38990 clauses out of 78043 with flag 2597573/1565350 132.15/128.28 c cleaning 40000 clauses out of 80050 with flag 2745555/1606347 135.14/131.26 c cleaning 40997 clauses out of 82050 with flag 2892680/1648347 137.63/133.76 c cleaning 42008 clauses out of 84056 with flag 3033079/1691350 140.83/136.96 c cleaning 43001 clauses out of 86047 with flag 3195433/1735349 144.22/140.36 c cleaning 44000 clauses out of 88045 with flag 3344952/1780348 146.81/142.81 c Got one! Elapsed wall clock time (in seconds):142.646 146.81/142.81 o 37689572 147.54/143.42 c cleaning 35833 clauses out of 71699 with flag 13774/1808002 148.31/144.03 c cleaning 20909 clauses out of 41866 with flag 30690/1814002 148.99/144.71 c cleaning 13966 clauses out of 27959 with flag 50577/1821004 149.19/144.95 c Got one! Elapsed wall clock time (in seconds):144.79 149.19/144.95 o 37370398 149.30/145.06 c cleaning 9779 clauses out of 19575 with flag 6104/1826586 149.49/145.24 c cleaning 7890 clauses out of 15795 with flag 18183/1832585 149.69/145.43 c cleaning 7439 clauses out of 14906 with flag 32189/1839586 149.89/145.67 c cleaning 7726 clauses out of 15467 with flag 48189/1847586 150.19/145.94 c cleaning 8365 clauses out of 16740 with flag 66187/1856585 150.49/146.27 c cleaning 9182 clauses out of 18380 with flag 87511/1866590 150.90/146.64 c cleaning 10091 clauses out of 20195 with flag 110830/1877587 151.31/147.06 c cleaning 11042 clauses out of 22102 with flag 136833/1889585 151.79/147.55 c Got one! Elapsed wall clock time (in seconds):147.384 151.79/147.55 o 36643292 152.09/147.79 c cleaning 11580 clauses out of 23189 with flag 13336/1901714 152.40/148.08 c cleaning 8793 clauses out of 17609 with flag 29032/1907714 152.79/148.48 c cleaning 7899 clauses out of 15816 with flag 45157/1914714 153.29/148.91 c cleaning 7945 clauses out of 15918 with flag 66270/1922715 153.69/149.37 c cleaning 8469 clauses out of 16973 with flag 92879/1931715 154.19/149.85 c cleaning 9241 clauses out of 18503 with flag 121096/1941714 154.78/150.43 c cleaning 10117 clauses out of 20262 with flag 151585/1952714 155.50/151.13 c cleaning 11059 clauses out of 22147 with flag 182644/1964716 156.49/152.09 c cleaning 12028 clauses out of 24087 with flag 224786/1977715 157.28/152.88 c cleaning 13012 clauses out of 26058 with flag 263935/1991714 158.28/153.88 c cleaning 14016 clauses out of 28048 with flag 306263/2006716 159.59/155.16 c cleaning 15009 clauses out of 30032 with flag 353645/2022716 160.87/156.48 c cleaning 15987 clauses out of 32022 with flag 407783/2039715 162.17/157.78 c cleaning 16997 clauses out of 34035 with flag 463107/2057715 163.76/159.37 c cleaning 18009 clauses out of 36040 with flag 523154/2076717 165.37/161.01 c cleaning 19004 clauses out of 38030 with flag 591569/2096716 167.25/162.87 c cleaning 19997 clauses out of 40024 with flag 662696/2117714 168.75/164.33 c cleaning 20995 clauses out of 42029 with flag 732313/2139716 170.15/165.78 c cleaning 21998 clauses out of 44032 with flag 800327/2162714 171.90/167.41 c cleaning 23006 clauses out of 46036 with flag 868790/2186716 174.71/170.27 c cleaning 23994 clauses out of 48028 with flag 982473/2211714 177.40/172.94 c cleaning 25016 clauses out of 50034 with flag 1075609/2237714 179.99/175.55 c cleaning 26008 clauses out of 52019 with flag 1145828/2264715 183.09/178.63 c cleaning 27003 clauses out of 54011 with flag 1218808/2292715 186.72/182.20 c cleaning 28003 clauses out of 56011 with flag 1308935/2321718 190.09/185.51 c cleaning 28996 clauses out of 58005 with flag 1396179/2351715 192.50/187.93 c Got one! Elapsed wall clock time (in seconds):187.772 192.50/187.93 o 36259837 193.17/188.48 c cleaning 29573 clauses out of 59145 with flag 13054/2381851 194.10/189.26 c cleaning 17781 clauses out of 35574 with flag 28731/2387853 194.91/190.02 c cleaning 12389 clauses out of 24792 with flag 46884/2394852 195.69/190.87 c cleaning 10190 clauses out of 20403 with flag 67031/2402852 196.69/191.85 c cleaning 9587 clauses out of 19213 with flag 90956/2411852 197.69/192.88 c cleaning 9807 clauses out of 19625 with flag 116299/2421851 198.91/194.06 c cleaning 10406 clauses out of 20819 with flag 144969/2432852 200.09/195.27 c cleaning 11201 clauses out of 22412 with flag 177444/2444851 201.49/196.66 c cleaning 12105 clauses out of 24211 with flag 211976/2457851 203.09/198.23 c cleaning 13055 clauses out of 26109 with flag 249726/2471854 204.78/199.92 c cleaning 14024 clauses out of 28052 with flag 289520/2486852 206.58/201.73 c cleaning 15008 clauses out of 30027 with flag 331935/2502851 208.79/203.83 c cleaning 16007 clauses out of 32022 with flag 377344/2519854 210.79/205.89 c cleaning 17000 clauses out of 34012 with flag 426204/2537851 212.99/208.06 c cleaning 18001 clauses out of 36013 with flag 475737/2556852 215.17/210.25 c cleaning 18995 clauses out of 38011 with flag 531768/2576851 217.67/212.70 c cleaning 20007 clauses out of 40016 with flag 595304/2597851 220.15/215.06 c cleaning 21003 clauses out of 42009 with flag 656336/2619851 222.43/217.37 c cleaning 21983 clauses out of 44007 with flag 720663/2642852 224.92/219.80 c cleaning 23011 clauses out of 46023 with flag 784567/2666851 227.42/222.32 c cleaning 24001 clauses out of 48013 with flag 852620/2691852 230.28/225.07 c cleaning 25002 clauses out of 50012 with flag 921379/2717852 233.07/227.83 c cleaning 25997 clauses out of 52009 with flag 993190/2744851 236.27/231.11 c cleaning 26994 clauses out of 54012 with flag 1071671/2772851 239.94/234.59 c cleaning 28000 clauses out of 56019 with flag 1165736/2801852 242.83/237.47 c cleaning 29001 clauses out of 58019 with flag 1244389/2831852 246.22/240.86 c cleaning 30001 clauses out of 60017 with flag 1328994/2862851 247.62/242.28 c Got one! Elapsed wall clock time (in seconds):242.118 247.62/242.28 o 35765050 248.46/242.80 c cleaning 23633 clauses out of 47265 with flag 10165/2880100 249.06/243.42 c Got one! Elapsed wall clock time (in seconds):243.249 249.06/243.42 o 35738266 249.28/243.61 c cleaning 16844 clauses out of 33689 with flag 10161/2890157 249.48/243.82 c cleaning 11412 clauses out of 22843 with flag 22214/2896155 249.69/244.04 c cleaning 9209 clauses out of 18433 with flag 36332/2903157 249.88/244.27 c cleaning 8602 clauses out of 17224 with flag 52403/2911157 250.18/244.53 c cleaning 8801 clauses out of 17620 with flag 70399/2920155 250.47/244.81 c cleaning 9399 clauses out of 18820 with flag 90401/2930156 250.79/245.15 c cleaning 10201 clauses out of 20421 with flag 112401/2941156 251.17/245.55 c cleaning 11100 clauses out of 22222 with flag 136405/2953158 251.57/245.98 c cleaning 12053 clauses out of 24121 with flag 162403/2966157 252.07/246.46 c cleaning 13025 clauses out of 26067 with flag 190401/2980156 252.68/247.01 c cleaning 14009 clauses out of 28041 with flag 220399/2995155 253.27/247.64 c cleaning 15009 clauses out of 30037 with flag 252409/3011160 253.87/248.28 c cleaning 16002 clauses out of 32025 with flag 286403/3028157 254.57/248.93 c cleaning 17001 clauses out of 34024 with flag 322405/3046158 255.26/249.68 c cleaning 18001 clauses out of 36022 with flag 360403/3065157 256.06/250.42 c cleaning 18999 clauses out of 38019 with flag 400399/3085155 256.77/251.20 c cleaning 19998 clauses out of 40020 with flag 442399/3106155 257.67/252.06 c cleaning 21002 clauses out of 42023 with flag 486509/3128156 258.76/253.02 c cleaning 22001 clauses out of 44021 with flag 532639/3151156 259.64/253.91 c cleaning 23004 clauses out of 46024 with flag 580726/3175160 260.54/254.83 c cleaning 23999 clauses out of 48018 with flag 630811/3200158 261.54/255.80 c cleaning 24996 clauses out of 50018 with flag 682870/3226157 262.54/256.84 c cleaning 26001 clauses out of 52024 with flag 736939/3253159 263.63/257.91 c cleaning 27000 clauses out of 54021 with flag 793014/3281157 264.74/259.01 c cleaning 28000 clauses out of 56022 with flag 851116/3310158 265.92/260.27 c cleaning 28998 clauses out of 58019 with flag 911184/3340155 267.22/261.51 c cleaning 30001 clauses out of 60022 with flag 973573/3371156 268.52/262.86 c cleaning 31000 clauses out of 62021 with flag 1038022/3403156 269.84/264.17 c cleaning 31999 clauses out of 64020 with flag 1104455/3436155 271.38/265.61 c cleaning 33002 clauses out of 66023 with flag 1173103/3470157 272.97/267.28 c cleaning 34000 clauses out of 68020 with flag 1243617/3505156 274.78/269.04 c cleaning 35002 clauses out of 70019 with flag 1315936/3541155 276.66/270.96 c cleaning 35998 clauses out of 72018 with flag 1390329/3578156 278.46/272.74 c cleaning 37000 clauses out of 74019 with flag 1466597/3616155 280.15/274.40 c cleaning 37998 clauses out of 76019 with flag 1544597/3655155 281.76/276.08 c cleaning 38999 clauses out of 78022 with flag 1624599/3695156 283.55/277.84 c cleaning 40001 clauses out of 80022 with flag 1706597/3736155 285.35/279.64 c cleaning 41001 clauses out of 82023 with flag 1790601/3778157 287.15/281.49 c cleaning 41999 clauses out of 84021 with flag 1876599/3821156 289.24/283.50 c cleaning 43001 clauses out of 86022 with flag 1964599/3865156 291.30/285.52 c cleaning 43996 clauses out of 88022 with flag 2054601/3910157 293.29/287.54 c cleaning 44999 clauses out of 90025 with flag 2146599/3956156 295.39/289.63 c cleaning 45999 clauses out of 92025 with flag 2240597/4003155 297.58/291.88 c cleaning 47001 clauses out of 94028 with flag 2336601/4051157 300.07/294.35 c cleaning 47997 clauses out of 96025 with flag 2434597/4100155 302.27/296.58 c cleaning 49005 clauses out of 98029 with flag 2534599/4150156 304.78/299.01 c cleaning 49998 clauses out of 100024 with flag 2636599/4201156 307.17/301.44 c cleaning 51002 clauses out of 102028 with flag 2740603/4253158 309.92/304.16 c cleaning 52002 clauses out of 104023 with flag 2846597/4306155 312.71/306.97 c cleaning 53001 clauses out of 106023 with flag 2954601/4360157 315.60/309.88 c cleaning 54000 clauses out of 108021 with flag 3064599/4415156 318.39/312.66 c cleaning 54997 clauses out of 110021 with flag 3176599/4471156 321.28/315.52 c cleaning 56002 clauses out of 112028 with flag 3290607/4528160 324.17/318.48 c cleaning 57000 clauses out of 114021 with flag 3406597/4586155 328.01/321.58 c cleaning 58003 clauses out of 116021 with flag 3524597/4645155 331.01/324.56 c cleaning 58998 clauses out of 118019 with flag 3644599/4705156 334.24/327.77 c cleaning 59998 clauses out of 120020 with flag 3766597/4766155 337.24/330.79 c cleaning 60999 clauses out of 122024 with flag 3890601/4828157 340.43/333.98 c cleaning 62001 clauses out of 124026 with flag 4016603/4891158 343.72/337.28 c cleaning 62999 clauses out of 126023 with flag 4144599/4955156 347.31/340.87 c cleaning 63997 clauses out of 128024 with flag 4274599/5020156 350.81/344.39 c cleaning 64998 clauses out of 130026 with flag 4406597/5086155 354.71/348.12 c cleaning 66001 clauses out of 132029 with flag 4540599/5153156 358.39/351.83 c cleaning 67001 clauses out of 134027 with flag 4676597/5221155 362.47/355.92 c cleaning 68003 clauses out of 136026 with flag 4814597/5290155 366.40/359.79 c cleaning 68998 clauses out of 138023 with flag 4954597/5360155 370.29/363.69 c cleaning 70003 clauses out of 140029 with flag 5096605/5431159 374.29/367.64 c cleaning 70996 clauses out of 142023 with flag 5240599/5503156 378.08/371.49 c cleaning 72008 clauses out of 144027 with flag 5386599/5576156 383.35/376.60 c cleaning 73002 clauses out of 146020 with flag 5534601/5650157 387.45/380.73 c cleaning 73995 clauses out of 148017 with flag 5684599/5725156 391.54/384.82 c cleaning 75001 clauses out of 150021 with flag 5836597/5801155 395.85/389.15 c cleaning 75995 clauses out of 152022 with flag 5990601/5878157 400.41/393.60 c cleaning 77000 clauses out of 154025 with flag 6146597/5956155 405.00/398.23 c cleaning 78001 clauses out of 156025 with flag 6304597/6035155 409.69/402.91 c cleaning 78998 clauses out of 158024 with flag 6464597/6115155 413.80/407.09 c cleaning 79997 clauses out of 160027 with flag 6626599/6196156 418.47/411.78 c cleaning 81003 clauses out of 162030 with flag 6790599/6278156 423.16/416.48 c cleaning 81999 clauses out of 164028 with flag 6956601/6361157 428.05/421.24 c cleaning 83001 clauses out of 166029 with flag 7124601/6445157 432.95/426.12 c cleaning 84000 clauses out of 168030 with flag 7294605/6530159 437.73/430.92 c cleaning 85000 clauses out of 170027 with flag 7466599/6616156 442.72/435.90 c cleaning 86002 clauses out of 172026 with flag 7640597/6703155 447.40/440.65 c cleaning 86997 clauses out of 174024 with flag 7816597/6791155 452.59/445.85 c cleaning 88001 clauses out of 176027 with flag 7994597/6880155 457.66/450.85 c cleaning 89003 clauses out of 178027 with flag 8174599/6970156 462.56/455.76 c cleaning 89997 clauses out of 180024 with flag 8356599/7061156 467.74/460.98 c cleaning 91001 clauses out of 182026 with flag 8540597/7153155 472.94/466.14 c cleaning 92000 clauses out of 184027 with flag 8726601/7246157 478.02/471.29 c cleaning 93002 clauses out of 186025 with flag 8914597/7340155 483.89/477.09 c cleaning 94001 clauses out of 188026 with flag 9104603/7435158 489.56/482.71 c cleaning 94998 clauses out of 190022 with flag 9296597/7531155 495.05/488.27 c cleaning 95998 clauses out of 192025 with flag 9490599/7628156 501.63/494.83 c cleaning 96999 clauses out of 194027 with flag 9686599/7726156 507.61/500.82 c cleaning 98005 clauses out of 196028 with flag 9884599/7825156 514.09/507.37 c cleaning 98995 clauses out of 198022 with flag 10084597/7925155 520.40/513.50 c cleaning 100000 clauses out of 200029 with flag 10286601/8026157 526.38/519.53 c cleaning 101002 clauses out of 202027 with flag 10490597/8128155 532.56/525.62 c cleaning 102001 clauses out of 204025 with flag 10696597/8231155 539.24/532.34 c cleaning 103000 clauses out of 206024 with flag 10904597/8335155 545.33/538.49 c cleaning 104003 clauses out of 208030 with flag 11114609/8440161 551.51/544.62 c cleaning 104997 clauses out of 210021 with flag 11326597/8546155 557.61/550.72 c cleaning 105995 clauses out of 212024 with flag 11540597/8653155 564.44/557.69 c cleaning 107000 clauses out of 214031 with flag 11756601/8761157 571.22/564.43 c cleaning 107995 clauses out of 216030 with flag 11974599/8870156 578.32/571.44 c cleaning 109008 clauses out of 218037 with flag 12194603/8980158 586.83/579.82 c cleaning 110002 clauses out of 220030 with flag 12416605/9091159 593.82/586.84 c cleaning 111001 clauses out of 222028 with flag 12640605/9203159 600.70/593.79 c cleaning 112002 clauses out of 224027 with flag 12866605/9316159 607.48/600.51 c cleaning 112998 clauses out of 226024 with flag 13094603/9430158 614.86/607.93 c cleaning 114003 clauses out of 228023 with flag 13324597/9545155 622.35/615.41 c cleaning 114997 clauses out of 230020 with flag 13556597/9661155 629.90/622.90 c cleaning 115999 clauses out of 232025 with flag 13790601/9778157 637.59/630.60 c cleaning 116997 clauses out of 234025 with flag 14026599/9896156 645.99/639.08 c cleaning 118002 clauses out of 236027 with flag 14264597/10015155 654.83/647.72 c cleaning 118998 clauses out of 238027 with flag 14504601/10135157 663.31/656.24 c cleaning 119999 clauses out of 240028 with flag 14746599/10256156 671.21/664.17 c cleaning 121005 clauses out of 242029 with flag 14990599/10378156 680.26/673.12 c cleaning 121998 clauses out of 244023 with flag 15236597/10501155 688.52/681.40 c cleaning 123006 clauses out of 246030 with flag 15484607/10625160 696.70/689.67 c cleaning 124001 clauses out of 248021 with flag 15734601/10750157 705.09/698.01 c cleaning 124993 clauses out of 250019 with flag 15986599/10876156 714.17/707.14 c cleaning 126001 clauses out of 252026 with flag 16240599/11003156 722.64/715.68 c cleaning 127001 clauses out of 254026 with flag 16496601/11131157 731.78/724.68 c cleaning 128000 clauses out of 256023 with flag 16754597/11260155 740.35/733.28 c cleaning 128998 clauses out of 258025 with flag 17014601/11390157 750.14/743.09 c cleaning 130001 clauses out of 260026 with flag 17276599/11521156 760.59/753.43 c cleaning 131005 clauses out of 262026 with flag 17540601/11653157 781.26/774.11 c cleaning 131995 clauses out of 264020 with flag 17806618/11786156 799.30/792.20 c cleaning 133000 clauses out of 266024 with flag 18074631/11920155 819.29/812.03 c cleaning 133998 clauses out of 268024 with flag 18344650/12055155 838.55/831.20 c cleaning 135002 clauses out of 270026 with flag 18616662/12191155 856.91/849.64 c cleaning 135999 clauses out of 272024 with flag 18890675/12328155 877.20/869.85 c cleaning 137001 clauses out of 274025 with flag 19166685/12466155 897.27/889.94 c cleaning 138003 clauses out of 276025 with flag 19444696/12605156 917.13/909.87 c cleaning 138997 clauses out of 278022 with flag 19724715/12745156 936.67/929.03 c cleaning 140000 clauses out of 280025 with flag 20006731/12886156 961.08/952.56 c cleaning 140998 clauses out of 282024 with flag 20290737/13028155 981.86/973.27 c cleaning 142000 clauses out of 284026 with flag 20576744/13171155 1003.68/995.10 c cleaning 142999 clauses out of 286027 with flag 20864756/13315156 1023.52/1014.65 c cleaning 144005 clauses out of 288030 with flag 21154783/13460158 1043.57/1034.69 c cleaning 144997 clauses out of 290022 with flag 21446797/13606155 1066.63/1057.40 c cleaning 146000 clauses out of 292026 with flag 21740811/13753156 1086.35/1077.00 c cleaning 147000 clauses out of 294028 with flag 22036828/13901158 1108.18/1098.54 c cleaning 147999 clauses out of 296027 with flag 22334842/14050157 1129.98/1120.26 c cleaning 149002 clauses out of 298027 with flag 22634852/14200156 1151.87/1141.96 c cleaning 150001 clauses out of 300025 with flag 22936873/14351156 1179.65/1169.08 c cleaning 150999 clauses out of 302025 with flag 23240890/14503157 1202.21/1191.60 c cleaning 151998 clauses out of 304026 with flag 23546905/14656157 1229.07/1218.26 c cleaning 152999 clauses out of 306029 with flag 23854925/14810158 1254.99/1243.91 c cleaning 154002 clauses out of 308029 with flag 24164935/14965157 1287.72/1275.91 c cleaning 155003 clauses out of 310027 with flag 24481729/15121157 1329.58/1317.88 c cleaning 156005 clauses out of 312022 with flag 24805491/15278155 1372.01/1360.23 c cleaning 156997 clauses out of 314018 with flag 25132620/15436156 1411.41/1399.66 c cleaning 158004 clauses out of 316029 with flag 25461409/15595164 1450.78/1439.08 c cleaning 158995 clauses out of 318016 with flag 25792768/15755155 1494.84/1483.16 c cleaning 160003 clauses out of 320025 with flag 26126382/15916159 1542.02/1529.80 c cleaning 161002 clauses out of 322023 with flag 26460855/16078160 1587.01/1574.79 c cleaning 162000 clauses out of 324025 with flag 26797873/16241164 1629.24/1616.96 c cleaning 162996 clauses out of 326016 with flag 27137000/16405155 1673.94/1661.69 c cleaning 164001 clauses out of 328026 with flag 27479004/16570161 1719.86/1707.57 c cleaning 164999 clauses out of 330023 with flag 27820953/16736159 1771.21/1759.06 c cleaning 166005 clauses out of 332028 with flag 28163435/16903163 1823.10/1811.09 c cleaning 166996 clauses out of 334015 with flag 28508482/17071155 1872.80/1859.75 c cleaning 167998 clauses out of 336022 with flag 28857432/17240158 1921.55/1908.56 c cleaning 168999 clauses out of 338023 with flag 29207905/17410157 1969.00/1956.06 c cleaning 170000 clauses out of 340022 with flag 29558050/17581155 2024.47/2011.53 c cleaning 170994 clauses out of 342022 with flag 29911865/17753155 2074.93/2062.05 c cleaning 172002 clauses out of 344029 with flag 30270717/17926156 2124.47/2110.43 c cleaning 172999 clauses out of 346027 with flag 30629703/18100156 2180.86/2166.98 c cleaning 174004 clauses out of 348032 with flag 30991129/18275160 2234.64/2220.77 c cleaning 174999 clauses out of 350023 with flag 31355183/18451155 2284.74/2271.00 c cleaning 176002 clauses out of 352028 with flag 31722247/18628159 2331.07/2317.33 c cleaning 177000 clauses out of 354028 with flag 32091305/18806161 2381.65/2367.95 c cleaning 177999 clauses out of 356023 with flag 32461204/18985156 2434.95/2419.90 c cleaning 179006 clauses out of 358029 with flag 32832640/19165161 2495.44/2480.58 c cleaning 179999 clauses out of 360021 with flag 33208928/19346159 2555.67/2540.77 c cleaning 180998 clauses out of 362018 with flag 33585082/19528155 2610.70/2595.81 c cleaning 181998 clauses out of 364022 with flag 33964853/19711157 2671.38/2656.65 c cleaning 183000 clauses out of 366025 with flag 34345552/19895158 2731.11/2715.50 c cleaning 184001 clauses out of 368023 with flag 34728567/20080156 2791.12/2775.69 c cleaning 184995 clauses out of 370022 with flag 35113966/20266156 2849.44/2834.01 c cleaning 186003 clauses out of 372030 with flag 35501991/20453159 2907.44/2892.13 c cleaning 186999 clauses out of 374027 with flag 35893378/20641159 2967.22/2952.06 c cleaning 187998 clauses out of 376024 with flag 36286589/20830155 3022.87/3007.79 c cleaning 189005 clauses out of 378029 with flag 36680723/21020158 3088.28/3072.91 c cleaning 189995 clauses out of 380022 with flag 37077785/21211156 3151.63/3136.49 c cleaning 190999 clauses out of 382033 with flag 37477606/21403162 3213.73/3198.65 c cleaning 192002 clauses out of 384031 with flag 37879097/21596159 3279.77/3264.82 c cleaning 193002 clauses out of 386027 with flag 38281710/21790157 3340.36/3325.48 c cleaning 194004 clauses out of 388033 with flag 38685723/21985165 3404.81/3390.06 c cleaning 194997 clauses out of 390022 with flag 39092764/22181158 3468.10/3453.16 c cleaning 196002 clauses out of 392026 with flag 39500884/22378159 3527.92/3513.09 c cleaning 196997 clauses out of 394021 with flag 39910490/22576156 3587.61/3572.65 c cleaning 197999 clauses out of 396028 with flag 40323719/22775160 3600.01/3585.06 c starts : 17614 3600.01/3585.06 c conflicts : 22845815 3600.01/3585.06 c decisions : 26994570 3600.01/3585.06 c propagations : 1024510346 3600.01/3585.06 c inspects : 27300299984 3600.01/3585.06 c shortcuts : 0 3600.01/3585.06 c learnt literals : 0 3600.01/3585.06 c learnt binary clauses : 88 3600.01/3585.06 c learnt ternary clauses : 0 3600.01/3585.06 c learnt constraints : 22845815 3600.01/3585.06 c ignored constraints : 0 3600.01/3585.06 c root simplifications : 0 3600.01/3585.06 c removed literals (reason simplification) : 0 3600.01/3585.06 c reason swapping (by a shorter reason) : 0 3600.01/3585.06 c Calls to reduceDB : 350 3600.01/3585.06 c Number of update (reduction) of LBD : 803874 3600.01/3585.06 c Imported unit clauses : 0 3600.01/3585.06 c No decision after first conflict : false 3600.01/3585.06 c number of reductions to clauses (during analyze) : 0 3600.01/3585.06 c number of learned constraints concerned by reduction : 0 3600.01/3585.06 c number of learning phase by resolution : 0 3600.01/3585.06 c number of learning phase by cutting planes : 0 3600.01/3585.06 c number of rounding to 1 operations : 0 3600.01/3585.06 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.01/3585.06 c number of reductions of the coefficients by power 2 : 0 3600.01/3585.06 c number of right shift for reduction by power 2 : 0 3600.01/3585.06 c number of reductions of the coefficients by GCD over coefficients : 0 3600.01/3585.06 c number of ending skipping : 0 3600.01/3585.06 c number of internal skipping : 0 3600.01/3585.06 c number of derivation steps : 0 3600.01/3585.06 c number of skipped derivation steps : 0 3600.01/3585.06 c number of remaining unassigned : 0 3600.01/3585.06 c number of remaining assigned : 0 3600.01/3585.06 c number of falsified literals weakened from reason : 0 3600.01/3585.08 c number of falsified literals weakened from conflict : 0 3600.01/3585.08 c time for arithmetic operations : 0 3600.01/3585.08 c minimum degree of deleted constraints : null 3600.01/3585.08 c maximum degree of deleted constraints : null 3600.01/3585.08 c number of deleted constraints : 0 3600.01/3585.08 c speed (assignments/second) : 285816.16947151464 3600.01/3585.08 c non guided choices : 15739 3600.39/3585.25 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 268596 3600.39/3585.25 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 88 3600.39/3585.25 s SATISFIABLE 3600.39/3585.25 c Found 10 solution(s) 3600.39/3585.26 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 3600.56/3585.30 c objective function=35738266 3600.56/3585.30 c Total wall clock time (in seconds): 3585.135
OK 35738266
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: 64096 MiB (57047 MiB free)
memory of node 1: 64473 MiB (58447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432174-1721069574/watcher-4432174-1721069574 -o /tmp/evaluation-result-4432174-1721069574/solver-4432174-1721069574 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721062551-806264 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432174-1721069574.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=810113, runsolver pid=810110
[startup+0.103715 s]*
/proc/loadavg: 4.27 4.22 4.27 5/317 810131
/proc/meminfo: memFree=118230036/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=18975048 memory=58420 CPUtime=0.13 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 6570 0 0 0 11 2 0 0 20 0 18 0 159114548 19430449152 14605 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4743762 14605 5677 1 0 551003 0
[pid=810113/tid=810115] ppid=810110 vsize=18975048 memory=4026561586 CPUtime=0.1 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 5550 0 0 0 8 2 0 0 20 0 18 0 159114549 19430449152 14605 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159114553 19430449152 14605 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=18975048 memory=14698495668050282 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159114554 19430449152 14605 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58420 KiB
[startup+0.219758 s]*
/proc/loadavg: 4.27 4.22 4.27 8/317 810131
/proc/meminfo: memFree=118218512/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=18975048 memory=69732 CPUtime=0.35 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 7319 0 0 0 32 3 0 0 20 0 18 0 159114548 19430449152 17433 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4743762 17433 5715 1 0 551637 0
[pid=810113/tid=810115] ppid=810110 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 5849 0 0 0 18 2 0 0 20 0 18 0 159114549 19430449152 17433 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=18975048 memory=4674 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159114553 19430449152 17433 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159114554 19430449152 17433 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69732 KiB
[startup+0.312122 s]*
/proc/loadavg: 4.27 4.22 4.27 8/317 810131
/proc/meminfo: memFree=118205660/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=18975048 memory=82772 CPUtime=0.52 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 7458 0 0 0 49 3 0 0 20 0 18 0 159114548 19430449152 20693 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4743762 20693 5800 1 0 551722 0
[pid=810113/tid=810115] ppid=810110 vsize=18975048 memory=-9177326055085941436 CPUtime=0.28 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 5883 0 0 0 25 3 0 0 20 0 18 0 159114549 19430449152 20693 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159114553 19430449152 20693 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 159114554 19430449152 20693 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82772 KiB
[startup+0.703743 s]
/proc/loadavg: 4.27 4.22 4.27 7/317 810131
/proc/meminfo: memFree=118178708/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19041612 memory=110888 CPUtime=1.22 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 9351 0 0 0 118 4 0 0 20 0 19 0 159114548 19498610688 27722 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4760403 27722 5838 1 0 553147 0
[pid=810113/tid=810115] ppid=810110 vsize=19041612 memory=5540 CPUtime=0.52 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 5996 0 0 0 49 3 0 0 20 0 19 0 159114549 19498610688 27722 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19041612 memory=12508 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159114553 19498610688 27722 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159114554 19498610688 27722 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110888 KiB
[startup+1.50027 s]
/proc/loadavg: 4.27 4.22 4.27 7/318 810134
/proc/meminfo: memFree=118144796/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19041612 memory=154260 CPUtime=2.77 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 14469 0 0 0 271 6 0 0 20 0 19 0 159114548 19498610688 38565 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4760403 38565 5869 1 0 554052 0
[pid=810113/tid=810115] ppid=810110 vsize=19041612 memory=12508 CPUtime=1.3 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 7118 0 0 0 126 4 0 0 20 0 19 0 159114549 19498610688 38565 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159114553 19498610688 38565 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 159114554 19498610688 38565 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810132] ppid=810110 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/810113/task/810132/stat : 810132 (Timer-0) S 810110 810113 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159114605 19498610688 38565 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 154260 KiB
[startup+3.10564 s]
/proc/loadavg: 4.33 4.24 4.27 5/319 810135
/proc/meminfo: memFree=118017656/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19108176 memory=201240 CPUtime=5.27 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 23299 0 0 0 519 8 0 0 20 0 20 0 159114548 19566772224 50310 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4777044 50310 5917 1 0 557660 0
[pid=810113/tid=810115] ppid=810110 vsize=19108176 memory=0 CPUtime=2.87 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 8084 0 0 0 282 5 0 0 20 0 20 0 159114549 19566772224 50310 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159114553 19566772224 50310 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 159114554 19566772224 50310 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810132] ppid=810110 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/810113/task/810132/stat : 810132 (Timer-0) S 810110 810113 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159114605 19566772224 50310 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 5.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 201240 KiB
[startup+6.30039 s]
/proc/loadavg: 4.33 4.24 4.27 5/319 810135
/proc/meminfo: memFree=117912024/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19108176 memory=232788 CPUtime=8.47 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 23395 0 0 0 838 9 0 0 20 0 20 0 159114548 19566772224 58197 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4777044 58197 5917 1 0 557660 0
[pid=810113/tid=810115] ppid=810110 vsize=19108176 memory=0 CPUtime=5.87 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 8086 0 0 0 582 5 0 0 20 0 20 0 159114549 19566772224 58197 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159114553 19566772224 58197 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 159114554 19566772224 58197 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810132] ppid=810110 vsize=19108176 memory=42536 CPUtime=0 cores=0,2
/proc/810113/task/810132/stat : 810132 (Timer-0) S 810110 810113 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159114605 19566772224 58197 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 8.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 232788 KiB
[startup+12.7005 s]
/proc/loadavg: 4.30 4.23 4.27 5/319 810136
/proc/meminfo: memFree=117206664/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19108176 memory=504088 CPUtime=15.05 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 27610 0 0 0 1489 16 0 0 20 0 20 0 159114548 19566772224 126022 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4777044 126022 5933 1 0 831290 0
[pid=810113/tid=810115] ppid=810110 vsize=19108176 memory=113464 CPUtime=11.81 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 8879 0 0 0 1174 7 0 0 20 0 20 0 159114549 19566772224 126022 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19108176 memory=504084 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159114553 19566772224 126022 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19108176 memory=201240 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 159114554 19566772224 126022 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810132] ppid=810110 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/810113/task/810132/stat : 810132 (Timer-0) S 810110 810113 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159114605 19566772224 126022 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 15.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 504088 KiB
[startup+25.5005 s]
/proc/loadavg: 4.23 4.22 4.26 5/319 810138
/proc/meminfo: memFree=116263748/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19108176 memory=892084 CPUtime=28.02 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 31144 0 0 0 2777 25 0 0 20 0 20 0 159114548 19566772224 223021 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4777044 223021 5937 1 0 1086137 0
[pid=810113/tid=810115] ppid=810110 vsize=19108176 memory=504084 CPUtime=24.1 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 9684 0 0 0 2399 11 0 0 20 0 20 0 159114549 19566772224 223021 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19108176 memory=701260 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159114553 19566772224 223021 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 159114554 19566772224 223021 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810132] ppid=810110 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=0,2
/proc/810113/task/810132/stat : 810132 (Timer-0) S 810110 810113 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159114605 19566772224 223021 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 28.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 892084 KiB
[startup+51.1139 s]
/proc/loadavg: 4.36 4.25 4.27 5/319 810143
/proc/meminfo: memFree=114856056/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19108176 memory=1333248 CPUtime=54.62 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 43632 0 0 0 5425 37 0 0 20 0 20 0 159114548 19566772224 333312 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4777044 333312 5937 1 0 1087691 0
[pid=810113/tid=810115] ppid=810110 vsize=19108176 memory=1113080 CPUtime=49.03 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 11710 0 0 0 4891 12 0 0 20 0 20 0 159114549 19566772224 333312 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19108176 memory=1170424 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159114553 19566772224 333312 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 159114554 19566772224 333312 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
################
# More data... #
################
Current children cumulated memory: 2153800 KiB
[startup+3342.3 s]
/proc/loadavg: 4.43 4.46 4.36 5/317 811983
/proc/meminfo: memFree=88810756/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19108176 memory=2153804 CPUtime=3357.24 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 285866 0 0 0 335437 287 0 0 20 0 20 0 159114548 19566772224 538451 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4777044 538451 5937 1 0 551983 0
[pid=810113/tid=810115] ppid=810110 vsize=19108176 memory=12508 CPUtime=3312.69 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 88527 0 0 0 331224 45 0 0 20 0 20 0 159114549 19566772224 538451 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19108176 memory=2153804 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159114553 19566772224 538451 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19108176 memory=2153804 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 2038 0 0 0 0 0 0 0 20 0 20 0 159114554 19566772224 538451 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810132] ppid=810110 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/810113/task/810132/stat : 810132 (Timer-0) S 810110 810113 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159114605 19566772224 538451 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 3357.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2153804 KiB
[startup+3402.3 s]
/proc/loadavg: 3.65 4.24 4.29 3/265 812061
/proc/meminfo: memFree=110472240/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19108176 memory=1627628 CPUtime=3417.39 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 294558 0 0 0 341447 292 0 0 20 0 20 0 159114548 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4777044 406907 5937 1 0 420439 0
[pid=810113/tid=810115] ppid=810110 vsize=19108176 memory=2153804 CPUtime=3372.42 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 89877 0 0 0 337197 45 0 0 20 0 20 0 159114549 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19108176 memory=2153804 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159114553 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19108176 memory=1627628 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 2039 0 0 0 0 0 0 0 20 0 20 0 159114554 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810132] ppid=810110 vsize=19108176 memory=1627628 CPUtime=0 cores=0,2
/proc/810113/task/810132/stat : 810132 (Timer-0) S 810110 810113 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159114605 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 3417.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1627628 KiB
[startup+3462.3 s]
/proc/loadavg: 2.69 3.86 4.15 3/267 812076
/proc/meminfo: memFree=110471940/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19108176 memory=1627628 CPUtime=3477.26 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 295311 0 0 0 347431 295 0 0 20 0 20 0 159114548 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4777044 406907 5937 1 0 420439 0
[pid=810113/tid=810115] ppid=810110 vsize=19108176 memory=2153804 CPUtime=3432.25 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 90546 0 0 0 343179 46 0 0 20 0 20 0 159114549 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19108176 memory=1627628 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159114553 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19108176 memory=21560 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 2116 0 0 0 0 0 0 0 20 0 20 0 159114554 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810132] ppid=810110 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/810113/task/810132/stat : 810132 (Timer-0) S 810110 810113 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159114605 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 3477.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1627628 KiB
[startup+3522.3 s]
/proc/loadavg: 2.44 3.58 4.04 3/267 812086
/proc/meminfo: memFree=110471988/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19108176 memory=1627628 CPUtime=3537.3 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 296365 0 0 0 353432 298 0 0 20 0 20 0 159114548 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4777044 406907 5937 1 0 420439 0
[pid=810113/tid=810115] ppid=810110 vsize=19108176 memory=1627628 CPUtime=3491.63 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 90677 0 0 0 349117 46 0 0 20 0 20 0 159114549 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19108176 memory=1627628 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159114553 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19108176 memory=1627628 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 2116 0 0 0 0 0 0 0 20 0 20 0 159114554 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810132] ppid=810110 vsize=19108176 memory=2264 CPUtime=0 cores=0,2
/proc/810113/task/810132/stat : 810132 (Timer-0) S 810110 810113 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159114605 19566772224 406907 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 3537.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1627628 KiB
[startup+3582.3 s]
/proc/loadavg: 2.23 3.30 3.91 3/267 812097
/proc/meminfo: memFree=110471572/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19108176 memory=1627696 CPUtime=3597.3 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 297051 0 0 0 359428 302 0 0 20 0 20 0 159114548 19566772224 406924 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4777044 406924 5937 1 0 420439 0
[pid=810113/tid=810115] ppid=810110 vsize=19108176 memory=1627628 CPUtime=3551.3 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 90980 0 0 0 355084 46 0 0 20 0 20 0 159114549 19566772224 406924 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159114553 19566772224 406924 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19108176 memory=1627696 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 2116 0 0 0 0 0 0 0 20 0 20 0 159114554 19566772224 406924 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810132] ppid=810110 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/810113/task/810132/stat : 810132 (Timer-0) S 810110 810113 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159114605 19566772224 406924 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 3597.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1627696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3585 s]*
/proc/loadavg: 2.21 3.28 3.90 3/267 812097
/proc/meminfo: memFree=110471600/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19108176 memory=1627696 CPUtime=3600.01 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 297051 0 0 0 359699 302 0 0 20 0 20 0 159114548 19566772224 406924 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4777044 406924 5937 1 0 420439 0
[pid=810113/tid=810115] ppid=810110 vsize=19108176 memory=5424 CPUtime=3554 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 90980 0 0 0 355354 46 0 0 20 0 20 0 159114549 19566772224 406924 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19108176 memory=-8621784589305627551 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 159114553 19566772224 406924 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19108176 memory=5116 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 2116 0 0 0 0 0 0 0 20 0 20 0 159114554 19566772224 406924 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810132] ppid=810110 vsize=19108176 memory=12761264 CPUtime=0 cores=0,2
/proc/810113/task/810132/stat : 810132 (Timer-0) S 810110 810113 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159114605 19566772224 406924 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1627696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3585.34 s]
# the end of solver process 810113 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.58 s, system=3.04059 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3585.21 s]
/proc/loadavg: 2.21 3.28 3.90 3/267 812097
/proc/meminfo: memFree=110471600/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19307868 memory=1628384 CPUtime=3600.39 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 299717 0 0 0 359737 302 0 0 20 0 21 0 159114548 19771256832 407096 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4826967 407096 5936 1 0 421369 0
[pid=810113/tid=810115] ppid=810110 vsize=19307868 memory=-9177326055085941436 CPUtime=3554.19 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 91121 0 0 0 355373 46 0 0 20 0 21 0 159114549 19771256832 407096 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19307868 memory=19604 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 159114553 19771256832 407096 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19307868 memory=7124 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 2116 0 0 0 0 0 0 0 20 0 21 0 159114554 19771256832 407096 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1628384 KiB
[startup+3585.3 s]
/proc/loadavg: 2.21 3.28 3.90 3/267 812097
/proc/meminfo: memFree=110471600/131655788 swapFree=131071996/131071996
[pid=810113] ppid=810110 vsize=19307868 memory=1628488 CPUtime=3600.56 cores=0,2
/proc/810113/stat : 810113 (java) S 810110 810113 806254 0 -1 1077936128 300231 0 0 0 359754 302 0 0 20 0 21 0 159114548 19771256832 407122 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
/proc/810113/statm: 4826967 407122 5936 1 0 421369 0
[pid=810113/tid=810115] ppid=810110 vsize=19307868 memory=1627696 CPUtime=3554.28 cores=0,2
/proc/810113/task/810115/stat : 810115 (java) R 810110 810113 806254 0 -1 4194368 91121 0 0 0 355382 46 0 0 20 0 21 0 159114549 19771256832 407122 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810124] ppid=810110 vsize=19307868 memory=1627696 CPUtime=0 cores=0,2
/proc/810113/task/810124/stat : 810124 (Finalizer) S 810110 810113 806254 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 159114553 19771256832 407122 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
[pid=810113/tid=810131] ppid=810110 vsize=19307868 memory=11420 CPUtime=0 cores=0,2
/proc/810113/task/810131/stat : 810131 (Common-Cleaner) S 810110 810113 806254 0 -1 1077936192 2116 0 0 0 0 0 0 0 20 0 21 0 159114554 19771256832 407122 134679101440 94241174913024 94241174916720 140729184835280 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94241174924536 94241174925328 94241188323328 140729184842759 140729184842849 140729184842849 140729184849864 0
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1628488 KiB
Child status: 143
Real time (s): 3585.34
CPU time (s): 3600.62
CPU user time (s): 3597.58
CPU system time (s): 3.04059
CPU usage (%): 100.426
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4307260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.58
system time used= 3.04059
maximum resident set size= 4307264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300397
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111333
involuntary context switches= 26974
# summary of solver processes directly reported to runsolver:
# pid: 810113
# total CPU time (s): 3600.62
# total CPU user time (s): 3597.58
# total CPU system time (s): 3.04059
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.9662 second user time and 37.5969 second system time
The end
Begin job on nodeC011 at 2024-07-15 20:53:06 IDJOB=4432174 IDBENCH=146797 IDSOLVER=3058 FILE ID=nodeC011/4432174-1721069574 RUNJOBID= nodeC011-1721062551-806264 SLURM_JOB_ID= 7505516 Free space on /tmp= 723768 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432174-1721069574/watcher-4432174-1721069574 -o /tmp/evaluation-result-4432174-1721069574/solver-4432174-1721069574 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721062551-806264 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432174-1721069574.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4 RANDOM SEED=686452337 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.633 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.601 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1396.647 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.208 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.887 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3663.702 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.255 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.319 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 118267368 kB MemAvailable: 123400224 kB Buffers: 395092 kB Cached: 5515884 kB SwapCached: 0 kB Active: 674844 kB Inactive: 12033320 kB Active(anon): 1428 kB Inactive(anon): 6833456 kB Active(file): 673416 kB Inactive(file): 5199864 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5220 kB Writeback: 76 kB AnonPages: 6795164 kB Mapped: 124064 kB Shmem: 37704 kB KReclaimable: 199552 kB Slab: 309668 kB SReclaimable: 199552 kB SUnreclaim: 110116 kB KernelStack: 4832 kB PageTables: 23348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 12277896 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51392 kB HardwareCorrupted: 0 kB AnonHugePages: 6477824 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 262984 kB DirectMap2M: 33196032 kB DirectMap1G: 102760448 kB Free space on /tmp at the end= 723776 MiB End job on nodeC011 at 2024-07-15 21:52:52