PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb
MD5SUM	a733e9fa1e4e3ac90baf85249f7c3e9a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	258411
Optimality of the best value was proved	NO
Number of terms in the objective function	282
Biggest coefficient in the objective function	160646
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	1302615
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	160646
Number of bits of the biggest number in a constraint	18
Biggest sum of numbers in a constraint	1302615
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	282
Total number of constraints	523
Number of constraints which are clauses	177
Number of constraints which are cardinality constraints (but not clauses)	282
Number of constraints which are nor clauses,nor cardinality constraints	64
Minimum length of a constraint	1
Maximum length of a constraint	57
Trace number 41089

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 05:28:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29150 boxname=wulflinc5 idbench=934 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a733e9fa1e4e3ac90baf85249f7c3e9a  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-p0282.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-p0282.opb
IDLAUNCH: 29150
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        907624 kB
Buffers:          7432 kB
Cached:          98772 kB
SwapCached:        692 kB
Active:          22048 kB
Inactive:        86220 kB
HighTotal:      131008 kB
HighFree:        54432 kB
LowTotal:       903652 kB
LowFree:        853192 kB
SwapTotal:     2097136 kB
SwapFree:      2095464 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13044 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 05:48:08 (client local time) WITH STATUS 10 IN 1175.08 SECONDS
stats: 29150 0 1175.08 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.313 s
c Initial Lower Bound: 55080
c Lower Bound Elapsed time: 0.047
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 497683 @ 3.703
c NEW SOLUTION FOUND: 360272 @ 3.704
c NEW SOLUTION FOUND: 359409 @ 3.71
c NEW SOLUTION FOUND: 345511 @ 3.764
c NEW SOLUTION FOUND: 342861 @ 3.769
c NEW SOLUTION FOUND: 342140 @ 3.827
c NEW SOLUTION FOUND: 329812 @ 4.56
c NEW SOLUTION FOUND: 328871 @ 4.577
c NEW SOLUTION FOUND: 328559 @ 4.643
c NEW SOLUTION FOUND: 296106 @ 5.617
c NEW SOLUTION FOUND: 295477 @ 5.737
c NEW SOLUTION FOUND: 293603 @ 5.875
c NEW SOLUTION FOUND: 289169 @ 6.445
c NEW SOLUTION FOUND: 280436 @ 17.227
c NEW SOLUTION FOUND: 276002 @ 17.43
c NEW SOLUTION FOUND: 270697 @ 28.977
c NEW SOLUTION FOUND: 269556 @ 1170.79
s SATISFIABLE
v -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 -C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 -C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 C1102_bit0 -C1103_bit0 C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1130_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1146_bit0 -C1147_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 -C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 -C1202_bit0 -C1203_bit0 -C1204_bit0 -C1205_bit0 -C1206_bit0 -C1207_bit0 -C1208_bit0 -C1209_bit0 -C1210_bit0 -C1211_bit0 -C1212_bit0 -C1213_bit0 -C1214_bit0 -C1215_bit0 C1216_bit0 -C1217_bit0 -C1218_bit0 -C1219_bit0 -C1220_bit0 -C1221_bit0 -C1222_bit0 -C1223_bit0 -C1224_bit0 -C1225_bit0 C1226_bit0 -C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1235_bit0 -C1237_bit0 -C1239_bit0 -C1241_bit0 C1243_bit0 -C1245_bit0 -C1247_bit0 -C1248_bit0 -C1249_bit0 C1250_bit0 -C1251_bit0 C1252_bit0 -C1253_bit0 C1254_bit0 -C1255_bit0 C1256_bit0 C1257_bit0 -C1258_bit0 C1259_bit0 C1260_bit0 -C1261_bit0 C1262_bit0 -C1263_bit0 -C1264_bit0 C1265_bit0 C1266_bit0 -C1267_bit0 C1268_bit0 C1269_bit0 C1270_bit0 C1271_bit0 -C1272_bit0 -C1273_bit0 -C1274_bit0 -C1275_bit0 -C1276_bit0 -C1277_bit0 -C1278_bit0 -C1279_bit0 -C1280_bit0 C1281_bit0 -C1282_bit0 C1283_bit0 -C1284_bit0 C1285_bit0 C1286_bit0 C1287_bit0 -C1288_bit0 C1289_bit0 
c Exit Code: 10
c Total time: 1175.03 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 29306
Raw data (stat): 29306 (runsolver) R 29305 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907756828 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 10827 0 0 0 961 36 0 0 25 0 1 0 907756828 15310848 3053 4294967295 134512640 134716908 3221224560 3221223236 134613716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3738 3053 1111 63 0 3675 0
vsize: 14952
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 31321 0 0 0 1906 90 0 0 25 0 1 0 907756828 18722816 3819 4294967295 134512640 134716908 3221224560 3221220768 1074815312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4571 3819 1111 63 0 4508 0
vsize: 18284
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 50273 0 0 0 2851 144 0 0 25 0 1 0 907756828 21483520 4492 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5245 4493 1111 63 0 5182 0
vsize: 20980
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 65854 0 0 0 3807 188 0 0 25 0 1 0 907756828 23572480 5061 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5755 5061 1111 63 0 5692 0
vsize: 23020
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 80425 0 0 0 4767 229 0 0 25 0 1 0 907756828 25219072 5464 4294967295 134512640 134716908 3221224560 3221222208 1074247416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6157 5464 1111 63 0 6094 0
vsize: 24628
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 96432 0 0 0 5722 274 0 0 25 0 1 0 907756828 27471872 5961 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6707 5961 1111 63 0 6644 0
vsize: 26828
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 111351 0 0 0 6682 314 0 0 25 0 1 0 907756828 29249536 6441 4294967295 134512640 134716908 3221224560 3221223284 134622776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7141 6441 1111 63 0 7078 0
vsize: 28564
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 131381 0 0 0 7629 367 0 0 25 0 1 0 907756828 32428032 7148 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7917 7148 1111 63 0 7854 0
vsize: 31668
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 145812 0 0 0 8589 407 0 0 25 0 1 0 907756828 33710080 7534 4294967295 134512640 134716908 3221224560 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8230 7534 1111 63 0 8167 0
vsize: 32920
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 159733 0 0 0 9552 444 0 0 25 0 1 0 907756828 36089856 8084 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8811 8084 1111 63 0 8748 0
vsize: 35244
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 172769 0 0 0 10523 474 0 0 25 0 1 0 907756828 38035456 8498 4294967295 134512640 134716908 3221224560 3221220652 1075663448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9286 8498 1111 63 0 9223 0
vsize: 37144
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 188121 0 0 0 11484 513 0 0 25 0 1 0 907756828 39673856 8890 4294967295 134512640 134716908 3221224560 3221220832 1074806084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9686 8890 1111 63 0 9623 0
vsize: 38744
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 199803 0 0 0 12453 544 0 0 25 0 1 0 907756828 41033728 9211 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9211 1111 63 0 9955 0
vsize: 40072
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 210035 0 0 0 13427 571 0 0 25 0 1 0 907756828 41959424 9451 4294967295 134512640 134716908 3221224560 3221220704 1074969685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10244 9451 1111 63 0 10181 0
vsize: 40976
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 221526 0 0 0 14395 603 0 0 25 0 1 0 907756828 43266048 9785 4294967295 134512640 134716908 3221224560 3221221600 1075860054 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10563 9785 1111 63 0 10500 0
vsize: 42252
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 234598 0 0 0 15357 641 0 0 25 0 1 0 907756828 44425216 10130 4294967295 134512640 134716908 3221224560 3221223112 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10846 10130 1111 63 0 10783 0
vsize: 43384
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 248409 0 0 0 16322 676 0 0 25 0 1 0 907756828 45977600 10508 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11225 10508 1111 63 0 11162 0
vsize: 44900
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 262975 0 0 0 17284 714 0 0 25 0 1 0 907756828 47677440 10929 4294967295 134512640 134716908 3221224560 3221223116 134536831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11640 10929 1111 63 0 11577 0
vsize: 46560
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 263329 0 0 0 18281 718 0 0 25 0 1 0 907756828 48775168 11199 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11908 11199 1111 63 0 11845 0
vsize: 47632
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 263402 0 0 0 19280 719 0 0 25 0 1 0 907756828 49152000 11272 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12000 11272 1111 63 0 11937 0
vsize: 48000
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 263495 0 0 0 20279 720 0 0 25 0 1 0 907756828 49524736 11365 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12091 11365 1111 63 0 12028 0
vsize: 48364
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 263544 0 0 0 21278 721 0 0 25 0 1 0 907756828 49713152 11414 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12137 11414 1111 63 0 12074 0
vsize: 48548
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 263650 0 0 0 22277 722 0 0 25 0 1 0 907756828 50221056 11520 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12261 11520 1111 63 0 12198 0
vsize: 49044
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 264978 0 0 0 23274 726 0 0 25 0 1 0 907756828 53723136 12385 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13116 12385 1111 63 0 13053 0
vsize: 52464
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 267345 0 0 0 24269 731 0 0 25 0 1 0 907756828 58818560 13413 4294967295 134512640 134716908 3221224560 3221220928 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14360 13413 1111 63 0 14297 0
vsize: 57440
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 270417 0 0 0 25262 738 0 0 25 0 1 0 907756828 50249728 11565 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 270417 0 0 0 26262 738 0 0 25 0 1 0 907756828 50249728 11565 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 270417 0 0 0 27262 738 0 0 25 0 1 0 907756828 50249728 11565 4294967295 134512640 134716908 3221224560 3221223276 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 270417 0 0 0 28263 738 0 0 25 0 1 0 907756828 50249728 11565 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 270417 0 0 0 29263 738 0 0 25 0 1 0 907756828 50249728 11565 4294967295 134512640 134716908 3221224560 3221223364 134622429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 270540 0 0 0 30261 740 0 0 25 0 1 0 907756828 49020928 11265 4294967295 134512640 134716908 3221224560 3221222864 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11968 11265 1111 63 0 11905 0
vsize: 47872
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 275433 0 0 0 31249 753 0 0 25 0 1 0 907756828 51273728 11781 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12518 11781 1111 63 0 12455 0
vsize: 50072
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 287032 0 0 0 32222 780 0 0 25 0 1 0 907756828 51060736 11666 4294967295 134512640 134716908 3221224560 3221222864 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12466 11666 1111 63 0 12403 0
vsize: 49864
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 288651 0 0 0 33218 784 0 0 25 0 1 0 907756828 54030336 11967 4294967295 134512640 134716908 3221224560 3221220788 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13191 11967 1111 63 0 13128 0
vsize: 52764
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 301922 0 0 0 34183 819 0 0 25 0 1 0 907756828 52404224 11272 4294967295 134512640 134716908 3221224560 3221221132 1076049555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12794 11272 1111 63 0 12731 0
vsize: 51176
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 311568 0 0 0 35156 846 0 0 25 0 1 0 907756828 52506624 11421 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12819 11421 1111 63 0 12756 0
vsize: 51276
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 330928 0 0 0 36106 896 0 0 25 0 1 0 907756828 49467392 11361 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12077 11361 1111 63 0 12014 0
vsize: 48308
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 334249 0 0 0 37098 904 0 0 25 0 1 0 907756828 50847744 11640 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12414 11640 1111 63 0 12351 0
vsize: 49656
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 354238 0 0 0 38047 956 0 0 25 0 1 0 907756828 49266688 11291 4294967295 134512640 134716908 3221224560 3221222864 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12028 11291 1111 63 0 11965 0
vsize: 48112
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 377297 0 0 0 38990 1013 0 0 25 0 1 0 907756828 49741824 11436 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12144 11436 1111 63 0 12081 0
vsize: 48576
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 393502 0 0 0 39948 1055 0 0 25 0 1 0 907756828 51482624 11827 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12569 11827 1111 63 0 12506 0
vsize: 50276
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 415998 0 0 0 40891 1113 0 0 25 0 1 0 907756828 50724864 11657 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12384 11657 1111 63 0 12321 0
vsize: 49536
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 430666 0 0 0 41852 1151 0 0 25 0 1 0 907756828 50765824 11686 4294967295 134512640 134716908 3221224560 3221222912 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12394 11686 1111 63 0 12331 0
vsize: 49576
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 435718 0 0 0 42838 1166 0 0 25 0 1 0 907756828 52129792 11997 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12727 11997 1111 63 0 12664 0
vsize: 50908
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 435783 0 0 0 43837 1167 0 0 25 0 1 0 907756828 52387840 12062 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12790 12062 1111 63 0 12727 0
vsize: 51160
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 435831 0 0 0 44837 1167 0 0 25 0 1 0 907756828 52572160 12110 4294967295 134512640 134716908 3221224560 3221222416 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12835 12110 1111 63 0 12772 0
vsize: 51340
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 436932 0 0 0 45835 1170 0 0 25 0 1 0 907756828 55595008 12842 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13573 12842 1111 63 0 13510 0
vsize: 54292
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 439230 0 0 0 46830 1175 0 0 25 0 1 0 907756828 62857216 14377 4294967295 134512640 134716908 3221224560 3221220444 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15346 14377 1111 63 0 15283 0
vsize: 61384
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 441482 0 0 0 47825 1180 0 0 25 0 1 0 907756828 52817920 12187 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12895 12187 1111 63 0 12832 0
vsize: 51580
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 441482 0 0 0 48825 1180 0 0 25 0 1 0 907756828 52817920 12187 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12895 12187 1111 63 0 12832 0
vsize: 51580
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 441482 0 0 0 49825 1180 0 0 25 0 1 0 907756828 52817920 12187 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12895 12187 1111 63 0 12832 0
vsize: 51580
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 441482 0 0 0 50825 1180 0 0 25 0 1 0 907756828 52817920 12187 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12895 12187 1111 63 0 12832 0
vsize: 51580
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 444212 0 0 0 51819 1187 0 0 25 0 1 0 907756828 52006912 11989 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12697 11989 1111 63 0 12634 0
vsize: 50788
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 456219 0 0 0 52788 1218 0 0 25 0 1 0 907756828 55291904 11854 4294967295 134512640 134716908 3221224560 3221222092 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13499 11854 1111 63 0 13436 0
vsize: 53996
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 489671 0 0 0 53706 1300 0 0 25 0 1 0 907756828 52158464 11991 4294967295 134512640 134716908 3221224560 3221222288 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12734 11991 1111 63 0 12671 0
vsize: 50936
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 524144 0 0 0 54621 1385 0 0 25 0 1 0 907756828 56815616 12292 4294967295 134512640 134716908 3221224560 3221221824 1075278499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13871 12292 1111 63 0 13808 0
vsize: 55484
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 550917 0 0 0 55554 1452 0 0 25 0 1 0 907756828 54964224 12657 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13419 12657 1111 63 0 13356 0
vsize: 53676
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 551064 0 0 0 56553 1454 0 0 25 0 1 0 907756828 55128064 12716 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13459 12716 1111 63 0 13396 0
vsize: 53836
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 551128 0 0 0 57552 1455 0 0 25 0 1 0 907756828 55521280 12780 4294967295 134512640 134716908 3221224560 3221222400 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13555 12780 1111 63 0 13492 0
vsize: 54220
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 553414 0 0 0 58547 1460 0 0 25 0 1 0 907756828 65150976 14087 4294967295 134512640 134716908 3221224560 3221220768 1074815299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15906 14087 1111 63 0 15843 0
vsize: 63624
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 556206 0 0 0 59540 1467 0 0 25 0 1 0 907756828 55562240 12822 4294967295 134512640 134716908 3221224560 3221223288 134622768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13565 12822 1111 63 0 13502 0
vsize: 54260
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 556206 0 0 0 60540 1467 0 0 25 0 1 0 907756828 55562240 12822 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13565 12822 1111 63 0 13502 0
vsize: 54260
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 556206 0 0 0 61540 1467 0 0 25 0 1 0 907756828 55562240 12822 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13565 12822 1111 63 0 13502 0
vsize: 54260
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 556339 0 0 0 62539 1468 0 0 25 0 1 0 907756828 54738944 12621 4294967295 134512640 134716908 3221224560 3221222496 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13364 12621 1111 63 0 13301 0
vsize: 53456
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 559416 0 0 0 63532 1476 0 0 25 0 1 0 907756828 54808576 12638 4294967295 134512640 134716908 3221224560 3221223456 134621531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13381 12638 1111 63 0 13318 0
vsize: 53524
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 572966 0 0 0 64498 1510 0 0 25 0 1 0 907756828 54284288 12510 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13253 12510 1111 63 0 13190 0
vsize: 53012
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 607622 0 0 0 65412 1597 0 0 25 0 1 0 907756828 62017536 13674 4294967295 134512640 134716908 3221224560 3221220928 1075894503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15141 13674 1111 63 0 15078 0
vsize: 60564
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 640043 0 0 0 66330 1678 0 0 25 0 1 0 907756828 57516032 13260 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14042 13260 1111 63 0 13979 0
vsize: 56168
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 658728 0 0 0 67283 1726 0 0 25 0 1 0 907756828 57749504 13270 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14099 13270 1111 63 0 14036 0
vsize: 56396
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 692523 0 0 0 68199 1810 0 0 25 0 1 0 907756828 59584512 13609 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14545 13607 1111 63 0 14482 0
vsize: 58188
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 711160 0 0 0 69151 1858 0 0 25 0 1 0 907756828 59604992 13614 4294967295 134512640 134716908 3221224560 3221222912 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14552 13614 1111 63 0 14489 0
vsize: 58208
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 742668 0 0 0 70073 1937 0 0 25 0 1 0 907756828 60289024 13781 4294967295 134512640 134716908 3221224560 3221222912 1074115296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14719 13781 1111 63 0 14656 0
vsize: 58876
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 764946 0 0 0 71019 1991 0 0 25 0 1 0 907756828 62504960 14299 4294967295 134512640 134716908 3221224560 3221223008 1073990032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15260 14299 1111 63 0 15197 0
vsize: 61040
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 767439 0 0 0 72013 1996 0 0 25 0 1 0 907756828 61927424 14181 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15119 14181 1111 63 0 15056 0
vsize: 60476
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 769961 0 0 0 73008 2002 0 0 25 0 1 0 907756828 61435904 14046 4294967295 134512640 134716908 3221224560 3221222896 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14999 14046 1111 63 0 14936 0
vsize: 59996
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 783856 0 0 0 73977 2033 0 0 25 0 1 0 907756828 67616768 14892 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16508 14892 1111 63 0 16445 0
vsize: 66032
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 802291 0 0 0 74933 2077 0 0 25 0 1 0 907756828 65163264 14191 4294967295 134512640 134716908 3221224560 3221221328 1076083602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15909 14191 1111 63 0 15846 0
vsize: 63636
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 834456 0 0 0 75857 2153 0 0 25 0 1 0 907756828 62173184 14227 4294967295 134512640 134716908 3221224560 3221222896 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15179 14227 1111 63 0 15116 0
vsize: 60716
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 858580 0 0 0 76798 2213 0 0 25 0 1 0 907756828 62599168 14339 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15283 14339 1111 63 0 15220 0
vsize: 61132
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 884867 0 0 0 77735 2276 0 0 25 0 1 0 907756828 63070208 14454 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15398 14454 1111 63 0 15335 0
vsize: 61592
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 912818 0 0 0 78670 2340 0 0 25 0 1 0 907756828 67559424 14832 4294967295 134512640 134716908 3221224560 3221221136 1076049546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16494 14832 1111 63 0 16431 0
vsize: 65976
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 934757 0 0 0 79617 2394 0 0 25 0 1 0 907756828 66269184 15158 4294967295 134512640 134716908 3221224560 3221222672 1074867314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16179 15158 1111 63 0 16116 0
vsize: 64716
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 937268 0 0 0 80611 2400 0 0 25 0 1 0 907756828 65003520 14889 4294967295 134512640 134716908 3221224560 3221222512 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15870 14889 1111 63 0 15807 0
vsize: 63480
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 956523 0 0 0 81566 2445 0 0 25 0 1 0 907756828 68288512 15023 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16672 15025 1111 63 0 16609 0
vsize: 66688
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 989332 0 0 0 82487 2525 0 0 25 0 1 0 907756828 68898816 15157 4294967295 134512640 134716908 3221224560 3221220896 1075114272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16821 15157 1111 63 0 16758 0
vsize: 67284
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1007097 0 0 0 83443 2569 0 0 25 0 1 0 907756828 65056768 14933 4294967295 134512640 134716908 3221224560 3221222672 1074867344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15883 14933 1111 63 0 15820 0
vsize: 63532
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1028228 0 0 0 84391 2621 0 0 25 0 1 0 907756828 65998848 15147 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16113 15147 1111 63 0 16050 0
vsize: 64452
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1033480 0 0 0 85379 2634 0 0 25 0 1 0 907756828 65839104 15117 4294967295 134512640 134716908 3221224560 3221223352 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16074 15117 1111 63 0 16011 0
vsize: 64296
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1069138 0 0 0 86294 2718 0 0 25 0 1 0 907756828 66289664 15228 4294967295 134512640 134716908 3221224560 3221222848 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16184 15228 1111 63 0 16121 0
vsize: 64736
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1106719 0 0 0 87204 2809 0 0 25 0 1 0 907756828 67223552 15465 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16412 15465 1111 63 0 16349 0
vsize: 65648
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1132841 0 0 0 88142 2871 0 0 25 0 1 0 907756828 72151040 16011 4294967295 134512640 134716908 3221224560 3221220832 1074961290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17615 16011 1111 63 0 17552 0
vsize: 70460
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1163303 0 0 0 89068 2944 0 0 25 0 1 0 907756828 68481024 15774 4294967295 134512640 134716908 3221224560 3221221840 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17662 15780 1111 63 0 17599 0
vsize: 66876
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1202822 0 0 0 89970 3043 0 0 25 0 1 0 907756828 69345280 15985 4294967295 134512640 134716908 3221224560 3221222288 1075828488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16930 15985 1111 63 0 16867 0
vsize: 67720
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1236283 0 0 0 90889 3124 0 0 25 0 1 0 907756828 74113024 16408 4294967295 134512640 134716908 3221224560 3221220896 1075114256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18094 16408 1111 63 0 18031 0
vsize: 72376
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1273670 0 0 0 91803 3210 0 0 25 0 1 0 907756828 71380992 16494 4294967295 134512640 134716908 3221224560 3221223272 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17427 16494 1111 63 0 17364 0
vsize: 69708
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1309360 0 0 0 92719 3295 0 0 25 0 1 0 907756828 76238848 16717 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18613 16728 1111 63 0 18550 0
vsize: 74452
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1339745 0 0 0 93643 3370 0 0 25 0 1 0 907756828 72806400 16808 4294967295 134512640 134716908 3221224560 3221223272 134543125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17775 16808 1111 63 0 17712 0
vsize: 71100
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1366079 0 0 0 94579 3435 0 0 25 0 1 0 907756828 73162752 16895 4294967295 134512640 134716908 3221224560 3221222208 1074247419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17898 16896 1111 63 0 17835 0
vsize: 71448
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1406319 0 0 0 95483 3531 0 0 25 0 1 0 907756828 78512128 17457 4294967295 134512640 134716908 3221224560 3221220928 1075894549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19168 17457 1111 63 0 19105 0
vsize: 76672
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1445291 0 0 0 96392 3622 0 0 25 0 1 0 907756828 75436032 17414 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18417 17414 1111 63 0 18354 0
vsize: 73668
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1479859 0 0 0 97311 3703 0 0 25 0 1 0 907756828 76283904 17627 4294967295 134512640 134716908 3221224560 3221222428 1074206220 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18624 17627 1111 63 0 18561 0
vsize: 74496
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1515510 0 0 0 98226 3789 0 0 25 0 1 0 907756828 80760832 17868 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19717 17879 1111 63 0 19654 0
vsize: 78868
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1553534 0 0 0 99138 3878 0 0 25 0 1 0 907756828 81821696 18105 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19976 18116 1111 63 0 19913 0
vsize: 79904
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1580142 0 0 0 100072 3943 0 0 25 0 1 0 907756828 78237696 18114 4294967295 134512640 134716908 3221224560 3221222832 1074207500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19101 18114 1111 63 0 19038 0
vsize: 76404
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1615554 0 0 0 100988 4027 0 0 25 0 1 0 907756828 79556608 18417 4294967295 134512640 134716908 3221224560 3221222656 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19423 18417 1111 63 0 19360 0
vsize: 77692
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1649091 0 0 0 101909 4106 0 0 25 0 1 0 907756828 84246528 18738 4294967295 134512640 134716908 3221224560 3221220720 1075091320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20568 18738 1111 63 0 20505 0
vsize: 82272
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1692075 0 0 0 102807 4209 0 0 25 0 1 0 907756828 81825792 18992 4294967295 134512640 134716908 3221224560 3221222976 1074116010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19977 18992 1111 63 0 19914 0
vsize: 79908
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1731253 0 0 0 103715 4301 0 0 25 0 1 0 907756828 83054592 19276 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20277 19276 1111 63 0 20214 0
vsize: 81108
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1770465 0 0 0 104623 4393 0 0 25 0 1 0 907756828 84590592 19603 4294967295 134512640 134716908 3221224560 3221222208 1075818228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20652 19603 1111 63 0 20589 0
vsize: 82608
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1813127 0 0 0 105525 4492 0 0 25 0 1 0 907756828 90136576 20264 4294967295 134512640 134716908 3221224560 3221220896 1075114289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22006 20264 1111 63 0 21943 0
vsize: 88024
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1858316 0 0 0 106417 4599 0 0 25 0 1 0 907756828 91185152 20478 4294967295 134512640 134716908 3221224560 3221220776 1074878881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22262 20478 1111 63 0 22199 0
vsize: 89048
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1897356 0 0 0 107328 4689 0 0 25 0 1 0 907756828 92504064 20736 4294967295 134512640 134716908 3221224560 3221221032 1074968485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22584 20736 1111 63 0 22521 0
vsize: 90336
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1940414 0 0 0 108225 4792 0 0 25 0 1 0 907756828 93978624 21184 4294967295 134512640 134716908 3221224560 3221220928 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22944 21184 1111 63 0 22881 0
vsize: 91776
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 1987008 0 0 0 109116 4901 0 0 25 0 1 0 907756828 91262976 21250 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22281 21250 1111 63 0 22218 0
vsize: 89124
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 2035468 0 0 0 110000 5018 0 0 25 0 1 0 907756828 97030144 21837 4294967295 134512640 134716908 3221224560 3221220788 1075114966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23689 21837 1111 63 0 23626 0
vsize: 94756
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 2083229 0 0 0 110886 5131 0 0 25 0 1 0 907756828 94359552 21969 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23037 21969 1111 63 0 22974 0
vsize: 92148
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 2124275 0 0 0 111793 5225 0 0 25 0 1 0 907756828 99303424 22332 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24244 22344 1111 63 0 24181 0
vsize: 96976
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 29306
Raw data (stat): 29306 (bsolo_lpr_cuts-) R 29305 7266 7265 0 -1 0 2124275 0 0 0 111793 5225 0 0 25 0 1 0 907756828 99303424 22332 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24244 22344 1111 63 0 24181 0
vsize: 0

Child status: 10
Real time (s): 1174.93
CPU time (s): 1175.08
CPU user time (s): 1122.34
CPU system time (s): 52.74
CPU usage (%): 100.013
Max. virtual memory (Kb): 96976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	269556
#### END VERIFIER DATA ####