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 27051

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-24 18:55:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18708 boxname=wulflinc30 idbench=1440 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  1a8deb577df7e72871b7e1004c098336  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-p0282.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-p0282.opb
IDLAUNCH: 18708
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        438196 kB
Buffers:         13376 kB
Cached:         551780 kB
SwapCached:        672 kB
Active:          24864 kB
Inactive:       542560 kB
HighTotal:      131008 kB
HighFree:         4676 kB
LowTotal:       903652 kB
LowFree:        433520 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            23380 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:15:13 (client local time) WITH STATUS 10 IN 1181.54 SECONDS
stats: 18708 0 1181.54 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.303 s
c Initial Lower Bound: 55117
c Lower Bound Elapsed time: 0.0375
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 514236 @ 3.073
c NEW SOLUTION FOUND: 376825 @ 3.074
c NEW SOLUTION FOUND: 375734 @ 3.078
c NEW SOLUTION FOUND: 363658 @ 3.115
c NEW SOLUTION FOUND: 353123 @ 3.164
c NEW SOLUTION FOUND: 341871 @ 3.176
c NEW SOLUTION FOUND: 335351 @ 3.258
c NEW SOLUTION FOUND: 334542 @ 3.332
c NEW SOLUTION FOUND: 328927 @ 3.455
c NEW SOLUTION FOUND: 326657 @ 12.414
c NEW SOLUTION FOUND: 326592 @ 20.972
c NEW SOLUTION FOUND: 325922 @ 22.303
c NEW SOLUTION FOUND: 325851 @ 23.297
c NEW SOLUTION FOUND: 325744 @ 23.729
c NEW SOLUTION FOUND: 325651 @ 24.433
c NEW SOLUTION FOUND: 324938 @ 28.87
c NEW SOLUTION FOUND: 324783 @ 32.918
c NEW SOLUTION FOUND: 324151 @ 171.767
c NEW SOLUTION FOUND: 323920 @ 254.674
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: 1181.51 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
Raw data (loadavg): 0.91 0.95 0.98 2/54 25358
Raw data (stat): 25358 (runsolver) R 25357 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832557283 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.9998 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 8491 0 0 0 966 31 0 0 25 0 1 0 832557283 15376384 3069 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3754 3069 1111 63 0 3691 0
vsize: 15016
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 30422 0 0 0 1913 84 0 0 25 0 1 0 832557283 18722816 3723 4294967295 134512640 134714508 3221224592 3221221552 1074790115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3723 1111 63 0 4508 0
vsize: 18284
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 63465 0 0 0 2834 161 0 0 25 0 1 0 832557283 21925888 4640 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5353 4640 1111 63 0 5290 0
vsize: 21412
[startup+40.0022 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 84078 0 0 0 3790 205 0 0 25 0 1 0 832557283 24657920 5290 4294967295 134512640 134714508 3221224592 3221222448 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6020 5290 1111 63 0 5957 0
vsize: 24080
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 86185 0 0 0 4785 211 0 0 25 0 1 0 832557283 25825280 5589 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6305 5589 1111 63 0 6242 0
vsize: 25220
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 88195 0 0 0 5781 215 0 0 25 0 1 0 832557283 25432064 5493 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6209 5493 1111 63 0 6146 0
vsize: 24836
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 98695 0 0 0 6759 237 0 0 25 0 1 0 832557283 24182784 5202 4294967295 134512640 134714508 3221224592 3221222928 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5904 5202 1111 63 0 5841 0
vsize: 23616
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 120485 0 0 0 7709 287 0 0 25 0 1 0 832557283 26640384 5454 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6504 5457 1111 63 0 6441 0
vsize: 26016
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 145940 0 0 0 8651 346 0 0 25 0 1 0 832557283 26542080 5783 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6480 5783 1111 63 0 6417 0
vsize: 25920
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 166616 0 0 0 9607 389 0 0 25 0 1 0 832557283 28217344 6161 4294967295 134512640 134714508 3221224592 3221222848 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6889 6161 1111 63 0 6826 0
vsize: 27556
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 170979 0 0 0 10598 399 0 0 25 0 1 0 832557283 27598848 6041 4294967295 134512640 134714508 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6738 6041 1111 63 0 6675 0
vsize: 26952
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 181685 0 0 0 11574 423 0 0 25 0 1 0 832557283 27652096 6054 4294967295 134512640 134714508 3221224592 3221222848 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6751 6054 1111 63 0 6688 0
vsize: 27004
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 203936 0 0 0 12523 474 0 0 25 0 1 0 832557283 28655616 6293 4294967295 134512640 134714508 3221224592 3221222636 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6996 6293 1111 63 0 6933 0
vsize: 27984
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 206391 0 0 0 13517 480 0 0 25 0 1 0 832557283 29069312 6401 4294967295 134512640 134714508 3221224592 3221223308 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7097 6401 1111 63 0 7034 0
vsize: 28388
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 225525 0 0 0 14475 523 0 0 25 0 1 0 832557283 33959936 7350 4294967295 134512640 134714508 3221224592 3221220692 1075964248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8291 7350 1111 63 0 8228 0
vsize: 33164
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 228789 0 0 0 15467 531 0 0 25 0 1 0 832557283 30613504 6756 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7474 6756 1111 63 0 7411 0
vsize: 29896
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 249669 0 0 0 16420 578 0 0 25 0 1 0 832557283 31551488 6982 4294967295 134512640 134714508 3221224592 3221222764 1074206213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7703 6982 1111 63 0 7640 0
vsize: 30812
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 284550 0 0 0 17341 657 0 0 25 0 1 0 832557283 34979840 7819 4294967295 134512640 134714508 3221224592 3221222864 1073986701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8540 7819 1111 63 0 8477 0
vsize: 34160
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 310626 0 0 0 18283 715 0 0 25 0 1 0 832557283 36585472 8210 4294967295 134512640 134714508 3221224592 3221222808 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8932 8210 1111 63 0 8869 0
vsize: 35728
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 335309 0 0 0 19229 769 0 0 25 0 1 0 832557283 41046016 8887 4294967295 134512640 134714508 3221224592 3221220864 1074961129 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10021 8887 1111 63 0 9958 0
vsize: 40084
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 347821 0 0 0 20202 796 0 0 25 0 1 0 832557283 40423424 8654 4294967295 134512640 134714508 3221224592 3221221536 1074620120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9869 8654 1111 63 0 9806 0
vsize: 39476
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 370593 0 0 0 21154 844 0 0 25 0 1 0 832557283 39411712 8885 4294967295 134512640 134714508 3221224592 3221223244 134542371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9622 8885 1111 63 0 9559 0
vsize: 38488
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 403286 0 0 0 22078 920 0 0 25 0 1 0 832557283 43577344 9562 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10639 9562 1111 63 0 10576 0
vsize: 42556
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 434635 0 0 0 23012 987 0 0 25 0 1 0 832557283 44281856 10086 4294967295 134512640 134714508 3221224592 3221222636 1077379944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10811 10086 1111 63 0 10748 0
vsize: 43244
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 465149 0 0 0 23940 1059 0 0 25 0 1 0 832557283 46784512 10672 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11422 10672 1111 63 0 11359 0
vsize: 45688
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 493011 0 0 0 24878 1121 0 0 25 0 1 0 832557283 51212288 11262 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12503 11264 1111 63 0 12440 0
vsize: 50012
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25358
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 512716 0 0 0 25833 1166 0 0 25 0 1 0 832557283 51519488 11535 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12402 11507 1111 63 0 12339 0
vsize: 50312
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25411
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 524021 0 0 0 26806 1193 0 0 25 0 1 0 832557283 51904512 11752 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12672 11752 1111 63 0 12609 0
vsize: 50688
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25411
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 541314 0 0 0 27767 1232 0 0 25 0 1 0 832557283 52367360 11896 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12785 11896 1111 63 0 12722 0
vsize: 51140
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25411
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 549398 0 0 0 28748 1251 0 0 25 0 1 0 832557283 52101120 11832 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12720 11832 1111 63 0 12657 0
vsize: 50880
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25411
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 553738 0 0 0 29738 1262 0 0 25 0 1 0 832557283 53288960 12122 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13010 12122 1111 63 0 12947 0
vsize: 52040
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25411
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 554493 0 0 0 30735 1265 0 0 25 0 1 0 832557283 55410688 12633 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13528 12633 1111 63 0 13465 0
vsize: 54112
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25411
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 555730 0 0 0 31732 1268 0 0 25 0 1 0 832557283 58945536 13329 4294967295 134512640 134714508 3221224592 3221220752 1075091418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14391 13329 1111 63 0 14328 0
vsize: 57564
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 557200 0 0 0 32730 1271 0 0 25 0 1 0 832557283 53551104 12186 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13074 12186 1111 63 0 13011 0
vsize: 52296
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 558985 0 0 0 33725 1275 0 0 25 0 1 0 832557283 53039104 12061 4294967295 134512640 134714508 3221224592 3221223376 134622506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12949 12061 1111 63 0 12886 0
vsize: 51796
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 561013 0 0 0 34721 1280 0 0 25 0 1 0 832557283 55918592 12184 4294967295 134512640 134714508 3221224592 3221220752 1075092611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13652 12184 1111 63 0 13589 0
vsize: 54608
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 574246 0 0 0 35691 1309 0 0 25 0 1 0 832557283 56758272 12405 4294967295 134512640 134714508 3221224592 3221220960 1075894549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13857 12406 1111 63 0 13794 0
vsize: 55428
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 585941 0 0 0 36663 1338 0 0 25 0 1 0 832557283 53719040 12187 4294967295 134512640 134714508 3221224592 3221221696 1074138863 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13115 12187 1111 63 0 13052 0
vsize: 52460
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 593916 0 0 0 37646 1355 0 0 25 0 1 0 832557283 58601472 13196 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14307 13196 1111 63 0 14244 0
vsize: 57228
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 595460 0 0 0 38643 1358 0 0 25 0 1 0 832557283 53686272 12211 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13107 12211 1111 63 0 13044 0
vsize: 52428
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 597885 0 0 0 39637 1364 0 0 25 0 1 0 832557283 54292480 12337 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13255 12337 1111 63 0 13192 0
vsize: 53020
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 610088 0 0 0 40608 1393 0 0 25 0 1 0 832557283 54210560 12309 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13235 12309 1111 63 0 13172 0
vsize: 52940
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 618039 0 0 0 41591 1411 0 0 25 0 1 0 832557283 54464512 12401 4294967295 134512640 134714508 3221224592 3221223320 134622809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13297 12401 1111 63 0 13234 0
vsize: 53188
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 628494 0 0 0 42568 1434 0 0 25 0 1 0 832557283 54456320 12399 4294967295 134512640 134714508 3221224592 3221222768 1074206371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13295 12399 1111 63 0 13232 0
vsize: 53180
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 637284 0 0 0 43545 1457 0 0 25 0 1 0 832557283 55304192 12592 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13502 12592 1111 63 0 13439 0
vsize: 54008
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 640089 0 0 0 44538 1464 0 0 25 0 1 0 832557283 55549952 12672 4294967295 134512640 134714508 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13562 12672 1111 63 0 13499 0
vsize: 54248
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 640235 0 0 0 45538 1464 0 0 25 0 1 0 832557283 55517184 12638 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13554 12638 1111 63 0 13491 0
vsize: 54216
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 643487 0 0 0 46530 1473 0 0 25 0 1 0 832557283 54841344 12500 4294967295 134512640 134714508 3221224592 3221222832 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13389 12500 1111 63 0 13326 0
vsize: 53556
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 646702 0 0 0 47522 1481 0 0 25 0 1 0 832557283 58437632 12791 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14267 12794 1111 63 0 14204 0
vsize: 57068
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 655775 0 0 0 48500 1503 0 0 25 0 1 0 832557283 54841344 12487 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13389 12487 1111 63 0 13326 0
vsize: 53556
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 668803 0 0 0 49471 1532 0 0 25 0 1 0 832557283 55324672 12608 4294967295 134512640 134714508 3221224592 3221223312 134622891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13507 12608 1111 63 0 13444 0
vsize: 54028
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 680556 0 0 0 50444 1559 0 0 25 0 1 0 832557283 59781120 13447 4294967295 134512640 134714508 3221224592 3221220692 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14595 13447 1111 63 0 14532 0
vsize: 58380
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 684547 0 0 0 51435 1569 0 0 25 0 1 0 832557283 55861248 12739 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13638 12739 1111 63 0 13575 0
vsize: 54552
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 692147 0 0 0 52417 1587 0 0 25 0 1 0 832557283 55693312 12698 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13597 12698 1111 63 0 13534 0
vsize: 54388
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 702765 0 0 0 53391 1613 0 0 25 0 1 0 832557283 56233984 12826 4294967295 134512640 134714508 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13729 12826 1111 63 0 13666 0
vsize: 54916
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 709931 0 0 0 54373 1631 0 0 25 0 1 0 832557283 56623104 12877 4294967295 134512640 134714508 3221224592 3221222872 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13824 12884 1111 63 0 13761 0
vsize: 55296
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 714837 0 0 0 55362 1643 0 0 25 0 1 0 832557283 58245120 13293 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14220 13293 1111 63 0 14157 0
vsize: 56880
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25413
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 716691 0 0 0 56358 1646 0 0 25 0 1 0 832557283 56492032 12866 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13792 12866 1111 63 0 13729 0
vsize: 55168
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 725627 0 0 0 57338 1667 0 0 25 0 1 0 832557283 56332288 12850 4294967295 134512640 134714508 3221224592 3221222592 1074916721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13753 12850 1111 63 0 13690 0
vsize: 55012
[startup+600.012 s]
Raw data (loadavg): 1.23 1.02 0.99 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 748074 0 0 0 58285 1719 0 0 25 0 1 0 832557283 57212928 13061 4294967295 134512640 134714508 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13968 13061 1111 63 0 13905 0
vsize: 55872
[startup+610.012 s]
Raw data (loadavg): 1.27 1.04 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 757536 0 0 0 59266 1739 0 0 25 0 1 0 832557283 58171392 13268 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14202 13268 1111 63 0 14139 0
vsize: 56808
[startup+620.013 s]
Raw data (loadavg): 1.23 1.03 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 770979 0 0 0 60234 1771 0 0 25 0 1 0 832557283 58257408 13278 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14223 13287 1111 63 0 14160 0
vsize: 56892
[startup+630.013 s]
Raw data (loadavg): 1.19 1.03 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 787382 0 0 0 61197 1808 0 0 25 0 1 0 832557283 58720256 13413 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14336 13413 1111 63 0 14273 0
vsize: 57344
[startup+640.012 s]
Raw data (loadavg): 1.16 1.03 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 805784 0 0 0 62152 1853 0 0 25 0 1 0 832557283 59469824 13596 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14519 13596 1111 63 0 14456 0
vsize: 58076
[startup+650.012 s]
Raw data (loadavg): 1.14 1.03 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 816484 0 0 0 63126 1879 0 0 25 0 1 0 832557283 60932096 13941 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14876 13941 1111 63 0 14813 0
vsize: 59504
[startup+660.012 s]
Raw data (loadavg): 1.12 1.03 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 816638 0 0 0 64125 1880 0 0 25 0 1 0 832557283 61505536 14061 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15016 14061 1111 63 0 14953 0
vsize: 60064
[startup+670.013 s]
Raw data (loadavg): 1.10 1.03 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 816704 0 0 0 65125 1881 0 0 25 0 1 0 832557283 61763584 14127 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15079 14127 1111 63 0 15016 0
vsize: 60316
[startup+680.014 s]
Raw data (loadavg): 1.08 1.03 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 816750 0 0 0 66125 1882 0 0 25 0 1 0 832557283 61939712 14173 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15122 14173 1111 63 0 15059 0
vsize: 60488
[startup+690.014 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 816816 0 0 0 67124 1882 0 0 25 0 1 0 832557283 62124032 14239 4294967295 134512640 134714508 3221224592 3221222784 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15167 14239 1111 63 0 15104 0
vsize: 60668
[startup+700.013 s]
Raw data (loadavg): 1.06 1.02 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 816854 0 0 0 68123 1883 0 0 25 0 1 0 832557283 62279680 14277 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15205 14277 1111 63 0 15142 0
vsize: 60820
[startup+710.013 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 818347 0 0 0 69120 1886 0 0 25 0 1 0 832557283 66154496 15216 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16151 15216 1111 63 0 16088 0
vsize: 64604
[startup+720.013 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 818347 0 0 0 70121 1886 0 0 25 0 1 0 832557283 66154496 15216 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16151 15216 1111 63 0 16088 0
vsize: 64604
[startup+730.013 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 818347 0 0 0 71120 1886 0 0 25 0 1 0 832557283 66154496 15216 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16151 15216 1111 63 0 16088 0
vsize: 64604
[startup+740.013 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 821125 0 0 0 72115 1892 0 0 25 0 1 0 832557283 76218368 16954 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18608 16954 1111 63 0 18545 0
vsize: 74432
[startup+750.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 824320 0 0 0 73108 1899 0 0 25 0 1 0 832557283 62439424 14321 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+760.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 824320 0 0 0 74108 1899 0 0 25 0 1 0 832557283 62439424 14321 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+770.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 824320 0 0 0 75108 1899 0 0 25 0 1 0 832557283 62439424 14321 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+780.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 824320 0 0 0 76108 1899 0 0 25 0 1 0 832557283 62439424 14321 4294967295 134512640 134714508 3221224592 3221223384 134536915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+790.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 824320 0 0 0 77108 1899 0 0 25 0 1 0 832557283 62439424 14321 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+800.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 824320 0 0 0 78109 1899 0 0 25 0 1 0 832557283 62439424 14321 4294967295 134512640 134714508 3221224592 3221223408 134622248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+810.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 824320 0 0 0 79109 1899 0 0 25 0 1 0 832557283 62439424 14321 4294967295 134512640 134714508 3221224592 3221222864 1074056010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+820.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 824890 0 0 0 80108 1901 0 0 25 0 1 0 832557283 62255104 14276 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15199 14276 1111 63 0 15136 0
vsize: 60796
[startup+830.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 827431 0 0 0 81102 1907 0 0 25 0 1 0 832557283 60563456 13863 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14786 13863 1111 63 0 14723 0
vsize: 59144
[startup+840.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 835225 0 0 0 82083 1925 0 0 25 0 1 0 832557283 65966080 14003 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16105 14013 1111 63 0 16042 0
vsize: 64420
[startup+850.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 859069 0 0 0 83027 1982 0 0 25 0 1 0 832557283 60891136 13943 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14866 13943 1111 63 0 14803 0
vsize: 59464
[startup+860.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 871021 0 0 0 84000 2009 0 0 25 0 1 0 832557283 60780544 13913 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14839 13913 1111 63 0 14776 0
vsize: 59356
[startup+870.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 901867 0 0 0 84927 2082 0 0 25 0 1 0 832557283 61091840 13969 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14915 13969 1111 63 0 14852 0
vsize: 59660
[startup+880.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 904637 0 0 0 85921 2089 0 0 25 0 1 0 832557283 61280256 14017 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14961 14017 1111 63 0 14898 0
vsize: 59844
[startup+890.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 910278 0 0 0 86906 2103 0 0 25 0 1 0 832557283 61468672 14074 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15007 14074 1111 63 0 14944 0
vsize: 60028
[startup+900.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 935461 0 0 0 87846 2163 0 0 25 0 1 0 832557283 61403136 14065 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14991 14065 1111 63 0 14928 0
vsize: 59964
[startup+910.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 958924 0 0 0 88790 2220 0 0 25 0 1 0 832557283 62443520 14303 4294967295 134512640 134714508 3221224592 3221222320 1075828933 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15245 14303 1111 63 0 15182 0
vsize: 60980
[startup+920.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 965666 0 0 0 89774 2237 0 0 25 0 1 0 832557283 63160320 14504 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15420 14504 1111 63 0 15357 0
vsize: 61680
[startup+930.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 966422 0 0 0 90771 2239 0 0 25 0 1 0 832557283 65310720 15022 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15945 15022 1111 63 0 15882 0
vsize: 63780
[startup+940.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 969647 0 0 0 91764 2246 0 0 25 0 1 0 832557283 63438848 14572 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15488 14572 1111 63 0 15425 0
vsize: 61952
[startup+950.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 969647 0 0 0 92764 2246 0 0 25 0 1 0 832557283 63438848 14572 4294967295 134512640 134714508 3221224592 3221223320 134622777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15488 14572 1111 63 0 15425 0
vsize: 61952
[startup+960.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 969647 0 0 0 93765 2246 0 0 25 0 1 0 832557283 63438848 14572 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15488 14572 1111 63 0 15425 0
vsize: 61952
[startup+970.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 973385 0 0 0 94755 2256 0 0 25 0 1 0 832557283 62648320 14379 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15295 14379 1111 63 0 15232 0
vsize: 61180
[startup+980.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 997300 0 0 0 95699 2312 0 0 25 0 1 0 832557283 65941504 14493 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17418 14501 1111 63 0 17355 0
vsize: 64396
[startup+990.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1017326 0 0 0 96652 2360 0 0 25 0 1 0 832557283 64491520 14813 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15745 14813 1111 63 0 15682 0
vsize: 62980
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1019579 0 0 0 97648 2364 0 0 25 0 1 0 832557283 64487424 14821 4294967295 134512640 134714508 3221224592 3221223328 134622849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15744 14821 1111 63 0 15681 0
vsize: 62976
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1019579 0 0 0 98648 2364 0 0 25 0 1 0 832557283 64487424 14821 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15744 14821 1111 63 0 15681 0
vsize: 62976
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1020192 0 0 0 99646 2367 0 0 25 0 1 0 832557283 65613824 15087 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16019 15087 1111 63 0 15956 0
vsize: 64076
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1022336 0 0 0 100640 2372 0 0 25 0 1 0 832557283 65417216 15048 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15971 15048 1111 63 0 15908 0
vsize: 63884
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1030341 0 0 0 101622 2391 0 0 25 0 1 0 832557283 64024576 14692 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15631 14692 1111 63 0 15568 0
vsize: 62524
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1047773 0 0 0 102580 2433 0 0 25 0 1 0 832557283 64266240 14767 4294967295 134512640 134714508 3221224592 3221221712 1074865024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17009 14771 1111 63 0 16946 0
vsize: 62760
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1066235 0 0 0 103535 2478 0 0 25 0 1 0 832557283 64856064 14909 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15834 14909 1111 63 0 15771 0
vsize: 63336
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1072194 0 0 0 104521 2492 0 0 25 0 1 0 832557283 65679360 15110 4294967295 134512640 134714508 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16035 15110 1111 63 0 15972 0
vsize: 64140
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1072194 0 0 0 105522 2492 0 0 25 0 1 0 832557283 65101824 14969 4294967295 134512640 134714508 3221224592 3221222800 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15894 14969 1111 63 0 15831 0
vsize: 63576
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1074267 0 0 0 106516 2498 0 0 25 0 1 0 832557283 66015232 15161 4294967295 134512640 134714508 3221224592 3221222240 1074247419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16117 15161 1111 63 0 16054 0
vsize: 64468
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1077514 0 0 0 107509 2505 0 0 25 0 1 0 832557283 65687552 15112 4294967295 134512640 134714508 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16037 15112 1111 63 0 15974 0
vsize: 64148
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1077604 0 0 0 108509 2505 0 0 25 0 1 0 832557283 65470464 15059 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15984 15059 1111 63 0 15921 0
vsize: 63936
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1093935 0 0 0 109472 2542 0 0 25 0 1 0 832557283 65318912 15025 4294967295 134512640 134714508 3221224592 3221223168 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15947 15025 1111 63 0 15884 0
vsize: 63788
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1115961 0 0 0 110420 2594 0 0 25 0 1 0 832557283 66289664 15243 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16184 15243 1111 63 0 16121 0
vsize: 64736
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1148148 0 0 0 111346 2668 0 0 25 0 1 0 832557283 67153920 15454 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16395 15454 1111 63 0 16332 0
vsize: 65580
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1170555 0 0 0 112292 2723 0 0 25 0 1 0 832557283 68571136 15792 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16741 15792 1111 63 0 16678 0
vsize: 66964
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1172528 0 0 0 113287 2728 0 0 25 0 1 0 832557283 68681728 15828 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16768 15828 1111 63 0 16705 0
vsize: 67072
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1172862 0 0 0 114286 2729 0 0 25 0 1 0 832557283 69464064 16019 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16959 16019 1111 63 0 16896 0
vsize: 67836
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1176372 0 0 0 115278 2737 0 0 25 0 1 0 832557283 68587520 15805 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16745 15805 1111 63 0 16682 0
vsize: 66980
[startup+1181.4 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 25415
Raw data (stat): 25358 (bsolo_lpr) R 25357 22056 22055 0 -1 0 1176372 0 0 0 115278 2737 0 0 25 0 1 0 832557283 68587520 15805 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16745 15805 1111 63 0 16682 0
vsize: 0

Child status: 10
Real time (s): 1181.4
CPU time (s): 1181.54
CPU user time (s): 1154.13
CPU system time (s): 27.4058
CPU usage (%): 100.011
Max. virtual memory (Kb): 74432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	323920
#### END VERIFIER DATA ####