Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | No Cert. | 406.71 | 400.483 |
| Name | /OPT-BIGINT-LIN/ heinz/normalized-ds-big.opb |
| MD5SUM | 0f8cbacf22bcac8867146871fbd72f4e |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4124714222330000 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 174997 |
| Total number of constraints | 1042 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 1042 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 259 |
| Maximum length of a constraint | 11821 |
| Number of terms in the objective function | 174997 |
| Biggest coefficient in the objective function | 60000000000000 |
| Number of bits for the biggest coefficient in the objective function | 46 |
| Sum of the numbers in the objective function | 602632800292929998 |
| Number of bits of the sum of numbers in the objective function | 60 |
| Biggest number in a constraint | 60000000000000 |
| Number of bits of the biggest number in a constraint | 46 |
| Biggest sum of numbers in a constraint | 602632800292929998 |
| Number of bits of the biggest sum of numbers | 60 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.04/0.08 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.04/0.08 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.04/0.08 c no version file found!!! 0.04/0.08 c sun.arch.data.model 64 0.04/0.08 c java.version 1.6.0_24 0.04/0.08 c os.name Linux 0.04/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.08 c os.arch amd64 0.04/0.08 c Free memory 1599470296 0.04/0.08 c Max memory 1607860224 0.04/0.08 c Total memory 1607860224 0.04/0.08 c Number of processors 8 0.09/0.10 --- Begin Solver configuration --- 0.09/0.10 c Stops conflict analysis at the first Unique Implication Point 0.09/0.10 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.09/0.10 c Learn all clauses as in MiniSAT 0.09/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.10 c VSIDS like heuristics from MiniSAT using a heap 0.09/0.10 c No reason simplification 0.09/0.10 c --- End Solver configuration --- 0.09/0.10 c solving HOME/instance-3741575-1338744998.opb 0.09/0.10 c reading problem ... 11.04/8.90 c ... done. Wall clock time 8.802s. 11.04/8.90 c CPU time (experimental) 8.24s. 11.04/8.90 c #vars 174997 11.04/8.91 c #constraints 2084 18.82/16.13 c SATISFIABLE 18.82/16.13 c OPTIMIZING... 18.82/16.13 c Got one! Elapsed wall clock time (in seconds):16.028 32.12/29.49 o 10763966080860000 53.46/50.23 c Got one! Elapsed wall clock time (in seconds):50.125 66.75/63.53 o 6050107779980000 87.50/84.22 c Got one! Elapsed wall clock time (in seconds):84.119 100.80/97.53 o 5671931667920000 119.45/115.80 c Got one! Elapsed wall clock time (in seconds):115.695 132.75/129.10 o 5600998661170000 150.13/146.23 c Got one! Elapsed wall clock time (in seconds):146.123 163.43/159.52 o 5600163964970000 180.03/176.17 c Got one! Elapsed wall clock time (in seconds):176.065 193.33/189.47 o 5538352437510000 210.53/206.45 c Got one! Elapsed wall clock time (in seconds):206.349 223.82/219.76 o 5000849576830000 249.40/245.05 c Got one! Elapsed wall clock time (in seconds):244.948 262.69/258.36 o 4736374249160000 301.34/296.34 c Got one! Elapsed wall clock time (in seconds):296.238 314.64/309.64 o 4727645833010000 391.37/385.15 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 391.37/385.15 at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source) 391.37/385.15 at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source) 391.37/385.15 at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source) 391.37/385.15 at org.sat4j.minisat.core.Solver.analyze(Unknown Source) 391.37/385.15 at org.sat4j.minisat.core.Solver.search(Unknown Source) 391.37/385.15 at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source) 391.37/385.15 at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source) 391.37/385.15 at org.sat4j.tools.SolverDecorator.isSatisfiable(Unknown Source) 391.37/385.15 at org.sat4j.opt.PseudoOptDecorator.admitABetterSolution(Unknown Source) 391.37/385.15 at org.sat4j.AbstractOptimizationLauncher.solve(Unknown Source) 391.37/385.15 at org.sat4j.LanceurPseudo2005.solve(Unknown Source) 391.37/385.15 at org.sat4j.AbstractLauncher.run(Unknown Source) 391.37/385.15 at org.sat4j.LanceurPseudo2007.main(Unknown Source) 396.68/390.40 c starts : 60 396.68/390.40 c conflicts : 21006 396.68/390.40 c decisions : 3619190 396.68/390.40 c propagations : 17444672 396.68/390.40 c inspects : 5923756 396.68/390.40 c learnt literals : 0 396.68/390.40 c learnt binary clauses : 0 396.68/390.40 c learnt ternary clauses : 0 396.68/390.40 c learnt clauses : 21005 396.68/390.41 c root simplifications : 0 396.68/390.41 c removed literals (reason simplification) : 0 396.68/390.41 c reason swapping (by a shorter reason) : 0 396.68/390.41 c Calls to reduceDB : 0 396.68/390.41 c speed (decisions/second) : 53892.28065995592 396.68/390.41 c non guided choices 48414 396.68/390.41 s SATISFIABLE 398.28/392.09 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 -x71Exception in thread "Thread-0" java.lang.OutOfMemoryError: GC overhead limit exceeded 406.71/400.46 at java.lang.Integer.toString(Integer.java:310) 406.71/400.46 at java.lang.Integer.toString(Integer.java:118) 406.71/400.46 at java.lang.String.valueOf(String.java:2931) 406.71/400.46 at java.io.PrintWriter.print(PrintWriter.java:487) 406.71/400.46 at org.sat4j.reader.OPBReader2005.decode(Unknown Source) 406.71/400.46 at org.sat4j.AbstractOptimizationLauncher.displayResult(Unknown Source) 406.71/400.46 at org.sat4j.AbstractLauncher$1.run(Unknown Source)
ERROR: variable expected in interpretation !E
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741575-1338744998/watcher-3741575-1338744998 -o /tmp/evaluation-result-3741575-1338744998/solver-3741575-1338744998 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741575-1338744998.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.00 2.00 3/194 9033 /proc/meminfo: memFree=30382476/32873844 swapFree=8656/8656 [pid=9033] ppid=9031 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/9033/stat : 9033 (java) D 9031 9033 30888 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 340628562 9515008 182 33554432000 1073741824 1073778376 140737355139488 140737355130520 249650036405 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0 /proc/9033/statm: 2323 182 140 9 0 71 0 [startup+0.0598819 s] /proc/loadavg: 2.01 2.00 2.00 3/194 9033 /proc/meminfo: memFree=30382476/32873844 swapFree=8656/8656 [pid=9033] ppid=9031 vsize=2623916 CPUtime=0.04 cores=1,3,5,7 /proc/9033/stat : 9033 (java) S 9031 9033 30888 0 -1 4202496 3955 0 1 0 3 1 0 0 20 0 13 0 340628562 2686889984 5164 33554432000 1073741824 1073778376 140735371633904 140735371625040 249653395517 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9033/statm: 655979 5164 1709 9 0 646680 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2623916 [startup+0.100348 s] /proc/loadavg: 2.01 2.00 2.00 3/194 9033 /proc/meminfo: memFree=30382476/32873844 swapFree=8656/8656 [pid=9033] ppid=9031 vsize=2957856 CPUtime=0.09 cores=1,3,5,7 /proc/9033/stat : 9033 (java) S 9031 9033 30888 0 -1 4202496 4918 0 1 0 8 1 0 0 20 0 18 0 340628562 3028844544 6609 33554432000 1073741824 1073778376 140735371633904 140735371625040 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9033/statm: 739464 6609 2118 9 0 729885 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2957856 [startup+0.300311 s] /proc/loadavg: 2.01 2.00 2.00 3/194 9033 /proc/meminfo: memFree=30382476/32873844 swapFree=8656/8656 [pid=9033] ppid=9031 vsize=2957856 CPUtime=0.45 cores=1,3,5,7 /proc/9033/stat : 9033 (java) S 9031 9033 30888 0 -1 4202496 6445 0 1 0 43 2 0 0 20 0 18 0 340628562 3028844544 15156 33554432000 1073741824 1073778376 140735371633904 140735371625040 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9033/statm: 739464 15156 2233 9 0 729885 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 2957856 [startup+0.700306 s] /proc/loadavg: 2.01 2.00 2.00 3/194 9033 /proc/meminfo: memFree=30382476/32873844 swapFree=8656/8656 [pid=9033] ppid=9031 vsize=2957856 CPUtime=0.98 cores=1,3,5,7 /proc/9033/stat : 9033 (java) S 9031 9033 30888 0 -1 4202496 6864 0 1 0 94 4 0 0 20 0 18 0 340628562 3028844544 38256 33554432000 1073741824 1073778376 140735371633904 140735371625040 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9033/statm: 739464 38256 2243 9 0 729885 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 2957856 [startup+1.50079 s] /proc/loadavg: 2.01 2.00 2.00 3/212 9051 /proc/meminfo: memFree=30079916/32873844 swapFree=8656/8656 [pid=9033] ppid=9031 vsize=2957856 CPUtime=2 cores=1,3,5,7 /proc/9033/stat : 9033 (java) S 9031 9033 30888 0 -1 4202496 7301 0 1 0 186 14 0 0 20 0 18 0 340628562 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140735371625040 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9033/statm: 739464 118675 2262 9 0 729885 0 [pid=9033/tid=9035] ppid=9031 vsize=2957856 CPUtime=1.41 cores=1,3,5,7 /proc/9033/task/9035/stat : 9035 (java) R 9031 9033 30888 0 -1 4202560 3215 0 1 0 134 7 0 0 20 0 18 0 340628563 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219842980184 140219847108239 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9036] ppid=9031 vsize=2957856 CPUtime=0.01 cores=1,3,5,7 /proc/9033/task/9036/stat : 9036 (java) S 9031 9033 30888 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 18 0 340628565 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219826408360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9037] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9037/stat : 9037 (java) S 9031 9033 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340628565 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219825355816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9038] ppid=9031 vsize=2957856 CPUtime=0.01 cores=1,3,5,7 /proc/9033/task/9038/stat : 9038 (java) S 9031 9033 30888 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 340628565 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219824302760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9039] ppid=9031 vsize=2957856 CPUtime=0.03 cores=1,3,5,7 /proc/9033/task/9039/stat : 9039 (java) S 9031 9033 30888 0 -1 4202560 30 0 0 0 1 2 0 0 20 0 18 0 340628565 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219823250216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9040] ppid=9031 vsize=2957856 CPUtime=0.01 cores=1,3,5,7 /proc/9033/task/9040/stat : 9040 (java) S 9031 9033 30888 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 340628565 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219822197160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9041] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9041/stat : 9041 (java) S 9031 9033 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 340628565 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219821144616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9042] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9042/stat : 9042 (java) S 9031 9033 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340628565 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219820091560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9043] ppid=9031 vsize=2957856 CPUtime=0.01 cores=1,3,5,7 /proc/9033/task/9043/stat : 9043 (java) S 9031 9033 30888 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 340628565 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219819039016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9044] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9044/stat : 9044 (java) S 9031 9033 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340628566 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219688921960 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9045] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9045/stat : 9045 (java) S 9031 9033 30888 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 340628566 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219687868280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9046] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9046/stat : 9046 (java) S 9031 9033 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340628566 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219686815112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9047] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9047/stat : 9047 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340628569 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219685763856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9048] ppid=9031 vsize=2957856 CPUtime=0.17 cores=1,3,5,7 /proc/9033/task/9048/stat : 9048 (java) S 9031 9033 30888 0 -1 4202560 993 0 0 0 17 0 0 0 20 0 18 0 340628569 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219684710712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9049] ppid=9031 vsize=2957856 CPUtime=0.19 cores=1,3,5,7 /proc/9033/task/9049/stat : 9049 (java) S 9031 9033 30888 0 -1 4202560 1810 0 0 0 19 0 0 0 20 0 18 0 340628569 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219683658168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9050] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9050/stat : 9050 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340628569 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219682605304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9051] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9051/stat : 9051 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340628569 3028844544 118675 33554432000 1073741824 1073778376 140735371633904 140219681552968 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2 Current children cumulated vsize (KiB) 2957856 [startup+3.10079 s] /proc/loadavg: 2.01 2.00 2.00 3/212 9051 /proc/meminfo: memFree=29867856/32873844 swapFree=8656/8656 [pid=9033] ppid=9031 vsize=2957856 CPUtime=3.88 cores=1,3,5,7 /proc/9033/stat : 9033 (java) S 9031 9033 30888 0 -1 4202496 7455 0 1 0 364 24 0 0 20 0 18 0 340628562 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140735371625040 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9033/statm: 739464 134580 2262 9 0 729885 0 [pid=9033/tid=9035] ppid=9031 vsize=2957856 CPUtime=2.91 cores=1,3,5,7 /proc/9033/task/9035/stat : 9035 (java) R 9031 9033 30888 0 -1 4202560 3217 0 1 0 283 8 0 0 20 0 18 0 340628563 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219842973808 140219693704089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9036] ppid=9031 vsize=2957856 CPUtime=0.08 cores=1,3,5,7 /proc/9033/task/9036/stat : 9036 (java) S 9031 9033 30888 0 -1 4202560 42 0 0 0 6 2 0 0 20 0 18 0 340628565 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219826408360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9037] ppid=9031 vsize=2957856 CPUtime=0.05 cores=1,3,5,7 /proc/9033/task/9037/stat : 9037 (java) S 9031 9033 30888 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 18 0 340628565 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219825355816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9038] ppid=9031 vsize=2957856 CPUtime=0.04 cores=1,3,5,7 /proc/9033/task/9038/stat : 9038 (java) S 9031 9033 30888 0 -1 4202560 21 0 0 0 2 2 0 0 20 0 18 0 340628565 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219824302760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9039] ppid=9031 vsize=2957856 CPUtime=0.09 cores=1,3,5,7 /proc/9033/task/9039/stat : 9039 (java) S 9031 9033 30888 0 -1 4202560 50 0 0 0 6 3 0 0 20 0 18 0 340628565 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219823250216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9040] ppid=9031 vsize=2957856 CPUtime=0.05 cores=1,3,5,7 /proc/9033/task/9040/stat : 9040 (java) S 9031 9033 30888 0 -1 4202560 36 0 0 0 3 2 0 0 20 0 18 0 340628565 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219822197160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9041] ppid=9031 vsize=2957856 CPUtime=0.04 cores=1,3,5,7 /proc/9033/task/9041/stat : 9041 (java) S 9031 9033 30888 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 18 0 340628565 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219821144616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9042] ppid=9031 vsize=2957856 CPUtime=0.04 cores=1,3,5,7 /proc/9033/task/9042/stat : 9042 (java) S 9031 9033 30888 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 18 0 340628565 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219820091560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9043] ppid=9031 vsize=2957856 CPUtime=0.05 cores=1,3,5,7 /proc/9033/task/9043/stat : 9043 (java) S 9031 9033 30888 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 18 0 340628565 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219819039016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9044] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9044/stat : 9044 (java) S 9031 9033 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340628566 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219688921960 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9045] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9045/stat : 9045 (java) S 9031 9033 30888 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 340628566 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219687868280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9046] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9046/stat : 9046 (java) S 9031 9033 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340628566 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219686815112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9047] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9047/stat : 9047 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340628569 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219685763856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9048] ppid=9031 vsize=2957856 CPUtime=0.17 cores=1,3,5,7 /proc/9033/task/9048/stat : 9048 (java) S 9031 9033 30888 0 -1 4202560 993 0 0 0 17 0 0 0 20 0 18 0 340628569 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219684710712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9049] ppid=9031 vsize=2957856 CPUtime=0.2 cores=1,3,5,7 /proc/9033/task/9049/stat : 9049 (java) S 9031 9033 30888 0 -1 4202560 1810 0 0 0 20 0 0 0 20 0 18 0 340628569 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219683658168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9050] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9050/stat : 9050 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340628569 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219682605304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9051] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9051/stat : 9051 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340628569 3028844544 134580 33554432000 1073741824 1073778376 140735371633904 140219681552968 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.88 Current children cumulated vsize (KiB) 2957856 [startup+6.30075 s] /proc/loadavg: 2.00 2.00 2.00 3/212 9051 /proc/meminfo: memFree=29772468/32873844 swapFree=8656/8656 [pid=9033] ppid=9031 vsize=2957856 CPUtime=7.79 cores=1,3,5,7 /proc/9033/stat : 9033 (java) S 9031 9033 30888 0 -1 4202496 7848 0 1 0 739 40 0 0 20 0 18 0 340628562 3028844544 156590 33554432000 1073741824 1073778376 140735371633904 140735371625040 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9033/statm: 739464 156594 2269 9 0 729885 0 [pid=9033/tid=9035] ppid=9031 vsize=2957856 CPUtime=5.86 cores=1,3,5,7 /proc/9033/task/9035/stat : 9035 (java) S 9031 9033 30888 0 -1 4202560 3222 0 1 0 577 9 0 0 20 0 18 0 340628563 3028844544 156595 33554432000 1073741824 1073778376 140735371633904 140219842980648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9036] ppid=9031 vsize=2957856 CPUtime=0.18 cores=1,3,5,7 /proc/9033/task/9036/stat : 9036 (java) R 9031 9033 30888 0 -1 4202560 87 0 0 0 14 4 0 0 20 0 18 0 340628565 3028844544 156597 33554432000 1073741824 1073778376 140735371633904 140219826408488 140219845453513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9037] ppid=9031 vsize=2957856 CPUtime=0.23 cores=1,3,5,7 /proc/9033/task/9037/stat : 9037 (java) R 9031 9033 30888 0 -1 4202560 97 0 0 0 18 5 0 0 20 0 18 0 340628565 3028844544 156598 33554432000 1073741824 1073778376 140735371633904 140219825355944 249649990791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9038] ppid=9031 vsize=2957856 CPUtime=0.16 cores=1,3,5,7 /proc/9033/task/9038/stat : 9038 (java) R 9031 9033 30888 0 -1 4202560 55 0 0 0 13 3 0 0 20 0 18 0 340628565 3028844544 156600 33554432000 1073741824 1073778376 140735371633904 140219824302760 140219845453497 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9039] ppid=9031 vsize=2957856 CPUtime=0.21 cores=1,3,5,7 /proc/9033/task/9039/stat : 9039 (java) R 9031 9033 30888 0 -1 4202560 97 0 0 0 15 6 0 0 20 0 18 0 340628565 3028844544 156601 33554432000 1073741824 1073778376 140735371633904 140219823250392 140219845453555 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9040] ppid=9031 vsize=2957856 CPUtime=0.18 cores=1,3,5,7 /proc/9033/task/9040/stat : 9040 (java) R 9031 9033 30888 0 -1 4202560 77 0 0 0 13 5 0 0 20 0 18 0 340628565 3028844544 156603 33554432000 1073741824 1073778376 140735371633904 140219822197288 249649990791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9041] ppid=9031 vsize=2957856 CPUtime=0.14 cores=1,3,5,7 /proc/9033/task/9041/stat : 9041 (java) R 9031 9033 30888 0 -1 4202560 120 0 0 0 11 3 0 0 20 0 18 0 340628565 3028844544 156604 33554432000 1073741824 1073778376 140735371633904 140219821144792 140219846260636 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9042] ppid=9031 vsize=2957856 CPUtime=0.14 cores=1,3,5,7 /proc/9033/task/9042/stat : 9042 (java) R 9031 9033 30888 0 -1 4202560 64 0 0 0 11 3 0 0 20 0 18 0 340628565 3028844544 156606 33554432000 1073741824 1073778376 140735371633904 140219820091736 140219847144168 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9043] ppid=9031 vsize=2957856 CPUtime=0.15 cores=1,3,5,7 /proc/9033/task/9043/stat : 9043 (java) R 9031 9033 30888 0 -1 4202560 52 0 0 0 12 3 0 0 20 0 18 0 340628565 3028844544 156607 33554432000 1073741824 1073778376 140735371633904 140219819039144 140219846739621 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9044] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9044/stat : 9044 (java) S 9031 9033 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340628566 3028844544 156609 33554432000 1073741824 1073778376 140735371633904 140219688920840 249653408828 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9045] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9045/stat : 9045 (java) S 9031 9033 30888 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 340628566 3028844544 156610 33554432000 1073741824 1073778376 140735371633904 140219687868280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9046] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9046/stat : 9046 (java) S 9031 9033 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340628566 3028844544 156612 33554432000 1073741824 1073778376 140735371633904 140219686815112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9047] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9047/stat : 9047 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340628569 3028844544 156614 33554432000 1073741824 1073778376 140735371633904 140219685763856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9048] ppid=9031 vsize=2957856 CPUtime=0.17 cores=1,3,5,7 /proc/9033/task/9048/stat : 9048 (java) S 9031 9033 30888 0 -1 4202560 993 0 0 0 17 0 0 0 20 0 18 0 340628569 3028844544 156615 33554432000 1073741824 1073778376 140735371633904 140219684710712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9049] ppid=9031 vsize=2957856 CPUtime=0.2 cores=1,3,5,7 /proc/9033/task/9049/stat : 9049 (java) S 9031 9033 30888 0 -1 4202560 1817 0 0 0 20 0 0 0 20 0 18 0 340628569 3028844544 156617 33554432000 1073741824 1073778376 140735371633904 140219683658168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9050] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9050/stat : 9050 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340628569 3028844544 156618 33554432000 1073741824 1073778376 140735371633904 140219682605304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9051] ppid=9031 vsize=2957856 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9051/stat : 9051 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340628569 3028844544 156620 33554432000 1073741824 1073778376 140735371633904 140219681552968 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.79 Current children cumulated vsize (KiB) 2957856 [startup+12.7008 s] /proc/loadavg: 2.08 2.02 2.01 3/213 9052 /proc/meminfo: memFree=29694964/32873844 swapFree=8656/8656 [pid=9033] ppid=9031 vsize=3024420 CPUtime=15.4 cores=1,3,5,7 /proc/9033/stat : 9033 (java) S 9031 9033 30888 0 -1 4202496 13870 0 1 0 1489 51 0 0 20 0 19 0 340628562 3097006080 173583 33554432000 1073741824 1073778376 140735371633904 140735371625040 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9033/statm: 756105 173583 2292 9 0 746526 0 [pid=9033/tid=9035] ppid=9031 vsize=3024420 CPUtime=12.02 cores=1,3,5,7 ################ # More data... # ################ /proc/9033/task/9047/stat : 9047 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340628569 3165167616 422254 33554432000 1073741824 1073778376 140735371633904 140219685763856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9048] ppid=9031 vsize=3090984 CPUtime=0.88 cores=1,3,5,7 /proc/9033/task/9048/stat : 9048 (java) S 9031 9033 30888 0 -1 4202560 9520 0 0 0 86 2 0 0 20 0 20 0 340628569 3165167616 422254 33554432000 1073741824 1073778376 140735371633904 140219684710712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9049] ppid=9031 vsize=3090984 CPUtime=0.61 cores=1,3,5,7 /proc/9033/task/9049/stat : 9049 (java) S 9031 9033 30888 0 -1 4202560 5298 0 0 0 61 0 0 0 20 0 20 0 340628569 3165167616 422254 33554432000 1073741824 1073778376 140735371633904 140219683650136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9050] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9050/stat : 9050 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340628569 3165167616 422254 33554432000 1073741824 1073778376 140735371633904 140219682605304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9051] ppid=9031 vsize=3090984 CPUtime=0.1 cores=1,3,5,7 /proc/9033/task/9051/stat : 9051 (java) S 9031 9033 30888 0 -1 4202560 23 0 0 0 4 6 0 0 20 0 20 0 340628569 3165167616 422254 33554432000 1073741824 1073778376 140735371633904 140219681552968 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9065] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9065/stat : 9065 (java) S 9031 9033 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340660888 3165167616 422254 33554432000 1073741824 1073778376 140735371633904 140219679422120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9066] ppid=9031 vsize=3090984 CPUtime=0.01 cores=1,3,5,7 /proc/9033/task/9066/stat : 9066 (java) S 9031 9033 30888 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 20 0 340667401 3165167616 422254 33554432000 1073741824 1073778376 140735371633904 140219678368296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 405.3 Current children cumulated vsize (KiB) 3090984 [startup+399.801 s] /proc/loadavg: 2.00 2.00 2.00 3/214 9066 /proc/meminfo: memFree=27867232/32873844 swapFree=8656/8656 [pid=9033] ppid=9031 vsize=3090984 CPUtime=406.11 cores=1,3,5,7 /proc/9033/stat : 9033 (java) S 9031 9033 30888 0 -1 4202496 22512 0 1 0 40443 168 0 0 20 0 20 0 340628562 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140735371625040 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9033/statm: 772746 422268 2300 9 0 763167 0 [pid=9033/tid=9035] ppid=9031 vsize=3090984 CPUtime=377.23 cores=1,3,5,7 /proc/9033/task/9035/stat : 9035 (java) S 9031 9033 30888 0 -1 4202560 3282 0 1 0 37708 15 0 0 20 0 20 0 340628563 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219842983096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9036] ppid=9031 vsize=3090984 CPUtime=0.86 cores=1,3,5,7 /proc/9033/task/9036/stat : 9036 (java) S 9031 9033 30888 0 -1 4202560 423 0 0 0 65 21 0 0 20 0 20 0 340628565 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219826408360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9037] ppid=9031 vsize=3090984 CPUtime=0.89 cores=1,3,5,7 /proc/9033/task/9037/stat : 9037 (java) S 9031 9033 30888 0 -1 4202560 315 0 0 0 73 16 0 0 20 0 20 0 340628565 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219825355816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9038] ppid=9031 vsize=3090984 CPUtime=0.7 cores=1,3,5,7 /proc/9033/task/9038/stat : 9038 (java) S 9031 9033 30888 0 -1 4202560 296 0 0 0 54 16 0 0 20 0 20 0 340628565 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219824302760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9039] ppid=9031 vsize=3090984 CPUtime=0.94 cores=1,3,5,7 /proc/9033/task/9039/stat : 9039 (java) S 9031 9033 30888 0 -1 4202560 538 0 0 0 72 22 0 0 20 0 20 0 340628565 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219823250216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9040] ppid=9031 vsize=3090984 CPUtime=0.8 cores=1,3,5,7 /proc/9033/task/9040/stat : 9040 (java) S 9031 9033 30888 0 -1 4202560 275 0 0 0 61 19 0 0 20 0 20 0 340628565 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219822197160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9041] ppid=9031 vsize=3090984 CPUtime=0.75 cores=1,3,5,7 /proc/9033/task/9041/stat : 9041 (java) S 9031 9033 30888 0 -1 4202560 494 0 0 0 57 18 0 0 20 0 20 0 340628565 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219821144616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9042] ppid=9031 vsize=3090984 CPUtime=0.64 cores=1,3,5,7 /proc/9033/task/9042/stat : 9042 (java) S 9031 9033 30888 0 -1 4202560 382 0 0 0 50 14 0 0 20 0 20 0 340628565 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219820091560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9043] ppid=9031 vsize=3090984 CPUtime=0.74 cores=1,3,5,7 /proc/9033/task/9043/stat : 9043 (java) S 9031 9033 30888 0 -1 4202560 261 0 0 0 58 16 0 0 20 0 20 0 340628565 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219819039016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9044] ppid=9031 vsize=3090984 CPUtime=19.75 cores=1,3,5,7 /proc/9033/task/9044/stat : 9044 (java) R 9031 9033 30888 0 -1 4202560 169 0 0 0 1972 3 0 0 20 0 20 0 340628566 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219688922120 140219849105820 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9045] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9045/stat : 9045 (java) S 9031 9033 30888 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340628566 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219687868280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9046] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9046/stat : 9046 (java) S 9031 9033 30888 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 340628566 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219686815112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9047] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9047/stat : 9047 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340628569 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219685763856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9048] ppid=9031 vsize=3090984 CPUtime=0.88 cores=1,3,5,7 /proc/9033/task/9048/stat : 9048 (java) S 9031 9033 30888 0 -1 4202560 9520 0 0 0 86 2 0 0 20 0 20 0 340628569 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219684710712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9049] ppid=9031 vsize=3090984 CPUtime=0.61 cores=1,3,5,7 /proc/9033/task/9049/stat : 9049 (java) S 9031 9033 30888 0 -1 4202560 5299 0 0 0 61 0 0 0 20 0 20 0 340628569 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219683649192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9050] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9050/stat : 9050 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340628569 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219682605304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9051] ppid=9031 vsize=3090984 CPUtime=0.1 cores=1,3,5,7 /proc/9033/task/9051/stat : 9051 (java) S 9031 9033 30888 0 -1 4202560 23 0 0 0 4 6 0 0 20 0 20 0 340628569 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219681552968 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9065] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9065/stat : 9065 (java) S 9031 9033 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340660888 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219679422120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9066] ppid=9031 vsize=3090984 CPUtime=0.01 cores=1,3,5,7 /proc/9033/task/9066/stat : 9066 (java) S 9031 9033 30888 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 20 0 340667401 3165167616 422268 33554432000 1073741824 1073778376 140735371633904 140219678368296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 406.11 Current children cumulated vsize (KiB) 3090984 [startup+400.201 s] /proc/loadavg: 2.00 2.00 2.00 3/214 9066 /proc/meminfo: memFree=27867356/32873844 swapFree=8656/8656 [pid=9033] ppid=9031 vsize=3090984 CPUtime=406.51 cores=1,3,5,7 /proc/9033/stat : 9033 (java) S 9031 9033 30888 0 -1 4202496 22520 0 1 0 40483 168 0 0 20 0 20 0 340628562 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140735371625040 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9033/statm: 772746 422275 2300 9 0 763167 0 [pid=9033/tid=9035] ppid=9031 vsize=3090984 CPUtime=377.23 cores=1,3,5,7 /proc/9033/task/9035/stat : 9035 (java) S 9031 9033 30888 0 -1 4202560 3282 0 1 0 37708 15 0 0 20 0 20 0 340628563 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219842983096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9036] ppid=9031 vsize=3090984 CPUtime=0.86 cores=1,3,5,7 /proc/9033/task/9036/stat : 9036 (java) S 9031 9033 30888 0 -1 4202560 423 0 0 0 65 21 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219826408360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9037] ppid=9031 vsize=3090984 CPUtime=0.89 cores=1,3,5,7 /proc/9033/task/9037/stat : 9037 (java) S 9031 9033 30888 0 -1 4202560 315 0 0 0 73 16 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219825355816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9038] ppid=9031 vsize=3090984 CPUtime=0.7 cores=1,3,5,7 /proc/9033/task/9038/stat : 9038 (java) S 9031 9033 30888 0 -1 4202560 296 0 0 0 54 16 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219824302760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9039] ppid=9031 vsize=3090984 CPUtime=0.94 cores=1,3,5,7 /proc/9033/task/9039/stat : 9039 (java) S 9031 9033 30888 0 -1 4202560 538 0 0 0 72 22 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219823250216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9040] ppid=9031 vsize=3090984 CPUtime=0.8 cores=1,3,5,7 /proc/9033/task/9040/stat : 9040 (java) S 9031 9033 30888 0 -1 4202560 275 0 0 0 61 19 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219822197160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9041] ppid=9031 vsize=3090984 CPUtime=0.75 cores=1,3,5,7 /proc/9033/task/9041/stat : 9041 (java) S 9031 9033 30888 0 -1 4202560 494 0 0 0 57 18 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219821144616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9042] ppid=9031 vsize=3090984 CPUtime=0.64 cores=1,3,5,7 /proc/9033/task/9042/stat : 9042 (java) S 9031 9033 30888 0 -1 4202560 382 0 0 0 50 14 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219820091560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9043] ppid=9031 vsize=3090984 CPUtime=0.74 cores=1,3,5,7 /proc/9033/task/9043/stat : 9043 (java) S 9031 9033 30888 0 -1 4202560 261 0 0 0 58 16 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219819039016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9044] ppid=9031 vsize=3090984 CPUtime=20.14 cores=1,3,5,7 /proc/9033/task/9044/stat : 9044 (java) R 9031 9033 30888 0 -1 4202560 176 0 0 0 2011 3 0 0 20 0 20 0 340628566 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219688922120 140219849108654 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9045] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9045/stat : 9045 (java) S 9031 9033 30888 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340628566 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219687868280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9046] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9046/stat : 9046 (java) S 9031 9033 30888 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 340628566 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219686815112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9047] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9047/stat : 9047 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340628569 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219685763856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9048] ppid=9031 vsize=3090984 CPUtime=0.88 cores=1,3,5,7 /proc/9033/task/9048/stat : 9048 (java) S 9031 9033 30888 0 -1 4202560 9520 0 0 0 86 2 0 0 20 0 20 0 340628569 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219684710712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9049] ppid=9031 vsize=3090984 CPUtime=0.61 cores=1,3,5,7 /proc/9033/task/9049/stat : 9049 (java) S 9031 9033 30888 0 -1 4202560 5300 0 0 0 61 0 0 0 20 0 20 0 340628569 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219683649192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9050] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9050/stat : 9050 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340628569 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219682605304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9051] ppid=9031 vsize=3090984 CPUtime=0.1 cores=1,3,5,7 /proc/9033/task/9051/stat : 9051 (java) S 9031 9033 30888 0 -1 4202560 23 0 0 0 4 6 0 0 20 0 20 0 340628569 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219681552968 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9065] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9065/stat : 9065 (java) S 9031 9033 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340660888 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219679422120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9066] ppid=9031 vsize=3090984 CPUtime=0.01 cores=1,3,5,7 /proc/9033/task/9066/stat : 9066 (java) S 9031 9033 30888 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 20 0 340667401 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219678368504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 406.51 Current children cumulated vsize (KiB) 3090984 [startup+400.401 s] /proc/loadavg: 2.00 2.00 2.00 3/214 9066 /proc/meminfo: memFree=27867356/32873844 swapFree=8656/8656 [pid=9033] ppid=9031 vsize=3090984 CPUtime=406.71 cores=1,3,5,7 /proc/9033/stat : 9033 (java) S 9031 9033 30888 0 -1 4202496 22520 0 1 0 40503 168 0 0 20 0 20 0 340628562 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140735371625040 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9033/statm: 772746 422275 2300 9 0 763167 0 [pid=9033/tid=9035] ppid=9031 vsize=3090984 CPUtime=377.23 cores=1,3,5,7 /proc/9033/task/9035/stat : 9035 (java) S 9031 9033 30888 0 -1 4202560 3282 0 1 0 37708 15 0 0 20 0 20 0 340628563 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219842983096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9036] ppid=9031 vsize=3090984 CPUtime=0.86 cores=1,3,5,7 /proc/9033/task/9036/stat : 9036 (java) S 9031 9033 30888 0 -1 4202560 423 0 0 0 65 21 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219826408360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9037] ppid=9031 vsize=3090984 CPUtime=0.89 cores=1,3,5,7 /proc/9033/task/9037/stat : 9037 (java) S 9031 9033 30888 0 -1 4202560 315 0 0 0 73 16 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219825355816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9038] ppid=9031 vsize=3090984 CPUtime=0.7 cores=1,3,5,7 /proc/9033/task/9038/stat : 9038 (java) S 9031 9033 30888 0 -1 4202560 296 0 0 0 54 16 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219824302760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9039] ppid=9031 vsize=3090984 CPUtime=0.94 cores=1,3,5,7 /proc/9033/task/9039/stat : 9039 (java) S 9031 9033 30888 0 -1 4202560 538 0 0 0 72 22 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219823250216 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9040] ppid=9031 vsize=3090984 CPUtime=0.8 cores=1,3,5,7 /proc/9033/task/9040/stat : 9040 (java) S 9031 9033 30888 0 -1 4202560 275 0 0 0 61 19 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219822197160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9041] ppid=9031 vsize=3090984 CPUtime=0.75 cores=1,3,5,7 /proc/9033/task/9041/stat : 9041 (java) S 9031 9033 30888 0 -1 4202560 494 0 0 0 57 18 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219821144616 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9042] ppid=9031 vsize=3090984 CPUtime=0.64 cores=1,3,5,7 /proc/9033/task/9042/stat : 9042 (java) S 9031 9033 30888 0 -1 4202560 382 0 0 0 50 14 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219820091560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9043] ppid=9031 vsize=3090984 CPUtime=0.74 cores=1,3,5,7 /proc/9033/task/9043/stat : 9043 (java) S 9031 9033 30888 0 -1 4202560 261 0 0 0 58 16 0 0 20 0 20 0 340628565 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219819039016 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9044] ppid=9031 vsize=3090984 CPUtime=20.34 cores=1,3,5,7 /proc/9033/task/9044/stat : 9044 (java) R 9031 9033 30888 0 -1 4202560 176 0 0 0 2031 3 0 0 20 0 20 0 340628566 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219688922120 140219849837847 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9045] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9045/stat : 9045 (java) S 9031 9033 30888 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340628566 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219687868280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9046] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9046/stat : 9046 (java) S 9031 9033 30888 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 340628566 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219686815112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9047] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9047/stat : 9047 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340628569 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219685763856 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9033/tid=9048] ppid=9031 vsize=3090984 CPUtime=0.88 cores=1,3,5,7 /proc/9033/task/9048/stat : 9048 (java) S 9031 9033 30888 0 -1 4202560 9520 0 0 0 86 2 0 0 20 0 20 0 340628569 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219684710712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9049] ppid=9031 vsize=3090984 CPUtime=0.61 cores=1,3,5,7 /proc/9033/task/9049/stat : 9049 (java) S 9031 9033 30888 0 -1 4202560 5300 0 0 0 61 0 0 0 20 0 20 0 340628569 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219683649192 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9050] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9050/stat : 9050 (java) S 9031 9033 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340628569 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219682605304 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9033/tid=9051] ppid=9031 vsize=3090984 CPUtime=0.1 cores=1,3,5,7 /proc/9033/task/9051/stat : 9051 (java) S 9031 9033 30888 0 -1 4202560 23 0 0 0 4 6 0 0 20 0 20 0 340628569 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219681552968 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9033/tid=9065] ppid=9031 vsize=3090984 CPUtime=0 cores=1,3,5,7 /proc/9033/task/9065/stat : 9065 (java) S 9031 9033 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340660888 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219679422120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9033/tid=9066] ppid=9031 vsize=3090984 CPUtime=0.01 cores=1,3,5,7 /proc/9033/task/9066/stat : 9066 (java) S 9031 9033 30888 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 20 0 340667401 3165167616 422275 33554432000 1073741824 1073778376 140735371633904 140219678368504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 406.71 Current children cumulated vsize (KiB) 3090984 Child status: 1 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9033 and gives # childrusage.ru_utime.tv_sec=404 # childrusage.ru_utime.tv_usec=10581 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=832721 # CPU time returned by wait4() is 405.843 # while last known CPU time is 406.71 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 400.483 CPU time (s): 406.71 CPU user time (s): 405.03 CPU system time (s): 1.68 CPU usage (%): 101.555 Max. virtual memory (cumulated for all children) (KiB): 3090984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 404.011 system time used= 1.83272 maximum resident set size= 1690908 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22524 page faults= 1 swaps= 0 block input operations= 0 block output operations= 464 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9591 involuntary context switches= 5033 runsolver used 1.06884 second user time and 2.6616 second system time The end
Begin job on node102 at 2012-06-03 19:36:40 IDJOB=3741575 IDBENCH=89879 IDSOLVER=2319 FILE ID=node102/3741575-1338744998 RUNJOBID= node102-1338713280-30905 PBS_JOBID= 14636729 Free space on /tmp= 71108 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-ds-big.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741575-1338744998/watcher-3741575-1338744998 -o /tmp/evaluation-result-3741575-1338744998/solver-3741575-1338744998 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741575-1338744998.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0f8cbacf22bcac8867146871fbd72f4e RANDOM SEED=277058527 node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30382856 kB Buffers: 190872 kB Cached: 690188 kB SwapCached: 5520 kB Active: 1061004 kB Inactive: 635188 kB Active(anon): 812020 kB Inactive(anon): 5604 kB Active(file): 248984 kB Inactive(file): 629584 kB Unevictable: 8656 kB Mlocked: 8656 kB SwapTotal: 67108856 kB SwapFree: 67097276 kB Dirty: 53832 kB Writeback: 0 kB AnonPages: 849868 kB Mapped: 17252 kB Shmem: 0 kB Slab: 621336 kB SReclaimable: 61968 kB SUnreclaim: 559368 kB KernelStack: 1592 kB PageTables: 5928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1828700 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 817152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71104 MiB End job on node102 at 2012-06-03 19:43:21