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/miplib/normalized-mps-v2-13-7-p0282.opb
MD5SUM	a733e9fa1e4e3ac90baf85249f7c3e9a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	258411
Optimality of the best value was proved	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 27434

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-24 21:43:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17122 boxname=wulflinc25 idbench=1318 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  a733e9fa1e4e3ac90baf85249f7c3e9a  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-p0282.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-p0282.opb
IDLAUNCH: 17122
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        867872 kB
Buffers:         35940 kB
Cached:         109856 kB
SwapCached:        812 kB
Active:          63676 kB
Inactive:        84568 kB
HighTotal:      131008 kB
HighFree:        20524 kB
LowTotal:       903652 kB
LowFree:        847348 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:             408 kB
Writeback:           0 kB
Mapped:           5600 kB
Slab:            12968 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:03:15 (client local time) WITH STATUS 10 IN 1175.54 SECONDS
stats: 17122 0 1175.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.314 s
c Initial Lower Bound: 55117
c Lower Bound Elapsed time: 0.0379
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 514236 @ 3.108
c NEW SOLUTION FOUND: 376825 @ 3.108
c NEW SOLUTION FOUND: 375734 @ 3.112
c NEW SOLUTION FOUND: 363658 @ 3.15
c NEW SOLUTION FOUND: 353123 @ 3.199
c NEW SOLUTION FOUND: 341871 @ 3.211
c NEW SOLUTION FOUND: 335351 @ 3.294
c NEW SOLUTION FOUND: 334542 @ 3.368
c NEW SOLUTION FOUND: 328927 @ 3.489
c NEW SOLUTION FOUND: 326657 @ 12.391
c NEW SOLUTION FOUND: 326592 @ 21.074
c NEW SOLUTION FOUND: 325922 @ 22.413
c NEW SOLUTION FOUND: 325851 @ 23.403
c NEW SOLUTION FOUND: 325744 @ 23.826
c NEW SOLUTION FOUND: 325651 @ 24.519
c NEW SOLUTION FOUND: 324938 @ 28.998
c NEW SOLUTION FOUND: 324783 @ 33.029
c NEW SOLUTION FOUND: 324151 @ 168.645
c NEW SOLUTION FOUND: 323920 @ 250.541
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: 1175.5 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.85 0.97 0.99 2/54 3414
Raw data (stat): 3414 (runsolver) R 3413 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833585521 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.87 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 8526 0 0 0 964 34 0 0 25 0 1 0 833585521 15896576 3104 4294967295 134512640 134714508 3221224592 3221220588 1074788153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3881 3104 1111 63 0 3818 0
vsize: 15524
[startup+20.001 s]
Raw data (loadavg): 0.89 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 30086 0 0 0 1906 91 0 0 25 0 1 0 833585521 18604032 3726 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4542 3726 1111 63 0 4479 0
vsize: 18168
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 63013 0 0 0 2832 164 0 0 25 0 1 0 833585521 21925888 4638 4294967295 134512640 134714508 3221224592 3221223256 1073994044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5353 4638 1111 63 0 5290 0
vsize: 21412
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 84087 0 0 0 3783 214 0 0 25 0 1 0 833585521 24682496 5299 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6026 5299 1111 63 0 5963 0
vsize: 24104
[startup+50.0007 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 86874 0 0 0 4776 221 0 0 25 0 1 0 833585521 27672576 5958 4294967295 134512640 134714508 3221224592 3221220720 1075112371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5958 1111 63 0 6693 0
vsize: 27024
[startup+60.0003 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 88613 0 0 0 5771 227 0 0 25 0 1 0 833585521 28061696 5652 4294967295 134512640 134714508 3221224592 3221221576 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6851 5654 1111 63 0 6788 0
vsize: 27404
[startup+70.0002 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 103490 0 0 0 6737 260 0 0 25 0 1 0 833585521 24502272 5280 4294967295 134512640 134714508 3221224592 3221222660 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5982 5280 1111 63 0 5919 0
vsize: 23928
[startup+80.0005 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 125650 0 0 0 7687 310 0 0 25 0 1 0 833585521 25292800 5474 4294967295 134512640 134714508 3221224592 3221222928 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6175 5474 1111 63 0 6112 0
vsize: 24700
[startup+90.0001 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 151410 0 0 0 8630 368 0 0 25 0 1 0 833585521 28069888 5801 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6853 5803 1111 63 0 6790 0
vsize: 27412
[startup+100 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 166910 0 0 0 9595 403 0 0 25 0 1 0 833585521 28958720 6351 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7070 6351 1111 63 0 7007 0
vsize: 28280
[startup+110 s]
Raw data (loadavg): 0.97 0.97 0.99 3/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 173795 0 0 0 10579 419 0 0 25 0 1 0 833585521 29032448 6050 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7088 6058 1111 63 0 7025 0
vsize: 28352
[startup+120 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 183573 0 0 0 11557 441 0 0 25 0 1 0 833585521 27770880 6053 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6780 6053 1111 63 0 6717 0
vsize: 27120
[startup+130 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 204431 0 0 0 12509 489 0 0 25 0 1 0 833585521 30265344 6676 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7389 6676 1111 63 0 7326 0
vsize: 29556
[startup+140 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 214283 0 0 0 13488 510 0 0 25 0 1 0 833585521 29237248 6442 4294967295 134512640 134714508 3221224592 3221223144 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7138 6442 1111 63 0 7075 0
vsize: 28552
[startup+150 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 226057 0 0 0 14460 539 0 0 25 0 1 0 833585521 30654464 6739 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7484 6739 1111 63 0 7421 0
vsize: 29936
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 234275 0 0 0 15440 559 0 0 25 0 1 0 833585521 31182848 6878 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7613 6878 1111 63 0 7550 0
vsize: 30452
[startup+169.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 261337 0 0 0 16380 619 0 0 25 0 1 0 833585521 32555008 7230 4294967295 134512640 134714508 3221224592 3221222592 1074921315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7948 7230 1111 63 0 7885 0
vsize: 31792
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 292493 0 0 0 17311 688 0 0 25 0 1 0 833585521 35450880 7934 4294967295 134512640 134714508 3221224592 3221222168 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8655 7934 1111 63 0 8592 0
vsize: 34620
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 319120 0 0 0 18252 747 0 0 25 0 1 0 833585521 37101568 8335 4294967295 134512640 134714508 3221224592 3221222896 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9058 8335 1111 63 0 8995 0
vsize: 36232
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 339793 0 0 0 19210 789 0 0 25 0 1 0 833585521 40501248 8648 4294967295 134512640 134714508 3221224592 3221220752 1075091819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9888 8649 1111 63 0 9825 0
vsize: 39552
[startup+209.998 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 351309 0 0 0 20183 816 0 0 25 0 1 0 833585521 38424576 8661 4294967295 134512640 134714508 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9381 8661 1111 63 0 9318 0
vsize: 37524
[startup+219.998 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 382774 0 0 0 21114 885 0 0 25 0 1 0 833585521 41967616 9186 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9894 9172 1111 63 0 9831 0
vsize: 40984
[startup+229.998 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 412751 0 0 0 22047 953 0 0 25 0 1 0 833585521 42799104 9735 4294967295 134512640 134714508 3221224592 3221222320 1075828441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10449 9735 1111 63 0 10386 0
vsize: 41796
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 448114 0 0 0 22971 1029 0 0 25 0 1 0 833585521 48324608 10596 4294967295 134512640 134714508 3221224592 3221220928 1075113634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11798 10596 1111 63 0 11735 0
vsize: 47192
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 480102 0 0 0 23899 1101 0 0 25 0 1 0 833585521 49098752 11074 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11987 11074 1111 63 0 11924 0
vsize: 47948
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 502531 0 0 0 24849 1151 0 0 25 0 1 0 833585521 53485568 11663 4294967295 134512640 134714508 3221224592 3221220752 1074794565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13058 11663 1111 63 0 12995 0
vsize: 52232
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 517349 0 0 0 25818 1183 0 0 25 0 1 0 833585521 51331072 11644 4294967295 134512640 134714508 3221224592 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12532 11644 1111 63 0 12469 0
vsize: 50128
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 532770 0 0 0 26783 1218 0 0 25 0 1 0 833585521 52985856 11787 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12936 11787 1111 63 0 12873 0
vsize: 51744
[startup+289.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 544153 0 0 0 27757 1244 0 0 25 0 1 0 833585521 52101120 11832 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12720 11832 1111 63 0 12657 0
vsize: 50880
[startup+299.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 553608 0 0 0 28736 1266 0 0 25 0 1 0 833585521 52965376 12021 4294967295 134512640 134714508 3221224592 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12931 12021 1111 63 0 12868 0
vsize: 51724
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 553777 0 0 0 29734 1267 0 0 25 0 1 0 833585521 53448704 12161 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13049 12161 1111 63 0 12986 0
vsize: 52196
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 554493 0 0 0 30733 1269 0 0 25 0 1 0 833585521 55410688 12633 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12633 1111 63 0 13465 0
vsize: 54112
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 557200 0 0 0 31727 1275 0 0 25 0 1 0 833585521 53551104 12186 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13074 12186 1111 63 0 13011 0
vsize: 52296
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 557593 0 0 0 32725 1276 0 0 25 0 1 0 833585521 53768192 12232 4294967295 134512640 134714508 3221224592 3221222592 1074918559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13127 12232 1111 63 0 13064 0
vsize: 52508
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 560648 0 0 0 33718 1283 0 0 25 0 1 0 833585521 52797440 12002 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12890 12002 1111 63 0 12827 0
vsize: 51560
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 568346 0 0 0 34700 1301 0 0 25 0 1 0 833585521 52756480 11952 4294967295 134512640 134714508 3221224592 3221222544 1074051533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12880 11952 1111 63 0 12817 0
vsize: 51520
[startup+369.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 580307 0 0 0 35675 1326 0 0 25 0 1 0 833585521 52977664 12042 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12934 12042 1111 63 0 12871 0
vsize: 51736
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 592681 0 0 0 36647 1355 0 0 25 0 1 0 833585521 54435840 12373 4294967295 134512640 134714508 3221224592 3221222496 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13290 12373 1111 63 0 13227 0
vsize: 53160
[startup+389.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 594666 0 0 0 37642 1359 0 0 25 0 1 0 833585521 54239232 12346 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13242 12346 1111 63 0 13179 0
vsize: 52968
[startup+399.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 596749 0 0 0 38638 1364 0 0 25 0 1 0 833585521 54116352 12316 4294967295 134512640 134714508 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13212 12316 1111 63 0 13149 0
vsize: 52848
[startup+409.999 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 607871 0 0 0 39612 1389 0 0 25 0 1 0 833585521 54571008 12407 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13323 12407 1111 63 0 13260 0
vsize: 53292
[startup+420 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 613898 0 0 0 40600 1401 0 0 25 0 1 0 833585521 53932032 12271 4294967295 134512640 134714508 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13167 12271 1111 63 0 13104 0
vsize: 52668
[startup+430 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 624592 0 0 0 41578 1424 0 0 25 0 1 0 833585521 54546432 12421 4294967295 134512640 134714508 3221224592 3221223392 134622273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13317 12421 1111 63 0 13254 0
vsize: 53268
[startup+439.999 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 635363 0 0 0 42554 1448 0 0 25 0 1 0 833585521 54595584 12430 4294967295 134512640 134714508 3221224592 3221221696 1074138850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13366 12431 1111 63 0 13303 0
vsize: 53316
[startup+449.999 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 637980 0 0 0 43547 1454 0 0 25 0 1 0 833585521 57073664 13032 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13934 13032 1111 63 0 13871 0
vsize: 55736
[startup+460 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 640089 0 0 0 44543 1459 0 0 25 0 1 0 833585521 55549952 12672 4294967295 134512640 134714508 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13562 12672 1111 63 0 13499 0
vsize: 54248
[startup+469.999 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 642228 0 0 0 45538 1464 0 0 25 0 1 0 833585521 54996992 12513 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13427 12513 1111 63 0 13364 0
vsize: 53708
[startup+479.999 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 645429 0 0 0 46530 1472 0 0 25 0 1 0 833585521 54960128 12498 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13418 12498 1111 63 0 13355 0
vsize: 53672
[startup+489.999 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 653168 0 0 0 47513 1490 0 0 25 0 1 0 833585521 54808576 12492 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13381 12492 1111 63 0 13318 0
vsize: 53524
[startup+499.999 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 664063 0 0 0 48488 1514 0 0 25 0 1 0 833585521 55721984 12507 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13815 12511 1111 63 0 13752 0
vsize: 54416
[startup+509.999 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 679640 0 0 0 49450 1553 0 0 25 0 1 0 833585521 55812096 12727 4294967295 134512640 134714508 3221224592 3221222832 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13626 12727 1111 63 0 13563 0
vsize: 54504
[startup+519.999 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 682581 0 0 0 50444 1560 0 0 25 0 1 0 833585521 56492032 12891 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13792 12891 1111 63 0 13729 0
vsize: 55168
[startup+529.999 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 689813 0 0 0 51428 1575 0 0 25 0 1 0 833585521 56229888 12797 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13728 12797 1111 63 0 13665 0
vsize: 54912
[startup+540 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 700273 0 0 0 52405 1599 0 0 25 0 1 0 833585521 56016896 12773 4294967295 134512640 134714508 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13676 12773 1111 63 0 13613 0
vsize: 54704
[startup+549.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 706505 0 0 0 53392 1612 0 0 25 0 1 0 833585521 56057856 12783 4294967295 134512640 134714508 3221224592 3221222848 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 12783 1111 63 0 13623 0
vsize: 54744
[startup+559.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 714383 0 0 0 54374 1629 0 0 25 0 1 0 833585521 56938496 12981 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13901 12981 1111 63 0 13838 0
vsize: 55604
[startup+569.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 716666 0 0 0 55368 1636 0 0 25 0 1 0 833585521 56905728 12990 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13893 12990 1111 63 0 13830 0
vsize: 55572
[startup+580 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 719595 0 0 0 56361 1643 0 0 25 0 1 0 833585521 56348672 12854 4294967295 134512640 134714508 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13757 12854 1111 63 0 13694 0
vsize: 55028
[startup+590 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 741822 0 0 0 57310 1693 0 0 25 0 1 0 833585521 58593280 13091 4294967295 134512640 134714508 3221224592 3221221136 1075088560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14305 13091 1111 63 0 14242 0
vsize: 57220
[startup+600 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 756480 0 0 0 58277 1727 0 0 25 0 1 0 833585521 58822656 13413 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14361 13413 1111 63 0 14298 0
vsize: 57444
[startup+610.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 761384 0 0 0 59265 1739 0 0 25 0 1 0 833585521 57618432 13151 4294967295 134512640 134714508 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14067 13151 1111 63 0 14004 0
vsize: 56268
[startup+620.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 783366 0 0 0 60216 1787 0 0 25 0 1 0 833585521 60235776 13428 4294967295 134512640 134714508 3221224592 3221221096 1074971925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14706 13428 1111 63 0 14643 0
vsize: 58824
[startup+630.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 799744 0 0 0 61181 1823 0 0 25 0 1 0 833585521 59412480 13550 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14505 13550 1111 63 0 14442 0
vsize: 58020
[startup+640 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 816326 0 0 0 62142 1862 0 0 25 0 1 0 833585521 60313600 13783 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14725 13783 1111 63 0 14662 0
vsize: 58900
[startup+650 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 816535 0 0 0 63141 1864 0 0 25 0 1 0 833585521 60952576 13958 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14881 13958 1111 63 0 14818 0
vsize: 59524
[startup+660.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 816677 0 0 0 64140 1865 0 0 25 0 1 0 833585521 61652992 14100 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15052 14100 1111 63 0 14989 0
vsize: 60208
[startup+670.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 816726 0 0 0 65139 1866 0 0 25 0 1 0 833585521 61841408 14149 4294967295 134512640 134714508 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15098 14149 1111 63 0 15035 0
vsize: 60392
[startup+680.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 816774 0 0 0 66139 1866 0 0 25 0 1 0 833585521 62038016 14197 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15146 14197 1111 63 0 15083 0
vsize: 60584
[startup+690.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 816837 0 0 0 67139 1867 0 0 25 0 1 0 833585521 62210048 14260 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15188 14260 1111 63 0 15125 0
vsize: 60752
[startup+700.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 818347 0 0 0 68135 1870 0 0 25 0 1 0 833585521 66154496 15216 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16151 15216 1111 63 0 16088 0
vsize: 64604
[startup+710.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 818347 0 0 0 69135 1870 0 0 25 0 1 0 833585521 66154496 15216 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16151 15216 1111 63 0 16088 0
vsize: 64604
[startup+720.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 818347 0 0 0 70136 1870 0 0 25 0 1 0 833585521 66154496 15216 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16151 15216 1111 63 0 16088 0
vsize: 64604
[startup+730.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 818347 0 0 0 71136 1870 0 0 25 0 1 0 833585521 66154496 15216 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16151 15216 1111 63 0 16088 0
vsize: 64604
[startup+740.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 821430 0 0 0 72129 1877 0 0 25 0 1 0 833585521 73519104 16628 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17949 16628 1111 63 0 17886 0
vsize: 71796
[startup+750.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 824320 0 0 0 73123 1884 0 0 25 0 1 0 833585521 62439424 14321 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+760.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 824320 0 0 0 74123 1884 0 0 25 0 1 0 833585521 62439424 14321 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+770.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 824320 0 0 0 75123 1884 0 0 25 0 1 0 833585521 62439424 14321 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+780.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 824320 0 0 0 76123 1884 0 0 25 0 1 0 833585521 62439424 14321 4294967295 134512640 134714508 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+790.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 824320 0 0 0 77123 1885 0 0 25 0 1 0 833585521 62439424 14321 4294967295 134512640 134714508 3221224592 3221223316 134622833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+800.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 824320 0 0 0 78123 1885 0 0 25 0 1 0 833585521 62439424 14321 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+810.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 824416 0 0 0 79122 1886 0 0 25 0 1 0 833585521 60956672 13959 4294967295 134512640 134714508 3221224592 3221222448 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14882 13959 1111 63 0 14819 0
vsize: 59528
[startup+820.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 827431 0 0 0 80115 1892 0 0 25 0 1 0 833585521 61018112 13974 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14897 13974 1111 63 0 14834 0
vsize: 59588
[startup+830.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 829812 0 0 0 81109 1899 0 0 25 0 1 0 833585521 60895232 13944 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14867 13944 1111 63 0 14804 0
vsize: 59468
[startup+840.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 852959 0 0 0 82054 1954 0 0 25 0 1 0 833585521 60563456 13863 4294967295 134512640 134714508 3221224592 3221222816 1074146296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14786 13863 1111 63 0 14723 0
vsize: 59144
[startup+850.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 861992 0 0 0 83033 1976 0 0 25 0 1 0 833585521 60719104 13901 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14824 13901 1111 63 0 14761 0
vsize: 59296
[startup+860.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 889263 0 0 0 83967 2041 0 0 25 0 1 0 833585521 60739584 13906 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14829 13906 1111 63 0 14766 0
vsize: 59316
[startup+870.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 904625 0 0 0 84930 2079 0 0 25 0 1 0 833585521 61636608 14125 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15048 14125 1111 63 0 14985 0
vsize: 60192
[startup+880.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 907904 0 0 0 85922 2087 0 0 25 0 1 0 833585521 61558784 14104 4294967295 134512640 134714508 3221224592 3221223488 134621626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15029 14104 1111 63 0 14966 0
vsize: 60116
[startup+890.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 923295 0 0 0 86885 2124 0 0 25 0 1 0 833585521 61313024 14046 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14969 14046 1111 63 0 14906 0
vsize: 59876
[startup+900.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 946261 0 0 0 87832 2178 0 0 25 0 1 0 833585521 61976576 14187 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15131 14187 1111 63 0 15068 0
vsize: 60524
[startup+910.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 965564 0 0 0 88786 2224 0 0 25 0 1 0 833585521 62959616 14442 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15371 14442 1111 63 0 15308 0
vsize: 61484
[startup+920.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 966418 0 0 0 89783 2227 0 0 25 0 1 0 833585521 65310720 15018 4294967295 134512640 134714508 3221224592 3221222592 1074915993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15945 15018 1111 63 0 15882 0
vsize: 63780
[startup+930.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 966422 0 0 0 90783 2227 0 0 25 0 1 0 833585521 65310720 15022 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15945 15022 1111 63 0 15882 0
vsize: 63780
[startup+940.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 969647 0 0 0 91776 2234 0 0 25 0 1 0 833585521 63438848 14572 4294967295 134512640 134714508 3221224592 3221223320 134622752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15488 14572 1111 63 0 15425 0
vsize: 61952
[startup+950.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 969647 0 0 0 92776 2234 0 0 25 0 1 0 833585521 63438848 14572 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15488 14572 1111 63 0 15425 0
vsize: 61952
[startup+960.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 971494 0 0 0 93772 2238 0 0 25 0 1 0 833585521 62726144 14398 4294967295 134512640 134714508 3221224592 3221223388 134543553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15314 14398 1111 63 0 15251 0
vsize: 61256
[startup+970.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 985363 0 0 0 94740 2270 0 0 25 0 1 0 833585521 62472192 14336 4294967295 134512640 134714508 3221224592 3221222704 1074867325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15252 14336 1111 63 0 15189 0
vsize: 61008
[startup+980.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 3414
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1017177 0 0 0 95667 2344 0 0 25 0 1 0 833585521 63967232 14664 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15617 14664 1111 63 0 15554 0
vsize: 62468
[startup+990.002 s]
Raw data (loadavg): 1.08 1.00 1.00 2/54 3467
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1017838 0 0 0 96665 2346 0 0 25 0 1 0 833585521 65916928 15159 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16093 15159 1111 63 0 16030 0
vsize: 64372
[startup+1000 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 3467
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1019579 0 0 0 97661 2350 0 0 25 0 1 0 833585521 64487424 14821 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15744 14821 1111 63 0 15681 0
vsize: 62976
[startup+1010 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 3467
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1019741 0 0 0 98660 2352 0 0 25 0 1 0 833585521 64331776 14783 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15706 14783 1111 63 0 15643 0
vsize: 62824
[startup+1020 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 3467
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1021915 0 0 0 99655 2356 0 0 25 0 1 0 833585521 64217088 14755 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15678 14755 1111 63 0 15615 0
vsize: 62712
[startup+1030 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 3467
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1023711 0 0 0 100650 2362 0 0 25 0 1 0 833585521 64434176 14808 4294967295 134512640 134714508 3221224592 3221223320 134622752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15731 14808 1111 63 0 15668 0
vsize: 62924
[startup+1040 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 3467
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1041635 0 0 0 101607 2405 0 0 25 0 1 0 833585521 64540672 14834 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15757 14834 1111 63 0 15694 0
vsize: 63028
[startup+1050 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 3467
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1064188 0 0 0 102553 2459 0 0 25 0 1 0 833585521 65085440 14964 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15890 14964 1111 63 0 15827 0
vsize: 63560
[startup+1060 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 3469
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1070672 0 0 0 103537 2475 0 0 25 0 1 0 833585521 66895872 15395 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16332 15395 1111 63 0 16269 0
vsize: 65328
[startup+1070 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 3469
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1072194 0 0 0 104535 2478 0 0 25 0 1 0 833585521 65679360 15110 4294967295 134512640 134714508 3221224592 3221223384 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16035 15110 1111 63 0 15972 0
vsize: 64140
[startup+1080 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 3469
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1073161 0 0 0 105532 2480 0 0 25 0 1 0 833585521 75325440 15515 4294967295 134512640 134714508 3221224592 3221221536 1074620113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18390 15515 1111 63 0 18327 0
vsize: 73560
[startup+1090 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 3469
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1075693 0 0 0 106526 2487 0 0 25 0 1 0 833585521 65646592 15084 4294967295 134512640 134714508 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16027 15084 1111 63 0 15964 0
vsize: 64108
[startup+1100.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 3469
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1077514 0 0 0 107522 2491 0 0 25 0 1 0 833585521 65687552 15112 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16037 15112 1111 63 0 15974 0
vsize: 64148
[startup+1110.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 3469
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1080917 0 0 0 108513 2500 0 0 25 0 1 0 833585521 65089536 14966 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15891 14966 1111 63 0 15828 0
vsize: 63564
[startup+1120.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 3469
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1112782 0 0 0 109437 2577 0 0 25 0 1 0 833585521 75767808 15654 4294967295 134512640 134714508 3221224592 3221220864 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18498 15657 1111 63 0 18435 0
vsize: 73992
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3469
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1140285 0 0 0 110373 2640 0 0 25 0 1 0 833585521 67153920 15454 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16395 15454 1111 63 0 16332 0
vsize: 65580
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3469
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1170463 0 0 0 111302 2712 0 0 25 0 1 0 833585521 68268032 15700 4294967295 134512640 134714508 3221224592 3221222496 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16667 15700 1111 63 0 16604 0
vsize: 66668
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3469
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1172528 0 0 0 112296 2718 0 0 25 0 1 0 833585521 68681728 15828 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16768 15828 1111 63 0 16705 0
vsize: 67072
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3469
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1172528 0 0 0 113296 2718 0 0 25 0 1 0 833585521 68681728 15828 4294967295 134512640 134714508 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16768 15828 1111 63 0 16705 0
vsize: 67072
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3469
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1174584 0 0 0 114292 2723 0 0 25 0 1 0 833585521 68354048 15748 4294967295 134512640 134714508 3221224592 3221222848 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16688 15748 1111 63 0 16625 0
vsize: 66752
[startup+1175.39 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 3469
Raw data (stat): 3414 (bsolo_lpr) R 3413 1586 1585 0 -1 0 1174584 0 0 0 114292 2723 0 0 25 0 1 0 833585521 68354048 15748 4294967295 134512640 134714508 3221224592 3221222848 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16688 15748 1111 63 0 16625 0
vsize: 0

Child status: 10
Real time (s): 1175.39
CPU time (s): 1175.54
CPU user time (s): 1148.23
CPU system time (s): 27.3108
CPU usage (%): 100.013
Max. virtual memory (Kb): 73992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	323920
#### END VERIFIER DATA ####