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 Resolution PB16 | SAT (TO) | 178 | 1800.06 | 1796.06 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb |
| MD5SUM | cca57c347e264f92fb70010109aa24c5 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 175 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 104 |
| Optimality of the best value was proved | NO |
| Number of variables | 6139 |
| Total number of constraints | 1437 |
| Number of constraints which are clauses | 1437 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 5 |
| Maximum length of a constraint | 172 |
| Number of terms in the objective function | 6139 |
| 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 | 6139 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 6139 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.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.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.10 c Pseudo Boolean Optimization by upper bound 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.10 c No reason simplification 0.10/0.10 c Glucose 2.1 dynamic restart strategy 0.10/0.10 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.10/0.10 c timeout=2147483s 0.10/0.10 c DB Simplification allowed=false 0.10/0.10 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.10/0.10 c --- End Solver configuration --- 0.10/0.10 c solving HOME/instance-4085199-1465230419.opb 0.10/0.10 c reading problem ... 0.10/0.11 c objective function found 0.71/0.43 c ... done. Wall clock time 0.329s. 0.71/0.43 c declared #vars 6139 0.71/0.43 c #constraints 1437 0.71/0.43 c constraints type 0.71/0.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1437 0.71/0.43 c 1437 constraints processed. 0.71/0.43 c objective function length is 6139 literals 0.84/0.52 c SATISFIABLE 0.84/0.52 c OPTIMIZING... 0.84/0.52 c Got one! Elapsed wall clock time (in seconds):0.416 0.84/0.52 o 180 1.07/0.67 c Got one! Elapsed wall clock time (in seconds):0.561 1.07/0.67 o 179 2.87/2.18 c cleaning 2509 clauses out of 5026 with flag 16254/5026 5.03/4.29 c cleaning 4242 clauses out of 8519 with flag 39337/11028 7.74/6.90 c cleaning 5625 clauses out of 11275 with flag 63398/18026 10.64/9.82 c cleaning 6812 clauses out of 13651 with flag 90004/26027 13.95/13.18 c cleaning 7887 clauses out of 15838 with flag 118185/35026 17.75/16.92 c cleaning 8939 clauses out of 17951 with flag 149555/45026 21.96/21.12 c cleaning 9987 clauses out of 20013 with flag 185658/56027 26.76/25.97 c cleaning 10986 clauses out of 22027 with flag 224076/68028 31.57/30.79 c cleaning 12018 clauses out of 24039 with flag 273411/81026 36.77/35.90 c cleaning 13007 clauses out of 26021 with flag 324385/95026 42.37/41.55 c cleaning 14007 clauses out of 28015 with flag 374521/110027 48.37/47.57 c cleaning 14999 clauses out of 30009 with flag 425704/126028 54.67/53.82 c cleaning 15966 clauses out of 32008 with flag 480214/143026 61.27/60.45 c cleaning 17018 clauses out of 34042 with flag 540948/161026 68.47/67.68 c cleaning 18013 clauses out of 36027 with flag 606676/180029 76.28/75.47 c cleaning 18976 clauses out of 38011 with flag 670479/200026 84.47/83.56 c cleaning 19982 clauses out of 40035 with flag 740503/221026 93.07/92.15 c cleaning 21000 clauses out of 42055 with flag 810535/243028 102.07/101.19 c cleaning 22019 clauses out of 44055 with flag 885734/266028 112.27/111.33 c cleaning 23001 clauses out of 46034 with flag 967131/290026 122.67/121.79 c cleaning 23985 clauses out of 48034 with flag 1052994/315027 133.67/132.75 c cleaning 25016 clauses out of 50048 with flag 1140648/341026 145.50/144.41 c cleaning 25996 clauses out of 52032 with flag 1236803/368026 157.40/156.35 c cleaning 27000 clauses out of 54036 with flag 1331249/396026 169.31/168.26 c cleaning 27988 clauses out of 56039 with flag 1424216/425029 182.30/181.23 c cleaning 29000 clauses out of 58050 with flag 1526364/455028 195.00/193.91 c cleaning 30003 clauses out of 60050 with flag 1637631/486028 208.73/207.52 c cleaning 31020 clauses out of 62047 with flag 1745745/518028 222.83/221.63 c cleaning 31999 clauses out of 64025 with flag 1857711/551026 238.14/236.98 c cleaning 32968 clauses out of 66026 with flag 1972011/585026 254.14/252.95 c cleaning 33987 clauses out of 68058 with flag 2089875/620026 270.50/269.15 c cleaning 35014 clauses out of 70071 with flag 2223488/656026 287.69/286.35 c cleaning 35978 clauses out of 72057 with flag 2347914/693026 304.89/303.51 c cleaning 37006 clauses out of 74079 with flag 2484011/731026 323.30/321.96 c cleaning 37996 clauses out of 76074 with flag 2618447/770027 341.17/339.62 c cleaning 39031 clauses out of 78090 with flag 2758703/810039 360.56/359.07 c cleaning 40000 clauses out of 80051 with flag 2897283/851031 380.66/379.11 c cleaning 41001 clauses out of 82046 with flag 3040167/893026 401.96/400.21 c cleaning 41992 clauses out of 84053 with flag 3196430/936034 424.17/422.49 c cleaning 43006 clauses out of 86053 with flag 3355551/980026 446.96/445.26 c cleaning 44008 clauses out of 88049 with flag 3514896/1025028 471.17/469.26 c cleaning 44984 clauses out of 90039 with flag 3664135/1071026 495.88/493.91 c cleaning 46002 clauses out of 92055 with flag 3833753/1118026 521.65/519.57 c cleaning 47006 clauses out of 94053 with flag 4010359/1166026 547.75/545.66 c cleaning 48000 clauses out of 96049 with flag 4178580/1215028 574.96/572.65 c cleaning 49015 clauses out of 98047 with flag 4361170/1265026 600.56/598.25 c cleaning 50015 clauses out of 100032 with flag 4547721/1316026 627.85/625.49 c cleaning 50984 clauses out of 102018 with flag 4730891/1368027 657.55/655.14 c cleaning 51978 clauses out of 104034 with flag 4929472/1421027 688.74/686.21 c cleaning 52999 clauses out of 106055 with flag 5127361/1475026 721.70/719.19 c cleaning 54006 clauses out of 108059 with flag 5324190/1530029 757.61/755.06 c cleaning 54965 clauses out of 110050 with flag 5519224/1586026 792.80/790.16 c cleaning 56013 clauses out of 112085 with flag 5733930/1643026 827.29/824.55 c cleaning 57027 clauses out of 114072 with flag 5972548/1701026 864.20/861.45 c cleaning 57984 clauses out of 116045 with flag 6176212/1760026 897.27/894.43 c Got one! Elapsed wall clock time (in seconds):894.33 897.27/894.43 o 178 899.64/896.77 c cleaning 59139 clauses out of 118301 with flag 15808/1820266 902.23/899.32 c cleaning 32581 clauses out of 65162 with flag 33817/1826266 904.83/901.94 c cleaning 19786 clauses out of 39582 with flag 58112/1833267 907.63/904.75 c cleaning 13873 clauses out of 27795 with flag 83813/1841266 910.83/907.94 c cleaning 11435 clauses out of 22924 with flag 112589/1850268 914.33/911.48 c cleaning 10716 clauses out of 21487 with flag 143510/1860266 918.38/915.43 c cleaning 10860 clauses out of 21772 with flag 181634/1871267 922.78/919.80 c cleaning 11441 clauses out of 22915 with flag 220733/1883270 927.48/924.57 c cleaning 12228 clauses out of 24470 with flag 264241/1896266 932.78/929.84 c cleaning 13096 clauses out of 26242 with flag 311845/1910266 938.48/935.52 c cleaning 14030 clauses out of 28146 with flag 361828/1925266 944.58/941.66 c cleaning 15044 clauses out of 30118 with flag 413507/1941268 951.12/948.14 c cleaning 15989 clauses out of 32072 with flag 470086/1958266 958.02/955.02 c cleaning 17036 clauses out of 34088 with flag 532594/1976271 965.42/962.47 c cleaning 18023 clauses out of 36047 with flag 597751/1995266 973.53/970.57 c cleaning 18989 clauses out of 38024 with flag 666423/2015266 981.62/978.67 c cleaning 19986 clauses out of 40035 with flag 744682/2036266 990.16/987.18 c cleaning 20999 clauses out of 42051 with flag 820560/2058268 999.26/996.25 c cleaning 22003 clauses out of 44054 with flag 899017/2081270 1008.96/1005.96 c cleaning 23013 clauses out of 46047 with flag 982193/2105266 1019.63/1016.51 c cleaning 24017 clauses out of 48034 with flag 1066892/2130266 1029.82/1026.74 c cleaning 25008 clauses out of 50017 with flag 1160233/2156266 1040.72/1037.70 c cleaning 25984 clauses out of 52011 with flag 1254021/2183268 1052.66/1049.52 c cleaning 26925 clauses out of 54025 with flag 1345595/2211266 1064.76/1061.62 c cleaning 28000 clauses out of 56100 with flag 1443609/2240266 1077.25/1074.13 c cleaning 29018 clauses out of 58102 with flag 1549216/2270268 1090.49/1087.38 c cleaning 30027 clauses out of 60082 with flag 1662428/2301266 1103.78/1100.60 c cleaning 31018 clauses out of 62055 with flag 1780523/2333266 1117.84/1114.67 c cleaning 31998 clauses out of 64037 with flag 1894687/2366266 1133.06/1129.85 c cleaning 33001 clauses out of 66039 with flag 2011832/2400266 1147.95/1144.72 c cleaning 34008 clauses out of 68038 with flag 2131665/2435266 1162.98/1159.77 c cleaning 34990 clauses out of 70030 with flag 2251776/2471266 1178.58/1175.31 c cleaning 35988 clauses out of 72040 with flag 2383389/2508266 1195.41/1192.12 c cleaning 36989 clauses out of 74054 with flag 2520001/2546268 1212.71/1209.44 c cleaning 38004 clauses out of 76063 with flag 2650452/2585266 1230.24/1226.97 c cleaning 38990 clauses out of 78059 with flag 2788092/2625266 1248.52/1245.11 c cleaning 39992 clauses out of 80070 with flag 2938315/2666267 1268.12/1264.72 c cleaning 41001 clauses out of 82078 with flag 3085152/2708267 1288.55/1285.11 c cleaning 42025 clauses out of 84076 with flag 3231040/2751266 1309.36/1305.94 c cleaning 43007 clauses out of 86051 with flag 3390734/2795266 1330.69/1327.23 c cleaning 43967 clauses out of 88044 with flag 3541355/2840266 1352.06/1348.57 c cleaning 45018 clauses out of 90077 with flag 3705134/2886266 1373.35/1369.87 c cleaning 46003 clauses out of 92060 with flag 3872335/2933267 1398.05/1394.59 c cleaning 47019 clauses out of 94061 with flag 4035420/2981271 1423.58/1420.09 c cleaning 47994 clauses out of 96037 with flag 4206908/3030266 1451.42/1447.86 c cleaning 48962 clauses out of 98047 with flag 4389480/3080270 1479.18/1475.51 c cleaning 50014 clauses out of 100083 with flag 4574682/3131268 1505.88/1502.23 c cleaning 51015 clauses out of 102067 with flag 4757362/3183266 1536.60/1532.98 c cleaning 52005 clauses out of 104052 with flag 4957151/3236266 1567.56/1563.83 c cleaning 53006 clauses out of 106047 with flag 5146388/3290266 1597.43/1593.62 c cleaning 54016 clauses out of 108044 with flag 5345142/3345269 1629.97/1626.14 c cleaning 54980 clauses out of 110031 with flag 5547687/3401272 1666.60/1662.72 c cleaning 56015 clauses out of 112045 with flag 5749360/3458266 1704.64/1700.76 c cleaning 56938 clauses out of 114030 with flag 5952802/3516266 1742.47/1738.51 c cleaning 58018 clauses out of 116092 with flag 6170934/3575266 1779.81/1775.80 c cleaning 58998 clauses out of 118074 with flag 6395668/3635266 1800.06/1796.00 c starts : 46 1800.06/1796.00 c conflicts : 3668796 1800.06/1796.00 c decisions : 21897748 1800.06/1796.00 c propagations : 1026395054 1800.06/1796.00 c inspects : 14927199401 1800.06/1796.00 c shortcuts : 0 1800.06/1796.00 c learnt literals : 0 1800.06/1796.00 c learnt binary clauses : 0 1800.06/1796.00 c learnt ternary clauses : 0 1800.06/1796.00 c learnt constraints : 3668796 1800.06/1796.00 c ignored constraints : 0 1800.06/1796.00 c root simplifications : 0 1800.06/1796.00 c removed literals (reason simplification) : 0 1800.06/1796.00 c reason swapping (by a shorter reason) : 0 1800.06/1796.00 c Calls to reduceDB : 111 1800.06/1796.00 c Number of update (reduction) of LBD : 1853437 1800.06/1796.00 c Imported unit clauses : 0 1800.06/1796.00 c number of reductions to clauses (during analyze) : 0 1800.06/1796.00 c number of learned constraints concerned by reduction : 0 1800.06/1796.00 c number of learning phase by resolution : 0 1800.06/1796.00 c number of learning phase by cutting planes : 0 1800.06/1796.00 c speed (assignments/second) : 571633.9508985011 1800.06/1796.00 c non guided choices 0 1800.06/1796.03 c learnt constraints type 1800.06/1796.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 92606 1800.06/1796.03 s SATISFIABLE 1800.06/1796.03 c Found 3 solution(s) 1800.06/1796.04 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 x816 -x817 -x818 x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 x4071 x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 x4095 -x4096 -x4097 -x4098 -x4099 -x4100 x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 1800.06/1796.05 c objective function=178 1800.06/1796.05 c Total wall clock time (in seconds): 1795.941
OK 178
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-4085199-1465230419/watcher-4085199-1465230419 -o /tmp/evaluation-result-4085199-1465230419/solver-4085199-1465230419 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465226821-9907 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085199-1465230419.opb pid=10327 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.24 2.20 3/196 10330 /proc/meminfo: memFree=30191284/32872528 swapFree=20720/1686580 [pid=10330] ppid=10327 vsize=24200 CPUtime=0 cores=0,2,4,6 /proc/10330/stat : 10330 (java) S 10327 10330 9891 0 -1 4202496 1224 0 0 0 0 0 0 0 20 0 2 0 104973959 24780800 867 33554432000 1073741824 1073778376 140734528606640 140734528597776 215127982141 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10330/statm: 6050 867 654 9 0 385 0 [pid=10330/tid=10331] ppid=10327 vsize=89740 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10331/stat : 10331 (java) R 10327 10330 9891 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 2 0 104973960 91893760 892 33554432000 1073741824 1073778376 140734528606640 140734528595704 215124665271 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 [startup+0.100152 s] /proc/loadavg: 2.16 2.24 2.20 3/196 10330 /proc/meminfo: memFree=30191284/32872528 swapFree=20720/1686580 [pid=10330] ppid=10327 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/10330/stat : 10330 (java) S 10327 10330 9891 0 -1 4202496 4431 0 1 0 9 1 0 0 20 0 18 0 104973959 9787879424 6068 33554432000 1073741824 1073778376 140734528606640 140734528597776 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10330/statm: 2389619 6068 2140 9 0 2380296 0 [pid=10330/tid=10331] ppid=10327 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/10330/task/10331/stat : 10331 (java) R 10327 10330 9891 0 -1 4202560 2377 0 1 0 6 1 0 0 20 0 18 0 104973960 9787879424 6068 33554432000 1073741824 1073778376 140734528606640 140043797801280 215128007949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200268 s] /proc/loadavg: 2.16 2.24 2.20 3/196 10330 /proc/meminfo: memFree=30191284/32872528 swapFree=20720/1686580 [pid=10330] ppid=10327 vsize=9558476 CPUtime=0.3 cores=0,2,4,6 /proc/10330/stat : 10330 (java) S 10327 10330 9891 0 -1 4202496 4962 0 1 0 28 2 0 0 20 0 18 0 104973959 9787879424 6966 33554432000 1073741824 1073778376 140734528606640 140734528597776 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10330/statm: 2389619 6966 2222 9 0 2380296 0 [pid=10330/tid=10331] ppid=10327 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/10330/task/10331/stat : 10331 (java) R 10327 10330 9891 0 -1 4202560 2395 0 1 0 16 1 0 0 20 0 18 0 104973960 9787879424 6966 33554432000 1073741824 1073778376 140734528606640 140043797787312 140043801088871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 9558476 [startup+0.300264 s] /proc/loadavg: 2.16 2.24 2.20 3/196 10330 /proc/meminfo: memFree=30191284/32872528 swapFree=20720/1686580 [pid=10330] ppid=10327 vsize=9558476 CPUtime=0.56 cores=0,2,4,6 /proc/10330/stat : 10330 (java) S 10327 10330 9891 0 -1 4202496 7480 0 1 0 53 3 0 0 20 0 18 0 104973959 9787879424 10433 33554432000 1073741824 1073778376 140734528606640 140734528597776 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10330/statm: 2389619 10433 2233 9 0 2380296 0 [pid=10330/tid=10331] ppid=10327 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/10330/task/10331/stat : 10331 (java) R 10327 10330 9891 0 -1 4202560 2399 0 1 0 26 1 0 0 20 0 18 0 104973960 9787879424 10433 33554432000 1073741824 1073778376 140734528606640 140043797794768 215128007949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 9558476 [startup+0.700206 s] /proc/loadavg: 2.16 2.24 2.20 3/196 10330 /proc/meminfo: memFree=30191284/32872528 swapFree=20720/1686580 [pid=10330] ppid=10327 vsize=9625040 CPUtime=1.37 cores=0,2,4,6 /proc/10330/stat : 10330 (java) S 10327 10330 9891 0 -1 4202496 9019 0 1 0 133 4 0 0 20 0 19 0 104973959 9856040960 24587 33554432000 1073741824 1073778376 140734528606640 140734528597776 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10330/statm: 2406260 24587 2262 9 0 2396937 0 [pid=10330/tid=10331] ppid=10327 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/10330/task/10331/stat : 10331 (java) R 10327 10330 9891 0 -1 4202560 2440 0 1 0 65 2 0 0 20 0 19 0 104973960 9856040960 24587 33554432000 1073741824 1073778376 140734528606640 140043797794848 140043666846816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 9625040 [startup+1.50084 s] /proc/loadavg: 2.23 2.25 2.21 3/215 10349 /proc/meminfo: memFree=30099028/32872528 swapFree=20720/1686580 [pid=10330] ppid=10327 vsize=9625040 CPUtime=2.26 cores=0,2,4,6 /proc/10330/stat : 10330 (java) S 10327 10330 9891 0 -1 4202496 9089 0 1 0 222 4 0 0 20 0 19 0 104973959 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140734528597776 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10330/statm: 2406260 25678 2265 9 0 2396937 0 [pid=10330/tid=10331] ppid=10327 vsize=9625040 CPUtime=1.47 cores=0,2,4,6 /proc/10330/task/10331/stat : 10331 (java) R 10327 10330 9891 0 -1 4202560 2442 0 1 0 145 2 0 0 20 0 19 0 104973960 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043797803528 140043667192795 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10333] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10333/stat : 10333 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043786865448 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10334] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10334/stat : 10334 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043785812648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10335] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10335/stat : 10335 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043639012392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10336] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10336/stat : 10336 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043637959592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10337] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10337/stat : 10337 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043636906280 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10338] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10338/stat : 10338 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043635853480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10339] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10339/stat : 10339 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043634801192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10340] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10340/stat : 10340 (java) S 10327 10330 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043633748392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10341] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10341/stat : 10341 (java) S 10327 10330 9891 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043621550824 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10342] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10342/stat : 10342 (java) S 10327 10330 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043620496888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10343] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10343/stat : 10343 (java) S 10327 10330 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043619444488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10344] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10344/stat : 10344 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973965 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043618392976 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10345] ppid=10327 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/10330/task/10345/stat : 10345 (java) S 10327 10330 9891 0 -1 4202560 2941 0 0 0 37 0 0 0 20 0 19 0 104973965 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043617339576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10346] ppid=10327 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/10330/task/10346/stat : 10346 (java) S 10327 10330 9891 0 -1 4202560 2434 0 0 0 38 0 0 0 20 0 19 0 104973965 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043616286776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10347] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10347/stat : 10347 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973965 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043615234680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10348] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10348/stat : 10348 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973965 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043614182088 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10349] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10349/stat : 10349 (java) S 10327 10330 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104974005 9856040960 25678 33554432000 1073741824 1073778376 140734528606640 140043613128104 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 9625040 [startup+3.10069 s] /proc/loadavg: 2.23 2.25 2.21 3/215 10349 /proc/meminfo: memFree=30011524/32872528 swapFree=20720/1686580 [pid=10330] ppid=10327 vsize=9625040 CPUtime=3.9 cores=0,2,4,6 /proc/10330/stat : 10330 (java) S 10327 10330 9891 0 -1 4202496 9098 0 1 0 386 4 0 0 20 0 19 0 104973959 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140734528597776 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10330/statm: 2406260 26707 2269 9 0 2396937 0 [pid=10330/tid=10331] ppid=10327 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/10330/task/10331/stat : 10331 (java) R 10327 10330 9891 0 -1 4202560 2445 0 1 0 304 2 0 0 20 0 19 0 104973960 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043797794528 140043667320719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10333] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10333/stat : 10333 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043786865448 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10334] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10334/stat : 10334 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043785812648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10335] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10335/stat : 10335 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043639012392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10336] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10336/stat : 10336 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043637959592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10337] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10337/stat : 10337 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043636906280 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10338] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10338/stat : 10338 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043635853480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10339] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10339/stat : 10339 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043634801192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10340] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10340/stat : 10340 (java) S 10327 10330 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043633748392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10341] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10341/stat : 10341 (java) S 10327 10330 9891 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043621550824 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10342] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10342/stat : 10342 (java) S 10327 10330 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043620496888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10343] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10343/stat : 10343 (java) S 10327 10330 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043619444488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10344] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10344/stat : 10344 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973965 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043618392976 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10345] ppid=10327 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/10330/task/10345/stat : 10345 (java) S 10327 10330 9891 0 -1 4202560 2942 0 0 0 38 0 0 0 20 0 19 0 104973965 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043617339576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10346] ppid=10327 vsize=9625040 CPUtime=0.4 cores=0,2,4,6 /proc/10330/task/10346/stat : 10346 (java) S 10327 10330 9891 0 -1 4202560 2438 0 0 0 40 0 0 0 20 0 19 0 104973965 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043616286776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10347] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10347/stat : 10347 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973965 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043615234680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10348] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10348/stat : 10348 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973965 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043614182088 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10349] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10349/stat : 10349 (java) S 10327 10330 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104974005 9856040960 26707 33554432000 1073741824 1073778376 140734528606640 140043613128104 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.9 Current children cumulated vsize (KiB) 9625040 [startup+6.30085 s] /proc/loadavg: 2.21 2.25 2.21 3/215 10349 /proc/meminfo: memFree=30003464/32872528 swapFree=20720/1686580 [pid=10330] ppid=10327 vsize=9625040 CPUtime=7.13 cores=0,2,4,6 /proc/10330/stat : 10330 (java) S 10327 10330 9891 0 -1 4202496 9103 0 1 0 709 4 0 0 20 0 19 0 104973959 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140734528597776 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10330/statm: 2406260 28617 2269 9 0 2396937 0 [pid=10330/tid=10331] ppid=10327 vsize=9625040 CPUtime=6.25 cores=0,2,4,6 /proc/10330/task/10331/stat : 10331 (java) R 10327 10330 9891 0 -1 4202560 2450 0 1 0 623 2 0 0 20 0 19 0 104973960 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043797803352 140043667321320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10333] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10333/stat : 10333 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043786865448 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10334] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10334/stat : 10334 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043785812648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10335] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10335/stat : 10335 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043639012392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10336] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10336/stat : 10336 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043637959592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10337] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10337/stat : 10337 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043636906280 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10338] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10338/stat : 10338 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043635853480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10339] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10339/stat : 10339 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043634801192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10340] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10340/stat : 10340 (java) S 10327 10330 9891 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104973961 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043633748392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10341] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10341/stat : 10341 (java) S 10327 10330 9891 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043621550824 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10342] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10342/stat : 10342 (java) S 10327 10330 9891 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043620496888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10343] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10343/stat : 10343 (java) S 10327 10330 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043619444488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10344] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10344/stat : 10344 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973965 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043618392976 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10345] ppid=10327 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/10330/task/10345/stat : 10345 (java) S 10327 10330 9891 0 -1 4202560 2942 0 0 0 41 0 0 0 20 0 19 0 104973965 9856040960 28617 33554432000 1073741824 1073778376 140734528606640 140043617339576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10346] ppid=10327 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 ################ # More data... # ################ [pid=10330/tid=10349] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10349/stat : 10349 (java) S 10327 10330 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104974005 9856040960 112915 33554432000 1073741824 1073778376 140734528606640 140043613128104 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1666.2 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.19 2.20 2.18 3/215 10393 /proc/meminfo: memFree=29359272/32872528 swapFree=20720/1686580 [pid=10330] ppid=10327 vsize=9625040 CPUtime=1726.27 cores=0,2,4,6 /proc/10330/stat : 10330 (java) S 10327 10330 9891 0 -1 4202496 11811 0 1 0 172535 92 0 0 20 0 19 0 104973959 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140734528597776 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10330/statm: 2406260 109581 2291 9 0 2396937 0 [pid=10330/tid=10331] ppid=10327 vsize=9625040 CPUtime=1716.22 cores=0,2,4,6 /proc/10330/task/10331/stat : 10331 (java) R 10327 10330 9891 0 -1 4202560 2517 0 1 0 171591 31 0 0 20 0 19 0 104973960 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043797802240 140043667286032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10333] ppid=10327 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/10330/task/10333/stat : 10333 (java) S 10327 10330 9891 0 -1 4202560 320 0 0 0 41 10 0 0 20 0 19 0 104973961 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043786865448 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10334] ppid=10327 vsize=9625040 CPUtime=0.4 cores=0,2,4,6 /proc/10330/task/10334/stat : 10334 (java) S 10327 10330 9891 0 -1 4202560 302 0 0 0 35 5 0 0 20 0 19 0 104973961 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043785812648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10335] ppid=10327 vsize=9625040 CPUtime=0.48 cores=0,2,4,6 /proc/10330/task/10335/stat : 10335 (java) S 10327 10330 9891 0 -1 4202560 311 0 0 0 41 7 0 0 20 0 19 0 104973961 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043639012392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10336] ppid=10327 vsize=9625040 CPUtime=0.57 cores=0,2,4,6 /proc/10330/task/10336/stat : 10336 (java) S 10327 10330 9891 0 -1 4202560 261 0 0 0 46 11 0 0 20 0 19 0 104973961 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043637959592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10337] ppid=10327 vsize=9625040 CPUtime=0.52 cores=0,2,4,6 /proc/10330/task/10337/stat : 10337 (java) S 10327 10330 9891 0 -1 4202560 348 0 0 0 43 9 0 0 20 0 19 0 104973961 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043636906280 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10338] ppid=10327 vsize=9625040 CPUtime=0.54 cores=0,2,4,6 /proc/10330/task/10338/stat : 10338 (java) S 10327 10330 9891 0 -1 4202560 228 0 0 0 45 9 0 0 20 0 19 0 104973961 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043635853480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10339] ppid=10327 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/10330/task/10339/stat : 10339 (java) S 10327 10330 9891 0 -1 4202560 224 0 0 0 41 10 0 0 20 0 19 0 104973961 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043634801192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10340] ppid=10327 vsize=9625040 CPUtime=0.54 cores=0,2,4,6 /proc/10330/task/10340/stat : 10340 (java) S 10327 10330 9891 0 -1 4202560 315 0 0 0 45 9 0 0 20 0 19 0 104973961 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043633748392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10341] ppid=10327 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/10330/task/10341/stat : 10341 (java) S 10327 10330 9891 0 -1 4202560 241 0 0 0 36 2 0 0 20 0 19 0 104973962 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043621550824 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10342] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10342/stat : 10342 (java) S 10327 10330 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043620496888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10343] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10343/stat : 10343 (java) S 10327 10330 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043619444488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10344] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10344/stat : 10344 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973965 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043618392976 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10345] ppid=10327 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/10330/task/10345/stat : 10345 (java) S 10327 10330 9891 0 -1 4202560 2947 0 0 0 47 0 0 0 20 0 19 0 104973965 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043617339576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10346] ppid=10327 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/10330/task/10346/stat : 10346 (java) S 10327 10330 9891 0 -1 4202560 2441 0 0 0 47 0 0 0 20 0 19 0 104973965 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043616286776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10347] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10347/stat : 10347 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973965 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043615234680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10348] ppid=10327 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/10330/task/10348/stat : 10348 (java) S 10327 10330 9891 0 -1 4202560 98 0 0 0 19 20 0 0 20 0 19 0 104973965 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043614182088 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10349] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10349/stat : 10349 (java) S 10327 10330 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104974005 9856040960 109581 33554432000 1073741824 1073778376 140734528606640 140043613128104 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1726.27 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.11 2.17 2.17 3/215 10590 /proc/meminfo: memFree=29721224/32872528 swapFree=20720/1686580 [pid=10330] ppid=10327 vsize=9625040 CPUtime=1786.31 cores=0,2,4,6 /proc/10330/stat : 10330 (java) S 10327 10330 9891 0 -1 4202496 11818 0 1 0 178539 92 0 0 20 0 19 0 104973959 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140734528597776 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10330/statm: 2406260 108074 2291 9 0 2396937 0 [pid=10330/tid=10331] ppid=10327 vsize=9625040 CPUtime=1776.04 cores=0,2,4,6 /proc/10330/task/10331/stat : 10331 (java) R 10327 10330 9891 0 -1 4202560 2518 0 1 0 177573 31 0 0 20 0 19 0 104973960 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043797794528 140043667321124 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10333] ppid=10327 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/10330/task/10333/stat : 10333 (java) S 10327 10330 9891 0 -1 4202560 320 0 0 0 41 10 0 0 20 0 19 0 104973961 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043786865448 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10334] ppid=10327 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/10330/task/10334/stat : 10334 (java) S 10327 10330 9891 0 -1 4202560 302 0 0 0 36 5 0 0 20 0 19 0 104973961 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043785812648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10335] ppid=10327 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/10330/task/10335/stat : 10335 (java) S 10327 10330 9891 0 -1 4202560 311 0 0 0 43 7 0 0 20 0 19 0 104973961 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043639012392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10336] ppid=10327 vsize=9625040 CPUtime=0.57 cores=0,2,4,6 /proc/10330/task/10336/stat : 10336 (java) S 10327 10330 9891 0 -1 4202560 261 0 0 0 46 11 0 0 20 0 19 0 104973961 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043637959592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10337] ppid=10327 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/10330/task/10337/stat : 10337 (java) S 10327 10330 9891 0 -1 4202560 348 0 0 0 44 9 0 0 20 0 19 0 104973961 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043636906280 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10338] ppid=10327 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/10330/task/10338/stat : 10338 (java) S 10327 10330 9891 0 -1 4202560 228 0 0 0 46 9 0 0 20 0 19 0 104973961 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043635853480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10339] ppid=10327 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/10330/task/10339/stat : 10339 (java) S 10327 10330 9891 0 -1 4202560 224 0 0 0 41 10 0 0 20 0 19 0 104973961 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043634801192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10340] ppid=10327 vsize=9625040 CPUtime=0.54 cores=0,2,4,6 /proc/10330/task/10340/stat : 10340 (java) S 10327 10330 9891 0 -1 4202560 315 0 0 0 45 9 0 0 20 0 19 0 104973961 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043633748392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10341] ppid=10327 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/10330/task/10341/stat : 10341 (java) S 10327 10330 9891 0 -1 4202560 243 0 0 0 36 2 0 0 20 0 19 0 104973962 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043621550824 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10342] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10342/stat : 10342 (java) S 10327 10330 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043620496888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10343] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10343/stat : 10343 (java) S 10327 10330 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043619444488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10344] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10344/stat : 10344 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973965 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043618392976 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10345] ppid=10327 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/10330/task/10345/stat : 10345 (java) S 10327 10330 9891 0 -1 4202560 2947 0 0 0 47 0 0 0 20 0 19 0 104973965 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043617339576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10346] ppid=10327 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/10330/task/10346/stat : 10346 (java) S 10327 10330 9891 0 -1 4202560 2441 0 0 0 47 0 0 0 20 0 19 0 104973965 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043616286776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10347] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10347/stat : 10347 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973965 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043615234680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10348] ppid=10327 vsize=9625040 CPUtime=0.4 cores=0,2,4,6 /proc/10330/task/10348/stat : 10348 (java) S 10327 10330 9891 0 -1 4202560 102 0 0 0 19 21 0 0 20 0 19 0 104973965 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043614182088 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10349] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10349/stat : 10349 (java) S 10327 10330 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104974005 9856040960 108074 33554432000 1073741824 1073778376 140734528606640 140043613128104 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1786.31 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796 s] /proc/loadavg: 2.09 2.17 2.17 3/215 10590 /proc/meminfo: memFree=29648264/32872528 swapFree=20720/1686580 [pid=10330] ppid=10327 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6 /proc/10330/stat : 10330 (java) S 10327 10330 9891 0 -1 4202496 11821 0 1 0 179913 93 0 0 20 0 19 0 104973959 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140734528597776 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10330/statm: 2406260 107545 2291 9 0 2396937 0 [pid=10330/tid=10331] ppid=10327 vsize=9625040 CPUtime=1789.69 cores=0,2,4,6 /proc/10330/task/10331/stat : 10331 (java) R 10327 10330 9891 0 -1 4202560 2519 0 1 0 178937 32 0 0 20 0 19 0 104973960 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043797802240 140043667229167 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10333] ppid=10327 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/10330/task/10333/stat : 10333 (java) S 10327 10330 9891 0 -1 4202560 320 0 0 0 41 10 0 0 20 0 19 0 104973961 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043786865448 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10334] ppid=10327 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/10330/task/10334/stat : 10334 (java) S 10327 10330 9891 0 -1 4202560 302 0 0 0 37 5 0 0 20 0 19 0 104973961 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043785812648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10335] ppid=10327 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/10330/task/10335/stat : 10335 (java) S 10327 10330 9891 0 -1 4202560 311 0 0 0 44 7 0 0 20 0 19 0 104973961 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043639012392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10336] ppid=10327 vsize=9625040 CPUtime=0.59 cores=0,2,4,6 /proc/10330/task/10336/stat : 10336 (java) S 10327 10330 9891 0 -1 4202560 261 0 0 0 48 11 0 0 20 0 19 0 104973961 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043637959592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10337] ppid=10327 vsize=9625040 CPUtime=0.54 cores=0,2,4,6 /proc/10330/task/10337/stat : 10337 (java) S 10327 10330 9891 0 -1 4202560 348 0 0 0 45 9 0 0 20 0 19 0 104973961 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043636906280 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10338] ppid=10327 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/10330/task/10338/stat : 10338 (java) S 10327 10330 9891 0 -1 4202560 228 0 0 0 46 9 0 0 20 0 19 0 104973961 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043635853480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10339] ppid=10327 vsize=9625040 CPUtime=0.52 cores=0,2,4,6 /proc/10330/task/10339/stat : 10339 (java) S 10327 10330 9891 0 -1 4202560 224 0 0 0 42 10 0 0 20 0 19 0 104973961 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043634801192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10340] ppid=10327 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/10330/task/10340/stat : 10340 (java) S 10327 10330 9891 0 -1 4202560 315 0 0 0 46 9 0 0 20 0 19 0 104973961 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043633748392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10330/tid=10341] ppid=10327 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/10330/task/10341/stat : 10341 (java) S 10327 10330 9891 0 -1 4202560 245 0 0 0 36 2 0 0 20 0 19 0 104973962 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043621550824 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10342] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10342/stat : 10342 (java) S 10327 10330 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043620496888 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10343] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10343/stat : 10343 (java) S 10327 10330 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104973962 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043619444488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10344] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10344/stat : 10344 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973965 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043618392976 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10345] ppid=10327 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/10330/task/10345/stat : 10345 (java) S 10327 10330 9891 0 -1 4202560 2947 0 0 0 47 0 0 0 20 0 19 0 104973965 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043617339576 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10330/tid=10346] ppid=10327 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/10330/task/10346/stat : 10346 (java) S 10327 10330 9891 0 -1 4202560 2441 0 0 0 47 0 0 0 20 0 19 0 104973965 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043616286776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10347] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10347/stat : 10347 (java) S 10327 10330 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104973965 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043615234680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10330/tid=10348] ppid=10327 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/10330/task/10348/stat : 10348 (java) S 10327 10330 9891 0 -1 4202560 102 0 0 0 20 21 0 0 20 0 19 0 104973965 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043614182088 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10330/tid=10349] ppid=10327 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/10330/task/10349/stat : 10349 (java) S 10327 10330 9891 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104974005 9856040960 107545 33554432000 1073741824 1073778376 140734528606640 140043613128104 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 10330 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10330 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=629174 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=391788 # CPU time returned by wait4() is 1796.02 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1796.06 CPU time (s): 1800.06 CPU user time (s): 1799.13 CPU system time (s): 0.93 CPU usage (%): 100.223 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.63 system time used= 1.39179 maximum resident set size= 747096 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11862 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1568 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39160 involuntary context switches= 12190 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.46356 second user time and 13.7429 second system time The end
Begin job on node135 at 2016-06-06 18:26:59 IDJOB=4085199 IDBENCH=2042 IDSOLVER=2546 FILE ID=node135/4085199-1465230419 RUNJOBID= node135-1465226821-9907 PBS_JOBID= 19843238 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085199-1465230419/watcher-4085199-1465230419 -o /tmp/evaluation-result-4085199-1465230419/solver-4085199-1465230419 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465226821-9907 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085199-1465230419.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5 RANDOM SEED=942658065 node135.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 : 2667.026 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 : 5334.05 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 : 2667.026 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 : 2667.026 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 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.56 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 : 2667.026 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 : 2667.026 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.55 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 : 2667.026 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: 30191828 kB Buffers: 18616 kB Cached: 83708 kB SwapCached: 1828 kB Active: 217912 kB Inactive: 44632 kB Active(anon): 161232 kB Inactive(anon): 1352 kB Active(file): 56680 kB Inactive(file): 43280 kB Unevictable: 1686580 kB Mlocked: 20720 kB SwapTotal: 67108856 kB SwapFree: 67098248 kB Dirty: 2968 kB Writeback: 0 kB AnonPages: 1881004 kB Mapped: 15420 kB Shmem: 0 kB Slab: 566032 kB SReclaimable: 9988 kB SUnreclaim: 556044 kB KernelStack: 1776 kB PageTables: 8064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2375648 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 1845248 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 node135 at 2016-06-06 18:56:55