Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 179 | 1800.8 | 1795.17 |
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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.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 read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.12 c configuring ORDERS 0.09/0.13 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.13 c Expensive reason simplification 0.09/0.13 c Armin Biere (Picosat) restarts strategy 0.09/0.13 c Glucose learned constraints deletion strategy 0.09/0.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=true 0.09/0.13 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.13 c --- End Solver configuration --- 0.09/0.13 c solving HOME/instance-3710575-1338144014.opb 0.09/0.13 c reading problem ... 0.67/0.45 c ... done. Wall clock time 0.325s. 0.67/0.45 c declared #vars 6139 0.67/0.45 c #constraints 1437 0.67/0.45 c constraints type 0.67/0.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1437 0.67/0.45 c 1437 constraints processed. 0.80/0.53 c SATISFIABLE 0.80/0.53 c OPTIMIZING... 0.80/0.53 c Got one! Elapsed wall clock time (in seconds):0.402 0.80/0.53 o 180 1.04/0.69 c Got one! Elapsed wall clock time (in seconds):0.559 1.04/0.69 o 179 2.99/2.30 c cleaning 2480 clauses out of 5023 with flag 5000/5023 4.95/4.16 c cleaning 4229 clauses out of 8543 with flag 11000/11023 7.17/6.32 c cleaning 5640 clauses out of 11314 with flag 18000/18023 9.69/8.82 c cleaning 6801 clauses out of 13674 with flag 26000/26023 12.54/11.68 c cleaning 7928 clauses out of 15873 with flag 35000/35023 15.74/14.88 c cleaning 8962 clauses out of 17945 with flag 45000/45023 19.35/18.43 c cleaning 9982 clauses out of 19983 with flag 56000/56023 23.25/22.33 c cleaning 10980 clauses out of 22002 with flag 68001/68024 27.58/26.61 c cleaning 11995 clauses out of 24023 with flag 81002/81025 32.08/31.17 c cleaning 13007 clauses out of 26028 with flag 95002/95025 37.10/36.19 c cleaning 14002 clauses out of 28026 with flag 110007/110030 42.41/41.42 c cleaning 15005 clauses out of 30017 with flag 126000/126023 48.02/47.00 c cleaning 15995 clauses out of 32012 with flag 143000/143023 53.94/52.95 c cleaning 16984 clauses out of 34017 with flag 161000/161023 60.56/59.54 c cleaning 17993 clauses out of 36033 with flag 180000/180023 67.09/66.09 c cleaning 19002 clauses out of 38042 with flag 200002/200025 74.00/72.97 c cleaning 19948 clauses out of 40039 with flag 221001/221024 81.74/80.63 c cleaning 21020 clauses out of 42090 with flag 243000/243023 89.65/88.56 c cleaning 22018 clauses out of 44070 with flag 266000/266023 97.55/96.49 c cleaning 22991 clauses out of 46052 with flag 290000/290023 106.07/104.93 c cleaning 23992 clauses out of 48061 with flag 315000/315023 115.00/113.81 c cleaning 24989 clauses out of 50069 with flag 341000/341023 124.13/122.99 c cleaning 25999 clauses out of 52080 with flag 368000/368023 134.24/133.07 c cleaning 27030 clauses out of 54081 with flag 396000/396023 143.96/142.79 c cleaning 27997 clauses out of 56051 with flag 425000/425023 154.26/153.06 c cleaning 29010 clauses out of 58056 with flag 455002/455025 165.67/164.45 c cleaning 30002 clauses out of 60044 with flag 486000/486023 177.21/175.96 c cleaning 31003 clauses out of 62044 with flag 518002/518025 189.04/187.75 c cleaning 31977 clauses out of 64039 with flag 551000/551023 202.08/200.70 c cleaning 33011 clauses out of 66067 with flag 585005/585028 213.89/212.54 c cleaning 34013 clauses out of 68051 with flag 620000/620023 226.32/224.96 c cleaning 34999 clauses out of 70040 with flag 656002/656025 239.23/237.87 c cleaning 35979 clauses out of 72039 with flag 693000/693023 252.75/251.35 c cleaning 37003 clauses out of 74060 with flag 731000/731023 266.68/265.23 c cleaning 37990 clauses out of 76057 with flag 770000/770023 280.82/279.32 c cleaning 38973 clauses out of 78067 with flag 810000/810023 295.94/294.42 c cleaning 40017 clauses out of 80095 with flag 851001/851024 310.87/309.35 c cleaning 40989 clauses out of 82077 with flag 893000/893023 324.79/323.23 c cleaning 42000 clauses out of 84088 with flag 936000/936023 339.24/337.69 c cleaning 43005 clauses out of 86088 with flag 980000/980023 355.30/353.61 c cleaning 44022 clauses out of 88083 with flag 1025000/1025023 372.43/370.73 c cleaning 45016 clauses out of 90061 with flag 1071000/1071023 388.97/387.29 c cleaning 46008 clauses out of 92046 with flag 1118001/1118024 405.99/404.27 c cleaning 46968 clauses out of 94037 with flag 1166000/1166023 423.41/421.66 c cleaning 48009 clauses out of 96071 with flag 1215002/1215025 441.56/439.77 c cleaning 49001 clauses out of 98064 with flag 1265004/1265027 460.19/458.33 c cleaning 49964 clauses out of 100059 with flag 1316000/1316023 477.59/475.61 c cleaning 50921 clauses out of 102095 with flag 1368000/1368023 495.13/493.10 c cleaning 52069 clauses out of 104174 with flag 1421000/1421023 512.88/510.81 c cleaning 53038 clauses out of 106105 with flag 1475000/1475023 532.13/530.04 c cleaning 54016 clauses out of 108078 with flag 1530011/1530034 552.78/550.60 c cleaning 55010 clauses out of 110051 with flag 1586000/1586023 572.03/569.87 c cleaning 56005 clauses out of 112041 with flag 1643000/1643023 592.69/590.40 c cleaning 56966 clauses out of 114038 with flag 1701002/1701025 614.34/612.03 c cleaning 58019 clauses out of 116071 with flag 1760001/1760024 635.78/633.45 c cleaning 58995 clauses out of 118055 with flag 1820004/1820027 657.11/654.70 c cleaning 60011 clauses out of 120056 with flag 1881000/1881023 682.73/680.35 c cleaning 60985 clauses out of 122045 with flag 1943000/1943023 705.87/703.48 c cleaning 62010 clauses out of 124060 with flag 2006000/2006023 727.33/724.82 c cleaning 63001 clauses out of 126051 with flag 2070001/2070024 750.18/747.70 c cleaning 64010 clauses out of 128049 with flag 2135000/2135023 776.33/773.79 c cleaning 65008 clauses out of 130039 with flag 2201000/2201023 801.52/798.83 c cleaning 65983 clauses out of 132031 with flag 2268000/2268023 825.98/823.22 c cleaning 66967 clauses out of 134048 with flag 2336000/2336023 852.84/850.06 c cleaning 67962 clauses out of 136081 with flag 2405000/2405023 877.20/874.37 c cleaning 69040 clauses out of 138120 with flag 2475001/2475024 903.05/900.11 c cleaning 70020 clauses out of 140079 with flag 2546000/2546023 930.89/927.99 c cleaning 71002 clauses out of 142059 with flag 2618000/2618023 956.16/953.11 c cleaning 71974 clauses out of 144058 with flag 2691001/2691024 985.93/982.82 c cleaning 73022 clauses out of 146085 with flag 2765002/2765025 1015.89/1012.79 c cleaning 73999 clauses out of 148062 with flag 2840001/2840024 1045.28/1042.01 c cleaning 75017 clauses out of 150064 with flag 2916002/2916025 1075.88/1072.53 c cleaning 75976 clauses out of 152045 with flag 2993000/2993023 1102.14/1098.73 c cleaning 76947 clauses out of 154069 with flag 3071000/3071023 1128.99/1125.55 c cleaning 78025 clauses out of 156122 with flag 3150000/3150023 1156.70/1153.19 c cleaning 79030 clauses out of 158097 with flag 3230000/3230023 1185.05/1181.44 c cleaning 80003 clauses out of 160067 with flag 3311000/3311023 1214.98/1211.33 c cleaning 81010 clauses out of 162064 with flag 3393000/3393023 1245.63/1241.91 c cleaning 81938 clauses out of 164054 with flag 3476000/3476023 1283.20/1279.43 c cleaning 83017 clauses out of 166116 with flag 3560000/3560023 1315.29/1311.46 c cleaning 84031 clauses out of 168099 with flag 3645000/3645023 1350.47/1346.50 c cleaning 85012 clauses out of 170068 with flag 3731000/3731023 1381.64/1377.68 c cleaning 86022 clauses out of 172060 with flag 3818004/3818027 1418.89/1414.81 c cleaning 86979 clauses out of 174036 with flag 3906002/3906025 1451.14/1447.03 c cleaning 88014 clauses out of 176056 with flag 3995001/3995024 1486.63/1482.41 c cleaning 89001 clauses out of 178042 with flag 4085001/4085024 1527.71/1523.42 c cleaning 89951 clauses out of 180042 with flag 4176002/4176025 1569.60/1565.25 c cleaning 91008 clauses out of 182089 with flag 4268000/4268023 1610.89/1606.46 c cleaning 91979 clauses out of 184081 with flag 4361000/4361023 1654.87/1650.36 c cleaning 92933 clauses out of 186105 with flag 4455003/4455026 1688.37/1683.79 c cleaning 94065 clauses out of 188171 with flag 4550002/4550025 1722.35/1717.62 c cleaning 95040 clauses out of 190104 with flag 4646000/4646023 1758.91/1754.11 c cleaning 95977 clauses out of 192064 with flag 4743000/4743023 1796.18/1791.37 c cleaning 97003 clauses out of 194089 with flag 4841002/4841025 1800.09/1795.11 c starts : 274 1800.09/1795.11 c conflicts : 4851180 1800.09/1795.11 c decisions : 31874036 1800.09/1795.11 c propagations : 2246246521 1800.09/1795.11 c inspects : 698042713 1800.09/1795.11 c shortcuts : 0 1800.09/1795.11 c learnt literals : 0 1800.09/1795.11 c learnt binary clauses : 0 1800.09/1795.11 c learnt ternary clauses : 0 1800.09/1795.11 c learnt constraints : 4851180 1800.09/1795.11 c ignored constraints : 0 1800.09/1795.11 c root simplifications : 274 1800.09/1795.11 c removed literals (reason simplification) : 8900621 1800.09/1795.11 c reason swapping (by a shorter reason) : 0 1800.09/1795.11 c Calls to reduceDB : 94 1800.09/1795.12 c number of reductions to clauses (during analyze) : 0 1800.09/1795.12 c number of learned constraints concerned by reduction : 0 1800.09/1795.12 c number of learning phase by resolution : 0 1800.09/1795.12 c number of learning phase by cutting planes : 0 1800.09/1795.12 c speed (assignments/second) : 1251633.4771309423 1800.09/1795.12 c non guided choices 18618 1800.09/1795.14 c learnt constraints type 1800.09/1795.14 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 107307 1800.09/1795.14 c constraints type 1800.09/1795.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1437 1800.09/1795.14 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.09/1795.14 c 1438 constraints processed. 1800.09/1795.14 s SATISFIABLE 1800.09/1795.16 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.09/1795.16 c objective function=179 1800.09/1795.16 c Total wall clock time (in seconds): 1795.037
OK 179
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-3710575-1338144014/watcher-3710575-1338144014 -o /tmp/evaluation-result-3710575-1338144014/solver-3710575-1338144014 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710575-1338144014.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: 2.03 2.05 2.02 3/195 27901 /proc/meminfo: memFree=28947308/32873844 swapFree=6856/6856 [pid=27901] ppid=27899 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/27901/stat : 27901 (java) D 27899 27901 24682 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 280526269 9515008 183 33554432000 1073741824 1073778376 140733356123344 140733356114376 223651643061 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/27901/statm: 2323 183 140 9 0 71 0 [startup+0.0971351 s] /proc/loadavg: 2.03 2.05 2.02 3/195 27901 /proc/meminfo: memFree=28947308/32873844 swapFree=6856/6856 [pid=27901] ppid=27899 vsize=9558440 CPUtime=0.08 cores=0,2,4,6 /proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 4040 0 1 0 7 1 0 0 20 0 18 0 280526269 9787842560 5247 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27901/statm: 2389610 5250 2091 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558440 [startup+0.100238 s] /proc/loadavg: 2.03 2.05 2.02 3/195 27901 /proc/meminfo: memFree=28947308/32873844 swapFree=6856/6856 [pid=27901] ppid=27899 vsize=9558440 CPUtime=0.09 cores=0,2,4,6 /proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 4186 0 1 0 8 1 0 0 20 0 18 0 280526269 9787842560 5393 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27901/statm: 2389610 5395 2111 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300225 s] /proc/loadavg: 2.03 2.05 2.02 3/195 27901 /proc/meminfo: memFree=28947308/32873844 swapFree=6856/6856 [pid=27901] ppid=27899 vsize=9558440 CPUtime=0.49 cores=0,2,4,6 /proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 7199 0 1 0 47 2 0 0 20 0 18 0 280526269 9787842560 10002 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27901/statm: 2389610 10002 2222 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558440 [startup+0.700165 s] /proc/loadavg: 2.03 2.05 2.02 3/195 27901 /proc/meminfo: memFree=28947308/32873844 swapFree=6856/6856 [pid=27901] ppid=27899 vsize=9625004 CPUtime=1.33 cores=0,2,4,6 /proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 10185 0 1 0 130 3 0 0 20 0 19 0 280526269 9856004096 25475 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27901/statm: 2406251 25475 2254 9 0 2396937 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 9625004 [startup+1.50061 s] /proc/loadavg: 2.03 2.05 2.02 3/214 27920 /proc/meminfo: memFree=28855140/32873844 swapFree=6856/6856 [pid=27901] ppid=27899 vsize=9625004 CPUtime=2.28 cores=0,2,4,6 /proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 10192 0 1 0 225 3 0 0 20 0 19 0 280526269 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27901/statm: 2406251 25993 2257 9 0 2396937 0 [pid=27901/tid=27903] ppid=27899 vsize=9625004 CPUtime=1.47 cores=0,2,4,6 /proc/27901/task/27903/stat : 27903 (java) R 27899 27901 24682 0 -1 4202560 2546 0 1 0 144 3 0 0 20 0 19 0 280526270 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596643672712 140596510096321 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27904] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27904/stat : 27904 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596632734120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27905] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27905/stat : 27905 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596631681576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27906] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27906/stat : 27906 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596630628520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27907] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27907/stat : 27907 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596629575976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27908] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27908/stat : 27908 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596628523944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.39 cores=0,2,4,6 /proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2876 0 0 0 39 0 0 0 20 0 19 0 280526276 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.39 cores=0,2,4,6 /proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3570 0 0 0 39 0 0 0 20 0 19 0 280526276 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 9625004 [startup+3.10061 s] /proc/loadavg: 2.03 2.05 2.02 3/214 27920 /proc/meminfo: memFree=28850052/32873844 swapFree=6856/6856 [pid=27901] ppid=27899 vsize=9625004 CPUtime=3.93 cores=0,2,4,6 /proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 10263 0 1 0 389 4 0 0 20 0 19 0 280526269 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27901/statm: 2406251 30139 2287 9 0 2396937 0 [pid=27901/tid=27903] ppid=27899 vsize=9625004 CPUtime=3.04 cores=0,2,4,6 /proc/27901/task/27903/stat : 27903 (java) R 27899 27901 24682 0 -1 4202560 2550 0 1 0 301 3 0 0 20 0 19 0 280526270 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596643672472 140596510199165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27904] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27904/stat : 27904 (java) S 27899 27901 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596632734120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27905] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27905/stat : 27905 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596631681576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27906] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27906/stat : 27906 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596630628520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27907] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27907/stat : 27907 (java) S 27899 27901 24682 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596629575976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27908] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27908/stat : 27908 (java) S 27899 27901 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596628523944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.41 cores=0,2,4,6 /proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2881 0 0 0 41 0 0 0 20 0 19 0 280526276 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.41 cores=0,2,4,6 /proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3577 0 0 0 41 0 0 0 20 0 19 0 280526276 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 9625004 [startup+6.30061 s] /proc/loadavg: 2.03 2.04 2.02 3/214 27920 /proc/meminfo: memFree=28830688/32873844 swapFree=6856/6856 [pid=27901] ppid=27899 vsize=9625004 CPUtime=7.17 cores=0,2,4,6 /proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 10279 0 1 0 713 4 0 0 20 0 19 0 280526269 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27901/statm: 2406251 31129 2287 9 0 2396937 0 [pid=27901/tid=27903] ppid=27899 vsize=9625004 CPUtime=6.22 cores=0,2,4,6 /proc/27901/task/27903/stat : 27903 (java) R 27899 27901 24682 0 -1 4202560 2552 0 1 0 619 3 0 0 20 0 19 0 280526270 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596643672488 140596510199305 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27904] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27904/stat : 27904 (java) S 27899 27901 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596632734120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27905] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27905/stat : 27905 (java) S 27899 27901 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596631681576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27906] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27906/stat : 27906 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596630628520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27907] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27907/stat : 27907 (java) S 27899 27901 24682 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596629575976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27908] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27908/stat : 27908 (java) S 27899 27901 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596628523944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 280526273 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.43 cores=0,2,4,6 /proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2881 0 0 0 43 0 0 0 20 0 19 0 280526276 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.42 cores=0,2,4,6 /proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3577 0 0 0 42 0 0 0 20 0 19 0 280526276 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.17 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 57 0 0 0 64 3 0 0 20 0 19 0 280526271 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0.64 cores=0,2,4,6 /proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 256 0 0 0 60 4 0 0 20 0 19 0 280526271 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0.75 cores=0,2,4,6 /proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 252 0 0 0 72 3 0 0 20 0 19 0 280526271 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=4.87 cores=0,2,4,6 /proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 176 0 0 0 485 2 0 0 20 0 19 0 280526273 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.43 cores=0,2,4,6 /proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2881 0 0 0 43 0 0 0 20 0 19 0 280526276 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.49 cores=0,2,4,6 /proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3603 0 0 0 49 0 0 0 20 0 19 0 280526276 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0.25 cores=0,2,4,6 /proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 99 0 0 0 12 13 0 0 20 0 19 0 280526276 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1727.11 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 1.98 1.98 1.99 3/213 28014 /proc/meminfo: memFree=28539140/32873844 swapFree=6856/6856 [pid=27901] ppid=27899 vsize=9625004 CPUtime=1787.18 cores=0,2,4,6 /proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 11934 0 1 0 178668 50 0 0 20 0 19 0 280526269 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27901/statm: 2406251 94088 2288 9 0 2396937 0 [pid=27901/tid=27903] ppid=27899 vsize=9625004 CPUtime=1775.65 cores=0,2,4,6 /proc/27901/task/27903/stat : 27903 (java) R 27899 27901 24682 0 -1 4202560 2658 0 1 0 177530 35 0 0 20 0 19 0 280526270 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596643672384 140596510146118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27904] ppid=27899 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/27901/task/27904/stat : 27904 (java) S 27899 27901 24682 0 -1 4202560 149 0 0 0 70 4 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596632734120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27905] ppid=27899 vsize=9625004 CPUtime=0.73 cores=0,2,4,6 /proc/27901/task/27905/stat : 27905 (java) S 27899 27901 24682 0 -1 4202560 60 0 0 0 70 3 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596631681576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27906] ppid=27899 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/27901/task/27906/stat : 27906 (java) S 27899 27901 24682 0 -1 4202560 187 0 0 0 64 3 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596630628520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27907] ppid=27899 vsize=9625004 CPUtime=0.73 cores=0,2,4,6 /proc/27901/task/27907/stat : 27907 (java) S 27899 27901 24682 0 -1 4202560 140 0 0 0 69 4 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596629575976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27908] ppid=27899 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/27901/task/27908/stat : 27908 (java) S 27899 27901 24682 0 -1 4202560 223 0 0 0 68 3 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596628523944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0.68 cores=0,2,4,6 /proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 57 0 0 0 65 3 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0.66 cores=0,2,4,6 /proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 256 0 0 0 62 4 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0.78 cores=0,2,4,6 /proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 252 0 0 0 75 3 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=4.95 cores=0,2,4,6 /proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 178 0 0 0 493 2 0 0 20 0 19 0 280526273 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.43 cores=0,2,4,6 /proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2881 0 0 0 43 0 0 0 20 0 19 0 280526276 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.49 cores=0,2,4,6 /proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3603 0 0 0 49 0 0 0 20 0 19 0 280526276 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 103 0 0 0 12 14 0 0 20 0 19 0 280526276 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1787.18 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.1 s] /proc/loadavg: 1.99 1.98 1.99 3/214 28017 /proc/meminfo: memFree=28526680/32873844 swapFree=6856/6856 [pid=27901] ppid=27899 vsize=9625004 CPUtime=1800.09 cores=0,2,4,6 /proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 11956 0 1 0 179958 51 0 0 20 0 19 0 280526269 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27901/statm: 2406251 96145 2288 9 0 2396937 0 [pid=27901/tid=27903] ppid=27899 vsize=9625004 CPUtime=1788.35 cores=0,2,4,6 /proc/27901/task/27903/stat : 27903 (java) R 27899 27901 24682 0 -1 4202560 2661 0 1 0 178799 36 0 0 20 0 19 0 280526270 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596643672384 140596510234052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27904] ppid=27899 vsize=9625004 CPUtime=0.75 cores=0,2,4,6 /proc/27901/task/27904/stat : 27904 (java) S 27899 27901 24682 0 -1 4202560 159 0 0 0 71 4 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596632734120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27905] ppid=27899 vsize=9625004 CPUtime=0.75 cores=0,2,4,6 /proc/27901/task/27905/stat : 27905 (java) S 27899 27901 24682 0 -1 4202560 60 0 0 0 72 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596631681576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27906] ppid=27899 vsize=9625004 CPUtime=0.68 cores=0,2,4,6 /proc/27901/task/27906/stat : 27906 (java) S 27899 27901 24682 0 -1 4202560 187 0 0 0 65 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596630628520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27907] ppid=27899 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/27901/task/27907/stat : 27907 (java) S 27899 27901 24682 0 -1 4202560 142 0 0 0 69 5 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596629575976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27908] ppid=27899 vsize=9625004 CPUtime=0.72 cores=0,2,4,6 /proc/27901/task/27908/stat : 27908 (java) S 27899 27901 24682 0 -1 4202560 225 0 0 0 69 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596628523944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 59 0 0 0 68 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 256 0 0 0 63 4 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0.79 cores=0,2,4,6 /proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 253 0 0 0 76 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=5.04 cores=0,2,4,6 /proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 180 0 0 0 502 2 0 0 20 0 19 0 280526273 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.43 cores=0,2,4,6 /proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2881 0 0 0 43 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.49 cores=0,2,4,6 /proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3603 0 0 0 49 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 103 0 0 0 12 14 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.1 s] /proc/loadavg: 1.99 1.98 1.99 3/214 28017 /proc/meminfo: memFree=28526680/32873844 swapFree=6856/6856 [pid=27901] ppid=27899 vsize=9625004 CPUtime=1800.09 cores=0,2,4,6 /proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 11956 0 1 0 179958 51 0 0 20 0 19 0 280526269 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27901/statm: 2406251 96145 2288 9 0 2396937 0 [pid=27901/tid=27903] ppid=27899 vsize=9625004 CPUtime=1788.35 cores=0,2,4,6 /proc/27901/task/27903/stat : 27903 (java) R 27899 27901 24682 0 -1 4202560 2661 0 1 0 178799 36 0 0 20 0 19 0 280526270 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596643672384 140596510234052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27904] ppid=27899 vsize=9625004 CPUtime=0.75 cores=0,2,4,6 /proc/27901/task/27904/stat : 27904 (java) S 27899 27901 24682 0 -1 4202560 159 0 0 0 71 4 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596632734120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27905] ppid=27899 vsize=9625004 CPUtime=0.75 cores=0,2,4,6 /proc/27901/task/27905/stat : 27905 (java) S 27899 27901 24682 0 -1 4202560 60 0 0 0 72 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596631681576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27906] ppid=27899 vsize=9625004 CPUtime=0.68 cores=0,2,4,6 /proc/27901/task/27906/stat : 27906 (java) S 27899 27901 24682 0 -1 4202560 187 0 0 0 65 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596630628520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27907] ppid=27899 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/27901/task/27907/stat : 27907 (java) S 27899 27901 24682 0 -1 4202560 142 0 0 0 69 5 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596629575976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27908] ppid=27899 vsize=9625004 CPUtime=0.72 cores=0,2,4,6 /proc/27901/task/27908/stat : 27908 (java) S 27899 27901 24682 0 -1 4202560 225 0 0 0 69 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596628523944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 59 0 0 0 68 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 256 0 0 0 63 4 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0.79 cores=0,2,4,6 /proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 253 0 0 0 76 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=5.04 cores=0,2,4,6 /proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 180 0 0 0 502 2 0 0 20 0 19 0 280526273 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.43 cores=0,2,4,6 /proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2881 0 0 0 43 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.49 cores=0,2,4,6 /proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3603 0 0 0 49 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 103 0 0 0 12 14 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9625004 Child status: 143 Real time (s): 1795.17 CPU time (s): 1800.8 CPU user time (s): 1799.86 CPU system time (s): 0.943856 CPU usage (%): 100.314 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 system time used= 0.943856 maximum resident set size= 384716 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11992 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40504 involuntary context switches= 27470 runsolver used 5.46117 second user time and 14.2118 second system time The end
Begin job on node144 at 2012-05-27 20:40:14 IDJOB=3710575 IDBENCH=2042 IDSOLVER=2289 FILE ID=node144/3710575-1338144014 RUNJOBID= node144-1338138284-27028 PBS_JOBID= 14624480 Free space on /tmp= 71496 MiB SOLVER NAME= SAT4J PB specific settings 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-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710575-1338144014/watcher-3710575-1338144014 -o /tmp/evaluation-result-3710575-1338144014/solver-3710575-1338144014 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710575-1338144014.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5 RANDOM SEED=1470976369 node144.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.196 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.39 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.196 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.196 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 : 5438.54 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.196 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.196 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.90 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.196 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.92 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.196 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.196 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: 32873844 kB MemFree: 28947564 kB Buffers: 372032 kB Cached: 2608852 kB SwapCached: 0 kB Active: 908488 kB Inactive: 2182016 kB Active(anon): 110660 kB Inactive(anon): 0 kB Active(file): 797828 kB Inactive(file): 2182016 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1620 kB Writeback: 0 kB AnonPages: 178040 kB Mapped: 22648 kB Shmem: 200 kB Slab: 696800 kB SReclaimable: 139140 kB SUnreclaim: 557660 kB KernelStack: 1768 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 696956 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 141312 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71496 MiB End job on node144 at 2012-05-27 21:10:11