Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | MSAT (TO) | 1800.74 | 1777.67 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo |
| MD5SUM | 3f020b13e6cf17982f0e6d51d5561da8 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 8550 |
| Total number of constraints | 185 |
| Number of soft constraints | 61 |
| Number of constraints which are clauses | 95 |
| Number of constraints which are cardinality constraints (but not clauses) | 90 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 90 |
| Maximum length of a constraint | 95 |
| Top cost | 3342 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 3341 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 96 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version PB16.v20160501 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.12 c Pseudo Boolean Optimization by upper bound 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.12 c No reason simplification 0.07/0.12 c Glucose 2.1 dynamic restart strategy 0.07/0.12 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.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 c solving HOME/instance-4090648-1466064379.wbo 0.07/0.12 c reading problem ... 0.52/0.32 c ... done. Wall clock time 0.201s. 0.52/0.32 c declared #vars 8550 0.52/0.32 c internal #vars 8611 0.52/0.32 c #constraints 185 0.52/0.32 c constraints type 0.52/0.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 95 0.52/0.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 57 0.52/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 33 0.52/0.33 c 185 constraints processed. 0.52/0.33 c objective function length is 61 literals 1.59/1.10 c cleaning 2498 clauses out of 5002 with flag 34438/5002 2.84/2.05 c cleaning 4245 clauses out of 8502 with flag 84022/11000 4.04/3.23 c cleaning 5624 clauses out of 11257 with flag 138818/18000 5.56/4.73 c cleaning 6814 clauses out of 13633 with flag 202492/26000 7.49/6.66 c cleaning 7906 clauses out of 15820 with flag 277472/35001 9.74/8.89 c cleaning 8947 clauses out of 17918 with flag 363089/45005 12.34/11.40 c cleaning 9974 clauses out of 19967 with flag 448635/56001 15.54/14.67 c cleaning 10989 clauses out of 21994 with flag 556450/68002 19.63/18.56 c cleaning 11996 clauses out of 24004 with flag 678564/81001 23.64/22.55 c cleaning 12997 clauses out of 26007 with flag 804846/95000 28.54/27.42 c cleaning 13999 clauses out of 28011 with flag 943447/110001 33.46/32.19 c cleaning 15001 clauses out of 30011 with flag 1078151/126000 38.66/37.33 c cleaning 16003 clauses out of 32013 with flag 1224761/143003 44.78/43.39 c cleaning 16997 clauses out of 34009 with flag 1382586/161002 51.09/49.65 c cleaning 17998 clauses out of 36012 with flag 1551417/180002 58.33/56.79 c cleaning 19002 clauses out of 38013 with flag 1714251/200001 65.64/64.04 c cleaning 19999 clauses out of 40010 with flag 1901143/221000 74.21/72.49 c cleaning 21000 clauses out of 42014 with flag 2101947/243003 82.92/81.15 c cleaning 21999 clauses out of 44012 with flag 2317869/266001 91.37/89.31 c SATISFIABLE 91.37/89.31 c OPTIMIZING... 91.37/89.31 c Got one! Elapsed wall clock time (in seconds):89.187 91.37/89.31 o 169 93.81/91.70 c cleaning 23720 clauses out of 47447 with flag 42602/291435 95.81/93.73 c cleaning 14856 clauses out of 29725 with flag 106701/297433 97.71/95.68 c cleaning 10931 clauses out of 21871 with flag 181124/304435 99.95/97.65 c cleaning 9464 clauses out of 18938 with flag 258962/312433 102.25/99.93 c cleaning 9232 clauses out of 18476 with flag 348947/321435 104.25/101.95 c cleaning 9613 clauses out of 19243 with flag 427288/331434 106.79/104.35 c cleaning 10308 clauses out of 20630 with flag 518905/342434 109.49/107.00 c cleaning 11157 clauses out of 22325 with flag 624928/354437 113.04/110.42 c cleaning 12075 clauses out of 24164 with flag 739934/367433 116.65/114.01 c cleaning 13039 clauses out of 26090 with flag 873767/381434 121.20/118.55 c cleaning 14018 clauses out of 28051 with flag 1025556/396434 125.50/122.84 c cleaning 15008 clauses out of 30032 with flag 1170351/412433 130.68/127.92 c cleaning 16003 clauses out of 32024 with flag 1332703/429433 136.72/133.96 c cleaning 17007 clauses out of 34021 with flag 1495795/447433 142.92/140.09 c cleaning 18003 clauses out of 36015 with flag 1690058/466434 148.61/145.68 c cleaning 18997 clauses out of 38011 with flag 1877341/486433 154.31/151.35 c cleaning 20003 clauses out of 40019 with flag 2060723/507438 161.92/158.87 c cleaning 20994 clauses out of 42011 with flag 2290402/529433 169.26/166.17 c cleaning 21999 clauses out of 44018 with flag 2526572/552434 176.82/173.66 c cleaning 22997 clauses out of 46020 with flag 2749180/576435 185.79/182.53 c cleaning 24004 clauses out of 48021 with flag 2989027/601433 195.58/192.30 c cleaning 25005 clauses out of 50021 with flag 3224325/627437 205.19/201.77 c cleaning 26001 clauses out of 52015 with flag 3453168/654436 215.76/212.12 c cleaning 26997 clauses out of 54011 with flag 3710349/682433 226.28/222.60 c cleaning 27997 clauses out of 56015 with flag 3954899/711434 237.52/233.70 c cleaning 28992 clauses out of 58017 with flag 4211402/741433 247.34/243.49 c cleaning 30002 clauses out of 60025 with flag 4459951/772433 258.77/254.70 c cleaning 31001 clauses out of 62023 with flag 4709736/804433 271.63/267.47 c cleaning 32002 clauses out of 64022 with flag 4971321/837433 287.35/283.09 c cleaning 33002 clauses out of 66021 with flag 5302679/871434 304.56/300.17 c cleaning 33999 clauses out of 68018 with flag 5621032/906433 321.04/316.52 c cleaning 34995 clauses out of 70021 with flag 5948011/942435 339.24/334.56 c cleaning 36002 clauses out of 72024 with flag 6254384/979433 359.47/354.65 c cleaning 37003 clauses out of 74025 with flag 6597547/1017436 380.43/375.41 c cleaning 37998 clauses out of 76019 with flag 6931359/1056433 400.63/395.44 c cleaning 39001 clauses out of 78021 with flag 7277692/1096433 422.27/416.81 c cleaning 40001 clauses out of 80022 with flag 7698220/1137435 447.13/441.60 c cleaning 41002 clauses out of 82019 with flag 8131263/1179433 467.14/461.33 c cleaning 42001 clauses out of 84017 with flag 8525965/1222433 490.96/484.97 c cleaning 43000 clauses out of 86018 with flag 8945069/1266435 516.28/509.90 c cleaning 44001 clauses out of 88016 with flag 9369237/1311433 540.71/534.05 c cleaning 45003 clauses out of 90016 with flag 9811139/1357434 566.09/559.18 c cleaning 45998 clauses out of 92014 with flag 10269052/1404435 592.17/584.98 c cleaning 47003 clauses out of 94017 with flag 10698498/1452436 617.64/610.17 c cleaning 47995 clauses out of 96011 with flag 11052829/1501433 636.61/628.86 c Got one! Elapsed wall clock time (in seconds):628.74 636.61/628.86 o 93 636.89/629.01 c Got one! Elapsed wall clock time (in seconds):628.882 636.89/629.01 o 11 639.39/631.46 c cleaning 47427 clauses out of 94873 with flag 57374/1548290 641.30/633.36 c cleaning 26713 clauses out of 53444 with flag 119641/1554288 643.04/635.09 c cleaning 16858 clauses out of 33733 with flag 192427/1561290 644.85/636.82 c cleaning 12427 clauses out of 24874 with flag 273506/1569289 646.78/638.74 c cleaning 10715 clauses out of 21448 with flag 364303/1578290 649.01/640.91 c cleaning 10356 clauses out of 20732 with flag 464956/1588289 651.43/643.33 c cleaning 10673 clauses out of 21375 with flag 566496/1599288 653.77/645.64 c cleaning 11343 clauses out of 22704 with flag 694293/1611290 656.65/648.42 c cleaning 12173 clauses out of 24361 with flag 837691/1624290 659.92/651.68 c cleaning 13086 clauses out of 26188 with flag 990415/1638290 663.36/655.07 c cleaning 14043 clauses out of 28101 with flag 1153759/1653289 667.44/659.08 c cleaning 15015 clauses out of 30058 with flag 1318931/1669289 671.83/663.35 c cleaning 16009 clauses out of 32043 with flag 1497353/1686289 676.76/668.25 c cleaning 17006 clauses out of 34037 with flag 1674998/1704292 682.14/673.50 c cleaning 18000 clauses out of 36028 with flag 1875553/1723289 688.65/679.93 c cleaning 19004 clauses out of 38027 with flag 2081307/1743288 695.33/686.53 c cleaning 20003 clauses out of 40026 with flag 2303409/1764291 702.36/693.57 c cleaning 20998 clauses out of 42021 with flag 2550073/1786289 710.48/701.58 c cleaning 22005 clauses out of 44027 with flag 2817237/1809293 718.75/709.63 c cleaning 23000 clauses out of 46018 with flag 3057877/1833289 728.59/719.36 c cleaning 24001 clauses out of 48017 with flag 3309036/1858288 738.22/728.90 c cleaning 25000 clauses out of 50017 with flag 3639698/1884289 747.96/738.44 c cleaning 26002 clauses out of 52016 with flag 3989198/1911288 757.63/747.92 c cleaning 27001 clauses out of 54017 with flag 4312075/1939291 768.19/758.31 c cleaning 28003 clauses out of 56015 with flag 4593344/1968290 779.32/769.38 c cleaning 28999 clauses out of 58010 with flag 4874090/1998288 792.15/782.03 c cleaning 29999 clauses out of 60013 with flag 5191198/2029290 804.71/794.48 c cleaning 30997 clauses out of 62012 with flag 5496797/2061288 818.39/807.92 c cleaning 32004 clauses out of 64017 with flag 5786811/2094290 834.15/823.58 c cleaning 32998 clauses out of 66012 with flag 6131297/2128289 840.37/829.69 c Got one! Elapsed wall clock time (in seconds):829.563 840.37/829.69 o 2 842.04/831.21 c cleaning 27169 clauses out of 54346 with flag 54337/2149621 843.48/832.61 c cleaning 16582 clauses out of 33176 with flag 110729/2155620 844.88/834.08 c cleaning 11792 clauses out of 23595 with flag 184460/2162621 846.39/835.58 c cleaning 9892 clauses out of 19803 with flag 269716/2170621 848.46/837.55 c cleaning 9448 clauses out of 18910 with flag 367141/2179620 850.38/839.45 c cleaning 9725 clauses out of 19464 with flag 466343/2189622 852.70/841.75 c cleaning 10365 clauses out of 20740 with flag 571001/2200623 855.33/844.33 c cleaning 11180 clauses out of 22374 with flag 692190/2212622 858.36/847.36 c cleaning 12091 clauses out of 24194 with flag 816233/2225622 861.72/850.68 c cleaning 13047 clauses out of 26102 with flag 945629/2239621 865.35/854.28 c cleaning 14019 clauses out of 28055 with flag 1088013/2254621 869.31/858.18 c cleaning 15015 clauses out of 30039 with flag 1228716/2270624 873.54/862.33 c cleaning 16004 clauses out of 32020 with flag 1373217/2287620 878.50/867.26 c cleaning 16997 clauses out of 34019 with flag 1536959/2305623 883.90/872.55 c cleaning 17996 clauses out of 36019 with flag 1715581/2324620 889.98/878.57 c cleaning 19003 clauses out of 38024 with flag 1907254/2344621 896.89/885.35 c cleaning 20006 clauses out of 40020 with flag 2145453/2365620 903.71/892.05 c cleaning 21002 clauses out of 42017 with flag 2378760/2387623 911.72/899.99 c cleaning 21993 clauses out of 44013 with flag 2630604/2410621 917.04/905.14 c cleaning 22982 clauses out of 46019 with flag 2816823/2434620 924.32/912.37 c cleaning 23988 clauses out of 48039 with flag 3047750/2459622 933.41/921.21 c cleaning 24998 clauses out of 50052 with flag 3311275/2485623 942.72/930.49 c cleaning 25992 clauses out of 52052 with flag 3598749/2512621 953.50/941.01 c cleaning 26989 clauses out of 54060 with flag 3874532/2540621 965.09/952.60 c cleaning 27997 clauses out of 56071 with flag 4185635/2569621 976.96/964.23 c cleaning 29004 clauses out of 58076 with flag 4480941/2599623 992.43/979.56 c cleaning 29998 clauses out of 60069 with flag 4770704/2630620 1007.02/993.93 c cleaning 30997 clauses out of 62072 with flag 5077081/2662621 1022.88/1009.66 c cleaning 31990 clauses out of 64075 with flag 5426758/2695621 1042.15/1028.78 c cleaning 33003 clauses out of 66087 with flag 5799432/2729623 1059.36/1045.77 c cleaning 34005 clauses out of 68084 with flag 6210354/2764623 1077.67/1063.83 c cleaning 34997 clauses out of 70077 with flag 6628676/2800621 1097.10/1083.06 c cleaning 36002 clauses out of 72079 with flag 7040541/2837620 1116.39/1102.20 c cleaning 37000 clauses out of 74078 with flag 7473255/2875621 1134.74/1120.24 c cleaning 37999 clauses out of 76077 with flag 7894541/2914620 1153.70/1139.09 c cleaning 38999 clauses out of 78078 with flag 8335369/2954620 1176.09/1161.19 c cleaning 40002 clauses out of 80081 with flag 8804869/2995622 1199.85/1184.63 c cleaning 40997 clauses out of 82077 with flag 9306976/3037620 1221.64/1206.17 c cleaning 42003 clauses out of 84081 with flag 9794876/3080621 1246.23/1230.44 c cleaning 42998 clauses out of 86077 with flag 10300815/3124620 1271.19/1255.09 c cleaning 44002 clauses out of 88080 with flag 10853625/3169621 1297.71/1281.21 c cleaning 45005 clauses out of 90077 with flag 11418760/3215620 1327.39/1310.68 c cleaning 45999 clauses out of 92075 with flag 12005388/3262623 1354.61/1337.46 c cleaning 46997 clauses out of 94074 with flag 12579995/3310621 1384.61/1367.17 c cleaning 47998 clauses out of 96076 with flag 13178995/3359620 1416.59/1398.71 c cleaning 49005 clauses out of 98079 with flag 13813247/3409621 1459.30/1441.01 c cleaning 49993 clauses out of 100073 with flag 14493693/3460620 1496.66/1477.91 c cleaning 51002 clauses out of 102081 with flag 15147772/3512621 1537.27/1518.01 c cleaning 52000 clauses out of 104080 with flag 15799352/3565622 1573.73/1553.95 c cleaning 52994 clauses out of 106078 with flag 16463315/3619620 1617.02/1596.89 c cleaning 54004 clauses out of 108085 with flag 17149129/3674621 1657.72/1637.06 c cleaning 54999 clauses out of 110081 with flag 17826287/3730621 1704.74/1683.53 c cleaning 56005 clauses out of 112082 with flag 18523178/3787621 1746.20/1724.40 c cleaning 56997 clauses out of 114076 with flag 19109149/3845620 1788.57/1766.45 c cleaning 58002 clauses out of 116080 with flag 19707960/3904621 1800.03/1777.61 c starts : 31 1800.03/1777.61 c conflicts : 3926608 1800.03/1777.61 c decisions : 4449422 1800.03/1777.61 c propagations : 68199549 1800.03/1777.61 c inspects : 27015914214 1800.03/1777.61 c shortcuts : 0 1800.03/1777.61 c learnt literals : 0 1800.03/1777.61 c learnt binary clauses : 0 1800.03/1777.61 c learnt ternary clauses : 0 1800.03/1777.61 c learnt constraints : 3926608 1800.03/1777.61 c ignored constraints : 0 1800.03/1777.61 c root simplifications : 0 1800.03/1777.61 c removed literals (reason simplification) : 0 1800.03/1777.61 c reason swapping (by a shorter reason) : 0 1800.03/1777.61 c Calls to reduceDB : 149 1800.03/1777.61 c Number of update (reduction) of LBD : 1962484 1800.03/1777.61 c Imported unit clauses : 0 1800.03/1777.61 c number of reductions to clauses (during analyze) : 0 1800.03/1777.61 c number of learned constraints concerned by reduction : 0 1800.03/1777.61 c number of learning phase by resolution : 0 1800.03/1777.61 c number of learning phase by cutting planes : 0 1800.03/1777.61 c speed (assignments/second) : 38373.10208043212 1800.03/1777.61 c non guided choices 40618 1800.03/1777.64 c learnt constraints type 1800.03/1777.64 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 80066 1800.03/1777.64 s SATISFIABLE 1800.03/1777.64 c Found 4 solution(s) 1800.03/1777.65 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 1800.03/1777.66 c objective function=2 1800.03/1777.66 c Total wall clock time (in seconds): 1777.536
OK 2
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4090648-1466064379/watcher-4090648-1466064379 -o /tmp/evaluation-result-4090648-1466064379/solver-4090648-1466064379 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466062122-8073 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090648-1466064379.wbo pid=8587 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.18 2.05 4/194 8590 /proc/meminfo: memFree=30069860/32872528 swapFree=1286144/1433312 [pid=8590] ppid=8587 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/8590/stat : 8590 (java) D 8587 8590 8056 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 8484669 9515008 175 33554432000 1073741824 1073778376 140733757812400 140733757795128 214369649552 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/8590/statm: 2323 175 133 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 2.18 2.18 2.05 4/194 8590 /proc/meminfo: memFree=30069860/32872528 swapFree=1286144/1433312 [pid=8590] ppid=8587 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/8590/stat : 8590 (java) S 8587 8590 8056 0 -1 4202496 4157 0 1 0 6 1 0 0 20 0 18 0 8484669 9787879424 5281 33554432000 1073741824 1073778376 140735477276064 140735477267200 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8590/statm: 2389619 5287 2053 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558476 [startup+0.200236 s] /proc/loadavg: 2.18 2.18 2.05 4/194 8590 /proc/meminfo: memFree=30069860/32872528 swapFree=1286144/1433312 [pid=8590] ppid=8587 vsize=9558476 CPUtime=0.25 cores=1,3,5,7 /proc/8590/stat : 8590 (java) S 8587 8590 8056 0 -1 4202496 4961 0 1 0 24 1 0 0 20 0 18 0 8484669 9787879424 6991 33554432000 1073741824 1073778376 140735477276064 140735477267200 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8590/statm: 2389619 6993 2213 9 0 2380296 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.30022 s] /proc/loadavg: 2.18 2.18 2.05 4/194 8590 /proc/meminfo: memFree=30069860/32872528 swapFree=1286144/1433312 [pid=8590] ppid=8587 vsize=9558476 CPUtime=0.52 cores=1,3,5,7 /proc/8590/stat : 8590 (java) S 8587 8590 8056 0 -1 4202496 7326 0 1 0 50 2 0 0 20 0 18 0 8484669 9787879424 10382 33554432000 1073741824 1073778376 140735477276064 140735477267200 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8590/statm: 2389619 10382 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9558476 [startup+0.700153 s] /proc/loadavg: 2.18 2.18 2.05 4/194 8590 /proc/meminfo: memFree=30069860/32872528 swapFree=1286144/1433312 [pid=8590] ppid=8587 vsize=9625040 CPUtime=1.29 cores=1,3,5,7 /proc/8590/stat : 8590 (java) S 8587 8590 8056 0 -1 4202496 7792 0 1 0 127 2 0 0 20 0 19 0 8484669 9856040960 14050 33554432000 1073741824 1073778376 140735477276064 140735477267200 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8590/statm: 2406260 14050 2255 9 0 2396937 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 9625040 [startup+1.50079 s] /proc/loadavg: 2.16 2.18 2.05 6/213 8609 /proc/meminfo: memFree=30013580/32872528 swapFree=1286144/1433312 [pid=8590] ppid=8587 vsize=9625040 CPUtime=2.3 cores=1,3,5,7 /proc/8590/stat : 8590 (java) S 8587 8590 8056 0 -1 4202496 12923 0 1 0 227 3 0 0 20 0 19 0 8484669 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 140735477267200 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8590/statm: 2406260 22070 2262 9 0 2396937 0 [pid=8590/tid=8592] ppid=8587 vsize=9625040 CPUtime=1.45 cores=1,3,5,7 /proc/8590/task/8592/stat : 8592 (java) R 8587 8590 8056 0 -1 4202560 2424 0 1 0 143 2 0 0 20 0 19 0 8484671 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139987256367608 139987094430273 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8593] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8593/stat : 8593 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139987217860904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8594] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8594/stat : 8594 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139987216808104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8595] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8595/stat : 8595 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139987215755816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8596] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8596/stat : 8596 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139987214703016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8590/tid=8597] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8597/stat : 8597 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139987213650728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8598] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8598/stat : 8598 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139987212597928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8590/tid=8599] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8599/stat : 8599 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139987093810216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8600] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8600/stat : 8600 (java) S 8587 8590 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139987092757416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8601] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8601/stat : 8601 (java) S 8587 8590 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139987080558824 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8602] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8602/stat : 8602 (java) S 8587 8590 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139987079504888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8603] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8603/stat : 8603 (java) S 8587 8590 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139987078452488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8604] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8604/stat : 8604 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139986338834832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8605] ppid=8587 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/8590/task/8605/stat : 8605 (java) S 8587 8590 8056 0 -1 4202560 2528 0 0 0 38 0 0 0 20 0 19 0 8484677 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139986337782456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8606] ppid=8587 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/8590/task/8606/stat : 8606 (java) S 8587 8590 8056 0 -1 4202560 6698 0 0 0 42 2 0 0 20 0 19 0 8484677 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139986336729656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8607] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8607/stat : 8607 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139986335677560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8608] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8608/stat : 8608 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139986334624968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8609] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8609/stat : 8609 (java) S 8587 8590 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8484703 9856040960 22070 33554432000 1073741824 1073778376 140735477276064 139986333569960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.3 Current children cumulated vsize (KiB) 9625040 [startup+3.10077 s] /proc/loadavg: 2.16 2.18 2.05 3/213 8609 /proc/meminfo: memFree=29977412/32872528 swapFree=1286144/1433312 [pid=8590] ppid=8587 vsize=9625040 CPUtime=3.94 cores=1,3,5,7 /proc/8590/stat : 8590 (java) S 8587 8590 8056 0 -1 4202496 12937 0 1 0 391 3 0 0 20 0 19 0 8484669 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 140735477267200 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8590/statm: 2406260 28726 2262 9 0 2396937 0 [pid=8590/tid=8592] ppid=8587 vsize=9625040 CPUtime=3.05 cores=1,3,5,7 /proc/8590/task/8592/stat : 8592 (java) R 8587 8590 8056 0 -1 4202560 2438 0 1 0 303 2 0 0 20 0 19 0 8484671 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139987256369672 139987094523537 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8593] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8593/stat : 8593 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139987217860904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8594] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8594/stat : 8594 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139987216808104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8595] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8595/stat : 8595 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139987215755816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8596] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8596/stat : 8596 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139987214703016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8590/tid=8597] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8597/stat : 8597 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139987213650728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8598] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8598/stat : 8598 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139987212597928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8590/tid=8599] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8599/stat : 8599 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139987093810216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8600] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8600/stat : 8600 (java) S 8587 8590 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139987092757416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8601] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8601/stat : 8601 (java) S 8587 8590 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139987080558824 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8602] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8602/stat : 8602 (java) S 8587 8590 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139987079504888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8603] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8603/stat : 8603 (java) S 8587 8590 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139987078452488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8604] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8604/stat : 8604 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139986338834832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8605] ppid=8587 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/8590/task/8605/stat : 8605 (java) S 8587 8590 8056 0 -1 4202560 2528 0 0 0 40 0 0 0 20 0 19 0 8484677 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139986337782456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8606] ppid=8587 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/8590/task/8606/stat : 8606 (java) S 8587 8590 8056 0 -1 4202560 6698 0 0 0 45 2 0 0 20 0 19 0 8484677 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139986336729656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8607] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8607/stat : 8607 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139986335677560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8608] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8608/stat : 8608 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139986334624968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8609] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8609/stat : 8609 (java) S 8587 8590 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8484703 9856040960 28726 33554432000 1073741824 1073778376 140735477276064 139986333569960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.94 Current children cumulated vsize (KiB) 9625040 [startup+6.30081 s] /proc/loadavg: 2.23 2.19 2.05 3/213 8609 /proc/meminfo: memFree=29934576/32872528 swapFree=1286144/1433312 [pid=8590] ppid=8587 vsize=9625040 CPUtime=7.18 cores=1,3,5,7 /proc/8590/stat : 8590 (java) S 8587 8590 8056 0 -1 4202496 12962 0 1 0 714 4 0 0 20 0 19 0 8484669 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 140735477267200 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8590/statm: 2406260 40405 2262 9 0 2396937 0 [pid=8590/tid=8592] ppid=8587 vsize=9625040 CPUtime=6.25 cores=1,3,5,7 /proc/8590/task/8592/stat : 8592 (java) R 8587 8590 8056 0 -1 4202560 2463 0 1 0 623 2 0 0 20 0 19 0 8484671 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139987256369448 139987094426019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8593] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8593/stat : 8593 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139987217860904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8594] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8594/stat : 8594 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139987216808104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8595] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8595/stat : 8595 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139987215755816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8596] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8596/stat : 8596 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139987214703016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8590/tid=8597] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8597/stat : 8597 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139987213650728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8598] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8598/stat : 8598 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139987212597928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8590/tid=8599] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8599/stat : 8599 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139987093810216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8600] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8600/stat : 8600 (java) S 8587 8590 8056 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8484672 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139987092757416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8601] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8601/stat : 8601 (java) S 8587 8590 8056 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139987080558824 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8602] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8602/stat : 8602 (java) S 8587 8590 8056 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139987079504888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8603] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8603/stat : 8603 (java) S 8587 8590 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139987078452488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8604] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8604/stat : 8604 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139986338834832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8605] ppid=8587 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/8590/task/8605/stat : 8605 (java) S 8587 8590 8056 0 -1 4202560 2528 0 0 0 43 0 0 0 20 0 19 0 8484677 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139986337782456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8606] ppid=8587 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/8590/task/8606/stat : 8606 (java) S 8587 8590 8056 0 -1 4202560 6698 0 0 0 45 2 0 0 20 0 19 0 8484677 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139986336729656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8607] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8607/stat : 8607 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139986335677560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8608] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8608/stat : 8608 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139986334624968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8609] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8609/stat : 8609 (java) S 8587 8590 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8484703 9856040960 40405 33554432000 1073741824 1073778376 140735477276064 139986333569960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.18 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ /proc/8590/task/8602/stat : 8602 (java) S 8587 8590 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 117036 33554432000 1073741824 1073778376 140735477276064 139987079504888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8603] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8603/stat : 8603 (java) S 8587 8590 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 117036 33554432000 1073741824 1073778376 140735477276064 139987078452488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8604] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8604/stat : 8604 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 117036 33554432000 1073741824 1073778376 140735477276064 139986338834832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8605] ppid=8587 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/8590/task/8605/stat : 8605 (java) S 8587 8590 8056 0 -1 4202560 3104 0 0 0 52 0 0 0 20 0 19 0 8484677 9856040960 117036 33554432000 1073741824 1073778376 140735477276064 139986337782456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8606] ppid=8587 vsize=9625040 CPUtime=0.61 cores=1,3,5,7 /proc/8590/task/8606/stat : 8606 (java) S 8587 8590 8056 0 -1 4202560 6734 0 0 0 59 2 0 0 20 0 19 0 8484677 9856040960 117036 33554432000 1073741824 1073778376 140735477276064 139986336729656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8607] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8607/stat : 8607 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 117036 33554432000 1073741824 1073778376 140735477276064 139986335677560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8608] ppid=8587 vsize=9625040 CPUtime=0.59 cores=1,3,5,7 /proc/8590/task/8608/stat : 8608 (java) S 8587 8590 8056 0 -1 4202560 92 0 0 0 25 34 0 0 20 0 19 0 8484677 9856040960 117036 33554432000 1073741824 1073778376 140735477276064 139986334624968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8609] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8609/stat : 8609 (java) S 8587 8590 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8484703 9856040960 117036 33554432000 1073741824 1073778376 140735477276064 139986333569960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1622.59 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.37 2.24 2.15 4/213 8715 /proc/meminfo: memFree=29930096/32872528 swapFree=1286144/1433312 [pid=8590] ppid=8587 vsize=9625040 CPUtime=1683.46 cores=1,3,5,7 /proc/8590/stat : 8590 (java) S 8587 8590 8056 0 -1 4202496 36466 0 1 0 168087 259 0 0 20 0 19 0 8484669 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 140735477267200 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8590/statm: 2406260 128816 2284 9 0 2396937 0 [pid=8590/tid=8592] ppid=8587 vsize=9625040 CPUtime=1648.2 cores=1,3,5,7 /proc/8590/task/8592/stat : 8592 (java) R 8587 8590 8056 0 -1 4202560 2936 0 1 0 164790 30 0 0 20 0 19 0 8484671 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139987256368352 139987094371488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8593] ppid=8587 vsize=9625040 CPUtime=3.4 cores=1,3,5,7 /proc/8590/task/8593/stat : 8593 (java) S 8587 8590 8056 0 -1 4202560 2127 0 0 0 313 27 0 0 20 0 19 0 8484672 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139987217860904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8594] ppid=8587 vsize=9625040 CPUtime=3.61 cores=1,3,5,7 /proc/8590/task/8594/stat : 8594 (java) S 8587 8590 8056 0 -1 4202560 1919 0 0 0 335 26 0 0 20 0 19 0 8484672 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139987216808104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8595] ppid=8587 vsize=9625040 CPUtime=3.37 cores=1,3,5,7 /proc/8590/task/8595/stat : 8595 (java) S 8587 8590 8056 0 -1 4202560 2679 0 0 0 308 29 0 0 20 0 19 0 8484672 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139987215755816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8590/tid=8596] ppid=8587 vsize=9625040 CPUtime=3.49 cores=1,3,5,7 /proc/8590/task/8596/stat : 8596 (java) S 8587 8590 8056 0 -1 4202560 2427 0 0 0 324 25 0 0 20 0 19 0 8484672 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139987214703016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8597] ppid=8587 vsize=9625040 CPUtime=3.74 cores=1,3,5,7 /proc/8590/task/8597/stat : 8597 (java) S 8587 8590 8056 0 -1 4202560 3182 0 0 0 345 29 0 0 20 0 19 0 8484672 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139987213650728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8598] ppid=8587 vsize=9625040 CPUtime=3.55 cores=1,3,5,7 /proc/8590/task/8598/stat : 8598 (java) S 8587 8590 8056 0 -1 4202560 2733 0 0 0 330 25 0 0 20 0 19 0 8484672 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139987212597928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8599] ppid=8587 vsize=9625040 CPUtime=3.56 cores=1,3,5,7 /proc/8590/task/8599/stat : 8599 (java) S 8587 8590 8056 0 -1 4202560 2421 0 0 0 326 30 0 0 20 0 19 0 8484672 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139987093810216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8600] ppid=8587 vsize=9625040 CPUtime=3.42 cores=1,3,5,7 /proc/8590/task/8600/stat : 8600 (java) S 8587 8590 8056 0 -1 4202560 2783 0 0 0 318 24 0 0 20 0 19 0 8484672 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139987092757416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8601] ppid=8587 vsize=9625040 CPUtime=5.63 cores=1,3,5,7 /proc/8590/task/8601/stat : 8601 (java) S 8587 8590 8056 0 -1 4202560 2067 0 0 0 555 8 0 0 20 0 19 0 8484674 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139987080558824 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8602] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8602/stat : 8602 (java) S 8587 8590 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139987079504888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8603] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8603/stat : 8603 (java) S 8587 8590 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139987078452488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8604] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8604/stat : 8604 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139986338834832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8605] ppid=8587 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/8590/task/8605/stat : 8605 (java) S 8587 8590 8056 0 -1 4202560 3104 0 0 0 52 0 0 0 20 0 19 0 8484677 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139986337782456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8606] ppid=8587 vsize=9625040 CPUtime=0.61 cores=1,3,5,7 /proc/8590/task/8606/stat : 8606 (java) S 8587 8590 8056 0 -1 4202560 6734 0 0 0 59 2 0 0 20 0 19 0 8484677 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139986336729656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8607] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8607/stat : 8607 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139986335677560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8608] ppid=8587 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/8590/task/8608/stat : 8608 (java) S 8587 8590 8056 0 -1 4202560 96 0 0 0 26 36 0 0 20 0 19 0 8484677 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139986334624968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8609] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8609/stat : 8609 (java) S 8587 8590 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8484703 9856040960 128816 33554432000 1073741824 1073778376 140735477276064 139986333569960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1683.46 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.23 2.22 2.15 3/213 8717 /proc/meminfo: memFree=29927288/32872528 swapFree=1286144/1433312 [pid=8590] ppid=8587 vsize=9625040 CPUtime=1744.1 cores=1,3,5,7 /proc/8590/stat : 8590 (java) S 8587 8590 8056 0 -1 4202496 37425 0 1 0 174140 270 0 0 20 0 19 0 8484669 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 140735477267200 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8590/statm: 2406260 128302 2284 9 0 2396937 0 [pid=8590/tid=8592] ppid=8587 vsize=9625040 CPUtime=1707.7 cores=1,3,5,7 /proc/8590/task/8592/stat : 8592 (java) R 8587 8590 8056 0 -1 4202560 2954 0 1 0 170740 30 0 0 20 0 19 0 8484671 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139987256368352 139987094523537 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8593] ppid=8587 vsize=9625040 CPUtime=3.5 cores=1,3,5,7 /proc/8590/task/8593/stat : 8593 (java) S 8587 8590 8056 0 -1 4202560 2255 0 0 0 322 28 0 0 20 0 19 0 8484672 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139987217860904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8594] ppid=8587 vsize=9625040 CPUtime=3.74 cores=1,3,5,7 /proc/8590/task/8594/stat : 8594 (java) S 8587 8590 8056 0 -1 4202560 1946 0 0 0 346 28 0 0 20 0 19 0 8484672 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139987216808104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8595] ppid=8587 vsize=9625040 CPUtime=3.48 cores=1,3,5,7 /proc/8590/task/8595/stat : 8595 (java) S 8587 8590 8056 0 -1 4202560 2771 0 0 0 318 30 0 0 20 0 19 0 8484672 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139987215755816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8596] ppid=8587 vsize=9625040 CPUtime=3.65 cores=1,3,5,7 /proc/8590/task/8596/stat : 8596 (java) S 8587 8590 8056 0 -1 4202560 2467 0 0 0 338 27 0 0 20 0 19 0 8484672 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139987214703016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8590/tid=8597] ppid=8587 vsize=9625040 CPUtime=3.85 cores=1,3,5,7 /proc/8590/task/8597/stat : 8597 (java) S 8587 8590 8056 0 -1 4202560 3397 0 0 0 355 30 0 0 20 0 19 0 8484672 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139987213650728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8598] ppid=8587 vsize=9625040 CPUtime=3.64 cores=1,3,5,7 /proc/8590/task/8598/stat : 8598 (java) S 8587 8590 8056 0 -1 4202560 2833 0 0 0 338 26 0 0 20 0 19 0 8484672 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139987212597928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8599] ppid=8587 vsize=9625040 CPUtime=3.66 cores=1,3,5,7 /proc/8590/task/8599/stat : 8599 (java) S 8587 8590 8056 0 -1 4202560 2541 0 0 0 335 31 0 0 20 0 19 0 8484672 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139987093810216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8600] ppid=8587 vsize=9625040 CPUtime=3.52 cores=1,3,5,7 /proc/8590/task/8600/stat : 8600 (java) S 8587 8590 8056 0 -1 4202560 2895 0 0 0 327 25 0 0 20 0 19 0 8484672 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139987092757416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8601] ppid=8587 vsize=9625040 CPUtime=5.88 cores=1,3,5,7 /proc/8590/task/8601/stat : 8601 (java) S 8587 8590 8056 0 -1 4202560 2172 0 0 0 579 9 0 0 20 0 19 0 8484674 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139987080558824 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8602] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8602/stat : 8602 (java) S 8587 8590 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139987079504888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8603] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8603/stat : 8603 (java) S 8587 8590 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139987078452488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8604] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8604/stat : 8604 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139986338834832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8605] ppid=8587 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/8590/task/8605/stat : 8605 (java) S 8587 8590 8056 0 -1 4202560 3104 0 0 0 52 0 0 0 20 0 19 0 8484677 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139986337782456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8606] ppid=8587 vsize=9625040 CPUtime=0.61 cores=1,3,5,7 /proc/8590/task/8606/stat : 8606 (java) S 8587 8590 8056 0 -1 4202560 6734 0 0 0 59 2 0 0 20 0 19 0 8484677 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139986336729656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8607] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8607/stat : 8607 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139986335677560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8608] ppid=8587 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/8590/task/8608/stat : 8608 (java) S 8587 8590 8056 0 -1 4202560 98 0 0 0 26 38 0 0 20 0 19 0 8484677 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139986334624968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8609] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8609/stat : 8609 (java) S 8587 8590 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8484703 9856040960 128302 33554432000 1073741824 1073778376 140735477276064 139986333569960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1744.1 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1777.6 s] /proc/loadavg: 2.14 2.20 2.14 3/213 8718 /proc/meminfo: memFree=29897820/32872528 swapFree=1286144/1433312 [pid=8590] ppid=8587 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7 /proc/8590/stat : 8590 (java) S 8587 8590 8056 0 -1 4202496 38497 0 1 0 179725 278 0 0 20 0 19 0 8484669 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 140735477267200 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8590/statm: 2406260 132782 2284 9 0 2396937 0 [pid=8590/tid=8592] ppid=8587 vsize=9625040 CPUtime=1762.54 cores=1,3,5,7 /proc/8590/task/8592/stat : 8592 (java) R 8587 8590 8056 0 -1 4202560 2973 0 1 0 176223 31 0 0 20 0 19 0 8484671 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139987256368368 139987094371651 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8593] ppid=8587 vsize=9625040 CPUtime=3.62 cores=1,3,5,7 /proc/8590/task/8593/stat : 8593 (java) S 8587 8590 8056 0 -1 4202560 2381 0 0 0 333 29 0 0 20 0 19 0 8484672 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139987217860904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8590/tid=8594] ppid=8587 vsize=9625040 CPUtime=3.84 cores=1,3,5,7 /proc/8590/task/8594/stat : 8594 (java) S 8587 8590 8056 0 -1 4202560 2224 0 0 0 355 29 0 0 20 0 19 0 8484672 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139987216808104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8595] ppid=8587 vsize=9625040 CPUtime=3.57 cores=1,3,5,7 /proc/8590/task/8595/stat : 8595 (java) S 8587 8590 8056 0 -1 4202560 2774 0 0 0 327 30 0 0 20 0 19 0 8484672 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139987215755816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8596] ppid=8587 vsize=9625040 CPUtime=3.74 cores=1,3,5,7 /proc/8590/task/8596/stat : 8596 (java) S 8587 8590 8056 0 -1 4202560 2474 0 0 0 347 27 0 0 20 0 19 0 8484672 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139987214703016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8590/tid=8597] ppid=8587 vsize=9625040 CPUtime=3.98 cores=1,3,5,7 /proc/8590/task/8597/stat : 8597 (java) S 8587 8590 8056 0 -1 4202560 3419 0 0 0 367 31 0 0 20 0 19 0 8484672 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139987213650728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8598] ppid=8587 vsize=9625040 CPUtime=3.74 cores=1,3,5,7 /proc/8590/task/8598/stat : 8598 (java) S 8587 8590 8056 0 -1 4202560 2838 0 0 0 348 26 0 0 20 0 19 0 8484672 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139987212597928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8599] ppid=8587 vsize=9625040 CPUtime=3.79 cores=1,3,5,7 /proc/8590/task/8599/stat : 8599 (java) S 8587 8590 8056 0 -1 4202560 2824 0 0 0 347 32 0 0 20 0 19 0 8484672 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139987093810216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8600] ppid=8587 vsize=9625040 CPUtime=3.65 cores=1,3,5,7 /proc/8590/task/8600/stat : 8600 (java) S 8587 8590 8056 0 -1 4202560 3096 0 0 0 339 26 0 0 20 0 19 0 8484672 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139987092757416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8601] ppid=8587 vsize=9625040 CPUtime=6.07 cores=1,3,5,7 /proc/8590/task/8601/stat : 8601 (java) S 8587 8590 8056 0 -1 4202560 2296 0 0 0 598 9 0 0 20 0 19 0 8484674 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139987080558824 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8602] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8602/stat : 8602 (java) S 8587 8590 8056 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139987079504888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8603] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8603/stat : 8603 (java) S 8587 8590 8056 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8484674 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139987078452488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8604] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8604/stat : 8604 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139986338834832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8605] ppid=8587 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/8590/task/8605/stat : 8605 (java) S 8587 8590 8056 0 -1 4202560 3104 0 0 0 52 0 0 0 20 0 19 0 8484677 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139986337782456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8606] ppid=8587 vsize=9625040 CPUtime=0.61 cores=1,3,5,7 /proc/8590/task/8606/stat : 8606 (java) S 8587 8590 8056 0 -1 4202560 6734 0 0 0 59 2 0 0 20 0 19 0 8484677 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139986336729656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8590/tid=8607] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8607/stat : 8607 (java) S 8587 8590 8056 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8484677 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139986335677560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8590/tid=8608] ppid=8587 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/8590/task/8608/stat : 8608 (java) S 8587 8590 8056 0 -1 4202560 102 0 0 0 28 39 0 0 20 0 19 0 8484677 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139986334624968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8590/tid=8609] ppid=8587 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8590/task/8609/stat : 8609 (java) S 8587 8590 8056 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8484703 9856040960 132782 33554432000 1073741824 1073778376 140735477276064 139986333569960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 8590 sig 9 ??? kill -8590 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 1777.67 CPU time (s): 1800.74 CPU user time (s): 1797.49 CPU system time (s): 3.2535 CPU usage (%): 101.298 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.49 system time used= 3.25351 maximum resident set size= 892496 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38545 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 53229 involuntary context switches= 57272 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.7724 second user time and 13.193 second system time The end
Begin job on node130 at 2016-06-16 10:06:19 IDJOB=4090648 IDBENCH=78737 IDSOLVER=2551 FILE ID=node130/4090648-1466064379 RUNJOBID= node130-1466062122-8073 PBS_JOBID= 19904009 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090648-1466064379/watcher-4090648-1466064379 -o /tmp/evaluation-result-4090648-1466064379/solver-4090648-1466064379 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466062122-8073 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090648-1466064379.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3f020b13e6cf17982f0e6d51d5561da8 RANDOM SEED=597099570 node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30069876 kB Buffers: 4864 kB Cached: 39916 kB SwapCached: 948 kB Active: 632724 kB Inactive: 24640 kB Active(anon): 612780 kB Inactive(anon): 2300 kB Active(file): 19944 kB Inactive(file): 22340 kB Unevictable: 1433312 kB Mlocked: 1286144 kB SwapTotal: 67108856 kB SwapFree: 67099624 kB Dirty: 464 kB Writeback: 0 kB AnonPages: 2022440 kB Mapped: 15352 kB Shmem: 0 kB Slab: 564568 kB SReclaimable: 8296 kB SUnreclaim: 556272 kB KernelStack: 1760 kB PageTables: 8144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2191660 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 704512 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71744 MiB End job on node130 at 2016-06-16 10:35:57