Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-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.5803 |
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 wulflinc24 THE 2005-09-20 18:11:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6775 boxname=wulflinc24 idbench=915 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a733e9fa1e4e3ac90baf85249f7c3e9a /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-p0282.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-p0282.opb IDLAUNCH: 6775 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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: 828484 kB Buffers: 32492 kB Cached: 145732 kB SwapCached: 820 kB Active: 59304 kB Inactive: 121604 kB HighTotal: 131008 kB HighFree: 4704 kB LowTotal: 903652 kB LowFree: 823780 kB SwapTotal: 2097892 kB SwapFree: 2096616 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5752 kB Slab: 19520 kB Committed_AS: 64144 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 18:31:49 (client local time) WITH STATUS 143 IN 1226.26 SECONDS stats: 6775 0 1226.26 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/wulflinc24/normalized-mps-v2-13-7-p0282.opb c reading problem ... done. Time 1.03 ms. c #vars 282 c #constraints 221 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 457129 Current CPU time: 1.32 ms c CURRENT OPTIMUM= 453986 Current CPU time: 1.52 ms c CURRENT OPTIMUM= 415236 Current CPU time: 2.91 ms c CURRENT OPTIMUM= 413972 Current CPU time: 3.64 ms c CURRENT OPTIMUM= 412188 Current CPU time: 7.24 ms c CURRENT OPTIMUM= 411247 Current CPU time: 7.88 ms c CURRENT OPTIMUM= 410805 Current CPU time: 8.17 ms c CURRENT OPTIMUM= 409125 Current CPU time: 11.66 ms c CURRENT OPTIMUM= 408041 Current CPU time: 22.09 ms c CURRENT OPTIMUM= 352831 Current CPU time: 30.95 ms c CURRENT OPTIMUM= 325096 Current CPU time: 31.97 ms c CURRENT OPTIMUM= 316650 Current CPU time: 34.05 ms c CURRENT OPTIMUM= 311842 Current CPU time: 35.51 ms c CURRENT OPTIMUM= 310295 Current CPU time: 40.43 ms c CURRENT OPTIMUM= 309164 Current CPU time: 46.83 ms c starts : 19 c conflicts : 806 c decisions : 12521 c propagations : 21714 c inspects : 475373 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 805 c root simplifications : 19 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 7650 c speed (decisions/second) : 10.593170150627586 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.832
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/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1860596618 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 39 9 38 16 0 23 0 [pid=22608] 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/22608 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=22609 New thread pid=22610 New thread pid=22611 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=22612 New thread pid=22613 New thread pid=22614 New thread pid=22615 New thread pid=22616 New thread pid=22617 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/wulflinc24/normalized-mps-v2-13-7-p0282.opb New thread pid=22618 One traced child (pid=22618) exited with status: 0 New thread pid=22619 One traced child (pid=22619) exited with status: 0 New thread pid=22620 One traced child (pid=22620) exited with status: 0 New thread pid=22621 One traced child (pid=22621) exited with status: 0 New thread pid=22622 One traced child (pid=22622) exited with status: 0 New thread pid=22623 One traced child (pid=22623) exited with status: 0 New thread pid=22624 One traced child (pid=22624) exited with status: 0 New thread pid=22625 [startup+10.002 s] Raw data (loadavg): 1.12 1.02 0.97 2/66 22625 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18199 3 1 0 668 47 0 0 19 0 11 0 1860596618 858763264 20143 4294967295 134512640 134569956 3221224336 3221214560 1131382624 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209659 20143 13129 16 0 209643 0 [pid=22608] vsize: 838636 Current children cumulated CPU time (s) 7.15 Current children cumulated vsize (Kb) 838636 One traced child (pid=22625) exited with status: 0 New thread pid=22626 [startup+20.0027 s] Raw data (loadavg): 1.10 1.02 0.97 2/66 22626 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18211 3 1 0 1621 48 0 0 25 0 11 0 1860596618 858730496 20449 4294967295 134512640 134569956 3221224336 3221214496 1131391922 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209651 20449 13129 16 0 209635 0 [pid=22608] vsize: 838604 Current children cumulated CPU time (s) 16.69 Current children cumulated vsize (Kb) 838604 One traced child (pid=22626) exited with status: 0 New thread pid=22627 [startup+30.0034 s] Raw data (loadavg): 1.08 1.02 0.97 2/66 22627 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18222 3 1 0 2573 49 0 0 16 0 11 0 1860596618 858599424 20623 4294967295 134512640 134569956 3221224336 3221214592 1131408259 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 20623 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 26.22 Current children cumulated vsize (Kb) 838476 One traced child (pid=22627) exited with status: 0 New thread pid=22628 One traced child (pid=22628) exited with status: 0 New thread pid=22629 One traced child (pid=22629) exited with status: 0 New thread pid=22630 One traced child (pid=22630) exited with status: 0 New thread pid=22631 [startup+40.0041 s] Raw data (loadavg): 1.07 1.01 0.97 2/66 22631 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18233 3 1 0 3520 49 0 0 25 0 11 0 1860596618 858599424 20785 4294967295 134512640 134569956 3221224336 3221214416 1131401249 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 20785 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 35.69 Current children cumulated vsize (Kb) 838476 One traced child (pid=22631) exited with status: 0 New thread pid=22632 One traced child (pid=22632) exited with status: 0 New thread pid=22633 [startup+50.0048 s] Raw data (loadavg): 1.06 1.01 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18243 3 1 0 4462 50 0 0 23 0 11 0 1860596618 858599424 21247 4294967295 134512640 134569956 3221224336 3221214520 1131399068 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 21247 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 45.12 Current children cumulated vsize (Kb) 838476 [startup+60.0046 s] Raw data (loadavg): 1.13 1.03 0.97 3/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18252 3 1 0 5419 50 0 0 17 0 11 0 1860596618 858599424 21427 4294967295 134512640 134569956 3221224336 3221214528 1131386615 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 21427 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 54.69 Current children cumulated vsize (Kb) 838476 [startup+70.0062 s] Raw data (loadavg): 1.11 1.03 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18262 3 1 0 6378 50 0 0 25 0 11 0 1860596618 858599424 21497 4294967295 134512640 134569956 3221224336 3221214632 1131425358 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 21497 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 64.28 Current children cumulated vsize (Kb) 838476 [startup+80.0069 s] Raw data (loadavg): 1.09 1.03 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18269 3 1 0 7341 51 0 0 23 0 11 0 1860596618 858599424 21588 4294967295 134512640 134569956 3221224336 3221214416 1131402906 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 21588 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 73.92 Current children cumulated vsize (Kb) 838476 [startup+90.0066 s] Raw data (loadavg): 1.08 1.03 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18277 3 1 0 8302 51 0 0 25 0 11 0 1860596618 858599424 21761 4294967295 134512640 134569956 3221224336 3221214408 1131375875 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 21761 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 83.53 Current children cumulated vsize (Kb) 838476 [startup+100.007 s] Raw data (loadavg): 1.07 1.03 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18285 3 1 0 9264 51 0 0 25 0 11 0 1860596618 858599424 21853 4294967295 134512640 134569956 3221224336 3221214544 1131382882 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 21853 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 93.15 Current children cumulated vsize (Kb) 838476 [startup+110.008 s] Raw data (loadavg): 1.06 1.02 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18293 3 1 0 10227 51 0 0 25 0 11 0 1860596618 858599424 21973 4294967295 134512640 134569956 3221224336 3221214544 1131382239 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 21973 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 102.78 Current children cumulated vsize (Kb) 838476 [startup+120.01 s] Raw data (loadavg): 1.05 1.02 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18301 3 1 0 11189 52 0 0 25 0 11 0 1860596618 858599424 22055 4294967295 134512640 134569956 3221224336 3221214624 1131358876 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 22055 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 112.41 Current children cumulated vsize (Kb) 838476 [startup+130.01 s] Raw data (loadavg): 1.04 1.02 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18309 3 1 0 12153 52 0 0 25 0 11 0 1860596618 858599424 22158 4294967295 134512640 134569956 3221224336 3221214304 1131643395 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 22158 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 122.05 Current children cumulated vsize (Kb) 838476 [startup+140.011 s] Raw data (loadavg): 1.03 1.02 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18318 3 1 0 13112 52 0 0 24 0 11 0 1860596618 858599424 22241 4294967295 134512640 134569956 3221224336 3221214524 1131411241 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 22241 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 131.64 Current children cumulated vsize (Kb) 838476 [startup+150.013 s] Raw data (loadavg): 1.03 1.02 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18326 3 1 0 14078 52 0 0 25 0 11 0 1860596618 858599424 22388 4294967295 134512640 134569956 3221224336 3221214544 1131382386 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 22388 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 141.3 Current children cumulated vsize (Kb) 838476 [startup+160.013 s] Raw data (loadavg): 1.02 1.02 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18336 3 1 0 15043 53 0 0 25 0 11 0 1860596618 858599424 22479 4294967295 134512640 134569956 3221224336 3221214632 1131426584 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 22479 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 150.96 Current children cumulated vsize (Kb) 838476 [startup+170.014 s] Raw data (loadavg): 1.02 1.02 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18345 3 1 0 16009 53 0 0 19 0 11 0 1860596618 858599424 22593 4294967295 134512640 134569956 3221224336 3221214544 1131382386 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 22593 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 160.62 Current children cumulated vsize (Kb) 838476 [startup+180.015 s] Raw data (loadavg): 1.02 1.02 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18354 3 1 0 16981 53 0 0 19 0 11 0 1860596618 858599424 22670 4294967295 134512640 134569956 3221224336 3221214632 1131427008 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 22670 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 170.34 Current children cumulated vsize (Kb) 838476 [startup+190.016 s] Raw data (loadavg): 1.01 1.02 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18363 3 1 0 17955 54 0 0 25 0 11 0 1860596618 858599424 22749 4294967295 134512640 134569956 3221224336 3221214544 1131382613 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 22749 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 180.09 Current children cumulated vsize (Kb) 838476 [startup+200.016 s] Raw data (loadavg): 1.01 1.02 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18372 3 1 0 18932 54 0 0 24 0 11 0 1860596618 858599424 22823 4294967295 134512640 134569956 3221224336 3221214512 1131514188 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 22823 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 189.86 Current children cumulated vsize (Kb) 838476 [startup+210.017 s] Raw data (loadavg): 1.01 1.01 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18381 3 1 0 19912 54 0 0 17 0 11 0 1860596618 858599424 22875 4294967295 134512640 134569956 3221224336 3221214328 1131508259 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 22875 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 199.66 Current children cumulated vsize (Kb) 838476 [startup+220.019 s] Raw data (loadavg): 1.01 1.01 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18389 3 1 0 20893 54 0 0 23 0 11 0 1860596618 858599424 22908 4294967295 134512640 134569956 3221224336 3221214632 1131431201 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 22908 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 209.47 Current children cumulated vsize (Kb) 838476 [startup+230.019 s] Raw data (loadavg): 1.00 1.01 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18397 3 1 0 21873 55 0 0 25 0 11 0 1860596618 858599424 22947 4294967295 134512640 134569956 3221224336 3221214528 1131386646 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 22947 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 219.28 Current children cumulated vsize (Kb) 838476 [startup+240.02 s] Raw data (loadavg): 1.00 1.01 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18406 3 1 0 22846 55 0 0 25 0 11 0 1860596618 858599424 22995 4294967295 134512640 134569956 3221224336 3221214432 1131392129 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 22995 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 229.01 Current children cumulated vsize (Kb) 838476 [startup+250.021 s] Raw data (loadavg): 1.00 1.01 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18414 3 1 0 23822 56 0 0 25 0 11 0 1860596618 858599424 23034 4294967295 134512640 134569956 3221224336 3221214544 1131382228 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 23034 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 238.78 Current children cumulated vsize (Kb) 838476 [startup+260.021 s] Raw data (loadavg): 1.00 1.01 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18424 3 1 0 24794 56 0 0 22 0 11 0 1860596618 858599424 23087 4294967295 134512640 134569956 3221224336 3221214544 1131382631 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 23087 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 248.5 Current children cumulated vsize (Kb) 838476 [startup+270.022 s] Raw data (loadavg): 1.00 1.01 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18432 3 1 0 25765 57 0 0 24 0 11 0 1860596618 858599424 23163 4294967295 134512640 134569956 3221224336 3221214632 1131430980 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 23163 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 258.22 Current children cumulated vsize (Kb) 838476 [startup+280.023 s] Raw data (loadavg): 1.00 1.01 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18439 3 1 0 26739 57 0 0 25 0 11 0 1860596618 858599424 23223 4294967295 134512640 134569956 3221224336 3221214544 1131382759 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 23223 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 267.96 Current children cumulated vsize (Kb) 838476 [startup+290.025 s] Raw data (loadavg): 1.00 1.01 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18445 3 1 0 27718 58 0 0 25 0 11 0 1860596618 858599424 23270 4294967295 134512640 134569956 3221224336 3221214456 1131500383 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 23270 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 277.76 Current children cumulated vsize (Kb) 838476 [startup+300.025 s] Raw data (loadavg): 1.00 1.01 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18449 3 1 0 28704 58 0 0 25 0 11 0 1860596618 858599424 23318 4294967295 134512640 134569956 3221224336 3221214416 1131401491 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 23318 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 287.62 Current children cumulated vsize (Kb) 838476 [startup+310.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18454 3 1 0 29687 58 0 0 25 0 11 0 1860596618 858599424 23364 4294967295 134512640 134569956 3221224336 3221214544 1131382872 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 23364 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 297.45 Current children cumulated vsize (Kb) 838476 [startup+320.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18461 3 1 0 30659 58 0 0 25 0 11 0 1860596618 858599424 23438 4294967295 134512640 134569956 3221224336 3221214088 1080339233 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 23438 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 307.17 Current children cumulated vsize (Kb) 838476 [startup+330.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18469 3 1 0 31627 59 0 0 21 0 11 0 1860596618 858599424 23498 4294967295 134512640 134569956 3221224336 3221214656 1131477749 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 23498 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 316.86 Current children cumulated vsize (Kb) 838476 [startup+340.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18477 3 1 0 32595 59 0 0 25 0 11 0 1860596618 858599424 23552 4294967295 134512640 134569956 3221224336 3221214628 1131358828 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 23552 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 326.54 Current children cumulated vsize (Kb) 838476 [startup+350.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18481 3 1 0 33580 59 0 0 21 0 11 0 1860596618 858599424 23658 4294967295 134512640 134569956 3221224336 3221214432 1131392091 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 23658 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 336.39 Current children cumulated vsize (Kb) 838476 [startup+360.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18486 3 1 0 34562 59 0 0 21 0 11 0 1860596618 858599424 23844 4294967295 134512640 134569956 3221224336 3221214432 1131392135 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 23844 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 346.21 Current children cumulated vsize (Kb) 838476 [startup+370.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18489 3 1 0 35553 60 0 0 25 0 11 0 1860596618 858599424 23896 4294967295 134512640 134569956 3221224336 3221214432 1131392047 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 23896 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 356.13 Current children cumulated vsize (Kb) 838476 [startup+380.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18493 3 1 0 36540 60 0 0 25 0 11 0 1860596618 858599424 23951 4294967295 134512640 134569956 3221224336 3221214512 1131514375 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 23951 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 366 Current children cumulated vsize (Kb) 838476 [startup+390.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18494 3 1 0 37537 60 0 0 25 0 11 0 1860596618 858599424 23951 4294967295 134512640 134569956 3221224336 3221214376 1131508103 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 23951 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 375.97 Current children cumulated vsize (Kb) 838476 [startup+400.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18500 3 1 0 38519 60 0 0 25 0 11 0 1860596618 858599424 24010 4294967295 134512640 134569956 3221224336 3221214432 1131510837 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 24010 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 385.79 Current children cumulated vsize (Kb) 838476 [startup+410.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18504 3 1 0 39506 60 0 0 25 0 11 0 1860596618 858599424 24047 4294967295 134512640 134569956 3221224336 3221214536 1131392133 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 24047 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 395.66 Current children cumulated vsize (Kb) 838476 [startup+420.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18510 3 1 0 40486 61 0 0 25 0 11 0 1860596618 858599424 24107 4294967295 134512640 134569956 3221224336 3221214464 1131491203 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 24107 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 405.47 Current children cumulated vsize (Kb) 838476 [startup+430.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18516 3 1 0 41464 61 0 0 25 0 11 0 1860596618 858599424 24162 4294967295 134512640 134569956 3221224336 3221214424 1131392048 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 24162 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 415.25 Current children cumulated vsize (Kb) 838476 [startup+440.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18521 3 1 0 42447 62 0 0 25 0 11 0 1860596618 858599424 24229 4294967295 134512640 134569956 3221224336 3221214512 1131500432 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 24229 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 425.09 Current children cumulated vsize (Kb) 838476 [startup+450.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18525 3 1 0 43433 62 0 0 25 0 11 0 1860596618 858599424 24359 4294967295 134512640 134569956 3221224336 3221214328 1131630443 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 24359 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 434.95 Current children cumulated vsize (Kb) 838476 [startup+460.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18527 3 1 0 44426 62 0 0 25 0 11 0 1860596618 858599424 24412 4294967295 134512640 134569956 3221224336 3221214376 1131508118 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 24412 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 444.88 Current children cumulated vsize (Kb) 838476 [startup+470.035 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18527 3 1 0 45426 62 0 0 25 0 11 0 1860596618 858599424 24412 4294967295 134512640 134569956 3221224336 3221214328 1131630244 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 24412 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 454.88 Current children cumulated vsize (Kb) 838476 [startup+480.036 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18528 3 1 0 46423 62 0 0 25 0 11 0 1860596618 858599424 24412 4294967295 134512640 134569956 3221224336 3221214376 1131507999 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 24412 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 464.85 Current children cumulated vsize (Kb) 838476 [startup+490.035 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18530 3 1 0 47416 63 0 0 25 0 11 0 1860596618 858599424 24461 4294967295 134512640 134569956 3221224336 3221214416 1131401179 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 24461 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 474.79 Current children cumulated vsize (Kb) 838476 [startup+500.037 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18536 3 1 0 48398 63 0 0 25 0 11 0 1860596618 858599424 24542 4294967295 134512640 134569956 3221224336 3221214272 1131643217 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 24542 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 484.61 Current children cumulated vsize (Kb) 838476 [startup+510.038 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18541 3 1 0 49385 63 0 0 25 0 11 0 1860596618 858599424 24616 4294967295 134512640 134569956 3221224336 3221214432 1131392129 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 24616 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 494.48 Current children cumulated vsize (Kb) 838476 [startup+520.039 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18546 3 1 0 50370 65 0 0 25 0 11 0 1860596618 858599424 24675 4294967295 134512640 134569956 3221224336 3221214496 1131374809 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 24675 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 504.35 Current children cumulated vsize (Kb) 838476 [startup+530.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18548 3 1 0 51364 66 0 0 25 0 11 0 1860596618 858599424 24756 4294967295 134512640 134569956 3221224336 3221214328 1131630532 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 24756 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 514.3 Current children cumulated vsize (Kb) 838476 [startup+540.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18554 3 1 0 52350 66 0 0 25 0 11 0 1860596618 858599424 24838 4294967295 134512640 134569956 3221224336 3221214544 1131382327 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 24838 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 524.16 Current children cumulated vsize (Kb) 838476 [startup+550.041 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18558 3 1 0 53339 67 0 0 25 0 11 0 1860596618 858599424 24838 4294967295 134512640 134569956 3221224336 3221214328 1131630545 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 24838 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 534.06 Current children cumulated vsize (Kb) 838476 [startup+560.041 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18561 3 1 0 54331 67 0 0 25 0 11 0 1860596618 858599424 24883 4294967295 134512640 134569956 3221224336 3221214456 1131500405 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 24883 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 543.98 Current children cumulated vsize (Kb) 838476 [startup+570.043 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18568 3 1 0 55315 68 0 0 17 0 11 0 1860596618 858599424 24915 4294967295 134512640 134569956 3221224336 3221214544 1131382872 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 24915 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 553.83 Current children cumulated vsize (Kb) 838476 [startup+580.044 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18571 3 1 0 56308 68 0 0 25 0 11 0 1860596618 858599424 24964 4294967295 134512640 134569956 3221224336 3221214328 1131630249 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 24964 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 563.76 Current children cumulated vsize (Kb) 838476 [startup+590.044 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18577 3 1 0 57293 68 0 0 25 0 11 0 1860596618 858599424 25059 4294967295 134512640 134569956 3221224336 3221214328 1079817121 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 25059 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 573.61 Current children cumulated vsize (Kb) 838476 [startup+600.046 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18580 3 1 0 58285 69 0 0 25 0 11 0 1860596618 858599424 25104 4294967295 134512640 134569956 3221224336 3221214336 1131558622 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 25104 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 583.54 Current children cumulated vsize (Kb) 838476 [startup+610.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18584 3 1 0 59276 69 0 0 25 0 11 0 1860596618 858599424 25129 4294967295 134512640 134569956 3221224336 3221214432 1131392007 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 25129 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 593.45 Current children cumulated vsize (Kb) 838476 [startup+620.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18588 3 1 0 60265 70 0 0 25 0 11 0 1860596618 858599424 25139 4294967295 134512640 134569956 3221224336 3221214328 1131630008 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 25139 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 603.35 Current children cumulated vsize (Kb) 838476 [startup+630.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18593 3 1 0 61252 70 0 0 18 0 11 0 1860596618 858599424 25139 4294967295 134512640 134569956 3221224336 3221214456 1131500483 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 25139 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 613.22 Current children cumulated vsize (Kb) 838476 [startup+640.049 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18597 3 1 0 62242 71 0 0 25 0 11 0 1860596618 858599424 25233 4294967295 134512640 134569956 3221224336 3221214432 1131392135 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 25233 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 623.13 Current children cumulated vsize (Kb) 838476 [startup+650.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18601 3 1 0 63233 71 0 0 25 0 11 0 1860596618 858599424 25273 4294967295 134512640 134569956 3221224336 3221214240 1131612793 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 25273 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 633.04 Current children cumulated vsize (Kb) 838476 [startup+660.049 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18602 3 1 0 64230 71 0 0 25 0 11 0 1860596618 858599424 25273 4294967295 134512640 134569956 3221224336 3221214272 1131643339 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 25273 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 643.01 Current children cumulated vsize (Kb) 838476 [startup+670.051 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18603 3 1 0 65228 72 0 0 25 0 11 0 1860596618 858599424 25297 4294967295 134512640 134569956 3221224336 3221214632 1131426527 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 25297 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 653 Current children cumulated vsize (Kb) 838476 [startup+680.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18607 3 1 0 66219 72 0 0 25 0 11 0 1860596618 858599424 25327 4294967295 134512640 134569956 3221224336 3221214456 1131500423 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 25327 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 662.91 Current children cumulated vsize (Kb) 838476 [startup+690.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18610 3 1 0 67213 72 0 0 19 0 11 0 1860596618 858599424 25410 4294967295 134512640 134569956 3221224336 3221214432 1131392135 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 25410 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 672.85 Current children cumulated vsize (Kb) 838476 [startup+700.054 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18611 3 1 0 68210 72 0 0 25 0 11 0 1860596618 858599424 25410 4294967295 134512640 134569956 3221224336 3221214456 1131500483 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 25410 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 682.82 Current children cumulated vsize (Kb) 838476 [startup+710.055 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18612 3 1 0 69207 72 0 0 25 0 11 0 1860596618 858599424 25410 4294967295 134512640 134569956 3221224336 3221214456 1131500383 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 25410 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 692.79 Current children cumulated vsize (Kb) 838476 [startup+720.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18614 3 1 0 70202 72 0 0 25 0 11 0 1860596618 858599424 25449 4294967295 134512640 134569956 3221224336 3221214432 1131392001 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 25449 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 702.74 Current children cumulated vsize (Kb) 838476 [startup+730.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18620 3 1 0 71188 73 0 0 25 0 11 0 1860596618 858599424 25503 4294967295 134512640 134569956 3221224336 3221214784 1131374809 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 25503 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 712.61 Current children cumulated vsize (Kb) 838476 [startup+740.057 s] Raw data (loadavg): 1.00 1.00 0.97 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18627 3 1 0 72168 73 0 0 25 0 11 0 1860596618 858599424 25503 4294967295 134512640 134569956 3221224336 3221214424 1131392037 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 25503 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 722.41 Current children cumulated vsize (Kb) 838476 [startup+750.058 s] Raw data (loadavg): 1.08 1.02 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18629 3 1 0 73162 73 0 0 25 0 11 0 1860596618 858599424 25503 4294967295 134512640 134569956 3221224336 3221214512 1131500405 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 25503 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 732.35 Current children cumulated vsize (Kb) 838476 [startup+760.058 s] Raw data (loadavg): 1.07 1.02 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18632 3 1 0 74153 74 0 0 25 0 11 0 1860596618 858599424 25627 4294967295 134512640 134569956 3221224336 3221214528 1131408259 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 25627 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 742.27 Current children cumulated vsize (Kb) 838476 [startup+770.059 s] Raw data (loadavg): 1.06 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18637 3 1 0 75139 74 0 0 24 0 11 0 1860596618 858599424 25661 4294967295 134512640 134569956 3221224336 3221214632 1131426704 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 25661 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 752.13 Current children cumulated vsize (Kb) 838476 [startup+780.06 s] Raw data (loadavg): 1.05 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18641 3 1 0 76126 74 0 0 25 0 11 0 1860596618 858599424 25747 4294967295 134512640 134569956 3221224336 3221214632 1131425339 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 25747 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 762 Current children cumulated vsize (Kb) 838476 [startup+790.059 s] Raw data (loadavg): 1.04 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18650 3 1 0 77104 75 0 0 25 0 11 0 1860596618 858599424 25773 4294967295 134512640 134569956 3221224336 3221214624 1131391988 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 25773 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 771.79 Current children cumulated vsize (Kb) 838476 [startup+800.06 s] Raw data (loadavg): 1.03 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18655 3 1 0 78088 75 0 0 25 0 11 0 1860596618 858599424 25994 4294967295 134512640 134569956 3221224336 3221214624 1131392095 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 25994 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 781.63 Current children cumulated vsize (Kb) 838476 [startup+810.061 s] Raw data (loadavg): 1.03 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18660 3 1 0 79074 76 0 0 25 0 11 0 1860596618 858599424 26040 4294967295 134512640 134569956 3221224336 3221214632 1131426611 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 26040 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 791.5 Current children cumulated vsize (Kb) 838476 [startup+820.061 s] Raw data (loadavg): 1.02 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18665 3 1 0 80060 76 0 0 25 0 11 0 1860596618 858599424 26072 4294967295 134512640 134569956 3221224336 3221214400 1131629807 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 26072 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 801.36 Current children cumulated vsize (Kb) 838476 [startup+830.062 s] Raw data (loadavg): 1.02 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18671 3 1 0 81043 76 0 0 25 0 11 0 1860596618 858599424 26191 4294967295 134512640 134569956 3221224336 3221214448 1131508056 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 26191 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 811.19 Current children cumulated vsize (Kb) 838476 [startup+840.062 s] Raw data (loadavg): 1.02 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18676 3 1 0 82030 76 0 0 25 0 11 0 1860596618 858599424 26258 4294967295 134512640 134569956 3221224336 3221214376 1131643331 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 26258 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 821.06 Current children cumulated vsize (Kb) 838476 [startup+850.063 s] Raw data (loadavg): 1.01 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18681 3 1 0 83016 77 0 0 25 0 11 0 1860596618 858599424 26334 4294967295 134512640 134569956 3221224336 3221214340 1131683792 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 26334 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 830.93 Current children cumulated vsize (Kb) 838476 [startup+860.063 s] Raw data (loadavg): 1.01 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18686 3 1 0 84002 78 0 0 23 0 11 0 1860596618 858599424 26453 4294967295 134512640 134569956 3221224336 3221214280 1131685372 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 26453 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 840.8 Current children cumulated vsize (Kb) 838476 [startup+870.064 s] Raw data (loadavg): 1.01 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18690 3 1 0 84991 78 0 0 25 0 11 0 1860596618 858599424 26480 4294967295 134512640 134569956 3221224336 3221214528 1131500381 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 26480 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 850.69 Current children cumulated vsize (Kb) 838476 [startup+880.065 s] Raw data (loadavg): 1.01 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18691 3 1 0 85988 78 0 0 25 0 11 0 1860596618 858599424 26494 4294967295 134512640 134569956 3221224336 3221214528 1131500383 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 26494 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 860.66 Current children cumulated vsize (Kb) 838476 [startup+890.065 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18694 3 1 0 86979 78 0 0 23 0 11 0 1860596618 858599424 26508 4294967295 134512640 134569956 3221224336 3221214488 1131401954 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 26508 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 870.57 Current children cumulated vsize (Kb) 838476 [startup+900.066 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18695 3 1 0 87976 79 0 0 25 0 11 0 1860596618 858599424 26508 4294967295 134512640 134569956 3221224336 3221214376 1131643343 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 26508 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 880.55 Current children cumulated vsize (Kb) 838476 [startup+910.067 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18702 3 1 0 88953 79 0 0 17 0 11 0 1860596618 858599424 26552 4294967295 134512640 134569956 3221224336 3221214504 1131392072 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 26552 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 890.32 Current children cumulated vsize (Kb) 838476 [startup+920.068 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18707 3 1 0 89936 79 0 0 25 0 11 0 1860596618 858599424 26584 4294967295 134512640 134569956 3221224336 3221214400 1131630320 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 26584 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 900.15 Current children cumulated vsize (Kb) 838476 [startup+930.069 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18714 3 1 0 90909 80 0 0 18 0 11 0 1860596618 858599424 26641 4294967295 134512640 134569956 3221224336 3221214544 1131382937 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 26641 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 909.89 Current children cumulated vsize (Kb) 838476 [startup+940.069 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18722 3 1 0 91879 80 0 0 18 0 11 0 1860596618 858599424 26836 4294967295 134512640 134569956 3221224336 3221214544 1131382455 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 26836 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 919.59 Current children cumulated vsize (Kb) 838476 [startup+950.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18731 3 1 0 92852 80 0 0 25 0 11 0 1860596618 858599424 27025 4294967295 134512640 134569956 3221224336 3221214632 1131425284 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 27025 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 929.32 Current children cumulated vsize (Kb) 838476 [startup+960.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18739 3 1 0 93829 80 0 0 18 0 11 0 1860596618 858599424 27150 4294967295 134512640 134569956 3221224336 3221214624 1131358908 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 27150 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 939.09 Current children cumulated vsize (Kb) 838476 [startup+970.071 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18746 3 1 0 94809 80 0 0 25 0 11 0 1860596618 858599424 27217 4294967295 134512640 134569956 3221224336 3221214568 1131410171 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 27217 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 948.89 Current children cumulated vsize (Kb) 838476 [startup+980.072 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18754 3 1 0 95786 81 0 0 25 0 11 0 1860596618 858599424 27266 4294967295 134512640 134569956 3221224336 3221214296 1080338865 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 27266 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 958.67 Current children cumulated vsize (Kb) 838476 [startup+990.071 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18761 3 1 0 96764 81 0 0 25 0 11 0 1860596618 858599424 27286 4294967295 134512640 134569956 3221224336 3221214632 1131425277 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 27286 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 968.45 Current children cumulated vsize (Kb) 838476 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18769 3 1 0 97737 81 0 0 25 0 11 0 1860596618 858599424 27343 4294967295 134512640 134569956 3221224336 3221214784 1131374809 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 27343 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 978.18 Current children cumulated vsize (Kb) 838476 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18776 3 1 0 98713 82 0 0 25 0 11 0 1860596618 858599424 27404 4294967295 134512640 134569956 3221224336 3221214632 1131427096 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 27404 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 987.95 Current children cumulated vsize (Kb) 838476 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18784 3 1 0 99688 82 0 0 25 0 11 0 1860596618 858599424 27468 4294967295 134512640 134569956 3221224336 3221214632 1131430460 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 27468 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 997.7 Current children cumulated vsize (Kb) 838476 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18791 3 1 0 100666 82 0 0 21 0 11 0 1860596618 858599424 27532 4294967295 134512640 134569956 3221224336 3221214488 1131402212 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 27532 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1007.48 Current children cumulated vsize (Kb) 838476 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) S 22607 22608 20728 0 -1 0 18798 3 1 0 101641 82 0 0 17 0 11 0 1860596618 858599424 27575 4294967295 134512640 134569956 3221224336 3221213376 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 27575 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1017.23 Current children cumulated vsize (Kb) 838476 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18806 3 1 0 102618 82 0 0 22 0 11 0 1860596618 858599424 27644 4294967295 134512640 134569956 3221224336 3221214504 1131391898 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 27644 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1027 Current children cumulated vsize (Kb) 838476 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18812 3 1 0 103599 83 0 0 25 0 11 0 1860596618 858599424 27694 4294967295 134512640 134569956 3221224336 3221214544 1131382329 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 27694 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1036.82 Current children cumulated vsize (Kb) 838476 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18819 3 1 0 104578 83 0 0 25 0 11 0 1860596618 858599424 27741 4294967295 134512640 134569956 3221224336 3221214088 1131689548 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 27741 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1046.61 Current children cumulated vsize (Kb) 838476 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18826 3 1 0 105556 83 0 0 25 0 11 0 1860596618 858599424 27798 4294967295 134512640 134569956 3221224336 3221214632 1131426704 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 27798 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1056.39 Current children cumulated vsize (Kb) 838476 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18832 3 1 0 106537 84 0 0 23 0 11 0 1860596618 858599424 27857 4294967295 134512640 134569956 3221224336 3221214376 1131643213 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 27857 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1066.21 Current children cumulated vsize (Kb) 838476 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18838 3 1 0 107519 84 0 0 24 0 11 0 1860596618 858599424 27906 4294967295 134512640 134569956 3221224336 3221214332 1131685348 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 27906 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1076.03 Current children cumulated vsize (Kb) 838476 [startup+1110.08 s] Raw data (loadavg): 1.07 1.02 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18845 3 1 0 108497 84 0 0 25 0 11 0 1860596618 858599424 27974 4294967295 134512640 134569956 3221224336 3221214544 1131383147 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 27974 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1085.81 Current children cumulated vsize (Kb) 838476 [startup+1120.09 s] Raw data (loadavg): 1.06 1.02 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18852 3 1 0 109473 85 0 0 25 0 11 0 1860596618 858599424 28033 4294967295 134512640 134569956 3221224336 3221214632 1131427188 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 28033 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1095.58 Current children cumulated vsize (Kb) 838476 [startup+1130.09 s] Raw data (loadavg): 1.05 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18856 3 1 0 110460 85 0 0 25 0 11 0 1860596618 858599424 28073 4294967295 134512640 134569956 3221224336 3221214544 1131382287 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 28073 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1105.45 Current children cumulated vsize (Kb) 838476 [startup+1140.09 s] Raw data (loadavg): 1.04 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18859 3 1 0 111449 86 0 0 25 0 11 0 1860596618 858599424 28103 4294967295 134512640 134569956 3221224336 3221214584 1131500503 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 28103 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1115.35 Current children cumulated vsize (Kb) 838476 [startup+1150.09 s] Raw data (loadavg): 1.04 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18865 3 1 0 112427 86 0 0 18 0 11 0 1860596618 858599424 28177 4294967295 134512640 134569956 3221224336 3221214400 1131630324 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 28177 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1125.13 Current children cumulated vsize (Kb) 838476 [startup+1160.09 s] Raw data (loadavg): 1.03 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18867 3 1 0 113420 87 0 0 25 0 11 0 1860596618 858599424 28177 4294967295 134512640 134569956 3221224336 3221214400 1131629755 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/22608/statm): 209619 28177 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1135.07 Current children cumulated vsize (Kb) 838476 [startup+1170.09 s] Raw data (loadavg): 1.02 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18870 3 1 0 114408 87 0 0 25 0 11 0 1860596618 858599424 28220 4294967295 134512640 134569956 3221224336 3221214496 1131392070 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 28220 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1144.95 Current children cumulated vsize (Kb) 838476 [startup+1180.09 s] Raw data (loadavg): 1.02 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18873 3 1 0 115395 87 0 0 25 0 11 0 1860596618 858599424 28252 4294967295 134512640 134569956 3221224336 3221214472 1131375927 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 28252 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1154.82 Current children cumulated vsize (Kb) 838476 [startup+1190.09 s] Raw data (loadavg): 1.02 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18876 3 1 0 116383 87 0 0 25 0 11 0 1860596618 858599424 28297 4294967295 134512640 134569956 3221224336 3221214544 1131382434 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 28297 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1164.7 Current children cumulated vsize (Kb) 838476 [startup+1200.09 s] Raw data (loadavg): 1.01 1.01 0.98 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18882 3 1 0 117360 88 0 0 22 0 11 0 1860596618 858599424 28364 4294967295 134512640 134569956 3221224336 3221214784 1131374809 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 28364 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1174.48 Current children cumulated vsize (Kb) 838476 [startup+1210.09 s] Raw data (loadavg): 1.08 1.02 0.99 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18886 3 1 0 118344 88 0 0 25 0 11 0 1860596618 858599424 28383 4294967295 134512640 134569956 3221224336 3221214536 1131374815 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 28383 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1184.32 Current children cumulated vsize (Kb) 838476 [startup+1220.09 s] Raw data (loadavg): 1.07 1.02 0.99 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18888 3 1 0 119336 88 0 0 25 0 11 0 1860596618 858599424 28439 4294967295 134512640 134569956 3221224336 3221214400 1131629813 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 28439 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1194.24 Current children cumulated vsize (Kb) 838476 [startup+1230.09 s] Raw data (loadavg): 1.06 1.02 0.99 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18890 3 1 0 120328 88 0 0 25 0 11 0 1860596618 858599424 28483 4294967295 134512640 134569956 3221224336 3221214528 1131500499 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 28483 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1204.16 Current children cumulated vsize (Kb) 838476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1230.09 s] Raw data (loadavg): 1.06 1.02 0.99 2/66 22633 Raw data (/proc/22608/stat): 22608 (java) R 22607 22608 20728 0 -1 0 18890 3 1 0 120328 88 0 0 25 0 11 0 1860596618 858599424 28483 4294967295 134512640 134569956 3221224336 3221214528 1131500354 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/22608/statm): 209619 28483 13129 16 0 209603 0 [pid=22608] vsize: 838476 Current children cumulated CPU time (s) 1204.16 Current children cumulated vsize (Kb) 838476 Sending SIGTERM to -22608 Sleeping 2 seconds New thread pid=22635 New thread pid=22636 One traced child (pid=22636) exited with status: 0 One traced child (pid=22617) exited with status: 0 One traced child (pid=22612) exited with status: 0 One traced child (pid=22609) exited with status: 143 One traced child (pid=22633) exited with status: 143 One traced child (pid=22610) exited with status: 143 One traced child (pid=22611) exited with status: 143 One traced child (pid=22613) exited with status: 143 One traced child (pid=22616) exited with status: 143 One traced child (pid=22614) exited with status: 143 One traced child (pid=22615) exited with status: 143 One traced child (pid=22635) exited with status: 143 One traced child (pid=22608) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1230.22 CPU time (s): 1226.26 CPU user time (s): 1224.82 CPU system time (s): 1.43478 CPU usage (%): 99.6781 Max. virtual memory (cumulated for all children) (Kb): 838636
Verifier: OK 309164