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/miplib/normalized-mps-v2-13-7-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.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 25859

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 01:29:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17123 boxname=wulflinc31 idbench=1318 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a733e9fa1e4e3ac90baf85249f7c3e9a  /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: 17123
/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:        844184 kB
Buffers:         31876 kB
Cached:         139004 kB
SwapCached:       1024 kB
Active:         112740 kB
Inactive:        60364 kB
HighTotal:      131008 kB
HighFree:         2800 kB
LowTotal:       903652 kB
LowFree:        841384 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            11896 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 01:49:23 (client local time) WITH STATUS 10 IN 1175.24 SECONDS
stats: 17123 0 1175.24 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.308 s
c Initial Lower Bound: 55117
c Lower Bound Elapsed time: 0.0378
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 514236 @ 3.101
c NEW SOLUTION FOUND: 376825 @ 3.101
c NEW SOLUTION FOUND: 375734 @ 3.106
c NEW SOLUTION FOUND: 363658 @ 3.144
c NEW SOLUTION FOUND: 335351 @ 3.254
c NEW SOLUTION FOUND: 334542 @ 3.386
c NEW SOLUTION FOUND: 328927 @ 3.89
c NEW SOLUTION FOUND: 327441 @ 173.121
c NEW SOLUTION FOUND: 327400 @ 173.948
c NEW SOLUTION FOUND: 326657 @ 174.084
c NEW SOLUTION FOUND: 324783 @ 272.825
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.19 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 0.97 0.91 2/55 32188
Raw data (stat): 32188 (runsolver) R 32187 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 817626539 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.91 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 13561 0 0 0 948 43 0 0 25 0 1 0 817626539 14340096 2765 4294967295 134512640 134714508 3221221776 3221217872 1074790230 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3501 2765 1111 63 0 3438 0
vsize: 14004
[startup+20.0019 s]
Raw data (loadavg): 0.92 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 32998 0 0 0 1896 95 0 0 25 0 1 0 817626539 15708160 3112 4294967295 134512640 134714508 3221221776 3221220032 1073990032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 3112 1111 63 0 3772 0
vsize: 15340
[startup+30.0028 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 52187 0 0 0 2842 149 0 0 25 0 1 0 817626539 17850368 3602 4294967295 134512640 134714508 3221221776 3221218924 1075895161 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4358 3602 1111 63 0 4295 0
vsize: 17432
[startup+40.0038 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 68450 0 0 0 3801 190 0 0 25 0 1 0 817626539 18776064 3897 4294967295 134512640 134714508 3221221776 3221220112 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4584 3897 1111 63 0 4521 0
vsize: 18336
[startup+50.0048 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 85523 0 0 0 4752 239 0 0 25 0 1 0 817626539 20516864 4327 4294967295 134512640 134714508 3221221776 3221218528 1074247426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5009 4327 1111 63 0 4946 0
vsize: 20036
[startup+60.0057 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 95780 0 0 0 5726 265 0 0 25 0 1 0 817626539 21585920 4539 4294967295 134512640 134714508 3221221776 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5270 4539 1111 63 0 5207 0
vsize: 21080
[startup+70.0069 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 112052 0 0 0 6686 306 0 0 25 0 1 0 817626539 22757376 4809 4294967295 134512640 134714508 3221221776 3221217984 1074815473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5556 4809 1111 63 0 5493 0
vsize: 22224
[startup+80.0085 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 123270 0 0 0 7660 331 0 0 25 0 1 0 817626539 23465984 4970 4294967295 134512640 134714508 3221221776 3221219152 1075115360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5729 4970 1111 63 0 5666 0
vsize: 22916
[startup+90.0095 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 133145 0 0 0 8635 357 0 0 25 0 1 0 817626539 23945216 5093 4294967295 134512640 134714508 3221221776 3221219608 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5846 5093 1111 63 0 5783 0
vsize: 23384
[startup+100.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 143184 0 0 0 9611 381 0 0 25 0 1 0 817626539 24313856 5228 4294967295 134512640 134714508 3221221776 3221220108 1075006768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5936 5228 1111 63 0 5873 0
vsize: 23744
[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 155556 0 0 0 10582 410 0 0 25 0 1 0 817626539 24854528 5386 4294967295 134512640 134714508 3221221776 3221220032 1073978447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5386 1111 63 0 6005 0
vsize: 24272
[startup+120.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 164395 0 0 0 11560 432 0 0 25 0 1 0 817626539 25706496 5568 4294967295 134512640 134714508 3221221776 3221219840 1075961779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6276 5568 1111 63 0 6213 0
vsize: 25104
[startup+130.013 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 191409 0 0 0 12496 496 0 0 25 0 1 0 817626539 27611136 5869 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6741 5869 1111 63 0 6678 0
vsize: 26964
[startup+140.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 215953 0 0 0 13442 551 0 0 25 0 1 0 817626539 29093888 6257 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7103 6257 1111 63 0 7040 0
vsize: 28412
[startup+150.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 232658 0 0 0 14402 590 0 0 25 0 1 0 817626539 28704768 6142 4294967295 134512640 134714508 3221221776 3221217740 1074860598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7008 6142 1111 63 0 6945 0
vsize: 28032
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 244541 0 0 0 15374 619 0 0 25 0 1 0 817626539 28200960 6191 4294967295 134512640 134714508 3221221776 3221220568 134536900 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 266066 0 0 0 16325 667 0 0 25 0 1 0 817626539 28917760 6347 4294967295 134512640 134714508 3221221776 3221219760 1074919789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7060 6347 1111 63 0 6997 0
vsize: 28240
[startup+180.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 293862 0 0 0 17265 727 0 0 25 0 1 0 817626539 30052352 6636 4294967295 134512640 134714508 3221221776 3221220048 1074056202 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7337 6636 1111 63 0 7274 0
vsize: 29348
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 314510 0 0 0 18219 774 0 0 25 0 1 0 817626539 31830016 7061 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7771 7061 1111 63 0 7708 0
vsize: 31084
[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 316333 0 0 0 19213 780 0 0 25 0 1 0 817626539 37588992 8220 4294967295 134512640 134714508 3221221776 3221217936 1074883513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9177 8220 1111 63 0 9114 0
vsize: 36708
[startup+210.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 320693 0 0 0 20201 792 0 0 25 0 1 0 817626539 31207424 6926 4294967295 134512640 134714508 3221221776 3221219984 1074153773 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 345949 0 0 0 21142 850 0 0 25 0 1 0 817626539 31653888 7035 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7728 7035 1111 63 0 7665 0
vsize: 30912
[startup+230.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 370944 0 0 0 22086 906 0 0 25 0 1 0 817626539 31924224 7101 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7794 7101 1111 63 0 7731 0
vsize: 31176
[startup+240.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 401498 0 0 0 23019 974 0 0 25 0 1 0 817626539 34619392 7365 4294967295 134512640 134714508 3221221776 3221217744 1074872793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8452 7365 1111 63 0 8389 0
vsize: 33808
[startup+250.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 431416 0 0 0 23949 1044 0 0 25 0 1 0 817626539 36696064 7869 4294967295 134512640 134714508 3221221776 3221218008 1076111521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8959 7869 1111 63 0 8896 0
vsize: 35836
[startup+260.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 452551 0 0 0 24900 1093 0 0 25 0 1 0 817626539 33521664 7482 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8184 7482 1111 63 0 8121 0
vsize: 32736
[startup+270.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 482275 0 0 0 25833 1160 0 0 25 0 1 0 817626539 34336768 7676 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8383 7676 1111 63 0 8320 0
vsize: 33532
[startup+280.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 514698 0 0 0 26756 1237 0 0 25 0 1 0 817626539 37040128 7895 4294967295 134512640 134714508 3221221776 3221218048 1074799726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9043 7895 1111 63 0 8980 0
vsize: 36172
[startup+290.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 542239 0 0 0 27690 1303 0 0 25 0 1 0 817626539 37498880 8059 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9155 8059 1111 63 0 9092 0
vsize: 36620
[startup+300.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 571939 0 0 0 28621 1372 0 0 25 0 1 0 817626539 35991552 8096 4294967295 134512640 134714508 3221221776 3221219424 1075818331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8787 8096 1111 63 0 8724 0
vsize: 35148
[startup+310.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 595505 0 0 0 29567 1426 0 0 25 0 1 0 817626539 36470784 8199 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8904 8199 1111 63 0 8841 0
vsize: 35616
[startup+320.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 624238 0 0 0 30498 1496 0 0 25 0 1 0 817626539 37101568 8367 4294967295 134512640 134714508 3221221776 3221219600 1075824335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9058 8367 1111 63 0 8995 0
vsize: 36232
[startup+330.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 641755 0 0 0 31459 1535 0 0 25 0 1 0 817626539 38125568 8606 4294967295 134512640 134714508 3221221776 3221219840 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9308 8606 1111 63 0 9245 0
vsize: 37232
[startup+340.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 641904 0 0 0 32457 1537 0 0 25 0 1 0 817626539 38461440 8699 4294967295 134512640 134714508 3221221776 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9390 8699 1111 63 0 9327 0
vsize: 37560
[startup+350.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 644266 0 0 0 33451 1542 0 0 25 0 1 0 817626539 45187072 10192 4294967295 134512640 134714508 3221221776 3221218048 1074961301 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.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 644466 0 0 0 34451 1543 0 0 25 0 1 0 817626539 44679168 10120 4294967295 134512640 134714508 3221221776 3221218000 1075895652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10908 10120 1111 63 0 10845 0
vsize: 43632
[startup+370.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 646089 0 0 0 35446 1548 0 0 25 0 1 0 817626539 38731776 8765 4294967295 134512640 134714508 3221221776 3221220488 134543191 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.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 646393 0 0 0 36445 1549 0 0 25 0 1 0 817626539 38752256 8741 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9461 8741 1111 63 0 9398 0
vsize: 37844
[startup+390.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 654871 0 0 0 37426 1569 0 0 25 0 1 0 817626539 41779200 9114 4294967295 134512640 134714508 3221221776 3221218048 1074961304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10200 9114 1111 63 0 10137 0
vsize: 40800
[startup+400.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 675490 0 0 0 38377 1617 0 0 25 0 1 0 817626539 37769216 8530 4294967295 134512640 134714508 3221221776 3221219776 1074916543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9221 8530 1111 63 0 9158 0
vsize: 36884
[startup+410.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 722926 0 0 0 39270 1725 0 0 25 0 1 0 817626539 42364928 8933 4294967295 134512640 134714508 3221221776 3221218820 1074846163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10343 8933 1111 63 0 10280 0
vsize: 41372
[startup+420.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 756529 0 0 0 40190 1804 0 0 25 0 1 0 817626539 39960576 9056 4294967295 134512640 134714508 3221221776 3221220112 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9756 9056 1111 63 0 9693 0
vsize: 39024
[startup+430.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 784234 0 0 0 41127 1868 0 0 25 0 1 0 817626539 40890368 9251 4294967295 134512640 134714508 3221221776 3221219560 1077378730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9983 9251 1111 63 0 9920 0
vsize: 39932
[startup+440.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 818107 0 0 0 42049 1946 0 0 25 0 1 0 817626539 41054208 9323 4294967295 134512640 134714508 3221221776 3221219816 1075894869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10023 9323 1111 63 0 9960 0
vsize: 40092
[startup+450.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 854920 0 0 0 42959 2036 0 0 25 0 1 0 817626539 44568576 9640 4294967295 134512640 134714508 3221221776 3221217724 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10881 9640 1111 63 0 10818 0
vsize: 43524
[startup+460.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 890016 0 0 0 43876 2120 0 0 25 0 1 0 817626539 42442752 9634 4294967295 134512640 134714508 3221221776 3221219776 1074917984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10362 9634 1111 63 0 10299 0
vsize: 41448
[startup+470.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 914457 0 0 0 44821 2174 0 0 25 0 1 0 817626539 43806720 9952 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10695 9952 1111 63 0 10632 0
vsize: 42780
[startup+480.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 927553 0 0 0 45791 2205 0 0 25 0 1 0 817626539 43741184 9938 4294967295 134512640 134714508 3221221776 3221220128 1074153782 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.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 962300 0 0 0 46714 2282 0 0 25 0 1 0 817626539 45080576 10261 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11006 10261 1111 63 0 10943 0
vsize: 44024
[startup+500.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 984384 0 0 0 47663 2333 0 0 25 0 1 0 817626539 44793856 10163 4294967295 134512640 134714508 3221221776 3221219928 1074950124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10936 10163 1111 63 0 10873 0
vsize: 43744
[startup+510.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1008664 0 0 0 48607 2389 0 0 25 0 1 0 817626539 47783936 10237 4294967295 134512640 134714508 3221221776 3221219248 1075890968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11666 10237 1111 63 0 11603 0
vsize: 46664
[startup+520.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1057735 0 0 0 49498 2498 0 0 25 0 1 0 817626539 45920256 10438 4294967295 134512640 134714508 3221221776 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11211 10438 1111 63 0 11148 0
vsize: 44844
[startup+530.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1067076 0 0 0 50475 2521 0 0 25 0 1 0 817626539 46370816 10573 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11321 10573 1111 63 0 11258 0
vsize: 45284
[startup+540.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1095113 0 0 0 51409 2587 0 0 25 0 1 0 817626539 49201152 10715 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12012 10715 1111 63 0 11949 0
vsize: 48048
[startup+550.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1130261 0 0 0 52325 2672 0 0 25 0 1 0 817626539 49729536 10793 4294967295 134512640 134714508 3221221776 3221217876 1075964218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12141 10793 1111 63 0 12078 0
vsize: 48564
[startup+560.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1162279 0 0 0 53253 2744 0 0 25 0 1 0 817626539 48603136 11123 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11866 11123 1111 63 0 11803 0
vsize: 47464
[startup+570.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1170860 0 0 0 54232 2765 0 0 25 0 1 0 817626539 52834304 11151 4294967295 134512640 134714508 3221221776 3221217904 1075112371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12899 11151 1111 63 0 12836 0
vsize: 51596
[startup+580.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1186741 0 0 0 55191 2806 0 0 25 0 1 0 817626539 48091136 10994 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11741 10994 1111 63 0 11678 0
vsize: 46964
[startup+590.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1214453 0 0 0 56125 2872 0 0 25 0 1 0 817626539 48209920 11027 4294967295 134512640 134714508 3221221776 3221219688 1074138306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11770 11027 1111 63 0 11707 0
vsize: 47080
[startup+600.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1242615 0 0 0 57057 2940 0 0 25 0 1 0 817626539 48848896 11179 4294967295 134512640 134714508 3221221776 3221219968 1074153680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11926 11179 1111 63 0 11863 0
vsize: 47704
[startup+610.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1271333 0 0 0 57989 3009 0 0 25 0 1 0 817626539 52436992 11547 4294967295 134512640 134714508 3221221776 3221217788 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12802 11547 1111 63 0 12739 0
vsize: 51208
[startup+620.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1285105 0 0 0 58957 3040 0 0 25 0 1 0 817626539 49942528 11442 4294967295 134512640 134714508 3221221776 3221219512 1077378596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12193 11442 1111 63 0 12130 0
vsize: 48772
[startup+630.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1307883 0 0 0 59902 3095 0 0 25 0 1 0 817626539 52985856 11654 4294967295 134512640 134714508 3221221776 3221217772 1074788128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12936 11654 1111 63 0 12873 0
vsize: 51744
[startup+640.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1342309 0 0 0 60822 3176 0 0 25 0 1 0 817626539 50720768 11632 4294967295 134512640 134714508 3221221776 3221219936 1077379745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12383 11632 1111 63 0 12320 0
vsize: 49532
[startup+650.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1380115 0 0 0 61733 3265 0 0 25 0 1 0 817626539 51052544 11707 4294967295 134512640 134714508 3221221776 3221219776 1074916735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12464 11707 1111 63 0 12401 0
vsize: 49856
[startup+660.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1393261 0 0 0 62703 3295 0 0 25 0 1 0 817626539 52035584 11938 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12704 11938 1111 63 0 12641 0
vsize: 50816
[startup+670.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1406653 0 0 0 63671 3327 0 0 25 0 1 0 817626539 51687424 11851 4294967295 134512640 134714508 3221221776 3221220300 1073948008 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12619 11851 1111 63 0 12556 0
vsize: 50476
[startup+680.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1437137 0 0 0 64597 3401 0 0 25 0 1 0 817626539 51879936 11915 4294967295 134512640 134714508 3221221776 3221220320 1073988041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12666 11915 1111 63 0 12603 0
vsize: 50664
[startup+690.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1472826 0 0 0 65513 3485 0 0 25 0 1 0 817626539 52281344 12015 4294967295 134512640 134714508 3221221776 3221219776 1074917162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12764 12015 1111 63 0 12701 0
vsize: 51056
[startup+700.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1494559 0 0 0 66459 3539 0 0 25 0 1 0 817626539 57352192 12217 4294967295 134512640 134714508 3221221776 3221218432 1075967692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14002 12217 1111 63 0 13939 0
vsize: 56008
[startup+710.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1523199 0 0 0 67393 3605 0 0 25 0 1 0 817626539 53497856 12312 4294967295 134512640 134714508 3221221776 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13061 12312 1111 63 0 12998 0
vsize: 52244
[startup+720.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1532028 0 0 0 68374 3624 0 0 25 0 1 0 817626539 54046720 12446 4294967295 134512640 134714508 3221221776 3221220488 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13195 12446 1111 63 0 13132 0
vsize: 52780
[startup+730.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1541665 0 0 0 69351 3648 0 0 25 0 1 0 817626539 53891072 12408 4294967295 134512640 134714508 3221221776 3221220056 1074138285 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.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1560157 0 0 0 70306 3692 0 0 25 0 1 0 817626539 53895168 12410 4294967295 134512640 134714508 3221221776 3221220064 1074153857 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13158 12410 1111 63 0 13095 0
vsize: 52632
[startup+750.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1578903 0 0 0 71263 3736 0 0 25 0 1 0 817626539 54571008 12576 4294967295 134512640 134714508 3221221776 3221219888 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13323 12576 1111 63 0 13260 0
vsize: 53292
[startup+760.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1614028 0 0 0 72180 3819 0 0 25 0 1 0 817626539 58290176 13002 4294967295 134512640 134714508 3221221776 3221218048 1074961375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14231 13002 1111 63 0 14168 0
vsize: 56924
[startup+770.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1644044 0 0 0 73108 3891 0 0 25 0 1 0 817626539 55459840 12759 4294967295 134512640 134714508 3221221776 3221219424 1075818331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13540 12759 1111 63 0 13477 0
vsize: 54160
[startup+780.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1665881 0 0 0 74058 3941 0 0 25 0 1 0 817626539 61280256 13383 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14961 13383 1111 63 0 14898 0
vsize: 59844
[startup+790.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1673194 0 0 0 75042 3958 0 0 25 0 1 0 817626539 56446976 13003 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13781 13003 1111 63 0 13718 0
vsize: 55124
[startup+800.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1683005 0 0 0 76020 3980 0 0 25 0 1 0 817626539 56631296 13048 4294967295 134512640 134714508 3221221776 3221219776 1074916801 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13826 13048 1111 63 0 13763 0
vsize: 55304
[startup+810.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1693908 0 0 0 76992 4008 0 0 25 0 1 0 817626539 60997632 13214 4294967295 134512640 134714508 3221221776 3221218544 1076083498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14892 13214 1111 63 0 14829 0
vsize: 59568
[startup+820.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1708383 0 0 0 77956 4043 0 0 25 0 1 0 817626539 56451072 13031 4294967295 134512640 134714508 3221221776 3221219776 1074916735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13782 13031 1111 63 0 13719 0
vsize: 55128
[startup+830.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1723324 0 0 0 78919 4081 0 0 25 0 1 0 817626539 61448192 13251 4294967295 134512640 134714508 3221221776 3221217936 1075092567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15002 13251 1111 63 0 14939 0
vsize: 60008
[startup+840.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1739330 0 0 0 79882 4118 0 0 25 0 1 0 817626539 62025728 13527 4294967295 134512640 134714508 3221221776 3221218004 1075115035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15143 13527 1111 63 0 15080 0
vsize: 60572
[startup+850.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1753789 0 0 0 80849 4152 0 0 25 0 1 0 817626539 57102336 13191 4294967295 134512640 134714508 3221221776 3221220176 1074118827 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13941 13191 1111 63 0 13878 0
vsize: 55764
[startup+860.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1788182 0 0 0 81764 4236 0 0 25 0 1 0 817626539 62001152 13898 4294967295 134512640 134714508 3221221776 3221217984 1074815265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15137 13898 1111 63 0 15074 0
vsize: 60548
[startup+870.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1815124 0 0 0 82697 4303 0 0 25 0 1 0 817626539 62533632 13475 4294967295 134512640 134714508 3221221776 3221218816 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15267 13480 1111 63 0 15204 0
vsize: 61068
[startup+880.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1847673 0 0 0 83620 4381 0 0 25 0 1 0 817626539 61292544 13503 4294967295 134512640 134714508 3221221776 3221218720 1074620363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14964 13503 1111 63 0 14901 0
vsize: 59856
[startup+890.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1868681 0 0 0 84570 4431 0 0 25 0 1 0 817626539 63868928 13953 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15593 13953 1111 63 0 15530 0
vsize: 62372
[startup+900.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1884482 0 0 0 85532 4469 0 0 25 0 1 0 817626539 63537152 14251 4294967295 134512640 134714508 3221221776 3221217920 1074969680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15512 14251 1111 63 0 15449 0
vsize: 62048
[startup+910.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1909826 0 0 0 86469 4532 0 0 25 0 1 0 817626539 64016384 13945 4294967295 134512640 134714508 3221221776 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15629 13945 1111 63 0 15566 0
vsize: 62516
[startup+920.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1937206 0 0 0 87404 4597 0 0 25 0 1 0 817626539 62529536 13880 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15266 13889 1111 63 0 15203 0
vsize: 61064
[startup+930.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1961753 0 0 0 88345 4657 0 0 25 0 1 0 817626539 59949056 13886 4294967295 134512640 134714508 3221221776 3221218880 1074138720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14636 13886 1111 63 0 14573 0
vsize: 58544
[startup+940.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1971674 0 0 0 89320 4682 0 0 25 0 1 0 817626539 60555264 14020 4294967295 134512640 134714508 3221221776 3221218968 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14784 14020 1111 63 0 14721 0
vsize: 59136
[startup+950.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 1994169 0 0 0 90265 4737 0 0 25 0 1 0 817626539 63213568 14174 4294967295 134512640 134714508 3221221776 3221217768 1075964740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15433 14174 1111 63 0 15370 0
vsize: 61732
[startup+960.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2029225 0 0 0 91183 4819 0 0 25 0 1 0 817626539 61292544 14173 4294967295 134512640 134714508 3221221776 3221219888 1074867311 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14964 14173 1111 63 0 14901 0
vsize: 59856
[startup+970.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2069168 0 0 0 92090 4913 0 0 25 0 1 0 817626539 64544768 14326 4294967295 134512640 134714508 3221221776 3221218944 1074821504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15066 14313 1111 63 0 15003 0
vsize: 63032
[startup+980.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2101826 0 0 0 93012 4990 0 0 25 0 1 0 817626539 63209472 14681 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15432 14681 1111 63 0 15369 0
vsize: 61728
[startup+990.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2114912 0 0 0 93985 5018 0 0 25 0 1 0 817626539 63340544 14709 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15464 14709 1111 63 0 15401 0
vsize: 61856
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2129533 0 0 0 94950 5053 0 0 25 0 1 0 817626539 66232320 14932 4294967295 134512640 134714508 3221221776 3221217744 1074872882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16170 14932 1111 63 0 16107 0
vsize: 64680
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2154290 0 0 0 95892 5111 0 0 25 0 1 0 817626539 63021056 14626 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15386 14626 1111 63 0 15323 0
vsize: 61544
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2187720 0 0 0 96816 5188 0 0 25 0 1 0 817626539 63627264 14783 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15534 14783 1111 63 0 15471 0
vsize: 62136
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2225176 0 0 0 97728 5276 0 0 25 0 1 0 817626539 64155648 14904 4294967295 134512640 134714508 3221221776 3221219776 1074915856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15663 14904 1111 63 0 15600 0
vsize: 62652
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2251845 0 0 0 98663 5341 0 0 25 0 1 0 817626539 65490944 15227 4294967295 134512640 134714508 3221221776 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15989 15227 1111 63 0 15926 0
vsize: 63956
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2252008 0 0 0 99662 5342 0 0 25 0 1 0 817626539 65978368 15359 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16108 15359 1111 63 0 16045 0
vsize: 64432
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2253021 0 0 0 100660 5344 0 0 25 0 1 0 817626539 68866048 16056 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16813 16056 1111 63 0 16750 0
vsize: 67252
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2254951 0 0 0 101656 5348 0 0 25 0 1 0 817626539 73146368 16968 4294967295 134512640 134714508 3221221776 3221217652 1074786571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17858 16968 1111 63 0 17795 0
vsize: 71432
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2256872 0 0 0 102652 5353 0 0 25 0 1 0 817626539 66355200 15451 4294967295 134512640 134714508 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16200 15451 1111 63 0 16137 0
vsize: 64800
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2256872 0 0 0 103652 5353 0 0 25 0 1 0 817626539 66355200 15451 4294967295 134512640 134714508 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16200 15451 1111 63 0 16137 0
vsize: 64800
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2257021 0 0 0 104651 5354 0 0 25 0 1 0 817626539 65732608 15299 4294967295 134512640 134714508 3221221776 3221219936 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16048 15299 1111 63 0 15985 0
vsize: 64192
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2257115 0 0 0 105649 5356 0 0 25 0 1 0 817626539 66117632 15393 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16142 15393 1111 63 0 16079 0
vsize: 64568
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2258086 0 0 0 106647 5359 0 0 25 0 1 0 817626539 68894720 16058 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16820 16058 1111 63 0 16757 0
vsize: 67280
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2260099 0 0 0 107642 5363 0 0 25 0 1 0 817626539 73428992 16998 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17927 16998 1111 63 0 17864 0
vsize: 71708
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2260120 0 0 0 108642 5364 0 0 25 0 1 0 817626539 73428992 17019 4294967295 134512640 134714508 3221221776 3221217788 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17927 17019 1111 63 0 17864 0
vsize: 71708
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2262199 0 0 0 109636 5370 0 0 25 0 1 0 817626539 65798144 15315 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16064 15315 1111 63 0 16001 0
vsize: 64256
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2266485 0 0 0 110627 5379 0 0 25 0 1 0 817626539 71950336 16375 4294967295 134512640 134714508 3221221776 3221217660 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17566 16375 1111 63 0 17503 0
vsize: 70264
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2276016 0 0 0 111603 5403 0 0 25 0 1 0 817626539 70336512 15806 4294967295 134512640 134714508 3221221776 3221217888 1075895897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17172 15806 1111 63 0 17109 0
vsize: 68688
[startup+1175.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32188
Raw data (stat): 32188 (bsolo_lpr_cuts) R 32187 7876 7672 0 -1 0 2276016 0 0 0 111603 5403 0 0 25 0 1 0 817626539 70336512 15806 4294967295 134512640 134714508 3221221776 3221217888 1075895897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17172 15806 1111 63 0 17109 0
vsize: 0

Child status: 10
Real time (s): 1175.25
CPU time (s): 1175.24
CPU user time (s): 1120.66
CPU system time (s): 54.5877
CPU usage (%): 99.9997
Max. virtual memory (Kb): 71708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	324783
#### END VERIFIER DATA ####