PB'05 competition: run trace

Some explanations

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

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        561208 kB
Buffers:         35392 kB
Cached:         417336 kB
SwapCached:       1172 kB
Active:         304224 kB
Inactive:       150904 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        560956 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12572 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 08:24:34 (client local time) WITH STATUS 10 IN 1175.97 SECONDS
stats: 18709 0 1175.97 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.306 s
c Initial Lower Bound: 55117
c Lower Bound Elapsed time: 0.0384
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 514236 @ 3.127
c NEW SOLUTION FOUND: 376825 @ 3.128
c NEW SOLUTION FOUND: 375734 @ 3.133
c NEW SOLUTION FOUND: 363658 @ 3.17
c NEW SOLUTION FOUND: 335351 @ 3.281
c NEW SOLUTION FOUND: 334542 @ 3.414
c NEW SOLUTION FOUND: 328927 @ 3.92
c NEW SOLUTION FOUND: 327441 @ 173.038
c NEW SOLUTION FOUND: 327400 @ 173.87
c NEW SOLUTION FOUND: 326657 @ 174.004
c NEW SOLUTION FOUND: 324783 @ 272.507
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.92 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.89 1.00 0.95 2/55 7927
Raw data (stat): 7927 (runsolver) R 7926 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 802715834 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.91 1.00 0.95 2/55 7927
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 13436 0 0 0 954 42 0 0 25 0 1 0 802715834 14028800 2741 4294967295 134512640 134714508 3221221776 3221219888 1074867289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3425 2741 1111 63 0 3362 0
vsize: 13700
[startup+20.0006 s]
Raw data (loadavg): 0.92 1.00 0.95 2/55 7927
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 32619 0 0 0 1902 94 0 0 25 0 1 0 802715834 15536128 3105 4294967295 134512640 134714508 3221221776 3221219424 1075818346 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3793 3105 1111 63 0 3730 0
vsize: 15172
[startup+30.0012 s]
Raw data (loadavg): 0.93 1.00 0.95 2/55 7927
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 51957 0 0 0 2852 143 0 0 25 0 1 0 802715834 17543168 3596 4294967295 134512640 134714508 3221221776 3221219236 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4283 3596 1111 63 0 4220 0
vsize: 17132
[startup+40.001 s]
Raw data (loadavg): 0.94 1.00 0.95 2/55 7927
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 68058 0 0 0 3813 183 0 0 25 0 1 0 802715834 18747392 3887 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3887 1111 63 0 4514 0
vsize: 18308
[startup+50.0024 s]
Raw data (loadavg): 0.95 1.00 0.95 2/55 7927
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 84588 0 0 0 4772 224 0 0 25 0 1 0 802715834 20824064 4325 4294967295 134512640 134714508 3221221776 3221218800 1074810480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5084 4325 1111 63 0 5021 0
vsize: 20336
[startup+60.0031 s]
Raw data (loadavg): 0.96 1.00 0.95 2/55 7927
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 95380 0 0 0 5747 249 0 0 25 0 1 0 802715834 21417984 4519 4294967295 134512640 134714508 3221221776 3221219424 1075817692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5229 4519 1111 63 0 5166 0
vsize: 20916
[startup+70.0027 s]
Raw data (loadavg): 0.97 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 111443 0 0 0 6707 289 0 0 25 0 1 0 802715834 22732800 4781 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5550 4781 1111 63 0 5487 0
vsize: 22200
[startup+80.0039 s]
Raw data (loadavg): 0.97 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 122897 0 0 0 7680 317 0 0 25 0 1 0 802715834 22982656 4929 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5611 4929 1111 63 0 5548 0
vsize: 22444
[startup+90.0036 s]
Raw data (loadavg): 0.97 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 132805 0 0 0 8654 342 0 0 25 0 1 0 802715834 23670784 5097 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5779 5097 1111 63 0 5716 0
vsize: 23116
[startup+100.004 s]
Raw data (loadavg): 0.98 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 142974 0 0 0 9630 367 0 0 25 0 1 0 802715834 24170496 5219 4294967295 134512640 134714508 3221221776 3221219776 1074916558 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5901 5219 1111 63 0 5838 0
vsize: 23604
[startup+110.004 s]
Raw data (loadavg): 0.98 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 155215 0 0 0 10599 397 0 0 25 0 1 0 802715834 24866816 5387 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6071 5387 1111 63 0 6008 0
vsize: 24284
[startup+120.004 s]
Raw data (loadavg): 0.98 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 164291 0 0 0 11579 418 0 0 25 0 1 0 802715834 26742784 5722 4294967295 134512640 134714508 3221221776 3221218840 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6529 5722 1111 63 0 6466 0
vsize: 26116
[startup+130.004 s]
Raw data (loadavg): 0.98 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 191394 0 0 0 12520 478 0 0 25 0 1 0 802715834 27611136 5854 4294967295 134512640 134714508 3221221776 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6741 5854 1111 63 0 6678 0
vsize: 26964
[startup+140.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 215952 0 0 0 13466 531 0 0 25 0 1 0 802715834 29093888 6256 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7103 6256 1111 63 0 7040 0
vsize: 28412
[startup+150.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 232766 0 0 0 14427 571 0 0 25 0 1 0 802715834 27738112 6078 4294967295 134512640 134714508 3221221776 3221219776 1074918280 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6772 6078 1111 63 0 6709 0
vsize: 27088
[startup+160.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 244633 0 0 0 15399 599 0 0 25 0 1 0 802715834 28200960 6191 4294967295 134512640 134714508 3221221776 3221219980 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6885 6191 1111 63 0 6822 0
vsize: 27540
[startup+170.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 266765 0 0 0 16355 643 0 0 25 0 1 0 802715834 28917760 6353 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7178 6356 1111 63 0 7115 0
vsize: 28240
[startup+180.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 294546 0 0 0 17292 706 0 0 25 0 1 0 802715834 30052352 6643 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7337 6643 1111 63 0 7274 0
vsize: 29348
[startup+190.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 314513 0 0 0 18250 748 0 0 25 0 1 0 802715834 31838208 7064 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7773 7064 1111 63 0 7710 0
vsize: 31092
[startup+200.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 316328 0 0 0 19244 754 0 0 25 0 1 0 802715834 37588992 8215 4294967295 134512640 134714508 3221221776 3221217936 1075091363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9177 8215 1111 63 0 9114 0
vsize: 36708
[startup+210.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 320693 0 0 0 20234 764 0 0 25 0 1 0 802715834 31207424 6926 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7619 6926 1111 63 0 7556 0
vsize: 30476
[startup+220.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 345984 0 0 0 21176 822 0 0 25 0 1 0 802715834 31825920 7035 4294967295 134512640 134714508 3221221776 3221219708 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7770 7035 1111 63 0 7707 0
vsize: 31080
[startup+230.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 371459 0 0 0 22122 877 0 0 25 0 1 0 802715834 32030720 7107 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7801 7107 1111 63 0 7738 0
vsize: 31280
[startup+240.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 402602 0 0 0 23052 947 0 0 25 0 1 0 802715834 32428032 7223 4294967295 134512640 134714508 3221221776 3221220064 1073986877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7917 7223 1111 63 0 7854 0
vsize: 31668
[startup+250.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 431671 0 0 0 23984 1015 0 0 25 0 1 0 802715834 35524608 7579 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8673 7579 1111 63 0 8610 0
vsize: 34692
[startup+260.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 453604 0 0 0 24933 1066 0 0 25 0 1 0 802715834 33570816 7487 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8196 7487 1111 63 0 8133 0
vsize: 32784
[startup+270.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 482930 0 0 0 25865 1135 0 0 25 0 1 0 802715834 34246656 7670 4294967295 134512640 134714508 3221221776 3221220016 1074207495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8361 7670 1111 63 0 8298 0
vsize: 33444
[startup+280.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 515251 0 0 0 26791 1208 0 0 25 0 1 0 802715834 37257216 7881 4294967295 134512640 134714508 3221221776 3221218848 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9096 7882 1111 63 0 9033 0
vsize: 36384
[startup+290.007 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 543471 0 0 0 27727 1272 0 0 25 0 1 0 802715834 35360768 7942 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8633 7942 1111 63 0 8570 0
vsize: 34532
[startup+300.008 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 572564 0 0 0 28659 1341 0 0 25 0 1 0 802715834 36085760 8108 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8810 8108 1111 63 0 8747 0
vsize: 35240
[startup+310.007 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 596494 0 0 0 29603 1396 0 0 25 0 1 0 802715834 36421632 8201 4294967295 134512640 134714508 3221221776 3221219980 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8892 8201 1111 63 0 8829 0
vsize: 35568
[startup+320.007 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 625390 0 0 0 30539 1461 0 0 25 0 1 0 802715834 39329792 8522 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9602 8522 1111 63 0 9539 0
vsize: 38408
[startup+330.008 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 641765 0 0 0 31500 1500 0 0 25 0 1 0 802715834 38154240 8616 4294967295 134512640 134714508 3221221776 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9315 8616 1111 63 0 9252 0
vsize: 37260
[startup+340.008 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 641908 0 0 0 32497 1503 0 0 25 0 1 0 802715834 38477824 8703 4294967295 134512640 134714508 3221221776 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9394 8703 1111 63 0 9331 0
vsize: 37576
[startup+350.009 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 644266 0 0 0 33493 1507 0 0 25 0 1 0 802715834 45187072 10192 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11032 10192 1111 63 0 10969 0
vsize: 44128
[startup+360.011 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 644473 0 0 0 34492 1508 0 0 25 0 1 0 802715834 44679168 10127 4294967295 134512640 134714508 3221221776 3221218004 1075115076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10908 10127 1111 63 0 10845 0
vsize: 43632
[startup+370.011 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 646089 0 0 0 35489 1512 0 0 25 0 1 0 802715834 38731776 8765 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9456 8765 1111 63 0 9393 0
vsize: 37824
[startup+380.011 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 647286 0 0 0 36486 1515 0 0 25 0 1 0 802715834 43356160 9512 4294967295 134512640 134714508 3221221776 3221217772 1074788153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10585 9512 1111 63 0 10522 0
vsize: 42340
[startup+390.011 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 656728 0 0 0 37463 1538 0 0 25 0 1 0 802715834 38510592 8706 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9402 8706 1111 63 0 9339 0
vsize: 37608
[startup+400.011 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 682849 0 0 0 38404 1598 0 0 25 0 1 0 802715834 40759296 8577 4294967295 134512640 134714508 3221221776 3221218776 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9951 8577 1111 63 0 9888 0
vsize: 39804
[startup+410.011 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 726990 0 0 0 39306 1696 0 0 25 0 1 0 802715834 39428096 8926 4294967295 134512640 134714508 3221221776 3221219888 1074867347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9626 8926 1111 63 0 9563 0
vsize: 38504
[startup+420.012 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 758260 0 0 0 40233 1769 0 0 25 0 1 0 802715834 40189952 9112 4294967295 134512640 134714508 3221221776 3221220488 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9812 9112 1111 63 0 9749 0
vsize: 39248
[startup+430.012 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 789391 0 0 0 41161 1841 0 0 25 0 1 0 802715834 40742912 9247 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9947 9247 1111 63 0 9884 0
vsize: 39788
[startup+440.012 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 822894 0 0 0 42086 1917 0 0 25 0 1 0 802715834 44085248 9530 4294967295 134512640 134714508 3221221776 3221217808 1075965234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10763 9530 1111 63 0 10700 0
vsize: 43052
[startup+450.012 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 861332 0 0 0 42995 2007 0 0 25 0 1 0 802715834 41930752 9528 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10237 9528 1111 63 0 10174 0
vsize: 40948
[startup+460.013 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 896898 0 0 0 43914 2089 0 0 25 0 1 0 802715834 45846528 9789 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11193 9801 1111 63 0 11130 0
vsize: 44772
[startup+470.013 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 916588 0 0 0 44865 2138 0 0 25 0 1 0 802715834 44158976 10037 4294967295 134512640 134714508 3221221776 3221219776 1074918607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10781 10037 1111 63 0 10718 0
vsize: 43124
[startup+480.014 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 935624 0 0 0 45821 2182 0 0 25 0 1 0 802715834 43741184 9938 4294967295 134512640 134714508 3221221776 3221219688 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10679 9938 1111 63 0 10616 0
vsize: 42716
[startup+490.014 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 965077 0 0 0 46756 2247 0 0 25 0 1 0 802715834 45117440 10270 4294967295 134512640 134714508 3221221776 3221219776 1074916908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11015 10270 1111 63 0 10952 0
vsize: 44060
[startup+500.015 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 989221 0 0 0 47698 2305 0 0 25 0 1 0 802715834 45322240 10290 4294967295 134512640 134714508 3221221776 3221219840 1075961750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11065 10290 1111 63 0 11002 0
vsize: 44260
[startup+510.015 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1019473 0 0 0 48625 2378 0 0 25 0 1 0 802715834 48058368 10436 4294967295 134512640 134714508 3221221776 3221218028 1075112132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11733 10436 1111 63 0 11670 0
vsize: 46932
[startup+520.015 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1060019 0 0 0 49534 2470 0 0 25 0 1 0 802715834 46829568 10689 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11433 10689 1111 63 0 11370 0
vsize: 45732
[startup+530.016 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1070074 0 0 0 50510 2494 0 0 25 0 1 0 802715834 46202880 10536 4294967295 134512640 134714508 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11280 10536 1111 63 0 11217 0
vsize: 45120
[startup+540.016 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1101623 0 0 0 51437 2567 0 0 25 0 1 0 802715834 49369088 10747 4294967295 134512640 134714508 3221221776 3221217744 1075965308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12053 10747 1111 63 0 11990 0
vsize: 48212
[startup+550.016 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1142076 0 0 0 52342 2663 0 0 25 0 1 0 802715834 47157248 10770 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11513 10770 1111 63 0 11450 0
vsize: 46052
[startup+560.016 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1164298 0 0 0 53291 2713 0 0 25 0 1 0 802715834 48156672 11014 4294967295 134512640 134714508 3221221776 3221220568 134622601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11757 11014 1111 63 0 11694 0
vsize: 47028
[startup+570.017 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1172905 0 0 0 54270 2735 0 0 25 0 1 0 802715834 47980544 10971 4294967295 134512640 134714508 3221221776 3221219776 1074918496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11714 10971 1111 63 0 11651 0
vsize: 46856
[startup+580.017 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1192834 0 0 0 55222 2782 0 0 25 0 1 0 802715834 52539392 11042 4294967295 134512640 134714508 3221221776 3221218588 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12827 11042 1111 63 0 12764 0
vsize: 51308
[startup+590.017 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1221627 0 0 0 56155 2849 0 0 25 0 1 0 802715834 51392512 11268 4294967295 134512640 134714508 3221221776 3221218112 1075114277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12547 11268 1111 63 0 12484 0
vsize: 50188
[startup+600.019 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1249320 0 0 0 57091 2915 0 0 25 0 1 0 802715834 51904512 11412 4294967295 134512640 134714508 3221221776 3221217984 1074815309 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12672 11412 1111 63 0 12609 0
vsize: 50688
[startup+610.019 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1278149 0 0 0 58025 2980 0 0 25 0 1 0 802715834 50118656 11460 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12236 11460 1111 63 0 12173 0
vsize: 48944
[startup+620.019 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1288863 0 0 0 59001 3005 0 0 25 0 1 0 802715834 50229248 11480 4294967295 134512640 134714508 3221221776 3221218880 1074138720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12263 11480 1111 63 0 12200 0
vsize: 49052
[startup+630.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1314511 0 0 0 59938 3068 0 0 25 0 1 0 802715834 53223424 11539 4294967295 134512640 134714508 3221221776 3221218720 1074620369 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12994 11539 1111 63 0 12931 0
vsize: 51976
[startup+640.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1350533 0 0 0 60853 3153 0 0 25 0 1 0 802715834 53555200 11641 4294967295 134512640 134714508 3221221776 3221218712 1075066504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13075 11641 1111 63 0 13012 0
vsize: 52300
[startup+650.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1385314 0 0 0 61773 3233 0 0 25 0 1 0 802715834 51957760 11934 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12685 11934 1111 63 0 12622 0
vsize: 50740
[startup+660.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1396040 0 0 0 62750 3256 0 0 25 0 1 0 802715834 56512512 12626 4294967295 134512640 134714508 3221221776 3221217724 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13797 12626 1111 63 0 13734 0
vsize: 55188
[startup+670.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1414552 0 0 0 63705 3302 0 0 25 0 1 0 802715834 56074240 11925 4294967295 134512640 134714508 3221221776 3221218848 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13690 11925 1111 63 0 13627 0
vsize: 54760
[startup+680.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1448930 0 0 0 64624 3382 0 0 25 0 1 0 802715834 51920896 11920 4294967295 134512640 134714508 3221221776 3221219908 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12676 11920 1111 63 0 12613 0
vsize: 50704
[startup+690.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1477602 0 0 0 65556 3451 0 0 25 0 1 0 802715834 56057856 12474 4294967295 134512640 134714508 3221221776 3221218004 1075115057 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13686 12474 1111 63 0 13623 0
vsize: 54744
[startup+700.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1499173 0 0 0 66505 3502 0 0 25 0 1 0 802715834 52989952 12188 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12937 12188 1111 63 0 12874 0
vsize: 51748
[startup+710.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1524589 0 0 0 67445 3562 0 0 25 0 1 0 802715834 54403072 12448 4294967295 134512640 134714508 3221221776 3221219056 1074140026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13282 12453 1111 63 0 13219 0
vsize: 53128
[startup+720.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1534116 0 0 0 68424 3583 0 0 25 0 1 0 802715834 58531840 12689 4294967295 134512640 134714508 3221221776 3221218048 1074961267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14290 12689 1111 63 0 14227 0
vsize: 57160
[startup+730.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1544818 0 0 0 69398 3610 0 0 25 0 1 0 802715834 53891072 12408 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13157 12408 1111 63 0 13094 0
vsize: 52628
[startup+740.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1567083 0 0 0 70346 3662 0 0 25 0 1 0 802715834 54005760 12438 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13185 12438 1111 63 0 13122 0
vsize: 52740
[startup+750.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1589488 0 0 0 71293 3715 0 0 25 0 1 0 802715834 54562816 12574 4294967295 134512640 134714508 3221221776 3221220144 1074140701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13321 12574 1111 63 0 13258 0
vsize: 53284
[startup+760.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1620356 0 0 0 72221 3787 0 0 25 0 1 0 802715834 54943744 12667 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13414 12667 1111 63 0 13351 0
vsize: 53656
[startup+770.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1656856 0 0 0 73134 3874 0 0 25 0 1 0 802715834 58351616 12982 4294967295 134512640 134714508 3221221776 3221217984 1074815430 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14246 12982 1111 63 0 14183 0
vsize: 56984
[startup+780.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1668107 0 0 0 74109 3900 0 0 25 0 1 0 802715834 56598528 13071 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13818 13071 1111 63 0 13755 0
vsize: 55272
[startup+790.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1676341 0 0 0 75090 3918 0 0 25 0 1 0 802715834 55963648 12916 4294967295 134512640 134714508 3221221776 3221220064 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13663 12916 1111 63 0 13600 0
vsize: 54652
[startup+800.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1686268 0 0 0 76068 3941 0 0 25 0 1 0 802715834 56438784 13026 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13779 13026 1111 63 0 13716 0
vsize: 55116
[startup+810.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1699024 0 0 0 77037 3972 0 0 25 0 1 0 802715834 56446976 13033 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13781 13033 1111 63 0 13718 0
vsize: 55124
[startup+820.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1715055 0 0 0 78000 4009 0 0 25 0 1 0 802715834 56946688 13125 4294967295 134512640 134714508 3221221776 3221219936 1074153722 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13903 13125 1111 63 0 13840 0
vsize: 55612
[startup+830.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1731187 0 0 0 78960 4049 0 0 25 0 1 0 802715834 59760640 13348 4294967295 134512640 134714508 3221221776 3221217772 1074788168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14590 13348 1111 63 0 14527 0
vsize: 58360
[startup+840.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1744454 0 0 0 79929 4080 0 0 25 0 1 0 802715834 57102336 13191 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13941 13191 1111 63 0 13878 0
vsize: 55764
[startup+850.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1769438 0 0 0 80870 4140 0 0 25 0 1 0 802715834 57192448 13213 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13963 13213 1111 63 0 13900 0
vsize: 55852
[startup+860.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1801851 0 0 0 81793 4216 0 0 25 0 1 0 802715834 57593856 13311 4294967295 134512640 134714508 3221221776 3221219984 1077378651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14061 13311 1111 63 0 13998 0
vsize: 56244
[startup+870.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1827794 0 0 0 82730 4279 0 0 25 0 1 0 802715834 60911616 13610 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14871 13610 1111 63 0 14808 0
vsize: 59484
[startup+880.022 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1862412 0 0 0 83650 4360 0 0 25 0 1 0 802715834 59248640 13711 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14465 13711 1111 63 0 14402 0
vsize: 57860
[startup+890.022 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1874637 0 0 0 84619 4391 0 0 25 0 1 0 802715834 59105280 13680 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14430 13680 1111 63 0 14367 0
vsize: 57720
[startup+900.022 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1898861 0 0 0 85559 4451 0 0 25 0 1 0 802715834 59203584 13704 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14454 13704 1111 63 0 14391 0
vsize: 57816
[startup+910.023 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1920288 0 0 0 86508 4503 0 0 25 0 1 0 802715834 59416576 13756 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14506 13756 1111 63 0 14443 0
vsize: 58024
[startup+920.023 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1952715 0 0 0 87432 4579 0 0 25 0 1 0 802715834 59875328 13868 4294967295 134512640 134714508 3221221776 3221219944 1074138327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14618 13868 1111 63 0 14555 0
vsize: 58472
[startup+930.023 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1967745 0 0 0 88397 4613 0 0 25 0 1 0 802715834 63799296 14392 4294967295 134512640 134714508 3221221776 3221218816 1075971386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15576 14392 1111 63 0 15513 0
vsize: 62304
[startup+940.023 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 1980914 0 0 0 89365 4646 0 0 25 0 1 0 802715834 60284928 13965 4294967295 134512640 134714508 3221221776 3221220320 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14718 13965 1111 63 0 14655 0
vsize: 58872
[startup+950.024 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2016015 0 0 0 90281 4730 0 0 25 0 1 0 802715834 60698624 14052 4294967295 134512640 134714508 3221221776 3221220572 134558496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14819 14052 1111 63 0 14756 0
vsize: 59276
[startup+960.024 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2055466 0 0 0 91186 4825 0 0 25 0 1 0 802715834 61550592 14274 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15027 14274 1111 63 0 14964 0
vsize: 60108
[startup+970.024 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2097436 0 0 0 92087 4925 0 0 25 0 1 0 802715834 62263296 14440 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15201 14440 1111 63 0 15138 0
vsize: 60804
[startup+980.024 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2108697 0 0 0 93060 4951 0 0 25 0 1 0 802715834 67751936 15332 4294967295 134512640 134714508 3221221776 3221218172 1075965344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16541 15332 1111 63 0 16478 0
vsize: 66164
[startup+990.024 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2124907 0 0 0 94024 4988 0 0 25 0 1 0 802715834 63332352 14705 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15462 14705 1111 63 0 15399 0
vsize: 61848
[startup+1000.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2142886 0 0 0 94980 5032 0 0 25 0 1 0 802715834 62939136 14615 4294967295 134512640 134714508 3221221776 3221219928 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15366 14615 1111 63 0 15303 0
vsize: 61464
[startup+1010.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2181628 0 0 0 95892 5120 0 0 25 0 1 0 802715834 66568192 14992 4294967295 134512640 134714508 3221221776 3221217876 1075964221 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16252 14992 1111 63 0 16189 0
vsize: 65008
[startup+1020.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2212523 0 0 0 96819 5193 0 0 25 0 1 0 802715834 64049152 14886 4294967295 134512640 134714508 3221221776 3221220444 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15637 14886 1111 63 0 15574 0
vsize: 62548
[startup+1030.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2251717 0 0 0 97726 5287 0 0 25 0 1 0 802715834 65003520 15120 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15870 15120 1111 63 0 15807 0
vsize: 63480
[startup+1040.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2251985 0 0 0 98724 5289 0 0 25 0 1 0 802715834 65884160 15336 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16085 15336 1111 63 0 16022 0
vsize: 64340
[startup+1050.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2252064 0 0 0 99723 5290 0 0 25 0 1 0 802715834 66285568 15415 4294967295 134512640 134714508 3221221776 3221220016 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16183 15415 1111 63 0 16120 0
vsize: 64732
[startup+1060.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2254754 0 0 0 100717 5296 0 0 25 0 1 0 802715834 72839168 16771 4294967295 134512640 134714508 3221221776 3221217788 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17783 16771 1111 63 0 17720 0
vsize: 71132
[startup+1070.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2254970 0 0 0 101717 5296 0 0 25 0 1 0 802715834 73146368 16987 4294967295 134512640 134714508 3221221776 3221218432 1075967926 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17858 16987 1111 63 0 17795 0
vsize: 71432
[startup+1080.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2256872 0 0 0 102712 5302 0 0 25 0 1 0 802715834 66355200 15451 4294967295 134512640 134714508 3221221776 3221220572 134542400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16200 15451 1111 63 0 16137 0
vsize: 64800
[startup+1090.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2256935 0 0 0 103711 5302 0 0 25 0 1 0 802715834 65380352 15213 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15962 15213 1111 63 0 15899 0
vsize: 63848
[startup+1100.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2257099 0 0 0 104709 5304 0 0 25 0 1 0 802715834 66052096 15377 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16126 15377 1111 63 0 16063 0
vsize: 64504
[startup+1110.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2257781 0 0 0 105707 5308 0 0 25 0 1 0 802715834 69296128 16059 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16918 16059 1111 63 0 16855 0
vsize: 67672
[startup+1120.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2260096 0 0 0 106702 5312 0 0 25 0 1 0 802715834 73428992 16995 4294967295 134512640 134714508 3221221776 3221217820 1074873471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17927 16995 1111 63 0 17864 0
vsize: 71708
[startup+1130.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2260114 0 0 0 107702 5312 0 0 25 0 1 0 802715834 73428992 17013 4294967295 134512640 134714508 3221221776 3221217788 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17927 17013 1111 63 0 17864 0
vsize: 71708
[startup+1140.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2262132 0 0 0 108697 5318 0 0 25 0 1 0 802715834 65523712 15248 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15997 15248 1111 63 0 15934 0
vsize: 63988
[startup+1150.03 s]
Raw data (loadavg): 0.99 1.00 0.95 3/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2265111 0 0 0 109690 5325 0 0 25 0 1 0 802715834 65822720 15294 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16070 15294 1111 63 0 16007 0
vsize: 64280
[startup+1160.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2273092 0 0 0 110673 5342 0 0 25 0 1 0 802715834 65159168 15159 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15908 15159 1111 63 0 15845 0
vsize: 63632
[startup+1170.03 s]
Raw data (loadavg): 0.99 1.00 0.95 3/55 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2312252 0 0 0 111583 5432 0 0 25 0 1 0 802715834 70578176 15274 4294967295 134512640 134714508 3221221776 3221217920 1074969499 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17231 15274 1111 63 0 17168 0
vsize: 68924
[startup+1175.84 s]
Raw data (loadavg): 0.99 1.00 0.95 1/54 7929
Raw data (stat): 7927 (bsolo_lpr_cuts) R 7926 7876 7672 0 -1 0 2312252 0 0 0 111583 5432 0 0 25 0 1 0 802715834 70578176 15274 4294967295 134512640 134714508 3221221776 3221217920 1074969499 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17231 15274 1111 63 0 17168 0
vsize: 0

Child status: 10
Real time (s): 1175.84
CPU time (s): 1175.97
CPU user time (s): 1121.15
CPU system time (s): 54.8157
CPU usage (%): 100.011
Max. virtual memory (Kb): 71708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	324783
#### END VERIFIER DATA ####