Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 36 | 1800.41 | 1744.26 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir09_area_partials.opb |
MD5SUM | 267e112b52309c055e255eac2f43ef33 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 35 |
Best CPU time to get the best result obtained on this benchmark | 3.85141 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 35 |
Optimality of the best value was proved | YES |
Number of variables | 5060 |
Total number of constraints | 20188 |
Number of constraints which are clauses | 20188 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 250 |
Number of terms in the objective function | 537 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 537 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 537 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.14 c no version file found!!! 0.08/0.14 c sun.arch.data.model 32 0.08/0.14 c java.version 1.6.0 0.08/0.14 c os.name Linux 0.08/0.14 c os.version 2.6.9-22.EL.rootsmp 0.08/0.14 c os.arch i386 0.08/0.14 c Free memory 1651659224 0.08/0.14 c Max memory 1654456320 0.08/0.14 c Total memory 1654456320 0.08/0.14 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/373251-1177175345/instance-373251-1177175345.opb 0.20/0.20 c reading problem ... 1.94/1.42 c ... done. Wall clock time 1.225s. 1.94/1.42 c CPU time (experimental) 1.0s. 1.94/1.42 c #vars 5060 1.94/1.42 c #constraints 20159 2.07/1.55 c SATISFIABLE 2.07/1.55 c OPTIMIZING... 2.07/1.55 c Got one! Elapsed wall clock time (in seconds):1.35 2.07/1.56 o 43 2.67/1.95 c Got one! Elapsed wall clock time (in seconds):1.757 2.67/1.96 o 42 6.70/4.38 c Got one! Elapsed wall clock time (in seconds):4.185 6.70/4.39 o 41 8.15/5.68 c Got one! Elapsed wall clock time (in seconds):5.486 8.15/5.69 o 40 9.00/6.42 c Got one! Elapsed wall clock time (in seconds):6.225 9.00/6.42 o 39 22.26/19.42 c Got one! Elapsed wall clock time (in seconds):19.219 22.26/19.42 o 38 44.57/41.09 c Got one! Elapsed wall clock time (in seconds):40.895 44.57/41.10 o 37 56.74/53.04 c Got one! Elapsed wall clock time (in seconds):52.84 56.74/53.04 o 36 1800.07/1744.01 c starts : 13 1800.07/1744.01 c conflicts : 9832 1800.07/1744.01 c decisions : 54939 1800.07/1744.01 c propagations : 1922461 1800.07/1744.01 c inspects : 28377154 1800.07/1744.01 c learnt literals : 0 1800.07/1744.01 c learnt binary clauses : 0 1800.07/1744.01 c learnt ternary clauses : 0 1800.07/1744.01 c learnt clauses : 9831 1800.07/1744.01 c root simplifications : 0 1800.07/1744.01 c removed literals (reason simplification) : 0 1800.07/1744.01 c reason swapping (by a shorter reason) : 0 1800.07/1744.01 c Calls to reduceDB : 0 1800.07/1744.01 c speed (decisions/second) : 32.48980904941036 1800.07/1744.01 c non guided choices 0 1800.07/1744.01 s SATISFIABLE 1800.07/1744.06 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 1800.07/1744.06 v -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 1800.07/1744.06 v -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 1800.07/1744.06 v -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 1800.07/1744.06 v -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.07/1744.06 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.07/1744.06 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.07/1744.06 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.07/1744.06 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.07/1744.06 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.07/1744.06 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1800.07/1744.06 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.07/1744.06 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.07/1744.06 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1800.07/1744.06 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1800.07/1744.06 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1800.07/1744.06 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.07/1744.06 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.07/1744.06 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.07/1744.06 v -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.07/1744.06 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.07/1744.06 v -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.07/1744.06 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.07/1744.06 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 x526 x527 x528 1800.07/1744.06 v -x529 -x530 -x531 -x532 x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 x545 -x546 x547 -x548 -x549 -x550 1800.07/1744.06 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 1800.07/1744.06 v -x572 x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 x590 -x591 -x592 -x593 1800.07/1744.06 v -x594 x595 -x596 -x597 -x598 x599 -x600 -x601 x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 x614 -x615 1800.07/1744.06 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 1800.07/1744.06 v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 1800.07/1744.06 v -x658 -x659 -x660 x661 -x662 -x663 x664 -x665 -x666 x667 -x668 -x669 x670 -x671 -x672 x673 -x674 x675 -x676 -x677 -x678 -x679 1800.07/1744.06 v -x680 x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 x689 -x690 -x691 -x692 x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 1800.07/1744.06 v -x702 -x703 -x704 -x705 x706 -x707 -x708 x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 1800.07/1744.06 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1800.07/1744.06 v -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 1800.07/1744.06 v -x765 -x766 -x767 x768 x769 -x770 -x771 x772 -x773 -x774 x775 x776 x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 1800.07/1744.06 v -x787 -x788 -x789 x790 x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 1800.07/1744.06 v -x808 x809 -x810 -x811 x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 1800.07/1744.06 v -x829 x830 -x831 -x832 x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 1800.07/1744.06 v -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 1800.07/1744.06 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 1800.07/1744.06 v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 1800.07/1744.06 v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 1800.07/1744.06 v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 1800.07/1744.06 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 1800.07/1744.06 v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 1800.07/1744.06 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 1800.07/1744.06 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1800.07/1744.06 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1800.07/1744.06 v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 1800.07/1744.06 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1800.07/1744.06 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1800.07/1744.06 v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 1800.07/1744.06 v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 1800.07/1744.06 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1800.07/1744.06 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1800.07/1744.06 v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1800.07/1744.06 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 1800.07/1744.06 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 1800.07/1744.06 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 1800.07/1744.06 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 1800.07/1744.06 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 1800.07/1744.06 v -x1270 -x1271 -x1272 x1273 -x1274 -x1275 x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1800.07/1744.06 v -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 1800.07/1744.06 v -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 1800.07/1744.06 v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 1800.07/1744.06 v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 1800.07/1744.06 v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 1800.07/1744.06 v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1800.07/1744.06 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 1800.07/1744.06 v -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 1800.07/1744.06 v -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 1800.07/1744.06 v -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 1800.07/1744.06 v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 1800.07/1744.06 v -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 1800.07/1744.06 v -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 1800.07/1744.06 v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 1800.07/1744.06 v -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 1800.07/1744.06 v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 1800.07/1744.06 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 1800.07/1744.06 v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 1800.07/1744.06 v -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 1800.07/1744.06 v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 1800.07/1744.06 v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 1800.07/1744.06 v x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1800.07/1744.06 v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 1800.07/1744.06 v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 1800.07/1744.06 v -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 1800.07/1744.06 v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 1800.07/1744.06 v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 1800.07/1744.06 v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 1800.07/1744.06 v -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 1800.07/1744.06 v -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 1800.07/1744.06 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 1800.07/1744.06 v -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 -x1834 x1835 1800.07/1744.06 v -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 1800.07/1744.06 v -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 1800.07/1744.06 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 1800.07/1744.06 v -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 1800.07/1744.06 v -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 1800.07/1744.06 v -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 1800.07/1744.06 v -x1939 -x1940 -x1941 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 1800.07/1744.06 v -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 1800.07/1744.06 v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 1800.07/1744.06 v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 1800.07/1744.06 v -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 1800.07/1744.06 v -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 1800.07/1744.06 v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 1800.07/1744.06 v -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 1800.07/1744.06 v -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 1800.07/1744.06 v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 1800.07/1744.06 v -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 1800.07/1744.06 v x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 1800.07/1744.06 v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1800.07/1744.06 v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1800.07/1744.06 v -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 1800.07/1744.06 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 1800.07/1744.06 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 -x2227 1800.07/1744.06 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 1800.07/1744.06 v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 1800.07/1744.06 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1800.07/1744.06 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 1800.07/1744.06 v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 1800.07/1744.06 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 1800.07/1744.06 v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 1800.07/1744.06 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 1800.07/1744.06 v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1800.07/1744.06 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.07/1744.06 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 1800.07/1744.06 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 -x2430 -x2431 1800.07/1744.06 v -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 1800.07/1744.06 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 1800.07/1744.06 v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 1800.07/1744.06 v -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 1800.07/1744.06 v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 1800.07/1744.06 v -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1800.07/1744.06 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 1800.07/1744.06 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 1800.07/1744.06 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 1800.07/1744.06 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 1800.07/1744.06 v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1800.07/1744.06 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 1800.07/1744.06 v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 1800.07/1744.06 v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 1800.07/1744.06 v -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 1800.07/1744.06 v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 1800.07/1744.06 v -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 1800.07/1744.06 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 1800.07/1744.06 v -x2738 -x2739 -x2740 -x2741 -x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 1800.07/1744.06 v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 1800.07/1744.06 v -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 1800.07/1744.06 v -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 1800.07/1744.06 v -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 1800.07/1744.06 v x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 1800.07/1744.06 v x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1800.07/1744.06 v -x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1800.07/1744.06 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1800.07/1744.06 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1800.07/1744.06 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 1800.07/1744.06 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1800.07/1744.06 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1800.07/1744.06 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 1800.07/1744.06 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1800.07/1744.06 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1800.07/1744.06 v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1800.07/1744.06 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1800.07/1744.06 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1800.07/1744.06 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1800.07/1744.06 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 1800.07/1744.06 v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 1800.07/1744.06 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 1800.07/1744.06 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 1800.07/1744.06 v -x3148 -x3149 x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 1800.07/1744.06 v -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 1800.07/1744.06 v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 1800.07/1744.06 v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 1800.07/1744.06 v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 x3232 1800.07/1744.06 v -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 1800.07/1744.06 v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 1800.07/1744.06 v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 1800.07/1744.06 v x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 1800.07/1744.06 v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 1800.07/1744.06 v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 1800.07/1744.06 v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 1800.07/1744.06 v -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 1800.07/1744.06 v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 1800.07/1744.06 v -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 1800.07/1744.06 v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 x3420 1800.07/1744.06 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 1800.07/1744.06 v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 1800.07/1744.06 v x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 1800.07/1744.06 v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 1800.07/1744.06 v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 1800.07/1744.06 v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 1800.07/1744.06 v -x3523 -x3524 -x3525 -x3526 -x3527 x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 1800.07/1744.06 v -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 1800.07/1744.06 v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 1800.07/1744.06 v -x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 1800.07/1744.06 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 x3607 1800.07/1744.06 v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 1800.07/1744.06 v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 x3638 -x3639 -x3640 -x3641 1800.07/1744.06 v -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 x3650 -x3651 -x3652 -x3653 -x3654 x3655 -x3656 -x3657 -x3658 -x3659 1800.07/1744.06 v -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 1800.07/1744.06 v -x3677 x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 1800.07/1744.06 v -x3694 -x3695 -x3696 -x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 1800.07/1744.06 v x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 1800.07/1744.06 v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 1800.07/1744.06 v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 1800.07/1744.06 v -x3762 -x3763 -x3764 -x3765 x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 x3774 -x3775 -x3776 -x3777 -x3778 -x3779 1800.07/1744.06 v -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 1800.07/1744.06 v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 1800.07/1744.06 v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 1800.07/1744.06 v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 1800.07/1744.06 v -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 x3860 -x3861 -x3862 -x3863 -x3864 1800.07/1744.06 v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 1800.07/1744.06 v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 1800.07/1744.06 v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 1800.07/1744.06 v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 1800.07/1744.06 v -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 x3941 -x3942 -x3943 x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 1800.07/1744.06 v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 x3965 -x3966 -x3967 1800.07/1744.06 v -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 1800.07/1744.06 v -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 x4001 1800.07/1744.06 v -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 1800.07/1744.06 v -x4019 -x4020 -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 1800.07/1744.06 v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 1800.07/1744.06 v -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 1800.07/1744.06 v -x4070 -x4071 x4072 -x4073 x4074 -x4075 -x4076 -x4077 x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 1800.07/1744.06 v x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 1800.07/1744.06 v -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 1800.07/1744.06 v -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 1800.07/1744.06 v -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 1800.07/1744.06 v -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x4170 -x4171 -x4172 1800.07/1744.06 v x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 1800.07/1744.06 v x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 1800.07/1744.06 v -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 1800.07/1744.06 v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 1800.07/1744.06 v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 1800.07/1744.06 v -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 1800.07/1744.06 v -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 1800.07/1744.06 v -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 1800.07/1744.06 v -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 1800.07/1744.06 v -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 1800.07/1744.06 v -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 1800.07/1744.06 v -x4360 x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 x4373 -x4374 -x4375 -x4376 -x4377 1800.07/1744.06 v -x4378 x4379 -x4380 -x4381 -x4382 -x4383 -x4384 x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 1800.07/1744.06 v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 1800.07/1744.06 v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 1800.07/1744.06 v -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 x4445 -x4446 1800.07/1744.06 v -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 1800.07/1744.06 v -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 1800.07/1744.06 v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 1800.07/1744.06 v -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 1800.07/1744.06 v -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 1800.07/1744.06 v -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 1800.07/1744.06 v -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 x4562 -x4563 -x4564 -x4565 1800.07/1744.06 v x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 x4582 -x4583 1800.07/1744.06 v -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 1800.07/1744.06 v -x4601 -x4602 -x4603 -x4604 x4605 -x4606 -x4607 -x4608 x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 1800.07/1744.06 v -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 1800.07/1744.06 v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 1800.07/1744.06 v x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 1800.07/1744.06 v -x4670 -x4671 -x4672 -x4673 -x4674 x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 1800.07/1744.06 v -x4687 x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 1800.07/1744.06 v -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 1800.07/1744.06 v -x4722 -x4723 -x4724 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 1800.07/1744.06 v -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 1800.07/1744.06 v -x4756 -x4757 -x4758 -x4759 x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 1800.07/1744.06 v -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 1800.07/1744.06 v -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 -x4805 -x4806 1800.07/1744.06 v -x4807 -x4808 -x4809 x4810 x4811 x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 1800.07/1744.06 v -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 1800.07/1744.06 v -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 1800.07/1744.06 v -x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 1800.07/1744.06 v -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 1800.07/1744.06 v -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 1800.07/1744.06 v -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 1800.07/1744.06 v -x4927 -x4928 -x4929 x4930 -x4931 -x4932 x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 1800.07/1744.06 v -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 x4960 -x4961 1800.07/1744.06 v -x4962 -x4963 x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 1800.07/1744.06 v -x4979 -x4980 -x4981 x4982 -x4983 -x4984 -x4985 -x4986 -x4987 x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 1800.07/1744.06 v -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 1800.07/1744.06 v -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 1800.07/1744.06 v -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 1800.07/1744.06 v -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 1800.07/1744.09 c objective function=36 1800.07/1744.09 c Total wall clock time (ms): 1743.889
OK 36
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-373251-1177175345 -o ROOT/results/node39/solver-373251-1177175345 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373251-1177175345/sat4jPseudoCP.jar /tmp/evaluation/373251-1177175345/instance-373251-1177175345.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.89 0.95 0.98 2/77 22871 /proc/meminfo: memFree=1593912/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1800 CPUtime=0 /proc/22871/stat : 22871 (java) D 22869 22871 21714 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 165446514 1843200 148 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/22871/statm: 450 148 111 9 0 92 0 [startup+0.029495 s] /proc/loadavg: 0.89 0.95 0.98 2/77 22871 /proc/meminfo: memFree=1593912/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1775952 CPUtime=0.01 /proc/22871/stat : 22871 (java) S 22869 22871 21714 0 -1 0 2727 0 1 0 0 1 0 0 18 0 4 0 165446514 1818574848 2475 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 443988 2481 522 9 0 441624 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1775952 [startup+0.101503 s] /proc/loadavg: 0.89 0.95 0.98 2/77 22871 /proc/meminfo: memFree=1593912/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1780256 CPUtime=0.08 /proc/22871/stat : 22871 (java) S 22869 22871 21714 0 -1 0 4002 0 1 0 6 2 0 0 18 0 12 0 165446514 1822982144 3744 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 445064 3744 1123 9 0 442683 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780256 [startup+0.301546 s] /proc/loadavg: 0.89 0.95 0.98 2/77 22871 /proc/meminfo: memFree=1593912/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1781420 CPUtime=0.32 /proc/22871/stat : 22871 (java) S 22869 22871 21714 0 -1 0 5165 0 1 0 29 3 0 0 18 0 12 0 165446514 1824174080 4904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 445355 4904 1264 9 0 442967 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1781420 [startup+0.701613 s] /proc/loadavg: 0.89 0.95 0.98 2/77 22871 /proc/meminfo: memFree=1593912/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1782380 CPUtime=0.93 /proc/22871/stat : 22871 (java) S 22869 22871 21714 0 -1 0 7067 0 1 0 89 4 0 0 18 0 12 0 165446514 1825157120 6497 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 445595 6497 1301 9 0 443207 0 Current children cumulated CPU time (s) 0.93 Current children cumulated vsize (KiB) 1782380 [startup+1.50275 s] /proc/loadavg: 0.89 0.95 0.98 3/89 22883 /proc/meminfo: memFree=1564056/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1785420 CPUtime=2.07 /proc/22871/stat : 22871 (java) S 22869 22871 21714 0 -1 0 17456 0 1 0 198 9 0 0 18 0 13 0 165446514 1828270080 16306 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 446355 16306 1309 9 0 443967 0 [pid=22871/tid=22873] ppid=22869 vsize=1785420 CPUtime=1.05 /proc/22871/task/22873/stat : 22873 (java) R 22869 22871 21714 0 -1 64 14400 0 1 0 98 7 0 0 17 0 13 0 165446515 1828270080 16306 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22874] ppid=22869 vsize=1785420 CPUtime=0 /proc/22871/task/22874/stat : 22874 (java) S 22869 22871 21714 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 165446516 1828270080 16306 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22875] ppid=22869 vsize=1785420 CPUtime=0 /proc/22871/task/22875/stat : 22875 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 165446516 1828270080 16306 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22876] ppid=22869 vsize=1785420 CPUtime=0 /proc/22871/task/22876/stat : 22876 (java) S 22869 22871 21714 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 165446518 1828270080 16306 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22877] ppid=22869 vsize=1785420 CPUtime=0 /proc/22871/task/22877/stat : 22877 (java) S 22869 22871 21714 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 165446519 1828270080 16306 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22878] ppid=22869 vsize=1785420 CPUtime=0 /proc/22871/task/22878/stat : 22878 (java) S 22869 22871 21714 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 165446519 1828270080 16306 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22879] ppid=22869 vsize=1785420 CPUtime=0 /proc/22871/task/22879/stat : 22879 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 165446523 1828270080 16306 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22880] ppid=22869 vsize=1785420 CPUtime=0.5 /proc/22871/task/22880/stat : 22880 (java) R 22869 22871 21714 0 -1 64 1233 0 0 0 50 0 0 0 16 0 13 0 165446523 1828270080 16306 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105058818 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22881] ppid=22869 vsize=1785420 CPUtime=0.49 /proc/22871/task/22881/stat : 22881 (java) R 22869 22871 21714 0 -1 64 1097 0 0 0 49 0 0 0 16 0 13 0 165446523 1828270080 16306 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105055594 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22882] ppid=22869 vsize=1785420 CPUtime=0 /proc/22871/task/22882/stat : 22882 (java) S 22869 22871 21714 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165446523 1828270080 16306 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22883] ppid=22869 vsize=1785420 CPUtime=0 /proc/22871/task/22883/stat : 22883 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165446523 1828270080 16306 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.07 Current children cumulated vsize (KiB) 1785420 [startup+3.10202 s] /proc/loadavg: 0.89 0.95 0.98 2/90 22886 /proc/meminfo: memFree=1491280/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1794612 CPUtime=4.71 /proc/22871/stat : 22871 (java) S 22869 22871 21714 0 -1 0 44411 0 1 0 450 21 0 0 18 0 13 0 165446514 1837682688 42431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 448653 42431 1321 9 0 446265 0 [pid=22871/tid=22873] ppid=22869 vsize=1794612 CPUtime=2.27 /proc/22871/task/22873/stat : 22873 (java) R 22869 22871 21714 0 -1 64 37721 0 1 0 210 17 0 0 20 0 13 0 165446515 1837682688 42431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102669041 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22874] ppid=22869 vsize=1794612 CPUtime=0.01 /proc/22871/task/22874/stat : 22874 (java) S 22869 22871 21714 0 -1 64 311 0 0 0 1 0 0 0 16 0 13 0 165446516 1837682688 42431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22875] ppid=22869 vsize=1794612 CPUtime=0.01 /proc/22871/task/22875/stat : 22875 (java) S 22869 22871 21714 0 -1 64 460 0 0 0 1 0 0 0 16 0 13 0 165446516 1837682688 42431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22876] ppid=22869 vsize=1794612 CPUtime=0 /proc/22871/task/22876/stat : 22876 (java) S 22869 22871 21714 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 165446518 1837682688 42431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22877] ppid=22869 vsize=1794612 CPUtime=0 /proc/22871/task/22877/stat : 22877 (java) S 22869 22871 21714 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 165446519 1837682688 42431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22878] ppid=22869 vsize=1794612 CPUtime=0 /proc/22871/task/22878/stat : 22878 (java) S 22869 22871 21714 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165446519 1837682688 42431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22879] ppid=22869 vsize=1794612 CPUtime=0 /proc/22871/task/22879/stat : 22879 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 165446523 1837682688 42431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22880] ppid=22869 vsize=1794612 CPUtime=1.1 /proc/22871/task/22880/stat : 22880 (java) R 22869 22871 21714 0 -1 64 2267 0 0 0 109 1 0 0 16 0 13 0 165446523 1837682688 42431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103319944 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22881] ppid=22869 vsize=1794612 CPUtime=1.27 /proc/22871/task/22881/stat : 22881 (java) R 22869 22871 21714 0 -1 64 2921 0 0 0 126 1 0 0 18 0 13 0 165446523 1837682688 42431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103315266 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22882] ppid=22869 vsize=1794612 CPUtime=0 /proc/22871/task/22882/stat : 22882 (java) S 22869 22871 21714 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165446523 1837682688 42431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22883] ppid=22869 vsize=1794612 CPUtime=0 /proc/22871/task/22883/stat : 22883 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165446523 1837682688 42431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22886] ppid=22869 vsize=1794612 CPUtime=0 /proc/22871/task/22886/stat : 22886 (java) S 22869 22871 21714 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 165446713 1837682688 42431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.71 Current children cumulated vsize (KiB) 1794612 [startup+6.30256 s] /proc/loadavg: 0.90 0.95 0.98 2/90 22887 /proc/meminfo: memFree=1429712/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1790892 CPUtime=8.9 /proc/22871/stat : 22871 (java) S 22869 22871 21714 0 -1 0 51130 0 1 0 866 24 0 0 18 0 13 0 165446514 1833873408 43054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 447723 43054 1325 9 0 445335 0 [pid=22871/tid=22873] ppid=22869 vsize=1790892 CPUtime=5.13 /proc/22871/task/22873/stat : 22873 (java) R 22869 22871 21714 0 -1 64 37732 0 1 0 496 17 0 0 24 0 13 0 165446515 1833873408 43054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109852571 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22874] ppid=22869 vsize=1790892 CPUtime=0.08 /proc/22871/task/22874/stat : 22874 (java) S 22869 22871 21714 0 -1 64 1198 0 0 0 8 0 0 0 16 0 13 0 165446516 1833873408 43054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22875] ppid=22869 vsize=1790892 CPUtime=0.09 /proc/22871/task/22875/stat : 22875 (java) S 22869 22871 21714 0 -1 64 1586 0 0 0 8 1 0 0 16 0 13 0 165446516 1833873408 43054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22876] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22876/stat : 22876 (java) S 22869 22871 21714 0 -1 64 29 0 0 0 0 0 0 0 17 0 13 0 165446518 1833873408 43054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22877] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22877/stat : 22877 (java) S 22869 22871 21714 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 165446519 1833873408 43054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22878] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22878/stat : 22878 (java) S 22869 22871 21714 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 165446519 1833873408 43054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22879] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22879/stat : 22879 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 43054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22880] ppid=22869 vsize=1790892 CPUtime=1.51 /proc/22871/task/22880/stat : 22880 (java) S 22869 22871 21714 0 -1 64 2981 0 0 0 150 1 0 0 16 0 13 0 165446523 1833873408 43054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22881] ppid=22869 vsize=1790892 CPUtime=2.04 /proc/22871/task/22881/stat : 22881 (java) S 22869 22871 21714 0 -1 64 6878 0 0 0 201 3 0 0 16 0 13 0 165446523 1833873408 43054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22882] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22882/stat : 22882 (java) S 22869 22871 21714 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 43054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22883] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22883/stat : 22883 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165446523 1833873408 43054 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.9 Current children cumulated vsize (KiB) 1790892 [startup+12.7026 s] /proc/loadavg: 0.91 0.95 0.98 2/90 22889 /proc/meminfo: memFree=1390024/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1790892 CPUtime=15.5 /proc/22871/stat : 22871 (java) S 22869 22871 21714 0 -1 0 60664 0 1 0 1522 28 0 0 18 0 13 0 165446514 1833873408 51952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 447723 51952 1325 9 0 445335 0 [pid=22871/tid=22873] ppid=22869 vsize=1790892 CPUtime=11.43 /proc/22871/task/22873/stat : 22873 (java) R 22869 22871 21714 0 -1 64 44536 0 1 0 1123 20 0 0 25 0 13 0 165446515 1833873408 51952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109847929 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22874] ppid=22869 vsize=1790892 CPUtime=0.13 /proc/22871/task/22874/stat : 22874 (java) S 22869 22871 21714 0 -1 64 2501 0 0 0 13 0 0 0 16 0 13 0 165446516 1833873408 51952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22875] ppid=22869 vsize=1790892 CPUtime=0.15 /proc/22871/task/22875/stat : 22875 (java) S 22869 22871 21714 0 -1 64 3009 0 0 0 14 1 0 0 16 0 13 0 165446516 1833873408 51952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22876] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22876/stat : 22876 (java) S 22869 22871 21714 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 165446518 1833873408 51952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22877] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22877/stat : 22877 (java) S 22869 22871 21714 0 -1 64 11 0 0 0 0 0 0 0 15 0 13 0 165446519 1833873408 51952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22878] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22878/stat : 22878 (java) S 22869 22871 21714 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 165446519 1833873408 51952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22879] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22879/stat : 22879 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 51952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22880] ppid=22869 vsize=1790892 CPUtime=1.56 /proc/22871/task/22880/stat : 22880 (java) S 22869 22871 21714 0 -1 64 2981 0 0 0 155 1 0 0 16 0 13 0 165446523 1833873408 51952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22881] ppid=22869 vsize=1790892 CPUtime=2.17 /proc/22871/task/22881/stat : 22881 (java) S 22869 22871 21714 0 -1 64 6879 0 0 0 214 3 0 0 16 0 13 0 165446523 1833873408 51952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22882] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22882/stat : 22882 (java) S 22869 22871 21714 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 51952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22883] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22883/stat : 22883 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165446523 1833873408 51952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22889] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22889/stat : 22889 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 165447158 1833873408 51952 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 15.5 Current children cumulated vsize (KiB) 1790892 [startup+25.5028 s] /proc/loadavg: 0.93 0.96 0.98 2/90 22890 /proc/meminfo: memFree=1418176/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1790892 CPUtime=28.42 /proc/22871/stat : 22871 (java) S 22869 22871 21714 0 -1 0 62776 0 1 0 2812 30 0 0 18 0 13 0 165446514 1833873408 44587 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 447723 44587 1326 9 0 445335 0 [pid=22871/tid=22873] ppid=22869 vsize=1790892 CPUtime=24.1 /proc/22871/task/22873/stat : 22873 (java) R 22869 22871 21714 0 -1 64 44564 0 1 0 2390 20 0 0 25 0 13 0 165446515 1833873408 44587 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109839884 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22874] ppid=22869 vsize=1790892 CPUtime=0.22 /proc/22871/task/22874/stat : 22874 (java) S 22869 22871 21714 0 -1 64 3729 0 0 0 22 0 0 0 16 0 13 0 165446516 1833873408 44587 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22875] ppid=22869 vsize=1790892 CPUtime=0.24 /proc/22871/task/22875/stat : 22875 (java) S 22869 22871 21714 0 -1 64 3863 0 0 0 23 1 0 0 16 0 13 0 165446516 1833873408 44587 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22876] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22876/stat : 22876 (java) S 22869 22871 21714 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 165446518 1833873408 44587 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22877] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22877/stat : 22877 (java) S 22869 22871 21714 0 -1 64 11 0 0 0 0 0 0 0 15 0 13 0 165446519 1833873408 44587 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=22871/tid=22876] ppid=22869 vsize=1790892 CPUtime=0.46 /proc/22871/task/22876/stat : 22876 (java) S 22869 22871 21714 0 -1 64 90 0 0 0 27 19 0 0 16 0 13 0 165446518 1833873408 203933 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22877] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22877/stat : 22877 (java) S 22869 22871 21714 0 -1 64 11 0 0 0 0 0 0 0 15 0 13 0 165446519 1833873408 203933 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22878] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22878/stat : 22878 (java) S 22869 22871 21714 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 165446519 1833873408 203933 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22879] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22879/stat : 22879 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 203933 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22880] ppid=22869 vsize=1790892 CPUtime=1.99 /proc/22871/task/22880/stat : 22880 (java) S 22869 22871 21714 0 -1 64 3501 0 0 0 197 2 0 0 16 0 13 0 165446523 1833873408 203933 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22881] ppid=22869 vsize=1790892 CPUtime=2.57 /proc/22871/task/22881/stat : 22881 (java) S 22869 22871 21714 0 -1 64 7330 0 0 0 254 3 0 0 16 0 13 0 165446523 1833873408 203933 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22882] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22882/stat : 22882 (java) S 22869 22871 21714 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 203933 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22883] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22883/stat : 22883 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165446523 1833873408 203933 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22892] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22892/stat : 22892 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 165451819 1833873408 203933 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1588.36 Current children cumulated vsize (KiB) 1790892 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/90 22892 /proc/meminfo: memFree=760112/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1790892 CPUtime=1651.31 /proc/22871/stat : 22871 (java) S 22869 22871 21714 0 -1 0 264145 0 1 0 164973 158 0 0 18 0 13 0 165446514 1833873408 209150 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 447723 209150 1330 9 0 445335 0 [pid=22871/tid=22873] ppid=22869 vsize=1790892 CPUtime=1552.63 /proc/22871/task/22873/stat : 22873 (java) R 22869 22871 21714 0 -1 64 65125 0 1 0 155220 43 0 0 25 0 13 0 165446515 1833873408 209150 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109839908 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22874] ppid=22869 vsize=1790892 CPUtime=46.76 /proc/22871/task/22874/stat : 22874 (java) S 22869 22871 21714 0 -1 64 99572 0 0 0 4630 46 0 0 16 0 13 0 165446516 1833873408 209150 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22875] ppid=22869 vsize=1790892 CPUtime=46.83 /proc/22871/task/22875/stat : 22875 (java) S 22869 22871 21714 0 -1 64 87797 0 0 0 4640 43 0 0 16 0 13 0 165446516 1833873408 209150 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22876] ppid=22869 vsize=1790892 CPUtime=0.48 /proc/22871/task/22876/stat : 22876 (java) S 22869 22871 21714 0 -1 64 90 0 0 0 28 20 0 0 16 0 13 0 165446518 1833873408 209150 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22877] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22877/stat : 22877 (java) S 22869 22871 21714 0 -1 64 11 0 0 0 0 0 0 0 15 0 13 0 165446519 1833873408 209150 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22878] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22878/stat : 22878 (java) S 22869 22871 21714 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 165446519 1833873408 209150 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22879] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22879/stat : 22879 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 209150 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22880] ppid=22869 vsize=1790892 CPUtime=1.99 /proc/22871/task/22880/stat : 22880 (java) S 22869 22871 21714 0 -1 64 3501 0 0 0 197 2 0 0 16 0 13 0 165446523 1833873408 209150 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22881] ppid=22869 vsize=1790892 CPUtime=2.57 /proc/22871/task/22881/stat : 22881 (java) S 22869 22871 21714 0 -1 64 7330 0 0 0 254 3 0 0 16 0 13 0 165446523 1833873408 209150 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22882] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22882/stat : 22882 (java) S 22869 22871 21714 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 209150 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22883] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22883/stat : 22883 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165446523 1833873408 209150 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22892] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22892/stat : 22892 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 165451819 1833873408 209150 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1651.31 Current children cumulated vsize (KiB) 1790892 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/90 22892 /proc/meminfo: memFree=741616/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1790892 CPUtime=1714.29 /proc/22871/stat : 22871 (java) S 22869 22871 21714 0 -1 0 269285 0 1 0 171267 162 0 0 18 0 13 0 165446514 1833873408 213753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 447723 213753 1330 9 0 445335 0 [pid=22871/tid=22873] ppid=22869 vsize=1790892 CPUtime=1609.52 /proc/22871/task/22873/stat : 22873 (java) R 22869 22871 21714 0 -1 64 65190 0 1 0 160909 43 0 0 19 0 13 0 165446515 1833873408 213753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109839664 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22874] ppid=22869 vsize=1790892 CPUtime=49.78 /proc/22871/task/22874/stat : 22874 (java) S 22869 22871 21714 0 -1 64 102061 0 0 0 4931 47 0 0 16 0 13 0 165446516 1833873408 213753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22875] ppid=22869 vsize=1790892 CPUtime=49.86 /proc/22871/task/22875/stat : 22875 (java) S 22869 22871 21714 0 -1 64 90383 0 0 0 4943 43 0 0 16 0 13 0 165446516 1833873408 213753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22876] ppid=22869 vsize=1790892 CPUtime=0.5 /proc/22871/task/22876/stat : 22876 (java) S 22869 22871 21714 0 -1 64 90 0 0 0 30 20 0 0 16 0 13 0 165446518 1833873408 213753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22877] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22877/stat : 22877 (java) S 22869 22871 21714 0 -1 64 11 0 0 0 0 0 0 0 15 0 13 0 165446519 1833873408 213753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22878] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22878/stat : 22878 (java) S 22869 22871 21714 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 165446519 1833873408 213753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22879] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22879/stat : 22879 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 213753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22880] ppid=22869 vsize=1790892 CPUtime=1.99 /proc/22871/task/22880/stat : 22880 (java) S 22869 22871 21714 0 -1 64 3501 0 0 0 197 2 0 0 16 0 13 0 165446523 1833873408 213753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22881] ppid=22869 vsize=1790892 CPUtime=2.57 /proc/22871/task/22881/stat : 22881 (java) S 22869 22871 21714 0 -1 64 7330 0 0 0 254 3 0 0 16 0 13 0 165446523 1833873408 213753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22882] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22882/stat : 22882 (java) S 22869 22871 21714 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 213753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22883] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22883/stat : 22883 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165446523 1833873408 213753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22892] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22892/stat : 22892 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 165451819 1833873408 213753 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1714.29 Current children cumulated vsize (KiB) 1790892 [startup+1722.3 s] /proc/loadavg: 1.08 1.03 1.01 2/90 22892 /proc/meminfo: memFree=720688/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1790892 CPUtime=1777.28 /proc/22871/stat : 22871 (java) S 22869 22871 21714 0 -1 0 275163 0 1 0 177561 167 0 0 18 0 13 0 165446514 1833873408 218982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 447723 218982 1330 9 0 445335 0 [pid=22871/tid=22873] ppid=22869 vsize=1790892 CPUtime=1666.44 /proc/22871/task/22873/stat : 22873 (java) S 22869 22871 21714 0 -1 64 65251 0 1 0 166600 44 0 0 25 0 13 0 165446515 1833873408 218982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22874] ppid=22869 vsize=1790892 CPUtime=52.8 /proc/22871/task/22874/stat : 22874 (java) R 22869 22871 21714 0 -1 64 106021 0 0 0 5231 49 0 0 17 0 13 0 165446516 1833873408 218982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103361313 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22875] ppid=22869 vsize=1790892 CPUtime=52.9 /proc/22871/task/22875/stat : 22875 (java) R 22869 22871 21714 0 -1 64 92240 0 0 0 5246 44 0 0 17 0 13 0 165446516 1833873408 218982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102358594 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22876] ppid=22869 vsize=1790892 CPUtime=0.51 /proc/22871/task/22876/stat : 22876 (java) S 22869 22871 21714 0 -1 64 90 0 0 0 30 21 0 0 16 0 13 0 165446518 1833873408 218982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22877] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22877/stat : 22877 (java) S 22869 22871 21714 0 -1 64 11 0 0 0 0 0 0 0 15 0 13 0 165446519 1833873408 218982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22878] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22878/stat : 22878 (java) S 22869 22871 21714 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 165446519 1833873408 218982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22879] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22879/stat : 22879 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 218982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22880] ppid=22869 vsize=1790892 CPUtime=1.99 /proc/22871/task/22880/stat : 22880 (java) S 22869 22871 21714 0 -1 64 3501 0 0 0 197 2 0 0 16 0 13 0 165446523 1833873408 218982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22881] ppid=22869 vsize=1790892 CPUtime=2.57 /proc/22871/task/22881/stat : 22881 (java) S 22869 22871 21714 0 -1 64 7330 0 0 0 254 3 0 0 16 0 13 0 165446523 1833873408 218982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22882] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22882/stat : 22882 (java) S 22869 22871 21714 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 218982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22883] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22883/stat : 22883 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165446523 1833873408 218982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22892] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22892/stat : 22892 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 165451819 1833873408 218982 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1777.28 Current children cumulated vsize (KiB) 1790892 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1744 s] /proc/loadavg: 1.06 1.03 1.00 2/90 22892 /proc/meminfo: memFree=712304/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=1790892 CPUtime=1800.07 /proc/22871/stat : 22871 (java) S 22869 22871 21714 0 -1 0 277555 0 1 0 179839 168 0 0 18 0 13 0 165446514 1833873408 221065 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 447723 221065 1330 9 0 445335 0 [pid=22871/tid=22873] ppid=22869 vsize=1790892 CPUtime=1687 /proc/22871/task/22873/stat : 22873 (java) R 22869 22871 21714 0 -1 64 65274 0 1 0 168656 44 0 0 25 0 13 0 165446515 1833873408 221065 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109852517 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22874] ppid=22869 vsize=1790892 CPUtime=53.91 /proc/22871/task/22874/stat : 22874 (java) S 22869 22871 21714 0 -1 64 107647 0 0 0 5341 50 0 0 16 0 13 0 165446516 1833873408 221065 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22875] ppid=22869 vsize=1790892 CPUtime=54.02 /proc/22871/task/22875/stat : 22875 (java) S 22869 22871 21714 0 -1 64 92983 0 0 0 5357 45 0 0 16 0 13 0 165446516 1833873408 221065 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22876] ppid=22869 vsize=1790892 CPUtime=0.52 /proc/22871/task/22876/stat : 22876 (java) S 22869 22871 21714 0 -1 64 90 0 0 0 31 21 0 0 16 0 13 0 165446518 1833873408 221065 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22877] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22877/stat : 22877 (java) S 22869 22871 21714 0 -1 64 11 0 0 0 0 0 0 0 15 0 13 0 165446519 1833873408 221065 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22878] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22878/stat : 22878 (java) S 22869 22871 21714 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 165446519 1833873408 221065 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22879] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22879/stat : 22879 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 221065 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22880] ppid=22869 vsize=1790892 CPUtime=1.99 /proc/22871/task/22880/stat : 22880 (java) S 22869 22871 21714 0 -1 64 3501 0 0 0 197 2 0 0 16 0 13 0 165446523 1833873408 221065 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22881] ppid=22869 vsize=1790892 CPUtime=2.57 /proc/22871/task/22881/stat : 22881 (java) S 22869 22871 21714 0 -1 64 7330 0 0 0 254 3 0 0 16 0 13 0 165446523 1833873408 221065 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22871/tid=22882] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22882/stat : 22882 (java) S 22869 22871 21714 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165446523 1833873408 221065 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22883] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22883/stat : 22883 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165446523 1833873408 221065 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22871/tid=22892] ppid=22869 vsize=1790892 CPUtime=0 /proc/22871/task/22892/stat : 22892 (java) S 22869 22871 21714 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 165451819 1833873408 221065 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1790892 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1744.2 s] /proc/loadavg: 1.06 1.03 1.00 2/90 22892 /proc/meminfo: memFree=712304/2055920 swapFree=4158472/4192956 [pid=22871] ppid=22869 vsize=0 CPUtime=1800.35 /proc/22871/stat : 22871 (java) Z 22869 22871 21714 0 -1 1036 277577 0 1 0 179859 176 0 0 15 0 2 0 165446514 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22871/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1744.26 CPU time (s): 1800.41 CPU user time (s): 1798.59 CPU system time (s): 1.81872 CPU usage (%): 103.219 Max. virtual memory (cumulated for all children) (KiB): 1796656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.59 system time used= 1.81872 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277577 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 54431 involuntary context switches= 51910 runsolver used 1.67075 second user time and 4.89926 second system time The end
Begin job on node39 on Sat Apr 21 17:09:05 UTC 2007 IDJOB= 373251 IDBENCH= 25030 IDSOLVER= 160 FILE ID= node39/373251-1177175345 PBS_JOBID= 4648969 Free space on /tmp= 66485 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373251-1177175345/sat4jPseudoCP.jar /tmp/evaluation/373251-1177175345/instance-373251-1177175345.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-373251-1177175345 -o ROOT/results/node39/solver-373251-1177175345 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/373251-1177175345/sat4jPseudoCP.jar /tmp/evaluation/373251-1177175345/instance-373251-1177175345.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 267e112b52309c055e255eac2f43ef33 RANDOM SEED= 567183872 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.256 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.256 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1594384 kB Buffers: 39620 kB Cached: 330628 kB SwapCached: 14564 kB Active: 304544 kB Inactive: 92988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1594384 kB SwapTotal: 4192956 kB SwapFree: 4158472 kB Dirty: 4268 kB Writeback: 0 kB Mapped: 33404 kB Slab: 49252 kB Committed_AS: 1898156 kB PageTables: 2016 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66485 MiB End job on node39 on Sat Apr 21 17:38:11 UTC 2007