Name | submitted/een/normalized-seymour.opb |
MD5SUM | 23a177449585151350479e80b33e6416 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 343 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1372 |
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 | 1372 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1372 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.02 |
Number of variables | 1255 |
Total number of constraints | 4827 |
Number of constraints which are clauses | 4827 |
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 | 2 |
Maximum length of a constraint | 19 |
LAUNCH ON wulflinc29 THE 2005-09-18 22:46:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6148 boxname=wulflinc29 idbench=288 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 23a177449585151350479e80b33e6416 /oldhome/oroussel/tmp/wulflinc29/normalized-seymour.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc29/normalized-seymour.opb IDLAUNCH: 6148 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 907544 kB Buffers: 33924 kB Cached: 63680 kB SwapCached: 792 kB Active: 34616 kB Inactive: 65664 kB HighTotal: 131008 kB HighFree: 66276 kB LowTotal: 903652 kB LowFree: 841268 kB SwapTotal: 2097892 kB SwapFree: 2096664 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5740 kB Slab: 21220 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 23:07:38 (client local time) WITH STATUS 143 IN 1256.9 SECONDS stats: 6148 0 1256.9 143
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version JAVA5.1.1.31 c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@a20892 c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08 c org.sat4j.minisat.learning.MiniSATLearning@158b649 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c VSIDS like heuristics from MiniSAT using a sorted array c No reason simplification c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc29/normalized-seymour.opb c reading problem ... done. Time 3.663 ms. c #vars 1372 c #constraints 4827 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 385 Current CPU time: 4.30 ms c CURRENT OPTIMUM= 384 Current CPU time: 6.50 ms c CURRENT OPTIMUM= 383 Current CPU time: 8.66 ms c CURRENT OPTIMUM= 382 Current CPU time: 47.69 ms c CURRENT OPTIMUM= 381 Current CPU time: 51.94 ms c CURRENT OPTIMUM= 380 Current CPU time: 58.67 ms c CURRENT OPTIMUM= 379 Current CPU time: 690.33 ms c starts : 10 c conflicts : 612 c decisions : 14038 c propagations : 29150 c inspects : 463830 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 611 c root simplifications : 10 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 0 c speed (decisions/second) : 25.137343943615566 c non guided choices 7179 c random choices 0 s SATISFIABLE v -x0 x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 x9 -x10 x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 x24 x25 x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 x42 -x43 x44 -x45 -x46 -x47 x48 -x49 x50 -x51 x52 -x53 x54 -x55 -x56 x57 -x58 -x59 x60 -x61 x62 -x63 x64 -x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 x110 -x111 -x112 x113 -x114 x115 -x116 x117 -x118 -x119 -x120 -x121 x122 x123 x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 x136 x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 x146 x147 -x148 x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 x157 -x158 x159 -x160 x161 -x162 -x163 -x164 -x165 x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 x180 -x181 -x182 x183 -x184 -x185 -x186 x187 x188 x189 x190 -x191 -x192 -x193 x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 x226 -x227 -x228 x229 x230 -x231 -x232 x233 -x234 -x235 -x236 x237 x238 -x239 -x240 -x241 x242 -x243 x244 -x245 -x246 x247 x248 -x249 x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 x260 -x261 x262 -x263 x264 -x265 -x266 x267 -x268 x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 x282 -x283 x284 -x285 x286 -x287 x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 x309 x310 -x311 x312 x313 x314 -x315 x316 -x317 -x318 x319 -x320 x321 -x322 -x323 -x324 x325 -x326 -x327 x328 x329 -x330 -x331 x332 -x333 x334 x335 -x336 -x337 -x338 x339 x340 -x341 x342 x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 x380 x381 x382 -x383 -x384 -x385 -x386 -x387 x388 x389 -x390 x391 -x392 -x393 x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 x404 -x405 x406 x407 x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 x423 x424 -x425 x426 -x427 -x428 -x429 -x430 x431 x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 x442 -x443 x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 x455 -x456 x457 -x458 -x459 x460 x461 -x462 -x463 x464 x465 x466 -x467 -x468 -x469 -x470 -x471 x472 x473 -x474 -x475 -x476 x477 x478 -x479 x480 -x481 x482 x483 -x484 x485 x486 -x487 -x488 x489 -x490 x491 -x492 x493 -x494 -x495 -x496 x497 -x498 x499 -x500 x501 x502 x503 x504 -x505 -x506 x507 -x508 -x509 -x510 x511 x512 -x513 -x514 x515 -x516 -x517 -x518 x519 x520 -x521 -x522 x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 x542 -x543 -x544 -x545 x546 x547 x548 x549 -x550 -x551 x552 x553 x554 -x555 x556 -x557 -x558 x559 x560 -x561 -x562 -x563 x564 x565 x566 -x567 x568 -x569 x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 x599 -x600 x601 x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 x640 x641 -x642 -x643 -x644 x645 x646 -x647 x648 -x649 x650 -x651 x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 x663 x664 -x665 x666 x667 -x668 x669 -x670 x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 x679 x680 -x681 x682 -x683 x684 -x685 -x686 x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 x717 x718 -x719 -x720 -x721 x722 -x723 x724 x725 -x726 x727 x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 x773 -x774 x775 -x776 -x777 -x778 x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 x900 x901 x902 -x903 -x904 -x905 x906 -x907 -x908 x909 -x910 -x911 x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 x923 x924 -x925 -x926 -x927 -x928 x929 x930 x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 x966 x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 x976 -x977 x978 -x979 -x980 -x981 -x982 x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 x994 -x995 -x996 x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 x1028 x1029 -x1030 x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 x1038 -x1039 x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 x1180 -x1181 -x1182 x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 x1219 -x1220 -x1221 -x1222 -x1223 x1224 x1225 -x1226 -x1227 x1228 x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 x1271 -x1272 x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 x1302 -x1303 x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 x1370 -x1371 c objective function=379 c Total CPU time (ms) : 1248.979
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1844956308 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 39 3 38 16 0 23 0 [pid=25720] vsize: 156 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable open syscall for file /etc/ld.so.preload open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libm.so.6 open syscall for file /etc/mtab open syscall for file /proc/stat open syscall for file /etc/mtab open syscall for file /proc/meminfo open syscall for file .hotspotrc open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed open syscall for file /etc/mtab open syscall for file /proc/stat open syscall for file /proc/self/maps open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1 open syscall for file tls/i686/mmx/libnsl.so.1 open syscall for file tls/i686/libnsl.so.1 open syscall for file tls/mmx/libnsl.so.1 open syscall for file tls/libnsl.so.1 open syscall for file i686/mmx/libnsl.so.1 open syscall for file i686/libnsl.so.1 open syscall for file mmx/libnsl.so.1 open syscall for file libnsl.so.1 open syscall for file /oldhome/oroussel/lib/libnsl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libnsl.so.1 socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4 socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /tmp/hsperfdata_oroussel open syscall for file /tmp/hsperfdata_oroussel/25720 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa open syscall for file .hotspot_compiler New thread pid=25721 New thread pid=25722 New thread pid=25723 socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4 socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext New thread pid=25724 New thread pid=25725 New thread pid=25726 New thread pid=25727 New thread pid=25728 New thread pid=25729 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security open syscall for file /dev/random open syscall for file /dev/urandom open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-seymour.opb New thread pid=25730 One traced child (pid=25730) exited with status: 0 New thread pid=25731 One traced child (pid=25731) exited with status: 0 New thread pid=25732 One traced child (pid=25732) exited with status: 0 [startup+10.0026 s] Raw data (loadavg): 1.16 1.03 1.01 2/65 25732 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18191 4 1 0 724 52 0 0 25 0 10 0 1844956308 856031232 21339 4294967295 134512640 134569956 3221224336 3221214796 1131077155 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 208992 21339 13129 16 0 208976 0 [pid=25720] vsize: 835968 Current children cumulated CPU time (s) 7.76 Current children cumulated vsize (Kb) 835968 New thread pid=25733 [startup+20.0034 s] Raw data (loadavg): 1.13 1.03 1.01 2/66 25733 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18200 4 1 0 1654 53 0 0 20 0 11 0 1844956308 857378816 22999 4294967295 134512640 134569956 3221224336 3221214504 1131434834 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 209321 22999 13129 16 0 209305 0 [pid=25720] vsize: 837284 Current children cumulated CPU time (s) 17.07 Current children cumulated vsize (Kb) 837284 [startup+30.0042 s] Raw data (loadavg): 1.11 1.03 1.01 2/66 25733 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18208 4 1 0 2613 53 0 0 25 0 11 0 1844956308 860946432 23936 4294967295 134512640 134569956 3221224336 3221214560 1131513189 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210192 23936 13129 16 0 210176 0 [pid=25720] vsize: 840768 Current children cumulated CPU time (s) 26.66 Current children cumulated vsize (Kb) 840768 [startup+40.004 s] Raw data (loadavg): 1.10 1.03 1.01 2/66 25733 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18215 4 1 0 3564 53 0 0 25 0 11 0 1844956308 860225536 23762 4294967295 134512640 134569956 3221224336 3221214504 1131434954 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 23762 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 36.17 Current children cumulated vsize (Kb) 840064 One traced child (pid=25733) exited with status: 0 New thread pid=25734 [startup+50.0048 s] Raw data (loadavg): 1.08 1.03 1.01 2/66 25734 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18222 4 1 0 4512 54 0 0 19 0 11 0 1844956308 860225536 23762 4294967295 134512640 134569956 3221224336 3221214696 1131407744 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 23762 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 45.66 Current children cumulated vsize (Kb) 840064 One traced child (pid=25734) exited with status: 0 New thread pid=25735 One traced child (pid=25735) exited with status: 0 [startup+60.0045 s] Raw data (loadavg): 1.07 1.03 1.01 2/65 25735 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18232 4 1 0 5402 54 0 0 17 0 10 0 1844956308 860225536 26007 4294967295 134512640 134569956 3221224336 3221214672 1131458609 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 26007 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 54.56 Current children cumulated vsize (Kb) 840064 New thread pid=25736 [startup+70.0053 s] Raw data (loadavg): 1.06 1.02 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18239 4 1 0 6329 55 0 0 25 0 11 0 1844956308 860225536 26887 4294967295 134512640 134569956 3221224336 3221214440 1131434834 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 26887 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 63.84 Current children cumulated vsize (Kb) 840064 [startup+80.0061 s] Raw data (loadavg): 1.05 1.02 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18245 4 1 0 7276 55 0 0 24 0 11 0 1844956308 860225536 26887 4294967295 134512640 134569956 3221224336 3221214632 1131470155 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 26887 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 73.31 Current children cumulated vsize (Kb) 840064 [startup+90.0069 s] Raw data (loadavg): 1.04 1.02 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18250 4 1 0 8225 56 0 0 25 0 11 0 1844956308 860225536 26887 4294967295 134512640 134569956 3221224336 3221214440 1131435107 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 26887 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 82.81 Current children cumulated vsize (Kb) 840064 [startup+100.008 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18256 4 1 0 9162 56 0 0 20 0 11 0 1844956308 860225536 26887 4294967295 134512640 134569956 3221224336 3221214528 1131578336 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 26887 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 92.18 Current children cumulated vsize (Kb) 840064 [startup+110.008 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) S 25719 25720 19818 0 -1 0 18261 4 1 0 10106 56 0 0 17 0 11 0 1844956308 860225536 26935 4294967295 134512640 134569956 3221224336 3221213176 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 26935 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 101.62 Current children cumulated vsize (Kb) 840064 [startup+120.009 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18268 4 1 0 11043 56 0 0 25 0 11 0 1844956308 860225536 27214 4294967295 134512640 134569956 3221224336 3221214524 1131505161 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 27214 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 110.99 Current children cumulated vsize (Kb) 840064 [startup+130.01 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18274 4 1 0 11989 57 0 0 25 0 11 0 1844956308 860225536 27543 4294967295 134512640 134569956 3221224336 3221214528 1131578321 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 27543 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 120.46 Current children cumulated vsize (Kb) 840064 [startup+140.011 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18279 4 1 0 12952 57 0 0 25 0 11 0 1844956308 860225536 27714 4294967295 134512640 134569956 3221224336 3221214432 1131435231 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 27714 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 130.09 Current children cumulated vsize (Kb) 840064 [startup+150.012 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18286 4 1 0 13896 57 0 0 24 0 11 0 1844956308 860225536 27755 4294967295 134512640 134569956 3221224336 3221214432 1131434997 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 27755 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 139.53 Current children cumulated vsize (Kb) 840064 [startup+160.012 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18291 4 1 0 14845 58 0 0 25 0 11 0 1844956308 860225536 28010 4294967295 134512640 134569956 3221224336 3221214432 1131435584 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 28010 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 149.03 Current children cumulated vsize (Kb) 840064 [startup+170.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18297 4 1 0 15787 58 0 0 25 0 11 0 1844956308 860225536 28094 4294967295 134512640 134569956 3221224336 3221214440 1131434937 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 28094 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 158.45 Current children cumulated vsize (Kb) 840064 [startup+180.014 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18303 4 1 0 16732 58 0 0 17 0 11 0 1844956308 860225536 28178 4294967295 134512640 134569956 3221224336 3221214540 1131645262 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 28178 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 167.9 Current children cumulated vsize (Kb) 840064 [startup+190.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18308 4 1 0 17689 59 0 0 25 0 11 0 1844956308 860225536 28221 4294967295 134512640 134569956 3221224336 3221214536 1131534643 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 28221 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 177.48 Current children cumulated vsize (Kb) 840064 [startup+200.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18314 4 1 0 18641 59 0 0 22 0 11 0 1844956308 860225536 28387 4294967295 134512640 134569956 3221224336 3221214432 1131434834 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 28387 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 187 Current children cumulated vsize (Kb) 840064 [startup+210.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18320 4 1 0 19608 59 0 0 20 0 11 0 1844956308 860225536 28760 4294967295 134512640 134569956 3221224336 3221214528 1131578608 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 28760 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 196.67 Current children cumulated vsize (Kb) 840064 [startup+220.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18326 4 1 0 20585 59 0 0 25 0 11 0 1844956308 860225536 28808 4294967295 134512640 134569956 3221224336 3221214484 1131057186 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 28808 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 206.44 Current children cumulated vsize (Kb) 840064 [startup+230.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18332 4 1 0 21564 60 0 0 25 0 11 0 1844956308 860225536 28874 4294967295 134512640 134569956 3221224336 3221214508 1131395376 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 28874 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 216.24 Current children cumulated vsize (Kb) 840064 [startup+240.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18337 4 1 0 22549 60 0 0 25 0 11 0 1844956308 860225536 28895 4294967295 134512640 134569956 3221224336 3221214528 1131578175 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 28895 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 226.09 Current children cumulated vsize (Kb) 840064 [startup+250.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18343 4 1 0 23528 61 0 0 25 0 11 0 1844956308 860225536 28917 4294967295 134512640 134569956 3221224336 3221214508 1131395376 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 28917 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 235.89 Current children cumulated vsize (Kb) 840064 [startup+260.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18349 4 1 0 24508 61 0 0 25 0 11 0 1844956308 860225536 28986 4294967295 134512640 134569956 3221224336 3221214528 1131578336 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 28986 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 245.69 Current children cumulated vsize (Kb) 840064 [startup+270.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18355 4 1 0 25490 61 0 0 25 0 11 0 1844956308 860225536 29028 4294967295 134512640 134569956 3221224336 3221214432 1131435172 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 29028 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 255.51 Current children cumulated vsize (Kb) 840064 [startup+280.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18361 4 1 0 26471 61 0 0 25 0 11 0 1844956308 860225536 29049 4294967295 134512640 134569956 3221224336 3221214496 1131513283 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 29049 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 265.32 Current children cumulated vsize (Kb) 840064 [startup+290.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18367 4 1 0 27451 62 0 0 22 0 11 0 1844956308 860225536 29070 4294967295 134512640 134569956 3221224336 3221214432 1131583422 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 29070 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 275.13 Current children cumulated vsize (Kb) 840064 [startup+300.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18373 4 1 0 28431 62 0 0 19 0 11 0 1844956308 860225536 29092 4294967295 134512640 134569956 3221224336 3221214536 1131534627 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 29092 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 284.93 Current children cumulated vsize (Kb) 840064 [startup+310.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18379 4 1 0 29409 62 0 0 25 0 11 0 1844956308 860225536 29139 4294967295 134512640 134569956 3221224336 3221214528 1131578321 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 29139 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 294.71 Current children cumulated vsize (Kb) 840064 [startup+320.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18384 4 1 0 30389 63 0 0 25 0 11 0 1844956308 860225536 29161 4294967295 134512640 134569956 3221224336 3221214432 1131434997 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 29161 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 304.52 Current children cumulated vsize (Kb) 840064 [startup+330.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18390 4 1 0 31366 63 0 0 25 0 11 0 1844956308 860225536 29183 4294967295 134512640 134569956 3221224336 3221214432 1131584287 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 29183 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 314.29 Current children cumulated vsize (Kb) 840064 [startup+340.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18394 4 1 0 32348 64 0 0 25 0 11 0 1844956308 860225536 29226 4294967295 134512640 134569956 3221224336 3221214632 1131469860 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 29226 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 324.12 Current children cumulated vsize (Kb) 840064 [startup+350.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18400 4 1 0 33321 65 0 0 25 0 11 0 1844956308 860225536 29270 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 29270 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 333.86 Current children cumulated vsize (Kb) 840064 [startup+360.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18407 4 1 0 34293 65 0 0 25 0 11 0 1844956308 860225536 29312 4294967295 134512640 134569956 3221224336 3221214680 1131407765 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 29312 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 343.58 Current children cumulated vsize (Kb) 840064 [startup+370.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18415 4 1 0 35266 65 0 0 25 0 11 0 1844956308 860225536 29399 4294967295 134512640 134569956 3221224336 3221214544 1131448312 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 29399 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 353.31 Current children cumulated vsize (Kb) 840064 [startup+380.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18424 4 1 0 36240 66 0 0 17 0 11 0 1844956308 860225536 29455 4294967295 134512640 134569956 3221224336 3221214728 1131488048 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 29455 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 363.06 Current children cumulated vsize (Kb) 840064 [startup+390.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18432 4 1 0 37224 66 0 0 25 0 11 0 1844956308 860225536 29488 4294967295 134512640 134569956 3221224336 3221214680 1131407761 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 29488 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 372.9 Current children cumulated vsize (Kb) 840064 [startup+400.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18441 4 1 0 38209 66 0 0 25 0 11 0 1844956308 860225536 29516 4294967295 134512640 134569956 3221224336 3221214632 1131470674 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 29516 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 382.75 Current children cumulated vsize (Kb) 840064 [startup+410.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18451 4 1 0 39193 66 0 0 17 0 11 0 1844956308 860225536 29537 4294967295 134512640 134569956 3221224336 3221214704 1131478129 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 29537 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 392.59 Current children cumulated vsize (Kb) 840064 [startup+420.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18458 4 1 0 40143 67 0 0 16 0 11 0 1844956308 860225536 30457 4294967295 134512640 134569956 3221224336 3221214680 1131407832 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 30457 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (Kb) 840064 [startup+430.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) S 25719 25720 19818 0 -1 0 18465 4 1 0 41085 67 0 0 25 0 11 0 1844956308 860225536 30871 4294967295 134512640 134569956 3221224336 3221213376 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 30871 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 411.52 Current children cumulated vsize (Kb) 840064 [startup+440.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18472 4 1 0 42007 67 0 0 25 0 11 0 1844956308 860225536 31620 4294967295 134512640 134569956 3221224336 3221214440 1131434705 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 31620 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 420.74 Current children cumulated vsize (Kb) 840064 [startup+450.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18477 4 1 0 42946 68 0 0 17 0 11 0 1844956308 860225536 32067 4294967295 134512640 134569956 3221224336 3221214536 1131534545 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 32067 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 430.14 Current children cumulated vsize (Kb) 840064 [startup+460.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18480 4 1 0 43915 68 0 0 25 0 11 0 1844956308 860225536 32067 4294967295 134512640 134569956 3221224336 3221214680 1131407761 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 32067 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 439.83 Current children cumulated vsize (Kb) 840064 [startup+470.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18486 4 1 0 44852 68 0 0 15 0 11 0 1844956308 860225536 32067 4294967295 134512640 134569956 3221224336 3221214680 1131407871 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 32067 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 449.2 Current children cumulated vsize (Kb) 840064 [startup+480.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18492 4 1 0 45789 68 0 0 25 0 11 0 1844956308 860225536 32067 4294967295 134512640 134569956 3221224336 3221214632 1131470051 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 32067 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 458.57 Current children cumulated vsize (Kb) 840064 [startup+490.041 s] Raw data (loadavg): 1.00 1.00 1.00 3/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18500 4 1 0 46704 69 0 0 15 0 11 0 1844956308 860225536 32299 4294967295 134512640 134569956 3221224336 3221214632 1131470085 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 32299 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 467.73 Current children cumulated vsize (Kb) 840064 [startup+500.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18507 4 1 0 47654 69 0 0 25 0 11 0 1844956308 860225536 32821 4294967295 134512640 134569956 3221224336 3221214632 1131470695 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 32821 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 477.23 Current children cumulated vsize (Kb) 840064 [startup+510.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18516 4 1 0 48638 69 0 0 19 0 11 0 1844956308 860225536 32912 4294967295 134512640 134569956 3221224336 3221214728 1131487877 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 32912 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 487.07 Current children cumulated vsize (Kb) 840064 [startup+520.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18525 4 1 0 49625 69 0 0 17 0 11 0 1844956308 860225536 32930 4294967295 134512640 134569956 3221224336 3221214632 1131470155 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 32930 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 496.94 Current children cumulated vsize (Kb) 840064 [startup+530.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18533 4 1 0 50616 69 0 0 25 0 11 0 1844956308 860225536 32937 4294967295 134512640 134569956 3221224336 3221214680 1131407797 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 32937 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 506.85 Current children cumulated vsize (Kb) 840064 [startup+540.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18542 4 1 0 51604 70 0 0 25 0 11 0 1844956308 860225536 32941 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 32941 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 516.74 Current children cumulated vsize (Kb) 840064 [startup+550.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18552 4 1 0 52593 70 0 0 24 0 11 0 1844956308 860225536 32946 4294967295 134512640 134569956 3221224336 3221214680 1131407741 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 32946 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 526.63 Current children cumulated vsize (Kb) 840064 [startup+560.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18561 4 1 0 53582 70 0 0 25 0 11 0 1844956308 860225536 32950 4294967295 134512640 134569956 3221224336 3221214632 1131470323 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 32950 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 536.52 Current children cumulated vsize (Kb) 840064 [startup+570.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18570 4 1 0 54569 71 0 0 25 0 11 0 1844956308 860225536 32954 4294967295 134512640 134569956 3221224336 3221214680 1131407761 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 32954 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 546.4 Current children cumulated vsize (Kb) 840064 [startup+580.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18580 4 1 0 55556 71 0 0 17 0 11 0 1844956308 860225536 32959 4294967295 134512640 134569956 3221224336 3221214632 1131469846 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 32959 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 556.27 Current children cumulated vsize (Kb) 840064 [startup+590.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18589 4 1 0 56545 72 0 0 25 0 11 0 1844956308 860225536 32964 4294967295 134512640 134569956 3221224336 3221214680 1131407942 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 32964 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 566.17 Current children cumulated vsize (Kb) 840064 [startup+600.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18598 4 1 0 57510 72 0 0 25 0 11 0 1844956308 860225536 32990 4294967295 134512640 134569956 3221224336 3221214624 1131549750 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 32990 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 575.82 Current children cumulated vsize (Kb) 840064 [startup+610.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18605 4 1 0 58435 72 0 0 25 0 11 0 1844956308 860225536 34401 4294967295 134512640 134569956 3221224336 3221214648 1131434834 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 34401 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 585.07 Current children cumulated vsize (Kb) 840064 [startup+620.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18610 4 1 0 59353 73 0 0 25 0 11 0 1844956308 860225536 35924 4294967295 134512640 134569956 3221224336 3221214744 1131515094 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 35924 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 594.26 Current children cumulated vsize (Kb) 840064 [startup+630.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18616 4 1 0 60309 73 0 0 18 0 11 0 1844956308 860225536 36410 4294967295 134512640 134569956 3221224336 3221214728 1131487873 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 36410 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 603.82 Current children cumulated vsize (Kb) 840064 [startup+640.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18621 4 1 0 61275 73 0 0 25 0 11 0 1844956308 860225536 36410 4294967295 134512640 134569956 3221224336 3221214632 1131470095 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 36410 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 613.48 Current children cumulated vsize (Kb) 840064 [startup+650.055 s] Raw data (loadavg): 1.00 1.00 1.00 3/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18627 4 1 0 62228 73 0 0 22 0 11 0 1844956308 860225536 36410 4294967295 134512640 134569956 3221224336 3221214728 1131487877 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 36410 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 623.01 Current children cumulated vsize (Kb) 840064 [startup+660.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18633 4 1 0 63174 73 0 0 25 0 11 0 1844956308 860225536 36410 4294967295 134512640 134569956 3221224336 3221214512 1131434997 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 36410 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 632.47 Current children cumulated vsize (Kb) 840064 [startup+670.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18639 4 1 0 64113 74 0 0 17 0 11 0 1844956308 860225536 36410 4294967295 134512640 134569956 3221224336 3221214512 1131434867 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 36410 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 641.87 Current children cumulated vsize (Kb) 840064 [startup+680.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18644 4 1 0 65070 74 0 0 25 0 11 0 1844956308 860225536 36862 4294967295 134512640 134569956 3221224336 3221214512 1131435584 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 36862 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 651.44 Current children cumulated vsize (Kb) 840064 [startup+690.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25736 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18652 4 1 0 66015 74 0 0 25 0 11 0 1844956308 860225536 36908 4294967295 134512640 134569956 3221224336 3221214632 1131470155 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 36908 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 660.89 Current children cumulated vsize (Kb) 840064 One traced child (pid=25736) exited with status: 0 New thread pid=25737 [startup+700.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18656 4 1 0 66987 74 0 0 21 0 11 0 1844956308 860225536 36996 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 36996 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 670.61 Current children cumulated vsize (Kb) 840064 [startup+710.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18661 4 1 0 67954 75 0 0 25 0 11 0 1844956308 860225536 37083 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 37083 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 680.29 Current children cumulated vsize (Kb) 840064 [startup+720.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18667 4 1 0 68920 75 0 0 25 0 11 0 1844956308 860225536 37195 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 37195 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 689.95 Current children cumulated vsize (Kb) 840064 [startup+730.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18675 4 1 0 69885 75 0 0 25 0 11 0 1844956308 860225536 37375 4294967295 134512640 134569956 3221224336 3221214680 1131407761 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 37375 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 699.6 Current children cumulated vsize (Kb) 840064 [startup+740.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18683 4 1 0 70860 75 0 0 25 0 11 0 1844956308 860225536 37401 4294967295 134512640 134569956 3221224336 3221214632 1131470607 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 37401 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 709.35 Current children cumulated vsize (Kb) 840064 [startup+750.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18691 4 1 0 71841 75 0 0 24 0 11 0 1844956308 860225536 37477 4294967295 134512640 134569956 3221224336 3221214680 1131407761 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 37477 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 719.16 Current children cumulated vsize (Kb) 840064 [startup+760.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18700 4 1 0 72825 76 0 0 21 0 11 0 1844956308 860225536 37509 4294967295 134512640 134569956 3221224336 3221214728 1131487877 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 37509 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 729.01 Current children cumulated vsize (Kb) 840064 [startup+770.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18709 4 1 0 73809 76 0 0 25 0 11 0 1844956308 860225536 37529 4294967295 134512640 134569956 3221224336 3221214632 1131470323 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 37529 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 738.85 Current children cumulated vsize (Kb) 840064 [startup+780.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18718 4 1 0 74795 76 0 0 25 0 11 0 1844956308 860225536 37545 4294967295 134512640 134569956 3221224336 3221214680 1131407904 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 37545 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 748.71 Current children cumulated vsize (Kb) 840064 [startup+790.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18728 4 1 0 75780 77 0 0 25 0 11 0 1844956308 860225536 37560 4294967295 134512640 134569956 3221224336 3221214680 1131407761 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 37560 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 758.57 Current children cumulated vsize (Kb) 840064 [startup+800.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18737 4 1 0 76767 77 0 0 25 0 11 0 1844956308 860225536 37571 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 37571 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 768.44 Current children cumulated vsize (Kb) 840064 [startup+810.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18744 4 1 0 77755 78 0 0 25 0 11 0 1844956308 860225536 37578 4294967295 134512640 134569956 3221224336 3221214608 1131578247 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 37578 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 778.33 Current children cumulated vsize (Kb) 840064 [startup+820.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18750 4 1 0 78737 78 0 0 25 0 11 0 1844956308 860225536 37583 4294967295 134512640 134569956 3221224336 3221214592 1131397360 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 37583 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 788.15 Current children cumulated vsize (Kb) 840064 [startup+830.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18757 4 1 0 79717 79 0 0 25 0 11 0 1844956308 860225536 37592 4294967295 134512640 134569956 3221224336 3221214608 1131578229 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 37592 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 797.96 Current children cumulated vsize (Kb) 840064 [startup+840.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) S 25719 25720 19818 0 -1 0 18762 4 1 0 80696 79 0 0 17 0 11 0 1844956308 860225536 37601 4294967295 134512640 134569956 3221224336 3221213256 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 37601 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 807.75 Current children cumulated vsize (Kb) 840064 [startup+850.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18769 4 1 0 81669 80 0 0 16 0 11 0 1844956308 860225536 37615 4294967295 134512640 134569956 3221224336 3221214608 1131578151 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 37615 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 817.49 Current children cumulated vsize (Kb) 840064 [startup+860.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18774 4 1 0 82648 80 0 0 25 0 11 0 1844956308 860225536 37620 4294967295 134512640 134569956 3221224336 3221214680 1131407744 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 37620 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 827.28 Current children cumulated vsize (Kb) 840064 [startup+870.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18780 4 1 0 83623 80 0 0 25 0 11 0 1844956308 860225536 37686 4294967295 134512640 134569956 3221224336 3221214512 1131434954 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 37686 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 837.03 Current children cumulated vsize (Kb) 840064 [startup+880.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18786 4 1 0 84600 81 0 0 25 0 11 0 1844956308 860225536 37707 4294967295 134512640 134569956 3221224336 3221214608 1131578417 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 37707 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 846.81 Current children cumulated vsize (Kb) 840064 [startup+890.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18792 4 1 0 85581 81 0 0 25 0 11 0 1844956308 860225536 37773 4294967295 134512640 134569956 3221224336 3221214512 1131582987 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 37773 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 856.62 Current children cumulated vsize (Kb) 840064 [startup+900.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18798 4 1 0 86564 82 0 0 25 0 11 0 1844956308 860225536 37837 4294967295 134512640 134569956 3221224336 3221214512 1131434997 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 37837 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 866.46 Current children cumulated vsize (Kb) 840064 [startup+910.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18804 4 1 0 87545 82 0 0 25 0 11 0 1844956308 860225536 37860 4294967295 134512640 134569956 3221224336 3221214632 1131469669 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 37860 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 876.27 Current children cumulated vsize (Kb) 840064 [startup+920.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18810 4 1 0 88525 82 0 0 25 0 11 0 1844956308 860225536 37880 4294967295 134512640 134569956 3221224336 3221214564 1131057207 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 37880 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 886.07 Current children cumulated vsize (Kb) 840064 [startup+930.078 s] Raw data (loadavg): 1.00 1.00 1.00 3/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18816 4 1 0 89505 83 0 0 22 0 11 0 1844956308 860225536 37880 4294967295 134512640 134569956 3221224336 3221214728 1131487717 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 37880 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 895.88 Current children cumulated vsize (Kb) 840064 [startup+940.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18822 4 1 0 90484 83 0 0 25 0 11 0 1844956308 860225536 37904 4294967295 134512640 134569956 3221224336 3221214512 1131583429 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 37904 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 905.67 Current children cumulated vsize (Kb) 840064 [startup+950.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18828 4 1 0 91461 84 0 0 25 0 11 0 1844956308 860225536 37925 4294967295 134512640 134569956 3221224336 3221214512 1131583429 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 37925 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 915.45 Current children cumulated vsize (Kb) 840064 [startup+960.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18834 4 1 0 92439 85 0 0 25 0 11 0 1844956308 860225536 37966 4294967295 134512640 134569956 3221224336 3221214544 1131448324 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 37966 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 925.24 Current children cumulated vsize (Kb) 840064 [startup+970.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18840 4 1 0 93420 85 0 0 25 0 11 0 1844956308 860225536 38051 4294967295 134512640 134569956 3221224336 3221214608 1131578620 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 38051 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 935.05 Current children cumulated vsize (Kb) 840064 [startup+980.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18846 4 1 0 94401 86 0 0 25 0 11 0 1844956308 860225536 38051 4294967295 134512640 134569956 3221224336 3221214632 1131469733 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38051 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 944.87 Current children cumulated vsize (Kb) 840064 [startup+990.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18852 4 1 0 95379 86 0 0 25 0 11 0 1844956308 860225536 38073 4294967295 134512640 134569956 3221224336 3221214632 1131470003 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 38073 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 954.65 Current children cumulated vsize (Kb) 840064 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18859 4 1 0 96355 86 0 0 25 0 11 0 1844956308 860225536 38116 4294967295 134512640 134569956 3221224336 3221214608 1131578175 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38116 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 964.41 Current children cumulated vsize (Kb) 840064 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18865 4 1 0 97334 86 0 0 25 0 11 0 1844956308 860225536 38158 4294967295 134512640 134569956 3221224336 3221214564 1131057173 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38158 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 974.2 Current children cumulated vsize (Kb) 840064 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18871 4 1 0 98313 87 0 0 17 0 11 0 1844956308 860225536 38160 4294967295 134512640 134569956 3221224336 3221214512 1131582958 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38160 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 984 Current children cumulated vsize (Kb) 840064 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18877 4 1 0 99291 88 0 0 25 0 11 0 1844956308 860225536 38202 4294967295 134512640 134569956 3221224336 3221214608 1131578151 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38202 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 993.79 Current children cumulated vsize (Kb) 840064 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18883 4 1 0 100272 88 0 0 25 0 11 0 1844956308 860225536 38289 4294967295 134512640 134569956 3221224336 3221214592 1131397383 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38289 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1003.6 Current children cumulated vsize (Kb) 840064 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18889 4 1 0 101252 88 0 0 25 0 11 0 1844956308 860225536 38290 4294967295 134512640 134569956 3221224336 3221214520 1131435107 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 38290 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1013.4 Current children cumulated vsize (Kb) 840064 [startup+1060.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18895 4 1 0 102230 89 0 0 25 0 11 0 1844956308 860225536 38334 4294967295 134512640 134569956 3221224336 3221214608 1131578321 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38334 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1023.19 Current children cumulated vsize (Kb) 840064 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18901 4 1 0 103208 89 0 0 25 0 11 0 1844956308 860225536 38355 4294967295 134512640 134569956 3221224336 3221214520 1131434760 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38355 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1032.97 Current children cumulated vsize (Kb) 840064 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18907 4 1 0 104183 89 0 0 25 0 11 0 1844956308 860225536 38379 4294967295 134512640 134569956 3221224336 3221214544 1131449364 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38379 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1042.72 Current children cumulated vsize (Kb) 840064 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18913 4 1 0 105159 90 0 0 25 0 11 0 1844956308 860225536 38379 4294967295 134512640 134569956 3221224336 3221214652 1131357731 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 38379 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1052.49 Current children cumulated vsize (Kb) 840064 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18919 4 1 0 106136 90 0 0 25 0 11 0 1844956308 860225536 38461 4294967295 134512640 134569956 3221224336 3221214588 1131395387 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38461 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1062.26 Current children cumulated vsize (Kb) 840064 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18925 4 1 0 107113 90 0 0 25 0 11 0 1844956308 860225536 38483 4294967295 134512640 134569956 3221224336 3221214616 1131534496 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38483 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1072.03 Current children cumulated vsize (Kb) 840064 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18931 4 1 0 108091 91 0 0 20 0 11 0 1844956308 860225536 38547 4294967295 134512640 134569956 3221224336 3221214512 1131583437 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 38547 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1081.82 Current children cumulated vsize (Kb) 840064 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18937 4 1 0 109073 91 0 0 17 0 11 0 1844956308 860225536 38594 4294967295 134512640 134569956 3221224336 3221214520 1131434874 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38594 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1091.64 Current children cumulated vsize (Kb) 840064 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18943 4 1 0 110051 91 0 0 25 0 11 0 1844956308 860225536 38595 4294967295 134512640 134569956 3221224336 3221214512 1131434997 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38595 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1101.42 Current children cumulated vsize (Kb) 840064 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 1.00 1/66 25737 Raw data (/proc/25720/stat): 25720 (java) S 25719 25720 19818 0 -1 0 18948 4 1 0 111034 92 0 0 25 0 11 0 1844956308 860225536 38638 4294967295 134512640 134569956 3221224336 3221213256 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38638 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1111.26 Current children cumulated vsize (Kb) 840064 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18954 4 1 0 112013 92 0 0 25 0 11 0 1844956308 860225536 38681 4294967295 134512640 134569956 3221224336 3221214604 1131434636 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38681 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1121.05 Current children cumulated vsize (Kb) 840064 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18960 4 1 0 112992 92 0 0 25 0 11 0 1844956308 860225536 38702 4294967295 134512640 134569956 3221224336 3221214608 1131578551 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 38702 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1130.84 Current children cumulated vsize (Kb) 840064 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18966 4 1 0 113967 92 0 0 25 0 11 0 1844956308 860225536 38723 4294967295 134512640 134569956 3221224336 3221214576 1131513215 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38723 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1140.59 Current children cumulated vsize (Kb) 840064 [startup+1190.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18972 4 1 0 114946 93 0 0 25 0 11 0 1844956308 860225536 38788 4294967295 134512640 134569956 3221224336 3221214616 1131534503 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38788 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1150.39 Current children cumulated vsize (Kb) 840064 [startup+1200.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18978 4 1 0 115926 93 0 0 25 0 11 0 1844956308 860225536 38788 4294967295 134512640 134569956 3221224336 3221214564 1131057275 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 38788 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1160.19 Current children cumulated vsize (Kb) 840064 [startup+1210.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18984 4 1 0 116904 93 0 0 25 0 11 0 1844956308 860225536 38832 4294967295 134512640 134569956 3221224336 3221214632 1131469669 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38832 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1169.97 Current children cumulated vsize (Kb) 840064 [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18990 4 1 0 117883 93 0 0 25 0 11 0 1844956308 860225536 38895 4294967295 134512640 134569956 3221224336 3221214608 1131578336 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25720/statm): 210016 38895 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1179.76 Current children cumulated vsize (Kb) 840064 [startup+1230.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 18996 4 1 0 118864 94 0 0 25 0 11 0 1844956308 860225536 38916 4294967295 134512640 134569956 3221224336 3221214520 1131434792 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 38916 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1189.58 Current children cumulated vsize (Kb) 840064 [startup+1240.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 19002 4 1 0 119842 94 0 0 25 0 11 0 1844956308 860225536 38916 4294967295 134512640 134569956 3221224336 3221214604 1131513132 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 38916 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1199.36 Current children cumulated vsize (Kb) 840064 [startup+1250.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 19008 4 1 0 120821 94 0 0 24 0 11 0 1844956308 860225536 38959 4294967295 134512640 134569956 3221224336 3221214512 1131434705 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 38959 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1209.15 Current children cumulated vsize (Kb) 840064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1250.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25737 Raw data (/proc/25720/stat): 25720 (java) R 25719 25720 19818 0 -1 0 19008 4 1 0 120821 94 0 0 24 0 11 0 1844956308 860225536 38959 4294967295 134512640 134569956 3221224336 3221214512 1131434954 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25720/statm): 210016 38959 13129 16 0 210000 0 [pid=25720] vsize: 840064 Current children cumulated CPU time (s) 1209.15 Current children cumulated vsize (Kb) 840064 Sending SIGTERM to -25720 Sleeping 2 seconds New thread pid=25739 New thread pid=25740 One traced child (pid=25740) exited with status: 0 One traced child (pid=25729) exited with status: 0 One traced child (pid=25724) exited with status: 0 One traced child (pid=25721) exited with status: 143 One traced child (pid=25723) exited with status: 143 One traced child (pid=25728) exited with status: 143 One traced child (pid=25722) exited with status: 143 One traced child (pid=25726) exited with status: 143 One traced child (pid=25725) exited with status: 143 One traced child (pid=25737) exited with status: 143 One traced child (pid=25727) exited with status: 143 One traced child (pid=25739) exited with status: 143 One traced child (pid=25720) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1250.41 CPU time (s): 1256.9 CPU user time (s): 1254.85 CPU system time (s): 2.04869 CPU usage (%): 100.519 Max. virtual memory (cumulated for all children) (Kb): 840768
Verifier: OK 379