| Name | mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0282.opb |
| MD5SUM | 1a8deb577df7e72871b7e1004c098336 |
| 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.5843 |
| 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 wulflinc20 THE 2005-09-19 20:11:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6513 boxname=wulflinc20 idbench=653 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 1a8deb577df7e72871b7e1004c098336 /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-p0282.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-p0282.opb IDLAUNCH: 6513 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 873780 kB Buffers: 40668 kB Cached: 89196 kB SwapCached: 832 kB Active: 71084 kB Inactive: 61480 kB HighTotal: 131008 kB HighFree: 38360 kB LowTotal: 903652 kB LowFree: 835420 kB SwapTotal: 2097892 kB SwapFree: 2096604 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5736 kB Slab: 22420 kB Committed_AS: 64220 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 20:31:59 (client local time) WITH STATUS 143 IN 1237.28 SECONDS stats: 6513 0 1237.28 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/wulflinc20/normalized-mps-v2-20-10-p0282.opb c reading problem ... done. Time 1.065 ms. c #vars 282 c #constraints 221 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 457129 Current CPU time: 1.35 ms c CURRENT OPTIMUM= 453986 Current CPU time: 1.56 ms c CURRENT OPTIMUM= 415236 Current CPU time: 3.10 ms c CURRENT OPTIMUM= 413972 Current CPU time: 4.17 ms c CURRENT OPTIMUM= 412188 Current CPU time: 7.54 ms c CURRENT OPTIMUM= 411247 Current CPU time: 8.16 ms c CURRENT OPTIMUM= 410805 Current CPU time: 8.45 ms c CURRENT OPTIMUM= 409125 Current CPU time: 11.88 ms c CURRENT OPTIMUM= 408041 Current CPU time: 21.98 ms c CURRENT OPTIMUM= 352831 Current CPU time: 30.54 ms c CURRENT OPTIMUM= 325096 Current CPU time: 31.55 ms c CURRENT OPTIMUM= 316650 Current CPU time: 33.60 ms c CURRENT OPTIMUM= 311842 Current CPU time: 35.03 ms c CURRENT OPTIMUM= 310295 Current CPU time: 39.85 ms c CURRENT OPTIMUM= 309164 Current CPU time: 46.06 ms c starts : 19 c conflicts : 817 c decisions : 12734 c propagations : 22063 c inspects : 487009 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 816 c root simplifications : 19 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 7863 c speed (decisions/second) : 10.76666173455368 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.8
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/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1852675865 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 39 3 38 16 0 23 0
[pid=23721] 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/23721
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=23722
New thread pid=23723
New thread pid=23724
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=23725
New thread pid=23726
New thread pid=23727
New thread pid=23728
New thread pid=23729
New thread pid=23730
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/wulflinc20/normalized-mps-v2-20-10-p0282.opb
New thread pid=23731
One traced child (pid=23731) exited with status: 0
New thread pid=23732
One traced child (pid=23732) exited with status: 0
New thread pid=23733
One traced child (pid=23733) exited with status: 0
New thread pid=23734
One traced child (pid=23734) exited with status: 0
New thread pid=23735
One traced child (pid=23735) exited with status: 0
New thread pid=23736
One traced child (pid=23736) exited with status: 0
New thread pid=23737
One traced child (pid=23737) exited with status: 0
New thread pid=23738
[startup+10.0025 s]
Raw data (loadavg): 1.16 1.03 0.94 2/66 23738
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18224 4 1 0 699 49 0 0 20 0 11 0 1852675865 861270016 20390 4294967295 134512640 134569956 3221224336 3221214648 1131444100 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 210271 20390 13129 16 0 210255 0
[pid=23721] vsize: 841084
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (Kb) 841084
One traced child (pid=23738) exited with status: 0
New thread pid=23739
[startup+20.0023 s]
Raw data (loadavg): 1.14 1.03 0.94 2/66 23739
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18239 4 1 0 1646 50 0 0 25 0 11 0 1852675865 859455488 20254 4294967295 134512640 134569956 3221224336 3221214576 1131416843 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 20254 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 16.96
Current children cumulated vsize (Kb) 839312
One traced child (pid=23739) exited with status: 0
New thread pid=23740
[startup+30.003 s]
Raw data (loadavg): 1.12 1.03 0.94 2/66 23740
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18252 4 1 0 2601 51 0 0 18 0 11 0 1852675865 859455488 20460 4294967295 134512640 134569956 3221224336 3221214648 1131394631 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 20460 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 26.52
Current children cumulated vsize (Kb) 839312
One traced child (pid=23740) exited with status: 0
New thread pid=23741
One traced child (pid=23741) exited with status: 0
New thread pid=23742
One traced child (pid=23742) exited with status: 0
New thread pid=23743
One traced child (pid=23743) exited with status: 0
New thread pid=23744
[startup+40.0037 s]
Raw data (loadavg): 1.10 1.03 0.94 2/66 23744
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18264 4 1 0 3549 52 0 0 24 0 11 0 1852675865 859455488 20622 4294967295 134512640 134569956 3221224336 3221214544 1131384498 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 20622 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 36.01
Current children cumulated vsize (Kb) 839312
One traced child (pid=23744) exited with status: 0
New thread pid=23745
One traced child (pid=23745) exited with status: 0
New thread pid=23746
[startup+50.0044 s]
Raw data (loadavg): 1.08 1.03 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18276 4 1 0 4486 52 0 1 20 0 11 0 1852675865 859455488 21120 4294967295 134512640 134569956 3221224336 3221214504 1131439643 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 21120 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 45.39
Current children cumulated vsize (Kb) 839312
[startup+60.0042 s]
Raw data (loadavg): 1.07 1.03 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18287 4 1 0 5442 53 0 1 18 0 11 0 1852675865 859455488 21282 4294967295 134512640 134569956 3221224336 3221214424 1131394714 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 21282 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 54.96
Current children cumulated vsize (Kb) 839312
[startup+70.0039 s]
Raw data (loadavg): 1.06 1.02 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18296 4 1 0 6403 54 0 1 25 0 11 0 1852675865 859455488 21345 4294967295 134512640 134569956 3221224336 3221214616 1131594580 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 21345 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 64.58
Current children cumulated vsize (Kb) 839312
[startup+80.0056 s]
Raw data (loadavg): 1.05 1.02 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) S 23720 23721 2660 0 -1 0 18304 4 1 0 7362 54 0 1 25 0 11 0 1852675865 859455488 21472 4294967295 134512640 134569956 3221224336 3221213144 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 21472 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 74.17
Current children cumulated vsize (Kb) 839312
[startup+90.0054 s]
Raw data (loadavg): 1.04 1.02 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) S 23720 23721 2660 0 -1 0 18311 4 1 0 8325 55 0 1 25 0 11 0 1852675865 859455488 21614 4294967295 134512640 134569956 3221224336 3221213120 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 21614 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 83.81
Current children cumulated vsize (Kb) 839312
[startup+100.006 s]
Raw data (loadavg): 1.03 1.02 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18319 4 1 0 9292 55 0 1 25 0 11 0 1852675865 859455488 21705 4294967295 134512640 134569956 3221224336 3221214524 1131495123 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 21705 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 93.48
Current children cumulated vsize (Kb) 839312
[startup+110.009 s]
Raw data (loadavg): 1.03 1.02 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) S 23720 23721 2660 0 -1 0 18327 4 1 0 10254 55 0 1 25 0 11 0 1852675865 859455488 21816 4294967295 134512640 134569956 3221224336 3221213376 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 21816 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 103.1
Current children cumulated vsize (Kb) 839312
[startup+120.009 s]
Raw data (loadavg): 1.02 1.02 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18336 4 1 0 11213 56 0 1 20 0 11 0 1852675865 859455488 21921 4294967295 134512640 134569956 3221224336 3221214416 1131394520 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 21921 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 112.7
Current children cumulated vsize (Kb) 839312
[startup+130.009 s]
Raw data (loadavg): 1.02 1.02 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) S 23720 23721 2660 0 -1 0 18344 4 1 0 12174 56 0 1 17 0 11 0 1852675865 859455488 22021 4294967295 134512640 134569956 3221224336 3221213168 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 22021 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 122.31
Current children cumulated vsize (Kb) 839312
[startup+140.01 s]
Raw data (loadavg): 1.02 1.02 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18353 4 1 0 13135 57 0 1 25 0 11 0 1852675865 859455488 22141 4294967295 134512640 134569956 3221224336 3221214600 1131216239 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 22141 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 131.93
Current children cumulated vsize (Kb) 839312
[startup+150.012 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18362 4 1 0 14098 57 0 1 20 0 11 0 1852675865 859455488 22261 4294967295 134512640 134569956 3221224336 3221214632 1131444097 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 22261 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 141.56
Current children cumulated vsize (Kb) 839312
[startup+160.012 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18372 4 1 0 15063 58 0 1 18 0 11 0 1852675865 859455488 22358 4294967295 134512640 134569956 3221224336 3221214628 1131385341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 22358 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 151.22
Current children cumulated vsize (Kb) 839312
[startup+170.012 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18381 4 1 0 16032 58 0 1 25 0 11 0 1852675865 859455488 22452 4294967295 134512640 134569956 3221224336 3221214632 1131449455 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 22452 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 160.91
Current children cumulated vsize (Kb) 839312
[startup+180.013 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18390 4 1 0 17004 59 0 1 25 0 11 0 1852675865 859455488 22532 4294967295 134512640 134569956 3221224336 3221214544 1131384340 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 22532 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 170.64
Current children cumulated vsize (Kb) 839312
[startup+190.014 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18399 4 1 0 17980 59 0 1 25 0 11 0 1852675865 859455488 22599 4294967295 134512640 134569956 3221224336 3221214544 1131384874 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 22599 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 180.4
Current children cumulated vsize (Kb) 839312
[startup+200.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18408 4 1 0 18959 60 0 1 17 0 11 0 1852675865 859455488 22677 4294967295 134512640 134569956 3221224336 3221214784 1131380121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 22677 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 190.2
Current children cumulated vsize (Kb) 839312
[startup+210.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18417 4 1 0 19938 60 0 1 24 0 11 0 1852675865 859455488 22720 4294967295 134512640 134569956 3221224336 3221214544 1131384498 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 22720 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 839312
[startup+220.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18425 4 1 0 20919 61 0 1 24 0 11 0 1852675865 859455488 22754 4294967295 134512640 134569956 3221224336 3221214544 1131384603 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 22754 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 209.81
Current children cumulated vsize (Kb) 839312
[startup+230.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18434 4 1 0 21896 61 0 1 17 0 11 0 1852675865 859455488 22804 4294967295 134512640 134569956 3221224336 3221214584 1131394631 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 22804 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 219.58
Current children cumulated vsize (Kb) 839312
[startup+240.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18442 4 1 0 22873 61 0 1 20 0 11 0 1852675865 859455488 22844 4294967295 134512640 134569956 3221224336 3221214544 1131384498 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 22844 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 229.35
Current children cumulated vsize (Kb) 839312
[startup+250.018 s]
Raw data (loadavg): 1.08 1.02 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18450 4 1 0 23848 61 0 1 25 0 11 0 1852675865 859455488 22889 4294967295 134512640 134569956 3221224336 3221214512 1131416692 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 22889 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 239.1
Current children cumulated vsize (Kb) 839312
[startup+260.019 s]
Raw data (loadavg): 1.07 1.02 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18460 4 1 0 24820 62 0 1 25 0 11 0 1852675865 859455488 22945 4294967295 134512640 134569956 3221224336 3221214472 1131380121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 22945 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 248.83
Current children cumulated vsize (Kb) 839312
[startup+270.019 s]
Raw data (loadavg): 1.06 1.02 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18468 4 1 0 25792 62 0 1 25 0 11 0 1852675865 859455488 23027 4294967295 134512640 134569956 3221224336 3221214784 1131380121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 23027 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 258.55
Current children cumulated vsize (Kb) 839312
[startup+280.02 s]
Raw data (loadavg): 1.05 1.02 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18476 4 1 0 26763 63 0 1 25 0 11 0 1852675865 859455488 23082 4294967295 134512640 134569956 3221224336 3221214448 1131686703 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 23082 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 268.27
Current children cumulated vsize (Kb) 839312
[startup+290.02 s]
Raw data (loadavg): 1.04 1.02 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18480 4 1 0 27750 63 0 1 25 0 11 0 1852675865 859455488 23125 4294967295 134512640 134569956 3221224336 3221214416 1131394744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 23125 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 278.14
Current children cumulated vsize (Kb) 839312
[startup+300.021 s]
Raw data (loadavg): 1.03 1.02 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18484 4 1 0 28737 63 0 1 19 0 11 0 1852675865 859455488 23175 4294967295 134512640 134569956 3221224336 3221214416 1131394696 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 23175 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 288.01
Current children cumulated vsize (Kb) 839312
[startup+310.021 s]
Raw data (loadavg): 1.03 1.02 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18491 4 1 0 29711 63 0 1 17 0 11 0 1852675865 859455488 23245 4294967295 134512640 134569956 3221224336 3221214544 1131384893 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 23245 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 297.75
Current children cumulated vsize (Kb) 839312
[startup+320.021 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18498 4 1 0 30684 64 0 1 25 0 11 0 1852675865 859455488 23309 4294967295 134512640 134569956 3221224336 3221214416 1131394789 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 23309 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 307.49
Current children cumulated vsize (Kb) 839312
[startup+330.022 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18506 4 1 0 31653 64 0 1 25 0 11 0 1852675865 859455488 23379 4294967295 134512640 134569956 3221224336 3221214416 1131394405 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 23379 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 317.18
Current children cumulated vsize (Kb) 839312
[startup+340.023 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18512 4 1 0 32630 64 0 1 25 0 11 0 1852675865 859455488 23454 4294967295 134512640 134569956 3221224336 3221214416 1131394680 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 23454 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 326.95
Current children cumulated vsize (Kb) 839312
[startup+350.023 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18517 4 1 0 33611 64 0 1 24 0 11 0 1852675865 859455488 23570 4294967295 134512640 134569956 3221224336 3221214632 1131444093 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 23570 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 336.76
Current children cumulated vsize (Kb) 839312
[startup+360.024 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18520 4 1 0 34602 64 0 1 25 0 11 0 1852675865 859455488 23701 4294967295 134512640 134569956 3221224336 3221214624 1131355900 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 23701 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 346.67
Current children cumulated vsize (Kb) 839312
[startup+370.024 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) S 23720 23721 2660 0 -1 0 18524 4 1 0 35590 64 0 1 25 0 11 0 1852675865 859455488 23754 4294967295 134512640 134569956 3221224336 3221213144 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 23754 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 356.55
Current children cumulated vsize (Kb) 839312
[startup+380.024 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18527 4 1 0 36580 64 0 1 25 0 11 0 1852675865 859455488 23788 4294967295 134512640 134569956 3221224336 3221214416 1131394645 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 23788 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 366.45
Current children cumulated vsize (Kb) 839312
[startup+390.025 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18530 4 1 0 37570 64 0 1 24 0 11 0 1852675865 859455488 23807 4294967295 134512640 134569956 3221224336 3221214544 1131385282 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 23807 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 376.35
Current children cumulated vsize (Kb) 839312
[startup+400.027 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18536 4 1 0 38552 65 0 1 25 0 11 0 1852675865 859455488 23857 4294967295 134512640 134569956 3221224336 3221214416 1131394586 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 23857 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 386.18
Current children cumulated vsize (Kb) 839312
[startup+410.027 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18542 4 1 0 39533 65 0 1 25 0 11 0 1852675865 859455488 23930 4294967295 134512640 134569956 3221224336 3221214524 1131495123 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 23930 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 395.99
Current children cumulated vsize (Kb) 839312
[startup+420.027 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18547 4 1 0 40516 65 0 1 25 0 11 0 1852675865 859455488 23975 4294967295 134512640 134569956 3221224336 3221214328 1131633473 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 23975 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 405.82
Current children cumulated vsize (Kb) 839312
[startup+430.028 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18554 4 1 0 41491 66 0 1 25 0 11 0 1852675865 859455488 24066 4294967295 134512640 134569956 3221224336 3221214328 1131632605 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 24066 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 415.58
Current children cumulated vsize (Kb) 839312
[startup+440.028 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18557 4 1 0 42481 66 0 1 25 0 11 0 1852675865 859455488 24196 4294967295 134512640 134569956 3221224336 3221214272 1131645894 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 24196 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 425.48
Current children cumulated vsize (Kb) 839312
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18560 4 1 0 43472 66 0 1 25 0 11 0 1852675865 859455488 24249 4294967295 134512640 134569956 3221224336 3221214472 1131486255 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 24249 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 435.39
Current children cumulated vsize (Kb) 839312
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18560 4 1 0 44471 66 0 1 25 0 11 0 1852675865 859455488 24249 4294967295 134512640 134569956 3221224336 3221214376 1131576294 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 24249 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 445.38
Current children cumulated vsize (Kb) 839312
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18560 4 1 0 45471 66 0 1 25 0 11 0 1852675865 859455488 24249 4294967295 134512640 134569956 3221224336 3221214424 1131394758 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 24249 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 455.38
Current children cumulated vsize (Kb) 839312
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18562 4 1 0 46465 67 0 1 25 0 11 0 1852675865 859455488 24293 4294967295 134512640 134569956 3221224336 3221214424 1131394279 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 24293 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 465.33
Current children cumulated vsize (Kb) 839312
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18569 4 1 0 47444 68 0 1 24 0 11 0 1852675865 859455488 24379 4294967295 134512640 134569956 3221224336 3221214472 1131380104 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 24379 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 475.13
Current children cumulated vsize (Kb) 839312
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18573 4 1 0 48434 68 0 1 23 0 11 0 1852675865 859455488 24445 4294967295 134512640 134569956 3221224336 3221214680 1131423856 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 24445 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 485.03
Current children cumulated vsize (Kb) 839312
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18578 4 1 0 49421 69 0 1 25 0 11 0 1852675865 859455488 24512 4294967295 134512640 134569956 3221224336 3221214528 1131486188 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 24512 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 494.91
Current children cumulated vsize (Kb) 839312
[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18581 4 1 0 50413 69 0 1 25 0 11 0 1852675865 859455488 24593 4294967295 134512640 134569956 3221224336 3221214328 1131633517 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 24593 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 504.83
Current children cumulated vsize (Kb) 839312
[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18586 4 1 0 51401 69 0 1 24 0 11 0 1852675865 859455488 24668 4294967295 134512640 134569956 3221224336 3221214632 1131444097 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 24668 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 514.71
Current children cumulated vsize (Kb) 839312
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18591 4 1 0 52387 71 0 1 19 0 11 0 1852675865 859455488 24675 4294967295 134512640 134569956 3221224336 3221214416 1131394586 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 24675 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 524.59
Current children cumulated vsize (Kb) 839312
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18594 4 1 0 53379 72 0 1 25 0 11 0 1852675865 859455488 24720 4294967295 134512640 134569956 3221224336 3221214416 1131394754 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 24720 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 534.52
Current children cumulated vsize (Kb) 839312
[startup+560.035 s]
Raw data (loadavg): 1.07 1.02 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18600 4 1 0 54366 72 0 1 25 0 11 0 1852675865 859455488 24752 4294967295 134512640 134569956 3221224336 3221214632 1131446004 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 24752 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 544.39
Current children cumulated vsize (Kb) 839312
[startup+570.036 s]
Raw data (loadavg): 1.06 1.02 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18604 4 1 0 55356 72 0 1 25 0 11 0 1852675865 859455488 24801 4294967295 134512640 134569956 3221224336 3221214416 1131404123 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 24801 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 554.29
Current children cumulated vsize (Kb) 839312
[startup+580.037 s]
Raw data (loadavg): 1.05 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18610 4 1 0 56341 73 0 1 25 0 11 0 1852675865 859455488 24896 4294967295 134512640 134569956 3221224336 3221214304 1131640644 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 24896 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 564.15
Current children cumulated vsize (Kb) 839312
[startup+590.038 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18613 4 1 0 57334 73 0 1 25 0 11 0 1852675865 859455488 24941 4294967295 134512640 134569956 3221224336 3221214472 1131485940 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 24941 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 574.08
Current children cumulated vsize (Kb) 839312
[startup+600.038 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18617 4 1 0 58325 74 0 1 19 0 11 0 1852675865 859455488 24966 4294967295 134512640 134569956 3221224336 3221214416 1131394695 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 24966 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 584
Current children cumulated vsize (Kb) 839312
[startup+610.039 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18621 4 1 0 59315 74 0 1 25 0 11 0 1852675865 859455488 24976 4294967295 134512640 134569956 3221224336 3221214304 1131646199 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 24976 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 593.9
Current children cumulated vsize (Kb) 839312
[startup+620.039 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18626 4 1 0 60301 75 0 1 25 0 11 0 1852675865 859455488 24976 4294967295 134512640 134569956 3221224336 3221214472 1131486207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 24976 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 603.77
Current children cumulated vsize (Kb) 839312
[startup+630.04 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18631 4 1 0 61289 75 0 1 25 0 11 0 1852675865 859455488 25089 4294967295 134512640 134569956 3221224336 3221214552 1131384923 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 25089 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 613.65
Current children cumulated vsize (Kb) 839312
[startup+640.04 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18634 4 1 0 62281 76 0 1 25 0 11 0 1852675865 859455488 25110 4294967295 134512640 134569956 3221224336 3221214416 1131394733 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 25110 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 623.58
Current children cumulated vsize (Kb) 839312
[startup+650.041 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18635 4 1 0 63279 76 0 1 25 0 11 0 1852675865 859455488 25110 4294967295 134512640 134569956 3221224336 3221214328 1131632927 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 25110 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 633.56
Current children cumulated vsize (Kb) 839312
[startup+660.042 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18638 4 1 0 64272 76 0 1 24 0 11 0 1852675865 859455488 25140 4294967295 134512640 134569956 3221224336 3221214416 1131394754 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 25140 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 643.49
Current children cumulated vsize (Kb) 839312
[startup+670.042 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18640 4 1 0 65268 76 0 1 25 0 11 0 1852675865 859455488 25164 4294967295 134512640 134569956 3221224336 3221214416 1131394779 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 25164 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 653.45
Current children cumulated vsize (Kb) 839312
[startup+680.042 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18643 4 1 0 66261 77 0 1 25 0 11 0 1852675865 859455488 25247 4294967295 134512640 134569956 3221224336 3221214392 1131588345 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 25247 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 663.39
Current children cumulated vsize (Kb) 839312
[startup+690.043 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18645 4 1 0 67256 77 0 1 25 0 11 0 1852675865 859455488 25247 4294967295 134512640 134569956 3221224336 3221214304 1131646268 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 25247 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 673.34
Current children cumulated vsize (Kb) 839312
[startup+700.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18646 4 1 0 68254 77 0 1 25 0 11 0 1852675865 859455488 25247 4294967295 134512640 134569956 3221224336 3221214272 1131646093 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 25247 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 683.32
Current children cumulated vsize (Kb) 839312
[startup+710.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18649 4 1 0 69246 77 0 1 25 0 11 0 1852675865 859455488 25340 4294967295 134512640 134569956 3221224336 3221214528 1131486135 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 25340 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 693.24
Current children cumulated vsize (Kb) 839312
[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18656 4 1 0 70227 78 0 1 25 0 11 0 1852675865 859455488 25340 4294967295 134512640 134569956 3221224336 3221214328 1131633459 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 25340 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 703.06
Current children cumulated vsize (Kb) 839312
[startup+730.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18661 4 1 0 71213 78 0 1 25 0 11 0 1852675865 859455488 25340 4294967295 134512640 134569956 3221224336 3221214424 1131394586 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 25340 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 712.92
Current children cumulated vsize (Kb) 839312
[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18664 4 1 0 72204 79 0 1 25 0 11 0 1852675865 859455488 25340 4294967295 134512640 134569956 3221224336 3221214472 1131486151 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 25340 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 722.84
Current children cumulated vsize (Kb) 839312
[startup+750.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18667 4 1 0 73195 79 0 1 25 0 11 0 1852675865 859455488 25464 4294967295 134512640 134569956 3221224336 3221214472 1131486140 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 25464 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 732.75
Current children cumulated vsize (Kb) 839312
[startup+760.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18672 4 1 0 74179 80 0 1 25 0 11 0 1852675865 859455488 25498 4294967295 134512640 134569956 3221224336 3221214544 1131384651 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 25498 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 742.6
Current children cumulated vsize (Kb) 839312
[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18677 4 1 0 75165 80 0 1 25 0 11 0 1852675865 859455488 25607 4294967295 134512640 134569956 3221224336 3221214784 1131380121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 25607 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 752.46
Current children cumulated vsize (Kb) 839312
[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18685 4 1 0 76146 81 0 1 25 0 11 0 1852675865 859455488 25809 4294967295 134512640 134569956 3221224336 3221214496 1131394695 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 25809 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (Kb) 839312
[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18690 4 1 0 77132 81 0 1 25 0 11 0 1852675865 859455488 25835 4294967295 134512640 134569956 3221224336 3221214552 1131486156 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 25835 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 772.14
Current children cumulated vsize (Kb) 839312
[startup+800.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18696 4 1 0 78114 81 0 1 25 0 11 0 1852675865 859455488 25906 4294967295 134512640 134569956 3221224336 3221214544 1131384472 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 25906 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 781.96
Current children cumulated vsize (Kb) 839312
[startup+810.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18701 4 1 0 79100 82 0 1 16 0 11 0 1852675865 859455488 25906 4294967295 134512640 134569956 3221224336 3221214592 1131416864 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 25906 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 791.83
Current children cumulated vsize (Kb) 839312
[startup+820.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18707 4 1 0 80084 82 0 1 25 0 11 0 1852675865 859455488 26077 4294967295 134512640 134569956 3221224336 3221214480 1131401801 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 26077 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 801.67
Current children cumulated vsize (Kb) 839312
[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18712 4 1 0 81071 82 0 1 25 0 11 0 1852675865 859455488 26136 4294967295 134512640 134569956 3221224336 3221214456 1131576314 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 26136 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 811.54
Current children cumulated vsize (Kb) 839312
[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18716 4 1 0 82061 82 0 1 25 0 11 0 1852675865 859455488 26258 4294967295 134512640 134569956 3221224336 3221214408 1131633495 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 26258 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 821.44
Current children cumulated vsize (Kb) 839312
[startup+850.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18722 4 1 0 83045 82 0 1 17 0 11 0 1852675865 859455488 26308 4294967295 134512640 134569956 3221224336 3221214464 1131564320 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 26308 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 831.28
Current children cumulated vsize (Kb) 839312
[startup+860.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18723 4 1 0 84042 83 0 1 25 0 11 0 1852675865 859455488 26314 4294967295 134512640 134569956 3221224336 3221214320 1080338957 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 26314 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 841.26
Current children cumulated vsize (Kb) 839312
[startup+870.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18725 4 1 0 85036 83 0 1 25 0 11 0 1852675865 859455488 26333 4294967295 134512640 134569956 3221224336 3221214432 1131681415 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 26333 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 851.2
Current children cumulated vsize (Kb) 839312
[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18728 4 1 0 86027 83 0 1 25 0 11 0 1852675865 859455488 26342 4294967295 134512640 134569956 3221224336 3221214408 1131633586 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 26342 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 861.11
Current children cumulated vsize (Kb) 839312
[startup+890.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18732 4 1 0 87015 84 0 1 25 0 11 0 1852675865 859455488 26359 4294967295 134512640 134569956 3221224336 3221214632 1131444100 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 26359 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 871
Current children cumulated vsize (Kb) 839312
[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18738 4 1 0 87995 84 0 1 25 0 11 0 1852675865 859455488 26411 4294967295 134512640 134569956 3221224336 3221214712 1131375400 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 26411 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 880.8
Current children cumulated vsize (Kb) 839312
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18744 4 1 0 88974 85 0 1 21 0 11 0 1852675865 859455488 26448 4294967295 134512640 134569956 3221224336 3221214544 1131384498 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 26448 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 890.6
Current children cumulated vsize (Kb) 839312
[startup+920.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18752 4 1 0 89944 85 0 1 22 0 11 0 1852675865 859455488 26604 4294967295 134512640 134569956 3221224336 3221214624 1131355871 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 26604 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 900.3
Current children cumulated vsize (Kb) 839312
[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18762 4 1 0 90914 85 0 1 18 0 11 0 1852675865 859455488 26830 4294967295 134512640 134569956 3221224336 3221214528 1131673745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 26830 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 910
Current children cumulated vsize (Kb) 839312
[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18770 4 1 0 91891 85 0 1 16 0 11 0 1852675865 859455488 26908 4294967295 134512640 134569956 3221224336 3221214496 1131403936 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 26908 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 919.77
Current children cumulated vsize (Kb) 839312
[startup+950.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18777 4 1 0 92870 86 0 1 25 0 11 0 1852675865 859455488 27040 4294967295 134512640 134569956 3221224336 3221214632 1131444100 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 27040 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 929.57
Current children cumulated vsize (Kb) 839312
[startup+960.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18785 4 1 0 93846 86 0 1 19 0 11 0 1852675865 859455488 27089 4294967295 134512640 134569956 3221224336 3221214632 1131444081 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 27089 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 939.33
Current children cumulated vsize (Kb) 839312
[startup+970.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18793 4 1 0 94823 86 0 1 25 0 11 0 1852675865 859455488 27117 4294967295 134512640 134569956 3221224336 3221214544 1131384616 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 27117 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 949.1
Current children cumulated vsize (Kb) 839312
[startup+980.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18800 4 1 0 95799 87 0 1 25 0 11 0 1852675865 859455488 27161 4294967295 134512640 134569956 3221224336 3221214632 1131444100 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 27161 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 958.87
Current children cumulated vsize (Kb) 839312
[startup+990.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18807 4 1 0 96776 87 0 1 25 0 11 0 1852675865 859455488 27220 4294967295 134512640 134569956 3221224336 3221214544 1131384498 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 27220 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 968.64
Current children cumulated vsize (Kb) 839312
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18815 4 1 0 97752 87 0 1 25 0 11 0 1852675865 859455488 27283 4294967295 134512640 134569956 3221224336 3221214592 1131416849 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 27283 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 978.4
Current children cumulated vsize (Kb) 839312
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18823 4 1 0 98727 88 0 1 17 0 11 0 1852675865 859455488 27351 4294967295 134512640 134569956 3221224336 3221214632 1131444100 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 27351 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 988.16
Current children cumulated vsize (Kb) 839312
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18830 4 1 0 99705 88 0 1 25 0 11 0 1852675865 859455488 27399 4294967295 134512640 134569956 3221224336 3221214544 1131385041 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 27399 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 997.94
Current children cumulated vsize (Kb) 839312
[startup+1030.06 s]
Raw data (loadavg): 1.07 1.02 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18838 4 1 0 100680 88 0 1 25 0 11 0 1852675865 859455488 27471 4294967295 134512640 134569956 3221224336 3221214656 1131394922 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 27471 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1007.69
Current children cumulated vsize (Kb) 839312
[startup+1040.07 s]
Raw data (loadavg): 1.06 1.02 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18844 4 1 0 101662 89 0 1 25 0 11 0 1852675865 859455488 27519 4294967295 134512640 134569956 3221224336 3221214632 1131449276 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 27519 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1017.52
Current children cumulated vsize (Kb) 839312
[startup+1050.07 s]
Raw data (loadavg): 1.05 1.01 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18851 4 1 0 102641 89 0 1 25 0 11 0 1852675865 859455488 27572 4294967295 134512640 134569956 3221224336 3221214632 1131444100 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 27572 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1027.31
Current children cumulated vsize (Kb) 839312
[startup+1060.07 s]
Raw data (loadavg): 1.04 1.01 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18859 4 1 0 103617 89 0 1 25 0 11 0 1852675865 859455488 27632 4294967295 134512640 134569956 3221224336 3221214356 1078035176 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 27632 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1037.07
Current children cumulated vsize (Kb) 839312
[startup+1070.07 s]
Raw data (loadavg): 1.04 1.01 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18864 4 1 0 104602 90 0 1 25 0 11 0 1852675865 859455488 27687 4294967295 134512640 134569956 3221224336 3221214552 1131486238 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 27687 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1046.93
Current children cumulated vsize (Kb) 839312
[startup+1080.07 s]
Raw data (loadavg): 1.03 1.01 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18870 4 1 0 105584 90 0 1 25 0 11 0 1852675865 859455488 27740 4294967295 134512640 134569956 3221224336 3221214632 1131445187 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 27740 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1056.75
Current children cumulated vsize (Kb) 839312
[startup+1090.07 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18877 4 1 0 106563 90 0 1 25 0 11 0 1852675865 859455488 27798 4294967295 134512640 134569956 3221224336 3221214496 1131403792 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 27798 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1066.54
Current children cumulated vsize (Kb) 839312
[startup+1100.07 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18885 4 1 0 107538 90 0 1 17 0 11 0 1852675865 859455488 27867 4294967295 134512640 134569956 3221224336 3221214456 1131576185 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 27867 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1076.29
Current children cumulated vsize (Kb) 839312
[startup+1110.07 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18889 4 1 0 108524 91 0 1 21 0 11 0 1852675865 859455488 27907 4294967295 134512640 134569956 3221224336 3221214496 1131394700 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 27907 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1086.16
Current children cumulated vsize (Kb) 839312
[startup+1120.07 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18892 4 1 0 109513 91 0 1 25 0 11 0 1852675865 859455488 27937 4294967295 134512640 134569956 3221224336 3221214384 1131646292 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 27937 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1096.05
Current children cumulated vsize (Kb) 839312
[startup+1130.07 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18898 4 1 0 110491 92 0 1 25 0 11 0 1852675865 859455488 28011 4294967295 134512640 134569956 3221224336 3221214384 1131646115 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 28011 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1105.84
Current children cumulated vsize (Kb) 839312
[startup+1140.07 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18900 4 1 0 111484 92 0 1 25 0 11 0 1852675865 859455488 28011 4294967295 134512640 134569956 3221224336 3221214384 1131646093 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 28011 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1115.77
Current children cumulated vsize (Kb) 839312
[startup+1150.07 s]
Raw data (loadavg): 1.01 1.00 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18903 4 1 0 112472 92 0 1 25 0 11 0 1852675865 859455488 28054 4294967295 134512640 134569956 3221224336 3221214496 1131394809 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 28054 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1125.65
Current children cumulated vsize (Kb) 839312
[startup+1160.07 s]
Raw data (loadavg): 1.01 1.00 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18906 4 1 0 113460 92 0 1 25 0 11 0 1852675865 859455488 28086 4294967295 134512640 134569956 3221224336 3221214384 1131646288 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 28086 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1135.53
Current children cumulated vsize (Kb) 839312
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18909 4 1 0 114448 93 0 1 25 0 11 0 1852675865 859455488 28131 4294967295 134512640 134569956 3221224336 3221214504 1131394631 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 28131 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1145.42
Current children cumulated vsize (Kb) 839312
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18915 4 1 0 115425 93 0 1 25 0 11 0 1852675865 859455488 28198 4294967295 134512640 134569956 3221224336 3221214504 1131394842 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 28198 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1155.19
Current children cumulated vsize (Kb) 839312
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18919 4 1 0 116409 93 0 1 25 0 11 0 1852675865 859455488 28217 4294967295 134512640 134569956 3221224336 3221214320 1131614920 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 28217 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1165.03
Current children cumulated vsize (Kb) 839312
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18921 4 1 0 117401 94 0 1 25 0 11 0 1852675865 859455488 28273 4294967295 134512640 134569956 3221224336 3221214456 1131576314 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 28273 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1174.96
Current children cumulated vsize (Kb) 839312
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18923 4 1 0 118393 94 0 1 25 0 11 0 1852675865 859455488 28317 4294967295 134512640 134569956 3221224336 3221214456 1131576268 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 28317 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1184.88
Current children cumulated vsize (Kb) 839312
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18930 4 1 0 119368 95 0 1 25 0 11 0 1852675865 859455488 28489 4294967295 134512640 134569956 3221224336 3221214548 1131057207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23721/statm): 209828 28489 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1194.64
Current children cumulated vsize (Kb) 839312
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18937 4 1 0 120347 95 0 1 25 0 11 0 1852675865 859455488 28600 4294967295 134512640 134569956 3221224336 3221214548 1131057189 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 28600 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1204.43
Current children cumulated vsize (Kb) 839312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23746
Raw data (/proc/23721/stat): 23721 (java) R 23720 23721 2660 0 -1 0 18937 4 1 0 120347 95 0 1 25 0 11 0 1852675865 859455488 28600 4294967295 134512640 134569956 3221224336 3221214548 1131057189 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23721/statm): 209828 28600 13129 16 0 209812 0
[pid=23721] vsize: 839312
Current children cumulated CPU time (s) 1204.43
Current children cumulated vsize (Kb) 839312
Sending SIGTERM to -23721
Sleeping 2 seconds
New thread pid=23748
New thread pid=23749
One traced child (pid=23749) exited with status: 0
One traced child (pid=23730) exited with status: 0
One traced child (pid=23725) exited with status: 0
One traced child (pid=23729) exited with status: 143
One traced child (pid=23726) exited with status: 143
One traced child (pid=23724) exited with status: 143
One traced child (pid=23746) exited with status: 143
One traced child (pid=23722) exited with status: 143
One traced child (pid=23728) exited with status: 143
One traced child (pid=23723) exited with status: 143
One traced child (pid=23727) exited with status: 143
One traced child (pid=23748) exited with status: 143
One traced child (pid=23721) exited with status: 143
All traced children have exited ! Game is over.
Child status: 143
Real time (s): 1230.21
CPU time (s): 1237.28
CPU user time (s): 1235.6
CPU system time (s): 1.67574
CPU usage (%): 100.575
Max. virtual memory (cumulated for all children) (Kb): 841084
Verifier: OK 309164