| 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