PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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	NO
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	SAT
Best CPU time to get the best result obtained on this benchmark	1.02084
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
Trace number 40427

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 09:47:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28484 boxname=wulflinc4 idbench=1440 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  1a8deb577df7e72871b7e1004c098336  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p0282.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p0282.opb
IDLAUNCH: 28484
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        564056 kB
Buffers:         10608 kB
Cached:         438868 kB
SwapCached:        956 kB
Active:          24632 kB
Inactive:       426940 kB
HighTotal:      131008 kB
HighFree:        12488 kB
LowTotal:       903652 kB
LowFree:        551568 kB
SwapTotal:     2097136 kB
SwapFree:      2095180 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13392 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 10:07:47 (client local time) WITH STATUS 10 IN 1197.6 SECONDS
stats: 28484 0 1197.6 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 282 variables and 221 constraints.
c After prepocess the problem consists of 282 variables and 221 constraints.
c preprocess terminated 0.314 s
c Initial Lower Bound: 55080
c Lower Bound Elapsed time: 0.0195
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 497683 @ 3.771
c NEW SOLUTION FOUND: 360272 @ 3.772
c NEW SOLUTION FOUND: 359409 @ 3.777
c NEW SOLUTION FOUND: 345511 @ 3.811
c NEW SOLUTION FOUND: 342861 @ 3.829
c NEW SOLUTION FOUND: 342140 @ 3.902
c NEW SOLUTION FOUND: 328871 @ 4.261
c NEW SOLUTION FOUND: 328559 @ 4.534
c NEW SOLUTION FOUND: 295477 @ 5.282
c NEW SOLUTION FOUND: 293603 @ 5.513
c NEW SOLUTION FOUND: 291043 @ 6.298
c NEW SOLUTION FOUND: 289169 @ 6.374
c NEW SOLUTION FOUND: 280436 @ 16.22
c NEW SOLUTION FOUND: 276002 @ 16.436
c NEW SOLUTION FOUND: 270697 @ 17.621
c NEW SOLUTION FOUND: 269556 @ 91.527
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 Exit Code: 10
c Total time: 1197.55 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.91 1/54 30996
Raw data (stat): 30996 (runsolver) R 30995 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900662084 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 9058 0 0 0 964 33 0 0 25 0 1 0 900662084 14942208 2957 4294967295 134512640 134716908 3221224576 3221222788 1077402435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3648 2957 1111 63 0 3585 0
vsize: 14592
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 23133 0 0 0 1919 77 0 0 25 0 1 0 900662084 18853888 3912 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4603 3912 1111 63 0 4540 0
vsize: 18412
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 35546 0 0 0 2881 115 0 0 25 0 1 0 900662084 26980352 5777 4294967295 134512640 134716908 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6587 5777 1111 63 0 6524 0
vsize: 26348
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 40813 0 0 0 3868 129 0 0 25 0 1 0 900662084 24162304 4926 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5899 4927 1111 63 0 5836 0
vsize: 23596
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 57132 0 0 0 4831 166 0 0 25 0 1 0 900662084 24444928 5283 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5968 5283 1111 63 0 5905 0
vsize: 23872
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 78730 0 0 0 5778 219 0 0 25 0 1 0 900662084 25747456 5601 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6286 5601 1111 63 0 6223 0
vsize: 25144
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 88672 0 0 0 6756 242 0 0 25 0 1 0 900662084 26607616 5807 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6496 5807 1111 63 0 6433 0
vsize: 25984
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 116444 0 0 0 7692 306 0 0 25 0 1 0 900662084 28688384 6315 4294967295 134512640 134716908 3221224576 3221223372 134543553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7004 6315 1111 63 0 6941 0
vsize: 28016
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 157598 0 0 0 8593 404 0 0 25 0 1 0 900662084 33767424 7456 4294967295 134512640 134716908 3221224576 3221222912 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8244 7456 1111 63 0 8181 0
vsize: 32976
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 199784 0 0 0 9494 503 0 0 25 0 1 0 900662084 38445056 8272 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9066 8266 1111 63 0 9003 0
vsize: 37544
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 239081 0 0 0 10407 591 0 0 25 0 1 0 900662084 41177088 9263 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10053 9263 1111 63 0 9990 0
vsize: 40212
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 262828 0 0 0 11354 644 0 0 25 0 1 0 900662084 43618304 9836 4294967295 134512640 134716908 3221224576 3221222536 1074138309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10649 9836 1111 63 0 10586 0
vsize: 42596
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 265718 0 0 0 12348 651 0 0 25 0 1 0 900662084 45678592 10161 4294967295 134512640 134716908 3221224576 3221220676 1075964278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11152 10161 1111 63 0 11089 0
vsize: 44608
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 284851 0 0 0 13307 691 0 0 25 0 1 0 900662084 43155456 9727 4294967295 134512640 134716908 3221224576 3221222528 1074056036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10536 9727 1111 63 0 10473 0
vsize: 42144
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 313006 0 0 0 14244 755 0 0 25 0 1 0 900662084 45154304 10223 4294967295 134512640 134716908 3221224576 3221223304 134622898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11024 10223 1111 63 0 10961 0
vsize: 44096
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 337486 0 0 0 15189 809 0 0 25 0 1 0 900662084 45916160 10412 4294967295 134512640 134716908 3221224576 3221223184 134536713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11210 10412 1111 63 0 11147 0
vsize: 44840
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 389147 0 0 0 16074 926 0 0 25 0 1 0 900662084 50823168 11579 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12408 11579 1111 63 0 12345 0
vsize: 49632
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 436449 0 0 0 16968 1032 0 0 25 0 1 0 900662084 56115200 12687 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13700 12687 1111 63 0 13637 0
vsize: 54800
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 484940 0 0 0 17857 1142 0 0 25 0 1 0 900662084 61083648 13813 4294967295 134512640 134716908 3221224576 3221222688 1074867229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14913 13813 1111 63 0 14850 0
vsize: 59652
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 511334 0 0 0 18799 1201 0 0 25 0 1 0 900662084 63455232 14410 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15492 14410 1111 63 0 15429 0
vsize: 61968
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 552953 0 0 0 19705 1295 0 0 25 0 1 0 900662084 67039232 14977 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16367 14989 1111 63 0 16304 0
vsize: 65468
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 594657 0 0 0 20610 1390 0 0 25 0 1 0 900662084 67792896 15464 4294967295 134512640 134716908 3221224576 3221222496 1075799010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16551 15464 1111 63 0 16488 0
vsize: 66204
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 638321 0 0 0 21516 1484 0 0 25 0 1 0 900662084 71856128 16212 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17543 16212 1111 63 0 17480 0
vsize: 70172
[startup+240.011 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 670380 0 0 0 22441 1559 0 0 25 0 1 0 900662084 74080256 16971 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18086 16971 1111 63 0 18023 0
vsize: 72344
[startup+250.011 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 702526 0 0 0 23364 1637 0 0 25 0 1 0 900662084 78172160 17937 4294967295 134512640 134716908 3221224576 3221223100 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19085 17937 1111 63 0 19022 0
vsize: 76340
[startup+260.012 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 736967 0 0 0 24291 1710 0 0 25 0 1 0 900662084 81379328 18677 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19868 18677 1111 63 0 19805 0
vsize: 79472
[startup+270.012 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 737262 0 0 0 25289 1712 0 0 25 0 1 0 900662084 82317312 18903 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20097 18903 1111 63 0 20034 0
vsize: 80388
[startup+280.013 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 737348 0 0 0 26288 1713 0 0 25 0 1 0 900662084 82612224 18989 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20169 18989 1111 63 0 20106 0
vsize: 80676
[startup+290.013 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 737415 0 0 0 27288 1714 0 0 25 0 1 0 900662084 82989056 19056 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20261 19056 1111 63 0 20198 0
vsize: 81044
[startup+300.014 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 737508 0 0 0 28287 1715 0 0 25 0 1 0 900662084 83369984 19149 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20354 19149 1111 63 0 20291 0
vsize: 81416
[startup+310.014 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 737545 0 0 0 29287 1715 0 0 25 0 1 0 900662084 83521536 19186 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20391 19186 1111 63 0 20328 0
vsize: 81564
[startup+320.015 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 739069 0 0 0 30284 1718 0 0 25 0 1 0 900662084 87605248 20202 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21388 20202 1111 63 0 21325 0
vsize: 85552
[startup+330.016 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 739069 0 0 0 31284 1718 0 0 25 0 1 0 900662084 87605248 20202 4294967295 134512640 134716908 3221224576 3221222576 1074918585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21388 20202 1111 63 0 21325 0
vsize: 85552
[startup+340.016 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 739069 0 0 0 32285 1718 0 0 25 0 1 0 900662084 87605248 20202 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21388 20202 1111 63 0 21325 0
vsize: 85552
[startup+350.017 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 741779 0 0 0 33279 1724 0 0 25 0 1 0 900662084 94937088 21524 4294967295 134512640 134716908 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23178 21524 1111 63 0 23115 0
vsize: 92712
[startup+360.017 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 744827 0 0 0 34273 1730 0 0 25 0 1 0 900662084 83632128 19245 4294967295 134512640 134716908 3221224576 3221223296 134622907 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20418 19245 1111 63 0 20355 0
vsize: 81672
[startup+370.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 744827 0 0 0 35273 1730 0 0 25 0 1 0 900662084 83632128 19245 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20418 19245 1111 63 0 20355 0
vsize: 81672
[startup+380.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 744827 0 0 0 36273 1730 0 0 25 0 1 0 900662084 83632128 19245 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20418 19245 1111 63 0 20355 0
vsize: 81672
[startup+390.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 744827 0 0 0 37273 1730 0 0 25 0 1 0 900662084 83632128 19245 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20418 19245 1111 63 0 20355 0
vsize: 81672
[startup+400.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 744827 0 0 0 38273 1731 0 0 25 0 1 0 900662084 83632128 19245 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20418 19245 1111 63 0 20355 0
vsize: 81672
[startup+410.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 745022 0 0 0 39272 1732 0 0 25 0 1 0 900662084 82513920 18972 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20145 18972 1111 63 0 20082 0
vsize: 80580
[startup+420.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 746056 0 0 0 40269 1735 0 0 25 0 1 0 900662084 85229568 19547 4294967295 134512640 134716908 3221224576 3221221680 1074138636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20808 19547 1111 63 0 20745 0
vsize: 83232
[startup+430.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 751660 0 0 0 41256 1749 0 0 25 0 1 0 900662084 81965056 18838 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20011 18838 1111 63 0 19948 0
vsize: 80044
[startup+440.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 754835 0 0 0 42248 1757 0 0 25 0 1 0 900662084 82165760 18887 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20060 18887 1111 63 0 19997 0
vsize: 80240
[startup+450.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 758094 0 0 0 43240 1764 0 0 25 0 1 0 900662084 90595328 19010 4294967295 134512640 134716908 3221224576 3221221232 1075969308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22118 19010 1111 63 0 22055 0
vsize: 88472
[startup+460.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 793872 0 0 0 44152 1852 0 0 25 0 1 0 900662084 88760320 19469 4294967295 134512640 134716908 3221224576 3221220948 1075965484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21670 19469 1111 63 0 21607 0
vsize: 86680
[startup+470.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 833377 0 0 0 45066 1939 0 0 25 0 1 0 900662084 85475328 19715 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20868 19715 1111 63 0 20805 0
vsize: 83472
[startup+480.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 864504 0 0 0 45995 2010 0 0 25 0 1 0 900662084 85544960 19735 4294967295 134512640 134716908 3221224576 3221222528 1074056237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20885 19735 1111 63 0 20822 0
vsize: 83540
[startup+490.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 909561 0 0 0 46889 2117 0 0 25 0 1 0 900662084 88571904 20451 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21624 20451 1111 63 0 21561 0
vsize: 86496
[startup+500.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 929186 0 0 0 47843 2163 0 0 25 0 1 0 900662084 89391104 20652 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21824 20652 1111 63 0 21761 0
vsize: 87296
[startup+510.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 962459 0 0 0 48766 2240 0 0 25 0 1 0 900662084 94261248 21544 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23013 21544 1111 63 0 22950 0
vsize: 92052
[startup+520.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 985932 0 0 0 49713 2293 0 0 25 0 1 0 900662084 95137792 21747 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23227 21747 1111 63 0 23164 0
vsize: 92908
[startup+530.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1027638 0 0 0 50617 2389 0 0 25 0 1 0 900662084 103018496 22370 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25151 22383 1111 63 0 25088 0
vsize: 100604
[startup+540.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1047631 0 0 0 51571 2435 0 0 25 0 1 0 900662084 99459072 22817 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24282 22817 1111 63 0 24219 0
vsize: 97128
[startup+550.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1047743 0 0 0 52570 2437 0 0 25 0 1 0 900662084 99975168 22929 4294967295 134512640 134716908 3221224576 3221222416 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24408 22929 1111 63 0 24345 0
vsize: 97632
[startup+560.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1047820 0 0 0 53569 2438 0 0 25 0 1 0 900662084 100225024 23006 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24469 23006 1111 63 0 24406 0
vsize: 97876
[startup+570.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1047889 0 0 0 54568 2439 0 0 25 0 1 0 900662084 100622336 23075 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24566 23075 1111 63 0 24503 0
vsize: 98264
[startup+580.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1049186 0 0 0 55565 2442 0 0 25 0 1 0 900662084 103981056 23914 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25386 23914 1111 63 0 25323 0
vsize: 101544
[startup+590.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1049186 0 0 0 56565 2442 0 0 25 0 1 0 900662084 103981056 23914 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25386 23914 1111 63 0 25323 0
vsize: 101544
[startup+600.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1049186 0 0 0 57565 2442 0 0 25 0 1 0 900662084 103981056 23914 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25386 23914 1111 63 0 25323 0
vsize: 101544
[startup+610.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1049186 0 0 0 58566 2442 0 0 25 0 1 0 900662084 103981056 23914 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25386 23914 1111 63 0 25323 0
vsize: 101544
[startup+620.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1054371 0 0 0 59554 2454 0 0 25 0 1 0 900662084 100671488 23119 4294967295 134512640 134716908 3221224576 3221223288 134543154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24578 23119 1111 63 0 24515 0
vsize: 98312
[startup+630.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1054371 0 0 0 60554 2454 0 0 25 0 1 0 900662084 100671488 23119 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24578 23119 1111 63 0 24515 0
vsize: 98312
[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1054371 0 0 0 61555 2454 0 0 25 0 1 0 900662084 100671488 23119 4294967295 134512640 134716908 3221224576 3221223368 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24578 23119 1111 63 0 24515 0
vsize: 98312
[startup+650.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1054371 0 0 0 62555 2454 0 0 25 0 1 0 900662084 100671488 23119 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24578 23119 1111 63 0 24515 0
vsize: 98312
[startup+660.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1054371 0 0 0 63555 2454 0 0 25 0 1 0 900662084 100671488 23119 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24578 23119 1111 63 0 24515 0
vsize: 98312
[startup+670.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1054569 0 0 0 64553 2456 0 0 25 0 1 0 900662084 99860480 22921 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24380 22921 1111 63 0 24317 0
vsize: 97520
[startup+680.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1054643 0 0 0 65552 2457 0 0 25 0 1 0 900662084 100163584 22995 4294967295 134512640 134716908 3221224576 3221222528 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24454 22995 1111 63 0 24391 0
vsize: 97816
[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1055695 0 0 0 66549 2460 0 0 25 0 1 0 900662084 103088128 23705 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25168 23705 1111 63 0 25105 0
vsize: 100672
[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1058134 0 0 0 67544 2465 0 0 25 0 1 0 900662084 112726016 25411 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27521 25411 1111 63 0 27458 0
vsize: 110084
[startup+710.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1060221 0 0 0 68540 2470 0 0 25 0 1 0 900662084 100397056 23052 4294967295 134512640 134716908 3221224576 3221223296 134622833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24511 23052 1111 63 0 24448 0
vsize: 98044
[startup+720.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1060373 0 0 0 69538 2472 0 0 25 0 1 0 900662084 99672064 22875 4294967295 134512640 134716908 3221224576 3221222416 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24334 22875 1111 63 0 24271 0
vsize: 97336
[startup+730.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 30996
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1063523 0 0 0 70531 2479 0 0 25 0 1 0 900662084 99721216 22885 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24346 22885 1111 63 0 24283 0
vsize: 97384
[startup+740.029 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 31049
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1064574 0 0 0 71527 2483 0 0 25 0 1 0 900662084 99758080 22892 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24355 22892 1111 63 0 24292 0
vsize: 97420
[startup+750.03 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 31049
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1085537 0 0 0 72479 2532 0 0 25 0 1 0 900662084 108220416 23471 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26421 23481 1111 63 0 26358 0
vsize: 105684
[startup+760.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 31049
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1112114 0 0 0 73415 2595 0 0 25 0 1 0 900662084 101539840 23284 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24790 23284 1111 63 0 24727 0
vsize: 99160
[startup+770.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 31049
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1135673 0 0 0 74359 2652 0 0 25 0 1 0 900662084 101617664 23277 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26196 23283 1111 63 0 26133 0
vsize: 99236
[startup+780.032 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 31049
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1154371 0 0 0 75312 2698 0 0 25 0 1 0 900662084 104603648 23978 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25538 23978 1111 63 0 25475 0
vsize: 102152
[startup+790.032 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 31049
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1156426 0 0 0 76308 2703 0 0 25 0 1 0 900662084 112443392 23875 4294967295 134512640 134716908 3221224576 3221221580 1074621117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27452 23875 1111 63 0 27389 0
vsize: 109808
[startup+800.032 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 31049
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1188553 0 0 0 77232 2779 0 0 25 0 1 0 900662084 109662208 23811 4294967295 134512640 134716908 3221224576 3221221648 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26773 23811 1111 63 0 26710 0
vsize: 107092
[startup+810.032 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 31049
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1211037 0 0 0 78179 2833 0 0 25 0 1 0 900662084 105590784 24159 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25779 24159 1111 63 0 25716 0
vsize: 103116
[startup+820.033 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1244775 0 0 0 79099 2913 0 0 25 0 1 0 900662084 106287104 24333 4294967295 134512640 134716908 3221224576 3221222832 1074057831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25949 24333 1111 63 0 25886 0
vsize: 103796
[startup+830.033 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1286315 0 0 0 80004 3007 0 0 25 0 1 0 900662084 113721344 24808 4294967295 134512640 134716908 3221224576 3221221232 1075969308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26724 24705 1111 63 0 26661 0
vsize: 111056
[startup+840.033 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1289340 0 0 0 80996 3016 0 0 25 0 1 0 900662084 109133824 24987 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26644 24987 1111 63 0 26581 0
vsize: 106576
[startup+850.034 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1289450 0 0 0 81995 3017 0 0 25 0 1 0 900662084 109715456 25097 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26786 25097 1111 63 0 26723 0
vsize: 107144
[startup+860.033 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1290415 0 0 0 82993 3019 0 0 25 0 1 0 900662084 112300032 25756 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27417 25756 1111 63 0 27354 0
vsize: 109668
[startup+870.034 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1294685 0 0 0 83984 3028 0 0 25 0 1 0 900662084 109817856 25154 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26811 25154 1111 63 0 26748 0
vsize: 107244
[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1294685 0 0 0 84984 3028 0 0 25 0 1 0 900662084 109817856 25154 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26811 25154 1111 63 0 26748 0
vsize: 107244
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1294685 0 0 0 85985 3028 0 0 25 0 1 0 900662084 109817856 25154 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26811 25154 1111 63 0 26748 0
vsize: 107244
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1294802 0 0 0 86984 3029 0 0 25 0 1 0 900662084 109056000 24968 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26625 24968 1111 63 0 26562 0
vsize: 106500
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1297851 0 0 0 87977 3036 0 0 25 0 1 0 900662084 109195264 25001 4294967295 134512640 134716908 3221224576 3221223296 134622881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26659 25001 1111 63 0 26596 0
vsize: 106636
[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1325411 0 0 0 88914 3099 0 0 25 0 1 0 900662084 115048448 25076 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28088 25089 1111 63 0 28025 0
vsize: 112352
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1358994 0 0 0 89834 3179 0 0 25 0 1 0 900662084 111247360 25484 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27160 25484 1111 63 0 27097 0
vsize: 108640
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1381011 0 0 0 90781 3232 0 0 25 0 1 0 900662084 113188864 25975 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27634 25975 1111 63 0 27571 0
vsize: 110536
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1389270 0 0 0 91762 3252 0 0 25 0 1 0 900662084 112840704 25891 4294967295 134512640 134716908 3221224576 3221222864 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27549 25891 1111 63 0 27486 0
vsize: 110196
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1405715 0 0 0 92723 3291 0 0 25 0 1 0 900662084 113541120 26062 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27720 26062 1111 63 0 27657 0
vsize: 110880
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1406405 0 0 0 93721 3294 0 0 25 0 1 0 900662084 115580928 26549 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28218 26549 1111 63 0 28155 0
vsize: 112872
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1409615 0 0 0 94713 3301 0 0 25 0 1 0 900662084 113905664 26151 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27809 26151 1111 63 0 27746 0
vsize: 111236
[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1410083 0 0 0 95712 3302 0 0 25 0 1 0 900662084 114581504 26300 4294967295 134512640 134716908 3221224576 3221222856 1074138297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27974 26300 1111 63 0 27911 0
vsize: 111896
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1416688 0 0 0 96697 3318 0 0 25 0 1 0 900662084 113057792 25944 4294967295 134512640 134716908 3221224576 3221223088 134652546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27602 25944 1111 63 0 27539 0
vsize: 110408
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1450080 0 0 0 97619 3396 0 0 25 0 1 0 900662084 114085888 26188 4294967295 134512640 134716908 3221224576 3221222816 1074207500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27853 26188 1111 63 0 27790 0
vsize: 111412
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1488322 0 0 0 98529 3487 0 0 25 0 1 0 900662084 116051968 26654 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28333 26654 1111 63 0 28270 0
vsize: 113332
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1490266 0 0 0 99524 3491 0 0 25 0 1 0 900662084 116379648 26759 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28413 26759 1111 63 0 28350 0
vsize: 113652
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1513343 0 0 0 100472 3543 0 0 25 0 1 0 900662084 116682752 26844 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28487 26844 1111 63 0 28424 0
vsize: 113948
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1535346 0 0 0 101421 3594 0 0 25 0 1 0 900662084 117616640 27077 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28715 27077 1111 63 0 28652 0
vsize: 114860
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1572654 0 0 0 102333 3684 0 0 25 0 1 0 900662084 118587392 27322 4294967295 134512640 134716908 3221224576 3221222516 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28951 27321 1111 63 0 28888 0
vsize: 115808
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31051
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1608788 0 0 0 103247 3769 0 0 25 0 1 0 900662084 120418304 27768 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29399 27768 1111 63 0 29336 0
vsize: 117596
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31053
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1609081 0 0 0 104245 3772 0 0 25 0 1 0 900662084 121167872 27978 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29582 27978 1111 63 0 29519 0
vsize: 118328
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31053
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1609163 0 0 0 105244 3773 0 0 25 0 1 0 900662084 121634816 28060 4294967295 134512640 134716908 3221224576 3221222880 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29696 28060 1111 63 0 29633 0
vsize: 118784
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31053
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1609223 0 0 0 106244 3773 0 0 25 0 1 0 900662084 121868288 28120 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29753 28120 1111 63 0 29690 0
vsize: 119012
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31053
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1609304 0 0 0 107243 3774 0 0 25 0 1 0 900662084 122212352 28201 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29837 28201 1111 63 0 29774 0
vsize: 119348
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31053
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1610643 0 0 0 108240 3778 0 0 25 0 1 0 900662084 125640704 29056 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30674 29056 1111 63 0 30611 0
vsize: 122696
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31053
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1610643 0 0 0 109240 3778 0 0 25 0 1 0 900662084 125640704 29056 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30674 29056 1111 63 0 30611 0
vsize: 122696
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31053
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1610643 0 0 0 110240 3778 0 0 25 0 1 0 900662084 125640704 29056 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30674 29056 1111 63 0 30611 0
vsize: 122696
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31053
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1613363 0 0 0 111234 3783 0 0 25 0 1 0 900662084 132919296 30166 4294967295 134512640 134716908 3221224576 3221221344 1076083606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32451 30166 1111 63 0 32388 0
vsize: 129804
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31053
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1616046 0 0 0 112228 3790 0 0 25 0 1 0 900662084 122236928 28239 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29843 28239 1111 63 0 29780 0
vsize: 119372
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31053
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1616091 0 0 0 113228 3791 0 0 25 0 1 0 900662084 120737792 27873 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29477 27873 1111 63 0 29414 0
vsize: 117908
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31053
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1616660 0 0 0 114226 3793 0 0 25 0 1 0 900662084 123228160 28442 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30085 28442 1111 63 0 30022 0
vsize: 120340
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31053
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1620034 0 0 0 115218 3801 0 0 25 0 1 0 900662084 121430016 28042 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29646 28042 1111 63 0 29583 0
vsize: 118584
[startup+1197.46 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 31053
Raw data (stat): 30996 (bsolo_lpr-v2) R 30995 21152 21151 0 -1 0 1620034 0 0 0 115218 3801 0 0 25 0 1 0 900662084 121430016 28042 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29646 28042 1111 63 0 29583 0
vsize: 0

Child status: 10
Real time (s): 1197.46
CPU time (s): 1197.6
CPU user time (s): 1159.54
CPU system time (s): 38.0692
CPU usage (%): 100.012
Max. virtual memory (Kb): 129804
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	269556
#### END VERIFIER DATA ####