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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        874068 kB
Buffers:         33888 kB
Cached:         106572 kB
SwapCached:        504 kB
Active:          54956 kB
Inactive:        88036 kB
HighTotal:      131008 kB
HighFree:        34524 kB
LowTotal:       903652 kB
LowFree:        839544 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5940 kB
Slab:            11988 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:40:42 (client local time) WITH STATUS 10 IN 1176.99 SECONDS
stats: 13716 0 1176.99 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.038
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 514236 @ 3.082
c NEW SOLUTION FOUND: 376825 @ 3.083
c NEW SOLUTION FOUND: 375734 @ 3.088
c NEW SOLUTION FOUND: 363658 @ 3.125
c NEW SOLUTION FOUND: 353123 @ 3.174
c NEW SOLUTION FOUND: 341871 @ 3.186
c NEW SOLUTION FOUND: 335351 @ 3.268
c NEW SOLUTION FOUND: 334542 @ 3.341
c NEW SOLUTION FOUND: 328927 @ 3.461
c NEW SOLUTION FOUND: 326657 @ 12.376
c NEW SOLUTION FOUND: 326592 @ 21.033
c NEW SOLUTION FOUND: 325922 @ 22.373
c NEW SOLUTION FOUND: 325851 @ 23.364
c NEW SOLUTION FOUND: 325744 @ 23.794
c NEW SOLUTION FOUND: 325651 @ 24.5
c NEW SOLUTION FOUND: 324938 @ 28.963
c NEW SOLUTION FOUND: 324783 @ 33.012
c NEW SOLUTION FOUND: 324151 @ 170.396
c NEW SOLUTION FOUND: 323920 @ 253.437
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.95 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.84 0.96 0.99 2/54 21538
Raw data (stat): 21538 (runsolver) R 21537 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773045723 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.0005 s]
Raw data (loadavg): 0.87 0.96 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 8427 0 3 0 951 33 0 0 25 0 1 0 773045723 15376384 3069 4294967295 134512640 134714508 3221224592 3221222552 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3754 3069 1111 63 0 3691 0
vsize: 15016
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 29717 0 3 0 1897 86 0 0 25 0 1 0 773045723 18604032 3712 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4542 3712 1111 63 0 4479 0
vsize: 18168
[startup+30.0014 s]
Raw data (loadavg): 0.90 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 62565 0 3 0 2819 164 0 0 25 0 1 0 773045723 21925888 4637 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5353 4637 1111 63 0 5290 0
vsize: 21412
[startup+40.0012 s]
Raw data (loadavg): 0.92 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 84075 0 3 0 3771 212 0 0 25 0 1 0 773045723 24657920 5290 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6020 5290 1111 63 0 5957 0
vsize: 24080
[startup+50.0013 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 86182 0 3 0 4765 218 0 0 25 0 1 0 773045723 25825280 5589 4294967295 134512640 134714508 3221224592 3221222592 1074918594 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.0009 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 88192 0 3 0 5759 223 0 0 25 0 1 0 773045723 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.0008 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 100428 0 3 0 6733 250 0 0 25 0 1 0 773045723 24260608 5221 4294967295 134512640 134714508 3221224592 3221222760 1077378266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5923 5221 1111 63 0 5860 0
vsize: 23692
[startup+80.002 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 122285 0 3 0 7681 302 0 0 25 0 1 0 773045723 25219072 5456 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6157 5456 1111 63 0 6094 0
vsize: 24628
[startup+90.0016 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 146481 0 3 0 8627 356 0 0 25 0 1 0 773045723 26394624 5747 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6444 5747 1111 63 0 6381 0
vsize: 25776
[startup+100.001 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 166907 0 3 0 9578 405 0 0 25 0 1 0 773045723 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.003 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 171894 0 3 0 10566 418 0 0 25 0 1 0 773045723 29032448 6145 4294967295 134512640 134714508 3221224592 3221220556 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7088 6145 1111 63 0 7025 0
vsize: 28352
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 182384 0 3 0 11540 444 0 0 25 0 1 0 773045723 28119040 6136 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6865 6136 1111 63 0 6802 0
vsize: 27460
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 204067 0 3 0 12492 492 0 0 25 0 1 0 773045723 29282304 6422 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7149 6422 1111 63 0 7086 0
vsize: 28596
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 208910 0 3 0 13480 504 0 0 25 0 1 0 773045723 28884992 6356 4294967295 134512640 134714508 3221224592 3221222732 1077379991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7052 6356 1111 63 0 6989 0
vsize: 28208
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 225994 0 3 0 14440 545 0 0 25 0 1 0 773045723 30818304 6806 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7524 6806 1111 63 0 7461 0
vsize: 30096
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 230461 0 3 0 15427 557 0 0 25 0 1 0 773045723 30531584 6749 4294967295 134512640 134714508 3221224592 3221222692 1077374210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7454 6749 1111 63 0 7391 0
vsize: 29816
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 254181 0 3 0 16375 610 0 0 25 0 1 0 773045723 33411072 7077 4294967295 134512640 134714508 3221224592 3221221648 1075277558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8157 7077 1111 63 0 8094 0
vsize: 32628
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 288602 0 3 0 17290 694 0 0 25 0 1 0 773045723 36712448 7977 4294967295 134512640 134714508 3221224592 3221220832 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8963 7977 1111 63 0 8900 0
vsize: 35852
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 313111 0 3 0 18233 751 0 0 25 0 1 0 773045723 36700160 8238 4294967295 134512640 134714508 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8238 1111 63 0 8897 0
vsize: 35840
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 336470 0 3 0 19181 803 0 0 25 0 1 0 773045723 37654528 8473 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9193 8473 1111 63 0 9130 0
vsize: 36772
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 349528 0 3 0 20152 832 0 0 25 0 1 0 773045723 38748160 8708 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9460 8708 1111 63 0 9397 0
vsize: 37840
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 374569 0 3 0 21094 890 0 0 25 0 1 0 773045723 39686144 8954 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9689 8954 1111 63 0 9626 0
vsize: 38756
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 404875 0 3 0 22022 963 0 0 25 0 1 0 773045723 42631168 9671 4294967295 134512640 134714508 3221224592 3221221784 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10408 9671 1111 63 0 10345 0
vsize: 41632
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 438629 0 3 0 22946 1039 0 0 25 0 1 0 773045723 44756992 10190 4294967295 134512640 134714508 3221224592 3221223112 134543125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10927 10190 1111 63 0 10864 0
vsize: 43708
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 469139 0 3 0 23874 1111 0 0 25 0 1 0 773045723 48508928 10917 4294967295 134512640 134714508 3221224592 3221222416 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11843 10917 1111 63 0 11780 0
vsize: 47372
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 495312 0 3 0 24810 1175 0 0 25 0 1 0 773045723 51494912 11428 4294967295 134512640 134714508 3221224592 3221220616 1074860227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12572 11428 1111 63 0 12509 0
vsize: 50288
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 514850 0 3 0 25765 1220 0 0 25 0 1 0 773045723 50896896 11538 4294967295 134512640 134714508 3221224592 3221222928 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12426 11538 1111 63 0 12363 0
vsize: 49704
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 524735 0 3 0 26744 1242 0 0 25 0 1 0 773045723 51408896 11663 4294967295 134512640 134714508 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 11663 1111 63 0 12488 0
vsize: 50204
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 541863 0 3 0 27705 1280 0 0 25 0 1 0 773045723 52101120 11832 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12720 11832 1111 63 0 12657 0
vsize: 50880
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 550353 0 3 0 28685 1301 0 0 25 0 1 0 773045723 52174848 11850 4294967295 134512640 134714508 3221224592 3221223408 134622335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12738 11850 1111 63 0 12675 0
vsize: 50952
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 553744 0 3 0 29676 1310 0 0 25 0 1 0 773045723 53325824 12131 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13019 12131 1111 63 0 12956 0
vsize: 52076
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 554490 0 3 0 30674 1313 0 0 25 0 1 0 773045723 55410688 12633 4294967295 134512640 134714508 3221224592 3221222592 1074918597 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.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 557197 0 3 0 31667 1319 0 0 25 0 1 0 773045723 53551104 12186 4294967295 134512640 134714508 3221224592 3221223304 134543176 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.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 557197 0 3 0 32667 1319 0 0 25 0 1 0 773045723 53551104 12186 4294967295 134512640 134714508 3221224592 3221223328 134622743 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.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 558982 0 3 0 33663 1323 0 0 25 0 1 0 773045723 53039104 12061 4294967295 134512640 134714508 3221224592 3221223384 134536900 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.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 562094 0 3 0 34656 1330 0 0 25 0 1 0 773045723 53870592 12050 4294967295 134512640 134714508 3221224592 3221220752 1075093526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13152 12050 1111 63 0 13089 0
vsize: 52608
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 574837 0 3 0 35627 1360 0 0 25 0 1 0 773045723 53374976 12139 4294967295 134512640 134714508 3221224592 3221223328 134622740 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.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 586032 0 3 0 36602 1385 0 0 25 0 1 0 773045723 53465088 12152 4294967295 134512640 134714508 3221224592 3221222592 1074916856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13053 12152 1111 63 0 12990 0
vsize: 52212
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 594663 0 3 0 37582 1405 0 0 25 0 1 0 773045723 54239232 12346 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13242 12346 1111 63 0 13179 0
vsize: 52968
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 595526 0 3 0 38580 1408 0 0 25 0 1 0 773045723 54026240 12280 4294967295 134512640 134714508 3221224592 3221222544 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13190 12280 1111 63 0 13127 0
vsize: 52760
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 599181 0 3 0 39572 1416 0 0 25 0 1 0 773045723 53682176 12210 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13106 12210 1111 63 0 13043 0
vsize: 52424
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 610315 0 3 0 40548 1440 0 0 25 0 1 0 773045723 54808576 12481 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13381 12481 1111 63 0 13318 0
vsize: 53524
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 618036 0 3 0 41532 1456 0 0 25 0 1 0 773045723 54231040 12344 4294967295 134512640 134714508 3221224592 3221222460 1074050752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13240 12344 1111 63 0 13177 0
vsize: 52960
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 630621 0 3 0 42503 1486 0 0 25 0 1 0 773045723 54456320 12399 4294967295 134512640 134714508 3221224592 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13295 12399 1111 63 0 13232 0
vsize: 53180
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 637303 0 3 0 43486 1502 0 0 25 0 1 0 773045723 55365632 12614 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13517 12614 1111 63 0 13454 0
vsize: 54068
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 640086 0 3 0 44480 1508 0 0 25 0 1 0 773045723 55549952 12672 4294967295 134512640 134714508 3221224592 3221223320 134622755 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.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 640245 0 3 0 45480 1509 0 0 25 0 1 0 773045723 55554048 12651 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13563 12651 1111 63 0 13500 0
vsize: 54252
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 643574 0 3 0 46473 1516 0 0 25 0 1 0 773045723 55341056 12590 4294967295 134512640 134714508 3221224592 3221222928 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13511 12590 1111 63 0 13448 0
vsize: 54044
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 646745 0 3 0 47466 1524 0 0 25 0 1 0 773045723 55279616 12600 4294967295 134512640 134714508 3221224592 3221223408 134622477 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.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 656805 0 3 0 48442 1547 0 0 25 0 1 0 773045723 55062528 12529 4294967295 134512640 134714508 3221224592 3221222928 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13443 12529 1111 63 0 13380 0
vsize: 53772
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 669734 0 3 0 49412 1578 0 0 25 0 1 0 773045723 56991744 12692 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13914 12693 1111 63 0 13851 0
vsize: 55656
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 681028 0 3 0 50385 1604 0 0 25 0 1 0 773045723 56086528 12794 4294967295 134512640 134714508 3221224592 3221223372 134542422 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.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 684622 0 3 0 51376 1614 0 0 25 0 1 0 773045723 56111104 12768 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13699 12768 1111 63 0 13636 0
vsize: 54796
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 694154 0 3 0 52354 1637 0 0 25 0 1 0 773045723 55861248 12703 4294967295 134512640 134714508 3221224592 3221222600 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13638 12703 1111 63 0 13575 0
vsize: 54552
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 703433 0 3 0 53332 1659 0 0 25 0 1 0 773045723 56090624 12791 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13694 12791 1111 63 0 13631 0
vsize: 54776
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 710318 0 3 0 54316 1675 0 0 25 0 1 0 773045723 56262656 12833 4294967295 134512640 134714508 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13736 12833 1111 63 0 13673 0
vsize: 54944
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 714834 0 3 0 55304 1687 0 0 25 0 1 0 773045723 58245120 13293 4294967295 134512640 134714508 3221224592 3221222592 1074918597 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.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 716866 0 3 0 56301 1690 0 0 25 0 1 0 773045723 56975360 13000 4294967295 134512640 134714508 3221224592 3221222592 1074918597 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.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 727558 0 3 0 57276 1715 0 0 25 0 1 0 773045723 58064896 12856 4294967295 134512640 134714508 3221224592 3221221520 1075960263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14176 12856 1111 63 0 14113 0
vsize: 56704
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 750413 0 3 0 58224 1767 0 0 25 0 1 0 773045723 57212928 13061 4294967295 134512640 134714508 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13968 13061 1111 63 0 13905 0
vsize: 55872
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 757642 0 3 0 59209 1783 0 0 25 0 1 0 773045723 58118144 13241 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14189 13241 1111 63 0 14126 0
vsize: 56756
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 772012 0 3 0 60174 1818 0 0 25 0 1 0 773045723 58068992 13255 4294967295 134512640 134714508 3221224592 3221223316 134622905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14177 13255 1111 63 0 14114 0
vsize: 56708
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 789993 0 3 0 61131 1862 0 0 25 0 1 0 773045723 60469248 13423 4294967295 134512640 134714508 3221224592 3221221424 1075115267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14763 13429 1111 63 0 14700 0
vsize: 59052
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 807127 0 3 0 62090 1903 0 0 25 0 1 0 773045723 59691008 13618 4294967295 134512640 134714508 3221224592 3221221872 1074140656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14573 13625 1111 63 0 14510 0
vsize: 58292
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 816492 0 3 0 63067 1926 0 0 25 0 1 0 773045723 60960768 13952 4294967295 134512640 134714508 3221224592 3221222544 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14883 13952 1111 63 0 14820 0
vsize: 59532
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 816642 0 3 0 64066 1927 0 0 25 0 1 0 773045723 61534208 14068 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15023 14068 1111 63 0 14960 0
vsize: 60092
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 816707 0 3 0 65065 1928 0 0 25 0 1 0 773045723 61788160 14133 4294967295 134512640 134714508 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15085 14133 1111 63 0 15022 0
vsize: 60340
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 816753 0 3 0 66064 1929 0 0 25 0 1 0 773045723 61964288 14179 4294967295 134512640 134714508 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15128 14179 1111 63 0 15065 0
vsize: 60512
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 816819 0 3 0 67063 1930 0 0 25 0 1 0 773045723 62148608 14245 4294967295 134512640 134714508 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15173 14245 1111 63 0 15110 0
vsize: 60692
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 816855 0 3 0 68062 1931 0 0 25 0 1 0 773045723 62296064 14281 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15209 14281 1111 63 0 15146 0
vsize: 60836
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 818344 0 3 0 69059 1935 0 0 25 0 1 0 773045723 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.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 818344 0 3 0 70059 1935 0 0 25 0 1 0 773045723 66154496 15216 4294967295 134512640 134714508 3221224592 3221222592 1074918591 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.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 818344 0 3 0 71059 1935 0 0 25 0 1 0 773045723 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.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 821094 0 3 0 72053 1941 0 0 25 0 1 0 773045723 76218368 16926 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18608 16926 1111 63 0 18545 0
vsize: 74432
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 824317 0 3 0 73044 1950 0 0 25 0 1 0 773045723 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+760.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 824317 0 3 0 74044 1950 0 0 25 0 1 0 773045723 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+770.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 824317 0 3 0 75045 1950 0 0 25 0 1 0 773045723 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.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 824317 0 3 0 76045 1950 0 0 25 0 1 0 773045723 62439424 14321 4294967295 134512640 134714508 3221224592 3221223304 134543144 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.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 824317 0 3 0 77045 1950 0 0 25 0 1 0 773045723 62439424 14321 4294967295 134512640 134714508 3221224592 3221223396 134622483 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.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 824317 0 3 0 78045 1950 0 0 25 0 1 0 773045723 62439424 14321 4294967295 134512640 134714508 3221224592 3221223384 134558492 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.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 824317 0 3 0 79045 1950 0 0 25 0 1 0 773045723 62439424 14321 4294967295 134512640 134714508 3221224592 3221223392 134622487 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.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 824887 0 3 0 80043 1952 0 0 25 0 1 0 773045723 62255104 14276 4294967295 134512640 134714508 3221224592 3221222592 1074918544 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.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 827428 0 3 0 81037 1959 0 0 25 0 1 0 773045723 60563456 13863 4294967295 134512640 134714508 3221224592 3221222848 1074153770 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.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 833444 0 3 0 82023 1973 0 0 25 0 1 0 773045723 60563456 13863 4294967295 134512640 134714508 3221224592 3221222592 1074916565 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.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 859066 0 3 0 82962 2033 0 0 25 0 1 0 773045723 60891136 13943 4294967295 134512640 134714508 3221224592 3221223328 134622747 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.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 870751 0 3 0 83935 2061 0 0 25 0 1 0 773045723 60624896 13878 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14801 13878 1111 63 0 14738 0
vsize: 59204
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 899454 0 3 0 84865 2131 0 0 25 0 1 0 773045723 60944384 13956 4294967295 134512640 134714508 3221224592 3221222052 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14879 13956 1111 63 0 14816 0
vsize: 59516
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 904622 0 3 0 85853 2144 0 0 25 0 1 0 773045723 61636608 14125 4294967295 134512640 134714508 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15048 14125 1111 63 0 14985 0
vsize: 60192
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 910207 0 3 0 86840 2157 0 0 25 0 1 0 773045723 61411328 14070 4294967295 134512640 134714508 3221224592 3221223304 134543162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14993 14070 1111 63 0 14930 0
vsize: 59972
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 931840 0 3 0 87787 2209 0 0 25 0 1 0 773045723 61386752 14066 4294967295 134512640 134714508 3221224592 3221222396 1077404704 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14987 14066 1111 63 0 14924 0
vsize: 59948
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 955765 0 3 0 88729 2268 0 0 25 0 1 0 773045723 67465216 14225 4294967295 134512640 134714508 3221224592 3221221576 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16471 14225 1111 63 0 16408 0
vsize: 65884
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 965599 0 3 0 89705 2292 0 0 25 0 1 0 773045723 63062016 14480 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15396 14480 1111 63 0 15333 0
vsize: 61584
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 966419 0 3 0 90703 2295 0 0 25 0 1 0 773045723 65310720 15022 4294967295 134512640 134714508 3221224592 3221222592 1074918576 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.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 969644 0 3 0 91695 2302 0 0 25 0 1 0 773045723 63438848 14572 4294967295 134512640 134714508 3221224592 3221223304 134558485 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.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 969644 0 3 0 92696 2302 0 0 25 0 1 0 773045723 63438848 14572 4294967295 134512640 134714508 3221224592 3221223396 134622267 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.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 969644 0 3 0 93696 2302 0 0 25 0 1 0 773045723 63438848 14572 4294967295 134512640 134714508 3221224592 3221223384 134536900 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.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 972931 0 3 0 94687 2311 0 0 25 0 1 0 773045723 62922752 14427 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15362 14427 1111 63 0 15299 0
vsize: 61448
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 996347 0 3 0 95632 2367 0 0 25 0 1 0 773045723 62840832 14418 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15672 14418 1111 63 0 15609 0
vsize: 61368
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1017303 0 3 0 96582 2417 0 0 25 0 1 0 773045723 64438272 14793 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15732 14793 1111 63 0 15669 0
vsize: 62928
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1017835 0 3 0 97580 2419 0 0 25 0 1 0 773045723 65916928 15159 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16093 15159 1111 63 0 16030 0
vsize: 64372
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1019576 0 3 0 98577 2423 0 0 25 0 1 0 773045723 64487424 14821 4294967295 134512640 134714508 3221224592 3221223304 134543187 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.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1020189 0 3 0 99574 2425 0 0 25 0 1 0 773045723 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.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1022333 0 3 0 100570 2430 0 0 25 0 1 0 773045723 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.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1026018 0 3 0 101562 2438 0 0 25 0 1 0 773045723 69312512 15016 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16922 15016 1111 63 0 16859 0
vsize: 67688
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1043054 0 3 0 102520 2480 0 0 25 0 1 0 773045723 64536576 14830 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15756 14830 1111 63 0 15693 0
vsize: 63024
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1064864 0 3 0 103468 2533 0 0 25 0 1 0 773045723 64901120 14920 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15845 14920 1111 63 0 15782 0
vsize: 63380
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1070669 0 3 0 104453 2548 0 0 25 0 1 0 773045723 66895872 15395 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16332 15395 1111 63 0 16269 0
vsize: 65328
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1072191 0 3 0 105450 2551 0 0 25 0 1 0 773045723 65679360 15110 4294967295 134512640 134714508 3221224592 3221223328 134622743 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.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1074116 0 3 0 106446 2556 0 0 25 0 1 0 773045723 65282048 15013 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15938 15013 1111 63 0 15875 0
vsize: 63752
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1076107 0 3 0 107441 2560 0 0 25 0 1 0 773045723 66764800 15366 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16300 15366 1111 63 0 16237 0
vsize: 65200
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1077511 0 3 0 108438 2564 0 0 25 0 1 0 773045723 65687552 15112 4294967295 134512640 134714508 3221224592 3221223408 134622464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16037 15112 1111 63 0 15974 0
vsize: 64148
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1086595 0 3 0 109418 2584 0 0 25 0 1 0 773045723 70483968 15012 4294967295 134512640 134714508 3221224592 3221220720 1074880632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15889 14964 1111 63 0 15826 0
vsize: 68832
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1113166 0 3 0 110353 2649 0 0 25 0 1 0 773045723 66686976 15340 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16281 15340 1111 63 0 16218 0
vsize: 65124
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1141794 0 3 0 111283 2719 0 0 25 0 1 0 773045723 75403264 16358 4294967295 134512640 134714508 3221224592 3221220960 1075894554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18409 16358 1111 63 0 18346 0
vsize: 73636
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1170525 0 3 0 112210 2792 0 0 25 0 1 0 773045723 68460544 15765 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16714 15765 1111 63 0 16651 0
vsize: 66856
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1172525 0 3 0 113205 2797 0 0 25 0 1 0 773045723 68681728 15828 4294967295 134512640 134714508 3221224592 3221223308 134558476 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.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1172525 0 3 0 114205 2798 0 0 25 0 1 0 773045723 68096000 15685 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16625 15685 1111 63 0 16562 0
vsize: 66500
[startup+1176.99 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 21538
Raw data (stat): 21538 (bsolo_lpr) R 21537 21152 21151 0 -1 0 1172525 0 3 0 114205 2798 0 0 25 0 1 0 773045723 68096000 15685 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16625 15685 1111 63 0 16562 0
vsize: 0

Child status: 10
Real time (s): 1176.99
CPU time (s): 1176.99
CPU user time (s): 1148.94
CPU system time (s): 28.0457
CPU usage (%): 100
Max. virtual memory (Kb): 74432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	323920
#### END VERIFIER DATA ####