Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 24 | 1800.41 | 893.272 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
| MD5SUM | 82a3d84200b069df277c7f14e0e883d0 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 21 |
| Best CPU time to get the best result obtained on this benchmark | 73.1679 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 23 |
| Optimality of the best value was proved | NO |
| Number of variables | 6076 |
| Total number of constraints | 21401 |
| Number of constraints which are clauses | 21392 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 666 |
| Number of terms in the objective function | 666 |
| 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 | 666 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 697 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081445-1465246948.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.07/0.59 c ... done. Wall clock time 0.477s. 1.07/0.59 c declared #vars 6076 1.07/0.59 c #constraints 21401 1.37/0.60 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.37/0.60 c constraints type 1.37/0.60 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5411 1.37/0.60 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1.37/0.60 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15984 1.37/0.60 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 1.37/0.60 c 21401 constraints processed. 1.37/0.60 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.37/0.60 c constraints type 1.37/0.60 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15984 1.37/0.60 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5411 1.37/0.60 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.37/0.60 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 1.37/0.60 c 21401 constraints processed. 1.37/0.60 c objective function length is 666 literals 1.37/0.69 c And the winner is solver0 2.13/1.10 c SATISFIABLE 2.13/1.10 c OPTIMIZING... 2.13/1.10 c Got one! Elapsed wall clock time (in seconds):0.986 2.13/1.10 o 26 7.36/3.12 c cleaning 2502 clauses out of 5003 with flag 41379/5003 12.19/5.44 c cleaning 4237 clauses out of 8501 with flag 99458/11003 17.27/7.94 c cleaning 5609 clauses out of 11264 with flag 178270/18003 23.57/11.04 c cleaning 6816 clauses out of 13656 with flag 256982/26004 28.89/13.64 c cleaning 7916 clauses out of 15839 with flag 327804/35003 36.59/17.43 c cleaning 8944 clauses out of 17923 with flag 438418/45003 43.40/20.80 c And the winner is solver1 43.41/21.11 c Got one! Elapsed wall clock time (in seconds):20.996 43.41/21.11 o 25 47.92/23.34 c cleaning 12098 clauses out of 24197 with flag 49692/60221 51.74/25.26 c cleaning 9049 clauses out of 18099 with flag 94895/66221 56.74/27.72 c cleaning 7979 clauses out of 16050 with flag 150438/73221 62.34/30.51 c cleaning 8027 clauses out of 16071 with flag 218453/81221 69.11/33.81 c cleaning 8517 clauses out of 17044 with flag 301293/90221 75.31/36.98 c cleaning 9234 clauses out of 18527 with flag 389035/100221 82.36/40.38 c cleaning 10142 clauses out of 20293 with flag 484109/111221 90.96/44.43 c cleaning 11062 clauses out of 22151 with flag 611116/123221 99.16/48.37 c cleaning 12042 clauses out of 24089 with flag 744287/136221 109.75/53.64 c cleaning 13023 clauses out of 26047 with flag 875457/150221 121.28/59.28 c cleaning 13998 clauses out of 28029 with flag 1023225/165226 133.68/65.42 c cleaning 14996 clauses out of 30026 with flag 1203345/181221 145.48/71.31 c cleaning 15950 clauses out of 32030 with flag 1401477/198221 159.24/78.09 c cleaning 17022 clauses out of 34080 with flag 1644729/216221 173.03/84.96 c cleaning 18017 clauses out of 36058 with flag 1825154/235221 188.63/92.71 c cleaning 18996 clauses out of 38041 with flag 2038019/255221 206.10/101.79 c cleaning 19992 clauses out of 40045 with flag 2237567/276221 222.50/109.92 c cleaning 21030 clauses out of 42059 with flag 2487591/298227 241.39/119.34 c cleaning 21934 clauses out of 44023 with flag 2700253/321221 259.20/128.24 c cleaning 23032 clauses out of 46091 with flag 2922860/345223 279.21/138.10 c cleaning 24022 clauses out of 48057 with flag 3165019/370221 300.18/148.59 c cleaning 25003 clauses out of 50035 with flag 3430134/396221 323.76/160.32 c cleaning 25928 clauses out of 52033 with flag 3713836/423222 346.56/171.61 c cleaning 27011 clauses out of 54105 with flag 3973211/451222 369.17/182.88 c cleaning 28037 clauses out of 56093 with flag 4289869/480221 392.66/194.46 c cleaning 28960 clauses out of 58056 with flag 4644963/510221 419.46/207.70 c cleaning 29984 clauses out of 60096 with flag 4948805/541221 445.25/220.52 c cleaning 30991 clauses out of 62112 with flag 5300737/573221 468.85/232.36 c cleaning 32039 clauses out of 64123 with flag 5665049/606223 498.90/247.26 c cleaning 33008 clauses out of 66084 with flag 6000651/640223 530.00/262.68 c cleaning 33917 clauses out of 68074 with flag 6358965/675221 561.76/279.20 c cleaning 34994 clauses out of 70157 with flag 6739120/711221 578.21/287.27 c cleaning 0 clauses out of 5737 with flag 0/5738 593.29/294.69 c cleaning 36053 clauses out of 72167 with flag 7134776/748225 626.56/311.15 c cleaning 36915 clauses out of 74110 with flag 7506300/786221 662.53/328.85 c cleaning 38092 clauses out of 76195 with flag 7873804/825221 699.06/346.93 c cleaning 39045 clauses out of 78103 with flag 8255720/865221 734.16/364.24 c cleaning 39994 clauses out of 80058 with flag 8685189/906221 769.68/381.85 c cleaning 40992 clauses out of 82064 with flag 9138714/948221 810.78/402.25 c cleaning 41984 clauses out of 84072 with flag 9490064/991221 854.26/424.94 c cleaning 42909 clauses out of 86088 with flag 9854144/1035221 899.50/447.47 c cleaning 44061 clauses out of 88179 with flag 10249929/1080221 945.18/470.12 c cleaning 44968 clauses out of 90118 with flag 10645287/1126221 989.98/492.48 c cleaning 45986 clauses out of 92150 with flag 11085896/1173221 1037.63/516.04 c cleaning 47058 clauses out of 94164 with flag 11550149/1221221 1089.94/541.84 c cleaning 47982 clauses out of 96106 with flag 11976925/1270221 1142.58/567.85 c cleaning 49048 clauses out of 98126 with flag 12403566/1320223 1192.52/592.60 c cleaning 49988 clauses out of 100077 with flag 12856777/1371222 1242.21/617.16 c cleaning 51028 clauses out of 102088 with flag 13386112/1423221 1293.88/642.64 c cleaning 52016 clauses out of 104062 with flag 13954167/1476223 1346.42/668.49 c cleaning 53021 clauses out of 106044 with flag 14597020/1530221 1398.02/693.97 c cleaning 53970 clauses out of 108023 with flag 15226851/1585221 1453.56/721.46 c cleaning 54927 clauses out of 110053 with flag 15805388/1641221 1472.22/730.66 c And the winner is solver1 1472.58/731.04 c Got one! Elapsed wall clock time (in seconds):730.918 1472.58/731.04 o 24 1476.93/733.26 c cleaning 40919 clauses out of 81838 with flag 32716/1667933 1481.74/735.64 c cleaning 23445 clauses out of 46919 with flag 83764/1673933 1486.75/738.12 c cleaning 15239 clauses out of 30477 with flag 149767/1680936 1492.13/740.81 c cleaning 11605 clauses out of 23236 with flag 214337/1688934 1499.29/744.33 c cleaning 10310 clauses out of 20630 with flag 276756/1697933 1506.09/747.77 c cleaning 10147 clauses out of 20321 with flag 356222/1707934 1513.88/751.62 c cleaning 10536 clauses out of 21173 with flag 457451/1718933 1522.52/755.85 c cleaning 11301 clauses out of 22637 with flag 574651/1730933 1530.91/760.00 c cleaning 12094 clauses out of 24336 with flag 691831/1743933 1540.51/764.79 c cleaning 13111 clauses out of 26242 with flag 837560/1757933 1550.90/769.95 c cleaning 14048 clauses out of 28132 with flag 973104/1772934 1563.73/776.20 c cleaning 14957 clauses out of 30083 with flag 1117142/1788933 1577.53/783.20 c cleaning 16046 clauses out of 32126 with flag 1300895/1805933 1596.35/792.44 c cleaning 17014 clauses out of 34080 with flag 1443772/1823933 1615.78/802.09 c cleaning 18005 clauses out of 36068 with flag 1630910/1842935 1635.99/812.02 c cleaning 18999 clauses out of 38061 with flag 1828013/1862933 1657.61/822.90 c cleaning 20007 clauses out of 40062 with flag 2090233/1883933 1681.10/834.46 c cleaning 20965 clauses out of 42057 with flag 2330731/1905935 1704.18/845.88 c cleaning 22015 clauses out of 44090 with flag 2562011/1928933 1726.84/857.09 c cleaning 22984 clauses out of 46079 with flag 2824776/1952937 1752.72/869.80 c cleaning 24040 clauses out of 48091 with flag 3079875/1977933 1779.02/882.81 c cleaning 24978 clauses out of 50051 with flag 3318158/2003933 1800.12/893.21 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.12/893.21 c starts : 954 1800.12/893.21 c conflicts : 2025684 1800.12/893.21 c decisions : 40413520 1800.12/893.21 c propagations : 1901841630 1800.12/893.21 c inspects : 7345729716 1800.12/893.21 c shortcuts : 0 1800.12/893.21 c learnt literals : 0 1800.12/893.21 c learnt binary clauses : 15 1800.12/893.21 c learnt ternary clauses : 5 1800.12/893.21 c learnt constraints : 2025684 1800.12/893.21 c ignored constraints : 0 1800.12/893.21 c root simplifications : 0 1800.12/893.21 c removed literals (reason simplification) : 20347630 1800.12/893.21 c reason swapping (by a shorter reason) : 0 1800.12/893.21 c Calls to reduceDB : 80 1800.12/893.21 c Number of update (reduction) of LBD : 1499892 1800.12/893.21 c Imported unit clauses : 0 1800.12/893.21 c number of reductions to clauses (during analyze) : 0 1800.12/893.21 c number of learned constraints concerned by reduction : 0 1800.12/893.21 c number of learning phase by resolution : 0 1800.12/893.21 c number of learning phase by cutting planes : 0 1800.12/893.21 c speed (assignments/second) : 1.1727528874199137E7 1800.12/893.21 c non guided choices 0 1800.12/893.23 c learnt constraints type 1800.12/893.23 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 15 1800.12/893.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 46809 1800.12/893.23 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 1800.12/893.23 c starts : 37 1800.12/893.23 c conflicts : 10310 1800.12/893.23 c decisions : 70104 1800.12/893.23 c propagations : 1172636 1800.12/893.23 c inspects : 568186875 1800.12/893.23 c shortcuts : 0 1800.12/893.23 c learnt literals : 0 1800.12/893.23 c learnt binary clauses : 1 1800.12/893.23 c learnt ternary clauses : 1 1800.12/893.23 c learnt constraints : 10308 1800.12/893.23 c ignored constraints : 0 1800.12/893.23 c root simplifications : 0 1800.12/893.23 c removed literals (reason simplification) : 0 1800.12/893.23 c reason swapping (by a shorter reason) : 0 1800.12/893.23 c Calls to reduceDB : 1 1800.12/893.23 c Number of update (reduction) of LBD : 0 1800.12/893.23 c Imported unit clauses : 0 1800.12/893.23 c number of reductions to clauses (during analyze) : 0 1800.12/893.23 c number of learned constraints concerned by reduction : 0 1800.12/893.23 c number of learning phase by resolution : 0 1800.12/893.23 c number of learning phase by cutting planes : 0 1800.12/893.23 c speed (assignments/second) : 1314.4419397904087 1800.12/893.23 c non guided choices 0 1800.12/893.23 c learnt constraints type 1800.12/893.23 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 69 1800.12/893.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1800.12/893.23 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1 1800.12/893.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 10216 1800.12/893.23 s SATISFIABLE 1800.12/893.23 c Found 3 solution(s) 1800.12/893.24 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 1800.12/893.25 c objective function=24 1800.12/893.25 c Total wall clock time (in seconds): 893.135
OK 24
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4081445-1465246948/watcher-4081445-1465246948 -o /tmp/evaluation-result-4081445-1465246948/solver-4081445-1465246948 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15694 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081445-1465246948.opb pid=16641 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: 4.19 4.18 4.11 3/199 16644 /proc/meminfo: memFree=29463568/32872528 swapFree=15540/1663004 [pid=16644] ppid=16641 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/16644/stat : 16644 (java) R 16641 16644 15677 0 -1 4202496 492 0 0 0 0 0 0 0 20 0 1 0 106627605 9515008 145 33554432000 1073741824 1073778376 140736186081632 140736186078760 140641642918722 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/16644/statm: 2323 150 110 9 0 71 0 [startup+0.100162 s] /proc/loadavg: 4.19 4.18 4.11 3/199 16644 /proc/meminfo: memFree=29463568/32872528 swapFree=15540/1663004 [pid=16644] ppid=16641 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/16644/stat : 16644 (java) S 16641 16644 15677 0 -1 4202496 4406 0 1 0 8 1 0 0 20 0 18 0 106627605 9787879424 6039 33554432000 1073741824 1073778376 140736186081632 140736186072768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16644/statm: 2389619 6039 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200368 s] /proc/loadavg: 4.19 4.18 4.11 3/199 16644 /proc/meminfo: memFree=29463568/32872528 swapFree=15540/1663004 [pid=16644] ppid=16641 vsize=9558476 CPUtime=0.24 cores=1,3,5,7 /proc/16644/stat : 16644 (java) S 16641 16644 15677 0 -1 4202496 4688 0 1 0 23 1 0 0 20 0 18 0 106627605 9787879424 6773 33554432000 1073741824 1073778376 140736186081632 140736186072768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16644/statm: 2389619 6773 2202 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300238 s] /proc/loadavg: 4.19 4.18 4.11 3/199 16644 /proc/meminfo: memFree=29463568/32872528 swapFree=15540/1663004 [pid=16644] ppid=16641 vsize=9558476 CPUtime=0.47 cores=1,3,5,7 /proc/16644/stat : 16644 (java) S 16641 16644 15677 0 -1 4202496 5740 0 1 0 46 1 0 0 20 0 18 0 106627605 9787879424 9041 33554432000 1073741824 1073778376 140736186081632 140736186072768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16644/statm: 2389619 9041 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700196 s] /proc/loadavg: 4.19 4.18 4.11 3/199 16644 /proc/meminfo: memFree=29463568/32872528 swapFree=15540/1663004 [pid=16644] ppid=16641 vsize=9824732 CPUtime=1.75 cores=1,3,5,7 /proc/16644/stat : 16644 (java) S 16641 16644 15677 0 -1 4202496 17134 0 1 0 169 6 0 0 20 0 20 0 106627605 10060525568 28862 33554432000 1073741824 1073778376 140736186081632 140736186072768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16644/statm: 2456183 28862 2260 9 0 2446860 0 Current children cumulated CPU time (s) 1.75 Current children cumulated vsize (KiB) 9824732 [startup+1.50078 s] /proc/loadavg: 4.19 4.18 4.11 3/218 16666 /proc/meminfo: memFree=29356204/32872528 swapFree=15540/1663004 [pid=16644] ppid=16641 vsize=9824732 CPUtime=3.67 cores=1,3,5,7 /proc/16644/stat : 16644 (java) S 16641 16644 15677 0 -1 4202496 21502 0 1 0 360 7 0 0 20 0 22 0 106627605 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140736186072768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16644/statm: 2456183 36484 2274 9 0 2446860 0 [pid=16644/tid=16646] ppid=16641 vsize=9824732 CPUtime=0.57 cores=1,3,5,7 /proc/16644/task/16646/stat : 16646 (java) S 16641 16644 15677 0 -1 4202560 2446 0 1 0 55 2 0 0 20 0 22 0 106627606 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140641631306616 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16647] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16647/stat : 16647 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140641592797736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16648] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16648/stat : 16648 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140641591744936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16649] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16649/stat : 16649 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140641472342312 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16650] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16650/stat : 16650 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140641471289512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16651] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16651/stat : 16651 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140641470237736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16652] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16652/stat : 16652 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140641469184936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16653] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16653/stat : 16653 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140641468132136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16654] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16654/stat : 16654 (java) S 16641 16644 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140641467079336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16655] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16655/stat : 16655 (java) S 16641 16644 15677 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140640984750568 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16656] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16656/stat : 16656 (java) S 16641 16644 15677 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140640983696632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16657] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16657/stat : 16657 (java) S 16641 16644 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140640982643720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16658] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16658/stat : 16658 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140640981592208 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16659] ppid=16641 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/16644/task/16659/stat : 16659 (java) R 16641 16644 15677 0 -1 4202560 6310 0 0 0 101 2 0 0 20 0 22 0 106627611 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140640980540344 140641634171937 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16660] ppid=16641 vsize=9824732 CPUtime=1.07 cores=1,3,5,7 /proc/16644/task/16660/stat : 16660 (java) R 16641 16644 15677 0 -1 4202560 11388 0 0 0 104 3 0 0 20 0 22 0 106627611 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140640979474784 140641635395569 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16661] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16661/stat : 16661 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140640978434936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16662] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16662/stat : 16662 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140640977382344 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16666] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16666/stat : 16666 (java) S 16641 16644 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 106627667 10060525568 36484 33554432000 1073741824 1073778376 140736186081632 140640973169448 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.67 Current children cumulated vsize (KiB) 9824732 [startup+3.10099 s] /proc/loadavg: 4.17 4.17 4.11 12/221 16669 /proc/meminfo: memFree=29275220/32872528 swapFree=15540/1663004 [pid=16644] ppid=16641 vsize=9824732 CPUtime=7.36 cores=1,3,5,7 /proc/16644/stat : 16644 (java) S 16641 16644 15677 0 -1 4202496 21638 0 1 0 727 9 0 0 20 0 22 0 106627605 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140736186072768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16644/statm: 2456183 49051 2288 9 0 2446860 0 [pid=16644/tid=16646] ppid=16641 vsize=9824732 CPUtime=0.57 cores=1,3,5,7 /proc/16644/task/16646/stat : 16646 (java) S 16641 16644 15677 0 -1 4202560 2446 0 1 0 55 2 0 0 20 0 22 0 106627606 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140641631306616 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16647] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16647/stat : 16647 (java) S 16641 16644 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140641592797736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16648] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16648/stat : 16648 (java) S 16641 16644 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140641591744936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16649] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16649/stat : 16649 (java) S 16641 16644 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140641472342312 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16650] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16650/stat : 16650 (java) S 16641 16644 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140641471289512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16651] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16651/stat : 16651 (java) S 16641 16644 15677 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140641470237736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16652] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16652/stat : 16652 (java) S 16641 16644 15677 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140641469184936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16653] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16653/stat : 16653 (java) S 16641 16644 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140641468132136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16654] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16654/stat : 16654 (java) S 16641 16644 15677 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140641467079336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16655] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16655/stat : 16655 (java) S 16641 16644 15677 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140640984750568 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16656] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16656/stat : 16656 (java) S 16641 16644 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140640983696632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16657] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16657/stat : 16657 (java) S 16641 16644 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140640982643720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16658] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16658/stat : 16658 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140640981592208 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16659] ppid=16641 vsize=9824732 CPUtime=1.21 cores=1,3,5,7 /proc/16644/task/16659/stat : 16659 (java) S 16641 16644 15677 0 -1 4202560 6312 0 0 0 119 2 0 0 20 0 22 0 106627611 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140640980540344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16660] ppid=16641 vsize=9824732 CPUtime=1.36 cores=1,3,5,7 /proc/16644/task/16660/stat : 16660 (java) S 16641 16644 15677 0 -1 4202560 11389 0 0 0 133 3 0 0 20 0 22 0 106627611 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140640979487544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16661] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16661/stat : 16661 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140640978434936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16662] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16662/stat : 16662 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140640977382344 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16666] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16666/stat : 16666 (java) S 16641 16644 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 106627667 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140640973169448 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16667] ppid=16641 vsize=9824732 CPUtime=1.95 cores=1,3,5,7 /proc/16644/task/16667/stat : 16667 (java) R 16641 16644 15677 0 -1 4202560 3 0 0 0 195 0 0 0 20 0 22 0 106627716 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140640975273072 140641473337929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16668] ppid=16641 vsize=9824732 CPUtime=1.94 cores=1,3,5,7 /proc/16644/task/16668/stat : 16668 (java) R 16641 16644 15677 0 -1 4202560 48 0 0 0 194 0 0 0 20 0 22 0 106627716 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140640976327320 140641473442954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16669] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16669/stat : 16669 (java) S 16641 16644 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106627717 10060525568 49051 33554432000 1073741824 1073778376 140736186081632 140640974222760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.36 Current children cumulated vsize (KiB) 9824732 [startup+6.30101 s] /proc/loadavg: 4.17 4.17 4.11 6/221 16669 /proc/meminfo: memFree=29262576/32872528 swapFree=15540/1663004 [pid=16644] ppid=16641 vsize=9824732 CPUtime=14 cores=1,3,5,7 /proc/16644/stat : 16644 (java) S 16641 16644 15677 0 -1 4202496 21708 0 1 0 1388 12 0 0 20 0 22 0 106627605 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140736186072768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16644/statm: 2456183 64874 2293 9 0 2446860 0 [pid=16644/tid=16646] ppid=16641 vsize=9824732 CPUtime=0.57 cores=1,3,5,7 /proc/16644/task/16646/stat : 16646 (java) S 16641 16644 15677 0 -1 4202560 2446 0 1 0 55 2 0 0 20 0 22 0 106627606 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140641631306616 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16647] ppid=16641 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/16644/task/16647/stat : 16647 (java) S 16641 16644 15677 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 106627607 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140641592797736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16648] ppid=16641 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/16644/task/16648/stat : 16648 (java) S 16641 16644 15677 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 106627607 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140641591744936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16649] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16649/stat : 16649 (java) S 16641 16644 15677 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140641472342312 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16650] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16650/stat : 16650 (java) S 16641 16644 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140641471289512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16651] ppid=16641 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/16644/task/16651/stat : 16651 (java) S 16641 16644 15677 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 106627607 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140641470237736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16652] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16652/stat : 16652 (java) S 16641 16644 15677 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 106627607 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140641469184936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16653] ppid=16641 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/16644/task/16653/stat : 16653 (java) S 16641 16644 15677 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 106627607 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140641468132136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16654] ppid=16641 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/16644/task/16654/stat : 16654 (java) S 16641 16644 15677 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 106627607 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140641467079336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16655] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16655/stat : 16655 (java) S 16641 16644 15677 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140640984750568 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16656] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16656/stat : 16656 (java) S 16641 16644 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140640983696632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16657] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16657/stat : 16657 (java) S 16641 16644 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140640982643720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16658] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16658/stat : 16658 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140640981592208 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16659] ppid=16641 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/16644/task/16659/stat : 16659 (java) S 16641 16644 15677 0 -1 4202560 6319 0 0 0 135 2 0 0 20 0 22 0 106627611 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140640980540344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16660] ppid=16641 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/16644/task/16660/stat : 16660 (java) S 16641 16644 15677 0 -1 4202560 11390 0 0 0 137 3 0 0 20 0 22 0 106627611 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140640979487544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16661] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16661/stat : 16661 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 64874 33554432000 1073741824 1073778376 140736186081632 140640978434936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16662] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 4.24 4.32 4.21 5/221 16783 /proc/meminfo: memFree=22616968/32872528 swapFree=15540/1663004 [pid=16644] ppid=16641 vsize=9824732 CPUtime=1656.59 cores=1,3,5,7 /proc/16644/stat : 16644 (java) S 16641 16644 15677 0 -1 4202496 41499 0 1 0 165400 259 0 0 20 0 22 0 106627605 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140736186072768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16644/statm: 2456183 997189 2302 9 0 2446860 0 [pid=16644/tid=16646] ppid=16641 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/16644/task/16646/stat : 16646 (java) S 16641 16644 15677 0 -1 4202560 2463 0 1 0 59 4 0 0 20 0 22 0 106627606 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140641631306616 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16647] ppid=16641 vsize=9824732 CPUtime=3.69 cores=1,3,5,7 /proc/16644/task/16647/stat : 16647 (java) S 16641 16644 15677 0 -1 4202560 775 0 0 0 348 21 0 0 20 0 22 0 106627607 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140641592797736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16648] ppid=16641 vsize=9824732 CPUtime=4.25 cores=1,3,5,7 /proc/16644/task/16648/stat : 16648 (java) S 16641 16644 15677 0 -1 4202560 733 0 0 0 404 21 0 0 20 0 22 0 106627607 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140641591744936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16649] ppid=16641 vsize=9824732 CPUtime=3.75 cores=1,3,5,7 /proc/16644/task/16649/stat : 16649 (java) S 16641 16644 15677 0 -1 4202560 800 0 0 0 354 21 0 0 20 0 22 0 106627607 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140641472342312 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16650] ppid=16641 vsize=9824732 CPUtime=4.31 cores=1,3,5,7 /proc/16644/task/16650/stat : 16650 (java) S 16641 16644 15677 0 -1 4202560 669 0 0 0 410 21 0 0 20 0 22 0 106627607 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140641471289512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16651] ppid=16641 vsize=9824732 CPUtime=4.09 cores=1,3,5,7 /proc/16644/task/16651/stat : 16651 (java) S 16641 16644 15677 0 -1 4202560 688 0 0 0 385 24 0 0 20 0 22 0 106627607 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140641470237736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16652] ppid=16641 vsize=9824732 CPUtime=4.21 cores=1,3,5,7 /proc/16644/task/16652/stat : 16652 (java) S 16641 16644 15677 0 -1 4202560 606 0 0 0 399 22 0 0 20 0 22 0 106627607 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140641469184936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16653] ppid=16641 vsize=9824732 CPUtime=4.1 cores=1,3,5,7 /proc/16644/task/16653/stat : 16653 (java) S 16641 16644 15677 0 -1 4202560 713 0 0 0 388 22 0 0 20 0 22 0 106627607 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140641468132136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16654] ppid=16641 vsize=9824732 CPUtime=3.83 cores=1,3,5,7 /proc/16644/task/16654/stat : 16654 (java) S 16641 16644 15677 0 -1 4202560 569 0 0 0 366 17 0 0 20 0 22 0 106627607 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140641467079336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16655] ppid=16641 vsize=9824732 CPUtime=5.07 cores=1,3,5,7 /proc/16644/task/16655/stat : 16655 (java) S 16641 16644 15677 0 -1 4202560 2734 0 0 0 499 8 0 0 20 0 22 0 106627609 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140640984750568 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16656] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16656/stat : 16656 (java) S 16641 16644 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140640983696632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16657] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16657/stat : 16657 (java) S 16641 16644 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140640982643720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16658] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16658/stat : 16658 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140640981592208 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16659] ppid=16641 vsize=9824732 CPUtime=2.77 cores=1,3,5,7 /proc/16644/task/16659/stat : 16659 (java) S 16641 16644 15677 0 -1 4202560 16184 0 0 0 274 3 0 0 20 0 22 0 106627611 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140640980540344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16660] ppid=16641 vsize=9824732 CPUtime=1.63 cores=1,3,5,7 /proc/16644/task/16660/stat : 16660 (java) S 16641 16644 15677 0 -1 4202560 11398 0 0 0 160 3 0 0 20 0 22 0 106627611 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140640979487544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16661] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16661/stat : 16661 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140640978434936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16662] ppid=16641 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/16644/task/16662/stat : 16662 (java) S 16641 16644 15677 0 -1 4202560 47 0 0 0 14 18 0 0 20 0 22 0 106627611 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140640977382344 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16669] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16669/stat : 16669 (java) S 16641 16644 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106627717 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140640974222760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16780] ppid=16641 vsize=9824732 CPUtime=90.35 cores=1,3,5,7 /proc/16644/task/16780/stat : 16780 (java) R 16641 16644 15677 0 -1 4202560 4 0 0 0 9034 1 0 0 20 0 22 0 106700710 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140640975265552 140641473250688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16781] ppid=16641 vsize=9824732 CPUtime=90.38 cores=1,3,5,7 /proc/16644/task/16781/stat : 16781 (java) R 16641 16644 15677 0 -1 4202560 12 0 0 0 9037 1 0 0 20 0 22 0 106700710 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140640976325744 140641473887161 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16782] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16782/stat : 16782 (java) S 16641 16644 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106700710 10060525568 997189 33554432000 1073741824 1073778376 140736186081632 140640973170344 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1656.59 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.36 4.33 4.22 5/221 16785 /proc/meminfo: memFree=22553064/32872528 swapFree=15540/1663004 [pid=16644] ppid=16641 vsize=9824732 CPUtime=1778.03 cores=1,3,5,7 /proc/16644/stat : 16644 (java) S 16641 16644 15677 0 -1 4202496 41593 0 1 0 177541 262 0 0 20 0 22 0 106627605 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140736186072768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16644/statm: 2456183 1004406 2302 9 0 2446860 0 [pid=16644/tid=16646] ppid=16641 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/16644/task/16646/stat : 16646 (java) S 16641 16644 15677 0 -1 4202560 2463 0 1 0 59 4 0 0 20 0 22 0 106627606 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140641631306616 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16647] ppid=16641 vsize=9824732 CPUtime=3.91 cores=1,3,5,7 /proc/16644/task/16647/stat : 16647 (java) S 16641 16644 15677 0 -1 4202560 779 0 0 0 370 21 0 0 20 0 22 0 106627607 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140641592797736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16648] ppid=16641 vsize=9824732 CPUtime=4.48 cores=1,3,5,7 /proc/16644/task/16648/stat : 16648 (java) S 16641 16644 15677 0 -1 4202560 767 0 0 0 427 21 0 0 20 0 22 0 106627607 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140641591744936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16649] ppid=16641 vsize=9824732 CPUtime=4.18 cores=1,3,5,7 /proc/16644/task/16649/stat : 16649 (java) S 16641 16644 15677 0 -1 4202560 802 0 0 0 397 21 0 0 20 0 22 0 106627607 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140641472342312 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16650] ppid=16641 vsize=9824732 CPUtime=4.65 cores=1,3,5,7 /proc/16644/task/16650/stat : 16650 (java) S 16641 16644 15677 0 -1 4202560 672 0 0 0 443 22 0 0 20 0 22 0 106627607 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140641471289512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16651] ppid=16641 vsize=9824732 CPUtime=4.71 cores=1,3,5,7 /proc/16644/task/16651/stat : 16651 (java) S 16641 16644 15677 0 -1 4202560 695 0 0 0 447 24 0 0 20 0 22 0 106627607 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140641470237736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16652] ppid=16641 vsize=9824732 CPUtime=4.44 cores=1,3,5,7 /proc/16644/task/16652/stat : 16652 (java) S 16641 16644 15677 0 -1 4202560 609 0 0 0 422 22 0 0 20 0 22 0 106627607 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140641469184936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16653] ppid=16641 vsize=9824732 CPUtime=4.54 cores=1,3,5,7 /proc/16644/task/16653/stat : 16653 (java) S 16641 16644 15677 0 -1 4202560 728 0 0 0 432 22 0 0 20 0 22 0 106627607 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140641468132136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16654] ppid=16641 vsize=9824732 CPUtime=4.22 cores=1,3,5,7 /proc/16644/task/16654/stat : 16654 (java) S 16641 16644 15677 0 -1 4202560 571 0 0 0 405 17 0 0 20 0 22 0 106627607 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140641467079336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16655] ppid=16641 vsize=9824732 CPUtime=5.07 cores=1,3,5,7 /proc/16644/task/16655/stat : 16655 (java) S 16641 16644 15677 0 -1 4202560 2749 0 0 0 499 8 0 0 20 0 22 0 106627609 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140640984750568 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16656] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16656/stat : 16656 (java) S 16641 16644 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140640983696632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16657] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16657/stat : 16657 (java) S 16641 16644 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140640982643720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16658] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16658/stat : 16658 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140640981592208 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16659] ppid=16641 vsize=9824732 CPUtime=2.77 cores=1,3,5,7 /proc/16644/task/16659/stat : 16659 (java) S 16641 16644 15677 0 -1 4202560 16184 0 0 0 274 3 0 0 20 0 22 0 106627611 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140640980540344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16660] ppid=16641 vsize=9824732 CPUtime=1.63 cores=1,3,5,7 /proc/16644/task/16660/stat : 16660 (java) S 16641 16644 15677 0 -1 4202560 11398 0 0 0 160 3 0 0 20 0 22 0 106627611 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140640979487544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16661] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16661/stat : 16661 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140640978434936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16662] ppid=16641 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/16644/task/16662/stat : 16662 (java) S 16641 16644 15677 0 -1 4202560 51 0 0 0 15 20 0 0 20 0 22 0 106627611 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140640977382344 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16669] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16669/stat : 16669 (java) S 16641 16644 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106627717 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140640974222760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16780] ppid=16641 vsize=9824732 CPUtime=149.63 cores=1,3,5,7 /proc/16644/task/16780/stat : 16780 (java) R 16641 16644 15677 0 -1 4202560 5 0 0 0 14961 2 0 0 20 0 22 0 106700710 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140640975274696 140641473257494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16781] ppid=16641 vsize=9824732 CPUtime=149.65 cores=1,3,5,7 /proc/16644/task/16781/stat : 16781 (java) R 16641 16644 15677 0 -1 4202560 16 0 0 0 14963 2 0 0 20 0 22 0 106700710 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140640976325744 140641473442972 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16782] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16782/stat : 16782 (java) S 16641 16644 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106700710 10060525568 1004406 33554432000 1073741824 1073778376 140736186081632 140640973170344 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1778.03 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+893.201 s] /proc/loadavg: 4.36 4.33 4.22 5/221 16785 /proc/meminfo: memFree=22530048/32872528 swapFree=15540/1663004 [pid=16644] ppid=16641 vsize=9824732 CPUtime=1800.12 cores=1,3,5,7 /proc/16644/stat : 16644 (java) S 16641 16644 15677 0 -1 4202496 41625 0 1 0 179748 264 0 0 20 0 22 0 106627605 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140736186072768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16644/statm: 2456183 1007495 2302 9 0 2446860 0 [pid=16644/tid=16646] ppid=16641 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/16644/task/16646/stat : 16646 (java) S 16641 16644 15677 0 -1 4202560 2463 0 1 0 59 4 0 0 20 0 22 0 106627606 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140641631306616 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16647] ppid=16641 vsize=9824732 CPUtime=3.94 cores=1,3,5,7 /proc/16644/task/16647/stat : 16647 (java) S 16641 16644 15677 0 -1 4202560 779 0 0 0 373 21 0 0 20 0 22 0 106627607 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140641592797736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16648] ppid=16641 vsize=9824732 CPUtime=4.55 cores=1,3,5,7 /proc/16644/task/16648/stat : 16648 (java) S 16641 16644 15677 0 -1 4202560 775 0 0 0 434 21 0 0 20 0 22 0 106627607 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140641591744936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16649] ppid=16641 vsize=9824732 CPUtime=4.21 cores=1,3,5,7 /proc/16644/task/16649/stat : 16649 (java) S 16641 16644 15677 0 -1 4202560 803 0 0 0 400 21 0 0 20 0 22 0 106627607 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140641472342312 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16650] ppid=16641 vsize=9824732 CPUtime=4.72 cores=1,3,5,7 /proc/16644/task/16650/stat : 16650 (java) S 16641 16644 15677 0 -1 4202560 675 0 0 0 450 22 0 0 20 0 22 0 106627607 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140641471289512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16651] ppid=16641 vsize=9824732 CPUtime=4.86 cores=1,3,5,7 /proc/16644/task/16651/stat : 16651 (java) S 16641 16644 15677 0 -1 4202560 700 0 0 0 462 24 0 0 20 0 22 0 106627607 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140641470237736 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16652] ppid=16641 vsize=9824732 CPUtime=4.48 cores=1,3,5,7 /proc/16644/task/16652/stat : 16652 (java) S 16641 16644 15677 0 -1 4202560 610 0 0 0 426 22 0 0 20 0 22 0 106627607 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140641469184936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16653] ppid=16641 vsize=9824732 CPUtime=4.58 cores=1,3,5,7 /proc/16644/task/16653/stat : 16653 (java) S 16641 16644 15677 0 -1 4202560 735 0 0 0 436 22 0 0 20 0 22 0 106627607 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140641468132136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16654] ppid=16641 vsize=9824732 CPUtime=4.35 cores=1,3,5,7 /proc/16644/task/16654/stat : 16654 (java) S 16641 16644 15677 0 -1 4202560 574 0 0 0 418 17 0 0 20 0 22 0 106627607 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140641467079336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16655] ppid=16641 vsize=9824732 CPUtime=5.07 cores=1,3,5,7 /proc/16644/task/16655/stat : 16655 (java) S 16641 16644 15677 0 -1 4202560 2752 0 0 0 499 8 0 0 20 0 22 0 106627609 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140640984750568 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16656] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16656/stat : 16656 (java) S 16641 16644 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140640983696632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16657] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16657/stat : 16657 (java) S 16641 16644 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106627609 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140640982643720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16658] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16658/stat : 16658 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140640981592208 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16644/tid=16659] ppid=16641 vsize=9824732 CPUtime=2.77 cores=1,3,5,7 /proc/16644/task/16659/stat : 16659 (java) S 16641 16644 15677 0 -1 4202560 16184 0 0 0 274 3 0 0 20 0 22 0 106627611 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140640980540344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16660] ppid=16641 vsize=9824732 CPUtime=1.63 cores=1,3,5,7 /proc/16644/task/16660/stat : 16660 (java) S 16641 16644 15677 0 -1 4202560 11398 0 0 0 160 3 0 0 20 0 22 0 106627611 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140640979487544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16661] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16661/stat : 16661 (java) S 16641 16644 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106627611 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140640978434936 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16644/tid=16662] ppid=16641 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/16644/task/16662/stat : 16662 (java) S 16641 16644 15677 0 -1 4202560 51 0 0 0 15 20 0 0 20 0 22 0 106627611 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140640977382344 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16669] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16669/stat : 16669 (java) S 16641 16644 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106627717 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140640974222760 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16780] ppid=16641 vsize=9824732 CPUtime=160.39 cores=1,3,5,7 /proc/16644/task/16780/stat : 16780 (java) R 16641 16644 15677 0 -1 4202560 5 0 0 0 16037 2 0 0 20 0 22 0 106700710 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140640975272304 140641473250561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=16644/tid=16781] ppid=16641 vsize=9824732 CPUtime=160.41 cores=1,3,5,7 /proc/16644/task/16781/stat : 16781 (java) R 16641 16644 15677 0 -1 4202560 17 0 0 0 16039 2 0 0 20 0 22 0 106700710 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140640976325760 140641473449884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16644/tid=16782] ppid=16641 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/16644/task/16782/stat : 16782 (java) S 16641 16644 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106700710 10060525568 1007495 33554432000 1073741824 1073778376 140736186081632 140640973170344 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 16644 sig 9 ??? kill -16644 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 893.272 CPU time (s): 1800.41 CPU user time (s): 1797.55 CPU system time (s): 2.86156 CPU usage (%): 201.552 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.55 system time used= 2.86156 maximum resident set size= 4030092 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41662 page faults= 1 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23090 involuntary context switches= 28432 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.28204 second user time and 7.14591 second system time The end
Begin job on node134 at 2016-06-06 23:02:28 IDJOB=4081445 IDBENCH=25012 IDSOLVER=2543 FILE ID=node134/4081445-1465246948 RUNJOBID= node134-1465243580-15694 PBS_JOBID= 19843249 Free space on /tmp= 71728 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081445-1465246948/watcher-4081445-1465246948 -o /tmp/evaluation-result-4081445-1465246948/solver-4081445-1465246948 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15694 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081445-1465246948.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0 RANDOM SEED=1227063195 node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.403 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29463856 kB Buffers: 41348 kB Cached: 117612 kB SwapCached: 1804 kB Active: 958636 kB Inactive: 83820 kB Active(anon): 884816 kB Inactive(anon): 1040 kB Active(file): 73820 kB Inactive(file): 82780 kB Unevictable: 1663004 kB Mlocked: 15540 kB SwapTotal: 67108856 kB SwapFree: 67098296 kB Dirty: 1296 kB Writeback: 0 kB AnonPages: 2546084 kB Mapped: 15368 kB Shmem: 0 kB Slab: 567984 kB SReclaimable: 11788 kB SUnreclaim: 556196 kB KernelStack: 1608 kB PageTables: 9212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3490228 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 2476032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71732 MiB End job on node134 at 2016-06-06 23:17:22