Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 1207959552 | 1802.1 | 948.913 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | 6eba7367ef128fb0872fe815e4ef2398 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1207959552 |
Best CPU time to get the best result obtained on this benchmark | 1802.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1207959552 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 26715880447 |
Number of bits of the biggest sum of numbers | 35 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.14 c See www.sat4j.org for details. 0.09/0.15 c version 2.2.0.v20100531 0.09/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.09/0.15 c java.vm.version 11.2-b01 0.09/0.15 c java.vm.vendor Sun Microsystems Inc. 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0_12 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.18-164.el5 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1393557488 0.09/0.15 c Max memory 1395916800 0.09/0.15 c Total memory 1395916800 0.09/0.15 c Number of processors 2 0.25/0.21 c Pseudo Boolean Optimization 0.25/0.21 c ManyCore solver with 2 solvers running in parallel 0.25/0.21 c --- Begin Solver configuration --- 0.25/0.21 c Stops conflict analysis at the first Unique Implication Point 0.25/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.25/0.21 c Learn all clauses as in MiniSAT 0.25/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.25/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.25/0.21 c Expensive reason simplification 0.25/0.21 c Armin Biere (Picosat) restarts strategy 0.25/0.21 c Glucose learned constraints deletion strategy 0.25/0.21 c timeout=2147483s 0.25/0.21 c DB Simplification allowed=false 0.25/0.21 c --- End Solver configuration --- 0.25/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.25/0.21 c --- Begin Solver configuration --- 0.25/0.21 c Stops conflict analysis at the first Unique Implication Point 0.25/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.25/0.21 c Learn all clauses as in MiniSAT 0.25/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.25/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.25/0.21 c No reason simplification 0.25/0.21 c Armin Biere (Picosat) restarts strategy 0.25/0.21 c Glucose learned constraints deletion strategy 0.25/0.21 c timeout=2147483s 0.25/0.21 c DB Simplification allowed=false 0.25/0.21 c --- End Solver configuration --- 0.25/0.21 0.25/0.21 c solving HOME/instance-2662303-1276571856.opb 0.25/0.21 c reading problem ... 2.87/2.01 c ... done. Wall clock time 1.8s. 2.87/2.01 c #vars 6651 2.87/2.01 c #constraints 721 2.87/2.01 c constraints type 2.87/2.02 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51 2.87/2.02 c org.sat4j.minisat.constraints.card.MinWatchCard => 331 2.87/2.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 339 2.87/2.02 c constraints type 2.87/2.02 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 2.87/2.02 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 2.87/2.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 339 5.43/3.31 c And the winner is CuttingPlanes 5.56/4.05 c SATISFIABLE 5.56/4.05 c OPTIMIZING... 5.56/4.05 c Got one! Elapsed wall clock time (in seconds):3.832 5.56/4.05 o 2147483647 7.83/5.28 c And the winner is CuttingPlanes 8.13/6.07 c Got one! Elapsed wall clock time (in seconds):5.851 8.13/6.07 o 2147483646 9.42/6.73 c And the winner is CuttingPlanes 9.59/7.11 c Got one! Elapsed wall clock time (in seconds):6.898 9.59/7.11 o 2147483645 11.35/8.07 c And the winner is CuttingPlanes 11.62/9.15 c Got one! Elapsed wall clock time (in seconds):8.936 11.62/9.15 o 2147483644 13.12/9.94 c And the winner is CuttingPlanes 13.31/10.16 c Got one! Elapsed wall clock time (in seconds):9.941 13.31/10.16 o 2147483643 14.79/10.95 c And the winner is CuttingPlanes 15.04/11.16 c Got one! Elapsed wall clock time (in seconds):10.944 15.04/11.16 o 2147483642 16.51/11.97 c And the winner is CuttingPlanes 16.78/12.16 c Got one! Elapsed wall clock time (in seconds):11.949 16.78/12.16 o 2147483641 17.44/12.54 c And the winner is CuttingPlanes 17.65/13.17 c Got one! Elapsed wall clock time (in seconds):12.954 17.65/13.17 o 2147483640 19.10/13.95 c And the winner is CuttingPlanes 19.33/14.17 c Got one! Elapsed wall clock time (in seconds):13.959 19.33/14.17 o 2147483639 20.94/15.03 c And the winner is CuttingPlanes 21.07/15.18 c Got one! Elapsed wall clock time (in seconds):14.963 21.07/15.18 o 2147483638 22.54/15.93 c And the winner is CuttingPlanes 22.75/16.18 c Got one! Elapsed wall clock time (in seconds):15.969 22.75/16.18 o 2147483637 24.16/16.90 c And the winner is CuttingPlanes 24.28/17.19 c Got one! Elapsed wall clock time (in seconds):16.974 24.28/17.19 o 2147483636 25.68/17.93 c And the winner is CuttingPlanes 25.87/18.19 c Got one! Elapsed wall clock time (in seconds):17.977 25.87/18.19 o 2147483635 27.08/18.88 c And the winner is CuttingPlanes 27.37/19.20 c Got one! Elapsed wall clock time (in seconds):18.983 27.37/19.20 o 2147483634 57.28/34.31 c And the winner is CuttingPlanes 57.38/35.28 c Got one! Elapsed wall clock time (in seconds):35.065 57.38/35.28 o 2147483633 86.36/49.96 c And the winner is CuttingPlanes 86.59/50.31 c Got one! Elapsed wall clock time (in seconds):50.098 86.59/50.31 o 2147483632 116.09/65.26 c And the winner is CuttingPlanes 116.35/66.40 c Got one! Elapsed wall clock time (in seconds):66.182 116.35/66.40 o 2147483631 145.09/80.98 c And the winner is CuttingPlanes 145.37/81.45 c Got one! Elapsed wall clock time (in seconds):81.237 145.37/81.45 o 2147483630 162.12/89.99 c And the winner is Resolution 168.08/96.50 c Got one! Elapsed wall clock time (in seconds):96.272 168.08/96.50 o 1610612736 191.49/108.40 c And the winner is Resolution 194.59/111.57 c Got one! Elapsed wall clock time (in seconds):111.355 194.59/111.57 o 1342177280 222.55/125.75 c And the winner is CuttingPlanes 222.79/126.61 c Got one! Elapsed wall clock time (in seconds):126.391 222.79/126.61 o 1342177279 251.51/141.19 c And the winner is CuttingPlanes 251.81/141.64 c Got one! Elapsed wall clock time (in seconds):141.424 251.81/141.64 o 1342177278 281.68/156.79 c And the winner is CuttingPlanes 282.00/157.68 c Got one! Elapsed wall clock time (in seconds):157.461 282.00/157.68 o 1342177277 283.44/158.43 c And the winner is CuttingPlanes 283.64/158.68 c Got one! Elapsed wall clock time (in seconds):158.466 283.64/158.68 o 1342177276 285.08/159.47 c And the winner is CuttingPlanes 285.36/159.69 c Got one! Elapsed wall clock time (in seconds):159.471 285.36/159.69 o 1342177275 286.78/160.48 c And the winner is CuttingPlanes 287.07/160.69 c Got one! Elapsed wall clock time (in seconds):160.477 287.07/160.69 o 1342177274 301.95/168.22 c And the winner is CuttingPlanes 302.10/168.72 c Got one! Elapsed wall clock time (in seconds):168.506 302.10/168.72 o 1342177273 332.80/184.29 c And the winner is Resolution 380.23/231.85 c Got one! Elapsed wall clock time (in seconds):231.637 380.23/231.85 o 1207959552 523.06/303.96 c cleaning 2489 clauses out of 4999 with flag 5000/5000 986.81/537.81 c cleaning 4251 clauses out of 8512 with flag 11002/11002 1761.68/928.47 c cleaning 5623 clauses out of 11266 with flag 18007/18007 1800.14/947.92 c starts : 56 1800.14/947.92 c conflicts : 18230 1800.14/947.92 c decisions : 147677 1800.14/947.92 c propagations : 16008169 1800.14/947.92 c inspects : 409046215 1800.14/947.92 c learnt literals : 1 1800.14/947.92 c learnt binary clauses : 0 1800.14/947.92 c learnt ternary clauses : 0 1800.14/947.92 c learnt clauses : 18228 1800.14/947.92 c ignored clauses : 0 1800.14/947.92 c root simplifications : 0 1800.14/947.92 c removed literals (reason simplification) : 1042206 1800.14/947.92 c reason swapping (by a shorter reason) : 0 1800.14/947.92 c Calls to reduceDB : 3 1800.14/947.92 c number of reductions to clauses (during analyze) : 0 1800.14/947.92 c number of learned constraints concerned by reduction : 0 1800.14/947.92 c number of learning phase by resolution : 0 1800.14/947.92 c number of learning phase by cutting planes : 0 1800.14/947.92 c speed (assignments/second) : 22355.748430659227 1800.14/947.93 c non guided choices 36699 1800.14/947.98 c learnt constraints type 1800.14/947.98 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 5866 1800.14/947.98 c constraints type 1800.14/947.98 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51 1800.14/947.98 c org.sat4j.minisat.constraints.card.MinWatchCard => 331 1800.14/947.98 c org.sat4j.pb.constraints.pb.MaxWatchPb => 340 1800.14/947.98 c constraints type 1800.14/947.98 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 1800.14/947.98 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 1800.14/947.98 c org.sat4j.pb.constraints.pb.MaxWatchPb => 340 1800.14/947.98 s SATISFIABLE 1801.91/948.83 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 1801.91/948.85 c objective function=1207959552 1801.91/948.85 c Total wall clock time (in seconds): 948.635
OK 1207959552
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662303-1276571856/watcher-2662303-1276571856 -o /tmp/evaluation-result-2662303-1276571856/solver-2662303-1276571856 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662303-1276571856.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.95 1.01 1.00 3/106 3254 /proc/meminfo: memFree=1757416/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=1832 CPUtime=0 /proc/3254/stat : 3254 (java6) S 3252 3254 2313 0 -1 4194304 246 0 0 0 0 0 0 0 19 0 1 0 32787141 1875968 148 1992294400 134512640 134550932 4294390800 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699379390 0 0 17 1 0 0 0 /proc/3254/statm: 458 148 111 10 0 63 0 [startup+0.10733 s] /proc/loadavg: 0.95 1.01 1.00 3/106 3254 /proc/meminfo: memFree=1757416/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=1524180 CPUtime=0.09 /proc/3254/stat : 3254 (java) S 3252 3254 2313 0 -1 4202496 3997 0 1 0 7 2 0 0 18 0 12 0 32787141 1560760320 3435 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3254/statm: 381045 3435 1077 10 0 378348 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1524180 [startup+0.210672 s] /proc/loadavg: 0.95 1.01 1.00 3/106 3254 /proc/meminfo: memFree=1757416/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=1526224 CPUtime=0.25 /proc/3254/stat : 3254 (java) S 3252 3254 2313 0 -1 4202496 5112 0 1 0 22 3 0 0 18 0 12 0 32787141 1562853376 4548 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3254/statm: 381556 4549 1346 10 0 378859 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 1526224 [startup+0.311672 s] /proc/loadavg: 0.95 1.01 1.00 3/106 3254 /proc/meminfo: memFree=1757416/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=1526824 CPUtime=0.41 /proc/3254/stat : 3254 (java) S 3252 3254 2313 0 -1 4202496 5568 0 1 0 38 3 0 0 18 0 12 0 32787141 1563467776 5004 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3254/statm: 381706 5004 1368 10 0 379009 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 1526824 [startup+0.700672 s] /proc/loadavg: 0.95 1.01 1.00 3/106 3254 /proc/meminfo: memFree=1757416/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=1528688 CPUtime=1.16 /proc/3254/stat : 3254 (java) S 3252 3254 2313 0 -1 4202496 10263 0 1 0 110 6 0 0 18 0 12 0 32787141 1565376512 9585 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3254/statm: 382172 9594 1406 10 0 379475 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 1528688 [startup+1.50167 s] /proc/loadavg: 0.95 1.01 1.00 2/118 3266 /proc/meminfo: memFree=1686952/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=1528576 CPUtime=2.29 /proc/3254/stat : 3254 (java) S 3252 3254 2313 0 -1 4202496 29768 0 1 0 214 15 0 0 18 0 12 0 32787141 1565261824 28772 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3254/statm: 382144 28773 1414 10 0 379447 0 [pid=3254/tid=3256] ppid=3252 vsize=1528576 CPUtime=1.47 /proc/3254/task/3256/stat : 3256 (java) R 3252 3254 2313 0 -1 4202560 27021 0 1 0 133 14 0 0 19 0 12 0 32787142 1565261824 28774 1992294400 134512640 134550932 4293766560 18446744073709551615 4109123871 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3254/tid=3257] ppid=3252 vsize=1528576 CPUtime=0 /proc/3254/task/3257/stat : 3257 (java) S 3252 3254 2313 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 12 0 32787144 1565261824 28776 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3258] ppid=3252 vsize=1528576 CPUtime=0 /proc/3254/task/3258/stat : 3258 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 12 0 32787144 1565261824 28777 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3259] ppid=3252 vsize=1528576 CPUtime=0 /proc/3254/task/3259/stat : 3259 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 32787146 1565261824 28778 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3260] ppid=3252 vsize=1528576 CPUtime=0 /proc/3254/task/3260/stat : 3260 (java) S 3252 3254 2313 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 12 0 32787146 1565261824 28779 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3261] ppid=3252 vsize=1528576 CPUtime=0 /proc/3254/task/3261/stat : 3261 (java) S 3252 3254 2313 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 12 0 32787146 1565261824 28781 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3262] ppid=3252 vsize=1528576 CPUtime=0 /proc/3254/task/3262/stat : 3262 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 32787150 1565261824 28782 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3263] ppid=3252 vsize=1528576 CPUtime=0.22 /proc/3254/task/3263/stat : 3263 (java) S 3252 3254 2313 0 -1 4202560 302 0 0 0 22 0 0 0 18 0 12 0 32787150 1565261824 28783 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3264] ppid=3252 vsize=1528576 CPUtime=0.58 /proc/3254/task/3264/stat : 3264 (java) S 3252 3254 2313 0 -1 4202560 1380 0 0 0 58 0 0 0 15 0 12 0 32787150 1565261824 28785 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3265] ppid=3252 vsize=1528576 CPUtime=0 /proc/3254/task/3265/stat : 3265 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 32787150 1565261824 28786 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3266] ppid=3252 vsize=1528576 CPUtime=0 /proc/3254/task/3266/stat : 3266 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 32787150 1565261824 28787 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 1528576 [startup+3.10167 s] /proc/loadavg: 0.95 1.01 1.00 5/122 3270 /proc/meminfo: memFree=1614132/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=1530164 CPUtime=5.02 /proc/3254/stat : 3254 (java) S 3252 3254 2313 0 -1 4202496 39173 0 1 0 483 19 0 0 18 0 16 0 32787141 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3254/statm: 382541 37108 1431 10 0 379844 0 [pid=3254/tid=3256] ppid=3252 vsize=1530164 CPUtime=1.91 /proc/3254/task/3256/stat : 3256 (java) S 3252 3254 2313 0 -1 4202560 32047 0 1 0 175 16 0 0 18 0 16 0 32787142 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3257] ppid=3252 vsize=1530164 CPUtime=0.06 /proc/3254/task/3257/stat : 3257 (java) S 3252 3254 2313 0 -1 4202560 1745 0 0 0 6 0 0 0 18 0 16 0 32787144 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3258] ppid=3252 vsize=1530164 CPUtime=0.07 /proc/3254/task/3258/stat : 3258 (java) S 3252 3254 2313 0 -1 4202560 1469 0 0 0 7 0 0 0 18 0 16 0 32787144 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3259] ppid=3252 vsize=1530164 CPUtime=0 /proc/3254/task/3259/stat : 3259 (java) S 3252 3254 2313 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 16 0 32787146 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3260] ppid=3252 vsize=1530164 CPUtime=0 /proc/3254/task/3260/stat : 3260 (java) S 3252 3254 2313 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 32787146 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3261] ppid=3252 vsize=1530164 CPUtime=0 /proc/3254/task/3261/stat : 3261 (java) S 3252 3254 2313 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 32787146 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3262] ppid=3252 vsize=1530164 CPUtime=0 /proc/3254/task/3262/stat : 3262 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 32787150 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3263] ppid=3252 vsize=1530164 CPUtime=0.78 /proc/3254/task/3263/stat : 3263 (java) S 3252 3254 2313 0 -1 4202560 1036 0 0 0 78 0 0 0 16 0 16 0 32787150 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3264] ppid=3252 vsize=1530164 CPUtime=0.95 /proc/3254/task/3264/stat : 3264 (java) S 3252 3254 2313 0 -1 4202560 1754 0 0 0 95 0 0 0 15 0 16 0 32787150 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3265] ppid=3252 vsize=1530164 CPUtime=0 /proc/3254/task/3265/stat : 3265 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 32787150 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3266] ppid=3252 vsize=1530164 CPUtime=0 /proc/3254/task/3266/stat : 3266 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 32787150 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3267] ppid=3252 vsize=1530164 CPUtime=0.7 /proc/3254/task/3267/stat : 3267 (java) R 3252 3254 2313 0 -1 4202560 15 0 0 0 70 0 0 0 19 0 16 0 32787343 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4109375823 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3254/tid=3268] ppid=3252 vsize=1530164 CPUtime=0.49 /proc/3254/task/3268/stat : 3268 (java) R 3252 3254 2313 0 -1 4202560 26 0 0 0 49 0 0 0 25 0 16 0 32787343 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4109411130 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3254/tid=3269] ppid=3252 vsize=1530164 CPUtime=0 /proc/3254/task/3269/stat : 3269 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 32787349 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3270] ppid=3252 vsize=1530164 CPUtime=0 /proc/3254/task/3270/stat : 3270 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 32787352 1566887936 37108 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.02 Current children cumulated vsize (KiB) 1530164 [startup+6.30166 s] /proc/loadavg: 1.12 1.04 1.01 1/120 3272 /proc/meminfo: memFree=1589100/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=1530996 CPUtime=8.61 /proc/3254/stat : 3254 (java) S 3252 3254 2313 0 -1 4202496 45979 0 1 0 837 24 0 0 18 0 16 0 32787141 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3254/statm: 382749 43517 1435 10 0 380052 0 [pid=3254/tid=3256] ppid=3252 vsize=1530996 CPUtime=1.92 /proc/3254/task/3256/stat : 3256 (java) S 3252 3254 2313 0 -1 4202560 32048 0 1 0 176 16 0 0 19 0 16 0 32787142 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3257] ppid=3252 vsize=1530996 CPUtime=0.22 /proc/3254/task/3257/stat : 3257 (java) S 3252 3254 2313 0 -1 4202560 5168 0 0 0 19 3 0 0 18 0 16 0 32787144 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3258] ppid=3252 vsize=1530996 CPUtime=0.21 /proc/3254/task/3258/stat : 3258 (java) S 3252 3254 2313 0 -1 4202560 4242 0 0 0 20 1 0 0 18 0 16 0 32787144 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3259] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3259/stat : 3259 (java) S 3252 3254 2313 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 16 0 32787146 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3260] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3260/stat : 3260 (java) S 3252 3254 2313 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 32787146 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3261] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3261/stat : 3261 (java) S 3252 3254 2313 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 32787146 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3262] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3262/stat : 3262 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 32787150 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3263] ppid=3252 vsize=1530996 CPUtime=1.27 /proc/3254/task/3263/stat : 3263 (java) S 3252 3254 2313 0 -1 4202560 1315 0 0 0 127 0 0 0 15 0 16 0 32787150 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3264] ppid=3252 vsize=1530996 CPUtime=1.07 /proc/3254/task/3264/stat : 3264 (java) S 3252 3254 2313 0 -1 4202560 2064 0 0 0 106 1 0 0 15 0 16 0 32787150 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3265] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3265/stat : 3265 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 32787150 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3266] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3266/stat : 3266 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 32787150 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3269] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3269/stat : 3269 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 32787349 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3270] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3270/stat : 3270 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 32787352 1567739904 43517 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.61 Current children cumulated vsize (KiB) 1530996 [startup+12.7017 s] /proc/loadavg: 1.19 1.06 1.01 2/121 3282 /proc/meminfo: memFree=1566648/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=1530996 CPUtime=17.65 /proc/3254/stat : 3254 (java) S 3252 3254 2313 0 -1 4202496 52765 0 1 0 1738 27 0 0 18 0 14 0 32787141 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3254/statm: 382749 49039 1435 10 0 380052 0 [pid=3254/tid=3256] ppid=3252 vsize=1530996 CPUtime=1.92 /proc/3254/task/3256/stat : 3256 (java) S 3252 3254 2313 0 -1 4202560 32048 0 1 0 176 16 0 0 19 0 14 0 32787142 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3257] ppid=3252 vsize=1530996 CPUtime=0.56 /proc/3254/task/3257/stat : 3257 (java) S 3252 3254 2313 0 -1 4202560 7922 0 0 0 51 5 0 0 16 0 14 0 32787144 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3258] ppid=3252 vsize=1530996 CPUtime=0.56 /proc/3254/task/3258/stat : 3258 (java) S 3252 3254 2313 0 -1 4202560 8213 0 0 0 53 3 0 0 16 0 14 0 32787144 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3259] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3259/stat : 3259 (java) S 3252 3254 2313 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 14 0 32787146 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3260] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3260/stat : 3260 (java) S 3252 3254 2313 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 14 0 32787146 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3261] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3261/stat : 3261 (java) S 3252 3254 2313 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 14 0 32787146 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3262] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3262/stat : 3262 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 14 0 32787150 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3263] ppid=3252 vsize=1530996 CPUtime=1.44 /proc/3254/task/3263/stat : 3263 (java) S 3252 3254 2313 0 -1 4202560 1325 0 0 0 144 0 0 0 16 0 14 0 32787150 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3264] ppid=3252 vsize=1530996 CPUtime=1.12 /proc/3254/task/3264/stat : 3264 (java) S 3252 3254 2313 0 -1 4202560 2086 0 0 0 111 1 0 0 15 0 14 0 32787150 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3265] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3265/stat : 3265 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 32787150 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3266] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3266/stat : 3266 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 32787150 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3269] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3269/stat : 3269 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 14 0 32787349 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3270] ppid=3252 vsize=1530996 CPUtime=0 /proc/3254/task/3270/stat : 3270 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 14 0 32787352 1567739904 49039 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 17.65 Current children cumulated vsize (KiB) 1530996 [startup+25.5016 s] /proc/loadavg: 1.16 1.05 1.01 3/122 3298 /proc/meminfo: memFree=1557340/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=1532020 CPUtime=39.85 /proc/3254/stat : 3254 (java) S 3252 3254 2313 0 -1 4202496 55042 0 1 0 3954 31 0 0 18 0 16 0 32787141 1568788480 51065 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 ################ # More data... # ################ /proc/3254/task/3257/stat : 3257 (java) S 3252 3254 2313 0 -1 4202560 16836 0 0 0 810 20 0 0 15 0 16 0 32787144 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3258] ppid=3252 vsize=1536408 CPUtime=8.3 /proc/3254/task/3258/stat : 3258 (java) S 3252 3254 2313 0 -1 4202560 18039 0 0 0 812 18 0 0 16 0 16 0 32787144 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3259] ppid=3252 vsize=1536408 CPUtime=1.38 /proc/3254/task/3259/stat : 3259 (java) S 3252 3254 2313 0 -1 4202560 2012 0 0 0 116 22 0 0 15 0 16 0 32787146 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3260] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3260/stat : 3260 (java) S 3252 3254 2313 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 32787146 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3261] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3261/stat : 3261 (java) S 3252 3254 2313 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 32787146 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3262] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3262/stat : 3262 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 32787150 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3263] ppid=3252 vsize=1536408 CPUtime=2.07 /proc/3254/task/3263/stat : 3263 (java) S 3252 3254 2313 0 -1 4202560 2113 0 0 0 206 1 0 0 15 0 16 0 32787150 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3264] ppid=3252 vsize=1536408 CPUtime=2.04 /proc/3254/task/3264/stat : 3264 (java) S 3252 3254 2313 0 -1 4202560 6035 0 0 0 202 2 0 0 15 0 16 0 32787150 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3265] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3265/stat : 3265 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 32787150 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3266] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3266/stat : 3266 (java) S 3252 3254 2313 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 32787150 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3269] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3269/stat : 3269 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 32787349 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3270] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3270/stat : 3270 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 32787352 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3331] ppid=3252 vsize=1536408 CPUtime=637.71 /proc/3254/task/3331/stat : 3331 (java) R 3252 3254 2313 0 -1 4202560 776 0 0 0 63761 10 0 0 25 0 16 0 32810326 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4109410801 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3254/tid=3332] ppid=3252 vsize=1536408 CPUtime=638.07 /proc/3254/task/3332/stat : 3332 (java) R 3252 3254 2313 0 -1 4202560 841 0 0 0 63791 16 0 0 25 0 16 0 32810326 1573281792 68457 1992294400 134512640 134550932 4293766560 18446744073709551615 4109721547 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1670.18 Current children cumulated vsize (KiB) 1536408 [startup+942.301 s] /proc/loadavg: 2.03 1.99 1.62 3/122 3350 /proc/meminfo: memFree=1479592/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=1536408 CPUtime=1789.04 /proc/3254/stat : 3254 (java) S 3252 3254 2313 0 -1 4202496 82656 0 1 0 178776 128 0 0 18 0 16 0 32787141 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3254/statm: 384102 70018 1447 10 0 381405 0 [pid=3254/tid=3256] ppid=3252 vsize=1536408 CPUtime=1.93 /proc/3254/task/3256/stat : 3256 (java) S 3252 3254 2313 0 -1 4202560 32056 0 1 0 177 16 0 0 15 0 16 0 32787142 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3257] ppid=3252 vsize=1536408 CPUtime=9.01 /proc/3254/task/3257/stat : 3257 (java) S 3252 3254 2313 0 -1 4202560 17661 0 0 0 879 22 0 0 16 0 16 0 32787144 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3258] ppid=3252 vsize=1536408 CPUtime=9.01 /proc/3254/task/3258/stat : 3258 (java) S 3252 3254 2313 0 -1 4202560 18857 0 0 0 881 20 0 0 15 0 16 0 32787144 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3259] ppid=3252 vsize=1536408 CPUtime=1.66 /proc/3254/task/3259/stat : 3259 (java) S 3252 3254 2313 0 -1 4202560 2339 0 0 0 142 24 0 0 16 0 16 0 32787146 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3260] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3260/stat : 3260 (java) S 3252 3254 2313 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 32787146 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3261] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3261/stat : 3261 (java) S 3252 3254 2313 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 32787146 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3262] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3262/stat : 3262 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 32787150 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3263] ppid=3252 vsize=1536408 CPUtime=2.07 /proc/3254/task/3263/stat : 3263 (java) S 3252 3254 2313 0 -1 4202560 2113 0 0 0 206 1 0 0 15 0 16 0 32787150 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3264] ppid=3252 vsize=1536408 CPUtime=2.05 /proc/3254/task/3264/stat : 3264 (java) S 3252 3254 2313 0 -1 4202560 6035 0 0 0 203 2 0 0 15 0 16 0 32787150 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3265] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3265/stat : 3265 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 32787150 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3266] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3266/stat : 3266 (java) S 3252 3254 2313 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 16 0 32787150 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3269] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3269/stat : 3269 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 32787349 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3270] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3270/stat : 3270 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 32787352 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3331] ppid=3252 vsize=1536408 CPUtime=696.38 /proc/3254/task/3331/stat : 3331 (java) R 3252 3254 2313 0 -1 4202560 840 0 0 0 69627 11 0 0 25 0 16 0 32810326 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4109410577 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3254/tid=3332] ppid=3252 vsize=1536408 CPUtime=696.56 /proc/3254/task/3332/stat : 3332 (java) R 3252 3254 2313 0 -1 4202560 918 0 0 0 69640 16 0 0 25 0 16 0 32810326 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4109147039 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1789.04 Current children cumulated vsize (KiB) 1536408 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+947.901 s] /proc/loadavg: 2.03 1.99 1.62 3/122 3350 /proc/meminfo: memFree=1479592/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=1536408 CPUtime=1800.14 /proc/3254/stat : 3254 (java) S 3252 3254 2313 0 -1 4202496 82670 0 1 0 179886 128 0 0 18 0 16 0 32787141 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3254/statm: 384102 70018 1447 10 0 381405 0 [pid=3254/tid=3256] ppid=3252 vsize=1536408 CPUtime=1.93 /proc/3254/task/3256/stat : 3256 (java) S 3252 3254 2313 0 -1 4202560 32056 0 1 0 177 16 0 0 15 0 16 0 32787142 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3257] ppid=3252 vsize=1536408 CPUtime=9.06 /proc/3254/task/3257/stat : 3257 (java) S 3252 3254 2313 0 -1 4202560 17661 0 0 0 884 22 0 0 16 0 16 0 32787144 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3258] ppid=3252 vsize=1536408 CPUtime=9.06 /proc/3254/task/3258/stat : 3258 (java) S 3252 3254 2313 0 -1 4202560 18857 0 0 0 886 20 0 0 16 0 16 0 32787144 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3259] ppid=3252 vsize=1536408 CPUtime=1.67 /proc/3254/task/3259/stat : 3259 (java) S 3252 3254 2313 0 -1 4202560 2339 0 0 0 143 24 0 0 15 0 16 0 32787146 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3260] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3260/stat : 3260 (java) S 3252 3254 2313 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 32787146 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3261] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3261/stat : 3261 (java) S 3252 3254 2313 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 32787146 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3262] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3262/stat : 3262 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 32787150 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3263] ppid=3252 vsize=1536408 CPUtime=2.07 /proc/3254/task/3263/stat : 3263 (java) S 3252 3254 2313 0 -1 4202560 2113 0 0 0 206 1 0 0 15 0 16 0 32787150 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3264] ppid=3252 vsize=1536408 CPUtime=2.05 /proc/3254/task/3264/stat : 3264 (java) S 3252 3254 2313 0 -1 4202560 6035 0 0 0 203 2 0 0 15 0 16 0 32787150 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3265] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3265/stat : 3265 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 32787150 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3266] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3266/stat : 3266 (java) S 3252 3254 2313 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 16 0 32787150 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3269] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3269/stat : 3269 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 32787349 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3270] ppid=3252 vsize=1536408 CPUtime=0 /proc/3254/task/3270/stat : 3270 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 32787352 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3331] ppid=3252 vsize=1536408 CPUtime=701.87 /proc/3254/task/3331/stat : 3331 (java) R 3252 3254 2313 0 -1 4202560 844 0 0 0 70176 11 0 0 25 0 16 0 32810326 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4109410722 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3254/tid=3332] ppid=3252 vsize=1536408 CPUtime=702.07 /proc/3254/task/3332/stat : 3332 (java) R 3252 3254 2313 0 -1 4202560 928 0 0 0 70190 17 0 0 25 0 16 0 32810326 1573281792 70018 1992294400 134512640 134550932 4293766560 18446744073709551615 4109403237 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 1536408 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+948.701 s] /proc/loadavg: 2.11 2.00 1.63 4/125 3353 /proc/meminfo: memFree=1479568/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=1537056 CPUtime=1801.71 /proc/3254/stat : 3254 (java) S 3252 3254 2313 0 -1 4202496 82690 0 1 0 180042 129 0 0 18 0 18 0 32787141 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3254/statm: 384264 70035 1447 10 0 381567 0 [pid=3254/tid=3256] ppid=3252 vsize=1537056 CPUtime=1.93 /proc/3254/task/3256/stat : 3256 (java) S 3252 3254 2313 0 -1 4202560 32056 0 1 0 177 16 0 0 15 0 18 0 32787142 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3257] ppid=3252 vsize=1537056 CPUtime=9.07 /proc/3254/task/3257/stat : 3257 (java) S 3252 3254 2313 0 -1 4202560 17661 0 0 0 885 22 0 0 16 0 18 0 32787144 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3258] ppid=3252 vsize=1537056 CPUtime=9.07 /proc/3254/task/3258/stat : 3258 (java) S 3252 3254 2313 0 -1 4202560 18857 0 0 0 887 20 0 0 16 0 18 0 32787144 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3259] ppid=3252 vsize=1537056 CPUtime=1.68 /proc/3254/task/3259/stat : 3259 (java) S 3252 3254 2313 0 -1 4202560 2339 0 0 0 143 25 0 0 15 0 18 0 32787146 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 0 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3260] ppid=3252 vsize=1537056 CPUtime=0 /proc/3254/task/3260/stat : 3260 (java) S 3252 3254 2313 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 32787146 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3261] ppid=3252 vsize=1537056 CPUtime=0 /proc/3254/task/3261/stat : 3261 (java) S 3252 3254 2313 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 32787146 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3262] ppid=3252 vsize=1537056 CPUtime=0 /proc/3254/task/3262/stat : 3262 (java) S 3252 3254 2313 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 32787150 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3263] ppid=3252 vsize=1537056 CPUtime=2.07 /proc/3254/task/3263/stat : 3263 (java) S 3252 3254 2313 0 -1 4202560 2113 0 0 0 206 1 0 0 15 0 18 0 32787150 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3264] ppid=3252 vsize=1537056 CPUtime=2.07 /proc/3254/task/3264/stat : 3264 (java) S 3252 3254 2313 0 -1 4202560 6036 0 0 0 205 2 0 0 15 0 18 0 32787150 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3265] ppid=3252 vsize=1537056 CPUtime=0 /proc/3254/task/3265/stat : 3265 (java) S 3252 3254 2313 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 32787150 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3266] ppid=3252 vsize=1537056 CPUtime=0 /proc/3254/task/3266/stat : 3266 (java) S 3252 3254 2313 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 18 0 32787150 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3269] ppid=3252 vsize=1537056 CPUtime=0 /proc/3254/task/3269/stat : 3269 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 18 0 32787349 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3270] ppid=3252 vsize=1537056 CPUtime=0 /proc/3254/task/3270/stat : 3270 (java) S 3252 3254 2313 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 18 0 32787352 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 1 0 0 0 [pid=3254/tid=3331] ppid=3252 vsize=1537056 CPUtime=702.63 /proc/3254/task/3331/stat : 3331 (java) R 3252 3254 2313 0 -1 4202560 845 0 0 0 70252 11 0 0 25 0 18 0 32810326 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4109147029 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3254/tid=3332] ppid=3252 vsize=1537056 CPUtime=702.8 /proc/3254/task/3332/stat : 3332 (java) R 3252 3254 2313 0 -1 4202560 928 0 0 0 70263 17 0 0 18 0 18 0 32810326 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4109147027 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3254/tid=3352] ppid=3252 vsize=1537056 CPUtime=0 /proc/3254/task/3352/stat : 3352 (java) S 3252 3254 2313 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 32881933 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4294960144 0 4 0 16800975 18446604437871875904 0 0 -1 0 0 0 0 [pid=3254/tid=3353] ppid=3252 vsize=1537056 CPUtime=0.02 /proc/3254/task/3353/stat : 3353 (java) R 3252 3254 2313 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 18 0 32881933 1573945344 70035 1992294400 134512640 134550932 4293766560 18446744073709551615 4108785044 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1801.71 Current children cumulated vsize (KiB) 1537056 [startup+948.901 s] /proc/loadavg: 2.11 2.00 1.63 4/125 3353 /proc/meminfo: memFree=1479568/2059040 swapFree=4136184/4192956 [pid=3254] ppid=3252 vsize=0 CPUtime=1802.08 /proc/3254/stat : 3254 (java) Z 3252 3254 2313 0 -1 4203548 82694 0 1 0 180077 131 0 0 18 0 2 0 32787141 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/3254/statm: 0 0 0 0 0 0 0 [pid=3254/tid=3332] ppid=3252 vsize=0 CPUtime=702.99 /proc/3254/task/3332/stat : 3332 (java) R 3252 3254 2313 0 -1 4203588 929 0 0 0 70280 19 0 0 19 0 2 0 32810326 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1802.08 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 948.913 CPU time (s): 1802.1 CPU user time (s): 1800.77 CPU system time (s): 1.3248 CPU usage (%): 189.912 Max. virtual memory (cumulated for all children) (KiB): 1538976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.77 system time used= 1.3248 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82694 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= 48151 involuntary context switches= 62104 runsolver used 4.07238 second user time and 8.49971 second system time The end
Begin job on node011 at 2010-06-15 05:17:36 IDJOB=2662303 IDBENCH=2527 IDSOLVER=1166 FILE ID=node011/2662303-1276571856 PBS_JOBID= 11173513 Free space on /tmp= 62360 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662303-1276571856/watcher-2662303-1276571856 -o /tmp/evaluation-result-2662303-1276571856/solver-2662303-1276571856 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662303-1276571856.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398 RANDOM SEED=191321217 node011.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.264 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.52 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.264 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1757936 kB Buffers: 80448 kB Cached: 143348 kB SwapCached: 9784 kB Active: 84468 kB Inactive: 152028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1757936 kB SwapTotal: 4192956 kB SwapFree: 4136184 kB Dirty: 2280 kB Writeback: 4 kB AnonPages: 11388 kB Mapped: 9260 kB Slab: 42848 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180568 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= 62360 MiB End job on node011 at 2010-06-15 05:33:26