PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-24 16:37:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12131 boxname=wulflinc25 idbench=934 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a733e9fa1e4e3ac90baf85249f7c3e9a  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-p0282.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-p0282.opb
IDLAUNCH: 12131
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        907796 kB
Buffers:         35528 kB
Cached:          70080 kB
SwapCached:        812 kB
Active:          60660 kB
Inactive:        47492 kB
HighTotal:      131008 kB
HighFree:        60144 kB
LowTotal:       903652 kB
LowFree:        847652 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:           14396 kB
Writeback:           0 kB
Mapped:           5604 kB
Slab:            13164 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:57:15 (client local time) WITH STATUS 10 IN 1176.9 SECONDS
stats: 12131 0 1176.9 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 282 variables and 221 constraints.
c After prepocess the problem consists of 282 variables and 221 constraints.
c preprocess terminated 0.313 s
c Initial Lower Bound: 55117
c Lower Bound Elapsed time: 0.0375
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 514236 @ 3.087
c NEW SOLUTION FOUND: 376825 @ 3.088
c NEW SOLUTION FOUND: 375734 @ 3.093
c NEW SOLUTION FOUND: 363658 @ 3.13
c NEW SOLUTION FOUND: 335351 @ 3.236
c NEW SOLUTION FOUND: 334542 @ 3.364
c NEW SOLUTION FOUND: 328927 @ 3.861
c NEW SOLUTION FOUND: 327441 @ 174.135
c NEW SOLUTION FOUND: 327400 @ 174.959
c NEW SOLUTION FOUND: 326657 @ 175.095
c NEW SOLUTION FOUND: 324783 @ 274.924
s SATISFIABLE
v -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 -C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 -C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1130_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1146_bit0 -C1147_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 -C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 -C1202_bit0 -C1203_bit0 -C1204_bit0 -C1205_bit0 -C1206_bit0 -C1207_bit0 -C1208_bit0 -C1209_bit0 -C1210_bit0 -C1211_bit0 -C1212_bit0 -C1213_bit0 -C1214_bit0 -C1215_bit0 C1216_bit0 -C1217_bit0 -C1218_bit0 -C1219_bit0 -C1220_bit0 -C1221_bit0 -C1222_bit0 -C1223_bit0 -C1224_bit0 -C1225_bit0 C1226_bit0 -C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1235_bit0 -C1237_bit0 -C1239_bit0 -C1241_bit0 C1243_bit0 -C1245_bit0 -C1247_bit0 -C1248_bit0 -C1249_bit0 C1250_bit0 -C1251_bit0 -C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 C1256_bit0 C1257_bit0 C1258_bit0 C1259_bit0 C1260_bit0 -C1261_bit0 C1262_bit0 -C1263_bit0 C1264_bit0 C1265_bit0 C1266_bit0 -C1267_bit0 C1268_bit0 C1269_bit0 C1270_bit0 C1271_bit0 -C1272_bit0 -C1273_bit0 -C1274_bit0 -C1275_bit0 -C1276_bit0 -C1277_bit0 -C1278_bit0 -C1279_bit0 C1280_bit0 C1281_bit0 C1282_bit0 C1283_bit0 C1284_bit0 C1285_bit0 -C1286_bit0 C1287_bit0 -C1288_bit0 C1289_bit0 
c Exit Code: 10
c Total time: 1176.86 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.93 0.98 0.99 2/54 2340
Raw data (stat): 2340 (runsolver) R 2339 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831749090 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 13915 0 0 0 958 40 0 0 25 0 1 0 831749090 14229504 2755 4294967295 134512640 134714508 3221224576 3221223104 134647071 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3474 2755 1111 63 0 3411 0
vsize: 13896
[startup+20.0006 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 33419 0 0 0 1907 90 0 0 25 0 1 0 831749090 15699968 3124 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3872 3127 1111 63 0 3809 0
vsize: 15332
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 52464 0 0 0 2855 141 0 0 25 0 1 0 831749090 17539072 3597 4294967295 134512640 134714508 3221224576 3221222536 1074138312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3597 1111 63 0 4219 0
vsize: 17128
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 68605 0 0 0 3816 181 0 0 25 0 1 0 831749090 18980864 3907 4294967295 134512640 134714508 3221224576 3221223380 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3907 1111 63 0 4571 0
vsize: 18536
[startup+50.0004 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 85808 0 0 0 4776 221 0 0 25 0 1 0 831749090 20537344 4329 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5014 4329 1111 63 0 4951 0
vsize: 20056
[startup+60.0002 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 95824 0 0 0 5750 247 0 0 25 0 1 0 831749090 21250048 4506 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+70.0006 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 111975 0 0 0 6710 287 0 0 25 0 1 0 831749090 22745088 4810 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5553 4810 1111 63 0 5490 0
vsize: 22212
[startup+80.0001 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 123159 0 0 0 7681 316 0 0 25 0 1 0 831749090 23171072 4962 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5657 4962 1111 63 0 5594 0
vsize: 22628
[startup+90.0001 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 132856 0 0 0 8655 342 0 0 25 0 1 0 831749090 23609344 5081 4294967295 134512640 134714508 3221224576 3221221856 1074140029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5764 5081 1111 63 0 5701 0
vsize: 23056
[startup+99.9994 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 142965 0 0 0 9632 366 0 0 25 0 1 0 831749090 24571904 5255 4294967295 134512640 134714508 3221224576 3221220756 1075964264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5999 5255 1111 63 0 5936 0
vsize: 23996
[startup+110.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 154961 0 0 0 10604 394 0 0 25 0 1 0 831749090 25268224 5423 4294967295 134512640 134714508 3221224576 3221220848 1074960822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6169 5423 1111 63 0 6106 0
vsize: 24676
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 164015 0 0 0 11583 416 0 0 25 0 1 0 831749090 25583616 5564 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6246 5564 1111 63 0 6183 0
vsize: 24984
[startup+130 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 191008 0 0 0 12518 480 0 0 25 0 1 0 831749090 26517504 5778 4294967295 134512640 134714508 3221224576 3221223372 134536888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6474 5778 1111 63 0 6411 0
vsize: 25896
[startup+140 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 214879 0 0 0 13465 534 0 0 25 0 1 0 831749090 28012544 5962 4294967295 134512640 134714508 3221224576 3221220688 1075895891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6839 5962 1111 63 0 6776 0
vsize: 27356
[startup+150 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 230622 0 0 0 14429 570 0 0 25 0 1 0 831749090 27734016 6077 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6771 6077 1111 63 0 6708 0
vsize: 27084
[startup+160 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 243816 0 0 0 15400 599 0 0 25 0 1 0 831749090 28192768 6189 4294967295 134512640 134714508 3221224576 3221221768 1074138312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6883 6189 1111 63 0 6820 0
vsize: 27532
[startup+170 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 262651 0 0 0 16358 642 0 0 25 0 1 0 831749090 29794304 6407 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7274 6407 1111 63 0 7211 0
vsize: 29096
[startup+180 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 290411 0 0 0 17294 704 0 0 25 0 1 0 831749090 30920704 6671 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7549 6671 1111 63 0 7486 0
vsize: 30196
[startup+190 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 314478 0 0 0 18241 758 0 0 25 0 1 0 831749090 31744000 7030 4294967295 134512640 134714508 3221224576 3221222192 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7750 7030 1111 63 0 7687 0
vsize: 31000
[startup+199.999 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 315183 0 0 0 19238 761 0 0 25 0 1 0 831749090 33509376 7477 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8181 7477 1111 63 0 8118 0
vsize: 32724
[startup+209.999 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 319582 0 0 0 20227 773 0 0 25 0 1 0 831749090 34816000 7459 4294967295 134512640 134714508 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8500 7459 1111 63 0 8437 0
vsize: 34000
[startup+220 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 344472 0 0 0 21164 835 0 0 25 0 1 0 831749090 31588352 7019 4294967295 134512640 134714508 3221224576 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7712 7019 1111 63 0 7649 0
vsize: 30848
[startup+230 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 365283 0 0 0 22114 886 0 0 25 0 1 0 831749090 34021376 7215 4294967295 134512640 134714508 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8306 7215 1111 63 0 8243 0
vsize: 33224
[startup+240 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 396473 0 0 0 23038 962 0 0 25 0 1 0 831749090 34574336 7209 4294967295 134512640 134714508 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8441 7215 1111 63 0 8378 0
vsize: 33764
[startup+249.999 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 428060 0 0 0 23962 1038 0 0 25 0 1 0 831749090 32911360 7330 4294967295 134512640 134714508 3221224576 3221222996 1077374547 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8035 7330 1111 63 0 7972 0
vsize: 32140
[startup+260 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 448811 0 0 0 24911 1090 0 0 25 0 1 0 831749090 35852288 7641 4294967295 134512640 134714508 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8753 7641 1111 63 0 8690 0
vsize: 35012
[startup+270 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 478078 0 0 0 25842 1158 0 0 25 0 1 0 831749090 34103296 7635 4294967295 134512640 134714508 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8326 7635 1111 63 0 8263 0
vsize: 33304
[startup+279.999 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 506604 0 0 0 26773 1227 0 0 25 0 1 0 831749090 38363136 8045 4294967295 134512640 134714508 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9366 8054 1111 63 0 9303 0
vsize: 37464
[startup+290 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 535835 0 0 0 27701 1299 0 0 25 0 1 0 831749090 35225600 7909 4294967295 134512640 134714508 3221224576 3221222864 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8600 7909 1111 63 0 8537 0
vsize: 34400
[startup+300 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 566203 0 0 0 28625 1376 0 0 25 0 1 0 831749090 38129664 8126 4294967295 134512640 134714508 3221224576 3221220600 1074860223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9309 8126 1111 63 0 9246 0
vsize: 37236
[startup+310 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 588025 0 0 0 29571 1430 0 0 25 0 1 0 831749090 36257792 8157 4294967295 134512640 134714508 3221224576 3221222880 1074153466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8852 8157 1111 63 0 8789 0
vsize: 35408
[startup+320 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 617140 0 0 0 30500 1501 0 0 25 0 1 0 831749090 36786176 8290 4294967295 134512640 134714508 3221224576 3221222304 1075635444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8981 8290 1111 63 0 8918 0
vsize: 35924
[startup+330 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 641257 0 0 0 31441 1560 0 0 25 0 1 0 831749090 40980480 9028 4294967295 134512640 134714508 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10005 9028 1111 63 0 9942 0
vsize: 40020
[startup+340 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 641875 0 0 0 32439 1563 0 0 25 0 1 0 831749090 38346752 8671 4294967295 134512640 134714508 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9362 8671 1111 63 0 9299 0
vsize: 37448
[startup+350 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 642775 0 0 0 33436 1565 0 0 25 0 1 0 831749090 40935424 9295 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9994 9295 1111 63 0 9931 0
vsize: 39976
[startup+360 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 644311 0 0 0 34432 1568 0 0 25 0 1 0 831749090 44544000 9966 4294967295 134512640 134714508 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10875 9966 1111 63 0 10812 0
vsize: 43500
[startup+370.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 646087 0 0 0 35428 1573 0 0 25 0 1 0 831749090 38727680 8764 4294967295 134512640 134714508 3221224576 3221223380 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9455 8764 1111 63 0 9392 0
vsize: 37820
[startup+380 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 646087 0 0 0 36428 1573 0 0 25 0 1 0 831749090 38727680 8764 4294967295 134512640 134714508 3221224576 3221223312 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9455 8764 1111 63 0 9392 0
vsize: 37820
[startup+390.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 651960 0 0 0 37415 1587 0 0 25 0 1 0 831749090 43384832 9487 4294967295 134512640 134714508 3221224576 3221220848 1074961264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10592 9487 1111 63 0 10529 0
vsize: 42368
[startup+400 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 661430 0 0 0 38391 1610 0 0 25 0 1 0 831749090 42201088 9090 4294967295 134512640 134714508 3221224576 3221220848 1074806367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10303 9090 1111 63 0 10240 0
vsize: 41212
[startup+410.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 702535 0 0 0 39294 1708 0 0 25 0 1 0 831749090 41259008 8714 4294967295 134512640 134714508 3221224576 3221221112 1075132865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10073 8714 1111 63 0 10010 0
vsize: 40292
[startup+420.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 739051 0 0 0 40203 1799 0 0 25 0 1 0 831749090 39940096 9051 4294967295 134512640 134714508 3221224576 3221223300 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9751 9051 1111 63 0 9688 0
vsize: 39004
[startup+430 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 774623 0 0 0 41114 1889 0 0 25 0 1 0 831749090 40427520 9170 4294967295 134512640 134714508 3221224576 3221223104 134648130 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9870 9170 1111 63 0 9807 0
vsize: 39480
[startup+440 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 799868 0 0 0 42046 1956 0 0 25 0 1 0 831749090 40738816 9246 4294967295 134512640 134714508 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9946 9246 1111 63 0 9883 0
vsize: 39784
[startup+450 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 835369 0 0 0 42959 2043 0 0 25 0 1 0 831749090 41287680 9380 4294967295 134512640 134714508 3221224576 3221223372 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10080 9380 1111 63 0 10017 0
vsize: 40320
[startup+460 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 870385 0 0 0 43870 2133 0 0 25 0 1 0 831749090 41889792 9527 4294967295 134512640 134714508 3221224576 3221222320 1075636596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10227 9527 1111 63 0 10164 0
vsize: 40908
[startup+470.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 903737 0 0 0 44787 2217 0 0 25 0 1 0 831749090 46202880 10028 4294967295 134512640 134714508 3221224576 3221220720 1074969685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11280 10028 1111 63 0 11217 0
vsize: 45120
[startup+480.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 918943 0 0 0 45747 2256 0 0 25 0 1 0 831749090 48615424 10247 4294967295 134512640 134714508 3221224576 3221220456 1074788430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11869 10247 1111 63 0 11806 0
vsize: 47476
[startup+490.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 948387 0 0 0 46673 2330 0 0 25 0 1 0 831749090 43941888 9987 4294967295 134512640 134714508 3221224576 3221223296 134622865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10728 9987 1111 63 0 10665 0
vsize: 42912
[startup+500.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 967878 0 0 0 47627 2377 0 0 25 0 1 0 831749090 49422336 10398 4294967295 134512640 134714508 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12066 10398 1111 63 0 12003 0
vsize: 48264
[startup+510.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 992085 0 0 0 48563 2442 0 0 25 0 1 0 831749090 45101056 10237 4294967295 134512640 134714508 3221224576 3221222320 1075636590 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11011 10237 1111 63 0 10948 0
vsize: 44044
[startup+520.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1030585 0 0 0 49467 2537 0 0 25 0 1 0 831749090 48263168 10358 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11783 10369 1111 63 0 11720 0
vsize: 47132
[startup+530.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1061496 0 0 0 50395 2609 0 0 25 0 1 0 831749090 46772224 10663 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11419 10663 1111 63 0 11356 0
vsize: 45676
[startup+540.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1076449 0 0 0 51357 2648 0 0 25 0 1 0 831749090 49188864 10744 4294967295 134512640 134714508 3221224576 3221221176 1075850708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12009 10744 1111 63 0 11946 0
vsize: 48036
[startup+550.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1107511 0 0 0 52278 2727 0 0 25 0 1 0 831749090 46669824 10650 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11394 10650 1111 63 0 11331 0
vsize: 45576
[startup+560.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1148114 0 0 0 53180 2826 0 0 25 0 1 0 831749090 50208768 10813 4294967295 134512640 134714508 3221224576 3221221560 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12258 10813 1111 63 0 12195 0
vsize: 49032
[startup+570.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1164363 0 0 0 54140 2865 0 0 25 0 1 0 831749090 48332800 11025 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11800 11025 1111 63 0 11737 0
vsize: 47200
[startup+580.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1173855 0 0 0 55116 2890 0 0 25 0 1 0 831749090 47976448 10970 4294967295 134512640 134714508 3221224576 3221222576 1074916322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11713 10970 1111 63 0 11650 0
vsize: 46852
[startup+590.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1195672 0 0 0 56057 2949 0 0 25 0 1 0 831749090 47976448 10970 4294967295 134512640 134714508 3221224576 3221222832 1074153722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11713 10970 1111 63 0 11650 0
vsize: 46852
[startup+600.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1225033 0 0 0 56982 3024 0 0 25 0 1 0 831749090 48394240 11068 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11815 11068 1111 63 0 11752 0
vsize: 47260
[startup+610.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1252024 0 0 0 57914 3092 0 0 25 0 1 0 831749090 49098752 11235 4294967295 134512640 134714508 3221224576 3221222304 1075828441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11987 11235 1111 63 0 11924 0
vsize: 47948
[startup+620.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1278160 0 0 0 58850 3156 0 0 25 0 1 0 831749090 50114560 11472 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12235 11472 1111 63 0 12172 0
vsize: 48940
[startup+630.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1289408 0 0 0 59823 3183 0 0 25 0 1 0 831749090 50282496 11493 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12276 11493 1111 63 0 12213 0
vsize: 49104
[startup+640.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1314524 0 0 0 60758 3248 0 0 25 0 1 0 831749090 50245632 11516 4294967295 134512640 134714508 3221224576 3221222224 1075818370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12267 11516 1111 63 0 12204 0
vsize: 49068
[startup+650.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1349847 0 0 0 61668 3339 0 0 25 0 1 0 831749090 51425280 11634 4294967295 134512640 134714508 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12382 11631 1111 63 0 12319 0
vsize: 50220
[startup+660.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1384802 0 0 0 62582 3425 0 0 25 0 1 0 831749090 54976512 12259 4294967295 134512640 134714508 3221224576 3221220848 1074961295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13422 12259 1111 63 0 13359 0
vsize: 53688
[startup+670.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1395558 0 0 0 63557 3450 0 0 25 0 1 0 831749090 56508416 12145 4294967295 134512640 134714508 3221224576 3221220848 1074961149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 12145 1111 63 0 13733 0
vsize: 55184
[startup+680.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1412439 0 0 0 64513 3494 0 0 25 0 1 0 831749090 56041472 11910 4294967295 134512640 134714508 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13682 11910 1111 63 0 13619 0
vsize: 54728
[startup+690.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1445149 0 0 0 65426 3582 0 0 25 0 1 0 831749090 54702080 11925 4294967295 134512640 134714508 3221224576 3221221648 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13355 11925 1111 63 0 13292 0
vsize: 53420
[startup+700.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1476858 0 0 0 66345 3663 0 0 25 0 1 0 831749090 55730176 12173 4294967295 134512640 134714508 3221224576 3221222536 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13260 12149 1111 63 0 13197 0
vsize: 54424
[startup+710.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1497596 0 0 0 67294 3714 0 0 25 0 1 0 831749090 57430016 12804 4294967295 134512640 134714508 3221224576 3221220620 1074873336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14021 12804 1111 63 0 13958 0
vsize: 56084
[startup+720.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1524363 0 0 0 68225 3783 0 0 25 0 1 0 831749090 59113472 13289 4294967295 134512640 134714508 3221224576 3221220608 1074790535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14432 13289 1111 63 0 14369 0
vsize: 57728
[startup+730.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1532838 0 0 0 69206 3803 0 0 25 0 1 0 831749090 58564608 13091 4294967295 134512640 134714508 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14298 13091 1111 63 0 14235 0
vsize: 57192
[startup+740.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1542932 0 0 0 70179 3830 0 0 25 0 1 0 831749090 53886976 12407 4294967295 134512640 134714508 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13156 12407 1111 63 0 13093 0
vsize: 52624
[startup+750.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1562524 0 0 0 71126 3882 0 0 25 0 1 0 831749090 56934400 12642 4294967295 134512640 134714508 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13900 12642 1111 63 0 13837 0
vsize: 55600
[startup+760.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1582993 0 0 0 72074 3935 0 0 25 0 1 0 831749090 54566912 12575 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13322 12575 1111 63 0 13259 0
vsize: 53288
[startup+770.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1614857 0 0 0 72996 4013 0 0 25 0 1 0 831749090 55136256 12714 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13461 12714 1111 63 0 13398 0
vsize: 53844
[startup+780.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1645471 0 0 0 73920 4089 0 0 25 0 1 0 831749090 55373824 12741 4294967295 134512640 134714508 3221224576 3221222900 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13506 12741 1111 63 0 13443 0
vsize: 54076
[startup+790.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1666299 0 0 0 74871 4139 0 0 25 0 1 0 831749090 61276160 13802 4294967295 134512640 134714508 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14960 13802 1111 63 0 14897 0
vsize: 59840
[startup+800.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1673358 0 0 0 75853 4157 0 0 25 0 1 0 831749090 56832000 13121 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13875 13121 1111 63 0 13812 0
vsize: 55500
[startup+810.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1683335 0 0 0 76826 4184 0 0 25 0 1 0 831749090 56471552 13040 4294967295 134512640 134714508 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13040 1111 63 0 13724 0
vsize: 55148
[startup+820.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1694548 0 0 0 77798 4212 0 0 25 0 1 0 831749090 56537088 13011 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13803 13011 1111 63 0 13740 0
vsize: 55212
[startup+830.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1709008 0 0 0 78758 4252 0 0 25 0 1 0 831749090 56467456 13036 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13786 13036 1111 63 0 13723 0
vsize: 55144
[startup+840.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1724113 0 0 0 79720 4290 0 0 25 0 1 0 831749090 61407232 13242 4294967295 134512640 134714508 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14992 13242 1111 63 0 14929 0
vsize: 59968
[startup+850.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1739773 0 0 0 80681 4329 0 0 25 0 1 0 831749090 60604416 13625 4294967295 134512640 134714508 3221224576 3221220676 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14796 13625 1111 63 0 14733 0
vsize: 59184
[startup+860.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1755844 0 0 0 81639 4370 0 0 25 0 1 0 831749090 57098240 13190 4294967295 134512640 134714508 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13940 13190 1111 63 0 13877 0
vsize: 55760
[startup+870.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1790242 0 0 0 82551 4459 0 0 25 0 1 0 831749090 62029824 13892 4294967295 134512640 134714508 3221224576 3221220720 1074969986 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15144 13892 1111 63 0 15081 0
vsize: 60576
[startup+880.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1816055 0 0 0 83486 4524 0 0 25 0 1 0 831749090 57901056 13386 4294967295 134512640 134714508 3221224576 3221223392 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14136 13386 1111 63 0 14073 0
vsize: 56544
[startup+890.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1849125 0 0 0 84404 4607 0 0 25 0 1 0 831749090 58314752 13487 4294967295 134512640 134714508 3221224576 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14929 13492 1111 63 0 14866 0
vsize: 56948
[startup+900.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1870147 0 0 0 85352 4659 0 0 25 0 1 0 831749090 63606784 13791 4294967295 134512640 134714508 3221224576 3221221344 1076083506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15529 13791 1111 63 0 15466 0
vsize: 62116
[startup+910.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1885795 0 0 0 86309 4703 0 0 25 0 1 0 831749090 59248640 13684 4294967295 134512640 134714508 3221224576 3221222304 1075828401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14465 13684 1111 63 0 14402 0
vsize: 57860
[startup+920.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1910758 0 0 0 87241 4771 0 0 25 0 1 0 831749090 59629568 13776 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14558 13776 1111 63 0 14495 0
vsize: 58232
[startup+930.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1938593 0 0 0 88170 4842 0 0 25 0 1 0 831749090 59637760 13801 4294967295 134512640 134714508 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14560 13801 1111 63 0 14497 0
vsize: 58240
[startup+940.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1963197 0 0 0 89106 4906 0 0 25 0 1 0 831749090 62955520 14110 4294967295 134512640 134714508 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15370 14110 1111 63 0 15307 0
vsize: 61480
[startup+950.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1971973 0 0 0 90084 4928 0 0 25 0 1 0 831749090 65253376 14165 4294967295 134512640 134714508 3221224576 3221221408 1075115385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15931 14165 1111 63 0 15868 0
vsize: 63724
[startup+960.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 1996115 0 0 0 91020 4992 0 0 25 0 1 0 831749090 63234048 13999 4294967295 134512640 134714508 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15438 13999 1111 63 0 15375 0
vsize: 61752
[startup+970.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2030460 0 0 0 91934 5078 0 0 25 0 1 0 831749090 65581056 14762 4294967295 134512640 134714508 3221224576 3221220944 1075894505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16011 14762 1111 63 0 15948 0
vsize: 64044
[startup+980.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2070014 0 0 0 92838 5174 0 0 25 0 1 0 831749090 61730816 14318 4294967295 134512640 134714508 3221224576 3221223392 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15071 14318 1111 63 0 15008 0
vsize: 60284
[startup+990.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2102355 0 0 0 93760 5252 0 0 25 0 1 0 831749090 67407872 14733 4294967295 134512640 134714508 3221224576 3221221108 1075863666 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16457 14734 1111 63 0 16394 0
vsize: 65828
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2115621 0 0 0 94727 5285 0 0 25 0 1 0 831749090 67829760 15342 4294967295 134512640 134714508 3221224576 3221220544 1074872876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16560 15342 1111 63 0 16497 0
vsize: 66240
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2129731 0 0 0 95691 5321 0 0 25 0 1 0 831749090 63238144 14645 4294967295 134512640 134714508 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15439 14645 1111 63 0 15376 0
vsize: 61756
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2154722 0 0 0 96628 5385 0 0 25 0 1 0 831749090 65851392 14761 4294967295 134512640 134714508 3221224576 3221220840 1076079125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16077 14762 1111 63 0 16014 0
vsize: 64308
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2187912 0 0 0 97544 5469 0 0 25 0 1 0 831749090 66600960 14976 4294967295 134512640 134714508 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16260 14976 1111 63 0 16197 0
vsize: 65040
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2225102 0 0 0 98453 5560 0 0 25 0 1 0 831749090 64151552 14903 4294967295 134512640 134714508 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15662 14903 1111 63 0 15599 0
vsize: 62648
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2251838 0 0 0 99385 5628 0 0 25 0 1 0 831749090 65474560 15221 4294967295 134512640 134714508 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15985 15221 1111 63 0 15922 0
vsize: 63940
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2251994 0 0 0 100384 5630 0 0 25 0 1 0 831749090 65925120 15346 4294967295 134512640 134714508 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16095 15346 1111 63 0 16032 0
vsize: 64380
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2252063 0 0 0 101383 5631 0 0 25 0 1 0 831749090 66285568 15415 4294967295 134512640 134714508 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16183 15415 1111 63 0 16120 0
vsize: 64732
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2254754 0 0 0 102376 5637 0 0 25 0 1 0 831749090 72835072 16772 4294967295 134512640 134714508 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17782 16772 1111 63 0 17719 0
vsize: 71128
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2254968 0 0 0 103376 5638 0 0 25 0 1 0 831749090 73142272 16986 4294967295 134512640 134714508 3221224576 3221220676 1075964278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17857 16986 1111 63 0 17794 0
vsize: 71428
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2256870 0 0 0 104372 5642 0 0 25 0 1 0 831749090 66351104 15450 4294967295 134512640 134714508 3221224576 3221223448 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16199 15450 1111 63 0 16136 0
vsize: 64796
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2256981 0 0 0 105372 5643 0 0 25 0 1 0 831749090 65572864 15260 4294967295 134512640 134714508 3221224576 3221222416 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16009 15260 1111 63 0 15946 0
vsize: 64036
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2257094 0 0 0 106371 5644 0 0 25 0 1 0 831749090 66035712 15373 4294967295 134512640 134714508 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16122 15373 1111 63 0 16059 0
vsize: 64488
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2257151 0 0 0 107370 5645 0 0 25 0 1 0 831749090 66269184 15430 4294967295 134512640 134714508 3221224576 3221222784 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16179 15430 1111 63 0 16116 0
vsize: 64716
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2260081 0 0 0 108365 5650 0 0 25 0 1 0 831749090 73424896 16981 4294967295 134512640 134714508 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17926 16981 1111 63 0 17863 0
vsize: 71704
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2260103 0 0 0 109365 5650 0 0 25 0 1 0 831749090 73424896 17003 4294967295 134512640 134714508 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17926 17003 1111 63 0 17863 0
vsize: 71704
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2262100 0 0 0 110360 5655 0 0 25 0 1 0 831749090 65396736 15217 4294967295 134512640 134714508 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15966 15217 1111 63 0 15903 0
vsize: 63864
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2264512 0 0 0 111354 5662 0 0 25 0 1 0 831749090 66453504 15475 4294967295 134512640 134714508 3221224576 3221221856 1074140704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16224 15475 1111 63 0 16161 0
vsize: 64896
[startup+1176.75 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 2340
Raw data (stat): 2340 (bsolo_lpr_cuts) R 2339 1586 1585 0 -1 0 2264512 0 0 0 111354 5662 0 0 25 0 1 0 831749090 66453504 15475 4294967295 134512640 134714508 3221224576 3221221856 1074140704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16224 15475 1111 63 0 16161 0
vsize: 0

Child status: 10
Real time (s): 1176.75
CPU time (s): 1176.9
CPU user time (s): 1120.18
CPU system time (s): 56.7194
CPU usage (%): 100.013
Max. virtual memory (Kb): 71704
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	324783
#### END VERIFIER DATA ####