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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        690176 kB
Buffers:         22356 kB
Cached:         295400 kB
SwapCached:        416 kB
Active:          23868 kB
Inactive:       296172 kB
HighTotal:      131008 kB
HighFree:        13748 kB
LowTotal:       903652 kB
LowFree:        676428 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            18648 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:33:19 (client local time) WITH STATUS 10 IN 1176.06 SECONDS
stats: 12130 0 1176.06 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.307 s
c Initial Lower Bound: 55117
c Lower Bound Elapsed time: 0.0376
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 514236 @ 3.089
c NEW SOLUTION FOUND: 376825 @ 3.09
c NEW SOLUTION FOUND: 375734 @ 3.094
c NEW SOLUTION FOUND: 363658 @ 3.132
c NEW SOLUTION FOUND: 353123 @ 3.181
c NEW SOLUTION FOUND: 341871 @ 3.193
c NEW SOLUTION FOUND: 335351 @ 3.276
c NEW SOLUTION FOUND: 334542 @ 3.349
c NEW SOLUTION FOUND: 328927 @ 3.471
c NEW SOLUTION FOUND: 326657 @ 12.43
c NEW SOLUTION FOUND: 326592 @ 21.155
c NEW SOLUTION FOUND: 325922 @ 22.5
c NEW SOLUTION FOUND: 325851 @ 23.495
c NEW SOLUTION FOUND: 325744 @ 23.93
c NEW SOLUTION FOUND: 325651 @ 24.635
c NEW SOLUTION FOUND: 324938 @ 29.092
c NEW SOLUTION FOUND: 324783 @ 33.176
c NEW SOLUTION FOUND: 324151 @ 171.68
c NEW SOLUTION FOUND: 323920 @ 255.05
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: 1176.03 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.92 0.97 0.91 2/54 19434
Raw data (stat): 19434 (runsolver) R 19433 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835544404 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+9.99963 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 8536 0 0 0 965 32 0 0 25 0 1 0 835544404 15749120 3082 4294967295 134512640 134714508 3221224592 3221221576 1074831411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3798 3076 1111 63 0 3735 0
vsize: 15380
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 29782 0 0 0 1910 86 0 0 25 0 1 0 835544404 18604032 3712 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4542 3717 1111 63 0 4479 0
vsize: 18168
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 62568 0 0 0 2836 160 0 0 25 0 1 0 835544404 22548480 4643 4294967295 134512640 134714508 3221224592 3221221548 1075066340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5505 4643 1111 63 0 5442 0
vsize: 22020
[startup+40.001 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 84073 0 0 0 3786 210 0 0 25 0 1 0 835544404 24645632 5285 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6017 5285 1111 63 0 5954 0
vsize: 24068
[startup+50.002 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 86185 0 0 0 4781 215 0 0 25 0 1 0 835544404 25825280 5589 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6305 5589 1111 63 0 6242 0
vsize: 25220
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 88195 0 0 0 5776 220 0 0 25 0 1 0 835544404 25432064 5493 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6209 5493 1111 63 0 6146 0
vsize: 24836
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 98878 0 0 0 6752 244 0 0 25 0 1 0 835544404 25624576 5209 4294967295 134512640 134714508 3221224592 3221217388 1075363790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5904 5202 1111 63 0 5841 0
vsize: 25024
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 120591 0 0 0 7703 294 0 0 25 0 1 0 835544404 25145344 5438 4294967295 134512640 134714508 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6139 5438 1111 63 0 6076 0
vsize: 24556
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 145940 0 0 0 8644 353 0 0 25 0 1 0 835544404 26542080 5783 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6480 5783 1111 63 0 6417 0
vsize: 25920
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 166616 0 0 0 9600 397 0 0 25 0 1 0 835544404 28217344 6161 4294967295 134512640 134714508 3221224592 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6889 6161 1111 63 0 6826 0
vsize: 27556
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 170979 0 0 0 10590 407 0 0 25 0 1 0 835544404 27590656 6039 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6736 6039 1111 63 0 6673 0
vsize: 26944
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 181685 0 0 0 11563 434 0 0 25 0 1 0 835544404 27652096 6054 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6751 6054 1111 63 0 6688 0
vsize: 27004
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 203965 0 0 0 12516 482 0 0 25 0 1 0 835544404 28790784 6322 4294967295 134512640 134714508 3221224592 3221222424 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7029 6322 1111 63 0 6966 0
vsize: 28116
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 206391 0 0 0 13510 488 0 0 25 0 1 0 835544404 29069312 6401 4294967295 134512640 134714508 3221224592 3221223372 134543569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7097 6401 1111 63 0 7034 0
vsize: 28388
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 225547 0 0 0 14465 533 0 0 25 0 1 0 835544404 33239040 7201 4294967295 134512640 134714508 3221224592 3221221248 1075968404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8115 7201 1111 63 0 8052 0
vsize: 32460
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 228789 0 0 0 15458 540 0 0 25 0 1 0 835544404 30613504 6756 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6756 1111 63 0 7411 0
vsize: 29896
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 249825 0 0 0 16410 588 0 0 25 0 1 0 835544404 31653888 7025 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7728 7025 1111 63 0 7665 0
vsize: 30912
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 284550 0 0 0 17332 665 0 0 25 0 1 0 835544404 34979840 7819 4294967295 134512640 134714508 3221224592 3221222904 1077410279 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 310522 0 0 0 18275 722 0 0 25 0 1 0 835544404 36585472 8210 4294967295 134512640 134714508 3221224592 3221222552 1074138285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8932 8210 1111 63 0 8869 0
vsize: 35728
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 335241 0 0 0 19225 773 0 0 25 0 1 0 835544404 41046016 8819 4294967295 134512640 134714508 3221224592 3221220752 1075092579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10021 8820 1111 63 0 9958 0
vsize: 40084
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 347487 0 0 0 20197 801 0 0 25 0 1 0 835544404 38252544 8619 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9339 8619 1111 63 0 9276 0
vsize: 37356
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 369963 0 0 0 21147 851 0 0 25 0 1 0 835544404 40853504 8887 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9974 8887 1111 63 0 9911 0
vsize: 39896
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 402480 0 0 0 22070 929 0 0 25 0 1 0 835544404 42049536 9532 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10266 9533 1111 63 0 10203 0
vsize: 41064
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 433688 0 0 0 22995 1003 0 0 25 0 1 0 835544404 44138496 10057 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10864 10059 1111 63 0 10801 0
vsize: 43104
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 464101 0 0 0 23926 1073 0 0 25 0 1 0 835544404 48156672 10755 4294967295 134512640 134714508 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11757 10755 1111 63 0 11694 0
vsize: 47028
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 491353 0 0 0 24859 1140 0 0 25 0 1 0 835544404 49770496 11242 4294967295 134512640 134714508 3221224592 3221223144 134543141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12151 11242 1111 63 0 12088 0
vsize: 48604
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 511847 0 0 0 25811 1188 0 0 25 0 1 0 835544404 50782208 11503 4294967295 134512640 134714508 3221224592 3221223096 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12398 11503 1111 63 0 12335 0
vsize: 49592
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 524005 0 0 0 26784 1215 0 0 25 0 1 0 835544404 51937280 11758 4294967295 134512640 134714508 3221224592 3221222512 1075799720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12680 11758 1111 63 0 12617 0
vsize: 50720
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 541314 0 0 0 27746 1254 0 0 25 0 1 0 835544404 52367360 11896 4294967295 134512640 134714508 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12785 11896 1111 63 0 12722 0
vsize: 51140
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 549120 0 0 0 28727 1273 0 0 25 0 1 0 835544404 54521856 11926 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13311 11926 1111 63 0 13248 0
vsize: 53244
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 553738 0 0 0 29715 1285 0 0 25 0 1 0 835544404 53288960 12122 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13010 12122 1111 63 0 12947 0
vsize: 52040
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 554493 0 0 0 30712 1288 0 0 25 0 1 0 835544404 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 555732 0 0 0 31710 1290 0 0 25 0 1 0 835544404 58945536 13331 4294967295 134512640 134714508 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14391 13331 1111 63 0 14328 0
vsize: 57564
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 557200 0 0 0 32707 1294 0 0 25 0 1 0 835544404 53551104 12186 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13074 12186 1111 63 0 13011 0
vsize: 52296
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 558985 0 0 0 33702 1299 0 0 25 0 1 0 835544404 53039104 12061 4294967295 134512640 134714508 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12949 12061 1111 63 0 12886 0
vsize: 51796
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 561319 0 0 0 34697 1304 0 0 25 0 1 0 835544404 55054336 12279 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13441 12279 1111 63 0 13378 0
vsize: 53764
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 574840 0 0 0 35664 1337 0 0 25 0 1 0 835544404 53374976 12139 4294967295 134512640 134714508 3221224592 3221223368 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13031 12139 1111 63 0 12968 0
vsize: 52124
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 586023 0 0 0 36638 1363 0 0 25 0 1 0 835544404 53506048 12167 4294967295 134512640 134714508 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13063 12167 1111 63 0 13000 0
vsize: 52252
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 594162 0 0 0 37619 1382 0 0 25 0 1 0 835544404 54960128 12468 4294967295 134512640 134714508 3221224592 3221222336 1075636544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13418 12468 1111 63 0 13355 0
vsize: 53672
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 595465 0 0 0 38615 1386 0 0 25 0 1 0 835544404 53821440 12216 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13140 12217 1111 63 0 13077 0
vsize: 52560
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 598646 0 0 0 39607 1394 0 0 25 0 1 0 835544404 53915648 12267 4294967295 134512640 134714508 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13163 12267 1111 63 0 13100 0
vsize: 52652
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 610104 0 0 0 40583 1419 0 0 25 0 1 0 835544404 54210560 12325 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13235 12325 1111 63 0 13172 0
vsize: 52940
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 618039 0 0 0 41564 1438 0 0 25 0 1 0 835544404 54464512 12401 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13297 12401 1111 63 0 13234 0
vsize: 53188
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 629758 0 0 0 42537 1466 0 0 25 0 1 0 835544404 56188928 12414 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13718 12414 1111 63 0 13655 0
vsize: 54872
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 637297 0 0 0 43518 1485 0 0 25 0 1 0 835544404 55341056 12605 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13511 12605 1111 63 0 13448 0
vsize: 54044
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 640089 0 0 0 44512 1491 0 0 25 0 1 0 835544404 55549952 12672 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13562 12672 1111 63 0 13499 0
vsize: 54248
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 640244 0 0 0 45511 1492 0 0 25 0 1 0 835544404 55541760 12647 4294967295 134512640 134714508 3221224592 3221222748 1074206848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13560 12647 1111 63 0 13497 0
vsize: 54240
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 643503 0 0 0 46503 1500 0 0 25 0 1 0 835544404 54980608 12516 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13423 12516 1111 63 0 13360 0
vsize: 53692
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 646748 0 0 0 47495 1508 0 0 25 0 1 0 835544404 55279616 12600 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13496 12600 1111 63 0 13433 0
vsize: 53984
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 656810 0 0 0 48472 1531 0 0 25 0 1 0 835544404 55062528 12531 4294967295 134512640 134714508 3221224592 3221222896 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13443 12531 1111 63 0 13380 0
vsize: 53772
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 669476 0 0 0 49442 1561 0 0 25 0 1 0 835544404 56991744 12700 4294967295 134512640 134714508 3221224592 3221220800 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13914 12700 1111 63 0 13851 0
vsize: 55656
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 681031 0 0 0 50416 1588 0 0 25 0 1 0 835544404 56086528 12794 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13693 12794 1111 63 0 13630 0
vsize: 54772
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 684547 0 0 0 51409 1595 0 0 25 0 1 0 835544404 55701504 12700 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13599 12700 1111 63 0 13536 0
vsize: 54396
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 693972 0 0 0 52388 1616 0 0 25 0 1 0 835544404 55861248 12699 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13638 12699 1111 63 0 13575 0
vsize: 54552
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 702899 0 0 0 53367 1637 0 0 25 0 1 0 835544404 55894016 12743 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13646 12743 1111 63 0 13583 0
vsize: 54584
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 709943 0 0 0 54351 1654 0 0 25 0 1 0 835544404 56623104 12889 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13824 12889 1111 63 0 13761 0
vsize: 55296
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 714837 0 0 0 55338 1667 0 0 25 0 1 0 835544404 58245120 13293 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14220 13293 1111 63 0 14157 0
vsize: 56880
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 716869 0 0 0 56334 1671 0 0 25 0 1 0 835544404 56975360 13000 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13910 13000 1111 63 0 13847 0
vsize: 55640
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 726800 0 0 0 57311 1694 0 0 25 0 1 0 835544404 56332288 12850 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13753 12850 1111 63 0 13690 0
vsize: 55012
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 749372 0 0 0 58258 1747 0 0 25 0 1 0 835544404 58945536 13171 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14391 13171 1111 63 0 14328 0
vsize: 57564
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 757536 0 0 0 59239 1767 0 0 25 0 1 0 835544404 57634816 13155 4294967295 134512640 134714508 3221224592 3221222944 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14071 13155 1111 63 0 14008 0
vsize: 56284
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 771045 0 0 0 60208 1798 0 0 25 0 1 0 835544404 58130432 13261 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14192 13261 1111 63 0 14129 0
vsize: 56768
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 788790 0 0 0 61169 1837 0 0 25 0 1 0 835544404 58720256 13413 4294967295 134512640 134714508 3221224592 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14336 13413 1111 63 0 14273 0
vsize: 57344
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 806292 0 0 0 62128 1878 0 0 25 0 1 0 835544404 59469824 13596 4294967295 134512640 134714508 3221224592 3221221696 1074138810 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14942 13602 1111 63 0 14879 0
vsize: 58076
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 816490 0 0 0 63104 1902 0 0 25 0 1 0 835544404 60948480 13947 4294967295 134512640 134714508 3221224592 3221222896 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14880 13947 1111 63 0 14817 0
vsize: 59520
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 816641 0 0 0 64103 1903 0 0 25 0 1 0 835544404 61517824 14064 4294967295 134512640 134714508 3221224592 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15019 14064 1111 63 0 14956 0
vsize: 60076
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 816705 0 0 0 65103 1904 0 0 25 0 1 0 835544404 61767680 14128 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15080 14128 1111 63 0 15017 0
vsize: 60320
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 816752 0 0 0 66102 1905 0 0 25 0 1 0 835544404 61947904 14175 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15124 14175 1111 63 0 15061 0
vsize: 60496
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 816818 0 0 0 67101 1906 0 0 25 0 1 0 835544404 62132224 14241 4294967295 134512640 134714508 3221224592 3221222896 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15169 14241 1111 63 0 15106 0
vsize: 60676
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 816857 0 0 0 68101 1906 0 0 25 0 1 0 835544404 62291968 14280 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15208 14280 1111 63 0 15145 0
vsize: 60832
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 818347 0 0 0 69098 1910 0 0 25 0 1 0 835544404 66154496 15216 4294967295 134512640 134714508 3221224592 3221222592 1074918583 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 818347 0 0 0 70098 1910 0 0 25 0 1 0 835544404 66154496 15216 4294967295 134512640 134714508 3221224592 3221222592 1074918583 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 818347 0 0 0 71098 1910 0 0 25 0 1 0 835544404 66154496 15216 4294967295 134512640 134714508 3221224592 3221222592 1074918597 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 821115 0 0 0 72092 1917 0 0 25 0 1 0 835544404 76218368 16944 4294967295 134512640 134714508 3221224592 3221220604 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18608 16944 1111 63 0 18545 0
vsize: 74432
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 824320 0 0 0 73085 1924 0 0 25 0 1 0 835544404 62439424 14321 4294967295 134512640 134714508 3221224592 3221223384 134536897 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 824320 0 0 0 74085 1924 0 0 25 0 1 0 835544404 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 824320 0 0 0 75085 1924 0 0 25 0 1 0 835544404 62439424 14321 4294967295 134512640 134714508 3221224592 3221223408 134622468 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 824320 0 0 0 76085 1924 0 0 25 0 1 0 835544404 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+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 824320 0 0 0 77085 1924 0 0 25 0 1 0 835544404 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+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 824320 0 0 0 78086 1924 0 0 25 0 1 0 835544404 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 824320 0 0 0 79086 1924 0 0 25 0 1 0 835544404 62439424 14321 4294967295 134512640 134714508 3221224592 3221223368 134542421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15244 14321 1111 63 0 15181 0
vsize: 60976
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 824890 0 0 0 80084 1926 0 0 25 0 1 0 835544404 62255104 14276 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15199 14276 1111 63 0 15136 0
vsize: 60796
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 827431 0 0 0 81078 1933 0 0 25 0 1 0 835544404 60563456 13863 4294967295 134512640 134714508 3221224592 3221222800 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14786 13863 1111 63 0 14723 0
vsize: 59144
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 833558 0 0 0 82063 1947 0 0 25 0 1 0 835544404 60563456 13863 4294967295 134512640 134714508 3221224592 3221223072 134650068 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 859069 0 0 0 83004 2006 0 0 25 0 1 0 835544404 60891136 13943 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14866 13943 1111 63 0 14803 0
vsize: 59464
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 870800 0 0 0 83977 2034 0 0 25 0 1 0 835544404 60817408 13923 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14848 13923 1111 63 0 14785 0
vsize: 59392
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 900687 0 0 0 84906 2105 0 0 25 0 1 0 835544404 66326528 14134 4294967295 134512640 134714508 3221224592 3221220764 1074790003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16193 14134 1111 63 0 16130 0
vsize: 64772
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 904625 0 0 0 85896 2115 0 0 25 0 1 0 835544404 61145088 14005 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14928 14005 1111 63 0 14865 0
vsize: 59712
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 910210 0 0 0 86881 2130 0 0 25 0 1 0 835544404 61153280 14007 4294967295 134512640 134714508 3221224592 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14930 14007 1111 63 0 14867 0
vsize: 59720
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 934782 0 0 0 87821 2190 0 0 25 0 1 0 835544404 61353984 14063 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14979 14063 1111 63 0 14916 0
vsize: 59916
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 958836 0 0 0 88766 2246 0 0 25 0 1 0 835544404 61976576 14215 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15131 14215 1111 63 0 15068 0
vsize: 60524
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 965667 0 0 0 89749 2263 0 0 25 0 1 0 835544404 63164416 14505 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15421 14505 1111 63 0 15358 0
vsize: 61684
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 966422 0 0 0 90747 2265 0 0 25 0 1 0 835544404 65310720 15022 4294967295 134512640 134714508 3221224592 3221222592 1074918597 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 969647 0 0 0 91740 2272 0 0 25 0 1 0 835544404 63438848 14572 4294967295 134512640 134714508 3221224592 3221223408 134622468 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 969647 0 0 0 92740 2272 0 0 25 0 1 0 835544404 63438848 14572 4294967295 134512640 134714508 3221224592 3221223308 134558476 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 969647 0 0 0 93741 2272 0 0 25 0 1 0 835544404 63438848 14572 4294967295 134512640 134714508 3221224592 3221223408 134622248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15488 14572 1111 63 0 15425 0
vsize: 61952
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 973385 0 0 0 94732 2281 0 0 25 0 1 0 835544404 62648320 14379 4294967295 134512640 134714508 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15295 14379 1111 63 0 15232 0
vsize: 61180
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 997366 0 0 0 95676 2337 0 0 25 0 1 0 835544404 63188992 14506 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15427 14506 1111 63 0 15364 0
vsize: 61708
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1017327 0 0 0 96628 2385 0 0 25 0 1 0 835544404 64495616 14814 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15746 14814 1111 63 0 15683 0
vsize: 62984
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1019579 0 0 0 97622 2391 0 0 25 0 1 0 835544404 64487424 14821 4294967295 134512640 134714508 3221224592 3221223328 134622743 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1019579 0 0 0 98622 2391 0 0 25 0 1 0 835544404 64487424 14821 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15744 14821 1111 63 0 15681 0
vsize: 62976
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1020192 0 0 0 99621 2393 0 0 25 0 1 0 835544404 65613824 15087 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16019 15087 1111 63 0 15956 0
vsize: 64076
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1022336 0 0 0 100616 2398 0 0 25 0 1 0 835544404 65417216 15048 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15971 15048 1111 63 0 15908 0
vsize: 63884
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1028545 0 0 0 101601 2414 0 0 25 0 1 0 835544404 63909888 14680 4294967295 134512640 134714508 3221224592 3221222320 1075828208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15603 14680 1111 63 0 15540 0
vsize: 62412
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1044851 0 0 0 102559 2455 0 0 25 0 1 0 835544404 64237568 14760 4294967295 134512640 134714508 3221224592 3221223372 134623145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15683 14760 1111 63 0 15620 0
vsize: 62732
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1065509 0 0 0 103510 2505 0 0 25 0 1 0 835544404 64974848 14938 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15863 14938 1111 63 0 15800 0
vsize: 63452
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1071218 0 0 0 104497 2519 0 0 25 0 1 0 835544404 75661312 15633 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18472 15633 1111 63 0 18409 0
vsize: 73888
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1072194 0 0 0 105494 2521 0 0 25 0 1 0 835544404 65679360 15110 4294967295 134512640 134714508 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16035 15110 1111 63 0 15972 0
vsize: 64140
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1074140 0 0 0 106489 2526 0 0 25 0 1 0 835544404 65368064 15034 4294967295 134512640 134714508 3221224592 3221222528 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15959 15034 1111 63 0 15896 0
vsize: 63836
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1077514 0 0 0 107481 2535 0 0 25 0 1 0 835544404 65687552 15112 4294967295 134512640 134714508 3221224592 3221223408 134622468 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1077590 0 0 0 108481 2535 0 0 25 0 1 0 835544404 65454080 15055 4294967295 134512640 134714508 3221224592 3221222528 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15980 15055 1111 63 0 15917 0
vsize: 63920
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1091535 0 0 0 109447 2569 0 0 25 0 1 0 835544404 67948544 15024 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15929 15007 1111 63 0 15866 0
vsize: 66356
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1114026 0 0 0 110392 2625 0 0 25 0 1 0 835544404 66433024 15249 4294967295 134512640 134714508 3221224592 3221222704 1074867334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16219 15249 1111 63 0 16156 0
vsize: 64876
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1146220 0 0 0 111317 2699 0 0 25 0 1 0 835544404 67153920 15454 4294967295 134512640 134714508 3221224592 3221222756 1077374568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16395 15454 1111 63 0 16332 0
vsize: 65580
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1170543 0 0 0 112258 2759 0 0 25 0 1 0 835544404 68521984 15780 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16729 15780 1111 63 0 16666 0
vsize: 66916
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1172528 0 0 0 113254 2763 0 0 25 0 1 0 835544404 68681728 15828 4294967295 134512640 134714508 3221224592 3221223304 134543187 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1172551 0 0 0 114254 2763 0 0 25 0 1 0 835544404 68231168 15708 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16658 15708 1111 63 0 16595 0
vsize: 66632
[startup+1175.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19434
Raw data (stat): 19434 (bsolo_lpr) R 19433 10795 10794 0 -1 0 1172551 0 0 0 114254 2763 0 0 25 0 1 0 835544404 68231168 15708 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16658 15708 1111 63 0 16595 0
vsize: 0

Child status: 10
Real time (s): 1175.91
CPU time (s): 1176.06
CPU user time (s): 1148.36
CPU system time (s): 27.6988
CPU usage (%): 100.013
Max. virtual memory (Kb): 74432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	323920
#### END VERIFIER DATA ####