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.05 | 1781.46 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-66-100-0.wbo |
| MD5SUM | 2c1e8fe2f29e9730adde423ef6a1fb6a |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6480 |
| Total number of constraints | 161 |
| Number of soft constraints | 56 |
| Number of constraints which are clauses | 81 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 80 |
| Maximum length of a constraint | 81 |
| Top cost | 3123 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 3122 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 82 |
| 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.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 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.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4109212-1466342105.wbo 0.09/0.11 c reading problem ... 0.27/0.29 c ... done. Wall clock time 0.18s. 0.27/0.29 c declared #vars 6480 0.27/0.29 c internal #vars 6536 0.27/0.29 c #constraints 161 0.27/0.29 c constraints type 0.27/0.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 81 0.27/0.29 c org.sat4j.minisat.constraints.card.MinWatchCard => 45 0.27/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 35 0.27/0.29 c 161 constraints processed. 0.27/0.29 c objective function length is 56 literals 1.49/0.94 c cleaning 2499 clauses out of 5002 with flag 30262/5002 2.38/1.74 c cleaning 4248 clauses out of 8503 with flag 70798/11002 3.38/2.77 c cleaning 5623 clauses out of 11256 with flag 116210/18003 4.80/4.11 c cleaning 6812 clauses out of 13630 with flag 173205/26000 6.52/5.83 c cleaning 7902 clauses out of 15818 with flag 238512/35000 8.43/7.76 c cleaning 8956 clauses out of 17917 with flag 305237/45001 10.90/10.11 c cleaning 9976 clauses out of 19960 with flag 380607/56000 13.30/12.53 c cleaning 10989 clauses out of 21987 with flag 470796/68003 16.00/15.23 c cleaning 11995 clauses out of 24000 with flag 561704/81005 19.20/18.48 c cleaning 12989 clauses out of 26000 with flag 663756/95000 23.90/22.95 c cleaning 14000 clauses out of 28013 with flag 776578/110002 28.91/27.97 c cleaning 14993 clauses out of 30011 with flag 895169/126000 34.02/33.09 c cleaning 16003 clauses out of 32019 with flag 1019851/143001 40.03/38.83 c cleaning 17003 clauses out of 34016 with flag 1150952/161001 46.24/45.10 c cleaning 18005 clauses out of 36017 with flag 1291894/180005 53.44/52.28 c cleaning 18999 clauses out of 38008 with flag 1441920/200001 60.34/59.08 c cleaning 20004 clauses out of 40013 with flag 1594245/221005 68.34/67.02 c cleaning 20998 clauses out of 42004 with flag 1765683/243000 76.92/75.45 c cleaning 21995 clauses out of 44009 with flag 1950382/266003 77.62/76.14 c SATISFIABLE 77.62/76.14 c OPTIMIZING... 77.62/76.14 c Got one! Elapsed wall clock time (in seconds):76.023 77.62/76.14 o 59 77.62/76.19 c Got one! Elapsed wall clock time (in seconds):76.08 77.62/76.19 o 42 78.42/76.82 c cleaning 13647 clauses out of 27303 with flag 15654/271292 79.72/78.18 c cleaning 9824 clauses out of 19656 with flag 69571/277292 81.12/79.55 c cleaning 8416 clauses out of 16837 with flag 136470/284297 82.72/81.13 c cleaning 8200 clauses out of 16416 with flag 213205/292292 84.52/82.91 c cleaning 8605 clauses out of 17219 with flag 300300/301295 86.62/85.07 c cleaning 9302 clauses out of 18613 with flag 388471/311294 89.23/87.60 c cleaning 10150 clauses out of 20311 with flag 480476/322294 91.83/90.25 c cleaning 11062 clauses out of 22158 with flag 596525/334291 94.83/93.26 c cleaning 12040 clauses out of 24097 with flag 719490/347292 98.27/96.69 c cleaning 13025 clauses out of 26057 with flag 847318/361292 102.17/100.51 c cleaning 14011 clauses out of 28033 with flag 979709/376293 106.37/104.76 c cleaning 15000 clauses out of 30020 with flag 1100984/392291 110.84/109.19 c cleaning 16004 clauses out of 32022 with flag 1245170/409293 116.35/114.64 c cleaning 17006 clauses out of 34017 with flag 1392335/427292 122.90/121.07 c cleaning 17992 clauses out of 36010 with flag 1566463/446291 129.10/127.20 c cleaning 19006 clauses out of 38018 with flag 1741395/466291 135.66/133.66 c cleaning 20005 clauses out of 40012 with flag 1916487/487291 143.49/141.37 c cleaning 20997 clauses out of 42007 with flag 2099654/509291 151.90/149.72 c cleaning 21998 clauses out of 44011 with flag 2322429/532292 161.79/159.56 c cleaning 22999 clauses out of 46013 with flag 2544237/556292 172.99/170.62 c cleaning 24002 clauses out of 48014 with flag 2772801/581292 183.92/181.41 c cleaning 24997 clauses out of 50011 with flag 3004204/607291 194.91/192.40 c cleaning 25994 clauses out of 52014 with flag 3230891/634291 206.80/204.20 c cleaning 27003 clauses out of 54020 with flag 3478959/662291 218.59/215.93 c cleaning 27995 clauses out of 56017 with flag 3727462/691291 232.88/230.20 c cleaning 29007 clauses out of 58022 with flag 3997214/721291 249.05/246.28 c cleaning 30003 clauses out of 60018 with flag 4274038/752294 266.09/263.03 c cleaning 30999 clauses out of 62012 with flag 4564886/784291 284.95/281.83 c cleaning 32002 clauses out of 64015 with flag 4869480/817293 306.16/302.94 c cleaning 33005 clauses out of 66011 with flag 5177354/851291 325.66/322.31 c cleaning 33996 clauses out of 68008 with flag 5508687/886293 325.85/322.55 c Got one! Elapsed wall clock time (in seconds):322.433 325.85/322.55 o 11 327.44/324.05 c cleaning 19574 clauses out of 39154 with flag 36336/891435 328.84/325.46 c cleaning 12783 clauses out of 25579 with flag 96001/897434 330.15/326.76 c cleaning 9894 clauses out of 19797 with flag 172163/904435 331.64/328.24 c cleaning 8942 clauses out of 17903 with flag 254139/912435 333.24/329.82 c cleaning 8972 clauses out of 17962 with flag 344318/921436 335.06/331.67 c cleaning 9487 clauses out of 18990 with flag 448171/931436 337.06/333.68 c cleaning 10245 clauses out of 20501 with flag 552972/942434 339.46/336.03 c cleaning 11125 clauses out of 22256 with flag 672021/954434 342.27/338.86 c cleaning 12065 clauses out of 24134 with flag 801609/967437 345.36/341.98 c cleaning 13030 clauses out of 26068 with flag 936411/981436 349.11/345.62 c cleaning 14016 clauses out of 28039 with flag 1079668/996437 352.91/349.49 c cleaning 15004 clauses out of 30020 with flag 1242677/1012434 358.35/354.84 c cleaning 16004 clauses out of 32017 with flag 1396282/1029435 364.13/360.50 c cleaning 17000 clauses out of 34012 with flag 1561850/1047434 370.13/366.53 c cleaning 18003 clauses out of 36013 with flag 1739903/1066435 376.70/373.04 c cleaning 19000 clauses out of 38009 with flag 1933022/1086434 384.04/380.33 c cleaning 19995 clauses out of 40009 with flag 2122079/1107434 392.10/388.38 c cleaning 21000 clauses out of 42014 with flag 2336899/1129434 401.49/397.60 c cleaning 22004 clauses out of 44015 with flag 2571541/1152435 411.09/407.26 c cleaning 22998 clauses out of 46012 with flag 2806886/1176436 420.81/416.86 c cleaning 24006 clauses out of 48015 with flag 3036283/1201437 430.80/426.75 c cleaning 25000 clauses out of 50006 with flag 3263284/1227434 440.21/436.06 c cleaning 25993 clauses out of 52006 with flag 3552498/1254434 450.32/446.01 c cleaning 27003 clauses out of 54016 with flag 3870370/1282437 460.63/456.28 c cleaning 28001 clauses out of 56011 with flag 4213974/1311435 471.85/467.39 c cleaning 28997 clauses out of 58010 with flag 4560168/1341435 481.52/476.85 c cleaning 30003 clauses out of 60015 with flag 4852277/1372437 485.11/480.42 c Got one! Elapsed wall clock time (in seconds):480.308 485.11/480.42 o 1 485.74/480.99 c cleaning 24949 clauses out of 49943 with flag 32280/1392368 486.64/481.82 c cleaning 15477 clauses out of 30995 with flag 71357/1398369 487.93/483.15 c cleaning 11226 clauses out of 22519 with flag 126764/1405370 489.84/485.08 c cleaning 9602 clauses out of 19291 with flag 189747/1413368 491.99/487.10 c cleaning 9308 clauses out of 18689 with flag 264119/1422368 493.89/489.07 c cleaning 9653 clauses out of 19381 with flag 338643/1432368 496.32/491.42 c cleaning 10324 clauses out of 20730 with flag 429000/1443370 499.01/494.10 c cleaning 11166 clauses out of 22405 with flag 531712/1455369 502.15/497.27 c cleaning 12083 clauses out of 24239 with flag 640786/1468369 505.51/500.55 c cleaning 13035 clauses out of 26156 with flag 747596/1482369 509.20/504.25 c cleaning 14023 clauses out of 28120 with flag 857416/1497368 513.30/508.22 c cleaning 15007 clauses out of 30098 with flag 985475/1513369 517.92/512.86 c cleaning 16007 clauses out of 32091 with flag 1122393/1530369 522.70/517.50 c cleaning 17000 clauses out of 34084 with flag 1261257/1548369 528.47/523.24 c cleaning 18002 clauses out of 36084 with flag 1427859/1567369 534.05/528.73 c cleaning 18996 clauses out of 38082 with flag 1622878/1587369 540.90/535.54 c cleaning 20003 clauses out of 40086 with flag 1838863/1608369 548.14/542.77 c cleaning 21001 clauses out of 42084 with flag 2063126/1630370 555.17/549.77 c cleaning 21999 clauses out of 44085 with flag 2304682/1653372 563.13/557.67 c cleaning 22995 clauses out of 46082 with flag 2566283/1677368 571.41/565.85 c cleaning 24005 clauses out of 48089 with flag 2826421/1702370 580.37/574.72 c cleaning 25003 clauses out of 50086 with flag 3097607/1728372 590.68/584.98 c cleaning 25998 clauses out of 52079 with flag 3387970/1755368 600.41/594.63 c cleaning 27006 clauses out of 54085 with flag 3646728/1783372 611.93/606.06 c cleaning 27999 clauses out of 56077 with flag 3949936/1812370 624.27/618.25 c cleaning 29000 clauses out of 58080 with flag 4254641/1842372 636.66/630.41 c cleaning 29995 clauses out of 60076 with flag 4583176/1873368 649.36/643.01 c cleaning 31000 clauses out of 62082 with flag 4903957/1905369 663.57/657.19 c cleaning 31999 clauses out of 64082 with flag 5201796/1938369 680.02/673.46 c cleaning 32999 clauses out of 66082 with flag 5530935/1972368 696.56/689.89 c cleaning 34002 clauses out of 68083 with flag 5840972/2007368 715.21/708.30 c cleaning 34998 clauses out of 70081 with flag 6173338/2043368 732.07/725.06 c cleaning 35997 clauses out of 72085 with flag 6500273/2080370 750.43/743.21 c cleaning 37002 clauses out of 74086 with flag 6829760/2118368 768.16/760.82 c cleaning 38001 clauses out of 76084 with flag 7169097/2157368 788.49/781.05 c cleaning 39000 clauses out of 78083 with flag 7463588/2197368 809.34/801.69 c cleaning 40002 clauses out of 80085 with flag 7830267/2238370 822.13/814.22 c cleaning 41006 clauses out of 82081 with flag 8156717/2280368 836.55/828.42 c cleaning 42001 clauses out of 84075 with flag 8485214/2323368 850.61/842.39 c cleaning 42998 clauses out of 86075 with flag 8770106/2367369 872.28/863.74 c cleaning 44002 clauses out of 88076 with flag 9123942/2412368 893.38/884.67 c cleaning 45001 clauses out of 90075 with flag 9491349/2458369 916.06/907.07 c cleaning 45996 clauses out of 92074 with flag 9881589/2505369 936.68/927.44 c cleaning 47008 clauses out of 94081 with flag 10222409/2553372 960.84/951.32 c cleaning 48000 clauses out of 96069 with flag 10602663/2602368 984.97/975.26 c cleaning 48999 clauses out of 98069 with flag 10986546/2652368 1010.22/1000.26 c cleaning 49997 clauses out of 100072 with flag 11355021/2703370 1040.68/1030.48 c cleaning 50997 clauses out of 102074 with flag 11734841/2755369 1069.88/1059.20 c cleaning 51994 clauses out of 104077 with flag 12107374/2808369 1099.84/1088.84 c cleaning 53005 clauses out of 106082 with flag 12513498/2862368 1130.67/1119.32 c cleaning 54000 clauses out of 108078 with flag 12882004/2917369 1161.98/1150.32 c cleaning 55003 clauses out of 110080 with flag 13215109/2973371 1194.10/1181.94 c cleaning 55995 clauses out of 112074 with flag 13611054/3030368 1232.04/1219.55 c cleaning 57001 clauses out of 114080 with flag 14020205/3088369 1261.68/1248.88 c cleaning 58000 clauses out of 116078 with flag 14417886/3147368 1305.60/1292.36 c cleaning 59000 clauses out of 118079 with flag 14800947/3207369 1355.62/1341.80 c cleaning 60002 clauses out of 120080 with flag 15201780/3268370 1413.20/1398.81 c cleaning 60998 clauses out of 122076 with flag 15622058/3330368 1465.89/1450.80 c cleaning 61988 clauses out of 124078 with flag 16160125/3393368 1516.98/1501.37 c cleaning 62997 clauses out of 126091 with flag 16783874/3457369 1581.75/1565.54 c cleaning 64000 clauses out of 128094 with flag 17478298/3522369 1637.55/1620.63 c cleaning 65000 clauses out of 130096 with flag 18154001/3588371 1694.07/1676.54 c cleaning 66003 clauses out of 132096 with flag 18856815/3655371 1764.39/1746.29 c cleaning 66995 clauses out of 134090 with flag 19508957/3723368 1800.05/1781.40 c starts : 34 1800.05/1781.40 c conflicts : 3767640 1800.05/1781.40 c decisions : 4324582 1800.05/1781.40 c propagations : 55756779 1800.05/1781.40 c inspects : 27858774185 1800.05/1781.40 c shortcuts : 0 1800.05/1781.40 c learnt literals : 0 1800.05/1781.40 c learnt binary clauses : 0 1800.05/1781.40 c learnt ternary clauses : 0 1800.05/1781.40 c learnt constraints : 3767640 1800.05/1781.40 c ignored constraints : 0 1800.05/1781.40 c root simplifications : 0 1800.05/1781.40 c removed literals (reason simplification) : 0 1800.05/1781.40 c reason swapping (by a shorter reason) : 0 1800.05/1781.40 c Calls to reduceDB : 141 1800.05/1781.40 c Number of update (reduction) of LBD : 1928016 1800.05/1781.40 c Imported unit clauses : 0 1800.05/1781.40 c number of reductions to clauses (during analyze) : 0 1800.05/1781.40 c number of learned constraints concerned by reduction : 0 1800.05/1781.40 c number of learning phase by resolution : 0 1800.05/1781.40 c number of learning phase by cutting planes : 0 1800.05/1781.40 c speed (assignments/second) : 31304.688114086803 1800.05/1781.40 c non guided choices 52746 1800.05/1781.43 c learnt constraints type 1800.05/1781.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 111368 1800.05/1781.43 s SATISFIABLE 1800.05/1781.43 c Found 4 solution(s) 1800.05/1781.44 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 1800.05/1781.45 c objective function=1 1800.05/1781.45 c Total wall clock time (in seconds): 1781.336
OK 1
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-4109212-1466342105/watcher-4109212-1466342105 -o /tmp/evaluation-result-4109212-1466342105/solver-4109212-1466342105 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466341821-12127 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109212-1466342105.wbo pid=12241 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.28 1.46 0.72 3/194 12244 /proc/meminfo: memFree=28984936/32872528 swapFree=1556504/1720024 [pid=12244] ppid=12241 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/12244/stat : 12244 (java) R 12241 12244 12110 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 36259097 278528 33 33554432000 1073741824 1073778376 140734194769216 140736554720104 270320889127 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/12244/statm: 68 33 25 9 0 25 0 [startup+0.100062 s] /proc/loadavg: 2.28 1.46 0.72 3/194 12244 /proc/meminfo: memFree=28984936/32872528 swapFree=1556504/1720024 [pid=12244] ppid=12241 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/12244/stat : 12244 (java) S 12241 12244 12110 0 -1 4202496 4422 0 1 0 8 1 0 0 20 0 18 0 36259097 9787879424 6060 33554432000 1073741824 1073778376 140734194769216 140734194760352 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12244/statm: 2389619 6060 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200217 s] /proc/loadavg: 2.28 1.46 0.72 3/194 12244 /proc/meminfo: memFree=28984936/32872528 swapFree=1556504/1720024 [pid=12244] ppid=12241 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/12244/stat : 12244 (java) S 12241 12244 12110 0 -1 4202496 5027 0 1 0 26 1 0 0 20 0 18 0 36259097 9787879424 6983 33554432000 1073741824 1073778376 140734194769216 140734194760352 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12244/statm: 2389619 6983 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300232 s] /proc/loadavg: 2.28 1.46 0.72 3/194 12244 /proc/meminfo: memFree=28984936/32872528 swapFree=1556504/1720024 [pid=12244] ppid=12241 vsize=9558476 CPUtime=0.53 cores=1,3,5,7 /proc/12244/stat : 12244 (java) S 12241 12244 12110 0 -1 4202496 7439 0 1 0 52 1 0 0 20 0 18 0 36259097 9787879424 10910 33554432000 1073741824 1073778376 140734194769216 140734194760352 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12244/statm: 2389619 10910 2241 9 0 2380296 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 9558476 [startup+0.700239 s] /proc/loadavg: 2.28 1.46 0.72 3/194 12244 /proc/meminfo: memFree=28984936/32872528 swapFree=1556504/1720024 [pid=12244] ppid=12241 vsize=9625040 CPUtime=1.28 cores=1,3,5,7 /proc/12244/stat : 12244 (java) S 12241 12244 12110 0 -1 4202496 8246 0 1 0 126 2 0 0 20 0 19 0 36259097 9856040960 13181 33554432000 1073741824 1073778376 140734194769216 140734194760352 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12244/statm: 2406260 13181 2254 9 0 2396937 0 Current children cumulated CPU time (s) 1.28 Current children cumulated vsize (KiB) 9625040 [startup+1.50078 s] /proc/loadavg: 2.28 1.46 0.72 3/213 12263 /proc/meminfo: memFree=28934180/32872528 swapFree=1556504/1720024 [pid=12244] ppid=12241 vsize=9625040 CPUtime=2.17 cores=1,3,5,7 /proc/12244/stat : 12244 (java) S 12241 12244 12110 0 -1 4202496 9128 0 1 0 215 2 0 0 20 0 19 0 36259097 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140734194760352 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12244/statm: 2406260 16262 2262 9 0 2396937 0 [pid=12244/tid=12246] ppid=12241 vsize=9625040 CPUtime=1.46 cores=1,3,5,7 /proc/12244/task/12246/stat : 12246 (java) R 12241 12244 12110 0 -1 4202560 2456 0 1 0 146 0 0 0 20 0 19 0 36259098 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456842844664 140456715901295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12247] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12247/stat : 12247 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456686766632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12248] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12248/stat : 12248 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456685713832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12249] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12249/stat : 12249 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456684661032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12250] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12250/stat : 12250 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456683608232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12251] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12251/stat : 12251 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456682556456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12252] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12252/stat : 12252 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456681503656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12253] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12253/stat : 12253 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456680450856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12254] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12254/stat : 12254 (java) S 12241 12244 12110 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456679398056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12255] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12255/stat : 12255 (java) S 12241 12244 12110 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456666986984 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12256] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12256/stat : 12256 (java) S 12241 12244 12110 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456665933048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12257] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12257/stat : 12257 (java) S 12241 12244 12110 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456664880136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12258] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12258/stat : 12258 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456663828624 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12259] ppid=12241 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/12244/task/12259/stat : 12259 (java) S 12241 12244 12110 0 -1 4202560 2480 0 0 0 32 0 0 0 20 0 19 0 36259103 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456662776760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12260] ppid=12241 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/12244/task/12260/stat : 12260 (java) S 12241 12244 12110 0 -1 4202560 2914 0 0 0 35 0 0 0 20 0 19 0 36259103 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456661723960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12261] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12261/stat : 12261 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456660671352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12262] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12262/stat : 12262 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456659618760 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12263] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12263/stat : 12263 (java) S 12241 12244 12110 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36259127 9856040960 16262 33554432000 1073741824 1073778376 140734194769216 140456658564264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.17 Current children cumulated vsize (KiB) 9625040 [startup+3.10075 s] /proc/loadavg: 2.26 1.47 0.72 3/213 12263 /proc/meminfo: memFree=28915500/32872528 swapFree=1556504/1720024 [pid=12244] ppid=12241 vsize=9625040 CPUtime=3.79 cores=1,3,5,7 /proc/12244/stat : 12244 (java) S 12241 12244 12110 0 -1 4202496 9140 0 1 0 377 2 0 0 20 0 19 0 36259097 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140734194760352 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12244/statm: 2406260 22406 2262 9 0 2396937 0 [pid=12244/tid=12246] ppid=12241 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/12244/task/12246/stat : 12246 (java) R 12241 12244 12110 0 -1 4202560 2468 0 1 0 304 2 0 0 20 0 19 0 36259098 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456842846536 140456715788558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12247] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12247/stat : 12247 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456686766632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12248] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12248/stat : 12248 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456685713832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12249] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12249/stat : 12249 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456684661032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12250] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12250/stat : 12250 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456683608232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12251] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12251/stat : 12251 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456682556456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12252] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12252/stat : 12252 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456681503656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12253] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12253/stat : 12253 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456680450856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12254] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12254/stat : 12254 (java) S 12241 12244 12110 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456679398056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12255] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12255/stat : 12255 (java) S 12241 12244 12110 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456666986984 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12256] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12256/stat : 12256 (java) S 12241 12244 12110 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456665933048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12257] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12257/stat : 12257 (java) S 12241 12244 12110 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456664880136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12258] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12258/stat : 12258 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456663828624 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12259] ppid=12241 vsize=9625040 CPUtime=0.33 cores=1,3,5,7 /proc/12244/task/12259/stat : 12259 (java) S 12241 12244 12110 0 -1 4202560 2480 0 0 0 33 0 0 0 20 0 19 0 36259103 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456662776760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12260] ppid=12241 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/12244/task/12260/stat : 12260 (java) S 12241 12244 12110 0 -1 4202560 2914 0 0 0 37 0 0 0 20 0 19 0 36259103 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456661723960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12261] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12261/stat : 12261 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456660671352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12262] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12262/stat : 12262 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456659618760 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12263] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12263/stat : 12263 (java) S 12241 12244 12110 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36259127 9856040960 22406 33554432000 1073741824 1073778376 140734194769216 140456658564264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.79 Current children cumulated vsize (KiB) 9625040 [startup+6.3008 s] /proc/loadavg: 2.26 1.47 0.72 3/213 12263 /proc/meminfo: memFree=28872536/32872528 swapFree=1556504/1720024 [pid=12244] ppid=12241 vsize=9625040 CPUtime=7.02 cores=1,3,5,7 /proc/12244/stat : 12244 (java) S 12241 12244 12110 0 -1 4202496 9161 0 1 0 699 3 0 0 20 0 19 0 36259097 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140734194760352 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12244/statm: 2406260 32575 2262 9 0 2396937 0 [pid=12244/tid=12246] ppid=12241 vsize=9625040 CPUtime=6.25 cores=1,3,5,7 /proc/12244/task/12246/stat : 12246 (java) R 12241 12244 12110 0 -1 4202560 2489 0 1 0 623 2 0 0 20 0 19 0 36259098 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456842846472 140456715698727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12247] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12247/stat : 12247 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456686766632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12248] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12248/stat : 12248 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456685713832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12249] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12249/stat : 12249 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456684661032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12250] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12250/stat : 12250 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456683608232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12251] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12251/stat : 12251 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456682556456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12252] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12252/stat : 12252 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456681503656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12253] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12253/stat : 12253 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456680450856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12254] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12254/stat : 12254 (java) S 12241 12244 12110 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36259099 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456679398056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12255] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12255/stat : 12255 (java) S 12241 12244 12110 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456666986984 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12256] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12256/stat : 12256 (java) S 12241 12244 12110 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456665933048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12257] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12257/stat : 12257 (java) S 12241 12244 12110 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456664880136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12258] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12258/stat : 12258 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456663828624 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12259] ppid=12241 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/12244/task/12259/stat : 12259 (java) S 12241 12244 12110 0 -1 4202560 2480 0 0 0 35 0 0 0 20 0 19 0 36259103 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456662776760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12260] ppid=12241 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/12244/task/12260/stat : 12260 (java) S 12241 12244 12110 0 -1 4202560 2914 0 0 0 37 0 0 0 20 0 19 0 36259103 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456661723960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12261] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12261/stat : 12261 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456660671352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12262] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12262/stat : 12262 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456659618760 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12263] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12263/stat : 12263 (java) S 12241 12244 12110 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36259127 9856040960 32575 33554432000 1073741824 1073778376 140734194769216 140456658564264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.02 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=12244/tid=12263] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12263/stat : 12263 (java) S 12241 12244 12110 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36259127 9856040960 92117 33554432000 1073741824 1073778376 140734194769216 140456658564264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1619.07 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.29 2.29 2.01 3/213 12953 /proc/meminfo: memFree=29153272/32872528 swapFree=1556504/1720024 [pid=12244] ppid=12241 vsize=9625040 CPUtime=1679.78 cores=1,3,5,7 /proc/12244/stat : 12244 (java) S 12241 12244 12110 0 -1 4202496 30459 0 1 0 167749 229 0 0 20 0 19 0 36259097 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140734194760352 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12244/statm: 2406260 96389 2284 9 0 2396937 0 [pid=12244/tid=12246] ppid=12241 vsize=9625040 CPUtime=1646.15 cores=1,3,5,7 /proc/12244/task/12246/stat : 12246 (java) R 12241 12244 12110 0 -1 4202560 2908 0 1 0 164585 30 0 0 20 0 19 0 36259098 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456842845392 140456715720226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12247] ppid=12241 vsize=9625040 CPUtime=2.9 cores=1,3,5,7 /proc/12244/task/12247/stat : 12247 (java) S 12241 12244 12110 0 -1 4202560 1303 0 0 0 267 23 0 0 20 0 19 0 36259099 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456686766632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12248] ppid=12241 vsize=9625040 CPUtime=2.84 cores=1,3,5,7 /proc/12244/task/12248/stat : 12248 (java) S 12241 12244 12110 0 -1 4202560 3014 0 0 0 264 20 0 0 20 0 19 0 36259099 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456685713832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12249] ppid=12241 vsize=9625040 CPUtime=3.04 cores=1,3,5,7 /proc/12244/task/12249/stat : 12249 (java) S 12241 12244 12110 0 -1 4202560 2800 0 0 0 276 28 0 0 20 0 19 0 36259099 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456684661032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12250] ppid=12241 vsize=9625040 CPUtime=2.8 cores=1,3,5,7 /proc/12244/task/12250/stat : 12250 (java) S 12241 12244 12110 0 -1 4202560 1486 0 0 0 258 22 0 0 20 0 19 0 36259099 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456683608232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12251] ppid=12241 vsize=9625040 CPUtime=2.96 cores=1,3,5,7 /proc/12244/task/12251/stat : 12251 (java) S 12241 12244 12110 0 -1 4202560 2652 0 0 0 272 24 0 0 20 0 19 0 36259099 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456682556456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12252] ppid=12241 vsize=9625040 CPUtime=2.81 cores=1,3,5,7 /proc/12244/task/12252/stat : 12252 (java) S 12241 12244 12110 0 -1 4202560 2315 0 0 0 260 21 0 0 20 0 19 0 36259099 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456681503656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12253] ppid=12241 vsize=9625040 CPUtime=2.99 cores=1,3,5,7 /proc/12244/task/12253/stat : 12253 (java) S 12241 12244 12110 0 -1 4202560 1852 0 0 0 274 25 0 0 20 0 19 0 36259099 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456680450856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12254] ppid=12241 vsize=9625040 CPUtime=2.87 cores=1,3,5,7 /proc/12244/task/12254/stat : 12254 (java) S 12241 12244 12110 0 -1 4202560 2314 0 0 0 266 21 0 0 20 0 19 0 36259099 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456679398056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12255] ppid=12241 vsize=9625040 CPUtime=4.94 cores=1,3,5,7 /proc/12244/task/12255/stat : 12255 (java) S 12241 12244 12110 0 -1 4202560 1940 0 0 0 486 8 0 0 20 0 19 0 36259100 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456666986984 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12256] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12256/stat : 12256 (java) S 12241 12244 12110 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456665933048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12257] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12257/stat : 12257 (java) S 12241 12244 12110 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456664880136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12258] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12258/stat : 12258 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456663828624 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12259] ppid=12241 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/12244/task/12259/stat : 12259 (java) S 12241 12244 12110 0 -1 4202560 3592 0 0 0 53 0 0 0 20 0 19 0 36259103 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456662776760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12260] ppid=12241 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/12244/task/12260/stat : 12260 (java) S 12241 12244 12110 0 -1 4202560 2926 0 0 0 40 0 0 0 20 0 19 0 36259103 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456661723960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12261] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12261/stat : 12261 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456660671352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12262] ppid=12241 vsize=9625040 CPUtime=0.59 cores=1,3,5,7 /proc/12244/task/12262/stat : 12262 (java) S 12241 12244 12110 0 -1 4202560 94 0 0 0 23 36 0 0 20 0 19 0 36259103 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456659618760 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12263] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12263/stat : 12263 (java) S 12241 12244 12110 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36259127 9856040960 96389 33554432000 1073741824 1073778376 140734194769216 140456658564264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1679.78 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.21 2.27 2.01 4/213 13018 /proc/meminfo: memFree=29133916/32872528 swapFree=1556504/1720024 [pid=12244] ppid=12241 vsize=9625040 CPUtime=1740.3 cores=1,3,5,7 /proc/12244/stat : 12244 (java) S 12241 12244 12110 0 -1 4202496 31251 0 1 0 173789 241 0 0 20 0 19 0 36259097 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140734194760352 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12244/statm: 2406260 93916 2284 9 0 2396937 0 [pid=12244/tid=12246] ppid=12241 vsize=9625040 CPUtime=1705.54 cores=1,3,5,7 /proc/12244/task/12246/stat : 12246 (java) R 12241 12244 12110 0 -1 4202560 2926 0 1 0 170524 30 0 0 20 0 19 0 36259098 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456842845392 140456715720192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12247] ppid=12241 vsize=9625040 CPUtime=2.97 cores=1,3,5,7 /proc/12244/task/12247/stat : 12247 (java) S 12241 12244 12110 0 -1 4202560 1311 0 0 0 273 24 0 0 20 0 19 0 36259099 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456686766632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12248] ppid=12241 vsize=9625040 CPUtime=2.95 cores=1,3,5,7 /proc/12244/task/12248/stat : 12248 (java) S 12241 12244 12110 0 -1 4202560 3096 0 0 0 273 22 0 0 20 0 19 0 36259099 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456685713832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12249] ppid=12241 vsize=9625040 CPUtime=3.11 cores=1,3,5,7 /proc/12244/task/12249/stat : 12249 (java) S 12241 12244 12110 0 -1 4202560 2976 0 0 0 282 29 0 0 20 0 19 0 36259099 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456684661032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12250] ppid=12241 vsize=9625040 CPUtime=2.9 cores=1,3,5,7 /proc/12244/task/12250/stat : 12250 (java) S 12241 12244 12110 0 -1 4202560 1576 0 0 0 267 23 0 0 20 0 19 0 36259099 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456683608232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12251] ppid=12241 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/12244/task/12251/stat : 12251 (java) S 12241 12244 12110 0 -1 4202560 2737 0 0 0 280 26 0 0 20 0 19 0 36259099 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456682556456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12252] ppid=12241 vsize=9625040 CPUtime=2.92 cores=1,3,5,7 /proc/12244/task/12252/stat : 12252 (java) S 12241 12244 12110 0 -1 4202560 2358 0 0 0 270 22 0 0 20 0 19 0 36259099 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456681503656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12253] ppid=12241 vsize=9625040 CPUtime=3.07 cores=1,3,5,7 /proc/12244/task/12253/stat : 12253 (java) S 12241 12244 12110 0 -1 4202560 1922 0 0 0 281 26 0 0 20 0 19 0 36259099 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456680450856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12254] ppid=12241 vsize=9625040 CPUtime=2.98 cores=1,3,5,7 /proc/12244/task/12254/stat : 12254 (java) S 12241 12244 12110 0 -1 4202560 2483 0 0 0 275 23 0 0 20 0 19 0 36259099 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456679398056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12255] ppid=12241 vsize=9625040 CPUtime=5.17 cores=1,3,5,7 /proc/12244/task/12255/stat : 12255 (java) S 12241 12244 12110 0 -1 4202560 1987 0 0 0 509 8 0 0 20 0 19 0 36259100 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456666986984 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12256] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12256/stat : 12256 (java) S 12241 12244 12110 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456665933048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12257] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12257/stat : 12257 (java) S 12241 12244 12110 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456664880136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12258] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12258/stat : 12258 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456663828624 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12259] ppid=12241 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/12244/task/12259/stat : 12259 (java) S 12241 12244 12110 0 -1 4202560 3592 0 0 0 53 0 0 0 20 0 19 0 36259103 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456662776760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12260] ppid=12241 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/12244/task/12260/stat : 12260 (java) S 12241 12244 12110 0 -1 4202560 2926 0 0 0 40 0 0 0 20 0 19 0 36259103 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456661723960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12261] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12261/stat : 12261 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456660671352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12262] ppid=12241 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/12244/task/12262/stat : 12262 (java) S 12241 12244 12110 0 -1 4202560 98 0 0 0 25 37 0 0 20 0 19 0 36259103 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456659618760 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12263] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12263/stat : 12263 (java) S 12241 12244 12110 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36259127 9856040960 93916 33554432000 1073741824 1073778376 140734194769216 140456658564264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1740.3 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1781.4 s] /proc/loadavg: 2.17 2.25 2.02 4/213 13409 /proc/meminfo: memFree=29178636/32872528 swapFree=1556504/1720024 [pid=12244] ppid=12241 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7 /proc/12244/stat : 12244 (java) S 12241 12244 12110 0 -1 4202496 32018 0 1 0 179759 246 0 0 20 0 19 0 36259097 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140734194760352 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12244/statm: 2406260 87829 2284 9 0 2396937 0 [pid=12244/tid=12246] ppid=12241 vsize=9625040 CPUtime=1764.02 cores=1,3,5,7 /proc/12244/task/12246/stat : 12246 (java) R 12241 12244 12110 0 -1 4202560 2952 0 1 0 176371 31 0 0 20 0 19 0 36259098 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456842845392 140456715788581 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12247] ppid=12241 vsize=9625040 CPUtime=3.07 cores=1,3,5,7 /proc/12244/task/12247/stat : 12247 (java) S 12241 12244 12110 0 -1 4202560 1313 0 0 0 283 24 0 0 20 0 19 0 36259099 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456686766632 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12248] ppid=12241 vsize=9625040 CPUtime=3.08 cores=1,3,5,7 /proc/12244/task/12248/stat : 12248 (java) S 12241 12244 12110 0 -1 4202560 3233 0 0 0 286 22 0 0 20 0 19 0 36259099 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456685713832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12249] ppid=12241 vsize=9625040 CPUtime=3.26 cores=1,3,5,7 /proc/12244/task/12249/stat : 12249 (java) S 12241 12244 12110 0 -1 4202560 3090 0 0 0 296 30 0 0 20 0 19 0 36259099 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456684661032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12250] ppid=12241 vsize=9625040 CPUtime=3.03 cores=1,3,5,7 /proc/12244/task/12250/stat : 12250 (java) S 12241 12244 12110 0 -1 4202560 1710 0 0 0 279 24 0 0 20 0 19 0 36259099 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456683608232 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12251] ppid=12241 vsize=9625040 CPUtime=3.18 cores=1,3,5,7 /proc/12244/task/12251/stat : 12251 (java) S 12241 12244 12110 0 -1 4202560 2744 0 0 0 291 27 0 0 20 0 19 0 36259099 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456682556456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12252] ppid=12241 vsize=9625040 CPUtime=3.03 cores=1,3,5,7 /proc/12244/task/12252/stat : 12252 (java) S 12241 12244 12110 0 -1 4202560 2360 0 0 0 281 22 0 0 20 0 19 0 36259099 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456681503656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12253] ppid=12241 vsize=9625040 CPUtime=3.19 cores=1,3,5,7 /proc/12244/task/12253/stat : 12253 (java) S 12241 12244 12110 0 -1 4202560 2152 0 0 0 293 26 0 0 20 0 19 0 36259099 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456680450856 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12254] ppid=12241 vsize=9625040 CPUtime=3.07 cores=1,3,5,7 /proc/12244/task/12254/stat : 12254 (java) S 12241 12244 12110 0 -1 4202560 2528 0 0 0 284 23 0 0 20 0 19 0 36259099 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456679398056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12244/tid=12255] ppid=12241 vsize=9625040 CPUtime=5.35 cores=1,3,5,7 /proc/12244/task/12255/stat : 12255 (java) S 12241 12244 12110 0 -1 4202560 2053 0 0 0 526 9 0 0 20 0 19 0 36259100 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456666986984 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12256] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12256/stat : 12256 (java) S 12241 12244 12110 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456665933048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12257] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12257/stat : 12257 (java) S 12241 12244 12110 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36259100 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456664880136 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12258] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12258/stat : 12258 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456663828624 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12259] ppid=12241 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/12244/task/12259/stat : 12259 (java) S 12241 12244 12110 0 -1 4202560 3592 0 0 0 53 0 0 0 20 0 19 0 36259103 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456662776760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12244/tid=12260] ppid=12241 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/12244/task/12260/stat : 12260 (java) S 12241 12244 12110 0 -1 4202560 2926 0 0 0 40 0 0 0 20 0 19 0 36259103 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456661723960 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12261] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12261/stat : 12261 (java) S 12241 12244 12110 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36259103 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456660671352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12244/tid=12262] ppid=12241 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/12244/task/12262/stat : 12262 (java) S 12241 12244 12110 0 -1 4202560 102 0 0 0 26 39 0 0 20 0 19 0 36259103 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456659618760 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12244/tid=12263] ppid=12241 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12244/task/12263/stat : 12263 (java) S 12241 12244 12110 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36259127 9856040960 87829 33554432000 1073741824 1073778376 140734194769216 140456658564264 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 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 12244 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 12244 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=352369 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=910557 # CPU time returned by wait4() is 1796.26 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1781.46 CPU time (s): 1800.05 CPU user time (s): 1797.59 CPU system time (s): 2.46 CPU usage (%): 101.044 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.35 system time used= 2.91056 maximum resident set size= 730564 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32066 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51483 involuntary context switches= 48645 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.4204 second user time and 13.6439 second system time The end
Begin job on node117 at 2016-06-19 15:15:05 IDJOB=4109212 IDBENCH=78735 IDSOLVER=2551 FILE ID=node117/4109212-1466342105 RUNJOBID= node117-1466341821-12127 PBS_JOBID= 19922035 Free space on /tmp= 71740 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-81-80--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109212-1466342105/watcher-4109212-1466342105 -o /tmp/evaluation-result-4109212-1466342105/solver-4109212-1466342105 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466341821-12127 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109212-1466342105.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2c1e8fe2f29e9730adde423ef6a1fb6a RANDOM SEED=1620739184 node117.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.912 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 : 5333.82 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.912 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.912 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.912 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.912 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.54 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.912 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.54 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.912 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.54 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.912 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: 28985464 kB Buffers: 171112 kB Cached: 591000 kB SwapCached: 0 kB Active: 789168 kB Inactive: 609776 kB Active(anon): 628376 kB Inactive(anon): 10624 kB Active(file): 160792 kB Inactive(file): 599152 kB Unevictable: 1720024 kB Mlocked: 1556504 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 524 kB Writeback: 0 kB AnonPages: 2362496 kB Mapped: 20964 kB Shmem: 204 kB Slab: 628296 kB SReclaimable: 72228 kB SUnreclaim: 556068 kB KernelStack: 1616 kB PageTables: 8992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2708708 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 776192 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= 71740 MiB End job on node117 at 2016-06-19 15:44:46