Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | OPT | 5 | 68.8135 | 66.7899 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-sample2.opb |
MD5SUM | 98cb9153c0a6885786e060f27dbb5c7a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 10.2424 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 1296 |
Total number of constraints | 46 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 43 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 729 |
Biggest coefficient in the objective function | 23832 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524793 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262138 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524793 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.06/0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.06/0.16 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.06/0.17 c no version file found!!! 0.06/0.17 c sun.arch.data.model 32 0.06/0.17 c java.version 1.6.0 0.06/0.17 c os.name Linux 0.06/0.17 c os.version 2.6.9-22.EL.rootsmp 0.06/0.17 c os.arch i386 0.06/0.17 c Free memory 1651659224 0.06/0.17 c Max memory 1654456320 0.06/0.17 c Total memory 1654456320 0.06/0.17 c Number of processors 2 0.18/0.23 --- Begin Solver configuration --- 0.18/0.23 c Stops conflict analysis at the first Unique Implication Point 0.18/0.23 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.18/0.23 c Learn all clauses as in MiniSAT 0.18/0.23 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.18/0.23 c VSIDS like heuristics from MiniSAT using a heap 0.18/0.23 c No reason simplification 0.18/0.23 c --- End Solver configuration --- 0.18/0.23 c solving /tmp/evaluation/351404-1176598545/instance-351404-1176598545.opb 0.18/0.23 c reading problem ... 0.99/0.70 c ... done. Wall clock time 0.475s. 0.99/0.70 c CPU time (experimental) 0.42s. 0.99/0.70 c #vars 1296 0.99/0.70 c #constraints 67 2.53/1.63 c SATISFIABLE 2.53/1.63 c OPTIMIZING... 2.53/1.64 c Got one! Elapsed wall clock time (in seconds):1.409 2.53/1.64 o 14 4.53/3.50 c Got one! Elapsed wall clock time (in seconds):3.274 4.53/3.50 o 11 5.27/4.25 c Got one! Elapsed wall clock time (in seconds):4.026 5.27/4.25 o 10 10.33/9.22 c Got one! Elapsed wall clock time (in seconds):8.999 10.33/9.23 o 9 22.45/21.23 c Got one! Elapsed wall clock time (in seconds):20.996 22.45/21.23 o 8 26.54/25.15 c Got one! Elapsed wall clock time (in seconds):24.92 26.54/25.15 o 7 50.92/49.17 c Got one! Elapsed wall clock time (in seconds):48.942 50.92/49.17 o 6 64.48/62.57 c Got one! Elapsed wall clock time (in seconds):62.348 64.48/62.58 o 5 68.72/66.70 c starts : 95 68.72/66.70 c conflicts : 185656 68.72/66.70 c decisions : 385776 68.72/66.70 c propagations : 5491865 68.72/66.70 c inspects : 84482474 68.72/66.70 c learnt literals : 6 68.72/66.70 c learnt binary clauses : 95 68.72/66.70 c learnt ternary clauses : 60 68.72/66.70 c learnt clauses : 185649 68.72/66.70 c root simplifications : 0 68.72/66.70 c removed literals (reason simplification) : 0 68.72/66.70 c reason swapping (by a shorter reason) : 0 68.72/66.70 c Calls to reduceDB : 0 68.72/66.70 c speed (decisions/second) : 93657.68390386016 68.72/66.70 c non guided choices 560 68.72/66.70 s OPTIMUM FOUND 68.72/66.71 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 68.72/66.71 v -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 68.72/66.71 v -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 68.72/66.71 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 68.72/66.71 v x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 68.72/66.71 v -x126 x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 68.72/66.71 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 68.72/66.71 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 x183 x184 -x185 -x186 x187 x188 x189 68.72/66.71 v -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 68.72/66.71 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 68.72/66.71 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 68.72/66.71 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 68.72/66.71 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 68.72/66.71 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 68.72/66.71 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 68.72/66.71 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 68.72/66.71 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 68.72/66.71 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 68.72/66.71 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 68.72/66.71 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 68.72/66.71 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 68.72/66.71 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 68.72/66.71 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 68.72/66.71 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 68.72/66.71 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 68.72/66.71 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 68.72/66.71 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 68.72/66.71 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 68.72/66.71 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 68.72/66.71 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 x650 -x651 68.72/66.71 v -x652 -x653 x654 -x655 -x656 x657 x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 68.72/66.71 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 68.72/66.71 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 68.72/66.71 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 68.72/66.71 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 68.72/66.71 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 68.72/66.71 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 68.72/66.71 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 68.72/66.71 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 x829 -x830 -x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 x839 x840 -x841 68.72/66.71 v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 68.72/66.71 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 68.72/66.71 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 68.72/66.71 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 68.72/66.71 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 68.72/66.71 v -x947 -x948 -x949 -x950 -x951 x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 68.72/66.71 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 68.72/66.71 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 68.72/66.71 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 68.72/66.71 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 68.72/66.71 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 68.72/66.71 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 68.72/66.71 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 68.72/66.71 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 68.72/66.71 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 68.72/66.71 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 68.72/66.71 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 68.72/66.71 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 68.72/66.71 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 68.72/66.71 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 68.72/66.71 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 68.72/66.71 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 68.72/66.71 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 68.72/66.71 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 x1279 x1280 68.72/66.71 v x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 68.72/66.71 c objective function=5 68.72/66.71 c Total wall clock time (ms): 66.489
OK 5
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-351404-1176598545 -o ROOT/results/node66/solver-351404-1176598545 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351404-1176598545/sat4jPseudoResolution.jar /tmp/evaluation/351404-1176598545/instance-351404-1176598545.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.95 1.05 1.00 3/64 28688 /proc/meminfo: memFree=1724472/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=272 CPUtime=0 /proc/28688/stat : 28688 (java) D 28686 28688 28333 0 -1 0 54 0 0 0 0 0 0 0 18 0 1 0 135844042 278528 37 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 9839396 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/28688/statm: 77 39 29 9 0 6 0 [startup+0.0259999 s] /proc/loadavg: 0.95 1.05 1.00 3/64 28688 /proc/meminfo: memFree=1724472/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=12652 CPUtime=0.01 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 879 0 1 0 0 1 0 0 18 0 2 0 135844042 12955648 635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 3163 635 311 9 0 1243 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12652 [startup+0.102022 s] /proc/loadavg: 0.95 1.05 1.00 3/64 28688 /proc/meminfo: memFree=1724472/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=1777708 CPUtime=0.06 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 3755 0 1 0 4 2 0 0 18 0 7 0 135844042 1820372992 3497 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 444427 3497 1084 9 0 442063 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777708 [startup+0.301059 s] /proc/loadavg: 0.95 1.05 1.00 3/64 28688 /proc/meminfo: memFree=1724472/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=1781428 CPUtime=0.28 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 5031 0 1 0 25 3 0 0 18 0 12 0 135844042 1824182272 4769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 445357 4770 1264 9 0 442969 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1781428 [startup+0.701141 s] /proc/loadavg: 0.95 1.05 1.00 3/64 28688 /proc/meminfo: memFree=1724472/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=1790660 CPUtime=0.99 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 8775 0 1 0 95 4 0 0 18 0 12 0 135844042 1833635840 7685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 447665 7685 1302 9 0 445277 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 1790660 [startup+1.5023 s] /proc/loadavg: 0.95 1.05 1.00 4/77 28701 /proc/meminfo: memFree=1693136/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=1793772 CPUtime=2.43 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 16256 0 1 0 235 8 0 0 18 0 13 0 135844042 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 448443 11246 1314 9 0 446055 0 [pid=28688/tid=28690] ppid=28686 vsize=1793772 CPUtime=0.88 /proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 7477 0 1 0 84 4 0 0 19 0 13 0 135844044 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109576690 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28691] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 135844048 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28692] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 135844048 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28693] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 135844050 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28694] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 135844051 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28695] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 135844051 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28696] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28697] ppid=28686 vsize=1793772 CPUtime=0.64 /proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3023 0 0 0 64 0 0 0 16 0 13 0 135844054 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28698] ppid=28686 vsize=1793772 CPUtime=0.88 /proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5032 0 0 0 86 2 0 0 16 0 13 0 135844055 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28699] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28700] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28701] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28701/stat : 28701 (java) S 28686 28688 28333 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 135844126 1836822528 11246 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.43 Current children cumulated vsize (KiB) 1793772 [startup+3.10262 s] /proc/loadavg: 0.95 1.05 1.00 2/77 28702 /proc/meminfo: memFree=1659784/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=1793772 CPUtime=4.13 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 34986 0 1 0 396 17 0 0 18 0 13 0 135844042 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 448443 29760 1317 9 0 446055 0 [pid=28688/tid=28690] ppid=28686 vsize=1793772 CPUtime=2.46 /proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 25976 0 1 0 233 13 0 0 25 0 13 0 135844044 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109554319 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28691] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 135844048 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28692] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 135844048 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28693] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 135844050 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28694] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 135844051 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28695] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 135844051 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28696] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28697] ppid=28686 vsize=1793772 CPUtime=0.71 /proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3242 0 0 0 71 0 0 0 16 0 13 0 135844054 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28698] ppid=28686 vsize=1793772 CPUtime=0.94 /proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5043 0 0 0 92 2 0 0 16 0 13 0 135844055 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28699] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28700] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28702] ppid=28686 vsize=1793772 CPUtime=0 /proc/28688/task/28702/stat : 28702 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 135844210 1836822528 29760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.13 Current children cumulated vsize (KiB) 1793772 [startup+6.30225 s] /proc/loadavg: 0.96 1.05 1.00 2/77 28704 /proc/meminfo: memFree=1557504/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=1793644 CPUtime=7.41 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 48015 0 1 0 718 23 0 0 18 0 13 0 135844042 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 448411 42726 1326 9 0 446023 0 [pid=28688/tid=28690] ppid=28686 vsize=1793644 CPUtime=5.6 /proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37721 0 1 0 541 19 0 0 25 0 13 0 135844044 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109769224 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28691] ppid=28686 vsize=1793644 CPUtime=0.01 /proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 693 0 0 0 1 0 0 0 16 0 13 0 135844048 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28692] ppid=28686 vsize=1793644 CPUtime=0.01 /proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 576 0 0 0 1 0 0 0 16 0 13 0 135844048 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28693] ppid=28686 vsize=1793644 CPUtime=0 /proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135844050 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28694] ppid=28686 vsize=1793644 CPUtime=0 /proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28695] ppid=28686 vsize=1793644 CPUtime=0 /proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135844051 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28696] ppid=28686 vsize=1793644 CPUtime=0 /proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28697] ppid=28686 vsize=1793644 CPUtime=0.76 /proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3248 0 0 0 76 0 0 0 16 0 13 0 135844054 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28698] ppid=28686 vsize=1793644 CPUtime=0.99 /proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5047 0 0 0 97 2 0 0 16 0 13 0 135844055 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28699] ppid=28686 vsize=1793644 CPUtime=0 /proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28700] ppid=28686 vsize=1793644 CPUtime=0 /proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28704] ppid=28686 vsize=1793644 CPUtime=0 /proc/28688/task/28704/stat : 28704 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 135844471 1836691456 42726 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.41 Current children cumulated vsize (KiB) 1793644 [startup+12.7025 s] /proc/loadavg: 0.96 1.05 1.00 2/77 28705 /proc/meminfo: memFree=1542776/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=1793160 CPUtime=13.87 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 51879 0 1 0 1362 25 0 0 18 0 13 0 135844042 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 448290 46428 1327 9 0 445902 0 [pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=11.93 /proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37724 0 1 0 1174 19 0 0 25 0 13 0 135844044 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109577227 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.06 /proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 2583 0 0 0 5 1 0 0 17 0 13 0 135844048 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.05 /proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 2541 0 0 0 5 0 0 0 16 0 13 0 135844048 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28693] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135844050 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28694] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28695] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28696] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28697] ppid=28686 vsize=1793160 CPUtime=0.77 /proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3248 0 0 0 77 0 0 0 17 0 13 0 135844054 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28698] ppid=28686 vsize=1793160 CPUtime=1 /proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5047 0 0 0 98 2 0 0 16 0 13 0 135844055 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28699] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28700] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28705] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28705/stat : 28705 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844968 1836195840 46428 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.87 Current children cumulated vsize (KiB) 1793160 [startup+25.5011 s] /proc/loadavg: 0.97 1.04 1.00 4/77 28707 /proc/meminfo: memFree=1502440/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=1793160 CPUtime=27.07 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 62841 0 1 0 2675 32 0 0 18 0 13 0 135844042 1836195840 56546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 448290 56546 1334 9 0 445902 0 [pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=24.46 /proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37731 0 1 0 2427 19 0 0 18 0 13 0 135844044 1836195840 56546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109605059 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.29 /proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 7306 0 0 0 25 4 0 0 16 0 13 0 135844048 1836195840 56546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.28 /proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 8744 0 0 0 24 4 0 0 17 0 13 0 135844048 1836195840 56546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ /proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28708] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28708/stat : 28708 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135848961 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 59.45 Current children cumulated vsize (KiB) 1793160 [startup+60.7011 s] /proc/loadavg: 0.98 1.04 1.00 2/77 28708 /proc/meminfo: memFree=1459296/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=1793160 CPUtime=62.65 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 76968 0 1 0 6226 39 0 0 18 0 13 0 135844042 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 448290 67287 1334 9 0 445902 0 [pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=59.33 /proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37739 0 1 0 5914 19 0 0 25 0 13 0 135844044 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109574676 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.59 /proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 15178 0 0 0 52 7 0 0 16 0 13 0 135844048 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.59 /proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 14985 0 0 0 52 7 0 0 16 0 13 0 135844048 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28693] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 135844050 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28694] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28695] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28696] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28697] ppid=28686 vsize=1793160 CPUtime=0.92 /proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3260 0 0 0 92 0 0 0 17 0 13 0 135844054 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28698] ppid=28686 vsize=1793160 CPUtime=1.16 /proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5056 0 0 0 114 2 0 0 17 0 13 0 135844055 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28699] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28700] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28708] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28708/stat : 28708 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135848961 1836195840 67287 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 62.65 Current children cumulated vsize (KiB) 1793160 [startup+63.9028 s] /proc/loadavg: 0.98 1.04 1.00 2/77 28709 /proc/meminfo: memFree=1458648/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=1793160 CPUtime=65.93 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 78106 0 1 0 6554 39 0 0 18 0 13 0 135844042 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 448290 67408 1334 9 0 445902 0 [pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=62.47 /proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37740 0 1 0 6228 19 0 0 25 0 13 0 135844044 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109761531 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.63 /proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 15586 0 0 0 56 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.62 /proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 15709 0 0 0 55 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28693] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 135844050 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28694] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28695] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28696] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28697] ppid=28686 vsize=1793160 CPUtime=0.96 /proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3262 0 0 0 96 0 0 0 17 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28698] ppid=28686 vsize=1793160 CPUtime=1.18 /proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5057 0 0 0 116 2 0 0 17 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28699] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28700] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28709] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28709/stat : 28709 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135850301 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 65.93 Current children cumulated vsize (KiB) 1793160 [startup+65.5011 s] /proc/loadavg: 0.98 1.04 1.00 2/77 28709 /proc/meminfo: memFree=1458648/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=1793160 CPUtime=67.52 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 78106 0 1 0 6713 39 0 0 18 0 13 0 135844042 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 448290 67408 1334 9 0 445902 0 [pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=64.06 /proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37740 0 1 0 6387 19 0 0 25 0 13 0 135844044 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109576675 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.63 /proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 15586 0 0 0 56 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.62 /proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 15709 0 0 0 55 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28693] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 135844050 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28694] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28695] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28696] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28697] ppid=28686 vsize=1793160 CPUtime=0.96 /proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3262 0 0 0 96 0 0 0 17 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28698] ppid=28686 vsize=1793160 CPUtime=1.18 /proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5057 0 0 0 116 2 0 0 17 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28699] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28700] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28709] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28709/stat : 28709 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135850301 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 67.52 Current children cumulated vsize (KiB) 1793160 [startup+66.3012 s] /proc/loadavg: 0.98 1.04 1.00 2/77 28709 /proc/meminfo: memFree=1458648/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=1793160 CPUtime=68.32 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 78106 0 1 0 6793 39 0 0 18 0 13 0 135844042 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 448290 67408 1334 9 0 445902 0 [pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=64.86 /proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37740 0 1 0 6467 19 0 0 25 0 13 0 135844044 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109618440 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.63 /proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 15586 0 0 0 56 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.62 /proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 15709 0 0 0 55 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28693] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 135844050 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28694] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28695] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28696] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28697] ppid=28686 vsize=1793160 CPUtime=0.96 /proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3262 0 0 0 96 0 0 0 17 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28698] ppid=28686 vsize=1793160 CPUtime=1.18 /proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5057 0 0 0 116 2 0 0 17 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28699] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28700] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28709] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28709/stat : 28709 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135850301 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 68.32 Current children cumulated vsize (KiB) 1793160 [startup+66.7013 s] /proc/loadavg: 0.98 1.04 1.00 2/77 28709 /proc/meminfo: memFree=1458648/2055920 swapFree=4184728/4192956 [pid=28688] ppid=28686 vsize=1793160 CPUtime=68.72 /proc/28688/stat : 28688 (java) S 28686 28688 28333 0 -1 0 78106 0 1 0 6833 39 0 0 18 0 13 0 135844042 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28688/statm: 448290 67408 1334 9 0 445902 0 [pid=28688/tid=28690] ppid=28686 vsize=1793160 CPUtime=65.26 /proc/28688/task/28690/stat : 28690 (java) R 28686 28688 28333 0 -1 64 37740 0 1 0 6507 19 0 0 25 0 13 0 135844044 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109605876 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28691] ppid=28686 vsize=1793160 CPUtime=0.63 /proc/28688/task/28691/stat : 28691 (java) S 28686 28688 28333 0 -1 64 15586 0 0 0 56 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28692] ppid=28686 vsize=1793160 CPUtime=0.62 /proc/28688/task/28692/stat : 28692 (java) S 28686 28688 28333 0 -1 64 15709 0 0 0 55 7 0 0 17 0 13 0 135844048 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28693] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28693/stat : 28693 (java) S 28686 28688 28333 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 135844050 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28694] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28694/stat : 28694 (java) S 28686 28688 28333 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28695] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28695/stat : 28695 (java) S 28686 28688 28333 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 135844051 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28696] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28696/stat : 28696 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28697] ppid=28686 vsize=1793160 CPUtime=0.96 /proc/28688/task/28697/stat : 28697 (java) S 28686 28688 28333 0 -1 64 3262 0 0 0 96 0 0 0 17 0 13 0 135844054 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28698] ppid=28686 vsize=1793160 CPUtime=1.18 /proc/28688/task/28698/stat : 28698 (java) S 28686 28688 28333 0 -1 64 5057 0 0 0 116 2 0 0 17 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28699] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28699/stat : 28699 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28688/tid=28700] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28700/stat : 28700 (java) S 28686 28688 28333 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 135844055 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28688/tid=28709] ppid=28686 vsize=1793160 CPUtime=0 /proc/28688/task/28709/stat : 28709 (java) S 28686 28688 28333 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 135850301 1836195840 67408 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 68.72 Current children cumulated vsize (KiB) 1793160 Child status: 30 Real time (s): 66.7899 CPU time (s): 68.8135 CPU user time (s): 68.3746 CPU system time (s): 0.438933 CPU usage (%): 103.03 Max. virtual memory (cumulated for all children) (KiB): 1795868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.3746 system time used= 0.438933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78113 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= 2150 involuntary context switches= 1938 runsolver used 0.075988 second user time and 0.177972 second system time The end
Begin job on node66 on Sun Apr 15 00:55:45 UTC 2007 IDJOB= 351404 IDBENCH= 1747 IDSOLVER= 159 FILE ID= node66/351404-1176598545 PBS_JOBID= 4557005 Free space on /tmp= 66561 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-sample2.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351404-1176598545/sat4jPseudoResolution.jar /tmp/evaluation/351404-1176598545/instance-351404-1176598545.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-351404-1176598545 -o ROOT/results/node66/solver-351404-1176598545 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351404-1176598545/sat4jPseudoResolution.jar /tmp/evaluation/351404-1176598545/instance-351404-1176598545.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 98cb9153c0a6885786e060f27dbb5c7a RANDOM SEED= 325512599 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1724880 kB Buffers: 23264 kB Cached: 174108 kB SwapCached: 2208 kB Active: 67656 kB Inactive: 180036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1724880 kB SwapTotal: 4192956 kB SwapFree: 4184728 kB Dirty: 3624 kB Writeback: 0 kB Mapped: 47016 kB Slab: 69340 kB Committed_AS: 309992 kB PageTables: 1460 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= 66561 MiB End job on node66 on Sun Apr 15 00:56:52 UTC 2007