Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo CP 2.1.1 | SAT (TO) | -95 | 1800.39 | 1790.3 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_2.opb |
MD5SUM | fc8bff78845ab9a14b2d06ab749e4dc4 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -107 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -137 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12656 |
Sum of products size (including duplicates) | 25312 |
Number of different products | 6328 |
Sum of products size | 12656 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.1.1.v20090612 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1342000320 0.08/0.15 c Max memory 1344274432 0.08/0.15 c Total memory 1344274432 0.08/0.15 c Number of processors 2 0.22/0.21 c Pseudo Boolean Optimization 0.22/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.22/0.21 c --- Begin Solver configuration --- 0.22/0.21 c Stops conflict analysis at the first Unique Implication Point 0.22/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ecd7e 0.22/0.21 c Learn all clauses as in MiniSAT 0.22/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.21 c No reason simplification 0.22/0.21 c MiniSAT restarts strategy 0.22/0.21 c Memory based learned constraints deletion strategy 0.22/0.21 c timeout=2147483s 0.22/0.21 c DB Simplification allowed=false 0.22/0.21 c --- End Solver configuration --- 0.22/0.21 c solving HOME/instance-1857916-1244966176.opb 0.22/0.21 c reading problem ... 15.71/14.90 c ... done. Wall clock time 14.687s. 15.71/14.90 c #vars 7328 15.71/14.90 c #constraints 14158 15.71/14.90 c constraints type 15.71/14.90 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 15.71/14.90 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6328 15.71/14.90 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002 15.71/14.90 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6328 16.84/15.59 c SATISFIABLE 16.84/15.59 c OPTIMIZING... 16.84/15.59 c Got one! Elapsed wall clock time (in seconds):15.378 16.84/15.59 o -8 17.83/16.08 c Got one! Elapsed wall clock time (in seconds):15.862 17.83/16.08 o -9 18.15/16.25 c Got one! Elapsed wall clock time (in seconds):16.04 18.15/16.25 o -21 18.59/16.54 c Got one! Elapsed wall clock time (in seconds):16.322 18.59/16.54 o -25 19.15/16.91 c Got one! Elapsed wall clock time (in seconds):16.696 19.15/16.91 o -26 19.30/17.07 c Got one! Elapsed wall clock time (in seconds):16.853 19.30/17.07 o -27 19.63/17.32 c Got one! Elapsed wall clock time (in seconds):17.105 19.63/17.32 o -28 19.74/17.50 c Got one! Elapsed wall clock time (in seconds):17.287 19.74/17.50 o -29 19.95/17.61 c Got one! Elapsed wall clock time (in seconds):17.399 19.95/17.61 o -30 20.46/17.91 c Got one! Elapsed wall clock time (in seconds):17.699 20.46/17.91 o -31 20.58/18.10 c Got one! Elapsed wall clock time (in seconds):17.883 20.58/18.10 o -32 20.89/18.32 c Got one! Elapsed wall clock time (in seconds):18.107 20.89/18.32 o -33 21.14/18.54 c Got one! Elapsed wall clock time (in seconds):18.323 21.14/18.54 o -34 21.34/18.74 c Got one! Elapsed wall clock time (in seconds):18.522 21.34/18.74 o -35 21.54/18.90 c Got one! Elapsed wall clock time (in seconds):18.685 21.54/18.90 o -36 21.65/19.05 c Got one! Elapsed wall clock time (in seconds):18.84 21.65/19.05 o -37 21.85/19.21 c Got one! Elapsed wall clock time (in seconds):18.998 21.85/19.21 o -38 22.17/19.57 c Got one! Elapsed wall clock time (in seconds):19.355 22.17/19.57 o -39 22.38/19.71 c Got one! Elapsed wall clock time (in seconds):19.497 22.38/19.71 o -49 22.57/19.90 c Got one! Elapsed wall clock time (in seconds):19.688 22.57/19.90 o -50 22.67/20.02 c Got one! Elapsed wall clock time (in seconds):19.801 22.67/20.02 o -51 22.90/20.25 c Got one! Elapsed wall clock time (in seconds):20.032 22.90/20.25 o -52 23.20/20.51 c Got one! Elapsed wall clock time (in seconds):20.293 23.20/20.51 o -53 23.30/20.67 c Got one! Elapsed wall clock time (in seconds):20.457 23.30/20.67 o -54 23.50/20.84 c Got one! Elapsed wall clock time (in seconds):20.622 23.50/20.84 o -64 23.85/21.17 c Got one! Elapsed wall clock time (in seconds):20.955 23.85/21.17 o -65 24.05/21.37 c Got one! Elapsed wall clock time (in seconds):21.16 24.05/21.37 o -66 24.55/21.80 c Got one! Elapsed wall clock time (in seconds):21.588 24.55/21.80 o -67 24.75/22.04 c Got one! Elapsed wall clock time (in seconds):21.824 24.75/22.04 o -68 24.95/22.29 c Got one! Elapsed wall clock time (in seconds):22.079 24.95/22.29 o -69 25.28/22.50 c Got one! Elapsed wall clock time (in seconds):22.288 25.28/22.50 o -71 27.82/25.02 c Got one! Elapsed wall clock time (in seconds):24.807 27.82/25.02 o -72 28.95/26.12 c Got one! Elapsed wall clock time (in seconds):25.902 28.95/26.12 o -83 32.80/29.93 c Got one! Elapsed wall clock time (in seconds):29.712 32.80/29.93 o -84 35.45/32.56 c Got one! Elapsed wall clock time (in seconds):32.346 35.45/32.56 o -85 47.00/44.04 c Got one! Elapsed wall clock time (in seconds):43.826 47.00/44.04 o -86 62.22/59.20 c Got one! Elapsed wall clock time (in seconds):58.983 62.22/59.20 o -87 68.17/65.05 c Got one! Elapsed wall clock time (in seconds):64.838 68.17/65.05 o -88 77.41/74.29 c Got one! Elapsed wall clock time (in seconds):74.073 77.41/74.29 o -89 114.32/111.05 c Got one! Elapsed wall clock time (in seconds):110.838 114.32/111.05 o -90 141.09/137.78 c Got one! Elapsed wall clock time (in seconds):137.571 141.09/137.79 o -91 255.41/251.51 c Got one! Elapsed wall clock time (in seconds):251.301 255.41/251.51 o -92 430.67/426.36 c Got one! Elapsed wall clock time (in seconds):426.142 430.67/426.36 o -93 989.18/982.36 c Got one! Elapsed wall clock time (in seconds):982.146 989.18/982.36 o -94 1228.16/1220.56 c Got one! Elapsed wall clock time (in seconds):1220.343 1228.16/1220.56 o -95 1800.09/1790.12 c starts : 75 1800.09/1790.12 c conflicts : 8056 1800.09/1790.12 c decisions : 445788 1800.09/1790.12 c propagations : 4913688 1800.09/1790.12 c inspects : 396893751 1800.09/1790.12 c learnt literals : 0 1800.09/1790.12 c learnt binary clauses : 0 1800.09/1790.12 c learnt ternary clauses : 0 1800.09/1790.12 c learnt clauses : 8056 1800.09/1790.12 c ignored clauses : 0 1800.09/1790.12 c root simplifications : 0 1800.09/1790.12 c removed literals (reason simplification) : 0 1800.09/1790.12 c reason swapping (by a shorter reason) : 0 1800.09/1790.12 c Calls to reduceDB : 0 1800.09/1790.12 c speed (assignments/second) : 8627.179976086762 1800.09/1790.12 c non guided choices 380 1800.09/1790.13 c learnt constraints type 1800.09/1790.13 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3 1800.09/1790.13 c org.sat4j.pb.constraints.pb.MaxWatchPb => 8053 1800.09/1790.13 c constraints type 1800.09/1790.13 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 1800.09/1790.13 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6328 1800.09/1790.13 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1003 1800.09/1790.13 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6328 1800.09/1790.13 s SATISFIABLE 1800.09/1790.19 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 x185 -x186 -x187 x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 x228 x229 x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 x245 -x246 -x247 x248 -x249 x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 x273 -x274 -x275 -x276 x277 x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 -x316 -x317 x318 x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 x355 x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 x397 x398 -x399 x400 -x401 -x402 x403 -x404 x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 x449 x450 x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 x472 x473 x474 -x475 -x476 -x477 x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 x522 -x523 -x524 x525 -x526 x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 x604 x605 -x606 x607 -x608 -x609 -x610 x611 x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 x624 -x625 -x626 x627 x628 x629 -x630 -x631 -x632 -x633 -x634 x635 x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 x655 x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 x711 x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 x752 -x753 -x754 -x755 x756 x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 x788 -x789 -x790 -x791 x792 -x793 x794 -x795 x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 x887 x888 -x889 -x890 x891 -x892 -x893 x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 x913 x914 x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 x989 -x990 x991 x992 -x993 x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 x3874 -x3875 x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 1800.29/1790.21 c objective function=-95 1800.29/1790.21 c Total wall clock time (in seconds): 1789.998
OK -95
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1857916-1244966176/watcher-1857916-1244966176 -o /tmp/evaluation-result-1857916-1244966176/solver-1857916-1244966176 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1857916-1244966176.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: 1.00 1.00 1.00 3/64 23473 /proc/meminfo: memFree=1284648/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1612 CPUtime=0 /proc/23473/stat : 23473 (java6) D 23471 23473 23340 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 49350526 1650688 147 1992294400 134512640 134550932 4294956160 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/23473/statm: 403 147 111 9 0 45 0 [startup+0.0723731 s] /proc/loadavg: 1.00 1.00 1.00 3/64 23473 /proc/meminfo: memFree=1284648/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1470220 CPUtime=0.06 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 3395 0 1 0 4 2 0 0 18 0 7 0 49350526 1505505280 3140 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16784585 18446744073709551615 0 0 17 0 0 0 /proc/23473/statm: 367555 3140 1032 9 0 364906 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1470220 [startup+0.101377 s] /proc/loadavg: 1.00 1.00 1.00 3/64 23473 /proc/meminfo: memFree=1284648/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1472584 CPUtime=0.08 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 3634 0 1 0 6 2 0 0 18 0 12 0 49350526 1507926016 3377 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23473/statm: 368146 3377 1068 9 0 365494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472584 [startup+0.301424 s] /proc/loadavg: 1.00 1.00 1.00 3/64 23473 /proc/meminfo: memFree=1284648/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1475008 CPUtime=0.34 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 5041 0 1 0 31 3 0 0 18 0 12 0 49350526 1510408192 4778 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23473/statm: 368752 4778 1355 9 0 366095 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1475008 [startup+0.701505 s] /proc/loadavg: 1.00 1.00 1.00 3/64 23473 /proc/meminfo: memFree=1284648/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1476980 CPUtime=0.98 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 7095 0 1 0 94 4 0 0 18 0 12 0 49350526 1512427520 5965 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23473/statm: 369245 5965 1403 9 0 366588 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 1476980 [startup+1.50266 s] /proc/loadavg: 1.08 1.02 1.01 2/76 23485 /proc/meminfo: memFree=1264328/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1477960 CPUtime=2.06 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 8987 0 1 0 201 5 0 0 18 0 12 0 49350526 1513431040 6969 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23473/statm: 369490 6969 1404 9 0 366833 0 [pid=23473/tid=23475] ppid=23471 vsize=1477960 CPUtime=1.32 /proc/23473/task/23475/stat : 23475 (java) R 23471 23473 23340 0 -1 64 5075 0 1 0 129 3 0 0 25 0 12 0 49350527 1513431040 6969 1992294400 134512640 134550932 4294956000 18446744073709551615 4109450113 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23476] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23476/stat : 23476 (java) S 23471 23473 23340 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 49350529 1513431040 6969 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23477] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23477/stat : 23477 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 49350529 1513431040 6969 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23478] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23478/stat : 23478 (java) S 23471 23473 23340 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 49350530 1513431040 6969 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23479] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23479/stat : 23479 (java) S 23471 23473 23340 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 49350531 1513431040 6969 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23480] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23480/stat : 23480 (java) S 23471 23473 23340 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 49350531 1513431040 6969 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23481] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23481/stat : 23481 (java) S 23471 23473 23340 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 49350535 1513431040 6969 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23482] ppid=23471 vsize=1477960 CPUtime=0.25 /proc/23473/task/23482/stat : 23482 (java) S 23471 23473 23340 0 -1 64 726 0 0 0 25 0 0 0 16 0 12 0 49350535 1513431040 6969 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23483] ppid=23471 vsize=1477960 CPUtime=0.46 /proc/23473/task/23483/stat : 23483 (java) S 23471 23473 23340 0 -1 64 2445 0 0 0 46 0 0 0 15 0 12 0 49350535 1513431040 6969 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23484] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23484/stat : 23484 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 49350535 1513431040 6969 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23485] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23485/stat : 23485 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 49350535 1513431040 6969 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.06 Current children cumulated vsize (KiB) 1477960 [startup+3.10199 s] /proc/loadavg: 1.08 1.02 1.01 2/76 23485 /proc/meminfo: memFree=1260808/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1477960 CPUtime=3.69 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 9581 0 1 0 364 5 0 0 18 0 12 0 49350526 1513431040 7563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23473/statm: 369490 7563 1404 9 0 366833 0 [pid=23473/tid=23475] ppid=23471 vsize=1477960 CPUtime=2.92 /proc/23473/task/23475/stat : 23475 (java) R 23471 23473 23340 0 -1 64 5664 0 1 0 288 4 0 0 25 0 12 0 49350527 1513431040 7563 1992294400 134512640 134550932 4294956000 18446744073709551615 4109450638 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23476] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23476/stat : 23476 (java) S 23471 23473 23340 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 49350529 1513431040 7563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23477] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23477/stat : 23477 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 49350529 1513431040 7563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23478] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23478/stat : 23478 (java) S 23471 23473 23340 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 49350530 1513431040 7563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23479] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23479/stat : 23479 (java) S 23471 23473 23340 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 49350531 1513431040 7563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23480] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23480/stat : 23480 (java) S 23471 23473 23340 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 49350531 1513431040 7563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23481] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23481/stat : 23481 (java) S 23471 23473 23340 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 49350535 1513431040 7563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23482] ppid=23471 vsize=1477960 CPUtime=0.25 /proc/23473/task/23482/stat : 23482 (java) S 23471 23473 23340 0 -1 64 726 0 0 0 25 0 0 0 16 0 12 0 49350535 1513431040 7563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23483] ppid=23471 vsize=1477960 CPUtime=0.5 /proc/23473/task/23483/stat : 23483 (java) S 23471 23473 23340 0 -1 64 2450 0 0 0 50 0 0 0 16 0 12 0 49350535 1513431040 7563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23484] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23484/stat : 23484 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 49350535 1513431040 7563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23485] ppid=23471 vsize=1477960 CPUtime=0 /proc/23473/task/23485/stat : 23485 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 49350535 1513431040 7563 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.69 Current children cumulated vsize (KiB) 1477960 [startup+6.30261 s] /proc/loadavg: 1.08 1.02 1.01 2/76 23485 /proc/meminfo: memFree=1258120/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1477076 CPUtime=6.97 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 10243 0 1 0 691 6 0 0 18 0 12 0 49350526 1512525824 8011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23473/statm: 369269 8011 1406 9 0 366612 0 [pid=23473/tid=23475] ppid=23471 vsize=1477076 CPUtime=6.1 /proc/23473/task/23475/stat : 23475 (java) R 23471 23473 23340 0 -1 64 6316 0 1 0 605 5 0 0 25 0 12 0 49350527 1512525824 8011 1992294400 134512640 134550932 4294956000 18446744073709551615 4109487541 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23476] ppid=23471 vsize=1477076 CPUtime=0 /proc/23473/task/23476/stat : 23476 (java) S 23471 23473 23340 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 49350529 1512525824 8011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23477] ppid=23471 vsize=1477076 CPUtime=0 /proc/23473/task/23477/stat : 23477 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 49350529 1512525824 8011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23478] ppid=23471 vsize=1477076 CPUtime=0 /proc/23473/task/23478/stat : 23478 (java) S 23471 23473 23340 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 49350530 1512525824 8011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23479] ppid=23471 vsize=1477076 CPUtime=0 /proc/23473/task/23479/stat : 23479 (java) S 23471 23473 23340 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 49350531 1512525824 8011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23480] ppid=23471 vsize=1477076 CPUtime=0 /proc/23473/task/23480/stat : 23480 (java) S 23471 23473 23340 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 49350531 1512525824 8011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23481] ppid=23471 vsize=1477076 CPUtime=0 /proc/23473/task/23481/stat : 23481 (java) S 23471 23473 23340 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 49350535 1512525824 8011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23482] ppid=23471 vsize=1477076 CPUtime=0.35 /proc/23473/task/23482/stat : 23482 (java) S 23471 23473 23340 0 -1 64 735 0 0 0 35 0 0 0 16 0 12 0 49350535 1512525824 8011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23483] ppid=23471 vsize=1477076 CPUtime=0.51 /proc/23473/task/23483/stat : 23483 (java) S 23471 23473 23340 0 -1 64 2451 0 0 0 51 0 0 0 17 0 12 0 49350535 1512525824 8011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23484] ppid=23471 vsize=1477076 CPUtime=0 /proc/23473/task/23484/stat : 23484 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 49350535 1512525824 8011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23485] ppid=23471 vsize=1477076 CPUtime=0 /proc/23473/task/23485/stat : 23485 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 49350535 1512525824 8011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.97 Current children cumulated vsize (KiB) 1477076 [startup+12.7019 s] /proc/loadavg: 1.07 1.02 1.00 2/76 23485 /proc/meminfo: memFree=1252360/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1478664 CPUtime=13.51 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 11863 0 1 0 1343 8 0 0 18 0 12 0 49350526 1514151936 9384 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23473/statm: 369666 9384 1406 9 0 367009 0 [pid=23473/tid=23475] ppid=23471 vsize=1478664 CPUtime=12.45 /proc/23473/task/23475/stat : 23475 (java) R 23471 23473 23340 0 -1 64 7321 0 1 0 1239 6 0 0 25 0 12 0 49350527 1514151936 9384 1992294400 134512640 134550932 4294956000 18446744073709551615 4109450700 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23476] ppid=23471 vsize=1478664 CPUtime=0 /proc/23473/task/23476/stat : 23476 (java) S 23471 23473 23340 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 49350529 1514151936 9384 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23477] ppid=23471 vsize=1478664 CPUtime=0 /proc/23473/task/23477/stat : 23477 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 49350529 1514151936 9384 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23478] ppid=23471 vsize=1478664 CPUtime=0 /proc/23473/task/23478/stat : 23478 (java) S 23471 23473 23340 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 49350530 1514151936 9384 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23479] ppid=23471 vsize=1478664 CPUtime=0 /proc/23473/task/23479/stat : 23479 (java) S 23471 23473 23340 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 49350531 1514151936 9384 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23480] ppid=23471 vsize=1478664 CPUtime=0 /proc/23473/task/23480/stat : 23480 (java) S 23471 23473 23340 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 49350531 1514151936 9384 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23481] ppid=23471 vsize=1478664 CPUtime=0 /proc/23473/task/23481/stat : 23481 (java) S 23471 23473 23340 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 49350535 1514151936 9384 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23482] ppid=23471 vsize=1478664 CPUtime=0.38 /proc/23473/task/23482/stat : 23482 (java) S 23471 23473 23340 0 -1 64 748 0 0 0 38 0 0 0 16 0 12 0 49350535 1514151936 9384 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23483] ppid=23471 vsize=1478664 CPUtime=0.66 /proc/23473/task/23483/stat : 23483 (java) S 23471 23473 23340 0 -1 64 3053 0 0 0 65 1 0 0 16 0 12 0 49350535 1514151936 9384 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23484] ppid=23471 vsize=1478664 CPUtime=0 /proc/23473/task/23484/stat : 23484 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 49350535 1514151936 9384 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23485] ppid=23471 vsize=1478664 CPUtime=0 /proc/23473/task/23485/stat : 23485 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 49350535 1514151936 9384 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 13.51 Current children cumulated vsize (KiB) 1478664 [startup+25.5024 s] /proc/loadavg: 1.13 1.03 1.01 2/77 23486 /proc/meminfo: memFree=1119936/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1488432 CPUtime=28.35 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 56354 0 1 0 2807 28 0 0 18 0 13 0 49350526 1524154368 45903 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23473/statm: 372108 45903 1436 9 0 369451 0 [pid=23473/tid=23475] ppid=23471 vsize=1488432 CPUtime=24.3 /proc/23473/task/23475/stat : 23475 (java) R 23471 23473 23340 0 -1 64 32959 0 1 0 2413 17 0 0 24 0 13 0 49350527 1524154368 45903 1992294400 134512640 134550932 4294956000 18446744073709551615 4109781368 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23476] ppid=23471 vsize=1488432 CPUtime=0.21 /proc/23473/task/23476/stat : 23476 (java) S 23471 23473 23340 0 -1 64 4565 0 0 0 19 2 0 0 16 0 13 0 49350529 1524154368 45903 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23477] ppid=23471 vsize=1488432 CPUtime=0.21 /proc/23473/task/23477/stat : 23477 (java) S 23471 23473 23340 0 -1 64 3793 0 0 0 20 1 0 0 17 0 13 0 49350529 1524154368 45903 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23478] ppid=23471 vsize=1488432 CPUtime=0 /proc/23473/task/23478/stat : 23478 (java) S 23471 23473 23340 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 49350530 1524154368 45903 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23479] ppid=23471 vsize=1488432 CPUtime=0 /proc/23473/task/23479/stat : 23479 (java) S 23471 23473 23340 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 49350531 1524154368 45903 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23480] ppid=23471 vsize=1488432 CPUtime=0 /proc/23473/task/23480/stat : 23480 (java) S 23471 23473 23340 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 49350531 1524154368 45903 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23481] ppid=23471 vsize=1488432 CPUtime=0 /proc/23473/task/23481/stat : 23481 (java) S 23471 23473 23340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 49350535 1524154368 45903 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23482] ppid=23471 vsize=1488432 CPUtime=1.56 ################ # More data... # ################ [pid=23473] ppid=23471 vsize=1484780 CPUtime=1671.7 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 104939 0 1 0 167093 77 0 0 18 0 13 0 49350526 1520414720 86646 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23473/statm: 371195 86646 1440 9 0 368538 0 [pid=23473/tid=23475] ppid=23471 vsize=1484780 CPUtime=1653.49 /proc/23473/task/23475/stat : 23475 (java) R 23471 23473 23340 0 -1 64 33445 0 1 0 165328 21 0 0 25 0 13 0 49350527 1520414720 86646 1992294400 134512640 134550932 4294956000 18446744073709551615 4109805315 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23476] ppid=23471 vsize=1484780 CPUtime=6.93 /proc/23473/task/23476/stat : 23476 (java) S 23471 23473 23340 0 -1 64 28524 0 0 0 673 20 0 0 16 0 13 0 49350529 1520414720 86646 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23477] ppid=23471 vsize=1484780 CPUtime=6.89 /proc/23473/task/23477/stat : 23477 (java) S 23471 23473 23340 0 -1 64 26620 0 0 0 665 24 0 0 16 0 13 0 49350529 1520414720 86646 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23478] ppid=23471 vsize=1484780 CPUtime=0.1 /proc/23473/task/23478/stat : 23478 (java) S 23471 23473 23340 0 -1 64 34 0 0 0 7 3 0 0 16 0 13 0 49350530 1520414720 86646 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23479] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23479/stat : 23479 (java) S 23471 23473 23340 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 49350531 1520414720 86646 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23480] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23480/stat : 23480 (java) S 23471 23473 23340 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 49350531 1520414720 86646 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23481] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23481/stat : 23481 (java) S 23471 23473 23340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 49350535 1520414720 86646 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23482] ppid=23471 vsize=1484780 CPUtime=1.62 /proc/23473/task/23482/stat : 23482 (java) S 23471 23473 23340 0 -1 64 4599 0 0 0 160 2 0 0 16 0 13 0 49350535 1520414720 86646 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23483] ppid=23471 vsize=1484780 CPUtime=2.61 /proc/23473/task/23483/stat : 23483 (java) S 23471 23473 23340 0 -1 64 10973 0 0 0 257 4 0 0 17 0 13 0 49350535 1520414720 86646 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23484] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23484/stat : 23484 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 49350535 1520414720 86646 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23485] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23485/stat : 23485 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 49350535 1520414720 86646 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23486] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23486/stat : 23486 (java) S 23471 23473 23340 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 49352024 1520414720 86646 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1671.7 Current children cumulated vsize (KiB) 1484780 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 23492 /proc/meminfo: memFree=940800/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1484780 CPUtime=1731.89 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 105291 0 1 0 173111 78 0 0 18 0 13 0 49350526 1520414720 86974 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23473/statm: 371195 86974 1440 9 0 368538 0 [pid=23473/tid=23475] ppid=23471 vsize=1484780 CPUtime=1713.23 /proc/23473/task/23475/stat : 23475 (java) R 23471 23473 23340 0 -1 64 33460 0 1 0 171302 21 0 0 25 0 13 0 49350527 1520414720 86974 1992294400 134512640 134550932 4294956000 18446744073709551615 4109805915 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23476] ppid=23471 vsize=1484780 CPUtime=7.15 /proc/23473/task/23476/stat : 23476 (java) S 23471 23473 23340 0 -1 64 28693 0 0 0 695 20 0 0 16 0 13 0 49350529 1520414720 86974 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23477] ppid=23471 vsize=1484780 CPUtime=7.11 /proc/23473/task/23477/stat : 23477 (java) S 23471 23473 23340 0 -1 64 26788 0 0 0 687 24 0 0 16 0 13 0 49350529 1520414720 86974 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23478] ppid=23471 vsize=1484780 CPUtime=0.11 /proc/23473/task/23478/stat : 23478 (java) S 23471 23473 23340 0 -1 64 34 0 0 0 8 3 0 0 15 0 13 0 49350530 1520414720 86974 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23479] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23479/stat : 23479 (java) S 23471 23473 23340 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 49350531 1520414720 86974 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23480] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23480/stat : 23480 (java) S 23471 23473 23340 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 49350531 1520414720 86974 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23481] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23481/stat : 23481 (java) S 23471 23473 23340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 49350535 1520414720 86974 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23482] ppid=23471 vsize=1484780 CPUtime=1.62 /proc/23473/task/23482/stat : 23482 (java) S 23471 23473 23340 0 -1 64 4599 0 0 0 160 2 0 0 16 0 13 0 49350535 1520414720 86974 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23483] ppid=23471 vsize=1484780 CPUtime=2.61 /proc/23473/task/23483/stat : 23483 (java) S 23471 23473 23340 0 -1 64 10973 0 0 0 257 4 0 0 17 0 13 0 49350535 1520414720 86974 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23484] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23484/stat : 23484 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 49350535 1520414720 86974 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23485] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23485/stat : 23485 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 49350535 1520414720 86974 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23486] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23486/stat : 23486 (java) S 23471 23473 23340 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 49352024 1520414720 86974 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1731.89 Current children cumulated vsize (KiB) 1484780 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 23492 /proc/meminfo: memFree=929856/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1484780 CPUtime=1792.25 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 108395 0 1 0 179145 80 0 0 18 0 13 0 49350526 1520414720 89681 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23473/statm: 371195 89681 1440 9 0 368538 0 [pid=23473/tid=23475] ppid=23471 vsize=1484780 CPUtime=1772.82 /proc/23473/task/23475/stat : 23475 (java) R 23471 23473 23340 0 -1 64 33477 0 1 0 177260 22 0 0 25 0 13 0 49350527 1520414720 89681 1992294400 134512640 134550932 4294956000 18446744073709551615 4109805688 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23476] ppid=23471 vsize=1484780 CPUtime=7.54 /proc/23473/task/23476/stat : 23476 (java) S 23471 23473 23340 0 -1 64 30044 0 0 0 733 21 0 0 16 0 13 0 49350529 1520414720 89681 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23477] ppid=23471 vsize=1484780 CPUtime=7.5 /proc/23473/task/23477/stat : 23477 (java) S 23471 23473 23340 0 -1 64 28524 0 0 0 725 25 0 0 17 0 13 0 49350529 1520414720 89681 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23478] ppid=23471 vsize=1484780 CPUtime=0.11 /proc/23473/task/23478/stat : 23478 (java) S 23471 23473 23340 0 -1 64 34 0 0 0 8 3 0 0 15 0 13 0 49350530 1520414720 89681 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23479] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23479/stat : 23479 (java) S 23471 23473 23340 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 49350531 1520414720 89681 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23480] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23480/stat : 23480 (java) S 23471 23473 23340 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 49350531 1520414720 89681 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23481] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23481/stat : 23481 (java) S 23471 23473 23340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 49350535 1520414720 89681 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23482] ppid=23471 vsize=1484780 CPUtime=1.62 /proc/23473/task/23482/stat : 23482 (java) S 23471 23473 23340 0 -1 64 4599 0 0 0 160 2 0 0 16 0 13 0 49350535 1520414720 89681 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23483] ppid=23471 vsize=1484780 CPUtime=2.61 /proc/23473/task/23483/stat : 23483 (java) S 23471 23473 23340 0 -1 64 10973 0 0 0 257 4 0 0 17 0 13 0 49350535 1520414720 89681 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23484] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23484/stat : 23484 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 49350535 1520414720 89681 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23485] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23485/stat : 23485 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 49350535 1520414720 89681 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23486] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23486/stat : 23486 (java) S 23471 23473 23340 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 49352024 1520414720 89681 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1792.25 Current children cumulated vsize (KiB) 1484780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1790.1 s] /proc/loadavg: 1.00 1.00 1.00 2/77 23492 /proc/meminfo: memFree=928832/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1484780 CPUtime=1800.09 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 108704 0 1 0 179929 80 0 0 18 0 13 0 49350526 1520414720 89948 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/23473/statm: 371195 89948 1440 9 0 368538 0 [pid=23473/tid=23475] ppid=23471 vsize=1484780 CPUtime=1780.57 /proc/23473/task/23475/stat : 23475 (java) R 23471 23473 23340 0 -1 64 33479 0 1 0 178035 22 0 0 25 0 13 0 49350527 1520414720 89948 1992294400 134512640 134550932 4294956000 18446744073709551615 4109735872 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23476] ppid=23471 vsize=1484780 CPUtime=7.59 /proc/23473/task/23476/stat : 23476 (java) S 23471 23473 23340 0 -1 64 30205 0 0 0 738 21 0 0 17 0 13 0 49350529 1520414720 89948 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23477] ppid=23471 vsize=1484780 CPUtime=7.55 /proc/23473/task/23477/stat : 23477 (java) S 23471 23473 23340 0 -1 64 28670 0 0 0 730 25 0 0 16 0 13 0 49350529 1520414720 89948 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23478] ppid=23471 vsize=1484780 CPUtime=0.11 /proc/23473/task/23478/stat : 23478 (java) S 23471 23473 23340 0 -1 64 34 0 0 0 8 3 0 0 15 0 13 0 49350530 1520414720 89948 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23479] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23479/stat : 23479 (java) S 23471 23473 23340 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 49350531 1520414720 89948 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23480] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23480/stat : 23480 (java) S 23471 23473 23340 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 49350531 1520414720 89948 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23481] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23481/stat : 23481 (java) S 23471 23473 23340 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 49350535 1520414720 89948 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23482] ppid=23471 vsize=1484780 CPUtime=1.62 /proc/23473/task/23482/stat : 23482 (java) S 23471 23473 23340 0 -1 64 4599 0 0 0 160 2 0 0 16 0 13 0 49350535 1520414720 89948 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23483] ppid=23471 vsize=1484780 CPUtime=2.61 /proc/23473/task/23483/stat : 23483 (java) S 23471 23473 23340 0 -1 64 10973 0 0 0 257 4 0 0 17 0 13 0 49350535 1520414720 89948 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23484] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23484/stat : 23484 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 49350535 1520414720 89948 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23485] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23485/stat : 23485 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 49350535 1520414720 89948 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23486] ppid=23471 vsize=1484780 CPUtime=0 /proc/23473/task/23486/stat : 23486 (java) S 23471 23473 23340 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 49352024 1520414720 89948 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1484780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1790.21 s] /proc/loadavg: 1.00 1.00 1.00 2/77 23492 /proc/meminfo: memFree=928832/2055920 swapFree=4192952/4192956 [pid=23473] ppid=23471 vsize=1485428 CPUtime=1800.29 /proc/23473/stat : 23473 (java) S 23471 23473 23340 0 -1 0 108724 0 1 0 179949 80 0 0 16 0 15 0 49350526 1521078272 89968 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/23473/statm: 371357 89968 1440 9 0 368700 0 [pid=23473/tid=23475] ppid=23471 vsize=1485428 CPUtime=1780.67 /proc/23473/task/23475/stat : 23475 (java) R 23471 23473 23340 0 -1 64 33479 0 1 0 178045 22 0 0 25 0 15 0 49350527 1521078272 89968 1992294400 134512640 134550932 4294956000 18446744073709551615 4109735876 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23476] ppid=23471 vsize=1485428 CPUtime=7.59 /proc/23473/task/23476/stat : 23476 (java) S 23471 23473 23340 0 -1 64 30205 0 0 0 738 21 0 0 17 0 15 0 49350529 1521078272 89968 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23477] ppid=23471 vsize=1485428 CPUtime=7.55 /proc/23473/task/23477/stat : 23477 (java) S 23471 23473 23340 0 -1 64 28670 0 0 0 730 25 0 0 16 0 15 0 49350529 1521078272 89968 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23478] ppid=23471 vsize=1485428 CPUtime=0.11 /proc/23473/task/23478/stat : 23478 (java) S 23471 23473 23340 0 -1 64 34 0 0 0 8 3 0 0 15 0 15 0 49350530 1521078272 89968 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23479] ppid=23471 vsize=1485428 CPUtime=0 /proc/23473/task/23479/stat : 23479 (java) S 23471 23473 23340 0 -1 64 10 0 0 0 0 0 0 0 16 0 15 0 49350531 1521078272 89968 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23480] ppid=23471 vsize=1485428 CPUtime=0 /proc/23473/task/23480/stat : 23480 (java) S 23471 23473 23340 0 -1 64 7 0 0 0 0 0 0 0 16 0 15 0 49350531 1521078272 89968 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23481] ppid=23471 vsize=1485428 CPUtime=0 /proc/23473/task/23481/stat : 23481 (java) S 23471 23473 23340 0 -1 64 5 0 0 0 0 0 0 0 17 0 15 0 49350535 1521078272 89968 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23482] ppid=23471 vsize=1485428 CPUtime=1.62 /proc/23473/task/23482/stat : 23482 (java) S 23471 23473 23340 0 -1 64 4599 0 0 0 160 2 0 0 16 0 15 0 49350535 1521078272 89968 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23483] ppid=23471 vsize=1485428 CPUtime=2.67 /proc/23473/task/23483/stat : 23483 (java) S 23471 23473 23340 0 -1 64 10976 0 0 0 263 4 0 0 16 0 15 0 49350535 1521078272 89968 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=23473/tid=23484] ppid=23471 vsize=1485428 CPUtime=0 /proc/23473/task/23484/stat : 23484 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 25 0 15 0 49350535 1521078272 89968 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23485] ppid=23471 vsize=1485428 CPUtime=0 /proc/23473/task/23485/stat : 23485 (java) S 23471 23473 23340 0 -1 64 0 0 0 0 0 0 0 0 15 0 15 0 49350535 1521078272 89968 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=23473/tid=23486] ppid=23471 vsize=1485428 CPUtime=0 /proc/23473/task/23486/stat : 23486 (java) S 23471 23473 23340 0 -1 64 5 0 0 0 0 0 0 0 25 0 15 0 49352024 1521078272 89968 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 1485428 Child status: 143 Real time (s): 1790.3 CPU time (s): 1800.39 CPU user time (s): 1799.52 CPU system time (s): 0.867868 CPU usage (%): 100.564 Max. virtual memory (cumulated for all children) (KiB): 1491152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.52 system time used= 0.867868 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 108727 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= 43489 involuntary context switches= 35470 runsolver used 2.13967 second user time and 5.03923 second system time The end
Begin job on node33 at 2009-06-14 09:56:16 IDJOB=1857916 IDBENCH=48256 IDSOLVER=681 FILE ID=node33/1857916-1244966176 PBS_JOBID= 9355014 Free space on /tmp= 66040 MiB SOLVER NAME= SAT4J Pseudo CP 2.1.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_2.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1857916-1244966176/watcher-1857916-1244966176 -o /tmp/evaluation-result-1857916-1244966176/solver-1857916-1244966176 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1857916-1244966176.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fc8bff78845ab9a14b2d06ab749e4dc4 RANDOM SEED=567773062 node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.261 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.261 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1285192 kB Buffers: 69540 kB Cached: 616984 kB SwapCached: 4 kB Active: 107172 kB Inactive: 593316 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1285192 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 484 kB Writeback: 0 kB Mapped: 23748 kB Slab: 56228 kB Committed_AS: 89472 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66040 MiB End job on node33 at 2009-06-14 10:26:08