Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 8 | 1800.18 | 1794.79 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-saucier.r.opb |
MD5SUM | aa80468537d69826ea16800f352007ec |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 6207 |
Total number of constraints | 171 |
Number of constraints which are clauses | 171 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5184 |
Number of terms in the objective function | 6207 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6207 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6207 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.1.v20110525 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.18-164.el5 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 12995394264 0.04/0.09 c Max memory 13063553024 0.04/0.09 c Total memory 13063553024 0.04/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3459034-1307153434.opb 0.11/0.11 c reading problem ... 1.14/0.92 c ... done. Wall clock time 0.817s. 1.14/0.92 c #vars 6207 1.14/0.93 c #constraints 171 1.14/0.93 c constraints type 1.14/0.93 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 170 1.14/0.93 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1 1.31/1.03 c SATISFIABLE 1.31/1.03 c OPTIMIZING... 1.31/1.03 c Got one! Elapsed wall clock time (in seconds):0.926 1.31/1.03 o 12 1.57/1.17 c Got one! Elapsed wall clock time (in seconds):1.063 1.57/1.17 o 11 1.77/1.26 c Got one! Elapsed wall clock time (in seconds):1.15 1.77/1.26 o 10 2.08/1.40 c Got one! Elapsed wall clock time (in seconds):1.296 2.08/1.40 o 9 2.19/1.53 c Got one! Elapsed wall clock time (in seconds):1.426 2.19/1.53 o 8 8.71/8.02 c cleaning 2760 clauses out of 5520 with flag 5003/5520 14.87/14.16 c cleaning 4377 clauses out of 8758 with flag 11001/11518 23.01/22.28 c cleaning 5683 clauses out of 11380 with flag 18000/18517 32.36/31.56 c cleaning 6848 clauses out of 13698 with flag 26001/26518 43.05/42.10 c cleaning 7924 clauses out of 15849 with flag 35000/35517 51.39/50.47 c cleaning 8961 clauses out of 17927 with flag 45002/45519 63.82/62.85 c cleaning 9481 clauses out of 18965 with flag 55001/55518 93.88/92.80 c cleaning 9740 clauses out of 19484 with flag 65001/65518 108.01/106.98 c cleaning 9868 clauses out of 19745 with flag 75002/75519 119.16/118.06 c cleaning 9934 clauses out of 19875 with flag 85000/85517 127.30/126.13 c cleaning 9969 clauses out of 19944 with flag 95003/95520 136.33/135.11 c cleaning 9982 clauses out of 19972 with flag 105000/105517 148.97/147.77 c cleaning 9937 clauses out of 19992 with flag 115002/115519 169.31/168.03 c cleaning 10024 clauses out of 20053 with flag 125000/125517 182.65/181.35 c cleaning 10010 clauses out of 20029 with flag 135000/135517 196.12/194.79 c cleaning 10001 clauses out of 20020 with flag 145001/145518 209.14/207.79 c cleaning 9995 clauses out of 20018 with flag 155000/155517 223.37/221.94 c cleaning 10009 clauses out of 20023 with flag 165000/165517 238.30/236.87 c cleaning 10000 clauses out of 20014 with flag 175000/175517 249.83/248.38 c cleaning 10001 clauses out of 20014 with flag 185000/185517 267.36/265.83 c cleaning 9998 clauses out of 20013 with flag 195000/195517 276.53/274.94 c cleaning 10003 clauses out of 20016 with flag 205001/205518 284.15/282.55 c cleaning 10001 clauses out of 20012 with flag 215000/215517 295.39/293.76 c cleaning 10001 clauses out of 20011 with flag 225000/225517 306.42/304.73 c cleaning 9991 clauses out of 20010 with flag 235000/235517 318.32/316.66 c cleaning 10004 clauses out of 20023 with flag 245004/245521 328.36/326.69 c cleaning 10000 clauses out of 20015 with flag 255000/255517 338.89/337.13 c cleaning 10002 clauses out of 20016 with flag 265001/265518 348.52/346.76 c cleaning 10004 clauses out of 20013 with flag 275000/275517 358.05/356.22 c cleaning 10005 clauses out of 20013 with flag 285004/285521 365.58/363.72 c cleaning 9996 clauses out of 20004 with flag 295000/295517 374.31/372.41 c cleaning 10000 clauses out of 20010 with flag 305002/305519 385.95/384.04 c cleaning 10003 clauses out of 20011 with flag 315003/315520 401.10/399.14 c cleaning 10000 clauses out of 20008 with flag 325003/325520 423.52/421.57 c cleaning 9999 clauses out of 20008 with flag 335003/335520 439.96/437.96 c cleaning 10001 clauses out of 20007 with flag 345001/345518 451.49/449.49 c cleaning 10001 clauses out of 20010 with flag 355005/355522 464.31/462.24 c cleaning 9996 clauses out of 20005 with flag 365001/365518 477.76/475.68 c cleaning 9999 clauses out of 20008 with flag 375000/375517 491.08/488.98 c cleaning 9999 clauses out of 20010 with flag 385001/385518 504.03/501.88 c cleaning 10003 clauses out of 20011 with flag 395001/395518 513.87/511.65 c cleaning 10001 clauses out of 20008 with flag 405001/405518 531.51/529.21 c cleaning 9967 clauses out of 20006 with flag 415000/415517 549.55/547.21 c cleaning 10019 clauses out of 20046 with flag 425007/425524 562.59/560.25 c cleaning 9994 clauses out of 20022 with flag 435002/435519 573.73/571.36 c cleaning 10011 clauses out of 20029 with flag 445003/445520 584.29/581.88 c cleaning 10007 clauses out of 20020 with flag 455005/455522 595.59/593.10 c cleaning 10002 clauses out of 20009 with flag 465001/465518 607.05/604.59 c cleaning 10002 clauses out of 20009 with flag 475003/475520 628.98/626.44 c cleaning 9982 clauses out of 20004 with flag 485000/485517 651.02/648.46 c cleaning 10001 clauses out of 20022 with flag 495000/495517 674.56/671.91 c cleaning 10008 clauses out of 20026 with flag 505005/505522 696.30/693.66 c cleaning 9998 clauses out of 20013 with flag 515000/515517 712.34/709.60 c cleaning 9994 clauses out of 20015 with flag 525000/525517 720.48/717.78 c cleaning 10009 clauses out of 20026 with flag 535005/535522 729.40/726.69 c cleaning 10006 clauses out of 20015 with flag 545003/545520 738.44/735.67 c cleaning 10000 clauses out of 20006 with flag 555000/555517 747.86/745.00 c cleaning 9998 clauses out of 20007 with flag 565001/565518 756.97/754.10 c cleaning 10002 clauses out of 20012 with flag 575004/575521 766.32/763.43 c cleaning 9998 clauses out of 20006 with flag 585000/585517 779.92/777.08 c cleaning 9944 clauses out of 20008 with flag 595000/595517 800.24/797.31 c cleaning 10019 clauses out of 20064 with flag 605000/605517 832.39/829.44 c cleaning 10002 clauses out of 20045 with flag 615000/615517 849.61/846.62 c cleaning 10016 clauses out of 20043 with flag 625000/625517 864.93/861.96 c cleaning 10011 clauses out of 20030 with flag 635003/635520 878.99/875.93 c cleaning 9998 clauses out of 20016 with flag 645000/645517 886.71/883.65 c cleaning 10006 clauses out of 20020 with flag 655002/655519 895.54/892.44 c cleaning 10002 clauses out of 20013 with flag 665001/665518 903.99/900.82 c cleaning 10004 clauses out of 20011 with flag 675001/675518 912.67/909.52 c cleaning 9997 clauses out of 20006 with flag 685000/685517 921.71/918.58 c cleaning 10003 clauses out of 20012 with flag 695003/695520 931.71/928.60 c cleaning 9988 clauses out of 20006 with flag 705000/705517 941.24/938.08 c cleaning 10005 clauses out of 20022 with flag 715004/715521 956.97/953.77 c cleaning 10004 clauses out of 20014 with flag 725001/725518 975.61/972.39 c cleaning 10001 clauses out of 20010 with flag 735001/735518 992.04/988.74 c cleaning 9999 clauses out of 20011 with flag 745003/745520 1007.86/1004.59 c cleaning 10005 clauses out of 20016 with flag 755007/755524 1025.02/1021.60 c cleaning 9991 clauses out of 20004 with flag 765000/765517 1041.89/1038.45 c cleaning 10006 clauses out of 20021 with flag 775008/775525 1060.01/1056.56 c cleaning 9999 clauses out of 20007 with flag 785000/785517 1069.04/1065.51 c cleaning 9997 clauses out of 20008 with flag 795000/795517 1077.37/1073.89 c cleaning 9999 clauses out of 20012 with flag 805001/805518 1086.11/1082.53 c cleaning 10000 clauses out of 20013 with flag 815001/815518 1094.24/1090.62 c cleaning 10003 clauses out of 20013 with flag 825001/825518 1103.07/1099.47 c cleaning 9996 clauses out of 20009 with flag 835000/835517 1111.32/1107.69 c cleaning 9999 clauses out of 20013 with flag 845000/845517 1119.81/1116.17 c cleaning 9982 clauses out of 20014 with flag 855000/855517 1128.72/1125.07 c cleaning 10013 clauses out of 20033 with flag 865001/865518 1137.48/1133.71 c cleaning 10000 clauses out of 20020 with flag 875001/875518 1147.84/1144.09 c cleaning 10009 clauses out of 20021 with flag 885002/885519 1157.53/1153.76 c cleaning 10002 clauses out of 20010 with flag 895000/895517 1169.46/1165.62 c cleaning 9996 clauses out of 20008 with flag 905000/905517 1181.78/1177.97 c cleaning 10001 clauses out of 20014 with flag 915002/915519 1192.19/1188.39 c cleaning 10000 clauses out of 20014 with flag 925003/925520 1200.32/1196.41 c cleaning 10003 clauses out of 20012 with flag 935001/935518 1213.27/1209.37 c cleaning 9999 clauses out of 20009 with flag 945001/945518 1227.22/1223.29 c cleaning 10000 clauses out of 20010 with flag 955001/955518 1241.34/1237.32 c cleaning 9999 clauses out of 20010 with flag 965001/965518 1259.48/1255.48 c cleaning 9998 clauses out of 20010 with flag 975000/975517 1277.38/1273.31 c cleaning 10003 clauses out of 20017 with flag 985005/985522 1295.93/1291.89 c cleaning 9992 clauses out of 20009 with flag 995000/995517 1312.78/1308.64 c cleaning 10004 clauses out of 20020 with flag 1005003/1005520 1329.92/1325.75 c cleaning 10005 clauses out of 20013 with flag 1015000/1015517 1344.85/1340.60 c cleaning 9996 clauses out of 20008 with flag 1025000/1025517 1361.80/1357.54 c cleaning 9995 clauses out of 20012 with flag 1035000/1035517 1374.96/1370.68 c cleaning 10007 clauses out of 20020 with flag 1045003/1045520 1390.67/1386.38 c cleaning 9999 clauses out of 20013 with flag 1055003/1055520 1404.71/1400.32 c cleaning 9995 clauses out of 20012 with flag 1065001/1065518 1418.71/1414.34 c cleaning 10003 clauses out of 20019 with flag 1075003/1075520 1432.66/1428.25 c cleaning 9996 clauses out of 20013 with flag 1085000/1085517 1446.81/1442.33 c cleaning 9998 clauses out of 20017 with flag 1095000/1095517 1461.74/1457.24 c cleaning 10006 clauses out of 20020 with flag 1105001/1105518 1476.40/1471.88 c cleaning 9999 clauses out of 20013 with flag 1115000/1115517 1491.20/1486.63 c cleaning 9999 clauses out of 20014 with flag 1125000/1125517 1506.44/1501.80 c cleaning 10004 clauses out of 20015 with flag 1135000/1135517 1521.38/1516.71 c cleaning 9998 clauses out of 20014 with flag 1145003/1145520 1536.34/1531.67 c cleaning 9997 clauses out of 20013 with flag 1155000/1155517 1550.86/1546.13 c cleaning 9996 clauses out of 20016 with flag 1165000/1165517 1566.72/1561.98 c cleaning 10008 clauses out of 20020 with flag 1175000/1175517 1577.43/1572.68 c cleaning 9999 clauses out of 20012 with flag 1185000/1185517 1587.25/1582.49 c cleaning 10001 clauses out of 20020 with flag 1195007/1195524 1596.59/1591.78 c cleaning 10002 clauses out of 20015 with flag 1205003/1205520 1606.59/1601.74 c cleaning 9996 clauses out of 20012 with flag 1215002/1215519 1617.42/1612.54 c cleaning 10003 clauses out of 20014 with flag 1225000/1225517 1628.54/1623.62 c cleaning 10000 clauses out of 20014 with flag 1235003/1235520 1639.04/1634.19 c cleaning 9999 clauses out of 20014 with flag 1245003/1245520 1649.68/1644.76 c cleaning 10002 clauses out of 20019 with flag 1255007/1255524 1660.45/1655.49 c cleaning 9997 clauses out of 20011 with flag 1265001/1265518 1670.17/1665.17 c cleaning 10002 clauses out of 20015 with flag 1275002/1275519 1680.79/1675.71 c cleaning 10002 clauses out of 20012 with flag 1285001/1285518 1690.90/1685.81 c cleaning 9988 clauses out of 20009 with flag 1295000/1295517 1702.00/1696.97 c cleaning 10008 clauses out of 20023 with flag 1305002/1305519 1712.50/1707.47 c cleaning 10003 clauses out of 20017 with flag 1315004/1315521 1722.72/1717.66 c cleaning 10000 clauses out of 20011 with flag 1325001/1325518 1734.57/1729.46 c cleaning 10002 clauses out of 20012 with flag 1335002/1335519 1746.61/1741.49 c cleaning 10003 clauses out of 20013 with flag 1345005/1345522 1761.04/1755.81 c cleaning 9986 clauses out of 20005 with flag 1355000/1355517 1773.78/1768.52 c cleaning 10009 clauses out of 20021 with flag 1365002/1365519 1793.41/1788.12 c cleaning 9974 clauses out of 20011 with flag 1375001/1375518 1800.07/1794.72 c starts : 209 1800.07/1794.72 c conflicts : 1379438 1800.07/1794.72 c decisions : 5969431 1800.07/1794.72 c propagations : 35237950 1800.07/1794.72 c inspects : 184052037 1800.07/1794.72 c shortcuts : 0 1800.07/1794.72 c learnt literals : 0 1800.07/1794.72 c learnt binary clauses : 0 1800.07/1794.72 c learnt ternary clauses : 0 1800.07/1794.72 c learnt constraints : 1379437 1800.07/1794.72 c ignored constraints : 0 1800.07/1794.72 c root simplifications : 0 1800.07/1794.72 c removed literals (reason simplification) : 1517218 1800.07/1794.72 c reason swapping (by a shorter reason) : 0 1800.07/1794.72 c Calls to reduceDB : 139 1800.07/1794.72 c number of reductions to clauses (during analyze) : 0 1800.07/1794.72 c number of learned constraints concerned by reduction : 0 1800.07/1794.72 c number of learning phase by resolution : 0 1800.07/1794.72 c number of learning phase by cutting planes : 0 1800.07/1794.72 c speed (assignments/second) : 19650.996074591134 1800.07/1794.72 c non guided choices 507 1800.07/1794.73 c learnt constraints type 1800.07/1794.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13958 1800.07/1794.73 c constraints type 1800.07/1794.73 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 170 1800.07/1794.73 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.07/1794.73 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1 1800.07/1794.73 s SATISFIABLE 1800.07/1794.74 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 1800.07/1794.75 c objective function=8 1800.07/1794.75 c Total wall clock time (in seconds): 1794.643
OK 8
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3459034-1307153434/watcher-3459034-1307153434 -o /tmp/evaluation-result-3459034-1307153434/solver-3459034-1307153434 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459034-1307153434.opb 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.06 2.07 2.01 3/589 31066 /proc/meminfo: memFree=31806160/32950928 swapFree=43925852/67111528 [pid=31066] ppid=31064 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/31066/stat : 31066 (java) S 31064 31066 24211 0 -1 4202496 9876 0 1 0 0 0 0 0 25 0 2 0 826942224 13850947584 9579 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/31066/statm: 3381579 9591 917 9 0 3372735 0 [pid=31066/tid=31067] ppid=31064 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31067/stat : 31067 (java) R 31064 31066 24211 0 -1 4202560 9074 0 1 0 0 0 0 0 25 0 2 0 826942225 13850947584 9890 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 5 0 0 0 [startup+0.0581771 s] /proc/loadavg: 2.06 2.07 2.01 3/589 31066 /proc/meminfo: memFree=31806160/32950928 swapFree=43925852/67111528 [pid=31066] ppid=31064 vsize=13549616 CPUtime=0.04 cores=1,3,5,7 /proc/31066/stat : 31066 (java) S 31064 31066 24211 0 -1 4202496 14014 0 1 0 3 1 0 0 25 0 13 0 826942224 13874806784 13712 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284491749 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 /proc/31066/statm: 3387404 13712 1685 9 0 3378152 0 [pid=31066/tid=31067] ppid=31064 vsize=13549616 CPUtime=0.04 cores=1,3,5,7 /proc/31066/task/31067/stat : 31067 (java) R 31064 31066 24211 0 -1 4202560 12870 0 1 0 3 1 0 0 25 0 13 0 826942225 13874806784 13714 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 46912505219208 0 4 0 16800971 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13549616 [startup+0.10017 s] /proc/loadavg: 2.06 2.07 2.01 3/589 31066 /proc/meminfo: memFree=31806160/32950928 swapFree=43925852/67111528 [pid=31066] ppid=31064 vsize=13621756 CPUtime=0.11 cores=1,3,5,7 /proc/31066/stat : 31066 (java) S 31064 31066 24211 0 -1 4202496 15521 0 1 0 9 2 0 0 25 0 18 0 826942224 13948678144 15219 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31066/statm: 3405439 15220 2093 9 0 3396173 0 [pid=31066/tid=31067] ppid=31064 vsize=13621756 CPUtime=0.08 cores=1,3,5,7 /proc/31066/task/31067/stat : 31067 (java) R 31064 31066 24211 0 -1 4202560 13612 0 1 0 7 1 0 0 18 0 18 0 826942225 13948678144 15220 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284515787 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 13621756 [startup+0.30014 s] /proc/loadavg: 2.06 2.07 2.01 3/589 31066 /proc/meminfo: memFree=31806160/32950928 swapFree=43925852/67111528 [pid=31066] ppid=31064 vsize=13623648 CPUtime=0.53 cores=1,3,5,7 /proc/31066/stat : 31066 (java) S 31064 31066 24211 0 -1 4202496 20964 0 1 0 51 2 0 0 25 0 18 0 826942224 13950615552 20288 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31066/statm: 3405912 20290 2203 9 0 3396646 0 [pid=31066/tid=31067] ppid=31064 vsize=13623648 CPUtime=0.28 cores=1,3,5,7 /proc/31066/task/31067/stat : 31067 (java) R 31064 31066 24211 0 -1 4202560 17905 0 1 0 26 2 0 0 18 0 18 0 826942225 13950615552 20293 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 46912505365698 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 13623648 [startup+0.701064 s] /proc/loadavg: 2.06 2.07 2.01 3/589 31066 /proc/meminfo: memFree=31806160/32950928 swapFree=43925852/67111528 [pid=31066] ppid=31064 vsize=13623648 CPUtime=0.93 cores=1,3,5,7 /proc/31066/stat : 31066 (java) S 31064 31066 24211 0 -1 4202496 58045 0 1 0 87 6 0 0 25 0 18 0 826942224 13950615552 57370 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31066/statm: 3405912 57373 2203 9 0 3396646 0 [pid=31066/tid=31067] ppid=31064 vsize=13623648 CPUtime=0.68 cores=1,3,5,7 /proc/31066/task/31067/stat : 31067 (java) R 31064 31066 24211 0 -1 4202560 54983 0 1 0 62 6 0 0 18 0 18 0 826942225 13950615552 57375 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 46912505555497 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.93 Current children cumulated vsize (KiB) 13623648 [startup+1.50092 s] /proc/loadavg: 2.06 2.07 2.01 4/609 31086 /proc/meminfo: memFree=31483300/32950928 swapFree=43925852/67111528 [pid=31066] ppid=31064 vsize=13625392 CPUtime=2.19 cores=1,3,5,7 /proc/31066/stat : 31066 (java) S 31064 31066 24211 0 -1 4202496 83816 0 1 0 209 10 0 0 25 0 19 0 826942224 13952401408 82380 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31066/statm: 3406348 82380 2226 9 0 3397082 0 [pid=31066/tid=31067] ppid=31064 vsize=13625392 CPUtime=1.48 cores=1,3,5,7 /proc/31066/task/31067/stat : 31067 (java) R 31064 31066 24211 0 -1 4202560 79364 0 1 0 139 9 0 0 20 0 19 0 826942225 13952401408 82380 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 46912505739568 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31066/tid=31069] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31069/stat : 31069 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 82380 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31070] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31070/stat : 31070 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 82380 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31071] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31071/stat : 31071 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 82380 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31072] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31072/stat : 31072 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 82380 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31073] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31073/stat : 31073 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 82380 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31074] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31074/stat : 31074 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 82380 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31075] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31075/stat : 31075 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 82380 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31076] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31076/stat : 31076 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 82380 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31077] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31077/stat : 31077 (java) S 31064 31066 24211 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 826942228 13952401408 82383 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 0 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31078] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31078/stat : 31078 (java) S 31064 31066 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826942228 13952401408 82383 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31079] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31079/stat : 31079 (java) S 31064 31066 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826942228 13952401408 82383 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31081] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31081/stat : 31081 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942230 13952401408 82383 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284512689 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31082] ppid=31064 vsize=13625392 CPUtime=0.32 cores=1,3,5,7 /proc/31066/task/31082/stat : 31082 (java) S 31064 31066 24211 0 -1 4202560 1230 0 0 0 32 0 0 0 18 0 19 0 826942230 13952401408 82383 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31083] ppid=31064 vsize=13625392 CPUtime=0.37 cores=1,3,5,7 /proc/31066/task/31083/stat : 31083 (java) S 31064 31066 24211 0 -1 4202560 2062 0 0 0 37 0 0 0 17 0 19 0 826942230 13952401408 82383 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31084] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31084/stat : 31084 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942230 13952401408 82383 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31085] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31085/stat : 31085 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826942231 13952401408 82383 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31086] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31086/stat : 31086 (java) S 31064 31066 24211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826942321 13952401408 82383 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 13625392 [startup+3.10063 s] /proc/loadavg: 2.06 2.07 2.01 3/609 31086 /proc/meminfo: memFree=31455136/32950928 swapFree=43925852/67111528 [pid=31066] ppid=31064 vsize=13625392 CPUtime=3.8 cores=1,3,5,7 /proc/31066/stat : 31066 (java) S 31064 31066 24211 0 -1 4202496 89208 0 1 0 370 10 0 0 25 0 19 0 826942224 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31066/statm: 3406348 87771 2226 9 0 3397082 0 [pid=31066/tid=31067] ppid=31064 vsize=13625392 CPUtime=3.08 cores=1,3,5,7 /proc/31066/task/31067/stat : 31067 (java) R 31064 31066 24211 0 -1 4202560 84753 0 1 0 298 10 0 0 25 0 19 0 826942225 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 46912505739629 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31066/tid=31069] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31069/stat : 31069 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31070] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31070/stat : 31070 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31071] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31071/stat : 31071 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31072] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31072/stat : 31072 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31073] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31073/stat : 31073 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31074] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31074/stat : 31074 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31075] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31075/stat : 31075 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31076] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31076/stat : 31076 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31077] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31077/stat : 31077 (java) S 31064 31066 24211 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 826942228 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 0 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31078] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31078/stat : 31078 (java) S 31064 31066 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826942228 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31079] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31079/stat : 31079 (java) S 31064 31066 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826942228 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31081] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31081/stat : 31081 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942230 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284512689 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31082] ppid=31064 vsize=13625392 CPUtime=0.33 cores=1,3,5,7 /proc/31066/task/31082/stat : 31082 (java) S 31064 31066 24211 0 -1 4202560 1232 0 0 0 33 0 0 0 15 0 19 0 826942230 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31083] ppid=31064 vsize=13625392 CPUtime=0.37 cores=1,3,5,7 /proc/31066/task/31083/stat : 31083 (java) S 31064 31066 24211 0 -1 4202560 2063 0 0 0 37 0 0 0 16 0 19 0 826942230 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31084] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31084/stat : 31084 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942230 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31085] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31085/stat : 31085 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826942231 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31086] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31086/stat : 31086 (java) S 31064 31066 24211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826942321 13952401408 87771 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.8 Current children cumulated vsize (KiB) 13625392 [startup+6.30106 s] /proc/loadavg: 2.05 2.06 2.01 3/609 31086 /proc/meminfo: memFree=31405548/32950928 swapFree=43925852/67111528 [pid=31066] ppid=31064 vsize=13625392 CPUtime=7.01 cores=1,3,5,7 /proc/31066/stat : 31066 (java) S 31064 31066 24211 0 -1 4202496 99226 0 1 0 689 12 0 0 25 0 19 0 826942224 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31066/statm: 3406348 97656 2226 9 0 3397082 0 [pid=31066/tid=31067] ppid=31064 vsize=13625392 CPUtime=6.28 cores=1,3,5,7 /proc/31066/task/31067/stat : 31067 (java) R 31064 31066 24211 0 -1 4202560 94771 0 1 0 617 11 0 0 25 0 19 0 826942225 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 46912505739615 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=31066/tid=31069] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31069/stat : 31069 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31070] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31070/stat : 31070 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31071] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31071/stat : 31071 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31072] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31072/stat : 31072 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31073] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31073/stat : 31073 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31074] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31074/stat : 31074 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31075] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31075/stat : 31075 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31076] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31076/stat : 31076 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942227 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31077] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31077/stat : 31077 (java) S 31064 31066 24211 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 826942228 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 0 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31078] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31078/stat : 31078 (java) S 31064 31066 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826942228 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31079] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31079/stat : 31079 (java) S 31064 31066 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826942228 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31081] ppid=31064 vsize=13625392 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31081/stat : 31081 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942230 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284512689 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31082] ppid=31064 vsize=13625392 CPUtime=0.33 cores=1,3,5,7 /proc/31066/task/31082/stat : 31082 (java) S 31064 31066 24211 0 -1 4202560 1232 0 0 0 33 0 0 0 15 0 19 0 826942230 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31083] ppid=31064 vsize=13625392 CPUtime=0.37 cores=1,3,5,7 /proc/31066/task/31083/stat : 31083 (java) S 31064 31066 24211 0 -1 4202560 2063 0 0 0 37 0 0 0 16 0 19 0 826942230 13952401408 97656 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 ################ # More data... # ################ [pid=31066/tid=31074] ppid=31064 vsize=13625268 CPUtime=0.86 cores=1,3,5,7 /proc/31066/task/31074/stat : 31074 (java) S 31064 31066 24211 0 -1 4202560 7608 0 0 0 85 1 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31075] ppid=31064 vsize=13625268 CPUtime=0.76 cores=1,3,5,7 /proc/31066/task/31075/stat : 31075 (java) S 31064 31066 24211 0 -1 4202560 10065 0 0 0 75 1 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 3 0 0 0 [pid=31066/tid=31076] ppid=31064 vsize=13625268 CPUtime=0.91 cores=1,3,5,7 /proc/31066/task/31076/stat : 31076 (java) S 31064 31066 24211 0 -1 4202560 10924 0 0 0 90 1 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31077] ppid=31064 vsize=13625268 CPUtime=4.46 cores=1,3,5,7 /proc/31066/task/31077/stat : 31077 (java) S 31064 31066 24211 0 -1 4202560 31212 0 0 0 443 3 0 0 15 0 19 0 826942228 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 0 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31078] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31078/stat : 31078 (java) S 31064 31066 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826942228 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31079] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31079/stat : 31079 (java) S 31064 31066 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826942228 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31081] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31081/stat : 31081 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284512689 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31082] ppid=31064 vsize=13625268 CPUtime=0.36 cores=1,3,5,7 /proc/31066/task/31082/stat : 31082 (java) S 31064 31066 24211 0 -1 4202560 1242 0 0 0 36 0 0 0 15 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31083] ppid=31064 vsize=13625268 CPUtime=0.47 cores=1,3,5,7 /proc/31066/task/31083/stat : 31083 (java) S 31064 31066 24211 0 -1 4202560 2698 0 0 0 47 0 0 0 15 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31084] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31084/stat : 31084 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31085] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31085/stat : 31085 (java) S 31064 31066 24211 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826942231 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 4 0 16800975 18446604467223662784 0 0 -1 3 0 0 0 [pid=31066/tid=31086] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31086/stat : 31086 (java) S 31064 31066 24211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826942321 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1727.47 Current children cumulated vsize (KiB) 13625268 [startup+1782.3 s] /proc/loadavg: 2.14 2.06 2.01 3/609 31134 /proc/meminfo: memFree=30906268/32950928 swapFree=43925852/67111528 [pid=31066] ppid=31064 vsize=13625268 CPUtime=1787.61 cores=1,3,5,7 /proc/31066/stat : 31066 (java) S 31064 31066 24211 0 -1 4202496 219864 0 1 0 178731 30 0 0 25 0 19 0 826942224 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31066/statm: 3406317 216740 2254 9 0 3397051 0 [pid=31066/tid=31067] ppid=31064 vsize=13625268 CPUtime=1775.09 cores=1,3,5,7 /proc/31066/task/31067/stat : 31067 (java) R 31064 31066 24211 0 -1 4202560 99158 0 1 0 177498 11 0 0 25 0 19 0 826942225 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 46912505739663 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31066/tid=31069] ppid=31064 vsize=13625268 CPUtime=0.94 cores=1,3,5,7 /proc/31066/task/31069/stat : 31069 (java) S 31064 31066 24211 0 -1 4202560 18186 0 0 0 92 2 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 3 0 0 0 [pid=31066/tid=31070] ppid=31064 vsize=13625268 CPUtime=0.85 cores=1,3,5,7 /proc/31066/task/31070/stat : 31070 (java) S 31064 31066 24211 0 -1 4202560 7997 0 0 0 84 1 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31071] ppid=31064 vsize=13625268 CPUtime=0.82 cores=1,3,5,7 /proc/31066/task/31071/stat : 31071 (java) S 31064 31066 24211 0 -1 4202560 15080 0 0 0 80 2 0 0 15 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31072] ppid=31064 vsize=13625268 CPUtime=0.92 cores=1,3,5,7 /proc/31066/task/31072/stat : 31072 (java) S 31064 31066 24211 0 -1 4202560 2105 0 0 0 92 0 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 3 0 0 0 [pid=31066/tid=31073] ppid=31064 vsize=13625268 CPUtime=0.81 cores=1,3,5,7 /proc/31066/task/31073/stat : 31073 (java) S 31064 31066 24211 0 -1 4202560 12336 0 0 0 80 1 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31074] ppid=31064 vsize=13625268 CPUtime=0.89 cores=1,3,5,7 /proc/31066/task/31074/stat : 31074 (java) S 31064 31066 24211 0 -1 4202560 7608 0 0 0 88 1 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31075] ppid=31064 vsize=13625268 CPUtime=0.77 cores=1,3,5,7 /proc/31066/task/31075/stat : 31075 (java) S 31064 31066 24211 0 -1 4202560 10065 0 0 0 76 1 0 0 15 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31076] ppid=31064 vsize=13625268 CPUtime=0.93 cores=1,3,5,7 /proc/31066/task/31076/stat : 31076 (java) S 31064 31066 24211 0 -1 4202560 10924 0 0 0 92 1 0 0 15 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 3 0 0 0 [pid=31066/tid=31077] ppid=31064 vsize=13625268 CPUtime=4.61 cores=1,3,5,7 /proc/31066/task/31077/stat : 31077 (java) S 31064 31066 24211 0 -1 4202560 31214 0 0 0 458 3 0 0 15 0 19 0 826942228 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 0 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31078] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31078/stat : 31078 (java) S 31064 31066 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826942228 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31079] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31079/stat : 31079 (java) S 31064 31066 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826942228 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31081] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31081/stat : 31081 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284512689 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31082] ppid=31064 vsize=13625268 CPUtime=0.36 cores=1,3,5,7 /proc/31066/task/31082/stat : 31082 (java) S 31064 31066 24211 0 -1 4202560 1242 0 0 0 36 0 0 0 15 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31083] ppid=31064 vsize=13625268 CPUtime=0.47 cores=1,3,5,7 /proc/31066/task/31083/stat : 31083 (java) S 31064 31066 24211 0 -1 4202560 2698 0 0 0 47 0 0 0 15 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31084] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31084/stat : 31084 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31085] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31085/stat : 31085 (java) S 31064 31066 24211 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826942231 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 4 0 16800975 18446604467223662784 0 0 -1 3 0 0 0 [pid=31066/tid=31086] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31086/stat : 31086 (java) S 31064 31066 24211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826942321 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (KiB) 13625268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.7 s] /proc/loadavg: 2.11 2.06 2.01 3/588 31143 /proc/meminfo: memFree=30992208/32950928 swapFree=43925852/67111528 [pid=31066] ppid=31064 vsize=13625268 CPUtime=1800.07 cores=1,3,5,7 /proc/31066/stat : 31066 (java) S 31064 31066 24211 0 -1 4202496 219869 0 1 0 179977 30 0 0 25 0 19 0 826942224 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31066/statm: 3406317 216740 2254 9 0 3397051 0 [pid=31066/tid=31067] ppid=31064 vsize=13625268 CPUtime=1787.46 cores=1,3,5,7 /proc/31066/task/31067/stat : 31067 (java) R 31064 31066 24211 0 -1 4202560 99159 0 1 0 178735 11 0 0 25 0 19 0 826942225 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 46912505739585 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31066/tid=31069] ppid=31064 vsize=13625268 CPUtime=0.96 cores=1,3,5,7 /proc/31066/task/31069/stat : 31069 (java) S 31064 31066 24211 0 -1 4202560 18186 0 0 0 94 2 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 3 0 0 0 [pid=31066/tid=31070] ppid=31064 vsize=13625268 CPUtime=0.85 cores=1,3,5,7 /proc/31066/task/31070/stat : 31070 (java) S 31064 31066 24211 0 -1 4202560 7997 0 0 0 84 1 0 0 15 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31071] ppid=31064 vsize=13625268 CPUtime=0.84 cores=1,3,5,7 /proc/31066/task/31071/stat : 31071 (java) S 31064 31066 24211 0 -1 4202560 15080 0 0 0 82 2 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31072] ppid=31064 vsize=13625268 CPUtime=0.94 cores=1,3,5,7 /proc/31066/task/31072/stat : 31072 (java) S 31064 31066 24211 0 -1 4202560 2105 0 0 0 94 0 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31073] ppid=31064 vsize=13625268 CPUtime=0.81 cores=1,3,5,7 /proc/31066/task/31073/stat : 31073 (java) S 31064 31066 24211 0 -1 4202560 12336 0 0 0 80 1 0 0 15 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31074] ppid=31064 vsize=13625268 CPUtime=0.89 cores=1,3,5,7 /proc/31066/task/31074/stat : 31074 (java) S 31064 31066 24211 0 -1 4202560 7608 0 0 0 88 1 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31075] ppid=31064 vsize=13625268 CPUtime=0.77 cores=1,3,5,7 /proc/31066/task/31075/stat : 31075 (java) S 31064 31066 24211 0 -1 4202560 10065 0 0 0 76 1 0 0 15 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31076] ppid=31064 vsize=13625268 CPUtime=0.93 cores=1,3,5,7 /proc/31066/task/31076/stat : 31076 (java) S 31064 31066 24211 0 -1 4202560 10924 0 0 0 92 1 0 0 15 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31077] ppid=31064 vsize=13625268 CPUtime=4.64 cores=1,3,5,7 /proc/31066/task/31077/stat : 31077 (java) S 31064 31066 24211 0 -1 4202560 31216 0 0 0 461 3 0 0 15 0 19 0 826942228 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 0 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31078] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31078/stat : 31078 (java) S 31064 31066 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826942228 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31079] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31079/stat : 31079 (java) S 31064 31066 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826942228 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31081] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31081/stat : 31081 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284512689 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31082] ppid=31064 vsize=13625268 CPUtime=0.36 cores=1,3,5,7 /proc/31066/task/31082/stat : 31082 (java) S 31064 31066 24211 0 -1 4202560 1242 0 0 0 36 0 0 0 15 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31083] ppid=31064 vsize=13625268 CPUtime=0.47 cores=1,3,5,7 /proc/31066/task/31083/stat : 31083 (java) S 31064 31066 24211 0 -1 4202560 2698 0 0 0 47 0 0 0 15 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31084] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31084/stat : 31084 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31085] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31085/stat : 31085 (java) S 31064 31066 24211 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826942231 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 4 0 16800975 18446604467223662784 0 0 -1 3 0 0 0 [pid=31066/tid=31086] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31086/stat : 31086 (java) S 31064 31066 24211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826942321 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 13625268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1794.7 s] /proc/loadavg: 2.11 2.06 2.01 3/588 31143 /proc/meminfo: memFree=30992208/32950928 swapFree=43925852/67111528 [pid=31066] ppid=31064 vsize=13625268 CPUtime=1800.07 cores=1,3,5,7 /proc/31066/stat : 31066 (java) S 31064 31066 24211 0 -1 4202496 219869 0 1 0 179977 30 0 0 25 0 19 0 826942224 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/31066/statm: 3406317 216740 2254 9 0 3397051 0 [pid=31066/tid=31067] ppid=31064 vsize=13625268 CPUtime=1787.46 cores=1,3,5,7 /proc/31066/task/31067/stat : 31067 (java) R 31064 31066 24211 0 -1 4202560 99159 0 1 0 178735 11 0 0 25 0 19 0 826942225 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 46912505739585 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31066/tid=31069] ppid=31064 vsize=13625268 CPUtime=0.96 cores=1,3,5,7 /proc/31066/task/31069/stat : 31069 (java) S 31064 31066 24211 0 -1 4202560 18186 0 0 0 94 2 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 3 0 0 0 [pid=31066/tid=31070] ppid=31064 vsize=13625268 CPUtime=0.85 cores=1,3,5,7 /proc/31066/task/31070/stat : 31070 (java) S 31064 31066 24211 0 -1 4202560 7997 0 0 0 84 1 0 0 15 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31071] ppid=31064 vsize=13625268 CPUtime=0.84 cores=1,3,5,7 /proc/31066/task/31071/stat : 31071 (java) S 31064 31066 24211 0 -1 4202560 15080 0 0 0 82 2 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31072] ppid=31064 vsize=13625268 CPUtime=0.94 cores=1,3,5,7 /proc/31066/task/31072/stat : 31072 (java) S 31064 31066 24211 0 -1 4202560 2105 0 0 0 94 0 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31073] ppid=31064 vsize=13625268 CPUtime=0.81 cores=1,3,5,7 /proc/31066/task/31073/stat : 31073 (java) S 31064 31066 24211 0 -1 4202560 12336 0 0 0 80 1 0 0 15 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31074] ppid=31064 vsize=13625268 CPUtime=0.89 cores=1,3,5,7 /proc/31066/task/31074/stat : 31074 (java) S 31064 31066 24211 0 -1 4202560 7608 0 0 0 88 1 0 0 16 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31075] ppid=31064 vsize=13625268 CPUtime=0.77 cores=1,3,5,7 /proc/31066/task/31075/stat : 31075 (java) S 31064 31066 24211 0 -1 4202560 10065 0 0 0 76 1 0 0 15 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31076] ppid=31064 vsize=13625268 CPUtime=0.93 cores=1,3,5,7 /proc/31066/task/31076/stat : 31076 (java) S 31064 31066 24211 0 -1 4202560 10924 0 0 0 92 1 0 0 15 0 19 0 826942227 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31077] ppid=31064 vsize=13625268 CPUtime=4.64 cores=1,3,5,7 /proc/31066/task/31077/stat : 31077 (java) S 31064 31066 24211 0 -1 4202560 31216 0 0 0 461 3 0 0 15 0 19 0 826942228 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 0 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31078] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31078/stat : 31078 (java) S 31064 31066 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826942228 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31079] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31079/stat : 31079 (java) S 31064 31066 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826942228 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31081] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31081/stat : 31081 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284512689 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31082] ppid=31064 vsize=13625268 CPUtime=0.36 cores=1,3,5,7 /proc/31066/task/31082/stat : 31082 (java) S 31064 31066 24211 0 -1 4202560 1242 0 0 0 36 0 0 0 15 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 [pid=31066/tid=31083] ppid=31064 vsize=13625268 CPUtime=0.47 cores=1,3,5,7 /proc/31066/task/31083/stat : 31083 (java) S 31064 31066 24211 0 -1 4202560 2698 0 0 0 47 0 0 0 15 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 1 0 0 0 [pid=31066/tid=31084] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31084/stat : 31084 (java) S 31064 31066 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826942230 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284504985 0 4 0 16800975 18446604467223662784 0 0 -1 5 0 0 0 [pid=31066/tid=31085] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31085/stat : 31085 (java) S 31064 31066 24211 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826942231 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 4 0 16800975 18446604467223662784 0 0 -1 3 0 0 0 [pid=31066/tid=31086] ppid=31064 vsize=13625268 CPUtime=0 cores=1,3,5,7 /proc/31066/task/31086/stat : 31086 (java) S 31064 31066 24211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826942321 13952274432 216740 33554432000 1073741824 1073778376 140736093771328 18446744073709551615 268284505600 0 4 0 16800975 18446604467223662784 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 13625268 Child status: 143 Real time (s): 1794.79 CPU time (s): 1800.18 CPU user time (s): 1799.84 CPU system time (s): 0.337948 CPU usage (%): 100.3 Max. virtual memory (cumulated for all children) (KiB): 13626460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.337948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 219903 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= 40145 involuntary context switches= 19597 runsolver used 10.4354 second user time and 23.8644 second system time The end
Begin job on node122 at 2011-06-04 04:10:34 IDJOB=3459034 IDBENCH=2850 IDSOLVER=1952 FILE ID=node122/3459034-1307153434 RUNJOBID= node122-1307148031-29833 PBS_JOBID= 13508794 Free space on /tmp= 73808 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459034-1307153434/watcher-3459034-1307153434 -o /tmp/evaluation-result-3459034-1307153434/solver-3459034-1307153434 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459034-1307153434.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aa80468537d69826ea16800f352007ec RANDOM SEED=1362250175 node122.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.820 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.64 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.820 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.820 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.75 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.820 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.83 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.820 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.75 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.820 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.820 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.820 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.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31806440 kB Buffers: 311936 kB Cached: 442368 kB SwapCached: 16832 kB Active: 396888 kB Inactive: 433544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31806440 kB SwapTotal: 67111528 kB SwapFree: 43925852 kB Dirty: 5136 kB Writeback: 0 kB AnonPages: 73012 kB Mapped: 16624 kB Slab: 149796 kB PageTables: 93444 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 194145692 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73808 MiB End job on node122 at 2011-06-04 04:40:31