Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 19 | 1800.34 | 924.387 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir03_area_opers.opb |
MD5SUM | b21d0afca1befeb5506928b558ab5220 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 17 |
Best CPU time to get the best result obtained on this benchmark | 3.32549 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 17 |
Optimality of the best value was proved | YES |
Number of variables | 6672 |
Total number of constraints | 14168 |
Number of constraints which are clauses | 14168 |
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 | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 3302 |
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 | 3302 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 3302 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100531 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c ManyCore solver with 2 solvers running in parallel 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c No reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 0.22/0.22 c solving HOME/instance-2662098-1276643593.opb 0.22/0.22 c reading problem ... 2.09/1.29 c ... done. Wall clock time 1.07s. 2.09/1.29 c #vars 6672 2.09/1.29 c #constraints 14168 2.09/1.29 c constraints type 2.09/1.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3375 2.09/1.29 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10791 2.09/1.29 c constraints type 2.09/1.29 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10791 2.09/1.29 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3375 3.50/1.93 c And the winner is CuttingPlanes 3.70/2.33 c SATISFIABLE 3.70/2.33 c OPTIMIZING... 3.70/2.33 c Got one! Elapsed wall clock time (in seconds):2.114 3.70/2.33 o 28 3.85/2.46 c And the winner is Resolution 4.39/3.42 c Got one! Elapsed wall clock time (in seconds):3.203 4.39/3.42 o 27 4.74/3.69 c And the winner is Resolution 5.12/4.57 c Got one! Elapsed wall clock time (in seconds):4.345 5.12/4.57 o 26 5.22/4.68 c And the winner is Resolution 5.56/5.65 c Got one! Elapsed wall clock time (in seconds):5.429 5.56/5.65 o 25 5.67/5.78 c And the winner is Resolution 6.22/6.70 c Got one! Elapsed wall clock time (in seconds):6.468 6.22/6.70 o 24 7.46/7.38 c And the winner is Resolution 8.26/8.72 c Got one! Elapsed wall clock time (in seconds):8.502 8.26/8.72 o 23 11.61/10.48 c And the winner is Resolution 11.79/10.75 c Got one! Elapsed wall clock time (in seconds):10.529 11.79/10.75 o 22 15.47/12.64 c cleaning 2486 clauses out of 5000 with flag 5000/5000 16.40/13.12 c And the winner is Resolution 16.53/13.78 c Got one! Elapsed wall clock time (in seconds):13.561 16.53/13.78 o 21 26.49/18.83 c cleaning 4253 clauses out of 8514 with flag 11000/11000 38.75/25.09 c cleaning 5626 clauses out of 11261 with flag 18000/18000 45.01/28.22 c And the winner is Resolution 45.24/28.86 c Got one! Elapsed wall clock time (in seconds):28.644 45.24/28.86 o 20 52.85/32.74 c cleaning 6816 clauses out of 13636 with flag 26001/26001 66.04/39.49 c And the winner is Resolution 67.17/40.91 c Got one! Elapsed wall clock time (in seconds):40.693 67.17/40.91 o 19 70.93/42.83 c cleaning 7906 clauses out of 15819 with flag 35000/35000 90.90/52.91 c cleaning 8953 clauses out of 17914 with flag 45001/45001 111.67/63.47 c cleaning 9967 clauses out of 19961 with flag 56001/56001 135.22/75.33 c cleaning 10992 clauses out of 21993 with flag 68000/68000 159.32/87.54 c cleaning 11996 clauses out of 24001 with flag 81000/81000 184.46/100.29 c cleaning 12996 clauses out of 26006 with flag 95001/95001 215.86/116.13 c cleaning 13988 clauses out of 28009 with flag 110000/110000 243.14/129.98 c cleaning 14503 clauses out of 29021 with flag 125000/125000 266.42/141.70 c cleaning 14758 clauses out of 29519 with flag 140001/140001 302.75/160.14 c cleaning 14870 clauses out of 29760 with flag 155000/155000 326.34/172.19 c cleaning 14937 clauses out of 29891 with flag 170001/170001 355.32/186.89 c cleaning 14959 clauses out of 29953 with flag 185000/185000 384.87/201.84 c cleaning 14992 clauses out of 29996 with flag 200002/200002 411.72/215.46 c cleaning 14960 clauses out of 30002 with flag 215000/215000 452.63/236.16 c cleaning 15011 clauses out of 30042 with flag 230000/230000 475.07/247.52 c cleaning 15011 clauses out of 30031 with flag 245000/245000 496.40/258.45 c cleaning 15007 clauses out of 30020 with flag 260000/260000 527.29/274.15 c cleaning 14972 clauses out of 30014 with flag 275001/275001 554.88/288.13 c cleaning 15008 clauses out of 30041 with flag 290000/290000 580.45/301.13 c cleaning 15006 clauses out of 30033 with flag 305000/305000 605.97/314.11 c cleaning 15008 clauses out of 30028 with flag 320001/320001 639.61/331.29 c cleaning 14947 clauses out of 30019 with flag 335000/335000 673.05/348.22 c cleaning 15028 clauses out of 30072 with flag 350000/350000 697.42/360.61 c cleaning 15016 clauses out of 30046 with flag 365002/365002 721.90/373.20 c cleaning 15009 clauses out of 30029 with flag 380001/380001 748.02/386.44 c cleaning 15004 clauses out of 30020 with flag 395001/395001 778.47/401.96 c cleaning 15002 clauses out of 30017 with flag 410002/410002 808.70/417.38 c cleaning 15000 clauses out of 30014 with flag 425001/425001 840.16/433.42 c cleaning 14994 clauses out of 30013 with flag 440000/440000 871.16/449.25 c cleaning 15005 clauses out of 30019 with flag 455000/455000 897.76/462.86 c cleaning 14999 clauses out of 30014 with flag 470000/470000 927.18/477.80 c cleaning 14981 clauses out of 30015 with flag 485000/485000 967.31/498.34 c cleaning 15000 clauses out of 30034 with flag 500000/500000 1004.80/517.48 c cleaning 15011 clauses out of 30034 with flag 515000/515000 1031.86/531.28 c cleaning 15000 clauses out of 30023 with flag 530000/530000 1053.90/542.55 c cleaning 15004 clauses out of 30023 with flag 545000/545000 1077.04/554.46 c cleaning 15000 clauses out of 30020 with flag 560001/560001 1097.89/565.19 c cleaning 14999 clauses out of 30019 with flag 575000/575000 1121.74/577.33 c cleaning 15009 clauses out of 30020 with flag 590000/590000 1152.54/593.09 c cleaning 15003 clauses out of 30012 with flag 605001/605001 1179.03/606.63 c cleaning 14987 clauses out of 30008 with flag 620000/620000 1209.24/622.06 c cleaning 15005 clauses out of 30021 with flag 635000/635000 1240.44/638.00 c cleaning 15004 clauses out of 30017 with flag 650001/650001 1275.19/655.62 c cleaning 14996 clauses out of 30013 with flag 665001/665001 1308.18/672.59 c cleaning 15004 clauses out of 30019 with flag 680003/680003 1341.29/689.50 c cleaning 15000 clauses out of 30012 with flag 695000/695000 1372.62/705.40 c cleaning 15001 clauses out of 30012 with flag 710000/710000 1405.27/722.13 c cleaning 14977 clauses out of 30011 with flag 725000/725000 1442.22/741.07 c cleaning 15013 clauses out of 30034 with flag 740000/740000 1478.94/759.72 c cleaning 15001 clauses out of 30021 with flag 755000/755000 1514.86/778.05 c cleaning 14995 clauses out of 30026 with flag 770006/770006 1552.14/797.03 c cleaning 15008 clauses out of 30025 with flag 785000/785000 1579.37/811.10 c cleaning 14994 clauses out of 30017 with flag 800000/800000 1609.52/826.43 c cleaning 15003 clauses out of 30023 with flag 815000/815000 1639.83/841.91 c cleaning 15006 clauses out of 30021 with flag 830001/830001 1671.91/858.34 c cleaning 14994 clauses out of 30016 with flag 845002/845002 1704.99/875.37 c cleaning 15002 clauses out of 30020 with flag 860000/860000 1737.28/891.85 c cleaning 14999 clauses out of 30018 with flag 875000/875000 1768.76/907.90 c cleaning 14992 clauses out of 30019 with flag 890000/890000 1796.09/921.91 c cleaning 15011 clauses out of 30027 with flag 905000/905000 1800.02/924.21 c starts : 192 1800.02/924.21 c conflicts : 906792 1800.02/924.21 c decisions : 7713460 1800.02/924.21 c propagations : 1815206338 1800.02/924.21 c inspects : 1849181603 1800.02/924.21 c learnt literals : 0 1800.02/924.21 c learnt binary clauses : 0 1800.02/924.21 c learnt ternary clauses : 0 1800.02/924.21 c learnt clauses : 906791 1800.02/924.21 c ignored clauses : 0 1800.02/924.21 c root simplifications : 0 1800.02/924.21 c removed literals (reason simplification) : 2288602 1800.02/924.21 c reason swapping (by a shorter reason) : 0 1800.02/924.21 c Calls to reduceDB : 64 1800.02/924.21 c number of reductions to clauses (during analyze) : 0 1800.02/924.21 c number of learned constraints concerned by reduction : 0 1800.02/924.21 c number of learning phase by resolution : 0 1800.02/924.21 c number of learning phase by cutting planes : 0 1800.02/924.21 c speed (assignments/second) : 2055035.1648426293 1800.02/924.21 c non guided choices 37564 1800.02/924.27 c learnt constraints type 1800.02/924.27 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16859 1800.02/924.27 c constraints type 1800.02/924.27 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3375 1800.02/924.27 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.02/924.27 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10791 1800.02/924.27 c constraints type 1800.02/924.27 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10791 1800.02/924.27 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3375 1800.02/924.27 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.02/924.27 s SATISFIABLE 1800.02/924.28 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 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 x6659 -x6660 -x6661 -x6662 x6663 -x6664 x6665 -x6666 -x6667 -x6668 -x6669 -x6670 x6671 x6672 1800.22/924.31 c objective function=19 1800.22/924.31 c Total wall clock time (in seconds): 924.094
OK 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662098-1276643593/watcher-2662098-1276643593 -o /tmp/evaluation-result-2662098-1276643593/solver-2662098-1276643593 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662098-1276643593.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 12424 /proc/meminfo: memFree=1733900/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1832 CPUtime=0 /proc/12424/stat : 12424 (java6) R 12422 12424 11726 0 -1 4194304 252 0 0 0 0 0 0 0 16 0 1 0 5651311 1875968 154 1992294400 134512640 134550932 4293686384 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12424/statm: 458 155 119 10 0 63 0 [startup+0.0274011 s] /proc/loadavg: 0.92 0.98 0.99 3/106 12424 /proc/meminfo: memFree=1733900/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1517068 CPUtime=0.01 /proc/12424/stat : 12424 (java) S 12422 12424 11726 0 -1 4202496 2230 0 1 0 0 1 0 0 15 0 2 0 5651311 1553477632 1675 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/12424/statm: 379267 1689 412 10 0 376978 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1517068 [startup+0.1004 s] /proc/loadavg: 0.92 0.98 0.99 3/106 12424 /proc/meminfo: memFree=1733900/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1524180 CPUtime=0.08 /proc/12424/stat : 12424 (java) S 12422 12424 11726 0 -1 4202496 3955 0 1 0 6 2 0 0 15 0 12 0 5651311 1560760320 3395 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12424/statm: 381045 3395 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.300398 s] /proc/loadavg: 0.92 0.98 0.99 3/106 12424 /proc/meminfo: memFree=1733900/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1526260 CPUtime=0.34 /proc/12424/stat : 12424 (java) S 12422 12424 11726 0 -1 4202496 5386 0 1 0 31 3 0 0 15 0 12 0 5651311 1562890240 4824 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12424/statm: 381565 4824 1361 10 0 378868 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1526260 [startup+0.700394 s] /proc/loadavg: 0.92 0.98 0.99 3/106 12424 /proc/meminfo: memFree=1733900/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1529976 CPUtime=1.11 /proc/12424/stat : 12424 (java) S 12422 12424 11726 0 -1 4202496 8366 0 1 0 106 5 0 0 15 0 12 0 5651311 1566695424 7301 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12424/statm: 382494 7301 1395 10 0 379797 0 Current children cumulated CPU time (s) 1.11 Current children cumulated vsize (KiB) 1529976 [startup+1.50139 s] /proc/loadavg: 0.92 0.98 0.99 4/118 12436 /proc/meminfo: memFree=1695428/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1537036 CPUtime=2.69 /proc/12424/stat : 12424 (java) S 12422 12424 11726 0 -1 4202496 18107 0 1 0 261 8 0 0 15 0 14 0 5651311 1573924864 15912 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12424/statm: 384259 15912 1413 10 0 381562 0 [pid=12424/tid=12426] ppid=12422 vsize=1537036 CPUtime=1.25 /proc/12424/task/12426/stat : 12426 (java) S 12422 12424 11726 0 -1 4202560 11393 0 1 0 119 6 0 0 25 0 14 0 5651313 1573924864 15912 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12427] ppid=12422 vsize=1537036 CPUtime=0 /proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11726 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 14 0 5651314 1573924864 15912 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12428] ppid=12422 vsize=1537036 CPUtime=0 /proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 14 0 5651314 1573924864 15912 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12429] ppid=12422 vsize=1537036 CPUtime=0 /proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11726 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 14 0 5651316 1573924864 15912 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12430] ppid=12422 vsize=1537036 CPUtime=0 /proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11726 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 14 0 5651317 1573924864 15912 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12431] ppid=12422 vsize=1537036 CPUtime=0 /proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 14 0 5651317 1573924864 15912 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12432] ppid=12422 vsize=1537036 CPUtime=0 /proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11726 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 14 0 5651321 1573924864 15912 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12433] ppid=12422 vsize=1537036 CPUtime=0.06 /proc/12424/task/12433/stat : 12433 (java) R 12422 12424 11726 0 -1 4202560 95 0 0 0 6 0 0 0 21 0 14 0 5651321 1573924864 15912 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12424/tid=12434] ppid=12422 vsize=1537036 CPUtime=1.15 /proc/12424/task/12434/stat : 12434 (java) R 12422 12424 11726 0 -1 4202560 4720 0 0 0 115 0 0 0 17 0 14 0 5651321 1573924864 15912 1992294400 134512640 134550932 4289244832 18446744073709551615 105578557 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12424/tid=12435] ppid=12422 vsize=1537036 CPUtime=0 /proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 14 0 5651321 1573924864 15912 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12436] ppid=12422 vsize=1537036 CPUtime=0 /proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 14 0 5651321 1573924864 15912 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.69 Current children cumulated vsize (KiB) 1537036 [startup+3.10137 s] /proc/loadavg: 1.17 1.03 1.01 1/120 12440 /proc/meminfo: memFree=1670984/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1537684 CPUtime=4.38 /proc/12424/stat : 12424 (java) S 12422 12424 11726 0 -1 4202496 21841 0 1 0 427 11 0 0 15 0 14 0 5651311 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12424/statm: 384421 19107 1432 10 0 381724 0 [pid=12424/tid=12426] ppid=12422 vsize=1537684 CPUtime=1.31 /proc/12424/task/12426/stat : 12426 (java) S 12422 12424 11726 0 -1 4202560 11701 0 1 0 125 6 0 0 19 0 14 0 5651313 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12427] ppid=12422 vsize=1537684 CPUtime=0 /proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11726 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 14 0 5651314 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12428] ppid=12422 vsize=1537684 CPUtime=0 /proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 14 0 5651314 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12429] ppid=12422 vsize=1537684 CPUtime=0 /proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11726 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 14 0 5651316 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12430] ppid=12422 vsize=1537684 CPUtime=0 /proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11726 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 14 0 5651317 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12431] ppid=12422 vsize=1537684 CPUtime=0 /proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 14 0 5651317 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12432] ppid=12422 vsize=1537684 CPUtime=0 /proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11726 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 14 0 5651321 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12433] ppid=12422 vsize=1537684 CPUtime=0.32 /proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11726 0 -1 4202560 758 0 0 0 32 0 0 0 18 0 14 0 5651321 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12434] ppid=12422 vsize=1537684 CPUtime=1.98 /proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11726 0 -1 4202560 4798 0 0 0 197 1 0 0 16 0 14 0 5651321 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12435] ppid=12422 vsize=1537684 CPUtime=0 /proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 14 0 5651321 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12436] ppid=12422 vsize=1537684 CPUtime=0 /proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 14 0 5651321 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12439] ppid=12422 vsize=1537684 CPUtime=0 /proc/12424/task/12439/stat : 12439 (java) S 12422 12424 11726 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 5651482 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12440] ppid=12422 vsize=1537684 CPUtime=0 /proc/12424/task/12440/stat : 12440 (java) S 12422 12424 11726 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 14 0 5651484 1574588416 19107 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.38 Current children cumulated vsize (KiB) 1537684 [startup+6.30211 s] /proc/loadavg: 1.17 1.03 1.01 1/120 12446 /proc/meminfo: memFree=1644820/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1537812 CPUtime=6.22 /proc/12424/stat : 12424 (java) S 12422 12424 11726 0 -1 4202496 28868 0 1 0 607 15 0 0 15 0 14 0 5651311 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12424/statm: 384453 25776 1434 10 0 381756 0 [pid=12424/tid=12426] ppid=12422 vsize=1537812 CPUtime=1.41 /proc/12424/task/12426/stat : 12426 (java) S 12422 12424 11726 0 -1 4202560 12584 0 1 0 135 6 0 0 19 0 14 0 5651313 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12427] ppid=12422 vsize=1537812 CPUtime=0 /proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11726 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 14 0 5651314 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12428] ppid=12422 vsize=1537812 CPUtime=0 /proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 14 0 5651314 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12429] ppid=12422 vsize=1537812 CPUtime=0.02 /proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11726 0 -1 4202560 2 0 0 0 1 1 0 0 15 0 14 0 5651316 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12430] ppid=12422 vsize=1537812 CPUtime=0 /proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11726 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 14 0 5651317 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12431] ppid=12422 vsize=1537812 CPUtime=0 /proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 14 0 5651317 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12432] ppid=12422 vsize=1537812 CPUtime=0 /proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11726 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 14 0 5651321 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12433] ppid=12422 vsize=1537812 CPUtime=0.78 /proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11726 0 -1 4202560 1074 0 0 0 78 0 0 0 15 0 14 0 5651321 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12434] ppid=12422 vsize=1537812 CPUtime=2.41 /proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11726 0 -1 4202560 4829 0 0 0 240 1 0 0 16 0 14 0 5651321 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12435] ppid=12422 vsize=1537812 CPUtime=0 /proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 14 0 5651321 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12436] ppid=12422 vsize=1537812 CPUtime=0 /proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 14 0 5651321 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12439] ppid=12422 vsize=1537812 CPUtime=0 /proc/12424/task/12439/stat : 12439 (java) S 12422 12424 11726 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 5651482 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12440] ppid=12422 vsize=1537812 CPUtime=0 /proc/12424/task/12440/stat : 12440 (java) S 12422 12424 11726 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 14 0 5651484 1574719488 25776 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 1537812 [startup+12.7018 s] /proc/loadavg: 1.15 1.03 1.01 3/122 12454 /proc/meminfo: memFree=1581564/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1538836 CPUtime=15.64 /proc/12424/stat : 12424 (java) S 12422 12424 11726 0 -1 4202496 43403 0 1 0 1542 22 0 0 15 0 16 0 5651311 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12424/statm: 384709 40260 1448 10 0 382012 0 [pid=12424/tid=12426] ppid=12422 vsize=1538836 CPUtime=1.48 /proc/12424/task/12426/stat : 12426 (java) S 12422 12424 11726 0 -1 4202560 12878 0 1 0 142 6 0 0 18 0 16 0 5651313 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12427] ppid=12422 vsize=1538836 CPUtime=0.08 /proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11726 0 -1 4202560 1889 0 0 0 8 0 0 0 16 0 16 0 5651314 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12428] ppid=12422 vsize=1538836 CPUtime=0.09 /proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11726 0 -1 4202560 1951 0 0 0 8 1 0 0 16 0 16 0 5651314 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12429] ppid=12422 vsize=1538836 CPUtime=0.05 /proc/12424/task/12429/stat : 12429 (java) R 12422 12424 11726 0 -1 4202560 21 0 0 0 4 1 0 0 15 0 16 0 5651316 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 106157729 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=12424/tid=12430] ppid=12422 vsize=1538836 CPUtime=0 /proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11726 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 5651317 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12431] ppid=12422 vsize=1538836 CPUtime=0 /proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11726 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 5651317 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12432] ppid=12422 vsize=1538836 CPUtime=0 /proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11726 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 16 0 5651321 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12433] ppid=12422 vsize=1538836 CPUtime=0.95 /proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11726 0 -1 4202560 1459 0 0 0 95 0 0 0 15 0 16 0 5651321 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12434] ppid=12422 vsize=1538836 CPUtime=2.92 /proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11726 0 -1 4202560 4881 0 0 0 291 1 0 0 16 0 16 0 5651321 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12435] ppid=12422 vsize=1538836 CPUtime=0 /proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 16 0 5651321 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12436] ppid=12422 vsize=1538836 CPUtime=0 /proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 5651321 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12439] ppid=12422 vsize=1538836 CPUtime=0 /proc/12424/task/12439/stat : 12439 (java) S 12422 12424 11726 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5651482 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12440] ppid=12422 vsize=1538836 CPUtime=0 /proc/12424/task/12440/stat : 12440 (java) S 12422 12424 11726 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 5651484 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12453] ppid=12422 vsize=1538836 CPUtime=1.84 /proc/12424/task/12453/stat : 12453 (java) S 12422 12424 11726 0 -1 4202560 4 0 0 0 184 0 0 0 25 0 16 0 5652387 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12454] ppid=12422 vsize=1538836 CPUtime=1.85 /proc/12424/task/12454/stat : 12454 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 185 0 0 0 25 0 16 0 5652387 1575768064 40260 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.64 Current children cumulated vsize (KiB) 1538836 [startup+25.5011 s] /proc/loadavg: 1.35 1.08 1.02 3/122 12456 /proc/meminfo: memFree=1540644/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1539860 CPUtime=39.66 /proc/12424/stat : 12424 (java) S 12422 12424 11726 0 -1 4202496 53200 0 1 0 3939 27 0 0 15 0 16 0 5651311 1576816640 49391 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 ################ # More data... # ################ /proc/12424/task/12461/stat : 12461 (java) R 12422 12424 11726 0 -1 4202560 1014 0 0 0 69252 20 0 0 25 0 16 0 5655404 1579962368 85547 1992294400 134512640 134550932 4289244832 18446744073709551615 4110194555 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12424/tid=12462] ppid=12422 vsize=1542932 CPUtime=690.37 /proc/12424/task/12462/stat : 12462 (java) R 12422 12424 11726 0 -1 4202560 365 0 0 0 69025 12 0 0 25 0 16 0 5655404 1579962368 85547 1992294400 134512640 134550932 4289244832 18446744073709551615 4110509440 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1483.69 Current children cumulated vsize (KiB) 1542932 [startup+822.302 s] /proc/loadavg: 2.08 2.06 1.65 3/122 12482 /proc/meminfo: memFree=1383040/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1542932 CPUtime=1601.37 /proc/12424/stat : 12424 (java) S 12422 12424 11726 0 -1 4202496 99125 0 1 0 160021 116 0 0 15 0 16 0 5651311 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12424/statm: 385733 88398 1448 10 0 383036 0 [pid=12424/tid=12426] ppid=12422 vsize=1542932 CPUtime=1.54 /proc/12424/task/12426/stat : 12426 (java) S 12422 12424 11726 0 -1 4202560 12883 0 1 0 148 6 0 0 15 0 16 0 5651313 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12427] ppid=12422 vsize=1542932 CPUtime=9.24 /proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11726 0 -1 4202560 23930 0 0 0 906 18 0 0 16 0 16 0 5651314 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12428] ppid=12422 vsize=1542932 CPUtime=9.22 /proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11726 0 -1 4202560 25059 0 0 0 903 19 0 0 15 0 16 0 5651314 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12429] ppid=12422 vsize=1542932 CPUtime=18.11 /proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11726 0 -1 4202560 3496 0 0 0 1793 18 0 0 15 0 16 0 5651316 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12430] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11726 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 5651317 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12431] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11726 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 5651317 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12432] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11726 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12433] ppid=12422 vsize=1542932 CPUtime=2.05 /proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11726 0 -1 4202560 4149 0 0 0 203 2 0 0 15 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12434] ppid=12422 vsize=1542932 CPUtime=2.94 /proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11726 0 -1 4202560 4881 0 0 0 293 1 0 0 15 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12435] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12436] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11726 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12439] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12439/stat : 12439 (java) S 12422 12424 11726 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5651482 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12440] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12440/stat : 12440 (java) S 12422 12424 11726 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 5651484 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12461] ppid=12422 vsize=1542932 CPUtime=750.4 /proc/12424/task/12461/stat : 12461 (java) R 12422 12424 11726 0 -1 4202560 1106 0 0 0 75016 24 0 0 25 0 16 0 5655404 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4110186505 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12424/tid=12462] ppid=12422 vsize=1542932 CPUtime=747.4 /proc/12424/task/12462/stat : 12462 (java) R 12422 12424 11726 0 -1 4202560 397 0 0 0 74728 12 0 0 25 0 16 0 5655404 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4110167014 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1601.37 Current children cumulated vsize (KiB) 1542932 [startup+882.301 s] /proc/loadavg: 2.19 2.10 1.68 3/122 12484 /proc/meminfo: memFree=1382916/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1542932 CPUtime=1718.38 /proc/12424/stat : 12424 (java) S 12422 12424 11726 0 -1 4202496 99248 0 1 0 171717 121 0 0 15 0 16 0 5651311 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12424/statm: 385733 88398 1448 10 0 383036 0 [pid=12424/tid=12426] ppid=12422 vsize=1542932 CPUtime=1.54 /proc/12424/task/12426/stat : 12426 (java) S 12422 12424 11726 0 -1 4202560 12885 0 1 0 148 6 0 0 15 0 16 0 5651313 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12427] ppid=12422 vsize=1542932 CPUtime=9.97 /proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11726 0 -1 4202560 23930 0 0 0 978 19 0 0 15 0 16 0 5651314 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12428] ppid=12422 vsize=1542932 CPUtime=9.95 /proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11726 0 -1 4202560 25059 0 0 0 975 20 0 0 16 0 16 0 5651314 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12429] ppid=12422 vsize=1542932 CPUtime=20.14 /proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11726 0 -1 4202560 3500 0 0 0 1995 19 0 0 15 0 16 0 5651316 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12430] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11726 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 5651317 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12431] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11726 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 5651317 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12432] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11726 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12433] ppid=12422 vsize=1542932 CPUtime=2.07 /proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11726 0 -1 4202560 4149 0 0 0 205 2 0 0 15 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12434] ppid=12422 vsize=1542932 CPUtime=2.94 /proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11726 0 -1 4202560 4881 0 0 0 293 1 0 0 15 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12435] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12436] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11726 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12439] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12439/stat : 12439 (java) S 12422 12424 11726 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5651482 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12440] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12440/stat : 12440 (java) S 12422 12424 11726 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 5651484 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12461] ppid=12422 vsize=1542932 CPUtime=807 /proc/12424/task/12461/stat : 12461 (java) R 12422 12424 11726 0 -1 4202560 1182 0 0 0 80675 25 0 0 21 0 16 0 5655404 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4110179887 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=12424/tid=12462] ppid=12422 vsize=1542932 CPUtime=804.32 /proc/12424/task/12462/stat : 12462 (java) R 12422 12424 11726 0 -1 4202560 434 0 0 0 80418 14 0 0 25 0 16 0 5655404 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4110509199 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1718.38 Current children cumulated vsize (KiB) 1542932 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+924.202 s] /proc/loadavg: 2.24 2.11 1.71 3/122 12484 /proc/meminfo: memFree=1382916/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1542932 CPUtime=1800.02 /proc/12424/stat : 12424 (java) S 12422 12424 11726 0 -1 4202496 99328 0 1 0 179876 126 0 0 15 0 16 0 5651311 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12424/statm: 385733 88398 1448 10 0 383036 0 [pid=12424/tid=12426] ppid=12422 vsize=1542932 CPUtime=1.54 /proc/12424/task/12426/stat : 12426 (java) S 12422 12424 11726 0 -1 4202560 12886 0 1 0 148 6 0 0 15 0 16 0 5651313 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12427] ppid=12422 vsize=1542932 CPUtime=10.61 /proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11726 0 -1 4202560 23930 0 0 0 1041 20 0 0 16 0 16 0 5651314 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12428] ppid=12422 vsize=1542932 CPUtime=10.6 /proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11726 0 -1 4202560 25059 0 0 0 1040 20 0 0 15 0 16 0 5651314 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12429] ppid=12422 vsize=1542932 CPUtime=21.75 /proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11726 0 -1 4202560 3502 0 0 0 2155 20 0 0 16 0 16 0 5651316 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12430] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11726 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 5651317 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12431] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11726 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 5651317 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12432] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11726 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12433] ppid=12422 vsize=1542932 CPUtime=2.07 /proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11726 0 -1 4202560 4149 0 0 0 205 2 0 0 15 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12434] ppid=12422 vsize=1542932 CPUtime=2.94 /proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11726 0 -1 4202560 4881 0 0 0 293 1 0 0 15 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12435] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12436] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11726 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 16 0 5651321 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12439] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12439/stat : 12439 (java) S 12422 12424 11726 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5651482 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12440] ppid=12422 vsize=1542932 CPUtime=0 /proc/12424/task/12440/stat : 12440 (java) S 12422 12424 11726 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 5651484 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12461] ppid=12422 vsize=1542932 CPUtime=846.49 /proc/12424/task/12461/stat : 12461 (java) R 12422 12424 11726 0 -1 4202560 1232 0 0 0 84622 27 0 0 23 0 16 0 5655404 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4110194555 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12424/tid=12462] ppid=12422 vsize=1542932 CPUtime=843.55 /proc/12424/task/12462/stat : 12462 (java) R 12422 12424 11726 0 -1 4202560 459 0 0 0 84340 15 0 0 22 0 16 0 5655404 1579962368 88398 1992294400 134512640 134550932 4289244832 18446744073709551615 4110540026 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1542932 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+924.316 s] /proc/loadavg: 2.24 2.11 1.71 3/122 12484 /proc/meminfo: memFree=1382916/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1543580 CPUtime=1800.22 /proc/12424/stat : 12424 (java) S 12422 12424 11726 0 -1 4202496 99348 0 1 0 179896 126 0 0 15 0 18 0 5651311 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/12424/statm: 385895 88418 1448 10 0 383198 0 [pid=12424/tid=12426] ppid=12422 vsize=1543580 CPUtime=1.54 /proc/12424/task/12426/stat : 12426 (java) S 12422 12424 11726 0 -1 4202560 12886 0 1 0 148 6 0 0 15 0 18 0 5651313 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12427] ppid=12422 vsize=1543580 CPUtime=10.61 /proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11726 0 -1 4202560 23930 0 0 0 1041 20 0 0 16 0 18 0 5651314 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12428] ppid=12422 vsize=1543580 CPUtime=10.6 /proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11726 0 -1 4202560 25059 0 0 0 1040 20 0 0 15 0 18 0 5651314 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12429] ppid=12422 vsize=1543580 CPUtime=21.75 /proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11726 0 -1 4202560 3502 0 0 0 2155 20 0 0 16 0 18 0 5651316 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 0 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12430] ppid=12422 vsize=1543580 CPUtime=0 /proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11726 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 5651317 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12431] ppid=12422 vsize=1543580 CPUtime=0 /proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11726 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 5651317 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12432] ppid=12422 vsize=1543580 CPUtime=0 /proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11726 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 18 0 5651321 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12433] ppid=12422 vsize=1543580 CPUtime=2.11 /proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11726 0 -1 4202560 4151 0 0 0 209 2 0 0 15 0 18 0 5651321 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12434] ppid=12422 vsize=1543580 CPUtime=2.97 /proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11726 0 -1 4202560 4881 0 0 0 296 1 0 0 15 0 18 0 5651321 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12435] ppid=12422 vsize=1543580 CPUtime=0 /proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11726 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 18 0 5651321 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 0 0 0 0 [pid=12424/tid=12436] ppid=12422 vsize=1543580 CPUtime=0 /proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11726 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 18 0 5651321 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12439] ppid=12422 vsize=1543580 CPUtime=0 /proc/12424/task/12439/stat : 12439 (java) S 12422 12424 11726 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 5651482 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12440] ppid=12422 vsize=1543580 CPUtime=0 /proc/12424/task/12440/stat : 12440 (java) S 12422 12424 11726 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 18 0 5651484 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4294960144 0 4 0 16800975 18446604437877371264 0 0 -1 1 0 0 0 [pid=12424/tid=12461] ppid=12422 vsize=1543580 CPUtime=846.56 /proc/12424/task/12461/stat : 12461 (java) R 12422 12424 11726 0 -1 4202560 1232 0 0 0 84629 27 0 0 23 0 18 0 5655404 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4110221378 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=12424/tid=12462] ppid=12422 vsize=1543580 CPUtime=843.58 /proc/12424/task/12462/stat : 12462 (java) R 12422 12424 11726 0 -1 4202560 459 0 0 0 84343 15 0 0 23 0 18 0 5655404 1580625920 88418 1992294400 134512640 134550932 4289244832 18446744073709551615 4110166664 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 1543580 Child status: 143 Real time (s): 924.387 CPU time (s): 1800.34 CPU user time (s): 1799.04 CPU system time (s): 1.3018 CPU usage (%): 194.76 Max. virtual memory (cumulated for all children) (KiB): 1543956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.04 system time used= 1.3018 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99352 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40434 involuntary context switches= 58481 runsolver used 3.9494 second user time and 8.06577 second system time The end
Begin job on node047 at 2010-06-16 01:13:13 IDJOB=2662098 IDBENCH=25035 IDSOLVER=1166 FILE ID=node047/2662098-1276643593 PBS_JOBID= 11172386 Free space on /tmp= 62540 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662098-1276643593/watcher-2662098-1276643593 -o /tmp/evaluation-result-2662098-1276643593/solver-2662098-1276643593 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662098-1276643593.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b21d0afca1befeb5506928b558ab5220 RANDOM SEED=806167501 node047.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1734296 kB Buffers: 60988 kB Cached: 138952 kB SwapCached: 0 kB Active: 122636 kB Inactive: 136756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1734296 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 768 kB Writeback: 0 kB AnonPages: 59332 kB Mapped: 15364 kB Slab: 43536 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180404 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62540 MiB End job on node047 at 2010-06-16 01:28:39