Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2011-06-08 | MSAT (TO) | 1800.17 | 1796.56 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo |
| MD5SUM | dd3ef6bbe4855ee6a3bf373100fffb0f |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.698892 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 8190 |
| Total number of constraints | 181 |
| Number of soft constraints | 181 |
| Number of constraints which are clauses | 91 |
| Number of constraints which are cardinality constraints (but not clauses) | 90 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 90 |
| Maximum length of a constraint | 91 |
| Top cost | 8850 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 8849 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 92 |
| 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.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.1.v20110525 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.18-164.el5 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 9996466904 0.03/0.09 c Max memory 10048897024 0.03/0.09 c Total memory 10048897024 0.03/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3492603-1307910950.wbo 0.10/0.11 c reading problem ... 0.58/0.32 c ... done. Wall clock time 0.211s. 0.58/0.32 c #vars 8371 0.58/0.32 c #constraints 181 0.58/0.32 c constraints type 0.58/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 91 0.58/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 90 1.16/0.54 c SATISFIABLE 1.16/0.54 c OPTIMIZING... 1.16/0.54 c Got one! Elapsed wall clock time (in seconds):0.432 1.16/0.54 o 23 1.39/0.68 c Got one! Elapsed wall clock time (in seconds):0.568 1.39/0.68 o 20 1.84/1.08 c Got one! Elapsed wall clock time (in seconds):0.97 1.84/1.08 o 8 2.26/1.48 c Got one! Elapsed wall clock time (in seconds):1.372 2.26/1.48 o 5 2.56/1.75 c Got one! Elapsed wall clock time (in seconds):1.639 2.56/1.75 o 2 3.78/2.95 c Got one! Elapsed wall clock time (in seconds):2.843 3.78/2.95 o 1 7.88/7.06 c cleaning 3765 clauses out of 7588 with flag 4000/7588 13.06/12.17 c cleaning 4882 clauses out of 9827 with flag 10004/13592 20.17/19.22 c cleaning 5928 clauses out of 11942 with flag 17001/20589 27.34/26.34 c cleaning 6972 clauses out of 14014 with flag 25001/28589 34.68/33.62 c cleaning 8003 clauses out of 16041 with flag 34000/37588 44.90/43.88 c cleaning 8977 clauses out of 18038 with flag 44000/47588 54.31/53.29 c cleaning 9474 clauses out of 19061 with flag 54000/57588 64.62/63.54 c cleaning 9743 clauses out of 19590 with flag 64003/67591 74.53/73.41 c cleaning 9892 clauses out of 19845 with flag 74001/77589 83.44/82.40 c cleaning 9936 clauses out of 19953 with flag 84001/87589 97.04/95.91 c cleaning 9949 clauses out of 20018 with flag 94002/97590 114.16/113.07 c cleaning 9989 clauses out of 20068 with flag 104001/107589 126.97/125.83 c cleaning 9998 clauses out of 20080 with flag 114002/117590 135.29/134.13 c cleaning 10007 clauses out of 20084 with flag 124004/127592 145.80/144.69 c cleaning 9989 clauses out of 20073 with flag 134000/137588 164.20/163.07 c cleaning 10003 clauses out of 20085 with flag 144001/147589 181.62/180.41 c cleaning 9988 clauses out of 20081 with flag 154000/157588 199.33/198.14 c cleaning 9997 clauses out of 20093 with flag 164000/167588 211.05/209.84 c cleaning 10010 clauses out of 20096 with flag 174000/177588 220.36/219.13 c cleaning 10000 clauses out of 20087 with flag 184001/187589 235.67/234.44 c cleaning 10002 clauses out of 20087 with flag 194001/197589 259.60/258.39 c cleaning 9982 clauses out of 20084 with flag 204000/207588 279.53/278.24 c cleaning 10001 clauses out of 20105 with flag 214003/217591 299.15/297.86 c cleaning 9999 clauses out of 20101 with flag 224000/227588 314.88/313.50 c cleaning 10009 clauses out of 20106 with flag 234004/237592 331.19/329.86 c cleaning 9989 clauses out of 20093 with flag 244000/247588 346.02/344.68 c cleaning 9998 clauses out of 20108 with flag 254004/257592 354.84/353.48 c cleaning 9969 clauses out of 20106 with flag 264000/267588 363.95/362.59 c cleaning 9993 clauses out of 20137 with flag 274000/277588 376.66/375.22 c cleaning 9992 clauses out of 20144 with flag 284000/287588 399.37/397.91 c cleaning 10002 clauses out of 20152 with flag 294000/297588 417.32/415.87 c cleaning 10017 clauses out of 20150 with flag 304000/307588 438.94/437.44 c cleaning 10012 clauses out of 20133 with flag 314000/317588 451.77/450.21 c cleaning 10045 clauses out of 20121 with flag 324000/327588 465.48/463.94 c cleaning 10022 clauses out of 20076 with flag 334000/337588 477.69/476.16 c cleaning 10001 clauses out of 20054 with flag 344000/347588 488.01/486.40 c cleaning 10004 clauses out of 20054 with flag 354001/357589 497.82/496.23 c cleaning 9991 clauses out of 20051 with flag 364002/367590 508.13/506.59 c cleaning 10007 clauses out of 20060 with flag 374002/377590 518.86/517.21 c cleaning 10005 clauses out of 20053 with flag 384002/387590 526.97/525.37 c cleaning 9977 clauses out of 20046 with flag 394000/397588 536.09/534.48 c cleaning 9981 clauses out of 20069 with flag 404000/407588 546.30/544.62 c cleaning 9989 clauses out of 20088 with flag 414000/417588 571.60/569.91 c cleaning 10005 clauses out of 20100 with flag 424001/427589 591.34/589.60 c cleaning 10012 clauses out of 20096 with flag 434002/437590 612.35/610.67 c cleaning 10002 clauses out of 20082 with flag 444000/447588 623.28/621.58 c cleaning 10017 clauses out of 20084 with flag 454004/457592 634.09/632.37 c cleaning 10005 clauses out of 20063 with flag 464000/467588 642.51/640.74 c cleaning 10001 clauses out of 20062 with flag 474004/477592 655.32/653.58 c cleaning 10005 clauses out of 20057 with flag 484000/487588 667.54/665.74 c cleaning 9999 clauses out of 20054 with flag 494002/497590 679.66/677.80 c cleaning 9996 clauses out of 20054 with flag 504001/507589 691.87/690.04 c cleaning 10001 clauses out of 20058 with flag 514001/517589 700.59/698.79 c cleaning 10011 clauses out of 20061 with flag 524005/527593 709.61/707.78 c cleaning 9996 clauses out of 20046 with flag 534001/537589 716.52/714.63 c cleaning 10007 clauses out of 20050 with flag 544001/547589 723.04/721.14 c cleaning 9994 clauses out of 20042 with flag 554000/557588 730.35/728.44 c cleaning 9995 clauses out of 20050 with flag 564002/567590 737.37/735.47 c cleaning 10011 clauses out of 20054 with flag 574001/577589 745.29/743.32 c cleaning 10003 clauses out of 20043 with flag 584001/587589 753.71/751.73 c cleaning 9985 clauses out of 20040 with flag 594001/597589 764.62/762.67 c cleaning 9964 clauses out of 20054 with flag 604000/607588 781.44/779.47 c cleaning 9999 clauses out of 20093 with flag 614003/617591 804.46/802.48 c cleaning 10004 clauses out of 20094 with flag 624003/627591 824.99/822.98 c cleaning 10001 clauses out of 20091 with flag 634004/637592 842.73/840.65 c cleaning 10006 clauses out of 20086 with flag 644000/647588 858.65/856.59 c cleaning 9999 clauses out of 20083 with flag 654003/657591 880.58/878.42 c cleaning 9986 clauses out of 20081 with flag 664000/667588 898.62/896.45 c cleaning 9969 clauses out of 20098 with flag 674003/677591 906.74/904.55 c cleaning 9994 clauses out of 20127 with flag 684001/687589 914.76/912.53 c cleaning 9991 clauses out of 20133 with flag 694001/697589 922.27/920.03 c cleaning 10000 clauses out of 20142 with flag 704001/707589 929.89/927.68 c cleaning 10001 clauses out of 20142 with flag 714001/717589 941.70/939.43 c cleaning 10042 clauses out of 20140 with flag 724000/727588 955.22/952.97 c cleaning 10018 clauses out of 20098 with flag 734000/737588 967.94/965.67 c cleaning 10017 clauses out of 20080 with flag 744000/747588 981.26/978.91 c cleaning 10003 clauses out of 20063 with flag 754000/757588 993.76/991.44 c cleaning 10003 clauses out of 20060 with flag 764000/767588 1006.17/1003.81 c cleaning 10002 clauses out of 20059 with flag 774002/777590 1015.29/1012.90 c cleaning 9997 clauses out of 20057 with flag 784002/787590 1021.01/1018.60 c cleaning 9997 clauses out of 20060 with flag 794002/797590 1027.11/1024.79 c cleaning 9989 clauses out of 20065 with flag 804004/807592 1041.13/1038.79 c cleaning 9994 clauses out of 20075 with flag 814003/817591 1062.76/1060.35 c cleaning 9953 clauses out of 20080 with flag 824002/827590 1079.80/1077.36 c cleaning 9996 clauses out of 20127 with flag 834002/837590 1095.84/1093.35 c cleaning 10000 clauses out of 20132 with flag 844003/847591 1112.66/1110.16 c cleaning 9993 clauses out of 20129 with flag 854000/857588 1139.68/1137.17 c cleaning 9975 clauses out of 20137 with flag 864001/867589 1167.02/1164.49 c cleaning 9989 clauses out of 20161 with flag 874000/877588 1180.17/1177.57 c cleaning 10023 clauses out of 20173 with flag 884001/887589 1189.18/1186.54 c cleaning 10026 clauses out of 20149 with flag 894000/897588 1199.60/1196.91 c cleaning 10026 clauses out of 20125 with flag 904002/907590 1215.92/1213.29 c cleaning 9987 clauses out of 20098 with flag 914001/917589 1236.74/1234.03 c cleaning 9982 clauses out of 20110 with flag 924000/927588 1258.17/1255.48 c cleaning 10001 clauses out of 20131 with flag 934003/937591 1272.60/1269.88 c cleaning 10033 clauses out of 20133 with flag 944006/947594 1287.63/1284.88 c cleaning 10020 clauses out of 20096 with flag 954002/957590 1301.14/1298.37 c cleaning 10011 clauses out of 20075 with flag 964001/967589 1314.75/1311.96 c cleaning 10015 clauses out of 20063 with flag 974000/977588 1330.46/1327.65 c cleaning 10012 clauses out of 20051 with flag 984003/987591 1348.09/1345.25 c cleaning 10002 clauses out of 20037 with flag 994001/997589 1366.51/1363.62 c cleaning 10007 clauses out of 20037 with flag 1004003/1007591 1378.43/1375.58 c cleaning 9985 clauses out of 20029 with flag 1014002/1017590 1387.46/1384.57 c cleaning 9998 clauses out of 20042 with flag 1024000/1027588 1396.88/1393.94 c cleaning 9992 clauses out of 20044 with flag 1034000/1037588 1405.79/1402.81 c cleaning 10004 clauses out of 20052 with flag 1044000/1047588 1413.91/1410.90 c cleaning 10005 clauses out of 20048 with flag 1054000/1057588 1422.12/1419.10 c cleaning 9999 clauses out of 20044 with flag 1064001/1067589 1430.74/1427.79 c cleaning 10000 clauses out of 20045 with flag 1074001/1077589 1441.65/1438.60 c cleaning 9997 clauses out of 20044 with flag 1084000/1087588 1456.77/1453.70 c cleaning 9997 clauses out of 20049 with flag 1094002/1097590 1470.79/1467.73 c cleaning 10003 clauses out of 20050 with flag 1104000/1107588 1485.51/1482.46 c cleaning 9999 clauses out of 20047 with flag 1114000/1117588 1498.84/1495.70 c cleaning 9995 clauses out of 20049 with flag 1124001/1127589 1511.86/1508.73 c cleaning 9996 clauses out of 20056 with flag 1134003/1137591 1524.67/1521.58 c cleaning 9987 clauses out of 20057 with flag 1144000/1147588 1536.89/1533.71 c cleaning 10013 clauses out of 20071 with flag 1154001/1157589 1549.30/1546.17 c cleaning 9994 clauses out of 20057 with flag 1164000/1167588 1562.20/1559.09 c cleaning 10002 clauses out of 20064 with flag 1174001/1177589 1568.21/1565.00 c cleaning 9999 clauses out of 20061 with flag 1184000/1187588 1581.92/1578.73 c cleaning 9985 clauses out of 20062 with flag 1194000/1197588 1598.73/1595.59 c cleaning 10010 clauses out of 20081 with flag 1204004/1207592 1617.66/1614.48 c cleaning 10002 clauses out of 20067 with flag 1214000/1217588 1636.70/1633.47 c cleaning 10004 clauses out of 20066 with flag 1224001/1227589 1656.72/1653.43 c cleaning 9998 clauses out of 20061 with flag 1234000/1237588 1675.25/1671.97 c cleaning 10003 clauses out of 20065 with flag 1244002/1247590 1693.98/1690.62 c cleaning 9998 clauses out of 20061 with flag 1254001/1257589 1713.01/1709.62 c cleaning 10002 clauses out of 20062 with flag 1264000/1267588 1730.23/1726.87 c cleaning 9999 clauses out of 20060 with flag 1274000/1277588 1748.55/1745.11 c cleaning 9999 clauses out of 20061 with flag 1284000/1287588 1768.88/1765.41 c cleaning 10000 clauses out of 20062 with flag 1294000/1297588 1787.20/1783.77 c cleaning 10001 clauses out of 20065 with flag 1304003/1307591 1800.03/1796.51 c starts : 196 1800.03/1796.51 c conflicts : 1314380 1800.03/1796.51 c decisions : 2756260 1800.03/1796.51 c propagations : 58463509 1800.03/1796.51 c inspects : 1734710579 1800.03/1796.51 c shortcuts : 0 1800.03/1796.51 c learnt literals : 0 1800.03/1796.51 c learnt binary clauses : 0 1800.03/1796.51 c learnt ternary clauses : 0 1800.03/1796.51 c learnt constraints : 1314379 1800.03/1796.51 c ignored constraints : 0 1800.03/1796.51 c root simplifications : 0 1800.03/1796.51 c removed literals (reason simplification) : 7793902 1800.03/1796.51 c reason swapping (by a shorter reason) : 0 1800.03/1796.51 c Calls to reduceDB : 132 1800.03/1796.51 c number of reductions to clauses (during analyze) : 0 1800.03/1796.51 c number of learned constraints concerned by reduction : 0 1800.03/1796.51 c number of learning phase by resolution : 0 1800.03/1796.51 c number of learning phase by cutting planes : 0 1800.03/1796.51 c speed (assignments/second) : 32596.386066132236 1800.03/1796.51 c non guided choices 411745 1800.03/1796.52 c learnt constraints type 1800.03/1796.52 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16855 1800.03/1796.52 c constraints type 1800.03/1796.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 91 1800.03/1796.52 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 91 1800.03/1796.52 s SATISFIABLE 1800.03/1796.53 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 1800.03/1796.54 c objective function=1 1800.03/1796.54 c Total wall clock time (in seconds): 1796.432
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3492603-1307910950/watcher-3492603-1307910950 -o /tmp/evaluation-result-3492603-1307910950/solver-3492603-1307910950 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492603-1307910950.wbo 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.25 2.11 2.03 2/193 24188 /proc/meminfo: memFree=12012676/32951132 swapFree=67054624/67111528 [pid=24188] ppid=24186 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/24188/stat : 24188 (java) R 24186 24188 19566 0 -1 4202496 872 0 0 0 0 0 0 0 25 0 1 0 902694649 23580672 615 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274659845909 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24188/statm: 5757 627 463 9 0 124 0 [startup+0.040693 s] /proc/loadavg: 2.25 2.11 2.03 2/193 24188 /proc/meminfo: memFree=12012676/32951132 swapFree=67054624/67111528 [pid=24188] ppid=24186 vsize=10467480 CPUtime=0.03 cores=1,3,5,7 /proc/24188/stat : 24188 (java) S 24186 24188 19566 0 -1 4202496 11121 0 1 0 2 1 0 0 25 0 13 0 902694649 10718699520 10817 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/24188/statm: 2616870 10820 1653 9 0 2607618 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10467480 [startup+0.100669 s] /proc/loadavg: 2.25 2.11 2.03 2/193 24188 /proc/meminfo: memFree=12012676/32951132 swapFree=67054624/67111528 [pid=24188] ppid=24186 vsize=10539840 CPUtime=0.1 cores=1,3,5,7 /proc/24188/stat : 24188 (java) S 24186 24188 19566 0 -1 4202496 13024 0 1 0 9 1 0 0 25 0 18 0 902694649 10792796160 12685 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24188/statm: 2634960 12685 2093 9 0 2625694 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539840 [startup+0.306678 s] /proc/loadavg: 2.25 2.11 2.03 2/193 24188 /proc/meminfo: memFree=12012676/32951132 swapFree=67054624/67111528 [pid=24188] ppid=24186 vsize=10542368 CPUtime=0.58 cores=1,3,5,7 /proc/24188/stat : 24188 (java) S 24186 24188 19566 0 -1 4202496 19016 0 1 0 55 3 0 0 25 0 18 0 902694649 10795384832 17686 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24188/statm: 2635592 17686 2204 9 0 2626326 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 10542368 [startup+0.700565 s] /proc/loadavg: 2.25 2.11 2.03 2/193 24188 /proc/meminfo: memFree=12012676/32951132 swapFree=67054624/67111528 [pid=24188] ppid=24186 vsize=10544816 CPUtime=1.53 cores=1,3,5,7 /proc/24188/stat : 24188 (java) S 24186 24188 19566 0 -1 4202496 20774 0 1 0 150 3 0 0 25 0 19 0 902694649 10797891584 19444 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24188/statm: 2636204 19444 2230 9 0 2626938 0 Current children cumulated CPU time (s) 1.53 Current children cumulated vsize (KiB) 10544816 [startup+1.50144 s] /proc/loadavg: 2.25 2.11 2.03 3/212 24207 /proc/meminfo: memFree=11941808/32951132 swapFree=67054624/67111528 [pid=24188] ppid=24186 vsize=10544816 CPUtime=2.36 cores=1,3,5,7 /proc/24188/stat : 24188 (java) S 24186 24188 19566 0 -1 4202496 21921 0 1 0 233 3 0 0 25 0 19 0 902694649 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24188/statm: 2636204 20590 2232 9 0 2626938 0 [pid=24188/tid=24190] ppid=24186 vsize=10544816 CPUtime=1.48 cores=1,3,5,7 /proc/24188/task/24190/stat : 24190 (java) R 24186 24188 19566 0 -1 4202560 16614 0 1 0 146 2 0 0 20 0 19 0 902694650 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 46912505792640 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=24188/tid=24191] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24191/stat : 24191 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24192] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24192/stat : 24192 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24193] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24193/stat : 24193 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24194] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24194/stat : 24194 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24195] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24195/stat : 24195 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24196] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24196/stat : 24196 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24197] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24197/stat : 24197 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24198] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24198/stat : 24198 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24199] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24199/stat : 24199 (java) S 24186 24188 19566 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902694652 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 0 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24200] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24200/stat : 24200 (java) S 24186 24188 19566 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902694653 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24201] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24201/stat : 24201 (java) S 24186 24188 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902694653 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24202] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24202/stat : 24202 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676631985 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24203] ppid=24186 vsize=10544816 CPUtime=0.43 cores=1,3,5,7 /proc/24188/task/24203/stat : 24203 (java) S 24186 24188 19566 0 -1 4202560 2459 0 0 0 43 0 0 0 21 0 19 0 902694655 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24204] ppid=24186 vsize=10544816 CPUtime=0.42 cores=1,3,5,7 /proc/24188/task/24204/stat : 24204 (java) S 24186 24188 19566 0 -1 4202560 1687 0 0 0 42 0 0 0 15 0 19 0 902694655 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24205] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24205/stat : 24205 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24206] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24206/stat : 24206 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902694655 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24207] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24207/stat : 24207 (java) S 24186 24188 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694683 10797891584 20590 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.36 Current children cumulated vsize (KiB) 10544816 [startup+3.10116 s] /proc/loadavg: 2.25 2.11 2.03 3/212 24207 /proc/meminfo: memFree=11935236/32951132 swapFree=67054624/67111528 [pid=24188] ppid=24186 vsize=10544816 CPUtime=3.98 cores=1,3,5,7 /proc/24188/stat : 24188 (java) S 24186 24188 19566 0 -1 4202496 23832 0 1 0 395 3 0 0 25 0 19 0 902694649 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24188/statm: 2636204 22500 2232 9 0 2626938 0 [pid=24188/tid=24190] ppid=24186 vsize=10544816 CPUtime=3.08 cores=1,3,5,7 /proc/24188/task/24190/stat : 24190 (java) R 24186 24188 19566 0 -1 4202560 18522 0 1 0 306 2 0 0 25 0 19 0 902694650 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 46912505757494 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=24188/tid=24191] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24191/stat : 24191 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24192] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24192/stat : 24192 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24193] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24193/stat : 24193 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24194] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24194/stat : 24194 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24195] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24195/stat : 24195 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24196] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24196/stat : 24196 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24197] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24197/stat : 24197 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24198] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24198/stat : 24198 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24199] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24199/stat : 24199 (java) S 24186 24188 19566 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902694652 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 0 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24200] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24200/stat : 24200 (java) S 24186 24188 19566 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902694653 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24201] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24201/stat : 24201 (java) S 24186 24188 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902694653 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24202] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24202/stat : 24202 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676631985 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24203] ppid=24186 vsize=10544816 CPUtime=0.44 cores=1,3,5,7 /proc/24188/task/24203/stat : 24203 (java) S 24186 24188 19566 0 -1 4202560 2461 0 0 0 44 0 0 0 15 0 19 0 902694655 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24204] ppid=24186 vsize=10544816 CPUtime=0.44 cores=1,3,5,7 /proc/24188/task/24204/stat : 24204 (java) S 24186 24188 19566 0 -1 4202560 1688 0 0 0 44 0 0 0 15 0 19 0 902694655 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24205] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24205/stat : 24205 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24206] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24206/stat : 24206 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902694655 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24207] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24207/stat : 24207 (java) S 24186 24188 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694683 10797891584 22500 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.98 Current children cumulated vsize (KiB) 10544816 [startup+6.30061 s] /proc/loadavg: 2.23 2.11 2.03 3/212 24207 /proc/meminfo: memFree=11919984/32951132 swapFree=67054624/67111528 [pid=24188] ppid=24186 vsize=10544816 CPUtime=7.18 cores=1,3,5,7 /proc/24188/stat : 24188 (java) S 24186 24188 19566 0 -1 4202496 27181 0 1 0 714 4 0 0 25 0 19 0 902694649 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24188/statm: 2636204 25802 2233 9 0 2626938 0 [pid=24188/tid=24190] ppid=24186 vsize=10544816 CPUtime=6.28 cores=1,3,5,7 /proc/24188/task/24190/stat : 24190 (java) R 24186 24188 19566 0 -1 4202560 21870 0 1 0 625 3 0 0 25 0 19 0 902694650 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 46912505913936 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=24188/tid=24191] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24191/stat : 24191 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24192] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24192/stat : 24192 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24193] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24193/stat : 24193 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24194] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24194/stat : 24194 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24195] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24195/stat : 24195 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24196] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24196/stat : 24196 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24197] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24197/stat : 24197 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24198] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24198/stat : 24198 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694651 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24199] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24199/stat : 24199 (java) S 24186 24188 19566 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902694652 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 0 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24200] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24200/stat : 24200 (java) S 24186 24188 19566 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902694653 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24201] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24201/stat : 24201 (java) S 24186 24188 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902694653 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24202] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24202/stat : 24202 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676631985 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24203] ppid=24186 vsize=10544816 CPUtime=0.44 cores=1,3,5,7 /proc/24188/task/24203/stat : 24203 (java) S 24186 24188 19566 0 -1 4202560 2461 0 0 0 44 0 0 0 15 0 19 0 902694655 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24204] ppid=24186 vsize=10544816 CPUtime=0.44 cores=1,3,5,7 /proc/24188/task/24204/stat : 24204 (java) S 24186 24188 19566 0 -1 4202560 1688 0 0 0 44 0 0 0 15 0 19 0 902694655 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24205] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24205/stat : 24205 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24206] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24206/stat : 24206 (java) S 24186 24188 19566 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902694655 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24207] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24207/stat : 24207 (java) S 24186 24188 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694683 10797891584 25802 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 7.18 Current children cumulated vsize (KiB) 10544816 [startup+12.7015 s] ################ # More data... # ################ [pid=24188/tid=24196] ppid=24186 vsize=10544816 CPUtime=0.49 cores=1,3,5,7 /proc/24188/task/24196/stat : 24196 (java) S 24186 24188 19566 0 -1 4202560 7955 0 0 0 48 1 0 0 16 0 19 0 902694651 10797891584 109730 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24197] ppid=24186 vsize=10544816 CPUtime=0.43 cores=1,3,5,7 /proc/24188/task/24197/stat : 24197 (java) S 24186 24188 19566 0 -1 4202560 4477 0 0 0 43 0 0 0 15 0 19 0 902694651 10797891584 109730 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24198] ppid=24186 vsize=10544816 CPUtime=0.41 cores=1,3,5,7 /proc/24188/task/24198/stat : 24198 (java) S 24186 24188 19566 0 -1 4202560 7497 0 0 0 40 1 0 0 15 0 19 0 902694651 10797891584 109730 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 7 0 0 0 [pid=24188/tid=24199] ppid=24186 vsize=10544816 CPUtime=5.1 cores=1,3,5,7 /proc/24188/task/24199/stat : 24199 (java) S 24186 24188 19566 0 -1 4202560 21638 0 0 0 507 3 0 0 15 0 19 0 902694652 10797891584 109730 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 0 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24200] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24200/stat : 24200 (java) S 24186 24188 19566 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902694653 10797891584 109730 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24201] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24201/stat : 24201 (java) S 24186 24188 19566 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902694653 10797891584 109730 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24202] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24202/stat : 24202 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 109730 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676631985 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24203] ppid=24186 vsize=10544816 CPUtime=0.6 cores=1,3,5,7 /proc/24188/task/24203/stat : 24203 (java) S 24186 24188 19566 0 -1 4202560 4125 0 0 0 60 0 0 0 15 0 19 0 902694655 10797891584 109730 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24204] ppid=24186 vsize=10544816 CPUtime=0.49 cores=1,3,5,7 /proc/24188/task/24204/stat : 24204 (java) S 24186 24188 19566 0 -1 4202560 1700 0 0 0 49 0 0 0 15 0 19 0 902694655 10797891584 109730 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24205] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24205/stat : 24205 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 109730 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24206] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24206/stat : 24206 (java) S 24186 24188 19566 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 902694655 10797891584 109730 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24207] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24207/stat : 24207 (java) S 24186 24188 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694683 10797891584 109730 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1725.73 Current children cumulated vsize (KiB) 10544816 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/212 24491 /proc/meminfo: memFree=11595120/32951132 swapFree=67054624/67111528 [pid=24188] ppid=24186 vsize=10544816 CPUtime=1785.8 cores=1,3,5,7 /proc/24188/stat : 24188 (java) S 24186 24188 19566 0 -1 4202496 113100 0 1 0 178560 20 0 0 25 0 19 0 902694649 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24188/statm: 2636204 109735 2261 9 0 2626938 0 [pid=24188/tid=24190] ppid=24186 vsize=10544816 CPUtime=1775.73 cores=1,3,5,7 /proc/24188/task/24190/stat : 24190 (java) R 24186 24188 19566 0 -1 4202560 37212 0 1 0 177568 5 0 0 25 0 19 0 902694650 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 46912505920623 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=24188/tid=24191] ppid=24186 vsize=10544816 CPUtime=0.5 cores=1,3,5,7 /proc/24188/task/24191/stat : 24191 (java) S 24186 24188 19566 0 -1 4202560 5071 0 0 0 49 1 0 0 16 0 19 0 902694651 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24192] ppid=24186 vsize=10544816 CPUtime=0.47 cores=1,3,5,7 /proc/24188/task/24192/stat : 24192 (java) S 24186 24188 19566 0 -1 4202560 4493 0 0 0 47 0 0 0 16 0 19 0 902694651 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 7 0 0 0 [pid=24188/tid=24193] ppid=24186 vsize=10544816 CPUtime=0.43 cores=1,3,5,7 /proc/24188/task/24193/stat : 24193 (java) S 24186 24188 19566 0 -1 4202560 5907 0 0 0 42 1 0 0 15 0 19 0 902694651 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24194] ppid=24186 vsize=10544816 CPUtime=0.46 cores=1,3,5,7 /proc/24188/task/24194/stat : 24194 (java) S 24186 24188 19566 0 -1 4202560 5264 0 0 0 46 0 0 0 16 0 19 0 902694651 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24195] ppid=24186 vsize=10544816 CPUtime=0.41 cores=1,3,5,7 /proc/24188/task/24195/stat : 24195 (java) S 24186 24188 19566 0 -1 4202560 6504 0 0 0 40 1 0 0 16 0 19 0 902694651 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24196] ppid=24186 vsize=10544816 CPUtime=0.49 cores=1,3,5,7 /proc/24188/task/24196/stat : 24196 (java) S 24186 24188 19566 0 -1 4202560 7956 0 0 0 48 1 0 0 15 0 19 0 902694651 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 7 0 0 0 [pid=24188/tid=24197] ppid=24186 vsize=10544816 CPUtime=0.44 cores=1,3,5,7 /proc/24188/task/24197/stat : 24197 (java) S 24186 24188 19566 0 -1 4202560 4477 0 0 0 44 0 0 0 15 0 19 0 902694651 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24198] ppid=24186 vsize=10544816 CPUtime=0.42 cores=1,3,5,7 /proc/24188/task/24198/stat : 24198 (java) S 24186 24188 19566 0 -1 4202560 7497 0 0 0 41 1 0 0 15 0 19 0 902694651 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24199] ppid=24186 vsize=10544816 CPUtime=5.24 cores=1,3,5,7 /proc/24188/task/24199/stat : 24199 (java) S 24186 24188 19566 0 -1 4202560 21640 0 0 0 520 4 0 0 15 0 19 0 902694652 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 0 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24200] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24200/stat : 24200 (java) S 24186 24188 19566 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902694653 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24201] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24201/stat : 24201 (java) S 24186 24188 19566 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902694653 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24202] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24202/stat : 24202 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676631985 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24203] ppid=24186 vsize=10544816 CPUtime=0.6 cores=1,3,5,7 /proc/24188/task/24203/stat : 24203 (java) S 24186 24188 19566 0 -1 4202560 4125 0 0 0 60 0 0 0 15 0 19 0 902694655 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24204] ppid=24186 vsize=10544816 CPUtime=0.49 cores=1,3,5,7 /proc/24188/task/24204/stat : 24204 (java) S 24186 24188 19566 0 -1 4202560 1700 0 0 0 49 0 0 0 15 0 19 0 902694655 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24205] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24205/stat : 24205 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24206] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24206/stat : 24206 (java) S 24186 24188 19566 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902694655 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24207] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24207/stat : 24207 (java) S 24186 24188 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694683 10797891584 109735 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1785.8 Current children cumulated vsize (KiB) 10544816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.5 s] /proc/loadavg: 2.07 2.02 2.00 3/212 24492 /proc/meminfo: memFree=11594616/32951132 swapFree=67054624/67111528 [pid=24188] ppid=24186 vsize=10544816 CPUtime=1800.03 cores=1,3,5,7 /proc/24188/stat : 24188 (java) S 24186 24188 19566 0 -1 4202496 113107 0 1 0 179983 20 0 0 25 0 19 0 902694649 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24188/statm: 2636204 109739 2261 9 0 2626938 0 [pid=24188/tid=24190] ppid=24186 vsize=10544816 CPUtime=1789.86 cores=1,3,5,7 /proc/24188/task/24190/stat : 24190 (java) R 24186 24188 19566 0 -1 4202560 37213 0 1 0 178981 5 0 0 25 0 19 0 902694650 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 46912505757722 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=24188/tid=24191] ppid=24186 vsize=10544816 CPUtime=0.5 cores=1,3,5,7 /proc/24188/task/24191/stat : 24191 (java) S 24186 24188 19566 0 -1 4202560 5071 0 0 0 49 1 0 0 16 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24192] ppid=24186 vsize=10544816 CPUtime=0.49 cores=1,3,5,7 /proc/24188/task/24192/stat : 24192 (java) S 24186 24188 19566 0 -1 4202560 4493 0 0 0 49 0 0 0 16 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24193] ppid=24186 vsize=10544816 CPUtime=0.43 cores=1,3,5,7 /proc/24188/task/24193/stat : 24193 (java) S 24186 24188 19566 0 -1 4202560 5907 0 0 0 42 1 0 0 15 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24194] ppid=24186 vsize=10544816 CPUtime=0.47 cores=1,3,5,7 /proc/24188/task/24194/stat : 24194 (java) S 24186 24188 19566 0 -1 4202560 5264 0 0 0 47 0 0 0 16 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24195] ppid=24186 vsize=10544816 CPUtime=0.41 cores=1,3,5,7 /proc/24188/task/24195/stat : 24195 (java) S 24186 24188 19566 0 -1 4202560 6504 0 0 0 40 1 0 0 16 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24196] ppid=24186 vsize=10544816 CPUtime=0.5 cores=1,3,5,7 /proc/24188/task/24196/stat : 24196 (java) S 24186 24188 19566 0 -1 4202560 7960 0 0 0 49 1 0 0 16 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 7 0 0 0 [pid=24188/tid=24197] ppid=24186 vsize=10544816 CPUtime=0.44 cores=1,3,5,7 /proc/24188/task/24197/stat : 24197 (java) S 24186 24188 19566 0 -1 4202560 4477 0 0 0 44 0 0 0 15 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24198] ppid=24186 vsize=10544816 CPUtime=0.42 cores=1,3,5,7 /proc/24188/task/24198/stat : 24198 (java) S 24186 24188 19566 0 -1 4202560 7497 0 0 0 41 1 0 0 15 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24199] ppid=24186 vsize=10544816 CPUtime=5.3 cores=1,3,5,7 /proc/24188/task/24199/stat : 24199 (java) S 24186 24188 19566 0 -1 4202560 21642 0 0 0 526 4 0 0 15 0 19 0 902694652 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 0 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24200] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24200/stat : 24200 (java) S 24186 24188 19566 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902694653 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24201] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24201/stat : 24201 (java) S 24186 24188 19566 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902694653 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24202] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24202/stat : 24202 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676631985 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24203] ppid=24186 vsize=10544816 CPUtime=0.6 cores=1,3,5,7 /proc/24188/task/24203/stat : 24203 (java) S 24186 24188 19566 0 -1 4202560 4125 0 0 0 60 0 0 0 15 0 19 0 902694655 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24204] ppid=24186 vsize=10544816 CPUtime=0.49 cores=1,3,5,7 /proc/24188/task/24204/stat : 24204 (java) S 24186 24188 19566 0 -1 4202560 1700 0 0 0 49 0 0 0 15 0 19 0 902694655 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24205] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24205/stat : 24205 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24206] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24206/stat : 24206 (java) S 24186 24188 19566 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902694655 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24207] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24207/stat : 24207 (java) S 24186 24188 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694683 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 10544816 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.5 s] /proc/loadavg: 2.07 2.02 2.00 3/212 24492 /proc/meminfo: memFree=11594616/32951132 swapFree=67054624/67111528 [pid=24188] ppid=24186 vsize=10544816 CPUtime=1800.03 cores=1,3,5,7 /proc/24188/stat : 24188 (java) S 24186 24188 19566 0 -1 4202496 113107 0 1 0 179983 20 0 0 25 0 19 0 902694649 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24188/statm: 2636204 109739 2261 9 0 2626938 0 [pid=24188/tid=24190] ppid=24186 vsize=10544816 CPUtime=1789.86 cores=1,3,5,7 /proc/24188/task/24190/stat : 24190 (java) R 24186 24188 19566 0 -1 4202560 37213 0 1 0 178981 5 0 0 25 0 19 0 902694650 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 46912505757722 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=24188/tid=24191] ppid=24186 vsize=10544816 CPUtime=0.5 cores=1,3,5,7 /proc/24188/task/24191/stat : 24191 (java) S 24186 24188 19566 0 -1 4202560 5071 0 0 0 49 1 0 0 16 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24192] ppid=24186 vsize=10544816 CPUtime=0.49 cores=1,3,5,7 /proc/24188/task/24192/stat : 24192 (java) S 24186 24188 19566 0 -1 4202560 4493 0 0 0 49 0 0 0 16 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24193] ppid=24186 vsize=10544816 CPUtime=0.43 cores=1,3,5,7 /proc/24188/task/24193/stat : 24193 (java) S 24186 24188 19566 0 -1 4202560 5907 0 0 0 42 1 0 0 15 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24194] ppid=24186 vsize=10544816 CPUtime=0.47 cores=1,3,5,7 /proc/24188/task/24194/stat : 24194 (java) S 24186 24188 19566 0 -1 4202560 5264 0 0 0 47 0 0 0 16 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24195] ppid=24186 vsize=10544816 CPUtime=0.41 cores=1,3,5,7 /proc/24188/task/24195/stat : 24195 (java) S 24186 24188 19566 0 -1 4202560 6504 0 0 0 40 1 0 0 16 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24196] ppid=24186 vsize=10544816 CPUtime=0.5 cores=1,3,5,7 /proc/24188/task/24196/stat : 24196 (java) S 24186 24188 19566 0 -1 4202560 7960 0 0 0 49 1 0 0 16 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 7 0 0 0 [pid=24188/tid=24197] ppid=24186 vsize=10544816 CPUtime=0.44 cores=1,3,5,7 /proc/24188/task/24197/stat : 24197 (java) S 24186 24188 19566 0 -1 4202560 4477 0 0 0 44 0 0 0 15 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24198] ppid=24186 vsize=10544816 CPUtime=0.42 cores=1,3,5,7 /proc/24188/task/24198/stat : 24198 (java) S 24186 24188 19566 0 -1 4202560 7497 0 0 0 41 1 0 0 15 0 19 0 902694651 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24199] ppid=24186 vsize=10544816 CPUtime=5.3 cores=1,3,5,7 /proc/24188/task/24199/stat : 24199 (java) S 24186 24188 19566 0 -1 4202560 21642 0 0 0 526 4 0 0 15 0 19 0 902694652 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 0 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24200] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24200/stat : 24200 (java) S 24186 24188 19566 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902694653 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24201] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24201/stat : 24201 (java) S 24186 24188 19566 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902694653 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24202] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24202/stat : 24202 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676631985 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24203] ppid=24186 vsize=10544816 CPUtime=0.6 cores=1,3,5,7 /proc/24188/task/24203/stat : 24203 (java) S 24186 24188 19566 0 -1 4202560 4125 0 0 0 60 0 0 0 15 0 19 0 902694655 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24204] ppid=24186 vsize=10544816 CPUtime=0.49 cores=1,3,5,7 /proc/24188/task/24204/stat : 24204 (java) S 24186 24188 19566 0 -1 4202560 1700 0 0 0 49 0 0 0 15 0 19 0 902694655 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 5 0 0 0 [pid=24188/tid=24205] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24205/stat : 24205 (java) S 24186 24188 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694655 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624281 0 4 0 16800975 18446604468575127424 0 0 -1 3 0 0 0 [pid=24188/tid=24206] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24206/stat : 24206 (java) S 24186 24188 19566 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902694655 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 1 0 0 0 [pid=24188/tid=24207] ppid=24186 vsize=10544816 CPUtime=0 cores=1,3,5,7 /proc/24188/task/24207/stat : 24207 (java) S 24186 24188 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694683 10797891584 109739 33554432000 1073741824 1073778376 140734618130528 18446744073709551615 274676624896 0 4 0 16800975 18446604468575127424 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 10544816 Child status: 143 Real time (s): 1796.56 CPU time (s): 1800.17 CPU user time (s): 1799.94 CPU system time (s): 0.226965 CPU usage (%): 100.201 Max. virtual memory (cumulated for all children) (KiB): 10544816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.94 system time used= 0.226965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 113259 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39899 involuntary context switches= 31398 runsolver used 2.99954 second user time and 6.80497 second system time The end
Begin job on node131 at 2011-06-12 22:35:50 IDJOB=3492603 IDBENCH=79185 IDSOLVER=1982 FILE ID=node131/3492603-1307910950 RUNJOBID= node131-1307907581-21985 PBS_JOBID= 13559575 Free space on /tmp= 56584 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492603-1307910950/watcher-3492603-1307910950 -o /tmp/evaluation-result-3492603-1307910950/solver-3492603-1307910950 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492603-1307910950.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dd3ef6bbe4855ee6a3bf373100fffb0f RANDOM SEED=1859543559 node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 12012848 kB Buffers: 333792 kB Cached: 19809708 kB SwapCached: 9816 kB Active: 15691436 kB Inactive: 4561752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 12012848 kB SwapTotal: 67111528 kB SwapFree: 67054624 kB Dirty: 500 kB Writeback: 0 kB AnonPages: 107292 kB Mapped: 21504 kB Slab: 621952 kB PageTables: 4660 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 10548484 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 56584 MiB End job on node131 at 2011-06-12 23:05:49