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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb
MD5SUMa733e9fa1e4e3ac90baf85249f7c3e9a
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers21
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.01984
Number of variables282
Total number of constraints523
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)282
Number of constraints which are nor clauses,nor cardinality constraints64
Minimum length of a constraint1
Maximum length of a constraint57

Trace number 39917

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        802368 kB
Buffers:         34292 kB
Cached:         175492 kB
SwapCached:       1492 kB
Active:          36880 kB
Inactive:       175028 kB
HighTotal:      131008 kB
HighFree:          812 kB
LowTotal:       903652 kB
LowFree:        801556 kB
SwapTotal:     2097136 kB
SwapFree:      2094668 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5000 kB
Slab:            14712 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 22:46:51 (client local time) WITH STATUS 10 IN 1185.46 SECONDS
stats: 27978 0 1185.46 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.302 s
c Initial Lower Bound: 55080
c Lower Bound Elapsed time: 0.0195
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 497683 @ 3.767
c NEW SOLUTION FOUND: 360272 @ 3.768
c NEW SOLUTION FOUND: 359409 @ 3.773
c NEW SOLUTION FOUND: 345511 @ 3.809
c NEW SOLUTION FOUND: 342861 @ 3.827
c NEW SOLUTION FOUND: 342140 @ 3.901
c NEW SOLUTION FOUND: 328871 @ 4.272
c NEW SOLUTION FOUND: 328559 @ 4.554
c NEW SOLUTION FOUND: 295477 @ 5.323
c NEW SOLUTION FOUND: 293603 @ 5.559
c NEW SOLUTION FOUND: 291043 @ 6.36
c NEW SOLUTION FOUND: 289169 @ 6.439
c NEW SOLUTION FOUND: 280436 @ 16.559
c NEW SOLUTION FOUND: 276002 @ 16.789
c NEW SOLUTION FOUND: 270697 @ 18.029
c NEW SOLUTION FOUND: 269556 @ 94.097
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: 1185.4 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (runsolver) R 31367 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896590263 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 8973 0 0 0 970 27 0 0 25 0 1 0 896590263 14954496 2960 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3651 2960 1111 63 0 3588 0
vsize: 14604
[startup+20.0016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 22292 0 0 0 1929 68 0 0 25 0 1 0 896590263 18788352 3841 4294967295 134512640 134716908 3221224576 3221221128 1075332533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4587 3841 1111 63 0 4524 0
vsize: 18348
[startup+30.0018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 34750 0 0 0 2891 106 0 0 25 0 1 0 896590263 24539136 5272 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5991 5272 1111 63 0 5928 0
vsize: 23964
[startup+40.0023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 37760 0 0 0 3883 114 0 0 25 0 1 0 896590263 23478272 5041 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5732 5041 1111 63 0 5669 0
vsize: 22928
[startup+50.0026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 56512 0 0 0 4842 155 0 0 25 0 1 0 896590263 24522752 5302 4294967295 134512640 134716908 3221224576 3221223288 134543191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5987 5302 1111 63 0 5924 0
vsize: 23948
[startup+60.0029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 75074 0 0 0 5801 197 0 0 25 0 1 0 896590263 25587712 5551 4294967295 134512640 134716908 3221224576 3221222304 1075828432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6247 5551 1111 63 0 6184 0
vsize: 24988
[startup+70.0041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 87981 0 0 0 6772 226 0 0 25 0 1 0 896590263 26787840 5834 4294967295 134512640 134716908 3221224576 3221222800 1074057961 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6540 5834 1111 63 0 6477 0
vsize: 26160
[startup+80.0048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 110399 0 0 0 7722 275 0 0 25 0 1 0 896590263 28180480 6191 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6880 6191 1111 63 0 6817 0
vsize: 27520
[startup+90.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 146227 0 0 0 8637 361 0 0 25 0 1 0 896590263 32669696 7199 4294967295 134512640 134716908 3221224576 3221222880 1073978430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7976 7199 1111 63 0 7913 0
vsize: 31904
[startup+100.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 187500 0 0 0 9541 457 0 0 25 0 1 0 896590263 37421056 8113 4294967295 134512640 134716908 3221224576 3221220736 1075091320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9136 8113 1111 63 0 9073 0
vsize: 36544
[startup+110.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 232074 0 0 0 10441 557 0 0 25 0 1 0 896590263 40894464 9089 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9984 9089 1111 63 0 9921 0
vsize: 39936
[startup+120.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 256030 0 0 0 11387 611 0 0 25 0 1 0 896590263 43024384 9470 4294967295 134512640 134716908 3221224576 3221220540 1074860828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10504 9470 1111 63 0 10441 0
vsize: 42016
[startup+130.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 263895 0 0 0 12370 629 0 0 25 0 1 0 896590263 42868736 9655 4294967295 134512640 134716908 3221224576 3221223368 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10466 9655 1111 63 0 10403 0
vsize: 41864
[startup+140.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 271779 0 0 0 13351 647 0 0 25 0 1 0 896590263 42590208 9587 4294967295 134512640 134716908 3221224576 3221222912 1073986742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10398 9587 1111 63 0 10335 0
vsize: 41592
[startup+150.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 309604 0 0 0 14271 728 0 0 25 0 1 0 896590263 44490752 10054 4294967295 134512640 134716908 3221224576 3221222304 1075635959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10862 10054 1111 63 0 10799 0
vsize: 43448
[startup+160.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 324715 0 0 0 15236 763 0 0 25 0 1 0 896590263 45277184 10257 4294967295 134512640 134716908 3221224576 3221223016 1074120059 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11054 10257 1111 63 0 10991 0
vsize: 44216
[startup+170.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 370030 0 0 0 16137 862 0 0 25 0 1 0 896590263 50401280 11161 4294967295 134512640 134716908 3221224576 3221220896 1075169799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12305 11161 1111 63 0 12242 0
vsize: 49220
[startup+180.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 417272 0 0 0 17027 972 0 0 25 0 1 0 896590263 54702080 12339 4294967295 134512640 134716908 3221224576 3221222300 1076121328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13355 12339 1111 63 0 13292 0
vsize: 53420
[startup+190.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 466430 0 0 0 17921 1079 0 0 25 0 1 0 896590263 58937344 13325 4294967295 134512640 134716908 3221224576 3221222940 1074207552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14389 13325 1111 63 0 14326 0
vsize: 57556
[startup+200.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 508246 0 0 0 18827 1172 0 0 25 0 1 0 896590263 63254528 14342 4294967295 134512640 134716908 3221224576 3221223152 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 14342 1111 63 0 15380 0
vsize: 61772
[startup+210.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 535378 0 0 0 19771 1229 0 0 25 0 1 0 896590263 64532480 14643 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15755 14643 1111 63 0 15692 0
vsize: 63020
[startup+220.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 573017 0 0 0 20688 1312 0 0 25 0 1 0 896590263 67833856 15247 4294967295 134512640 134716908 3221224576 3221221728 1075969899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16561 15247 1111 63 0 16498 0
vsize: 66244
[startup+230.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 615313 0 0 0 21598 1402 0 0 25 0 1 0 896590263 68829184 15735 4294967295 134512640 134716908 3221224576 3221221960 1074819621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16804 15735 1111 63 0 16741 0
vsize: 67216
[startup+240.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 654584 0 0 0 22508 1492 0 0 25 0 1 0 896590263 71536640 16367 4294967295 134512640 134716908 3221224576 3221222796 1074205875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17465 16367 1111 63 0 17402 0
vsize: 69860
[startup+250.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 685259 0 0 0 23431 1569 0 0 25 0 1 0 896590263 76087296 17478 4294967295 134512640 134716908 3221224576 3221222816 1074143884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18576 17478 1111 63 0 18513 0
vsize: 74304
[startup+260.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 718267 0 0 0 24351 1649 0 0 25 0 1 0 896590263 79204352 18179 4294967295 134512640 134716908 3221224576 3221222808 1077377140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19337 18179 1111 63 0 19274 0
vsize: 77348
[startup+270.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 737182 0 0 0 25307 1693 0 0 25 0 1 0 896590263 81903616 18823 4294967295 134512640 134716908 3221224576 3221222736 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19996 18823 1111 63 0 19933 0
vsize: 79984
[startup+280.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 737292 0 0 0 26307 1693 0 0 25 0 1 0 896590263 82440192 18933 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20127 18933 1111 63 0 20064 0
vsize: 80508
[startup+290.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 737384 0 0 0 27305 1695 0 0 25 0 1 0 896590263 82862080 19025 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20230 19025 1111 63 0 20167 0
vsize: 80920
[startup+300.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 737439 0 0 0 28304 1696 0 0 25 0 1 0 896590263 83087360 19080 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20285 19080 1111 63 0 20222 0
vsize: 81140
[startup+310.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 737524 0 0 0 29302 1698 0 0 25 0 1 0 896590263 83435520 19165 4294967295 134512640 134716908 3221224576 3221222912 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20370 19165 1111 63 0 20307 0
vsize: 81480
[startup+320.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 739069 0 0 0 30298 1702 0 0 25 0 1 0 896590263 87605248 20202 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21388 20202 1111 63 0 21325 0
vsize: 85552
[startup+330.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 739069 0 0 0 31298 1702 0 0 25 0 1 0 896590263 87605248 20202 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21388 20202 1111 63 0 21325 0
vsize: 85552
[startup+340.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 739069 0 0 0 32298 1702 0 0 25 0 1 0 896590263 87605248 20202 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21388 20202 1111 63 0 21325 0
vsize: 85552
[startup+350.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 739069 0 0 0 33298 1703 0 0 25 0 1 0 896590263 87605248 20202 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21388 20202 1111 63 0 21325 0
vsize: 85552
[startup+360.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 741180 0 0 0 34294 1707 0 0 25 0 1 0 896590263 93802496 21270 4294967295 134512640 134716908 3221224576 3221220848 1074961149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22901 21270 1111 63 0 22838 0
vsize: 91604
[startup+370.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 744827 0 0 0 35285 1715 0 0 25 0 1 0 896590263 83632128 19245 4294967295 134512640 134716908 3221224576 3221223288 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20418 19245 1111 63 0 20355 0
vsize: 81672
[startup+380.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 744827 0 0 0 36285 1715 0 0 25 0 1 0 896590263 83632128 19245 4294967295 134512640 134716908 3221224576 3221223372 134536888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20418 19245 1111 63 0 20355 0
vsize: 81672
[startup+390.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 744827 0 0 0 37285 1716 0 0 25 0 1 0 896590263 83632128 19245 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20418 19245 1111 63 0 20355 0
vsize: 81672
[startup+400.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 744827 0 0 0 38285 1716 0 0 25 0 1 0 896590263 83632128 19245 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20418 19245 1111 63 0 20355 0
vsize: 81672
[startup+410.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 744827 0 0 0 39285 1716 0 0 25 0 1 0 896590263 83632128 19245 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20418 19245 1111 63 0 20355 0
vsize: 81672
[startup+420.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 744922 0 0 0 40284 1717 0 0 25 0 1 0 896590263 82104320 18872 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20045 18872 1111 63 0 19982 0
vsize: 80180
[startup+430.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 745741 0 0 0 41282 1719 0 0 25 0 1 0 896590263 84529152 19457 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20637 19457 1111 63 0 20574 0
vsize: 82548
[startup+440.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 749216 0 0 0 42275 1727 0 0 25 0 1 0 896590263 81715200 18777 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19950 18777 1111 63 0 19887 0
vsize: 79800
[startup+450.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 752009 0 0 0 43267 1734 0 0 25 0 1 0 896590263 82759680 19032 4294967295 134512640 134716908 3221224576 3221222944 1074140701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20205 19032 1111 63 0 20142 0
vsize: 80820
[startup+460.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 754835 0 0 0 44262 1740 0 0 25 0 1 0 896590263 82165760 18887 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20060 18887 1111 63 0 19997 0
vsize: 80240
[startup+470.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 763850 0 0 0 45239 1762 0 0 25 0 1 0 896590263 87396352 18788 4294967295 134512640 134716908 3221224576 3221220896 1075169469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21337 18788 1111 63 0 21274 0
vsize: 85348
[startup+480.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 805080 0 0 0 46140 1862 0 0 25 0 1 0 896590263 83238912 19154 4294967295 134512640 134716908 3221224576 3221221768 1074206273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20322 19154 1111 63 0 20259 0
vsize: 81288
[startup+490.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 835252 0 0 0 47070 1932 0 0 25 0 1 0 896590263 93888512 19742 4294967295 134512640 134716908 3221224576 3221220736 1075092784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22922 19742 1111 63 0 22859 0
vsize: 91688
[startup+500.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 874082 0 0 0 47979 2023 0 0 25 0 1 0 896590263 85946368 19836 4294967295 134512640 134716908 3221224576 3221223304 134622870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20983 19836 1111 63 0 20920 0
vsize: 83932
[startup+510.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 919515 0 0 0 48868 2135 0 0 25 0 1 0 896590263 89030656 20583 4294967295 134512640 134716908 3221224576 3221221768 1074138319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21736 20583 1111 63 0 21673 0
vsize: 86944
[startup+520.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 937946 0 0 0 49824 2178 0 0 25 0 1 0 896590263 91512832 21010 4294967295 134512640 134716908 3221224576 3221222304 1075635591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22342 21010 1111 63 0 22279 0
vsize: 89368
[startup+530.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 970726 0 0 0 50746 2256 0 0 25 0 1 0 896590263 97349632 21662 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23767 21662 1111 63 0 23704 0
vsize: 95068
[startup+540.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 995353 0 0 0 51685 2317 0 0 25 0 1 0 896590263 95813632 21890 4294967295 134512640 134716908 3221224576 3221222576 1074056630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23392 21890 1111 63 0 23329 0
vsize: 93568
[startup+550.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1035901 0 0 0 52589 2414 0 0 25 0 1 0 896590263 97783808 22410 4294967295 134512640 134716908 3221224576 3221222840 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23873 22410 1111 63 0 23810 0
vsize: 95492
[startup+560.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1047648 0 0 0 53559 2444 0 0 25 0 1 0 896590263 99520512 22834 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24297 22834 1111 63 0 24234 0
vsize: 97188
[startup+570.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1047752 0 0 0 54557 2446 0 0 25 0 1 0 896590263 100012032 22938 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24417 22938 1111 63 0 24354 0
vsize: 97668
[startup+580.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1047828 0 0 0 55555 2447 0 0 25 0 1 0 896590263 100257792 23014 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24477 23014 1111 63 0 24414 0
vsize: 97908
[startup+590.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1047895 0 0 0 56554 2448 0 0 25 0 1 0 896590263 100646912 23081 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24572 23081 1111 63 0 24509 0
vsize: 98288
[startup+600.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1049186 0 0 0 57551 2451 0 0 25 0 1 0 896590263 103981056 23914 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25386 23914 1111 63 0 25323 0
vsize: 101544
[startup+610.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1049186 0 0 0 58551 2452 0 0 25 0 1 0 896590263 103981056 23914 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25386 23914 1111 63 0 25323 0
vsize: 101544
[startup+620.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1049186 0 0 0 59551 2452 0 0 25 0 1 0 896590263 103981056 23914 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25386 23914 1111 63 0 25323 0
vsize: 101544
[startup+630.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1049186 0 0 0 60551 2452 0 0 25 0 1 0 896590263 103981056 23914 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25386 23914 1111 63 0 25323 0
vsize: 101544
[startup+640.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1054371 0 0 0 61540 2463 0 0 25 0 1 0 896590263 100671488 23119 4294967295 134512640 134716908 3221224576 3221223312 134622912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24578 23119 1111 63 0 24515 0
vsize: 98312
[startup+650.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1054371 0 0 0 62540 2463 0 0 25 0 1 0 896590263 100671488 23119 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24578 23119 1111 63 0 24515 0
vsize: 98312
[startup+660.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1054371 0 0 0 63540 2464 0 0 25 0 1 0 896590263 100671488 23119 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24578 23119 1111 63 0 24515 0
vsize: 98312
[startup+670.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1054371 0 0 0 64540 2464 0 0 25 0 1 0 896590263 100671488 23119 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24578 23119 1111 63 0 24515 0
vsize: 98312
[startup+680.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1054371 0 0 0 65540 2464 0 0 25 0 1 0 896590263 100671488 23119 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24578 23119 1111 63 0 24515 0
vsize: 98312
[startup+690.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1054577 0 0 0 66537 2466 0 0 25 0 1 0 896590263 99893248 22929 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24388 22929 1111 63 0 24325 0
vsize: 97552
[startup+700.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1054650 0 0 0 67537 2467 0 0 25 0 1 0 896590263 100192256 23002 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24461 23002 1111 63 0 24398 0
vsize: 97844
[startup+710.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1055695 0 0 0 68533 2470 0 0 25 0 1 0 896590263 103088128 23705 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25168 23705 1111 63 0 25105 0
vsize: 100672
[startup+720.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1058143 0 0 0 69528 2475 0 0 25 0 1 0 896590263 112726016 25420 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27521 25420 1111 63 0 27458 0
vsize: 110084
[startup+730.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1060221 0 0 0 70523 2481 0 0 25 0 1 0 896590263 100397056 23052 4294967295 134512640 134716908 3221224576 3221223368 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24511 23052 1111 63 0 24448 0
vsize: 98044
[startup+740.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1060847 0 0 0 71520 2484 0 0 25 0 1 0 896590263 100966400 23191 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24650 23191 1111 63 0 24587 0
vsize: 98600
[startup+750.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1063523 0 0 0 72514 2490 0 0 25 0 1 0 896590263 99721216 22885 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24346 22885 1111 63 0 24283 0
vsize: 97384
[startup+760.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1064574 0 0 0 73512 2492 0 0 25 0 1 0 896590263 99758080 22892 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24355 22892 1111 63 0 24292 0
vsize: 97420
[startup+770.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1085993 0 0 0 74459 2546 0 0 25 0 1 0 896590263 99446784 22821 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24279 22821 1111 63 0 24216 0
vsize: 97116
[startup+780.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1112114 0 0 0 75396 2608 0 0 25 0 1 0 896590263 101539840 23284 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24790 23284 1111 63 0 24727 0
vsize: 99160
[startup+790.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1135084 0 0 0 76341 2662 0 0 25 0 1 0 896590263 101617664 23277 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24809 23277 1111 63 0 24746 0
vsize: 99236
[startup+800.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1154371 0 0 0 77297 2707 0 0 25 0 1 0 896590263 104603648 23978 4294967295 134512640 134716908 3221224576 3221222576 1074916984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25538 23978 1111 63 0 25475 0
vsize: 102152
[startup+810.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1156230 0 0 0 78293 2711 0 0 25 0 1 0 896590263 103653376 23769 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25306 23769 1111 63 0 25243 0
vsize: 101224
[startup+820.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1186338 0 0 0 79221 2783 0 0 25 0 1 0 896590263 104038400 23811 4294967295 134512640 134716908 3221224576 3221223360 134622555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25400 23811 1111 63 0 25337 0
vsize: 101600
[startup+830.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1209600 0 0 0 80165 2839 0 0 25 0 1 0 896590263 105537536 24123 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25766 24123 1111 63 0 25703 0
vsize: 103064
[startup+840.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1242523 0 0 0 81086 2919 0 0 25 0 1 0 896590263 106319872 24341 4294967295 134512640 134716908 3221224576 3221223040 1074121065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25957 24341 1111 63 0 25894 0
vsize: 103828
[startup+850.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1281748 0 0 0 81995 3010 0 0 25 0 1 0 896590263 113201152 24665 4294967295 134512640 134716908 3221224576 3221220604 1074788018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27637 24665 1111 63 0 27574 0
vsize: 110548
[startup+860.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1289333 0 0 0 82975 3030 0 0 25 0 1 0 896590263 109105152 24980 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26637 24980 1111 63 0 26574 0
vsize: 106548
[startup+870.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1289445 0 0 0 83973 3032 0 0 25 0 1 0 896590263 109694976 25092 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26781 25092 1111 63 0 26718 0
vsize: 107124
[startup+880.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1290415 0 0 0 84970 3035 0 0 25 0 1 0 896590263 112300032 25756 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27417 25756 1111 63 0 27354 0
vsize: 109668
[startup+890.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1290415 0 0 0 85970 3035 0 0 25 0 1 0 896590263 112300032 25756 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27417 25756 1111 63 0 27354 0
vsize: 109668
[startup+900.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1294685 0 0 0 86959 3046 0 0 25 0 1 0 896590263 109817856 25154 4294967295 134512640 134716908 3221224576 3221223372 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26811 25154 1111 63 0 26748 0
vsize: 107244
[startup+910.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1294685 0 0 0 87959 3046 0 0 25 0 1 0 896590263 109817856 25154 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26811 25154 1111 63 0 26748 0
vsize: 107244
[startup+920.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1294728 0 0 0 88959 3046 0 0 25 0 1 0 896590263 108752896 24894 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26551 24894 1111 63 0 26488 0
vsize: 106204
[startup+930.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1297851 0 0 0 89951 3054 0 0 25 0 1 0 896590263 109195264 25001 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26659 25001 1111 63 0 26596 0
vsize: 106636
[startup+940.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1319783 0 0 0 90899 3107 0 0 25 0 1 0 896590263 109158400 24983 4294967295 134512640 134716908 3221224576 3221222832 1074146279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26650 24983 1111 63 0 26587 0
vsize: 106600
[startup+950.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1353233 0 0 0 91820 3186 0 0 25 0 1 0 896590263 110997504 25430 4294967295 134512640 134716908 3221224576 3221222040 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27099 25430 1111 63 0 27036 0
vsize: 108396
[startup+960.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1380614 0 0 0 92756 3251 0 0 25 0 1 0 896590263 114159616 26138 4294967295 134512640 134716908 3221224576 3221221680 1074138636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27871 26138 1111 63 0 27808 0
vsize: 111484
[startup+970.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1388176 0 0 0 93737 3269 0 0 25 0 1 0 896590263 112852992 25894 4294967295 134512640 134716908 3221224576 3221223368 134542416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27552 25894 1111 63 0 27489 0
vsize: 110208
[startup+980.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1405712 0 0 0 94694 3313 0 0 25 0 1 0 896590263 113528832 26059 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27717 26059 1111 63 0 27654 0
vsize: 110868
[startup+990.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1406405 0 0 0 95691 3316 0 0 25 0 1 0 896590263 115580928 26549 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28218 26549 1111 63 0 28155 0
vsize: 112872
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1409615 0 0 0 96684 3324 0 0 25 0 1 0 896590263 113905664 26151 4294967295 134512640 134716908 3221224576 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27809 26151 1111 63 0 27746 0
vsize: 111236
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1410083 0 0 0 97682 3325 0 0 25 0 1 0 896590263 114581504 26300 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27974 26300 1111 63 0 27911 0
vsize: 111896
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1417751 0 0 0 98665 3343 0 0 25 0 1 0 896590263 113065984 25946 4294967295 134512640 134716908 3221224576 3221223392 134622529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27604 25946 1111 63 0 27541 0
vsize: 110416
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1452856 0 0 0 99583 3424 0 0 25 0 1 0 896590263 114159616 26201 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27871 26201 1111 63 0 27808 0
vsize: 111484
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1488341 0 0 0 100504 3504 0 0 25 0 1 0 896590263 116051968 26673 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28333 26673 1111 63 0 28270 0
vsize: 113332
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1490266 0 0 0 101499 3509 0 0 25 0 1 0 896590263 116379648 26759 4294967295 134512640 134716908 3221224576 3221223372 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28413 26759 1111 63 0 28350 0
vsize: 113652
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1515705 0 0 0 102438 3570 0 0 25 0 1 0 896590263 116813824 26864 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28519 26864 1111 63 0 28456 0
vsize: 114076
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1536714 0 0 0 103389 3619 0 0 25 0 1 0 896590263 117567488 27065 4294967295 134512640 134716908 3221224576 3221223376 134622369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28703 27065 1111 63 0 28640 0
vsize: 114812
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1577557 0 0 0 104296 3713 0 0 25 0 1 0 896590263 118861824 27371 4294967295 134512640 134716908 3221224576 3221222488 1077380786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29019 27371 1111 63 0 28956 0
vsize: 116076
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1608908 0 0 0 105222 3787 0 0 25 0 1 0 896590263 120913920 27888 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29520 27888 1111 63 0 29457 0
vsize: 118080
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1609096 0 0 0 106220 3790 0 0 25 0 1 0 896590263 121229312 27993 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29597 27993 1111 63 0 29534 0
vsize: 118388
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1609175 0 0 0 107218 3792 0 0 25 0 1 0 896590263 121683968 28072 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29708 28072 1111 63 0 29645 0
vsize: 118832
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1609232 0 0 0 108217 3793 0 0 25 0 1 0 896590263 121905152 28129 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29762 28129 1111 63 0 29699 0
vsize: 119048
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1610184 0 0 0 109214 3796 0 0 25 0 1 0 896590263 126230528 29063 4294967295 134512640 134716908 3221224576 3221222304 1075829530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30818 29063 1111 63 0 30755 0
vsize: 123272
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1610643 0 0 0 110213 3797 0 0 25 0 1 0 896590263 125640704 29056 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30674 29056 1111 63 0 30611 0
vsize: 122696
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1610643 0 0 0 111213 3797 0 0 25 0 1 0 896590263 125640704 29056 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30674 29056 1111 63 0 30611 0
vsize: 122696
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1610643 0 0 0 112214 3797 0 0 25 0 1 0 896590263 125640704 29056 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30674 29056 1111 63 0 30611 0
vsize: 122696
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1616046 0 0 0 113202 3808 0 0 25 0 1 0 896590263 122236928 28239 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29843 28239 1111 63 0 29780 0
vsize: 119372
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1616046 0 0 0 114203 3808 0 0 25 0 1 0 896590263 122236928 28239 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29843 28239 1111 63 0 29780 0
vsize: 119372
[startup+1185.4 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 31368
Raw data (stat): 31368 (bsolo_lpr-v2) R 31367 31399 31398 0 -1 0 1616046 0 0 0 114203 3808 0 0 25 0 1 0 896590263 122236928 28239 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29843 28239 1111 63 0 29780 0
vsize: 0

Child status: 10
Real time (s): 1185.4
CPU time (s): 1185.46
CPU user time (s): 1147.32
CPU system time (s): 38.1392
CPU usage (%): 100.005
Max. virtual memory (Kb): 123272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	269556
#### END VERIFIER DATA ####