Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 166 | 1800.38 | 932.14 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb |
| MD5SUM | cca57c347e264f92fb70010109aa24c5 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 96 |
| Best CPU time to get the best result obtained on this benchmark | 1796.76 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 104 |
| Optimality of the best value was proved | NO |
| Number of variables | 6139 |
| Total number of constraints | 1437 |
| Number of constraints which are clauses | 1437 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 5 |
| Maximum length of a constraint | 172 |
| Number of terms in the objective function | 6139 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 6139 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 6139 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 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 2.3.2.v20120418 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3687726-1337873773.opb 0.09/0.12 c reading problem ... 0.67/0.46 c ... done. Wall clock time 0.345s. 0.67/0.46 c declared #vars 6139 0.67/0.46 c #constraints 1437 0.67/0.46 c constraints type 0.67/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1437 0.67/0.47 c 1437 constraints processed. 0.67/0.47 c constraints type 0.67/0.47 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1437 0.67/0.47 c 1437 constraints processed. 0.67/0.47 c objective function length is 6139 literals 0.84/0.56 c And the winner is solver0 1.10/0.97 c SATISFIABLE 1.10/0.97 c OPTIMIZING... 1.10/0.97 c Got one! Elapsed wall clock time (in seconds):0.853 1.10/0.97 o 180 1.59/1.12 c And the winner is solver0 2.04/1.55 c Got one! Elapsed wall clock time (in seconds):1.428 2.04/1.55 o 179 5.60/3.30 c cleaning 2517 clauses out of 5034 with flag 5008/5034 10.18/5.43 c cleaning 4239 clauses out of 8509 with flag 11000/11026 14.97/7.82 c cleaning 5635 clauses out of 11270 with flag 18000/18026 15.54/8.19 c And the winner is solver1 15.78/8.56 c Got one! Elapsed wall clock time (in seconds):8.44 15.78/8.56 o 178 18.32/9.86 c cleaning 5319 clauses out of 10643 with flag 4004/23034 22.70/12.08 c cleaning 5634 clauses out of 11322 with flag 10002/29032 27.84/14.67 c cleaning 6324 clauses out of 12686 with flag 17000/36030 34.21/17.90 c cleaning 7124 clauses out of 14362 with flag 25000/44030 41.57/21.52 c cleaning 8100 clauses out of 16238 with flag 34000/53030 41.92/21.73 c And the winner is solver1 42.04/22.08 c Got one! Elapsed wall clock time (in seconds):21.962 42.04/22.08 o 177 45.06/23.69 c cleaning 6759 clauses out of 13548 with flag 5000/58440 49.22/25.73 c cleaning 6380 clauses out of 12789 with flag 11000/64440 53.99/28.19 c cleaning 6685 clauses out of 13423 with flag 18014/71454 59.75/31.06 c cleaning 7350 clauses out of 14724 with flag 26000/79440 62.49/32.40 c And the winner is solver1 62.51/32.62 c Got one! Elapsed wall clock time (in seconds):32.502 62.51/32.62 o 176 63.66/33.24 c cleaning 6439 clauses out of 12883 with flag 2000/84949 67.82/35.31 c cleaning 6205 clauses out of 12445 with flag 8001/90950 72.78/37.81 c cleaning 6612 clauses out of 13241 with flag 15002/97951 77.96/40.47 c cleaning 7304 clauses out of 14627 with flag 23000/105949 84.30/43.63 c cleaning 8141 clauses out of 16323 with flag 32000/114949 91.26/47.19 c cleaning 9057 clauses out of 18182 with flag 42000/124949 99.42/51.29 c cleaning 10057 clauses out of 20125 with flag 53000/135949 108.17/55.60 c cleaning 11023 clauses out of 22068 with flag 65000/147949 117.29/60.21 c cleaning 12023 clauses out of 24046 with flag 78001/160950 127.63/65.45 c cleaning 13006 clauses out of 26022 with flag 92000/174949 139.18/71.20 c cleaning 14006 clauses out of 28016 with flag 107000/189949 151.90/77.60 c cleaning 14951 clauses out of 30010 with flag 123000/205949 166.13/84.84 c cleaning 16015 clauses out of 32059 with flag 140000/222949 182.46/93.07 c cleaning 17005 clauses out of 34044 with flag 158000/240949 200.36/102.08 c cleaning 17970 clauses out of 36039 with flag 177000/259949 219.41/111.64 c cleaning 18985 clauses out of 38069 with flag 197000/279949 238.93/121.51 c cleaning 20031 clauses out of 40084 with flag 218000/300949 259.17/131.77 c cleaning 21013 clauses out of 42053 with flag 240000/322949 279.86/142.18 c cleaning 21989 clauses out of 44040 with flag 263000/345949 300.65/152.66 c cleaning 23020 clauses out of 46051 with flag 287000/369949 323.34/164.26 c cleaning 23983 clauses out of 48031 with flag 312000/394949 347.28/176.36 c cleaning 25020 clauses out of 50053 with flag 338005/420954 371.39/188.59 c cleaning 25991 clauses out of 52030 with flag 365002/447951 397.59/201.81 c cleaning 26978 clauses out of 54040 with flag 393003/475952 425.74/216.25 c cleaning 28013 clauses out of 56061 with flag 422002/504951 457.37/232.23 c cleaning 29018 clauses out of 58046 with flag 452000/534949 487.74/247.91 c cleaning 30007 clauses out of 60029 with flag 483001/565950 518.54/263.75 c cleaning 30991 clauses out of 62021 with flag 515000/597949 550.46/279.96 c cleaning 31996 clauses out of 64030 with flag 548000/630949 584.28/297.15 c cleaning 33001 clauses out of 66040 with flag 582006/664955 617.49/314.02 c cleaning 34006 clauses out of 68035 with flag 617002/699951 648.88/330.25 c cleaning 34947 clauses out of 70027 with flag 653000/735949 683.01/347.52 c cleaning 35998 clauses out of 72080 with flag 690000/772949 717.66/365.14 c cleaning 37037 clauses out of 74082 with flag 728000/810949 753.54/383.42 c cleaning 37985 clauses out of 76045 with flag 767000/849949 791.72/403.10 c cleaning 38997 clauses out of 78060 with flag 807000/889949 832.29/423.78 c cleaning 40024 clauses out of 80063 with flag 848000/930949 873.56/444.68 c cleaning 40988 clauses out of 82039 with flag 890000/972949 919.40/468.77 c cleaning 42026 clauses out of 84051 with flag 933000/1015949 965.41/492.16 c cleaning 42975 clauses out of 86025 with flag 977000/1059949 1009.93/514.83 c cleaning 44023 clauses out of 88050 with flag 1022000/1104949 1056.68/538.74 c cleaning 44975 clauses out of 90027 with flag 1068000/1150949 1105.46/564.20 c cleaning 46011 clauses out of 92055 with flag 1115003/1197952 1153.43/588.78 c cleaning 47002 clauses out of 94041 with flag 1163000/1245949 1206.10/615.65 c cleaning 47988 clauses out of 96039 with flag 1212000/1294949 1253.79/640.05 c cleaning 48991 clauses out of 98052 with flag 1262001/1344950 1304.90/666.64 c cleaning 49997 clauses out of 100065 with flag 1313005/1395954 1356.74/693.19 c cleaning 51008 clauses out of 102063 with flag 1365000/1447949 1407.16/718.90 c cleaning 52018 clauses out of 104061 with flag 1418006/1500955 1463.51/747.55 c cleaning 52967 clauses out of 106037 with flag 1472000/1554949 1522.36/777.97 c cleaning 53991 clauses out of 108070 with flag 1527000/1609949 1580.27/807.39 c cleaning 54989 clauses out of 110079 with flag 1583000/1665949 1605.49/820.31 c And the winner is solver1 1605.83/820.53 c Got one! Elapsed wall clock time (in seconds):820.41 1605.83/820.53 o 166 1609.42/822.37 c cleaning 41916 clauses out of 83835 with flag 5000/1694694 1615.40/826.07 c cleaning 23925 clauses out of 47919 with flag 11000/1700694 1622.74/830.96 c cleaning 15493 clauses out of 30994 with flag 18000/1707694 1629.71/835.19 c cleaning 11733 clauses out of 23502 with flag 26001/1715695 1637.70/839.86 c cleaning 10384 clauses out of 20771 with flag 35003/1724697 1646.06/844.76 c cleaning 10192 clauses out of 20384 with flag 45000/1734694 1656.25/851.09 c cleaning 10569 clauses out of 21192 with flag 56000/1745694 1666.77/857.04 c cleaning 11298 clauses out of 22623 with flag 68000/1757694 1677.51/863.13 c cleaning 12116 clauses out of 24325 with flag 81000/1770694 1689.43/869.84 c cleaning 13096 clauses out of 26209 with flag 95000/1784694 1703.15/877.90 c cleaning 14043 clauses out of 28113 with flag 110000/1799694 1716.27/885.24 c cleaning 15000 clauses out of 30070 with flag 126000/1815694 1730.24/892.92 c cleaning 16035 clauses out of 32070 with flag 143000/1832694 1744.96/901.06 c cleaning 16954 clauses out of 34035 with flag 161000/1850694 1761.66/910.62 c cleaning 18041 clauses out of 36081 with flag 180000/1869694 1777.71/919.48 c cleaning 19010 clauses out of 38040 with flag 200000/1889694 1794.59/928.67 c cleaning 19955 clauses out of 40030 with flag 221000/1910694 1800.05/932.11 c starts : 19 1800.05/932.11 c conflicts : 2017 1800.05/932.11 c decisions : 201316 1800.05/932.11 c propagations : 800220 1800.05/932.11 c inspects : 36638315 1800.05/932.11 c shortcuts : 0 1800.05/932.11 c learnt literals : 0 1800.05/932.11 c learnt binary clauses : 0 1800.05/932.11 c learnt ternary clauses : 0 1800.05/932.11 c learnt constraints : 2016 1800.05/932.11 c ignored constraints : 0 1800.05/932.11 c root simplifications : 0 1800.05/932.11 c removed literals (reason simplification) : 0 1800.05/932.11 c reason swapping (by a shorter reason) : 0 1800.05/932.11 c Calls to reduceDB : 0 1800.05/932.11 c number of reductions to clauses (during analyze) : 0 1800.05/932.11 c number of learned constraints concerned by reduction : 0 1800.05/932.11 c number of learning phase by resolution : 0 1800.05/932.11 c number of learning phase by cutting planes : 0 1800.05/932.11 c speed (assignments/second) : 859.9411961932273 1800.05/932.11 c non guided choices 0 1800.05/932.11 c learnt constraints type 1800.05/932.11 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 461 1800.05/932.11 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1555 1800.05/932.11 c constraints type 1800.05/932.11 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1437 1800.05/932.11 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.05/932.11 c 1438 constraints processed. 1800.05/932.11 c constraints type 1800.05/932.11 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1437 1800.05/932.11 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.05/932.11 c 1438 constraints processed. 1800.05/932.11 s SATISFIABLE 1800.05/932.12 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 x2677 x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 -x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x2820 -x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 x3684 -x3685 x3686 -x3687 x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 x3926 -x3927 -x3928 -x3929 x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 x4098 -x4099 -x4100 -x4101 -x4102 -x4103 x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 x4244 -x4245 -x4246 -x4247 -x4248 -x4249 x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 x4265 -x4266 -x4267 x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4563 -x4564 -x4565 x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 x4774 -x4775 -x4776 x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 x5061 -x5062 -x5063 -x5064 -x5065 -x5066 x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 x5208 -x5209 -x5210 -x5211 -x5212 x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 x5524 -x5525 -x5526 -x5527 x5528 -x5529 -x5530 -x5531 -x5532 x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 x5795 -x5796 -x5797 -x5798 -x5799 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 1800.05/932.13 c objective function=166 1800.05/932.13 c Total wall clock time (in seconds): 932.009
OK 166
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687726-1337873773/watcher-3687726-1337873773 -o /tmp/evaluation-result-3687726-1337873773/solver-3687726-1337873773 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687726-1337873773.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.52 3.62 3.18 2/197 22386 /proc/meminfo: memFree=26982104/32873648 swapFree=7108/7108 [pid=22386] ppid=22384 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/22386/stat : 22386 (java) R 22384 22386 21597 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 253504630 9515008 184 33554432000 1073741824 1073778376 140736893124336 140736893115368 219513777591 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/22386/statm: 2323 184 142 9 0 71 0 [startup+0.011262 s] /proc/loadavg: 3.52 3.62 3.18 2/197 22386 /proc/meminfo: memFree=26982104/32873648 swapFree=7108/7108 [pid=22386] ppid=22384 vsize=92900 CPUtime=0 cores=0,2,4,6 /proc/22386/stat : 22386 (java) S 22384 22386 21597 0 -1 4202496 1216 0 0 0 0 0 0 0 20 0 2 0 253504630 95129600 927 33554432000 1073741824 1073778376 140736141566320 140736141557456 219517321277 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22386/statm: 23225 927 703 9 0 16769 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 92900 [startup+0.100257 s] /proc/loadavg: 3.52 3.62 3.18 2/197 22386 /proc/meminfo: memFree=26982104/32873648 swapFree=7108/7108 [pid=22386] ppid=22384 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/22386/stat : 22386 (java) S 22384 22386 21597 0 -1 4202496 4270 0 1 0 8 1 0 0 20 0 18 0 253504630 9787813888 5467 33554432000 1073741824 1073778376 140736141566320 140736141557456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22386/statm: 2389603 5467 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300236 s] /proc/loadavg: 3.52 3.62 3.18 2/197 22386 /proc/meminfo: memFree=26982104/32873648 swapFree=7108/7108 [pid=22386] ppid=22384 vsize=9558412 CPUtime=0.52 cores=0,2,4,6 /proc/22386/stat : 22386 (java) S 22384 22386 21597 0 -1 4202496 7208 0 1 0 50 2 0 0 20 0 18 0 253504630 9787813888 9749 33554432000 1073741824 1073778376 140736141566320 140736141557456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22386/statm: 2389603 9665 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9558412 [startup+0.700293 s] /proc/loadavg: 3.52 3.62 3.18 2/197 22386 /proc/meminfo: memFree=26982104/32873648 swapFree=7108/7108 [pid=22386] ppid=22384 vsize=9824668 CPUtime=1.1 cores=0,2,4,6 /proc/22386/stat : 22386 (java) S 22384 22386 21597 0 -1 4202496 8257 0 1 0 105 5 0 0 20 0 19 0 253504630 10060460032 24679 33554432000 1073741824 1073778376 140736141566320 140736141557456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22386/statm: 2456167 24679 2237 9 0 2446860 0 Current children cumulated CPU time (s) 1.1 Current children cumulated vsize (KiB) 9824668 [startup+1.50063 s] /proc/loadavg: 3.40 3.59 3.17 7/218 22410 /proc/meminfo: memFree=26873056/32873648 swapFree=7108/7108 [pid=22386] ppid=22384 vsize=9824668 CPUtime=2.04 cores=0,2,4,6 /proc/22386/stat : 22386 (java) S 22384 22386 21597 0 -1 4202496 9551 0 1 0 198 6 0 0 20 0 20 0 253504630 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140736141557456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22386/statm: 2456167 27161 2244 9 0 2446860 0 [pid=22386/tid=22388] ppid=22384 vsize=9824668 CPUtime=0.46 cores=0,2,4,6 /proc/22386/task/22388/stat : 22388 (java) S 22384 22386 21597 0 -1 4202560 2493 0 1 0 44 2 0 0 20 0 20 0 253504631 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140343125451768 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22389] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22389/stat : 22389 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253504632 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140343097903912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22390] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22390/stat : 22390 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253504632 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140343096851112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22391] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22391/stat : 22391 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253504632 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140343095798824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22386/tid=22392] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22392/stat : 22392 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253504632 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140343094746024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22393] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22393/stat : 22393 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253504632 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140343093692712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22394] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22394/stat : 22394 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253504632 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140343092639912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22395] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22395/stat : 22395 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253504632 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140343091587624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22396] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22396/stat : 22396 (java) S 22384 22386 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253504632 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140342961154472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22397] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22397/stat : 22397 (java) S 22384 22386 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253504633 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140342478207720 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22398] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22398/stat : 22398 (java) S 22384 22386 21597 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 253504634 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140342477153784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22399] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22399/stat : 22399 (java) S 22384 22386 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253504634 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140342476101384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22400] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22400/stat : 22400 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253504636 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140342475049872 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22401] ppid=22384 vsize=9824668 CPUtime=0.37 cores=0,2,4,6 /proc/22386/task/22401/stat : 22401 (java) S 22384 22386 21597 0 -1 4202560 3138 0 0 0 37 0 0 0 20 0 20 0 253504636 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140342473996472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22402] ppid=22384 vsize=9824668 CPUtime=0.34 cores=0,2,4,6 /proc/22386/task/22402/stat : 22402 (java) S 22384 22386 21597 0 -1 4202560 2601 0 0 0 34 0 0 0 20 0 20 0 253504636 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140342472943672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22403] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22403/stat : 22403 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253504636 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140342471891576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22404] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22404/stat : 22404 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253504636 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140342470838984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22408] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22408/stat : 22408 (java) S 22384 22386 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253504680 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140342466627112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22410] ppid=22384 vsize=9824668 CPUtime=0.49 cores=0,2,4,6 /proc/22386/task/22410/stat : 22410 (java) R 22384 22386 21597 0 -1 4202560 58 0 0 0 49 0 0 0 20 0 20 0 253504730 10060460032 27161 33554432000 1073741824 1073778376 140736141566320 140342469783592 140342972891900 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.04 Current children cumulated vsize (KiB) 9824668 [startup+3.10064 s] /proc/loadavg: 3.40 3.59 3.17 5/219 22414 /proc/meminfo: memFree=26861328/32873648 swapFree=7108/7108 [pid=22386] ppid=22384 vsize=9824668 CPUtime=5.39 cores=0,2,4,6 /proc/22386/stat : 22386 (java) S 22384 22386 21597 0 -1 4202496 9913 0 1 0 531 8 0 0 20 0 22 0 253504630 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140736141557456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22386/statm: 2456167 32318 2251 9 0 2446860 0 [pid=22386/tid=22388] ppid=22384 vsize=9824668 CPUtime=0.47 cores=0,2,4,6 /proc/22386/task/22388/stat : 22388 (java) S 22384 22386 21597 0 -1 4202560 2494 0 1 0 45 2 0 0 20 0 22 0 253504631 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140343125451768 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22389] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22389/stat : 22389 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140343097903912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22390] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22390/stat : 22390 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140343096851112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22391] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22391/stat : 22391 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140343095798824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22386/tid=22392] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22392/stat : 22392 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140343094746024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22393] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22393/stat : 22393 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140343093692712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22394] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22394/stat : 22394 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140343092639912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22395] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22395/stat : 22395 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140343091587624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22396] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22396/stat : 22396 (java) S 22384 22386 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140342961154472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22397] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22397/stat : 22397 (java) S 22384 22386 21597 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253504633 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140342478207720 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22398] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22398/stat : 22398 (java) S 22384 22386 21597 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253504634 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140342477153784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22399] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22399/stat : 22399 (java) S 22384 22386 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253504634 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140342476101384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22400] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22400/stat : 22400 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504636 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140342475049872 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22401] ppid=22384 vsize=9824668 CPUtime=0.51 cores=0,2,4,6 /proc/22386/task/22401/stat : 22401 (java) S 22384 22386 21597 0 -1 4202560 3146 0 0 0 51 0 0 0 20 0 22 0 253504636 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140342473996472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22402] ppid=22384 vsize=9824668 CPUtime=0.47 cores=0,2,4,6 /proc/22386/task/22402/stat : 22402 (java) S 22384 22386 21597 0 -1 4202560 2910 0 0 0 47 0 0 0 20 0 22 0 253504636 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140342472943672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22403] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22403/stat : 22403 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504636 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140342471891576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22404] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22404/stat : 22404 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504636 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140342470838984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22408] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22408/stat : 22408 (java) S 22384 22386 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253504680 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140342466627112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22412] ppid=22384 vsize=9824668 CPUtime=1.51 cores=0,2,4,6 /proc/22386/task/22412/stat : 22412 (java) R 22384 22386 21597 0 -1 4202560 7 0 0 0 151 0 0 0 20 0 22 0 253504786 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140342469782232 140342972835796 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=22386/tid=22413] ppid=22384 vsize=9824668 CPUtime=1.52 cores=0,2,4,6 /proc/22386/task/22413/stat : 22413 (java) R 22384 22386 21597 0 -1 4202560 34 0 0 0 152 0 0 0 20 0 22 0 253504786 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140342468729552 140342972891965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22414] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22414/stat : 22414 (java) S 22384 22386 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253504786 10060460032 32318 33554432000 1073741824 1073778376 140736141566320 140342467679528 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 5.39 Current children cumulated vsize (KiB) 9824668 [startup+6.30068 s] /proc/loadavg: 3.40 3.59 3.17 5/219 22414 /proc/meminfo: memFree=26827940/32873648 swapFree=7108/7108 [pid=22386] ppid=22384 vsize=9824668 CPUtime=11.97 cores=0,2,4,6 /proc/22386/stat : 22386 (java) S 22384 22386 21597 0 -1 4202496 10426 0 1 0 1187 10 0 0 20 0 22 0 253504630 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140736141557456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22386/statm: 2456167 40611 2279 9 0 2446860 0 [pid=22386/tid=22388] ppid=22384 vsize=9824668 CPUtime=0.47 cores=0,2,4,6 /proc/22386/task/22388/stat : 22388 (java) S 22384 22386 21597 0 -1 4202560 2494 0 1 0 45 2 0 0 20 0 22 0 253504631 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140343125451768 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22389] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22389/stat : 22389 (java) S 22384 22386 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140343097903912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22386/tid=22390] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22390/stat : 22390 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140343096851112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22391] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22391/stat : 22391 (java) S 22384 22386 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140343095798824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22392] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22392/stat : 22392 (java) S 22384 22386 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140343094746024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22393] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22393/stat : 22393 (java) S 22384 22386 21597 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140343093692712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22394] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22394/stat : 22394 (java) S 22384 22386 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140343092639912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22386/tid=22395] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22395/stat : 22395 (java) S 22384 22386 21597 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140343091587624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22386/tid=22396] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22396/stat : 22396 (java) S 22384 22386 21597 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253504632 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140342961154472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22397] ppid=22384 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/22386/task/22397/stat : 22397 (java) S 22384 22386 21597 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 22 0 253504633 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140342478207720 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22398] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22398/stat : 22398 (java) S 22384 22386 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253504634 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140342477153784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22399] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22399/stat : 22399 (java) S 22384 22386 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253504634 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140342476101384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22400] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22400/stat : 22400 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504636 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140342475049872 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22401] ppid=22384 vsize=9824668 CPUtime=0.64 cores=0,2,4,6 /proc/22386/task/22401/stat : 22401 (java) S 22384 22386 21597 0 -1 4202560 3151 0 0 0 64 0 0 0 20 0 22 0 253504636 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140342473996472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22402] ppid=22384 vsize=9824668 CPUtime=0.58 cores=0,2,4,6 /proc/22386/task/22402/stat : 22402 (java) S 22384 22386 21597 0 -1 4202560 3333 0 0 0 58 0 0 0 20 0 22 0 253504636 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140342472943672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22403] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22403/stat : 22403 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504636 10060460032 40611 33554432000 1073741824 1073778376 140736141566320 140342471891576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 ################ # More data... # ################ [pid=22386/tid=22524] ppid=22384 vsize=9824668 CPUtime=1.68 cores=0,2,4,6 /proc/22386/task/22524/stat : 22524 (java) R 22384 22386 21597 0 -1 4202560 3 0 0 0 168 0 0 0 20 0 22 0 253586685 10060460032 296097 33554432000 1073741824 1073778376 140736141566320 140342469782544 140342973203168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22525] ppid=22384 vsize=9824668 CPUtime=1.69 cores=0,2,4,6 /proc/22386/task/22525/stat : 22525 (java) R 22384 22386 21597 0 -1 4202560 4 0 0 0 169 0 0 0 20 0 22 0 253586685 10060460032 296097 33554432000 1073741824 1073778376 140736141566320 140342466624800 140342972891812 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22526] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22526/stat : 22526 (java) S 22384 22386 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253586685 10060460032 296097 33554432000 1073741824 1073778376 140736141566320 140342468731688 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1609.42 Current children cumulated vsize (KiB) 9824668 [startup+882.301 s] /proc/loadavg: 3.52 3.62 3.45 5/220 22530 /proc/meminfo: memFree=25895332/32873648 swapFree=7108/7108 [pid=22386] ppid=22384 vsize=9824668 CPUtime=1710.47 cores=0,2,4,6 /proc/22386/stat : 22386 (java) S 22384 22386 21597 0 -1 4202496 18864 0 1 0 170935 112 0 0 20 0 22 0 253504630 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140736141557456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22386/statm: 2456167 296325 2281 9 0 2446860 0 [pid=22386/tid=22388] ppid=22384 vsize=9824668 CPUtime=0.53 cores=0,2,4,6 /proc/22386/task/22388/stat : 22388 (java) S 22384 22386 21597 0 -1 4202560 2546 0 1 0 49 4 0 0 20 0 22 0 253504631 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140343125451768 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22389] ppid=22384 vsize=9824668 CPUtime=2.67 cores=0,2,4,6 /proc/22386/task/22389/stat : 22389 (java) S 22384 22386 21597 0 -1 4202560 757 0 0 0 261 6 0 0 20 0 22 0 253504632 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140343097903912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22390] ppid=22384 vsize=9824668 CPUtime=2.57 cores=0,2,4,6 /proc/22386/task/22390/stat : 22390 (java) S 22384 22386 21597 0 -1 4202560 484 0 0 0 251 6 0 0 20 0 22 0 253504632 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140343096851112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22386/tid=22391] ppid=22384 vsize=9824668 CPUtime=2.43 cores=0,2,4,6 /proc/22386/task/22391/stat : 22391 (java) S 22384 22386 21597 0 -1 4202560 687 0 0 0 238 5 0 0 20 0 22 0 253504632 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140343095798824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22392] ppid=22384 vsize=9824668 CPUtime=2.47 cores=0,2,4,6 /proc/22386/task/22392/stat : 22392 (java) S 22384 22386 21597 0 -1 4202560 373 0 0 0 242 5 0 0 20 0 22 0 253504632 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140343094746024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22393] ppid=22384 vsize=9824668 CPUtime=2.61 cores=0,2,4,6 /proc/22386/task/22393/stat : 22393 (java) S 22384 22386 21597 0 -1 4202560 565 0 0 0 255 6 0 0 20 0 22 0 253504632 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140343093692712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22394] ppid=22384 vsize=9824668 CPUtime=2.48 cores=0,2,4,6 /proc/22386/task/22394/stat : 22394 (java) S 22384 22386 21597 0 -1 4202560 329 0 0 0 244 4 0 0 20 0 22 0 253504632 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140343092639912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22395] ppid=22384 vsize=9824668 CPUtime=2.71 cores=0,2,4,6 /proc/22386/task/22395/stat : 22395 (java) S 22384 22386 21597 0 -1 4202560 803 0 0 0 264 7 0 0 20 0 22 0 253504632 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140343091587624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22396] ppid=22384 vsize=9824668 CPUtime=2.53 cores=0,2,4,6 /proc/22386/task/22396/stat : 22396 (java) S 22384 22386 21597 0 -1 4202560 195 0 0 0 247 6 0 0 20 0 22 0 253504632 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140342961154472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22386/tid=22397] ppid=22384 vsize=9824668 CPUtime=61.27 cores=0,2,4,6 /proc/22386/task/22397/stat : 22397 (java) S 22384 22386 21597 0 -1 4202560 1913 0 0 0 6109 18 0 0 20 0 22 0 253504633 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140342478207720 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22398] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22398/stat : 22398 (java) S 22384 22386 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253504634 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140342477153784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22399] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22399/stat : 22399 (java) S 22384 22386 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253504634 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140342476101384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22400] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22400/stat : 22400 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504636 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140342475049872 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22401] ppid=22384 vsize=9824668 CPUtime=0.8 cores=0,2,4,6 /proc/22386/task/22401/stat : 22401 (java) S 22384 22386 21597 0 -1 4202560 3155 0 0 0 80 0 0 0 20 0 22 0 253504636 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140342473996472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22402] ppid=22384 vsize=9824668 CPUtime=0.99 cores=0,2,4,6 /proc/22386/task/22402/stat : 22402 (java) S 22384 22386 21597 0 -1 4202560 5468 0 0 0 99 0 0 0 20 0 22 0 253504636 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140342472943672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22403] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22403/stat : 22403 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504636 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140342471891576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22404] ppid=22384 vsize=9824668 CPUtime=0.17 cores=0,2,4,6 /proc/22386/task/22404/stat : 22404 (java) S 22384 22386 21597 0 -1 4202560 51 0 0 0 8 9 0 0 20 0 22 0 253504636 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140342470838984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22414] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22414/stat : 22414 (java) S 22384 22386 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253504786 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140342467679528 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22524] ppid=22384 vsize=9824668 CPUtime=41.78 cores=0,2,4,6 /proc/22386/task/22524/stat : 22524 (java) R 22384 22386 21597 0 -1 4202560 4 0 0 0 4178 0 0 0 20 0 22 0 253586685 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140342469784432 140342972916994 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22525] ppid=22384 vsize=9824668 CPUtime=41.78 cores=0,2,4,6 /proc/22386/task/22525/stat : 22525 (java) R 22384 22386 21597 0 -1 4202560 4 0 0 0 4178 0 0 0 20 0 22 0 253586685 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140342466623744 140342972891903 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22526] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22526/stat : 22526 (java) S 22384 22386 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253586685 10060460032 296325 33554432000 1073741824 1073778376 140736141566320 140342468731688 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1710.47 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+932.101 s] /proc/loadavg: 3.71 3.67 3.47 4/219 22530 /proc/meminfo: memFree=25813656/32873648 swapFree=7108/7108 [pid=22386] ppid=22384 vsize=9824668 CPUtime=1800.05 cores=0,2,4,6 /proc/22386/stat : 22386 (java) S 22384 22386 21597 0 -1 4202496 18909 0 1 0 179891 114 0 0 20 0 22 0 253504630 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140736141557456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22386/statm: 2456167 292771 2281 9 0 2446860 0 [pid=22386/tid=22388] ppid=22384 vsize=9824668 CPUtime=0.53 cores=0,2,4,6 /proc/22386/task/22388/stat : 22388 (java) S 22384 22386 21597 0 -1 4202560 2551 0 1 0 49 4 0 0 20 0 22 0 253504631 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343125451768 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22389] ppid=22384 vsize=9824668 CPUtime=2.78 cores=0,2,4,6 /proc/22386/task/22389/stat : 22389 (java) S 22384 22386 21597 0 -1 4202560 764 0 0 0 272 6 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343097903912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22390] ppid=22384 vsize=9824668 CPUtime=2.71 cores=0,2,4,6 /proc/22386/task/22390/stat : 22390 (java) S 22384 22386 21597 0 -1 4202560 484 0 0 0 265 6 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343096851112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22391] ppid=22384 vsize=9824668 CPUtime=2.53 cores=0,2,4,6 /proc/22386/task/22391/stat : 22391 (java) S 22384 22386 21597 0 -1 4202560 687 0 0 0 248 5 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343095798824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22392] ppid=22384 vsize=9824668 CPUtime=2.6 cores=0,2,4,6 /proc/22386/task/22392/stat : 22392 (java) S 22384 22386 21597 0 -1 4202560 374 0 0 0 255 5 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343094746024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22393] ppid=22384 vsize=9824668 CPUtime=2.73 cores=0,2,4,6 /proc/22386/task/22393/stat : 22393 (java) S 22384 22386 21597 0 -1 4202560 571 0 0 0 267 6 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343093692712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22386/tid=22394] ppid=22384 vsize=9824668 CPUtime=2.62 cores=0,2,4,6 /proc/22386/task/22394/stat : 22394 (java) S 22384 22386 21597 0 -1 4202560 329 0 0 0 258 4 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343092639912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22395] ppid=22384 vsize=9824668 CPUtime=2.88 cores=0,2,4,6 /proc/22386/task/22395/stat : 22395 (java) S 22384 22386 21597 0 -1 4202560 805 0 0 0 281 7 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343091587624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22396] ppid=22384 vsize=9824668 CPUtime=2.65 cores=0,2,4,6 /proc/22386/task/22396/stat : 22396 (java) S 22384 22386 21597 0 -1 4202560 195 0 0 0 259 6 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342961154472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22386/tid=22397] ppid=22384 vsize=9824668 CPUtime=71.77 cores=0,2,4,6 /proc/22386/task/22397/stat : 22397 (java) S 22384 22386 21597 0 -1 4202560 1930 0 0 0 7156 21 0 0 20 0 22 0 253504633 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342478207720 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22398] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22398/stat : 22398 (java) S 22384 22386 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253504634 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342477153784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22399] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22399/stat : 22399 (java) S 22384 22386 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253504634 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342476101384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22400] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22400/stat : 22400 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504636 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342475049872 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22401] ppid=22384 vsize=9824668 CPUtime=0.8 cores=0,2,4,6 /proc/22386/task/22401/stat : 22401 (java) S 22384 22386 21597 0 -1 4202560 3155 0 0 0 80 0 0 0 20 0 22 0 253504636 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342473996472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22402] ppid=22384 vsize=9824668 CPUtime=0.99 cores=0,2,4,6 /proc/22386/task/22402/stat : 22402 (java) S 22384 22386 21597 0 -1 4202560 5468 0 0 0 99 0 0 0 20 0 22 0 253504636 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342472943672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22403] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22403/stat : 22403 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504636 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342471891576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22404] ppid=22384 vsize=9824668 CPUtime=0.18 cores=0,2,4,6 /proc/22386/task/22404/stat : 22404 (java) S 22384 22386 21597 0 -1 4202560 55 0 0 0 9 9 0 0 20 0 22 0 253504636 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342470838984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22414] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22414/stat : 22414 (java) S 22384 22386 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253504786 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342467679528 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22524] ppid=22384 vsize=9824668 CPUtime=80.81 cores=0,2,4,6 /proc/22386/task/22524/stat : 22524 (java) R 22384 22386 21597 0 -1 4202560 6 0 0 0 8080 1 0 0 20 0 22 0 253586685 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342469784432 140342972868602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22525] ppid=22384 vsize=9824668 CPUtime=80.81 cores=0,2,4,6 /proc/22386/task/22525/stat : 22525 (java) R 22384 22386 21597 0 -1 4202560 5 0 0 0 8080 1 0 0 20 0 22 0 253586685 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342466623744 140342972891985 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22526] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22526/stat : 22526 (java) S 22384 22386 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253586685 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342468731688 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+932.101 s] /proc/loadavg: 3.71 3.67 3.47 4/219 22530 /proc/meminfo: memFree=25813656/32873648 swapFree=7108/7108 [pid=22386] ppid=22384 vsize=9824668 CPUtime=1800.05 cores=0,2,4,6 /proc/22386/stat : 22386 (java) S 22384 22386 21597 0 -1 4202496 18909 0 1 0 179891 114 0 0 20 0 22 0 253504630 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140736141557456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22386/statm: 2456167 292771 2281 9 0 2446860 0 [pid=22386/tid=22388] ppid=22384 vsize=9824668 CPUtime=0.53 cores=0,2,4,6 /proc/22386/task/22388/stat : 22388 (java) S 22384 22386 21597 0 -1 4202560 2551 0 1 0 49 4 0 0 20 0 22 0 253504631 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343125451768 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22389] ppid=22384 vsize=9824668 CPUtime=2.78 cores=0,2,4,6 /proc/22386/task/22389/stat : 22389 (java) S 22384 22386 21597 0 -1 4202560 764 0 0 0 272 6 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343097903912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22390] ppid=22384 vsize=9824668 CPUtime=2.71 cores=0,2,4,6 /proc/22386/task/22390/stat : 22390 (java) S 22384 22386 21597 0 -1 4202560 484 0 0 0 265 6 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343096851112 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22391] ppid=22384 vsize=9824668 CPUtime=2.53 cores=0,2,4,6 /proc/22386/task/22391/stat : 22391 (java) S 22384 22386 21597 0 -1 4202560 687 0 0 0 248 5 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343095798824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22392] ppid=22384 vsize=9824668 CPUtime=2.6 cores=0,2,4,6 /proc/22386/task/22392/stat : 22392 (java) S 22384 22386 21597 0 -1 4202560 374 0 0 0 255 5 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343094746024 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22393] ppid=22384 vsize=9824668 CPUtime=2.73 cores=0,2,4,6 /proc/22386/task/22393/stat : 22393 (java) S 22384 22386 21597 0 -1 4202560 571 0 0 0 267 6 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343093692712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22386/tid=22394] ppid=22384 vsize=9824668 CPUtime=2.62 cores=0,2,4,6 /proc/22386/task/22394/stat : 22394 (java) S 22384 22386 21597 0 -1 4202560 329 0 0 0 258 4 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343092639912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22395] ppid=22384 vsize=9824668 CPUtime=2.88 cores=0,2,4,6 /proc/22386/task/22395/stat : 22395 (java) S 22384 22386 21597 0 -1 4202560 805 0 0 0 281 7 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140343091587624 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22396] ppid=22384 vsize=9824668 CPUtime=2.65 cores=0,2,4,6 /proc/22386/task/22396/stat : 22396 (java) S 22384 22386 21597 0 -1 4202560 195 0 0 0 259 6 0 0 20 0 22 0 253504632 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342961154472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22386/tid=22397] ppid=22384 vsize=9824668 CPUtime=71.77 cores=0,2,4,6 /proc/22386/task/22397/stat : 22397 (java) S 22384 22386 21597 0 -1 4202560 1930 0 0 0 7156 21 0 0 20 0 22 0 253504633 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342478207720 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22398] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22398/stat : 22398 (java) S 22384 22386 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253504634 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342477153784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22399] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22399/stat : 22399 (java) S 22384 22386 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253504634 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342476101384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22400] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22400/stat : 22400 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504636 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342475049872 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22401] ppid=22384 vsize=9824668 CPUtime=0.8 cores=0,2,4,6 /proc/22386/task/22401/stat : 22401 (java) S 22384 22386 21597 0 -1 4202560 3155 0 0 0 80 0 0 0 20 0 22 0 253504636 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342473996472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22402] ppid=22384 vsize=9824668 CPUtime=0.99 cores=0,2,4,6 /proc/22386/task/22402/stat : 22402 (java) S 22384 22386 21597 0 -1 4202560 5468 0 0 0 99 0 0 0 20 0 22 0 253504636 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342472943672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22403] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22403/stat : 22403 (java) S 22384 22386 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504636 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342471891576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22404] ppid=22384 vsize=9824668 CPUtime=0.18 cores=0,2,4,6 /proc/22386/task/22404/stat : 22404 (java) S 22384 22386 21597 0 -1 4202560 55 0 0 0 9 9 0 0 20 0 22 0 253504636 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342470838984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22414] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22414/stat : 22414 (java) S 22384 22386 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253504786 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342467679528 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22386/tid=22524] ppid=22384 vsize=9824668 CPUtime=80.81 cores=0,2,4,6 /proc/22386/task/22524/stat : 22524 (java) R 22384 22386 21597 0 -1 4202560 6 0 0 0 8080 1 0 0 20 0 22 0 253586685 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342469784432 140342972868602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22386/tid=22525] ppid=22384 vsize=9824668 CPUtime=80.81 cores=0,2,4,6 /proc/22386/task/22525/stat : 22525 (java) R 22384 22386 21597 0 -1 4202560 5 0 0 0 8080 1 0 0 20 0 22 0 253586685 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342466623744 140342972891985 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22386/tid=22526] ppid=22384 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/22386/task/22526/stat : 22526 (java) S 22384 22386 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253586685 10060460032 292771 33554432000 1073741824 1073778376 140736141566320 140342468731688 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 9824668 Child status: 143 Real time (s): 932.14 CPU time (s): 1800.38 CPU user time (s): 1799.02 CPU system time (s): 1.36279 CPU usage (%): 193.145 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.02 system time used= 1.36279 maximum resident set size= 1212500 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18940 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1024 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26950 involuntary context switches= 46529 runsolver used 3.20151 second user time and 8.21475 second system time The end
Begin job on node114 at 2012-05-24 17:36:13 IDJOB=3687726 IDBENCH=2042 IDSOLVER=2268 FILE ID=node114/3687726-1337873773 RUNJOBID= node114-1337871881-21613 PBS_JOBID= 14620090 Free space on /tmp= 71672 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687726-1337873773/watcher-3687726-1337873773 -o /tmp/evaluation-result-3687726-1337873773/solver-3687726-1337873773 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687726-1337873773.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5 RANDOM SEED=1705632628 node114.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.242 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.48 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.242 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 : 5331.91 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.242 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 : 5451.90 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.242 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 : 5331.91 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.242 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 : 5331.91 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.242 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 : 5331.91 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.242 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 : 5331.91 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.242 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26982840 kB Buffers: 198580 kB Cached: 2486288 kB SwapCached: 0 kB Active: 3057656 kB Inactive: 2070912 kB Active(anon): 2446500 kB Inactive(anon): 0 kB Active(file): 611156 kB Inactive(file): 2070912 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1364 kB Writeback: 0 kB AnonPages: 2450300 kB Mapped: 21720 kB Shmem: 200 kB Slab: 621772 kB SReclaimable: 66048 kB SUnreclaim: 555724 kB KernelStack: 1616 kB PageTables: 9020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 2908504 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 2377728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node114 at 2012-05-24 17:51:47