Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | MSAT (TO) | 1800.01 | 1778.46 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo |
| MD5SUM | 2683f5c0f2bcb2ef48b38611ac907218 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 22 |
| Best CPU time to get the best result obtained on this benchmark | 1800.1 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6000 |
| Total number of constraints | 220 |
| Number of soft constraints | 76 |
| Number of constraints which are clauses | 120 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 50 |
| Maximum length of a constraint | 60 |
| Top cost | 4191 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4190 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 61 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4090558-1466062849.wbo 0.09/0.12 c reading problem ... 0.28/0.29 c ... done. Wall clock time 0.178s. 0.28/0.29 c declared #vars 6000 0.28/0.29 c internal #vars 6076 0.28/0.29 c #constraints 220 0.28/0.29 c constraints type 0.28/0.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120 0.28/0.29 c org.sat4j.minisat.constraints.card.MinWatchCard => 66 0.28/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 34 0.28/0.29 c 220 constraints processed. 0.28/0.29 c objective function length is 76 literals 1.24/0.75 c SATISFIABLE 1.24/0.75 c OPTIMIZING... 1.24/0.75 c Got one! Elapsed wall clock time (in seconds):0.634 1.24/0.75 o 210 1.65/1.04 c cleaning 2870 clauses out of 5747 with flag 14527/5747 2.60/1.91 c cleaning 4432 clauses out of 8877 with flag 60437/11747 3.72/3.08 c cleaning 5722 clauses out of 11445 with flag 115958/18747 4.32/3.66 c Got one! Elapsed wall clock time (in seconds):3.548 4.32/3.66 o 209 4.55/3.83 c cleaning 5688 clauses out of 11386 with flag 7420/24410 5.57/4.82 c cleaning 5846 clauses out of 11699 with flag 58609/30411 6.87/6.13 c cleaning 6418 clauses out of 12851 with flag 122329/37409 6.87/6.15 c Got one! Elapsed wall clock time (in seconds):6.037 6.87/6.15 o 39 7.73/6.90 c cleaning 5781 clauses out of 11578 with flag 38055/42554 8.63/7.88 c cleaning 5894 clauses out of 11798 with flag 87528/48555 9.93/9.14 c cleaning 6447 clauses out of 12902 with flag 149852/55553 11.60/10.73 c cleaning 7223 clauses out of 14457 with flag 222747/63555 13.50/12.66 c cleaning 8112 clauses out of 16232 with flag 299983/72553 15.70/14.89 c cleaning 9055 clauses out of 18120 with flag 379356/82553 18.40/17.55 c cleaning 10034 clauses out of 20068 with flag 473470/93556 21.00/20.16 c cleaning 11013 clauses out of 22032 with flag 581720/105554 21.29/20.40 c Got one! Elapsed wall clock time (in seconds):20.287 21.29/20.40 o 37 21.29/20.43 c Got one! Elapsed wall clock time (in seconds):20.317 21.29/20.43 o 22 21.64/20.73 c cleaning 8452 clauses out of 16913 with flag 23905/111448 22.34/21.49 c cleaning 7221 clauses out of 14460 with flag 68157/117447 23.68/22.61 c cleaning 7107 clauses out of 14238 with flag 119462/124446 24.98/23.94 c cleaning 7562 clauses out of 15135 with flag 180711/132450 26.49/25.49 c cleaning 8279 clauses out of 16575 with flag 244014/141452 28.59/27.56 c cleaning 9132 clauses out of 18291 with flag 324997/151447 30.99/29.96 c cleaning 10062 clauses out of 20158 with flag 423816/162446 34.09/33.04 c cleaning 11034 clauses out of 22096 with flag 528157/174446 37.09/36.04 c cleaning 12020 clauses out of 24062 with flag 648061/187446 40.59/39.56 c cleaning 13010 clauses out of 26042 with flag 766648/201446 44.45/43.23 c cleaning 14007 clauses out of 28033 with flag 893560/216447 48.94/47.78 c cleaning 15003 clauses out of 30026 with flag 1024739/232447 53.74/52.56 c cleaning 16001 clauses out of 32024 with flag 1165760/249448 59.14/57.99 c cleaning 17003 clauses out of 34025 with flag 1310494/267450 65.91/64.57 c cleaning 18000 clauses out of 36019 with flag 1476931/286447 72.71/71.37 c cleaning 19004 clauses out of 38021 with flag 1663783/306449 77.81/76.40 c cleaning 19981 clauses out of 40014 with flag 1845565/327446 82.92/81.55 c cleaning 20993 clauses out of 42035 with flag 2045862/349448 88.17/86.74 c cleaning 21993 clauses out of 44040 with flag 2262408/372446 94.38/92.91 c cleaning 22995 clauses out of 46047 with flag 2504673/396446 101.99/100.30 c cleaning 24001 clauses out of 48052 with flag 2751081/421446 106.49/104.84 c cleaning 25001 clauses out of 50051 with flag 2954822/447446 110.29/108.62 c cleaning 26009 clauses out of 52051 with flag 3144621/474447 117.72/115.89 c cleaning 27001 clauses out of 54041 with flag 3341514/502446 122.82/120.95 c cleaning 27987 clauses out of 56043 with flag 3551513/531449 127.65/125.52 c cleaning 29010 clauses out of 58054 with flag 3775604/561447 134.74/132.61 c cleaning 30013 clauses out of 60045 with flag 4011451/592448 142.28/140.03 c cleaning 30988 clauses out of 62031 with flag 4251381/624447 148.05/145.78 c cleaning 31987 clauses out of 64042 with flag 4496383/657446 156.75/154.49 c cleaning 33005 clauses out of 66056 with flag 4770911/691447 166.46/164.02 c cleaning 34000 clauses out of 68050 with flag 5065176/726446 173.74/171.29 c cleaning 34995 clauses out of 70050 with flag 5331591/762446 184.91/182.37 c cleaning 35995 clauses out of 72056 with flag 5650201/799447 195.69/193.06 c cleaning 37006 clauses out of 74062 with flag 5961565/837448 203.39/200.75 c cleaning 38018 clauses out of 76056 with flag 6266674/876448 214.45/211.79 c cleaning 38990 clauses out of 78037 with flag 6578881/916447 222.04/219.25 c cleaning 40009 clauses out of 80046 with flag 6873670/957446 230.13/227.21 c cleaning 41005 clauses out of 82037 with flag 7179905/999446 242.14/239.19 c cleaning 41991 clauses out of 84032 with flag 7466248/1042446 249.49/246.50 c cleaning 42994 clauses out of 86042 with flag 7764950/1086447 263.19/260.09 c cleaning 43991 clauses out of 88047 with flag 8075956/1131446 276.67/273.47 c cleaning 44998 clauses out of 90057 with flag 8427954/1177447 286.79/283.46 c cleaning 46012 clauses out of 92058 with flag 8799070/1224446 300.96/297.53 c cleaning 47006 clauses out of 94046 with flag 9226554/1272446 319.45/315.98 c cleaning 47996 clauses out of 96040 with flag 9682445/1321446 329.12/325.41 c cleaning 48980 clauses out of 98046 with flag 10070779/1371448 338.39/334.63 c cleaning 50012 clauses out of 100065 with flag 10443812/1422447 357.19/353.23 c cleaning 51003 clauses out of 102053 with flag 10858461/1474447 366.86/362.84 c cleaning 52002 clauses out of 104049 with flag 11257614/1527446 382.66/378.48 c cleaning 53005 clauses out of 106048 with flag 11627585/1581447 394.24/389.84 c cleaning 53980 clauses out of 108042 with flag 12047393/1636446 412.44/407.90 c cleaning 55014 clauses out of 110063 with flag 12391624/1692447 430.91/426.29 c cleaning 56000 clauses out of 112048 with flag 12763949/1749446 442.11/437.22 c cleaning 57010 clauses out of 114049 with flag 13158739/1807447 456.84/451.76 c cleaning 57984 clauses out of 116039 with flag 13581923/1866447 471.09/465.89 c cleaning 58990 clauses out of 118056 with flag 14017251/1926448 484.68/479.25 c cleaning 60005 clauses out of 120065 with flag 14485733/1987447 517.78/512.10 c cleaning 60999 clauses out of 122059 with flag 15020720/2049446 535.26/529.33 c cleaning 61993 clauses out of 124060 with flag 15552159/2112446 566.33/560.25 c cleaning 63009 clauses out of 126067 with flag 16066167/2176446 580.35/573.92 c cleaning 64007 clauses out of 128061 with flag 16575107/2241449 593.89/587.29 c cleaning 64991 clauses out of 130051 with flag 17031692/2307446 608.98/602.09 c cleaning 65988 clauses out of 132061 with flag 17485746/2374447 621.81/614.61 c cleaning 66991 clauses out of 134073 with flag 17960030/2442447 639.74/632.34 c cleaning 68021 clauses out of 136081 with flag 18461879/2511446 673.13/665.60 c cleaning 68969 clauses out of 138061 with flag 18964122/2581447 707.89/699.97 c cleaning 69989 clauses out of 140091 with flag 19551944/2652446 726.89/718.47 c cleaning 71006 clauses out of 142102 with flag 20139215/2724446 741.50/732.75 c cleaning 72010 clauses out of 144097 with flag 20664930/2797447 765.30/756.22 c cleaning 73015 clauses out of 146086 with flag 21213161/2871446 799.99/790.60 c cleaning 73976 clauses out of 148072 with flag 21829609/2946447 826.89/817.14 c cleaning 75007 clauses out of 150096 with flag 22385365/3022447 857.21/847.15 c cleaning 76038 clauses out of 152090 with flag 22988895/3099448 874.57/864.11 c cleaning 76991 clauses out of 154051 with flag 23565409/3177447 892.96/882.28 c cleaning 78004 clauses out of 156060 with flag 24136088/3256447 928.11/917.05 c cleaning 79010 clauses out of 158055 with flag 24766466/3336446 945.83/934.48 c cleaning 79999 clauses out of 160045 with flag 25355620/3417446 964.48/952.82 c cleaning 81001 clauses out of 162048 with flag 25907314/3499448 1005.56/993.47 c cleaning 81989 clauses out of 164047 with flag 26498727/3582448 1040.56/1028.24 c cleaning 83007 clauses out of 166056 with flag 27044596/3666446 1086.21/1073.41 c cleaning 83994 clauses out of 168050 with flag 27879069/3751447 1115.24/1101.94 c cleaning 84998 clauses out of 170056 with flag 28554985/3837447 1137.51/1123.71 c cleaning 86009 clauses out of 172057 with flag 29204381/3924446 1163.83/1149.63 c cleaning 87016 clauses out of 174051 with flag 29839282/4012449 1192.13/1177.61 c cleaning 88005 clauses out of 176035 with flag 30487163/4101449 1216.46/1201.63 c cleaning 88958 clauses out of 178027 with flag 31089062/4191446 1248.38/1233.17 c cleaning 90017 clauses out of 180072 with flag 31733739/4282449 1275.20/1259.53 c cleaning 90986 clauses out of 182052 with flag 32397080/4374446 1310.12/1293.97 c cleaning 92021 clauses out of 184066 with flag 33117205/4467446 1344.24/1327.69 c cleaning 93006 clauses out of 186045 with flag 33785365/4561446 1367.56/1350.58 c cleaning 93982 clauses out of 188040 with flag 34484984/4656447 1409.07/1391.78 c cleaning 94997 clauses out of 190060 with flag 35228392/4752449 1433.40/1415.69 c cleaning 96003 clauses out of 192060 with flag 35919121/4849446 1460.72/1442.57 c cleaning 97007 clauses out of 194061 with flag 36565865/4947450 1535.38/1516.90 c cleaning 98003 clauses out of 196051 with flag 37342176/5046447 1607.97/1589.13 c cleaning 99003 clauses out of 198048 with flag 38193471/5146447 1657.65/1638.51 c cleaning 100000 clauses out of 200045 with flag 38998004/5247447 1689.60/1669.73 c cleaning 101006 clauses out of 202044 with flag 39738677/5349446 1717.14/1696.65 c cleaning 101982 clauses out of 204042 with flag 40467733/5452450 1769.61/1748.58 c cleaning 102997 clauses out of 206057 with flag 41239059/5556447 1797.92/1776.30 c cleaning 104000 clauses out of 208061 with flag 41917918/5661448 1800.01/1778.40 c starts : 3224 1800.01/1778.40 c conflicts : 5674185 1800.01/1778.40 c decisions : 14982516 1800.01/1778.40 c propagations : 146891744 1800.01/1778.40 c inspects : 30043332376 1800.01/1778.40 c shortcuts : 0 1800.01/1778.40 c learnt literals : 0 1800.01/1778.40 c learnt binary clauses : 0 1800.01/1778.40 c learnt ternary clauses : 0 1800.01/1778.40 c learnt constraints : 5674185 1800.01/1778.40 c ignored constraints : 0 1800.01/1778.40 c root simplifications : 0 1800.01/1778.40 c removed literals (reason simplification) : 0 1800.01/1778.40 c reason swapping (by a shorter reason) : 0 1800.01/1778.40 c Calls to reduceDB : 115 1800.01/1778.40 c Number of update (reduction) of LBD : 3120914 1800.01/1778.40 c Imported unit clauses : 0 1800.01/1778.40 c number of reductions to clauses (during analyze) : 0 1800.01/1778.40 c number of learned constraints concerned by reduction : 0 1800.01/1778.40 c number of learning phase by resolution : 0 1800.01/1778.40 c number of learning phase by cutting planes : 0 1800.01/1778.40 c speed (assignments/second) : 82611.58786818071 1800.01/1778.40 c non guided choices 1251578 1800.01/1778.43 c learnt constraints type 1800.01/1778.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 116799 1800.01/1778.43 s SATISFIABLE 1800.01/1778.43 c Found 5 solution(s) 1800.01/1778.44 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 1800.01/1778.45 c objective function=22 1800.01/1778.45 c Total wall clock time (in seconds): 1778.337
OK 22
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-4090558-1466062849/watcher-4090558-1466062849 -o /tmp/evaluation-result-4090558-1466062849/solver-4090558-1466062849 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466062135-8002 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090558-1466062849.wbo pid=8130 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.84 1.09 3/195 8133 /proc/meminfo: memFree=30993592/32872528 swapFree=681192/736380 [pid=8133] ppid=8130 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/8133/stat : 8133 (java) R 8130 8133 7985 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 8334172 278528 24 33554432000 1073741824 1073778376 140733469530560 140733730395672 213857101273 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/8133/statm: 68 32 24 9 0 25 0 [startup+0.10006 s] /proc/loadavg: 2.00 1.84 1.09 3/195 8133 /proc/meminfo: memFree=30993592/32872528 swapFree=681192/736380 [pid=8133] ppid=8130 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/8133/stat : 8133 (java) S 8130 8133 7985 0 -1 4202496 4397 0 1 0 8 1 0 0 20 0 18 0 8334172 9787879424 6028 33554432000 1073741824 1073778376 140733469530560 140733469521696 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8133/statm: 2389619 6028 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200222 s] /proc/loadavg: 2.00 1.84 1.09 3/195 8133 /proc/meminfo: memFree=30993592/32872528 swapFree=681192/736380 [pid=8133] ppid=8130 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/8133/stat : 8133 (java) S 8130 8133 7985 0 -1 4202496 4952 0 1 0 27 1 0 0 20 0 18 0 8334172 9787879424 6930 33554432000 1073741824 1073778376 140733469530560 140733469521696 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8133/statm: 2389619 6930 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300236 s] /proc/loadavg: 2.00 1.84 1.09 3/195 8133 /proc/meminfo: memFree=30993592/32872528 swapFree=681192/736380 [pid=8133] ppid=8130 vsize=9558476 CPUtime=0.53 cores=1,3,5,7 /proc/8133/stat : 8133 (java) S 8130 8133 7985 0 -1 4202496 7265 0 1 0 51 2 0 0 20 0 18 0 8334172 9787879424 10896 33554432000 1073741824 1073778376 140733469530560 140733469521696 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8133/statm: 2389619 10896 2241 9 0 2380296 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 9558476 [startup+0.700182 s] /proc/loadavg: 2.00 1.84 1.09 3/195 8133 /proc/meminfo: memFree=30993592/32872528 swapFree=681192/736380 [pid=8133] ppid=8130 vsize=9625040 CPUtime=1.24 cores=1,3,5,7 /proc/8133/stat : 8133 (java) S 8130 8133 7985 0 -1 4202496 7743 0 1 0 122 2 0 0 20 0 19 0 8334172 9856040960 13208 33554432000 1073741824 1073778376 140733469530560 140733469521696 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8133/statm: 2406260 13208 2254 9 0 2396937 0 Current children cumulated CPU time (s) 1.24 Current children cumulated vsize (KiB) 9625040 [startup+1.50072 s] /proc/loadavg: 2.00 1.84 1.09 4/214 8152 /proc/meminfo: memFree=30944636/32872528 swapFree=681192/736380 [pid=8133] ppid=8130 vsize=9625040 CPUtime=2.18 cores=1,3,5,7 /proc/8133/stat : 8133 (java) S 8130 8133 7985 0 -1 4202496 8263 0 1 0 216 2 0 0 20 0 19 0 8334172 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140733469521696 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8133/statm: 2406260 15894 2262 9 0 2396937 0 [pid=8133/tid=8135] ppid=8130 vsize=9625040 CPUtime=1.46 cores=1,3,5,7 /proc/8133/task/8135/stat : 8135 (java) R 8130 8133 7985 0 -1 4202560 2418 0 1 0 145 1 0 0 20 0 19 0 8334173 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140091108037160 140090978954143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8136] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8136/stat : 8136 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140091097098664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8137] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8137/stat : 8137 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090950761000 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8138] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8138/stat : 8138 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090949707944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8139] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8139/stat : 8139 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090948655400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8140] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8140/stat : 8140 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090947603368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8141] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8141/stat : 8141 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090946550824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8142] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8142/stat : 8142 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090945497768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8143] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8143/stat : 8143 (java) S 8130 8133 7985 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090944445224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8144] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8144/stat : 8144 (java) S 8130 8133 7985 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8334175 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090932246888 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8145] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8145/stat : 8145 (java) S 8130 8133 7985 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8334176 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090931193208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8146] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8146/stat : 8146 (java) S 8130 8133 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8334176 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090930140040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8147] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8147/stat : 8147 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090929088784 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8148] ppid=8130 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/8133/task/8148/stat : 8148 (java) S 8130 8133 7985 0 -1 4202560 1702 0 0 0 30 0 0 0 20 0 19 0 8334178 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090928036664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8149] ppid=8130 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/8133/task/8149/stat : 8149 (java) S 8130 8133 7985 0 -1 4202560 2865 0 0 0 37 0 0 0 20 0 19 0 8334178 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090926984120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8150] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8150/stat : 8150 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090925931256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8151] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8151/stat : 8151 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090924878920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8152] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8152/stat : 8152 (java) S 8130 8133 7985 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8334203 9856040960 15894 33554432000 1073741824 1073778376 140733469530560 140090923824168 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.18 Current children cumulated vsize (KiB) 9625040 [startup+3.10089 s] /proc/loadavg: 2.00 1.84 1.09 4/214 8152 /proc/meminfo: memFree=30928032/32872528 swapFree=681192/736380 [pid=8133] ppid=8130 vsize=9625040 CPUtime=3.82 cores=1,3,5,7 /proc/8133/stat : 8133 (java) S 8130 8133 7985 0 -1 4202496 8274 0 1 0 379 3 0 0 20 0 19 0 8334172 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140733469521696 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8133/statm: 2406260 21014 2262 9 0 2396937 0 [pid=8133/tid=8135] ppid=8130 vsize=9625040 CPUtime=3.05 cores=1,3,5,7 /proc/8133/task/8135/stat : 8135 (java) R 8130 8133 7985 0 -1 4202560 2429 0 1 0 304 1 0 0 20 0 19 0 8334173 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140091108028128 140090978964425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8136] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8136/stat : 8136 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140091097098664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8137] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8137/stat : 8137 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090950761000 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8138] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8138/stat : 8138 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090949707944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8139] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8139/stat : 8139 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090948655400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8140] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8140/stat : 8140 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090947603368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8141] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8141/stat : 8141 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090946550824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8142] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8142/stat : 8142 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090945497768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8143] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8143/stat : 8143 (java) S 8130 8133 7985 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090944445224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8144] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8144/stat : 8144 (java) S 8130 8133 7985 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8334175 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090932246888 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8145] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8145/stat : 8145 (java) S 8130 8133 7985 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8334176 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090931193208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8146] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8146/stat : 8146 (java) S 8130 8133 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8334176 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090930140040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8147] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8147/stat : 8147 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090929088784 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8148] ppid=8130 vsize=9625040 CPUtime=0.33 cores=1,3,5,7 /proc/8133/task/8148/stat : 8148 (java) S 8130 8133 7985 0 -1 4202560 1702 0 0 0 33 0 0 0 20 0 19 0 8334178 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090928036664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8149] ppid=8130 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/8133/task/8149/stat : 8149 (java) S 8130 8133 7985 0 -1 4202560 2865 0 0 0 38 0 0 0 20 0 19 0 8334178 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090926984120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8150] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8150/stat : 8150 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090925931256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8151] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8151/stat : 8151 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090924878920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8152] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8152/stat : 8152 (java) S 8130 8133 7985 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8334203 9856040960 21014 33554432000 1073741824 1073778376 140733469530560 140090923824168 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 9625040 [startup+6.30087 s] /proc/loadavg: 2.08 1.86 1.10 3/214 8152 /proc/meminfo: memFree=30891380/32872528 swapFree=681192/736380 [pid=8133] ppid=8130 vsize=9625040 CPUtime=7.13 cores=1,3,5,7 /proc/8133/stat : 8133 (java) S 8130 8133 7985 0 -1 4202496 8470 0 1 0 710 3 0 0 20 0 19 0 8334172 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140733469521696 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8133/statm: 2406260 29531 2262 9 0 2396937 0 [pid=8133/tid=8135] ppid=8130 vsize=9625040 CPUtime=6.24 cores=1,3,5,7 /proc/8133/task/8135/stat : 8135 (java) R 8130 8133 7985 0 -1 4202560 2447 0 1 0 623 1 0 0 20 0 19 0 8334173 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140091108028096 140090978964420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8136] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8136/stat : 8136 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140091097098664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8137] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8137/stat : 8137 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090950761000 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8138] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8138/stat : 8138 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090949707944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8139] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8139/stat : 8139 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090948655400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8140] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8140/stat : 8140 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090947603368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8141] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8141/stat : 8141 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090946550824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8142] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8142/stat : 8142 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090945497768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8143] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8143/stat : 8143 (java) S 8130 8133 7985 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8334174 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090944445224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8144] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8144/stat : 8144 (java) S 8130 8133 7985 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8334175 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090932246888 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8145] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8145/stat : 8145 (java) S 8130 8133 7985 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8334176 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090931193208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8146] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8146/stat : 8146 (java) S 8130 8133 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8334176 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090930140040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8147] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8147/stat : 8147 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090929088784 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8148] ppid=8130 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/8133/task/8148/stat : 8148 (java) S 8130 8133 7985 0 -1 4202560 1702 0 0 0 36 0 0 0 20 0 19 0 8334178 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090928036664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8149] ppid=8130 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/8133/task/8149/stat : 8149 (java) S 8130 8133 7985 0 -1 4202560 3043 0 0 0 47 0 0 0 20 0 19 0 8334178 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090926984120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8150] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8150/stat : 8150 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090925931256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8151] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8151/stat : 8151 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090924878920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8152] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8152/stat : 8152 (java) S 8130 8133 7985 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8334203 9856040960 29531 33554432000 1073741824 1073778376 140733469530560 140090923824168 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.13 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=8133/tid=8152] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8152/stat : 8152 (java) S 8130 8133 7985 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8334203 9856040960 222996 33554432000 1073741824 1073778376 140733469530560 140090923824168 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1621.38 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.00 2.03 1.90 3/213 8279 /proc/meminfo: memFree=29606816/32872528 swapFree=681192/736380 [pid=8133] ppid=8130 vsize=9625040 CPUtime=1681.89 cores=1,3,5,7 /proc/8133/stat : 8133 (java) S 8130 8133 7985 0 -1 4202496 20486 0 1 0 167995 194 0 0 20 0 19 0 8334172 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140733469521696 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8133/statm: 2406260 237125 2284 9 0 2396937 0 [pid=8133/tid=8135] ppid=8130 vsize=9625040 CPUtime=1645.21 cores=1,3,5,7 /proc/8133/task/8135/stat : 8135 (java) R 8130 8133 7985 0 -1 4202560 2658 0 1 0 164492 29 0 0 20 0 19 0 8334173 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140091108035808 140090978953987 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8136] ppid=8130 vsize=9625040 CPUtime=2.91 cores=1,3,5,7 /proc/8133/task/8136/stat : 8136 (java) S 8130 8133 7985 0 -1 4202560 1076 0 0 0 272 19 0 0 20 0 19 0 8334174 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140091097098664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8137] ppid=8130 vsize=9625040 CPUtime=2.98 cores=1,3,5,7 /proc/8133/task/8137/stat : 8137 (java) S 8130 8133 7985 0 -1 4202560 1043 0 0 0 280 18 0 0 20 0 19 0 8334174 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090950761000 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8138] ppid=8130 vsize=9625040 CPUtime=3.12 cores=1,3,5,7 /proc/8133/task/8138/stat : 8138 (java) S 8130 8133 7985 0 -1 4202560 1410 0 0 0 292 20 0 0 20 0 19 0 8334174 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090949707944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8139] ppid=8130 vsize=9625040 CPUtime=3.37 cores=1,3,5,7 /proc/8133/task/8139/stat : 8139 (java) S 8130 8133 7985 0 -1 4202560 1063 0 0 0 316 21 0 0 20 0 19 0 8334174 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090948655400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8140] ppid=8130 vsize=9625040 CPUtime=3.1 cores=1,3,5,7 /proc/8133/task/8140/stat : 8140 (java) S 8130 8133 7985 0 -1 4202560 1092 0 0 0 292 18 0 0 20 0 19 0 8334174 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090947603368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8141] ppid=8130 vsize=9625040 CPUtime=3.41 cores=1,3,5,7 /proc/8133/task/8141/stat : 8141 (java) S 8130 8133 7985 0 -1 4202560 1218 0 0 0 321 20 0 0 20 0 19 0 8334174 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090946550824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8142] ppid=8130 vsize=9625040 CPUtime=3.35 cores=1,3,5,7 /proc/8133/task/8142/stat : 8142 (java) S 8130 8133 7985 0 -1 4202560 1646 0 0 0 312 23 0 0 20 0 19 0 8334174 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090945497768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8143] ppid=8130 vsize=9625040 CPUtime=3.31 cores=1,3,5,7 /proc/8133/task/8143/stat : 8143 (java) S 8130 8133 7985 0 -1 4202560 1224 0 0 0 313 18 0 0 20 0 19 0 8334174 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090944445224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8144] ppid=8130 vsize=9625040 CPUtime=5.64 cores=1,3,5,7 /proc/8133/task/8144/stat : 8144 (java) S 8130 8133 7985 0 -1 4202560 1583 0 0 0 559 5 0 0 20 0 19 0 8334175 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090932246888 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8145] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8145/stat : 8145 (java) S 8130 8133 7985 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8334176 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090931193208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8146] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8146/stat : 8146 (java) S 8130 8133 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8334176 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090930140040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8147] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8147/stat : 8147 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090929088784 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8148] ppid=8130 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/8133/task/8148/stat : 8148 (java) S 8130 8133 7985 0 -1 4202560 1702 0 0 0 36 0 0 0 20 0 19 0 8334178 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090928036664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8149] ppid=8130 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/8133/task/8149/stat : 8149 (java) S 8130 8133 7985 0 -1 4202560 3412 0 0 0 53 0 0 0 20 0 19 0 8334178 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090926984120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8150] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8150/stat : 8150 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090925931256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8151] ppid=8130 vsize=9625040 CPUtime=0.51 cores=1,3,5,7 /proc/8133/task/8151/stat : 8151 (java) S 8130 8133 7985 0 -1 4202560 95 0 0 0 20 31 0 0 20 0 19 0 8334178 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090924878920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8152] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8152/stat : 8152 (java) S 8130 8133 7985 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8334203 9856040960 237125 33554432000 1073741824 1073778376 140733469530560 140090923824168 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1681.89 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.04 2.04 1.91 3/213 8281 /proc/meminfo: memFree=29591404/32872528 swapFree=681192/736380 [pid=8133] ppid=8130 vsize=9625040 CPUtime=1743.2 cores=1,3,5,7 /proc/8133/stat : 8133 (java) S 8130 8133 7985 0 -1 4202496 20535 0 1 0 174124 196 0 0 20 0 19 0 8334172 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140733469521696 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8133/statm: 2406260 230813 2284 9 0 2396937 0 [pid=8133/tid=8135] ppid=8130 vsize=9625040 CPUtime=1704.4 cores=1,3,5,7 /proc/8133/task/8135/stat : 8135 (java) R 8130 8133 7985 0 -1 4202560 2670 0 1 0 170410 30 0 0 20 0 19 0 8334173 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140091108035928 140090978964420 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8136] ppid=8130 vsize=9625040 CPUtime=3.17 cores=1,3,5,7 /proc/8133/task/8136/stat : 8136 (java) S 8130 8133 7985 0 -1 4202560 1076 0 0 0 298 19 0 0 20 0 19 0 8334174 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140091097098664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8137] ppid=8130 vsize=9625040 CPUtime=3.24 cores=1,3,5,7 /proc/8133/task/8137/stat : 8137 (java) S 8130 8133 7985 0 -1 4202560 1043 0 0 0 305 19 0 0 20 0 19 0 8334174 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090950761000 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8138] ppid=8130 vsize=9625040 CPUtime=3.29 cores=1,3,5,7 /proc/8133/task/8138/stat : 8138 (java) S 8130 8133 7985 0 -1 4202560 1410 0 0 0 309 20 0 0 20 0 19 0 8334174 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090949707944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8139] ppid=8130 vsize=9625040 CPUtime=3.59 cores=1,3,5,7 /proc/8133/task/8139/stat : 8139 (java) S 8130 8133 7985 0 -1 4202560 1067 0 0 0 338 21 0 0 20 0 19 0 8334174 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090948655400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8140] ppid=8130 vsize=9625040 CPUtime=3.33 cores=1,3,5,7 /proc/8133/task/8140/stat : 8140 (java) S 8130 8133 7985 0 -1 4202560 1092 0 0 0 315 18 0 0 20 0 19 0 8334174 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090947603368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8141] ppid=8130 vsize=9625040 CPUtime=3.63 cores=1,3,5,7 /proc/8133/task/8141/stat : 8141 (java) S 8130 8133 7985 0 -1 4202560 1218 0 0 0 343 20 0 0 20 0 19 0 8334174 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090946550824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8142] ppid=8130 vsize=9625040 CPUtime=3.54 cores=1,3,5,7 /proc/8133/task/8142/stat : 8142 (java) S 8130 8133 7985 0 -1 4202560 1646 0 0 0 331 23 0 0 20 0 19 0 8334174 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090945497768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8143] ppid=8130 vsize=9625040 CPUtime=3.58 cores=1,3,5,7 /proc/8133/task/8143/stat : 8143 (java) S 8130 8133 7985 0 -1 4202560 1224 0 0 0 340 18 0 0 20 0 19 0 8334174 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090944445224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8144] ppid=8130 vsize=9625040 CPUtime=5.82 cores=1,3,5,7 /proc/8133/task/8144/stat : 8144 (java) S 8130 8133 7985 0 -1 4202560 1612 0 0 0 577 5 0 0 20 0 19 0 8334175 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090932246888 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8145] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8145/stat : 8145 (java) S 8130 8133 7985 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8334176 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090931193208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8146] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8146/stat : 8146 (java) S 8130 8133 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8334176 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090930140040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8147] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8147/stat : 8147 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090929088784 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8148] ppid=8130 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/8133/task/8148/stat : 8148 (java) S 8130 8133 7985 0 -1 4202560 1702 0 0 0 36 0 0 0 20 0 19 0 8334178 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090928036664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8149] ppid=8130 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/8133/task/8149/stat : 8149 (java) S 8130 8133 7985 0 -1 4202560 3412 0 0 0 53 0 0 0 20 0 19 0 8334178 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090926984120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8150] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8150/stat : 8150 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090925931256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8151] ppid=8130 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/8133/task/8151/stat : 8151 (java) S 8130 8133 7985 0 -1 4202560 99 0 0 0 21 32 0 0 20 0 19 0 8334178 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090924878920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8152] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8152/stat : 8152 (java) S 8130 8133 7985 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8334203 9856040960 230813 33554432000 1073741824 1073778376 140733469530560 140090923824168 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1743.2 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1778.4 s] /proc/loadavg: 2.07 2.04 1.91 3/214 8285 /proc/meminfo: memFree=29849376/32872528 swapFree=681192/736380 [pid=8133] ppid=8130 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7 /proc/8133/stat : 8133 (java) S 8130 8133 7985 0 -1 4202496 20659 0 1 0 179803 198 0 0 20 0 19 0 8334172 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140733469521696 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8133/statm: 2406260 219556 2284 9 0 2396937 0 [pid=8133/tid=8135] ppid=8130 vsize=9625040 CPUtime=1759.81 cores=1,3,5,7 /proc/8133/task/8135/stat : 8135 (java) R 8130 8133 7985 0 -1 4202560 2676 0 1 0 175950 31 0 0 20 0 19 0 8334173 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140091108028112 140090978596285 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8136] ppid=8130 vsize=9625040 CPUtime=3.29 cores=1,3,5,7 /proc/8133/task/8136/stat : 8136 (java) S 8130 8133 7985 0 -1 4202560 1076 0 0 0 310 19 0 0 20 0 19 0 8334174 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140091097098664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8137] ppid=8130 vsize=9625040 CPUtime=3.35 cores=1,3,5,7 /proc/8133/task/8137/stat : 8137 (java) S 8130 8133 7985 0 -1 4202560 1043 0 0 0 316 19 0 0 20 0 19 0 8334174 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090950761000 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8138] ppid=8130 vsize=9625040 CPUtime=3.37 cores=1,3,5,7 /proc/8133/task/8138/stat : 8138 (java) S 8130 8133 7985 0 -1 4202560 1410 0 0 0 317 20 0 0 20 0 19 0 8334174 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090949707944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8139] ppid=8130 vsize=9625040 CPUtime=3.8 cores=1,3,5,7 /proc/8133/task/8139/stat : 8139 (java) S 8130 8133 7985 0 -1 4202560 1067 0 0 0 359 21 0 0 20 0 19 0 8334174 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090948655400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8140] ppid=8130 vsize=9625040 CPUtime=3.43 cores=1,3,5,7 /proc/8133/task/8140/stat : 8140 (java) S 8130 8133 7985 0 -1 4202560 1092 0 0 0 325 18 0 0 20 0 19 0 8334174 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090947603368 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8141] ppid=8130 vsize=9625040 CPUtime=3.73 cores=1,3,5,7 /proc/8133/task/8141/stat : 8141 (java) S 8130 8133 7985 0 -1 4202560 1218 0 0 0 353 20 0 0 20 0 19 0 8334174 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090946550824 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8142] ppid=8130 vsize=9625040 CPUtime=3.66 cores=1,3,5,7 /proc/8133/task/8142/stat : 8142 (java) S 8130 8133 7985 0 -1 4202560 1646 0 0 0 343 23 0 0 20 0 19 0 8334174 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090945497768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8143] ppid=8130 vsize=9625040 CPUtime=3.71 cores=1,3,5,7 /proc/8133/task/8143/stat : 8143 (java) S 8130 8133 7985 0 -1 4202560 1224 0 0 0 353 18 0 0 20 0 19 0 8334174 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090944445224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8144] ppid=8130 vsize=9625040 CPUtime=6.07 cores=1,3,5,7 /proc/8133/task/8144/stat : 8144 (java) S 8130 8133 7985 0 -1 4202560 1726 0 0 0 601 6 0 0 20 0 19 0 8334175 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090932246888 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8145] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8145/stat : 8145 (java) S 8130 8133 7985 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8334176 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090931193208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8146] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8146/stat : 8146 (java) S 8130 8133 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8334176 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090930140040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8147] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8147/stat : 8147 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090929088784 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8148] ppid=8130 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/8133/task/8148/stat : 8148 (java) S 8130 8133 7985 0 -1 4202560 1702 0 0 0 36 0 0 0 20 0 19 0 8334178 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090928036664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8133/tid=8149] ppid=8130 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/8133/task/8149/stat : 8149 (java) S 8130 8133 7985 0 -1 4202560 3412 0 0 0 53 0 0 0 20 0 19 0 8334178 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090926984120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8133/tid=8150] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8150/stat : 8150 (java) S 8130 8133 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8334178 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090925931256 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8133/tid=8151] ppid=8130 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/8133/task/8151/stat : 8151 (java) S 8130 8133 7985 0 -1 4202560 103 0 0 0 23 33 0 0 20 0 19 0 8334178 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090924878920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8133/tid=8152] ppid=8130 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8133/task/8152/stat : 8152 (java) S 8130 8133 7985 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8334203 9856040960 219556 33554432000 1073741824 1073778376 140733469530560 140090923824168 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 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 8133 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 8133 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=637325 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=434629 # CPU time returned by wait4() is 1796.07 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1778.46 CPU time (s): 1800.01 CPU user time (s): 1798.03 CPU system time (s): 1.98 CPU usage (%): 101.212 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.64 system time used= 2.43463 maximum resident set size= 948548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20707 page faults= 1 swaps= 0 block input operations= 8 block output operations= 1720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 43396 involuntary context switches= 41671 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.3221 second user time and 11.5332 second system time The end
Begin job on node112 at 2016-06-16 09:40:49 IDJOB=4090558 IDBENCH=78697 IDSOLVER=2551 FILE ID=node112/4090558-1466062849 RUNJOBID= node112-1466062135-8002 PBS_JOBID= 19904024 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090558-1466062849/watcher-4090558-1466062849 -o /tmp/evaluation-result-4090558-1466062849/solver-4090558-1466062849 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466062135-8002 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090558-1466062849.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2683f5c0f2bcb2ef48b38611ac907218 RANDOM SEED=1611066206 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.46 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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 : 5321.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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 : 2666.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30993748 kB Buffers: 3112 kB Cached: 40232 kB SwapCached: 660 kB Active: 418096 kB Inactive: 28352 kB Active(anon): 405064 kB Inactive(anon): 696 kB Active(file): 13032 kB Inactive(file): 27656 kB Unevictable: 736380 kB Mlocked: 681192 kB SwapTotal: 67108856 kB SwapFree: 67098020 kB Dirty: 960 kB Writeback: 0 kB AnonPages: 1139224 kB Mapped: 15292 kB Shmem: 0 kB Slab: 564700 kB SReclaimable: 8388 kB SUnreclaim: 556312 kB KernelStack: 1592 kB PageTables: 6392 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1811024 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 428032 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= 71748 MiB End job on node112 at 2016-06-16 10:10:28