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) | 5116559 | 3601.2 | 3498.43 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran14x18.opb |
| MD5SUM | 5c8d8ce64a950076da07daccd75facb4 |
| 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 | 4052992 |
| Best CPU time to get the best result obtained on this benchmark | 71226.5 |
| 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 | 7812 |
| Total number of constraints | 284 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 284 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 540 |
| Number of terms in the objective function | 7812 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1450667950777 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1450667950777 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version CUSTOM.v20240707 0.00/0.10 c java.runtime.name OpenJDK Runtime Environment 0.00/0.10 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.10 c java.vm.version 22.0.1+8-16 0.00/0.10 c java.vm.vendor Oracle Corporation 0.00/0.10 c sun.arch.data.model 64 0.00/0.10 c java.version 22.0.1 0.00/0.10 c os.name Linux 0.00/0.10 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.10 c os.arch amd64 0.00/0.10 c Free memory 2115194816 0.00/0.10 c Max memory 16282288128 0.00/0.10 c Total memory 2122317824 0.14/0.11 c Number of processors 2 0.14/0.14 --- Begin Solver configuration --- 0.14/0.14 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.14/0.14 Learn all clauses as in MiniSAT 0.14/0.14 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.14 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.14 No reason simplification 0.14/0.14 Glucose 2.1 dynamic restart strategy 0.14/0.14 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.14/0.14 timeout=2147483s 0.14/0.14 DB Simplification allowed=false 0.14/0.14 Listener: none 0.14/0.14 --- End Solver configuration --- 0.14/0.14 c Pseudo Boolean Optimization by upper bound 0.14/0.14 c --- Begin Solver configuration --- 0.14/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.14/0.14 c Learn all clauses as in MiniSAT 0.14/0.14 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.14 c No reason simplification 0.14/0.14 c Glucose 2.1 dynamic restart strategy 0.14/0.14 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.14/0.14 c timeout=2147483s 0.14/0.14 c DB Simplification allowed=false 0.14/0.14 c Listener: none 0.14/0.14 c --- End Solver configuration --- 0.14/0.15 c solving HOME/instance-4432164-1721066075.opb 0.14/0.15 c reading problem ... 0.14/0.15 c objective function found 0.35/0.32 c ... done. Wall clock time 0.174s. 0.35/0.32 c declared #vars 7812 0.35/0.32 c #constraints 316 0.35/0.32 c constraints type 0.35/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 316 0.35/0.32 c 316 constraints processed. 0.54/0.34 c objective function length is 7812 literals 1.06/0.68 c SATISFIABLE 1.06/0.68 c OPTIMIZING... 1.06/0.68 c Got one! Elapsed wall clock time (in seconds):0.54 1.06/0.68 o 7523076 3.42/2.40 c cleaning 2598 clauses out of 5196 with flag 16814/5196 5.04/3.77 c cleaning 4296 clauses out of 8598 with flag 34775/11196 7.49/5.96 c cleaning 5648 clauses out of 11302 with flag 59376/18196 10.91/8.82 c cleaning 6828 clauses out of 13655 with flag 87960/26197 12.84/10.74 c cleaning 7913 clauses out of 15826 with flag 118644/35196 14.97/12.71 c cleaning 8956 clauses out of 17913 with flag 155886/45196 17.15/14.87 c cleaning 9971 clauses out of 19958 with flag 191592/56197 20.00/17.70 c cleaning 10990 clauses out of 21987 with flag 232290/68197 23.05/20.53 c cleaning 11995 clauses out of 23996 with flag 275378/81196 26.51/23.90 c cleaning 13001 clauses out of 26001 with flag 321169/95196 29.50/26.82 c cleaning 14001 clauses out of 28002 with flag 377188/110198 32.50/29.61 c cleaning 15000 clauses out of 30000 with flag 429168/126197 36.46/33.47 c cleaning 15996 clauses out of 31999 with flag 485149/143196 40.99/37.79 c cleaning 16984 clauses out of 34004 with flag 547722/161197 45.61/42.14 c cleaning 18000 clauses out of 36022 with flag 613482/180199 49.23/45.70 c cleaning 19001 clauses out of 38019 with flag 667456/200196 53.33/49.60 c cleaning 20000 clauses out of 40019 with flag 721749/221197 58.49/54.37 c cleaning 21002 clauses out of 42018 with flag 788928/243196 63.67/59.22 c cleaning 22007 clauses out of 44017 with flag 863085/266197 68.39/63.89 c cleaning 23000 clauses out of 46010 with flag 946733/290197 73.87/69.04 c cleaning 23999 clauses out of 48012 with flag 1032585/315199 79.65/74.52 c cleaning 25000 clauses out of 50012 with flag 1123340/341198 85.71/80.26 c cleaning 26003 clauses out of 52012 with flag 1217868/368198 91.58/85.71 c cleaning 27000 clauses out of 54007 with flag 1309581/396196 97.35/91.13 c cleaning 28000 clauses out of 56007 with flag 1409769/425196 106.06/98.89 c cleaning 28995 clauses out of 58007 with flag 1524564/455196 113.12/105.54 c cleaning 29998 clauses out of 60013 with flag 1629809/486197 120.82/112.98 c cleaning 30998 clauses out of 62014 with flag 1750451/518196 126.38/118.18 c cleaning 31986 clauses out of 64016 with flag 1849675/551196 134.18/125.57 c cleaning 33001 clauses out of 66031 with flag 1972545/585197 142.98/133.93 c cleaning 34009 clauses out of 68029 with flag 2119473/620196 151.08/141.74 c cleaning 35001 clauses out of 70020 with flag 2251345/656196 158.77/149.09 c cleaning 35998 clauses out of 72019 with flag 2379859/693196 167.89/157.72 c cleaning 36999 clauses out of 74021 with flag 2515014/731196 178.09/167.10 c cleaning 38004 clauses out of 76022 with flag 2675556/770196 188.07/176.60 c cleaning 38996 clauses out of 78019 with flag 2822434/810197 197.26/185.40 c cleaning 39995 clauses out of 80022 with flag 2964422/851196 208.08/195.76 c cleaning 41000 clauses out of 82027 with flag 3123044/893196 218.35/205.58 c cleaning 42003 clauses out of 84027 with flag 3316707/936196 229.66/216.10 c cleaning 43006 clauses out of 86025 with flag 3537948/980197 241.92/226.74 c cleaning 44006 clauses out of 88019 with flag 3775458/1025197 254.54/238.80 c cleaning 45000 clauses out of 90013 with flag 4019046/1071197 269.21/252.77 c cleaning 46001 clauses out of 92013 with flag 4266319/1118197 282.82/265.51 c cleaning 46998 clauses out of 94012 with flag 4499617/1166197 294.33/276.80 c cleaning 48007 clauses out of 96015 with flag 4669573/1215198 307.59/289.64 c cleaning 48989 clauses out of 98007 with flag 4867390/1265197 321.34/302.86 c cleaning 49998 clauses out of 100019 with flag 5062100/1316198 335.03/315.80 c cleaning 50998 clauses out of 102023 with flag 5252198/1368200 348.52/328.75 c cleaning 51999 clauses out of 104021 with flag 5455399/1421196 360.02/339.78 c cleaning 52992 clauses out of 106022 with flag 5648850/1475196 367.65/346.72 c cleaning 54004 clauses out of 108031 with flag 5764391/1530197 375.16/353.91 c cleaning 54990 clauses out of 110027 with flag 5884356/1586197 384.12/361.72 c cleaning 56006 clauses out of 112037 with flag 6006852/1643197 391.22/368.50 c cleaning 57001 clauses out of 114031 with flag 6127518/1701197 403.68/380.48 c cleaning 58005 clauses out of 116029 with flag 6329575/1760196 417.49/393.83 c cleaning 59003 clauses out of 118024 with flag 6556485/1820196 427.23/403.08 c cleaning 59991 clauses out of 120021 with flag 6753131/1881196 435.93/411.48 c cleaning 61004 clauses out of 122031 with flag 6938944/1943197 449.76/424.83 c cleaning 61990 clauses out of 124026 with flag 7161311/2006196 463.89/438.34 c cleaning 63010 clauses out of 126036 with flag 7395254/2070196 479.62/453.58 c cleaning 63990 clauses out of 128027 with flag 7622644/2135197 493.45/466.74 c cleaning 64988 clauses out of 130036 with flag 7858558/2201196 508.30/480.84 c cleaning 66012 clauses out of 132049 with flag 8086481/2268197 527.04/498.97 c cleaning 67013 clauses out of 134039 with flag 8352406/2336199 542.10/513.56 c cleaning 67997 clauses out of 136023 with flag 8613666/2405196 547.19/518.42 c Got one! Elapsed wall clock time (in seconds):518.278 547.19/518.42 o 7521219 547.73/518.86 c Got one! Elapsed wall clock time (in seconds):518.713 547.73/518.86 o 6003480 549.01/519.60 c Got one! Elapsed wall clock time (in seconds):519.458 549.01/519.60 o 5116559 549.61/520.12 c cleaning 48873 clauses out of 97749 with flag 3198/2434919 551.89/522.42 c cleaning 27424 clauses out of 54874 with flag 25918/2440917 554.49/524.71 c cleaning 17206 clauses out of 34452 with flag 59401/2447919 556.90/527.09 c cleaning 12615 clauses out of 25244 with flag 98708/2455917 559.18/529.39 c cleaning 10798 clauses out of 21630 with flag 139783/2464918 562.11/532.11 c cleaning 10401 clauses out of 20831 with flag 186150/2474917 564.10/534.17 c cleaning 10680 clauses out of 21431 with flag 231515/2485918 567.50/537.46 c cleaning 11359 clauses out of 22750 with flag 281364/2497917 571.00/541.01 c cleaning 12195 clauses out of 24391 with flag 343904/2510917 575.06/545.00 c cleaning 13093 clauses out of 26196 with flag 410734/2524917 579.76/549.51 c cleaning 14032 clauses out of 28104 with flag 483226/2539918 583.75/553.59 c cleaning 15033 clauses out of 30071 with flag 551011/2555917 588.22/558.01 c cleaning 16014 clauses out of 32038 with flag 617180/2572917 593.21/562.80 c cleaning 17006 clauses out of 34024 with flag 687243/2590917 598.56/567.99 c cleaning 18009 clauses out of 36018 with flag 769586/2609917 602.86/572.20 c cleaning 18987 clauses out of 38010 with flag 854786/2629918 607.63/576.81 c cleaning 20006 clauses out of 40022 with flag 937219/2650917 613.78/582.82 c cleaning 21009 clauses out of 42017 with flag 1033291/2672918 619.50/588.46 c cleaning 21992 clauses out of 44007 with flag 1123112/2695917 627.89/596.42 c cleaning 22995 clauses out of 46016 with flag 1235800/2719918 634.11/602.55 c cleaning 24008 clauses out of 48022 with flag 1345930/2744919 640.48/608.81 c cleaning 24999 clauses out of 50014 with flag 1457588/2770919 646.77/615.11 c cleaning 25995 clauses out of 52013 with flag 1569924/2797917 650.99/619.14 c cleaning 26988 clauses out of 54019 with flag 1689518/2825918 657.93/625.51 c cleaning 28006 clauses out of 56030 with flag 1807089/2854917 664.65/632.11 c cleaning 29005 clauses out of 58025 with flag 1929561/2884918 672.03/639.45 c cleaning 30009 clauses out of 60019 with flag 2062056/2915917 678.89/646.24 c cleaning 30995 clauses out of 62010 with flag 2179984/2947917 686.39/653.41 c cleaning 31983 clauses out of 64015 with flag 2298752/2980917 694.10/661.11 c cleaning 33011 clauses out of 66033 with flag 2419303/3014918 702.09/668.81 c cleaning 34002 clauses out of 68021 with flag 2536940/3049917 709.25/675.85 c cleaning 35005 clauses out of 70019 with flag 2657570/3085917 715.94/682.45 c cleaning 36004 clauses out of 72014 with flag 2778474/3122917 723.97/690.31 c cleaning 37005 clauses out of 74010 with flag 2912444/3160917 729.81/696.07 c cleaning 37987 clauses out of 76005 with flag 3027132/3199917 735.74/701.50 c cleaning 39001 clauses out of 78019 with flag 3149174/3239918 741.59/707.05 c cleaning 40001 clauses out of 80017 with flag 3275204/3280917 748.34/713.08 c cleaning 41001 clauses out of 82016 with flag 3408624/3322917 755.67/720.04 c cleaning 42003 clauses out of 84017 with flag 3545090/3365919 765.08/729.26 c cleaning 43001 clauses out of 86012 with flag 3691517/3409917 774.49/738.44 c cleaning 43981 clauses out of 88011 with flag 3845023/3454917 784.36/748.01 c cleaning 44989 clauses out of 90031 with flag 4009838/3500918 793.78/757.29 c cleaning 46011 clauses out of 92042 with flag 4163779/3547918 803.39/766.53 c cleaning 47012 clauses out of 94032 with flag 4327854/3595919 813.32/776.14 c cleaning 48009 clauses out of 96021 with flag 4493007/3644920 823.42/785.92 c cleaning 48989 clauses out of 98010 with flag 4646922/3694918 834.41/796.67 c cleaning 49993 clauses out of 100020 with flag 4816826/3745917 844.99/806.99 c cleaning 51012 clauses out of 102028 with flag 4982709/3797918 856.88/818.55 c cleaning 52003 clauses out of 104015 with flag 5151082/3850917 870.54/831.95 c cleaning 53002 clauses out of 106012 with flag 5333500/3904917 882.88/844.08 c cleaning 54002 clauses out of 108010 with flag 5520892/3959917 896.23/857.18 c cleaning 54986 clauses out of 110009 with flag 5720801/4015918 908.69/869.31 c cleaning 55997 clauses out of 112023 with flag 5939086/4072918 922.33/882.57 c cleaning 57001 clauses out of 114025 with flag 6149493/4130917 936.34/896.24 c cleaning 57998 clauses out of 116025 with flag 6360415/4189918 950.82/910.37 c cleaning 59007 clauses out of 118028 with flag 6566067/4249919 964.06/923.33 c cleaning 59999 clauses out of 120019 with flag 6786427/4310917 976.73/935.68 c cleaning 61001 clauses out of 122020 with flag 6978684/4372917 990.58/949.20 c cleaning 62003 clauses out of 124020 with flag 7190794/4435918 1006.02/964.22 c cleaning 62989 clauses out of 126017 with flag 7400774/4499918 1023.64/981.33 c cleaning 64002 clauses out of 128028 with flag 7622971/4564918 1042.65/998.42 c cleaning 65003 clauses out of 130026 with flag 7850397/4630918 1057.62/1013.05 c cleaning 66003 clauses out of 132022 with flag 8067707/4697917 1075.46/1030.43 c cleaning 66993 clauses out of 134019 with flag 8291082/4765917 1091.34/1046.06 c cleaning 68012 clauses out of 136027 with flag 8528081/4834918 1107.93/1062.49 c cleaning 69002 clauses out of 138014 with flag 8766952/4904917 1124.66/1078.75 c cleaning 70001 clauses out of 140012 with flag 9023191/4975917 1141.73/1095.50 c cleaning 71006 clauses out of 142012 with flag 9279868/5047918 1162.46/1115.80 c cleaning 71991 clauses out of 144006 with flag 9552017/5120918 1183.86/1136.74 c cleaning 73001 clauses out of 146015 with flag 9860736/5194918 1206.25/1158.60 c cleaning 74002 clauses out of 148015 with flag 10149500/5269919 1225.79/1177.87 c cleaning 74989 clauses out of 150016 with flag 10434430/5345922 1243.92/1195.44 c cleaning 76003 clauses out of 152022 with flag 10722066/5422917 1262.30/1213.43 c cleaning 76992 clauses out of 154020 with flag 11011162/5500918 1283.51/1234.09 c cleaning 78006 clauses out of 156027 with flag 11307578/5579917 1302.97/1252.97 c cleaning 78982 clauses out of 158021 with flag 11599974/5659917 1320.30/1269.80 c cleaning 80003 clauses out of 160039 with flag 11894493/5740917 1335.74/1285.13 c cleaning 81002 clauses out of 162036 with flag 12179478/5822917 1357.80/1306.61 c cleaning 81987 clauses out of 164035 with flag 12490187/5905918 1378.36/1326.88 c cleaning 83018 clauses out of 166047 with flag 12800353/5989917 1397.13/1345.30 c cleaning 83977 clauses out of 168029 with flag 13092375/6074917 1414.46/1362.10 c cleaning 85010 clauses out of 170053 with flag 13380193/6160918 1435.56/1382.80 c cleaning 86013 clauses out of 172044 with flag 13679076/6247919 1455.37/1402.12 c cleaning 86994 clauses out of 174030 with flag 14005854/6335918 1477.89/1424.23 c cleaning 87993 clauses out of 176037 with flag 14316054/6424919 1497.22/1443.19 c cleaning 89014 clauses out of 178043 with flag 14606915/6514918 1519.75/1465.20 c cleaning 90004 clauses out of 180028 with flag 14911353/6605917 1540.59/1485.71 c cleaning 90991 clauses out of 182025 with flag 15225129/6697918 1566.07/1510.62 c cleaning 92008 clauses out of 184034 with flag 15530792/6790918 1588.36/1532.47 c cleaning 92992 clauses out of 186025 with flag 15842932/6884917 1605.42/1548.10 c cleaning 94000 clauses out of 188034 with flag 16112897/6979918 1629.94/1571.89 c cleaning 95009 clauses out of 190033 with flag 16424017/7075917 1656.13/1597.62 c cleaning 96009 clauses out of 192024 with flag 16761829/7172917 1680.14/1621.24 c cleaning 96995 clauses out of 194016 with flag 17047524/7270918 1704.38/1644.77 c cleaning 97991 clauses out of 196020 with flag 17349750/7369917 1725.28/1665.11 c cleaning 98988 clauses out of 198029 with flag 17645075/7469917 1748.35/1687.65 c cleaning 99998 clauses out of 200042 with flag 17961968/7570918 1773.19/1712.06 c cleaning 101009 clauses out of 202043 with flag 18321009/7672917 1797.53/1735.80 c cleaning 101999 clauses out of 204036 with flag 18677493/7775919 1823.20/1760.97 c cleaning 103012 clauses out of 206037 with flag 19027145/7879919 1849.33/1786.47 c cleaning 104008 clauses out of 208024 with flag 19374154/7984918 1874.64/1811.20 c cleaning 104992 clauses out of 210017 with flag 19703583/8090919 1902.44/1838.45 c cleaning 106003 clauses out of 212023 with flag 20062727/8197917 1932.21/1867.66 c cleaning 106979 clauses out of 214021 with flag 20456579/8305918 1955.74/1890.74 c cleaning 108006 clauses out of 216041 with flag 20807917/8414917 1980.01/1914.32 c cleaning 109014 clauses out of 218036 with flag 21146135/8524918 2005.33/1938.93 c cleaning 109990 clauses out of 220022 with flag 21494658/8635918 2030.37/1963.48 c cleaning 111004 clauses out of 222031 with flag 21853096/8747917 2054.90/1987.42 c cleaning 111989 clauses out of 224028 with flag 22217140/8860918 2083.16/2014.97 c cleaning 112999 clauses out of 226039 with flag 22565361/8974918 2110.79/2042.12 c cleaning 114010 clauses out of 228039 with flag 22932283/9089917 2138.03/2068.81 c cleaning 114993 clauses out of 230030 with flag 23338949/9205918 2163.50/2093.83 c cleaning 115997 clauses out of 232037 with flag 23725531/9322918 2191.50/2121.08 c cleaning 117005 clauses out of 234040 with flag 24126685/9440918 2223.34/2152.35 c cleaning 117991 clauses out of 236034 with flag 24533197/9559917 2253.64/2181.98 c cleaning 119007 clauses out of 238044 with flag 24932055/9679918 2287.40/2215.09 c cleaning 120003 clauses out of 240036 with flag 25397363/9800917 2312.90/2239.85 c cleaning 121018 clauses out of 242035 with flag 25813261/9922919 2339.77/2264.70 c cleaning 121997 clauses out of 244017 with flag 26215037/10045919 2368.89/2293.16 c cleaning 123005 clauses out of 246020 with flag 26613031/10169919 2401.76/2325.24 c cleaning 123985 clauses out of 248014 with flag 27025376/10294918 2431.62/2354.41 c cleaning 124997 clauses out of 250028 with flag 27439426/10420917 2458.58/2380.95 c cleaning 126010 clauses out of 252033 with flag 27866475/10547919 2487.73/2409.52 c cleaning 126995 clauses out of 254021 with flag 28314448/10675917 2518.09/2439.36 c cleaning 128007 clauses out of 256027 with flag 28752087/10804918 2549.65/2470.10 c cleaning 128992 clauses out of 258019 with flag 29192466/10934917 2584.32/2504.02 c cleaning 129997 clauses out of 260027 with flag 29619487/11065917 2613.90/2532.82 c cleaning 130999 clauses out of 262031 with flag 30033634/11197918 2647.24/2565.53 c cleaning 132003 clauses out of 264032 with flag 30511558/11330918 2677.29/2595.04 c cleaning 132996 clauses out of 266030 with flag 30945349/11464919 2714.92/2631.86 c cleaning 134014 clauses out of 268033 with flag 31409719/11599918 2748.10/2664.37 c cleaning 135005 clauses out of 270018 with flag 31873931/11735917 2781.79/2697.38 c cleaning 135985 clauses out of 272014 with flag 32346541/11872918 2820.18/2734.85 c cleaning 137007 clauses out of 274032 with flag 32842989/12010921 2862.74/2776.65 c cleaning 137997 clauses out of 276021 with flag 33329520/12149917 2902.19/2815.28 c cleaning 139002 clauses out of 278024 with flag 33840846/12289917 2941.12/2853.46 c cleaning 140002 clauses out of 280023 with flag 34360610/12430918 2981.99/2893.44 c cleaning 141000 clauses out of 282021 with flag 34856116/12572918 3012.65/2923.32 c cleaning 141995 clauses out of 284020 with flag 35318184/12715917 3051.61/2961.61 c cleaning 143001 clauses out of 286025 with flag 35782743/12859917 3083.07/2992.67 c cleaning 144006 clauses out of 288024 with flag 36228382/13004917 3123.14/3030.20 c cleaning 145003 clauses out of 290020 with flag 36724940/13150919 3161.65/3067.91 c cleaning 145992 clauses out of 292015 with flag 37232162/13297917 3203.12/3108.67 c cleaning 147010 clauses out of 294023 with flag 37770595/13445917 3244.19/3148.72 c cleaning 147996 clauses out of 296013 with flag 38341022/13594917 3286.26/3190.12 c cleaning 148997 clauses out of 298018 with flag 38924518/13744918 3329.02/3232.04 c cleaning 149984 clauses out of 300020 with flag 39495568/13895917 3376.08/3278.25 c cleaning 151008 clauses out of 302036 with flag 40067614/14047917 3414.25/3315.66 c cleaning 151977 clauses out of 304029 with flag 40582112/14200918 3454.30/3355.07 c cleaning 153003 clauses out of 306052 with flag 41074936/14354918 3496.16/3395.99 c cleaning 154013 clauses out of 308048 with flag 41552897/14509917 3533.73/3432.78 c cleaning 155009 clauses out of 310035 with flag 42051565/14665917 3576.59/3474.84 c cleaning 156006 clauses out of 312027 with flag 42571533/14822918 3600.78/3498.26 c starts : 21176 3600.78/3498.26 c conflicts : 14927153 3600.78/3498.26 c decisions : 50139623 3600.78/3498.26 c propagations : 3250935150 3600.78/3498.26 c inspects : 16059776385 3600.78/3498.26 c shortcuts : 0 3600.78/3498.26 c learnt literals : 0 3600.78/3498.26 c learnt binary clauses : 0 3600.78/3498.26 c learnt ternary clauses : 0 3600.78/3498.26 c learnt constraints : 14927153 3600.78/3498.26 c ignored constraints : 0 3600.78/3498.28 c root simplifications : 0 3600.78/3498.28 c removed literals (reason simplification) : 0 3600.78/3498.28 c reason swapping (by a shorter reason) : 0 3600.78/3498.28 c Calls to reduceDB : 218 3600.78/3498.28 c Number of update (reduction) of LBD : 3157532 3600.78/3498.28 c Imported unit clauses : 0 3600.78/3498.28 c No decision after first conflict : false 3600.78/3498.28 c number of reductions to clauses (during analyze) : 0 3600.78/3498.28 c number of learned constraints concerned by reduction : 0 3600.78/3498.28 c number of learning phase by resolution : 0 3600.78/3498.28 c number of learning phase by cutting planes : 0 3600.78/3498.28 c number of rounding to 1 operations : 0 3600.78/3498.28 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.78/3498.28 c number of reductions of the coefficients by power 2 : 0 3600.78/3498.28 c number of right shift for reduction by power 2 : 0 3600.78/3498.28 c number of reductions of the coefficients by GCD over coefficients : 0 3600.78/3498.28 c number of ending skipping : 0 3600.78/3498.28 c number of internal skipping : 0 3600.78/3498.28 c number of derivation steps : 0 3600.78/3498.28 c number of skipped derivation steps : 0 3600.78/3498.28 c number of remaining unassigned : 0 3600.78/3498.28 c number of remaining assigned : 0 3600.78/3498.28 c number of falsified literals weakened from reason : 0 3600.78/3498.28 c number of falsified literals weakened from conflict : 0 3600.78/3498.28 c time for arithmetic operations : 0 3600.78/3498.28 c minimum degree of deleted constraints : null 3600.78/3498.28 c maximum degree of deleted constraints : null 3600.78/3498.28 c number of deleted constraints : 0 3600.78/3498.28 c speed (assignments/second) : 929392.7979340825 3600.78/3498.28 c non guided choices : 137 3600.98/3498.36 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 260256 3600.98/3498.36 s SATISFIABLE 3600.98/3498.36 c Found 4 solution(s) 3600.98/3498.36 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 x1142 x1143 x1144 x1145 -x1146 x1147 x1148 x1149 -x1150 x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 x1298 x1299 x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 x1622 x1623 x1624 x1625 x1626 x1627 x1628 x1629 x1630 x1631 x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 x2402 x2403 x2404 x2405 x2406 x2407 x2408 x2409 x2410 -x2411 x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 x2438 x2439 x2440 -x2441 -x2442 -x2443 x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 x2497 -x2498 -x2499 -x2500 -x2501 x2502 x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 x3191 -x3192 x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 x3431 -x3432 x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 x3671 x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 x4148 -x4149 x4150 x4151 x4152 -x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 x4448 x4449 -x4450 -x4451 x4452 -x4453 x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 x4781 -x4782 x4783 x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 x4892 x4893 x4894 x4895 x4896 x4897 x4898 x4899 x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 x5111 -x5112 x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 x5381 x5382 -x5383 -x5384 x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 x5498 x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 x5978 -x5979 x5980 x5981 x5982 x5983 x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 x6522 -x6523 x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 x7092 x7093 -x7094 x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 x7441 -x7442 -x7443 -x7444 -x7445 x7446 -x7447 x7448 x7449 x7450 x7451 x7452 x7453 x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 x7531 x7532 x7533 x7534 x7535 -x7536 x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 x7581 -x7582 -x7583 -x7584 x7585 -x7586 -x7587 -x7588 -x7589 x7590 x7591 -x7592 x7593 -x7594 -x7595 -x7596 -x7597 -x7598 x7599 -x7600 -x7601 -x7602 -x7603 x7604 -x7605 -x7606 -x7607 x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 x7615 -x7616 -x7617 -x7618 -x7619 -x7620 x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 x7637 -x7638 -x7639 -x7640 x7641 x7642 -x7643 x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 x7667 -x7668 -x7669 -x7670 x7671 -x7672 -x7673 -x7674 x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 x7709 -x7710 -x7711 -x7712 -x7713 -x7714 x7715 -x7716 -x7717 -x7718 -x7719 x7720 -x7721 -x7722 -x7723 x7724 x7725 -x7726 -x7727 -x7728 -x7729 -x7730 x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 x7740 -x7741 -x7742 -x7743 x7744 -x7745 -x7746 x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 -x7798 -x7799 x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 x7809 -x7810 -x7811 x7812 3600.98/3498.36 c objective function=5116559 3600.98/3498.36 c Total wall clock time (in seconds): 3498.217
OK 5116559
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 (51970 MiB free)
memory of node 1: 64473 MiB (50429 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432164-1721066075/watcher-4432164-1721066075 -o /tmp/evaluation-result-4432164-1721066075/solver-4432164-1721066075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721062551-806264 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432164-1721066075.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=807956, runsolver pid=807953
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.10 4.25 4.28 7/318 807974
/proc/meminfo: memFree=104819748/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=18975048 memory=58516 CPUtime=0.14 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 6771 0 0 0 12 2 0 0 20 0 18 0 158764656 19430449152 14629 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4743762 14629 5539 1 0 551044 0
[pid=807956/tid=807958] ppid=807953 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 5679 0 0 0 7 2 0 0 20 0 18 0 158764657 19430449152 14629 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158764661 19430449152 14629 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=18975048 memory=14698495668050282 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158764662 19430449152 14629 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58516 KiB
[startup+0.216571 s]*
/proc/loadavg: 4.10 4.25 4.28 5/318 807974
/proc/meminfo: memFree=104806808/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=18975048 memory=72040 CPUtime=0.35 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 7359 0 0 0 32 3 0 0 20 0 18 0 158764656 19430449152 18010 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4743762 18010 5730 1 0 551569 0
[pid=807956/tid=807958] ppid=807953 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) S 807953 807956 806254 0 -1 1077936192 5910 0 0 0 17 2 0 0 20 0 18 0 158764657 19430449152 18010 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=18975048 memory=4674 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158764661 19430449152 18010 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158764662 19430449152 18010 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72040 KiB
[startup+0.310301 s]*
/proc/loadavg: 4.10 4.25 4.28 7/318 807974
/proc/meminfo: memFree=104789956/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=18975048 memory=91364 CPUtime=0.54 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 7513 0 0 0 51 3 0 0 20 0 18 0 158764656 19430449152 22841 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4743762 22841 5799 1 0 551678 0
[pid=807956/tid=807958] ppid=807953 vsize=18975048 memory=-8960018546924298940 CPUtime=0.29 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 5990 0 0 0 27 2 0 0 20 0 18 0 158764657 19430449152 22841 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158764661 19430449152 22841 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158764662 19430449152 22841 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 91364 KiB
[startup+0.700508 s]
/proc/loadavg: 4.10 4.25 4.28 7/319 807975
/proc/meminfo: memFree=104781240/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19041612 memory=111960 CPUtime=1.24 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 14115 0 0 0 120 4 0 0 20 0 19 0 158764656 19498610688 27990 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4760403 27990 5837 1 0 555573 0
[pid=807956/tid=807958] ppid=807953 vsize=19041612 memory=5540 CPUtime=0.58 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 6085 0 0 0 56 2 0 0 20 0 19 0 158764657 19498610688 27990 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19041612 memory=12508 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158764661 19498610688 27990 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=19041612 memory=164 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158764662 19498610688 27990 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807975] ppid=807953 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/807956/task/807975/stat : 807975 (Timer-0) S 807953 807956 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158764692 19498610688 27990 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111960 KiB
[startup+1.5005 s]
/proc/loadavg: 4.25 4.28 4.29 7/319 807975
/proc/meminfo: memFree=104754388/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19041612 memory=155472 CPUtime=2.43 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 15885 0 0 0 238 5 0 0 20 0 19 0 158764656 19498610688 38868 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4760403 38868 5852 1 0 555972 0
[pid=807956/tid=807958] ppid=807953 vsize=19041612 memory=12508 CPUtime=1.37 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 6210 0 0 0 134 3 0 0 20 0 19 0 158764657 19498610688 38868 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158764661 19498610688 38868 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158764662 19498610688 38868 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807975] ppid=807953 vsize=19041612 memory=280101258437904 CPUtime=0 cores=0,2
/proc/807956/task/807975/stat : 807975 (Timer-0) S 807953 807956 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158764692 19498610688 38868 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 155472 KiB
[startup+3.10553 s]
/proc/loadavg: 4.25 4.28 4.29 6/320 807976
/proc/meminfo: memFree=104610056/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19108176 memory=209648 CPUtime=4.37 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 20714 0 0 0 429 8 0 0 20 0 20 0 158764656 19566772224 52412 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4777044 52412 5900 1 0 556321 0
[pid=807956/tid=807958] ppid=807953 vsize=19108176 memory=0 CPUtime=2.78 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 7578 0 0 0 274 4 0 0 20 0 20 0 158764657 19566772224 52412 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158764661 19566772224 52412 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 158764662 19566772224 52412 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807975] ppid=807953 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/807956/task/807975/stat : 807975 (Timer-0) S 807953 807956 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158764692 19566772224 52412 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 4.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 209648 KiB
[startup+6.30045 s]
/proc/loadavg: 4.23 4.28 4.29 6/320 807976
/proc/meminfo: memFree=104427320/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19108176 memory=247592 CPUtime=8.14 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 21765 0 0 0 805 9 0 0 20 0 20 0 158764656 19566772224 61898 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4777044 61898 5900 1 0 556327 0
[pid=807956/tid=807958] ppid=807953 vsize=19108176 memory=12508 CPUtime=5.77 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 7611 0 0 0 573 4 0 0 20 0 20 0 158764657 19566772224 61898 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158764661 19566772224 61898 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=19108176 memory=163664 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 158764662 19566772224 61898 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807975] ppid=807953 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/807956/task/807975/stat : 807975 (Timer-0) S 807953 807956 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158764692 19566772224 61898 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 8.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 247592 KiB
[startup+12.7005 s]
/proc/loadavg: 4.22 4.27 4.29 5/320 807977
/proc/meminfo: memFree=104028300/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19108176 memory=593500 CPUtime=14.97 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 27338 0 0 0 1481 16 0 0 20 0 20 0 158764656 19566772224 148375 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4777044 148375 5900 1 0 911427 0
[pid=807956/tid=807958] ppid=807953 vsize=19108176 memory=0 CPUtime=11.62 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 8409 0 0 0 1156 6 0 0 20 0 20 0 158764657 19566772224 148375 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19108176 memory=-8960018546924298940 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158764661 19566772224 148375 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=19108176 memory=2264 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 158764662 19566772224 148375 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807975] ppid=807953 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/807956/task/807975/stat : 807975 (Timer-0) S 807953 807956 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158764692 19566772224 148375 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 14.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 593500 KiB
[startup+25.5005 s]
/proc/loadavg: 4.74 4.38 4.32 6/320 808115
/proc/meminfo: memFree=120154364/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19108176 memory=1201304 CPUtime=28.21 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 31191 0 0 0 2794 27 0 0 20 0 20 0 158764656 19566772224 300326 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4777044 300326 5900 1 0 1235196 0
[pid=807956/tid=807958] ppid=807953 vsize=19108176 memory=11420 CPUtime=23.75 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 9508 0 0 0 2364 11 0 0 20 0 20 0 158764657 19566772224 300326 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158764661 19566772224 300326 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=19108176 memory=42536 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 158764662 19566772224 300326 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807975] ppid=807953 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/807956/task/807975/stat : 807975 (Timer-0) S 807953 807956 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158764692 19566772224 300326 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 28.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1201304 KiB
[startup+51.1128 s]
/proc/loadavg: 4.76 4.42 4.34 5/319 808119
/proc/meminfo: memFree=113358332/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19108176 memory=2470388 CPUtime=55.13 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 37911 0 0 0 5459 54 0 0 20 0 20 0 158764656 19566772224 617597 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4777044 617597 5932 1 0 1350096 0
[pid=807956/tid=807958] ppid=807953 vsize=19108176 memory=1881556 CPUtime=48.05 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 10786 0 0 0 4787 18 0 0 20 0 20 0 158764657 19566772224 617597 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 646 0 0 0 0 0 0 0 20 0 20 0 158764662 19566772224 3508893 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807975] ppid=807953 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/807956/task/807975/stat : 807975 (Timer-0) S 807953 807956 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158764692 19566772224 3508893 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 3257.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14035572 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.24 4.29 5/318 809879
/proc/meminfo: memFree=77421620/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19108176 memory=14035580 CPUtime=3319.02 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 322775 0 0 0 331448 454 0 0 20 0 20 0 158764656 19566772224 3508895 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4777044 3508895 5932 1 0 4091185 0
[pid=807956/tid=807958] ppid=807953 vsize=19108176 memory=0 CPUtime=3105.73 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 79072 0 0 0 310484 89 0 0 20 0 20 0 158764657 19566772224 3508895 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19108176 memory=14035580 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158764661 19566772224 3508895 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 648 0 0 0 0 0 0 0 20 0 20 0 158764662 19566772224 3508895 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807975] ppid=807953 vsize=19108176 memory=14035580 CPUtime=0 cores=0,2
/proc/807956/task/807975/stat : 807975 (Timer-0) S 807953 807956 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158764692 19566772224 3508895 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 3319.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14035580 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.24 4.29 5/318 809891
/proc/meminfo: memFree=77421000/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19108176 memory=14035580 CPUtime=3380.27 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 324920 0 0 0 337570 457 0 0 20 0 20 0 158764656 19566772224 3508895 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4777044 3508895 5932 1 0 4091185 0
[pid=807956/tid=807958] ppid=807953 vsize=19108176 memory=14035580 CPUtime=3164.05 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) S 807953 807956 806254 0 -1 1077936192 80243 0 0 0 316316 89 0 0 20 0 20 0 158764657 19566772224 3508895 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19108176 memory=42536 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158764661 19566772224 3508895 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 699 0 0 0 0 0 0 0 20 0 20 0 158764662 19566772224 3508895 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807975] ppid=807953 vsize=19108176 memory=14035580 CPUtime=0 cores=0,2
/proc/807956/task/807975/stat : 807975 (Timer-0) S 807953 807956 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158764692 19566772224 3508895 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 3380.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14035580 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.24 4.28 5/318 809968
/proc/meminfo: memFree=92307172/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19108176 memory=14035600 CPUtime=3441.38 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 325691 0 0 0 343678 460 0 0 20 0 20 0 158764656 19566772224 3508900 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4777044 3508900 5932 1 0 4091185 0
[pid=807956/tid=807958] ppid=807953 vsize=19108176 memory=14035592 CPUtime=3222.47 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 80839 0 0 0 322157 90 0 0 20 0 20 0 158764657 19566772224 3508900 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19108176 memory=42536 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158764661 19566772224 3508900 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=19108176 memory=14035592 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 700 0 0 0 0 0 0 0 20 0 20 0 158764662 19566772224 3508900 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807975] ppid=807953 vsize=19108176 memory=2340 CPUtime=0 cores=0,2
/proc/807956/task/807975/stat : 807975 (Timer-0) S 807953 807956 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158764692 19566772224 3508900 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 3441.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14035600 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.23 4.27 5/319 809982
/proc/meminfo: memFree=91940500/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19108176 memory=14035600 CPUtime=3502.54 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 326536 0 0 0 349792 462 0 0 20 0 20 0 158764656 19566772224 3508900 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4777044 3508900 5932 1 0 4091185 0
[pid=807956/tid=807958] ppid=807953 vsize=19108176 memory=14035600 CPUtime=3280.87 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 81466 0 0 0 327997 90 0 0 20 0 20 0 158764657 19566772224 3508900 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19108176 memory=14035600 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158764661 19566772224 3508900 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=19108176 memory=14035600 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 700 0 0 0 0 0 0 0 20 0 20 0 158764662 19566772224 3508900 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807975] ppid=807953 vsize=19108176 memory=14035600 CPUtime=0 cores=0,2
/proc/807956/task/807975/stat : 807975 (Timer-0) S 807953 807956 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158764692 19566772224 3508900 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 3502.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14035600 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.20 4.26 5/319 809993
/proc/meminfo: memFree=91648140/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19108176 memory=14035604 CPUtime=3563.82 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 327446 0 0 0 355916 466 0 0 20 0 20 0 158764656 19566772224 3508901 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4777044 3508901 5932 1 0 4091185 0
[pid=807956/tid=807958] ppid=807953 vsize=19108176 memory=11420 CPUtime=3339.07 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 81902 0 0 0 333817 90 0 0 20 0 20 0 158764657 19566772224 3508901 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19108176 memory=14035592 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158764661 19566772224 3508901 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=19108176 memory=14035604 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 700 0 0 0 0 0 0 0 20 0 20 0 158764662 19566772224 3508901 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807975] ppid=807953 vsize=19108176 memory=14035604 CPUtime=0 cores=0,2
/proc/807956/task/807975/stat : 807975 (Timer-0) S 807953 807956 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158764692 19566772224 3508901 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 3563.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14035604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3497.8 s]
/proc/loadavg: 4.27 4.22 4.27 5/319 810065
/proc/meminfo: memFree=104225664/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19108176 memory=14035604 CPUtime=3600 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 327723 0 0 0 359532 468 0 0 20 0 20 0 158764656 19566772224 3508901 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4777044 3508901 5932 1 0 4091185 0
[pid=807956/tid=807958] ppid=807953 vsize=19108176 memory=14035604 CPUtime=3373.63 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) R 807953 807956 806254 0 -1 4194368 81921 0 0 0 337273 90 0 0 20 0 20 0 158764657 19566772224 3508901 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158764661 19566772224 3508901 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=19108176 memory=14035604 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 700 0 0 0 0 0 0 0 20 0 20 0 158764662 19566772224 3508901 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807975] ppid=807953 vsize=19108176 memory=14035604 CPUtime=0 cores=0,2
/proc/807956/task/807975/stat : 807975 (Timer-0) S 807953 807956 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158764692 19566772224 3508901 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14035604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3498.43 s]
# the end of solver process 807956 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.47 s, system=4.73088 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3498 s]*
/proc/loadavg: 4.27 4.22 4.27 6/321 810068
/proc/meminfo: memFree=104225328/131655788 swapFree=131071996/131071996
[pid=807956] ppid=807953 vsize=19307868 memory=14036076 CPUtime=3600.4 cores=0,2
/proc/807956/stat : 807956 (java) S 807953 807956 806254 0 -1 1077936128 329320 0 0 0 359572 468 0 0 20 0 22 0 158764656 19771256832 3509019 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
/proc/807956/statm: 4826967 3509019 5931 1 0 4092061 0
[pid=807956/tid=807958] ppid=807953 vsize=19307868 memory=-8528245858302796476 CPUtime=3373.65 cores=0,2
/proc/807956/task/807958/stat : 807958 (java) S 807953 807956 806254 0 -1 1077936192 81957 0 0 0 337275 90 0 0 20 0 22 0 158764657 19771256832 3509019 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807967] ppid=807953 vsize=19307868 memory=5012 CPUtime=0 cores=0,2
/proc/807956/task/807967/stat : 807967 (Finalizer) S 807953 807956 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 158764661 19771256832 3509019 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=807974] ppid=807953 vsize=19307868 memory=4092820 CPUtime=0 cores=0,2
/proc/807956/task/807974/stat : 807974 (Common-Cleaner) S 807953 807956 806254 0 -1 1077936192 700 0 0 0 0 0 0 0 20 0 22 0 158764662 19771256832 3509019 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=810067] ppid=807953 vsize=19307868 memory=2664 CPUtime=0 cores=0,2
/proc/807956/task/810067/stat : 810067 (Thread-0) S 807953 807956 806254 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 22 0 159114438 19771256832 3509019 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
[pid=807956/tid=810068] ppid=807953 vsize=19307868 memory=4868 CPUtime=0 cores=0,2
/proc/807956/task/810068/stat : 810068 (Logging-Cleaner) S 807953 807956 806254 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 22 0 159114438 19771256832 3509019 134679101440 94084883877888 94084883881584 140732153996112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94084883889400 94084883890192 94084913758208 140732154000391 140732154000481 140732154000481 140732154007496 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14036076 KiB
[startup+3498.4 s]*
/proc/loadavg: 4.27 4.22 4.27 5/301 810068
/proc/meminfo: memFree=107980976/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3498.43
CPU time (s): 3601.2
CPU user time (s): 3596.47
CPU system time (s): 4.73088
CPU usage (%): 102.938
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14036452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.47
system time used= 4.73088
maximum resident set size= 14037304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331059
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126324
involuntary context switches= 31313
# summary of solver processes directly reported to runsolver:
# pid: 807956
# total CPU time (s): 3601.2
# total CPU user time (s): 3596.47
# total CPU system time (s): 4.73088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8365 second user time and 33.2694 second system time
The end
Begin job on nodeC011 at 2024-07-15 19:54:48 IDJOB=4432164 IDBENCH=146763 IDSOLVER=3058 FILE ID=nodeC011/4432164-1721066075 RUNJOBID= nodeC011-1721062551-806264 SLURM_JOB_ID= 7505516 Free space on /tmp= 723776 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432164-1721066075/watcher-4432164-1721066075 -o /tmp/evaluation-result-4432164-1721066075/solver-4432164-1721066075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721062551-806264 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432164-1721066075.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4 RANDOM SEED=1736916822 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.626 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 : 1197.290 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 : 1596.168 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 : 3651.664 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 : 3491.601 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 : 3567.008 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.288 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 : 1596.270 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: 104857860 kB MemAvailable: 109960196 kB Buffers: 391120 kB Cached: 5490060 kB SwapCached: 0 kB Active: 661232 kB Inactive: 25430668 kB Active(anon): 1452 kB Inactive(anon): 20247288 kB Active(file): 659780 kB Inactive(file): 5183380 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1220 kB Writeback: 0 kB AnonPages: 20211232 kB Mapped: 124052 kB Shmem: 37704 kB KReclaimable: 198748 kB Slab: 308768 kB SReclaimable: 198748 kB SUnreclaim: 110020 kB KernelStack: 4812 kB PageTables: 49684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 25540716 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51392 kB HardwareCorrupted: 0 kB AnonHugePages: 19920896 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= 723768 MiB End job on nodeC011 at 2024-07-15 20:53:06