Name | mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb |
MD5SUM | a733e9fa1e4e3ac90baf85249f7c3e9a |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 258411 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 282 |
Biggest coefficient in the objective function | 160646 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 1302615 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 160646 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 1302615 |
Number of bits of the biggest sum of numbers | 21 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 50.7373 |
Number of variables | 282 |
Total number of constraints | 523 |
Number of constraints which are clauses | 177 |
Number of constraints which are cardinality constraints (but not clauses) | 282 |
Number of constraints which are nor clauses,nor cardinality constraints | 64 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 57 |
LAUNCH ON wulflinc11 THE 2005-09-19 05:14:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6391 boxname=wulflinc11 idbench=531 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a733e9fa1e4e3ac90baf85249f7c3e9a /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-p0282.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-p0282.opb IDLAUNCH: 6391 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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 : 2 cpu MHz : 451.028 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: 876736 kB Buffers: 35744 kB Cached: 94900 kB SwapCached: 732 kB Active: 64280 kB Inactive: 68968 kB HighTotal: 131008 kB HighFree: 34244 kB LowTotal: 903652 kB LowFree: 842492 kB SwapTotal: 2097136 kB SwapFree: 2095856 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5716 kB Slab: 18908 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 05:34:49 (client local time) WITH STATUS 143 IN 1237.34 SECONDS stats: 6391 0 1237.34 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/wulflinc11/normalized-mps-v2-20-10-p0282.opb c reading problem ... done. Time 1.015 ms. c #vars 282 c #constraints 221 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 457129 Current CPU time: 1.30 ms c CURRENT OPTIMUM= 453986 Current CPU time: 1.52 ms c CURRENT OPTIMUM= 415236 Current CPU time: 2.81 ms c CURRENT OPTIMUM= 413972 Current CPU time: 3.50 ms c CURRENT OPTIMUM= 412188 Current CPU time: 7.11 ms c CURRENT OPTIMUM= 411247 Current CPU time: 7.75 ms c CURRENT OPTIMUM= 410805 Current CPU time: 8.03 ms c CURRENT OPTIMUM= 409125 Current CPU time: 11.49 ms c CURRENT OPTIMUM= 408041 Current CPU time: 21.73 ms c CURRENT OPTIMUM= 352831 Current CPU time: 30.56 ms c CURRENT OPTIMUM= 325096 Current CPU time: 31.57 ms c CURRENT OPTIMUM= 316650 Current CPU time: 33.62 ms c CURRENT OPTIMUM= 311842 Current CPU time: 35.05 ms c CURRENT OPTIMUM= 310295 Current CPU time: 39.91 ms c CURRENT OPTIMUM= 309164 Current CPU time: 46.18 ms c starts : 19 c conflicts : 809 c decisions : 12603 c propagations : 21843 c inspects : 479559 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 808 c root simplifications : 19 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 7732 c speed (decisions/second) : 10.656504247212636 c non guided choices 3962 c random choices 0 s SATISFIABLE v -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 -C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 -C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1130_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1146_bit0 -C1147_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 -C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 -C1202_bit0 -C1203_bit0 -C1204_bit0 -C1205_bit0 -C1206_bit0 -C1207_bit0 -C1208_bit0 -C1209_bit0 -C1210_bit0 -C1211_bit0 -C1212_bit0 -C1213_bit0 -C1214_bit0 -C1215_bit0 -C1216_bit0 -C1217_bit0 -C1218_bit0 -C1219_bit0 -C1220_bit0 -C1221_bit0 -C1222_bit0 -C1223_bit0 C1224_bit0 -C1225_bit0 -C1226_bit0 -C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1235_bit0 C1237_bit0 -C1239_bit0 -C1241_bit0 C1243_bit0 C1245_bit0 -C1247_bit0 -C1248_bit0 -C1249_bit0 -C1250_bit0 -C1251_bit0 C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 C1256_bit0 -C1257_bit0 -C1258_bit0 C1259_bit0 -C1260_bit0 -C1261_bit0 C1262_bit0 -C1263_bit0 C1264_bit0 C1265_bit0 -C1266_bit0 -C1267_bit0 C1268_bit0 -C1269_bit0 C1270_bit0 C1271_bit0 -C1272_bit0 -C1273_bit0 -C1274_bit0 -C1275_bit0 -C1276_bit0 -C1277_bit0 -C1278_bit0 -C1279_bit0 -C1280_bit0 C1281_bit0 -C1282_bit0 C1283_bit0 C1284_bit0 C1285_bit0 -C1286_bit0 -C1287_bit0 C1288_bit0 C1289_bit0 c objective function=309164 c Total CPU time (ms) : 1228.859
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/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1789060902 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 39 3 38 16 0 23 0 [pid=24991] 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/24991 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=24992 New thread pid=24993 New thread pid=24994 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=24995 New thread pid=24996 New thread pid=24997 New thread pid=24998 New thread pid=24999 New thread pid=25000 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/wulflinc11/normalized-mps-v2-20-10-p0282.opb New thread pid=25001 One traced child (pid=25001) exited with status: 0 New thread pid=25002 One traced child (pid=25002) exited with status: 0 New thread pid=25003 One traced child (pid=25003) exited with status: 0 New thread pid=25004 One traced child (pid=25004) exited with status: 0 New thread pid=25005 One traced child (pid=25005) exited with status: 0 New thread pid=25006 One traced child (pid=25006) exited with status: 0 New thread pid=25007 One traced child (pid=25007) exited with status: 0 New thread pid=25008 [startup+10.0022 s] Raw data (loadavg): 1.24 1.02 0.93 2/66 25008 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18175 3 2 0 692 48 0 0 17 0 11 0 1789060902 859111424 20157 4294967295 134512640 134569956 3221224336 3221214496 1131392875 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209744 20157 13129 16 0 209728 0 [pid=24991] vsize: 838976 Current children cumulated CPU time (s) 7.4 Current children cumulated vsize (Kb) 838976 One traced child (pid=25008) exited with status: 0 New thread pid=25009 [startup+20.002 s] Raw data (loadavg): 1.28 1.04 0.93 2/66 25009 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18187 3 2 0 1649 49 0 0 25 0 11 0 1789060902 858783744 20415 4294967295 134512640 134569956 3221224336 3221214496 1131392828 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 20415 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 16.98 Current children cumulated vsize (Kb) 838656 One traced child (pid=25009) exited with status: 0 New thread pid=25010 [startup+30.0028 s] Raw data (loadavg): 1.23 1.04 0.93 2/66 25010 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18198 3 2 0 2599 49 0 0 18 0 11 0 1789060902 858783744 20621 4294967295 134512640 134569956 3221224336 3221214496 1131393179 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 20621 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 26.48 Current children cumulated vsize (Kb) 838656 One traced child (pid=25010) exited with status: 0 New thread pid=25011 One traced child (pid=25011) exited with status: 0 New thread pid=25012 One traced child (pid=25012) exited with status: 0 New thread pid=25013 One traced child (pid=25013) exited with status: 0 New thread pid=25014 [startup+40.0036 s] Raw data (loadavg): 1.20 1.03 0.93 2/66 25014 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18209 3 2 0 3547 50 0 0 25 0 11 0 1789060902 858783744 20784 4294967295 134512640 134569956 3221224336 3221214496 1131411288 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 20784 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 35.97 Current children cumulated vsize (Kb) 838656 One traced child (pid=25014) exited with status: 0 New thread pid=25015 One traced child (pid=25015) exited with status: 0 New thread pid=25016 [startup+50.0044 s] Raw data (loadavg): 1.17 1.03 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18220 3 2 0 4485 51 0 1 22 0 11 0 1789060902 858783744 21282 4294967295 134512640 134569956 3221224336 3221214432 1131392875 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 21282 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 45.37 Current children cumulated vsize (Kb) 838656 [startup+60.0052 s] Raw data (loadavg): 1.14 1.03 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18231 3 2 0 5444 51 0 1 16 0 11 0 1789060902 858783744 21443 4294967295 134512640 134569956 3221224336 3221214632 1131431782 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 21443 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 54.96 Current children cumulated vsize (Kb) 838656 [startup+70.0059 s] Raw data (loadavg): 1.12 1.03 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18239 3 2 0 6408 52 0 1 25 0 11 0 1789060902 858783744 21495 4294967295 134512640 134569956 3221224336 3221214432 1131393133 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 21495 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 64.61 Current children cumulated vsize (Kb) 838656 [startup+80.0067 s] Raw data (loadavg): 1.10 1.03 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18247 3 2 0 7367 52 0 1 20 0 11 0 1789060902 858783744 21629 4294967295 134512640 134569956 3221224336 3221214632 1131425792 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 21629 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 74.2 Current children cumulated vsize (Kb) 838656 [startup+90.0075 s] Raw data (loadavg): 1.08 1.03 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18255 3 2 0 8329 52 0 1 25 0 11 0 1789060902 858783744 21776 4294967295 134512640 134569956 3221224336 3221214632 1131425857 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 21776 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 83.82 Current children cumulated vsize (Kb) 838656 [startup+100.008 s] Raw data (loadavg): 1.07 1.03 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18263 3 2 0 9292 52 0 1 16 0 11 0 1789060902 858783744 21867 4294967295 134512640 134569956 3221224336 3221214528 1131388671 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 21867 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 93.45 Current children cumulated vsize (Kb) 838656 [startup+110.009 s] Raw data (loadavg): 1.06 1.02 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18271 3 2 0 10256 52 0 1 16 0 11 0 1789060902 858783744 21978 4294967295 134512640 134569956 3221224336 3221214624 1131364366 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 21978 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 103.09 Current children cumulated vsize (Kb) 838656 [startup+120.01 s] Raw data (loadavg): 1.05 1.02 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18279 3 2 0 11219 52 0 1 20 0 11 0 1789060902 858783744 22072 4294967295 134512640 134569956 3221224336 3221214632 1131427656 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 22072 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 112.72 Current children cumulated vsize (Kb) 838656 [startup+130.011 s] Raw data (loadavg): 1.04 1.02 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18287 3 2 0 12184 53 0 1 25 0 11 0 1789060902 858783744 22165 4294967295 134512640 134569956 3221224336 3221214544 1131382687 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 22165 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 122.38 Current children cumulated vsize (Kb) 838656 [startup+140.011 s] Raw data (loadavg): 1.03 1.02 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18296 3 2 0 13143 53 0 1 25 0 11 0 1789060902 858783744 22256 4294967295 134512640 134569956 3221224336 3221214632 1131425785 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 22256 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 131.97 Current children cumulated vsize (Kb) 838656 [startup+150.013 s] Raw data (loadavg): 1.03 1.02 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18305 3 2 0 14106 54 0 1 25 0 11 0 1789060902 858783744 22406 4294967295 134512640 134569956 3221224336 3221214448 1131499387 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 22406 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 141.61 Current children cumulated vsize (Kb) 838656 [startup+160.014 s] Raw data (loadavg): 1.02 1.02 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18315 3 2 0 15071 54 0 1 25 0 11 0 1789060902 858783744 22503 4294967295 134512640 134569956 3221224336 3221214544 1131382831 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 22503 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 151.26 Current children cumulated vsize (Kb) 838656 [startup+170.015 s] Raw data (loadavg): 1.02 1.02 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18324 3 2 0 16040 54 0 1 18 0 11 0 1789060902 858783744 22608 4294967295 134512640 134569956 3221224336 3221214432 1131392986 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 22608 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 160.95 Current children cumulated vsize (Kb) 838656 [startup+180.016 s] Raw data (loadavg): 1.02 1.02 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18333 3 2 0 17010 56 0 1 16 0 11 0 1789060902 858783744 22694 4294967295 134512640 134569956 3221224336 3221214528 1131673893 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 22694 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 170.67 Current children cumulated vsize (Kb) 838656 [startup+190.016 s] Raw data (loadavg): 1.01 1.02 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18342 3 2 0 17986 56 0 1 17 0 11 0 1789060902 858783744 22753 4294967295 134512640 134569956 3221224336 3221214424 1131393031 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 22753 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 180.43 Current children cumulated vsize (Kb) 838656 [startup+200.017 s] Raw data (loadavg): 1.01 1.02 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18350 3 2 0 18966 57 0 1 25 0 11 0 1789060902 858783744 22833 4294967295 134512640 134569956 3221224336 3221214632 1131427164 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 22833 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 190.24 Current children cumulated vsize (Kb) 838656 [startup+210.018 s] Raw data (loadavg): 1.01 1.01 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18359 3 2 0 19945 58 0 1 25 0 11 0 1789060902 858783744 22880 4294967295 134512640 134569956 3221224336 3221214188 1078903572 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 22880 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 838656 [startup+220.019 s] Raw data (loadavg): 1.01 1.01 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18368 3 2 0 20925 58 0 1 20 0 11 0 1789060902 858783744 22910 4294967295 134512640 134569956 3221224336 3221214632 1131426831 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 22910 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 209.84 Current children cumulated vsize (Kb) 838656 [startup+230.02 s] Raw data (loadavg): 1.01 1.01 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18376 3 2 0 21904 59 0 1 25 0 11 0 1789060902 858783744 22958 4294967295 134512640 134569956 3221224336 3221214632 1131427305 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 22958 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 219.64 Current children cumulated vsize (Kb) 838656 [startup+240.02 s] Raw data (loadavg): 1.00 1.01 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18385 3 2 0 22877 60 0 1 17 0 11 0 1789060902 858783744 23000 4294967295 134512640 134569956 3221224336 3221214524 1131411171 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 23000 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 229.38 Current children cumulated vsize (Kb) 838656 [startup+250.022 s] Raw data (loadavg): 1.00 1.01 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18393 3 2 0 23852 60 0 1 20 0 11 0 1789060902 858783744 23046 4294967295 134512640 134569956 3221224336 3221214424 1131392671 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 23046 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 239.13 Current children cumulated vsize (Kb) 838656 [startup+260.023 s] Raw data (loadavg): 1.00 1.01 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18403 3 2 0 24824 60 0 1 22 0 11 0 1789060902 858783744 23101 4294967295 134512640 134569956 3221224336 3221214544 1131382834 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 23101 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 248.85 Current children cumulated vsize (Kb) 838656 [startup+270.024 s] Raw data (loadavg): 1.00 1.01 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18411 3 2 0 25795 61 0 1 25 0 11 0 1789060902 858783744 23179 4294967295 134512640 134569956 3221224336 3221214432 1131393223 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 23179 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 258.57 Current children cumulated vsize (Kb) 838656 [startup+280.025 s] Raw data (loadavg): 1.00 1.01 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18419 3 2 0 26768 61 0 1 25 0 11 0 1789060902 858783744 23241 4294967295 134512640 134569956 3221224336 3221214784 1131378457 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 23241 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 268.3 Current children cumulated vsize (Kb) 838656 [startup+290.026 s] Raw data (loadavg): 1.00 1.01 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18423 3 2 0 27755 61 0 1 25 0 11 0 1789060902 858783744 23281 4294967295 134512640 134569956 3221224336 3221214628 1131383677 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 23281 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 278.17 Current children cumulated vsize (Kb) 838656 [startup+300.027 s] Raw data (loadavg): 1.00 1.01 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18427 3 2 0 28741 62 0 1 25 0 11 0 1789060902 858783744 23327 4294967295 134512640 134569956 3221224336 3221214544 1131382834 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 23327 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 288.04 Current children cumulated vsize (Kb) 838656 [startup+310.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18433 3 2 0 29720 62 0 1 19 0 11 0 1789060902 858783744 23386 4294967295 134512640 134569956 3221224336 3221214784 1131378457 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 23386 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 297.83 Current children cumulated vsize (Kb) 838656 [startup+320.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18441 3 2 0 30690 62 0 1 25 0 11 0 1789060902 858783744 23462 4294967295 134512640 134569956 3221224336 3221214560 1131393031 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 23462 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 307.53 Current children cumulated vsize (Kb) 838656 [startup+330.029 s] Raw data (loadavg): 1.08 1.02 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18449 3 2 0 31659 62 0 1 25 0 11 0 1789060902 858783744 23536 4294967295 134512640 134569956 3221224336 3221214632 1131430590 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 23536 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 317.22 Current children cumulated vsize (Kb) 838656 [startup+340.03 s] Raw data (loadavg): 1.07 1.02 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18455 3 2 0 32637 62 0 1 25 0 11 0 1789060902 858783744 23616 4294967295 134512640 134569956 3221224336 3221214624 1131364406 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 23616 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 327 Current children cumulated vsize (Kb) 838656 [startup+350.031 s] Raw data (loadavg): 1.06 1.02 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18459 3 2 0 33622 63 0 1 25 0 11 0 1789060902 858783744 23657 4294967295 134512640 134569956 3221224336 3221214624 1131364412 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 23657 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 336.86 Current children cumulated vsize (Kb) 838656 [startup+360.032 s] Raw data (loadavg): 1.05 1.02 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18464 3 2 0 34604 63 0 1 25 0 11 0 1789060902 858783744 23863 4294967295 134512640 134569956 3221224336 3221214328 1131629412 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 23863 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 346.68 Current children cumulated vsize (Kb) 838656 [startup+370.032 s] Raw data (loadavg): 1.04 1.02 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18466 3 2 0 35598 63 0 1 25 0 11 0 1789060902 858783744 23895 4294967295 134512640 134569956 3221224336 3221214512 1131499271 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 23895 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 356.62 Current children cumulated vsize (Kb) 838656 [startup+380.032 s] Raw data (loadavg): 1.03 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18471 3 2 0 36583 63 0 1 25 0 11 0 1789060902 858783744 23950 4294967295 134512640 134569956 3221224336 3221214376 1131504698 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 23950 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 366.47 Current children cumulated vsize (Kb) 838656 [startup+390.033 s] Raw data (loadavg): 1.03 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18472 3 2 0 37580 63 0 1 25 0 11 0 1789060902 858783744 23961 4294967295 134512640 134569956 3221224336 3221214304 1131642496 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 23961 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 376.44 Current children cumulated vsize (Kb) 838656 [startup+400.034 s] Raw data (loadavg): 1.02 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18479 3 2 0 38558 64 0 1 24 0 11 0 1789060902 858783744 24019 4294967295 134512640 134569956 3221224336 3221214544 1131382834 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24019 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 386.23 Current children cumulated vsize (Kb) 838656 [startup+410.035 s] Raw data (loadavg): 1.02 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18484 3 2 0 39542 64 0 1 24 0 11 0 1789060902 858783744 24068 4294967295 134512640 134569956 3221224336 3221214544 1131384703 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24068 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 396.07 Current children cumulated vsize (Kb) 838656 [startup+420.036 s] Raw data (loadavg): 1.02 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18489 3 2 0 40525 64 0 1 25 0 11 0 1789060902 858783744 24110 4294967295 134512640 134569956 3221224336 3221214268 1079817093 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24110 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 405.9 Current children cumulated vsize (Kb) 838656 [startup+430.036 s] Raw data (loadavg): 1.01 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18496 3 2 0 41501 65 0 1 25 0 11 0 1789060902 858783744 24226 4294967295 134512640 134569956 3221224336 3221214432 1131393221 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24226 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 415.67 Current children cumulated vsize (Kb) 838656 [startup+440.037 s] Raw data (loadavg): 1.01 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18500 3 2 0 42487 65 0 1 25 0 11 0 1789060902 858783744 24358 4294967295 134512640 134569956 3221224336 3221214416 1131402317 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24358 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 425.53 Current children cumulated vsize (Kb) 838656 [startup+450.038 s] Raw data (loadavg): 1.01 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18503 3 2 0 43477 65 0 1 25 0 11 0 1789060902 858783744 24358 4294967295 134512640 134569956 3221224336 3221214328 1131629619 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24358 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 435.43 Current children cumulated vsize (Kb) 838656 [startup+460.039 s] Raw data (loadavg): 1.01 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18504 3 2 0 44474 65 0 1 25 0 11 0 1789060902 858783744 24411 4294967295 134512640 134569956 3221224336 3221214456 1131499347 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24411 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 445.4 Current children cumulated vsize (Kb) 838656 [startup+470.038 s] Raw data (loadavg): 1.00 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18504 3 2 0 45474 65 0 1 25 0 11 0 1789060902 858783744 24411 4294967295 134512640 134569956 3221224336 3221214376 1131504672 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24411 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 455.4 Current children cumulated vsize (Kb) 838656 [startup+480.039 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18505 3 2 0 46471 65 0 1 25 0 11 0 1789060902 858783744 24411 4294967295 134512640 134569956 3221224336 3221214376 1131504652 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24411 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 465.37 Current children cumulated vsize (Kb) 838656 [startup+490.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18511 3 2 0 47454 65 0 1 24 0 11 0 1789060902 858783744 24513 4294967295 134512640 134569956 3221224336 3221214632 1131425792 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 24513 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 475.2 Current children cumulated vsize (Kb) 838656 [startup+500.041 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18515 3 2 0 48443 65 0 1 25 0 11 0 1789060902 858783744 24554 4294967295 134512640 134569956 3221224336 3221214496 1131411248 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24554 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 485.09 Current children cumulated vsize (Kb) 838656 [startup+510.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18520 3 2 0 49430 65 0 1 25 0 11 0 1789060902 858783744 24620 4294967295 134512640 134569956 3221224336 3221214424 1131393195 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24620 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 494.96 Current children cumulated vsize (Kb) 838656 [startup+520.041 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18525 3 2 0 50418 66 0 1 25 0 11 0 1789060902 858783744 24755 4294967295 134512640 134569956 3221224336 3221214424 1131393221 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24755 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 504.85 Current children cumulated vsize (Kb) 838656 [startup+530.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18526 3 2 0 51416 66 0 1 21 0 11 0 1789060902 858783744 24760 4294967295 134512640 134569956 3221224336 3221214632 1131426648 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 24760 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 514.83 Current children cumulated vsize (Kb) 838656 [startup+540.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18532 3 2 0 52401 66 0 1 25 0 11 0 1789060902 858783744 24837 4294967295 134512640 134569956 3221224336 3221214432 1131393217 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24837 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 524.68 Current children cumulated vsize (Kb) 838656 [startup+550.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18536 3 2 0 53391 66 0 1 25 0 11 0 1789060902 858783744 24837 4294967295 134512640 134569956 3221224336 3221214432 1131392671 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24837 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 534.58 Current children cumulated vsize (Kb) 838656 [startup+560.045 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18540 3 2 0 54382 66 0 1 25 0 11 0 1789060902 858783744 24897 4294967295 134512640 134569956 3221224336 3221214632 1131427164 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24897 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 544.49 Current children cumulated vsize (Kb) 838656 [startup+570.045 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18546 3 2 0 55368 67 0 1 25 0 11 0 1789060902 858783744 24914 4294967295 134512640 134569956 3221224336 3221214416 1131403040 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24914 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 554.36 Current children cumulated vsize (Kb) 838656 [startup+580.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18550 3 2 0 56359 67 0 1 25 0 11 0 1789060902 858783744 24963 4294967295 134512640 134569956 3221224336 3221214432 1131393136 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 24963 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 564.27 Current children cumulated vsize (Kb) 838656 [startup+590.047 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18556 3 2 0 57344 67 0 1 17 0 11 0 1789060902 858783744 25058 4294967295 134512640 134569956 3221224336 3221214272 1131642516 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 25058 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 574.12 Current children cumulated vsize (Kb) 838656 [startup+600.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18558 3 2 0 58339 68 0 1 25 0 11 0 1789060902 858783744 25103 4294967295 134512640 134569956 3221224336 3221214372 1131554653 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 25103 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 584.08 Current children cumulated vsize (Kb) 838656 [startup+610.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18563 3 2 0 59326 68 0 1 25 0 11 0 1789060902 858783744 25138 4294967295 134512640 134569956 3221224336 3221214560 1131393189 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 25138 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 593.95 Current children cumulated vsize (Kb) 838656 [startup+620.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18567 3 2 0 60316 68 0 1 25 0 11 0 1789060902 858783744 25138 4294967295 134512640 134569956 3221224336 3221214464 1131378457 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 25138 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 603.85 Current children cumulated vsize (Kb) 838656 [startup+630.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18572 3 2 0 61302 68 0 1 25 0 11 0 1789060902 858783744 25216 4294967295 134512640 134569956 3221224336 3221214432 1131393158 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 25216 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 613.71 Current children cumulated vsize (Kb) 838656 [startup+640.051 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18576 3 2 0 62293 69 0 1 25 0 11 0 1789060902 858783744 25272 4294967295 134512640 134569956 3221224336 3221214304 1131636196 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 25272 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 623.63 Current children cumulated vsize (Kb) 838656 [startup+650.052 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18579 3 2 0 63287 69 0 1 25 0 11 0 1789060902 858783744 25272 4294967295 134512640 134569956 3221224336 3221214376 1131504666 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 25272 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 633.57 Current children cumulated vsize (Kb) 838656 [startup+660.053 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18579 3 2 0 64287 69 0 1 25 0 11 0 1789060902 858783744 25272 4294967295 134512640 134569956 3221224336 3221214328 1131629412 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 25272 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 643.57 Current children cumulated vsize (Kb) 838656 [startup+670.052 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18583 3 2 0 65278 69 0 1 25 0 11 0 1789060902 858783744 25302 4294967295 134512640 134569956 3221224336 3221214376 1131504698 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 25302 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 653.48 Current children cumulated vsize (Kb) 838656 [startup+680.053 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18585 3 2 0 66274 69 0 1 25 0 11 0 1789060902 858783744 25408 4294967295 134512640 134569956 3221224336 3221214560 1131393158 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 25408 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 663.44 Current children cumulated vsize (Kb) 838656 [startup+690.054 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18587 3 2 0 67269 69 0 1 25 0 11 0 1789060902 858783744 25409 4294967295 134512640 134569956 3221224336 3221214432 1131382917 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 25409 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 673.39 Current children cumulated vsize (Kb) 838656 [startup+700.055 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18589 3 2 0 68265 70 0 1 25 0 11 0 1789060902 858783744 25409 4294967295 134512640 134569956 3221224336 3221214304 1131642378 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 25409 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 683.36 Current children cumulated vsize (Kb) 838656 [startup+710.055 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18590 3 2 0 69262 70 0 1 25 0 11 0 1789060902 858783744 25409 4294967295 134512640 134569956 3221224336 3221214272 1131642319 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 25409 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 693.33 Current children cumulated vsize (Kb) 838656 [startup+720.055 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18594 3 2 0 70252 70 0 1 22 0 11 0 1789060902 858783744 25502 4294967295 134512640 134569956 3221224336 3221214456 1131499327 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 25502 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 703.23 Current children cumulated vsize (Kb) 838656 [startup+730.056 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18601 3 2 0 71235 70 0 1 25 0 11 0 1789060902 858783744 25502 4294967295 134512640 134569956 3221224336 3221214632 1131427886 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 25502 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 713.06 Current children cumulated vsize (Kb) 838656 [startup+740.057 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18606 3 2 0 72220 70 0 1 25 0 11 0 1789060902 858783744 25502 4294967295 134512640 134569956 3221224336 3221214376 1131504666 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 25502 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 722.91 Current children cumulated vsize (Kb) 838656 [startup+750.058 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18608 3 2 0 73213 71 0 1 25 0 11 0 1789060902 858783744 25502 4294967295 134512640 134569956 3221224336 3221214456 1131499220 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 25502 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 732.85 Current children cumulated vsize (Kb) 838656 [startup+760.058 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18611 3 2 0 74204 71 0 1 25 0 11 0 1789060902 858783744 25626 4294967295 134512640 134569956 3221224336 3221214432 1131393158 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 25626 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 742.76 Current children cumulated vsize (Kb) 838656 [startup+770.059 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18617 3 2 0 75187 71 0 1 25 0 11 0 1789060902 858783744 25746 4294967295 134512640 134569956 3221224336 3221214376 1131504698 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 25746 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 752.59 Current children cumulated vsize (Kb) 838656 [startup+780.06 s] Raw data (loadavg): 1.08 1.02 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18622 3 2 0 76171 72 0 1 25 0 11 0 1789060902 858783744 25770 4294967295 134512640 134569956 3221224336 3221214504 1131392875 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 25770 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 762.44 Current children cumulated vsize (Kb) 838656 [startup+790.061 s] Raw data (loadavg): 1.07 1.02 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18630 3 2 0 77153 72 0 1 25 0 11 0 1789060902 858783744 25972 4294967295 134512640 134569956 3221224336 3221214504 1131393242 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 25972 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 772.26 Current children cumulated vsize (Kb) 838656 [startup+800.062 s] Raw data (loadavg): 1.06 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18634 3 2 0 78142 73 0 1 25 0 11 0 1789060902 858783744 25998 4294967295 134512640 134569956 3221224336 3221214544 1131382687 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 25998 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 782.16 Current children cumulated vsize (Kb) 838656 [startup+810.062 s] Raw data (loadavg): 1.05 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18640 3 2 0 79125 73 0 1 25 0 11 0 1789060902 858783744 26069 4294967295 134512640 134569956 3221224336 3221214632 1131425857 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 26069 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 791.99 Current children cumulated vsize (Kb) 838656 [startup+820.063 s] Raw data (loadavg): 1.04 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18645 3 2 0 80110 73 0 1 25 0 11 0 1789060902 858783744 26069 4294967295 134512640 134569956 3221224336 3221214556 1131378406 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 26069 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 801.84 Current children cumulated vsize (Kb) 838656 [startup+830.064 s] Raw data (loadavg): 1.03 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18651 3 2 0 81094 74 0 1 25 0 11 0 1789060902 858783744 26240 4294967295 134512640 134569956 3221224336 3221214400 1131629519 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 26240 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 811.69 Current children cumulated vsize (Kb) 838656 [startup+840.066 s] Raw data (loadavg): 1.03 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18656 3 2 0 82081 74 0 1 25 0 11 0 1789060902 858783744 26299 4294967295 134512640 134569956 3221224336 3221214504 1131393195 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 26299 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 821.56 Current children cumulated vsize (Kb) 838656 [startup+850.067 s] Raw data (loadavg): 1.02 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18660 3 2 0 83071 74 0 1 25 0 11 0 1789060902 858783744 26421 4294967295 134512640 134569956 3221224336 3221214584 1131499339 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 26421 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 831.46 Current children cumulated vsize (Kb) 838656 [startup+860.068 s] Raw data (loadavg): 1.02 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18666 3 2 0 84055 74 0 1 18 0 11 0 1789060902 858783744 26471 4294967295 134512640 134569956 3221224336 3221214504 1131393209 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 26471 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 841.3 Current children cumulated vsize (Kb) 838656 [startup+870.069 s] Raw data (loadavg): 1.02 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18667 3 2 0 85052 74 0 1 25 0 11 0 1789060902 858783744 26477 4294967295 134512640 134569956 3221224336 3221214344 1131642483 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 26477 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 851.27 Current children cumulated vsize (Kb) 838656 [startup+880.07 s] Raw data (loadavg): 1.01 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18669 3 2 0 86047 75 0 1 25 0 11 0 1789060902 858783744 26496 4294967295 134512640 134569956 3221224336 3221214544 1131376621 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 26496 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 861.23 Current children cumulated vsize (Kb) 838656 [startup+890.071 s] Raw data (loadavg): 1.01 1.01 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18672 3 2 0 87038 75 0 1 25 0 11 0 1789060902 858783744 26505 4294967295 134512640 134569956 3221224336 3221214528 1131499378 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 26505 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 871.14 Current children cumulated vsize (Kb) 838656 [startup+900.072 s] Raw data (loadavg): 1.01 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18675 3 2 0 88028 75 0 1 25 0 11 0 1789060902 858783744 26522 4294967295 134512640 134569956 3221224336 3221214544 1131383265 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 26522 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 881.04 Current children cumulated vsize (Kb) 838656 [startup+910.073 s] Raw data (loadavg): 1.01 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18682 3 2 0 89005 76 0 1 25 0 11 0 1789060902 858783744 26574 4294967295 134512640 134569956 3221224336 3221214632 1131430837 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 26574 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 890.82 Current children cumulated vsize (Kb) 838656 [startup+920.074 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18688 3 2 0 89984 76 0 1 25 0 11 0 1789060902 858783744 26611 4294967295 134512640 134569956 3221224336 3221214544 1131382777 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 26611 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 900.61 Current children cumulated vsize (Kb) 838656 [startup+930.075 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18696 3 2 0 90954 77 0 1 25 0 11 0 1789060902 858783744 26767 4294967295 134512640 134569956 3221224336 3221214624 1131364409 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 26767 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 910.32 Current children cumulated vsize (Kb) 838656 [startup+940.076 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18705 3 2 0 91927 77 0 1 25 0 11 0 1789060902 858783744 26988 4294967295 134512640 134569956 3221224336 3221214496 1131393179 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 26988 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 920.05 Current children cumulated vsize (Kb) 838656 [startup+950.076 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18713 3 2 0 92903 77 0 1 25 0 11 0 1789060902 858783744 27069 4294967295 134512640 134569956 3221224336 3221214632 1131427040 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 27069 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 929.81 Current children cumulated vsize (Kb) 838656 [startup+960.077 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) S 24990 24991 9854 0 -1 0 18720 3 2 0 93881 77 0 1 25 0 11 0 1789060902 858783744 27197 4294967295 134512640 134569956 3221224336 3221213248 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 27197 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 939.59 Current children cumulated vsize (Kb) 838656 [startup+970.078 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18728 3 2 0 94861 77 0 1 25 0 11 0 1789060902 858783744 27252 4294967295 134512640 134569956 3221224336 3221214504 1131393203 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 27252 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 949.39 Current children cumulated vsize (Kb) 838656 [startup+980.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18736 3 2 0 95837 78 0 1 25 0 11 0 1789060902 858783744 27278 4294967295 134512640 134569956 3221224336 3221214504 1131393095 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 27278 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 959.16 Current children cumulated vsize (Kb) 838656 [startup+990.081 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18744 3 2 0 96811 78 0 1 25 0 11 0 1789060902 858783744 27324 4294967295 134512640 134569956 3221224336 3221214504 1131393160 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 27324 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 968.9 Current children cumulated vsize (Kb) 838656 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18751 3 2 0 97788 78 0 1 25 0 11 0 1789060902 858783744 27383 4294967295 134512640 134569956 3221224336 3221214536 1131378457 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 27383 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 978.67 Current children cumulated vsize (Kb) 838656 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18759 3 2 0 98762 79 0 1 17 0 11 0 1789060902 858783744 27446 4294967295 134512640 134569956 3221224336 3221214632 1131432386 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 27446 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 988.42 Current children cumulated vsize (Kb) 838656 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18766 3 2 0 99741 79 0 1 21 0 11 0 1789060902 858783744 27504 4294967295 134512640 134569956 3221224336 3221214504 1131393309 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 27504 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 998.21 Current children cumulated vsize (Kb) 838656 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18773 3 2 0 100720 80 0 1 25 0 11 0 1789060902 858783744 27562 4294967295 134512640 134569956 3221224336 3221214600 1131409380 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 27562 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1008.01 Current children cumulated vsize (Kb) 838656 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18781 3 2 0 101695 80 0 1 25 0 11 0 1789060902 858783744 27625 4294967295 134512640 134569956 3221224336 3221214344 1131642545 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 27625 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1017.76 Current children cumulated vsize (Kb) 838656 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18788 3 2 0 102674 80 0 1 25 0 11 0 1789060902 858783744 27682 4294967295 134512640 134569956 3221224336 3221214496 1131393125 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 27682 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1027.55 Current children cumulated vsize (Kb) 838656 [startup+1060.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18795 3 2 0 103653 80 0 1 17 0 11 0 1789060902 858783744 27735 4294967295 134512640 134569956 3221224336 3221214488 1131402780 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 27735 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1037.34 Current children cumulated vsize (Kb) 838656 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18802 3 2 0 104632 80 0 1 17 0 11 0 1789060902 858783744 27790 4294967295 134512640 134569956 3221224336 3221214596 1131398088 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 27790 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1047.13 Current children cumulated vsize (Kb) 838656 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18808 3 2 0 105613 81 0 1 21 0 11 0 1789060902 858783744 27850 4294967295 134512640 134569956 3221224336 3221214400 1131629556 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 27850 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1056.95 Current children cumulated vsize (Kb) 838656 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18814 3 2 0 106595 81 0 1 18 0 11 0 1789060902 858783744 27903 4294967295 134512640 134569956 3221224336 3221214448 1131504678 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/24991/statm): 209664 27903 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1066.77 Current children cumulated vsize (Kb) 838656 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18821 3 2 0 107574 81 0 1 24 0 11 0 1789060902 858783744 27961 4294967295 134512640 134569956 3221224336 3221214440 1131377670 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 27961 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1076.56 Current children cumulated vsize (Kb) 838656 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18828 3 2 0 108552 81 0 1 24 0 11 0 1789060902 858783744 28021 4294967295 134512640 134569956 3221224336 3221214544 1131383019 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28021 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1086.34 Current children cumulated vsize (Kb) 838656 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18832 3 2 0 109539 82 0 1 25 0 11 0 1789060902 858783744 28059 4294967295 134512640 134569956 3221224336 3221214504 1131392986 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28059 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1096.22 Current children cumulated vsize (Kb) 838656 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 0.94 3/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18836 3 2 0 110525 82 0 1 25 0 11 0 1789060902 858783744 28100 4294967295 134512640 134569956 3221224336 3221214376 1131642514 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28100 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1106.08 Current children cumulated vsize (Kb) 838656 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18841 3 2 0 111507 82 0 1 25 0 11 0 1789060902 858783744 28162 4294967295 134512640 134569956 3221224336 3221214592 1131390043 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28162 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1115.9 Current children cumulated vsize (Kb) 838656 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18843 3 2 0 112499 83 0 1 25 0 11 0 1789060902 858783744 28174 4294967295 134512640 134569956 3221224336 3221214464 1131578717 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28174 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1125.83 Current children cumulated vsize (Kb) 838656 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18847 3 2 0 113483 83 0 1 25 0 11 0 1789060902 858783744 28217 4294967295 134512640 134569956 3221224336 3221214400 1131629685 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28217 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1135.67 Current children cumulated vsize (Kb) 838656 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18849 3 2 0 114475 83 0 1 25 0 11 0 1789060902 858783744 28229 4294967295 134512640 134569956 3221224336 3221214504 1131393119 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28229 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1145.59 Current children cumulated vsize (Kb) 838656 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18851 3 2 0 115467 83 0 1 25 0 11 0 1789060902 858783744 28277 4294967295 134512640 134569956 3221224336 3221214312 1085806711 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28277 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1155.51 Current children cumulated vsize (Kb) 838656 [startup+1190.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18858 3 2 0 116440 83 0 1 25 0 11 0 1789060902 858783744 28348 4294967295 134512640 134569956 3221224336 3221214400 1131629519 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28348 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1165.24 Current children cumulated vsize (Kb) 838656 [startup+1200.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18862 3 2 0 117425 84 0 1 25 0 11 0 1789060902 858783744 28380 4294967295 134512640 134569956 3221224336 3221214400 1131629459 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28380 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1175.1 Current children cumulated vsize (Kb) 838656 [startup+1210.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18865 3 2 0 118413 84 0 1 25 0 11 0 1789060902 858783744 28436 4294967295 134512640 134569956 3221224336 3221214376 1131642472 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28436 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1184.98 Current children cumulated vsize (Kb) 838656 [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18866 3 2 0 119409 84 0 1 25 0 11 0 1789060902 858783744 28436 4294967295 134512640 134569956 3221224336 3221214528 1131499368 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28436 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1194.94 Current children cumulated vsize (Kb) 838656 [startup+1230.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18871 3 2 0 120392 84 0 1 25 0 11 0 1789060902 858783744 28583 4294967295 134512640 134569956 3221224336 3221214496 1131393158 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28583 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1204.77 Current children cumulated vsize (Kb) 838656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1230.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 25016 Raw data (/proc/24991/stat): 24991 (java) R 24990 24991 9854 0 -1 0 18871 3 2 0 120392 84 0 1 25 0 11 0 1789060902 858783744 28583 4294967295 134512640 134569956 3221224336 3221214504 1131393213 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/24991/statm): 209664 28583 13129 16 0 209648 0 [pid=24991] vsize: 838656 Current children cumulated CPU time (s) 1204.77 Current children cumulated vsize (Kb) 838656 Sending SIGTERM to -24991 Sleeping 2 seconds New thread pid=25018 New thread pid=25019 One traced child (pid=25019) exited with status: 0 One traced child (pid=25000) exited with status: 0 One traced child (pid=24995) exited with status: 0 One traced child (pid=24992) exited with status: 143 One traced child (pid=24994) exited with status: 143 One traced child (pid=24999) exited with status: 143 One traced child (pid=24996) exited with status: 143 One traced child (pid=24998) exited with status: 143 One traced child (pid=24997) exited with status: 143 One traced child (pid=25016) exited with status: 143 One traced child (pid=25018) exited with status: 143 One traced child (pid=24993) exited with status: 143 One traced child (pid=24991) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1230.24 CPU time (s): 1237.34 CPU user time (s): 1235.74 CPU system time (s): 1.60476 CPU usage (%): 100.577 Max. virtual memory (cumulated for all children) (Kb): 838976
Verifier: OK 309164