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/miplib3/normalized-mps-v2-20-10-p0282.opb
MD5SUM	1a8deb577df7e72871b7e1004c098336
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	258411
Optimality of the best value was proved	NO
Number of terms in the objective function	282
Biggest coefficient in the objective function	160646
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	1302615
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	160646
Number of bits of the biggest number in a constraint	18
Biggest sum of numbers in a constraint	1302615
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.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 28250

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 01:18:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13717 boxname=wulflinc19 idbench=1056 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  1a8deb577df7e72871b7e1004c098336  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-p0282.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-p0282.opb
IDLAUNCH: 13717
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        649020 kB
Buffers:         33500 kB
Cached:         325360 kB
SwapCached:        520 kB
Active:          40692 kB
Inactive:       320596 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        648768 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            18660 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:37:59 (client local time) WITH STATUS 10 IN 1175.29 SECONDS
stats: 13717 0 1175.29 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 282 variables and 221 constraints.
c After prepocess the problem consists of 282 variables and 221 constraints.
c preprocess terminated 0.306 s
c Initial Lower Bound: 55117
c Lower Bound Elapsed time: 0.0382
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 514236 @ 3.127
c NEW SOLUTION FOUND: 376825 @ 3.128
c NEW SOLUTION FOUND: 375734 @ 3.133
c NEW SOLUTION FOUND: 363658 @ 3.171
c NEW SOLUTION FOUND: 335351 @ 3.281
c NEW SOLUTION FOUND: 334542 @ 3.414
c NEW SOLUTION FOUND: 328927 @ 3.924
c NEW SOLUTION FOUND: 327441 @ 174.909
c NEW SOLUTION FOUND: 327400 @ 175.738
c NEW SOLUTION FOUND: 326657 @ 175.875
c NEW SOLUTION FOUND: 324783 @ 275.393
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.25 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.85 0.95 0.90 2/54 18167
Raw data (stat): 18167 (runsolver) R 18166 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834852333 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.0013 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 13526 0 0 0 959 38 0 0 25 0 1 0 834852333 14303232 2743 4294967295 134512640 134714508 3221224576 3221221616 1075860325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3492 2743 1111 63 0 3429 0
vsize: 13968
[startup+20.002 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 32733 0 0 0 1910 87 0 0 25 0 1 0 834852333 15519744 3104 4294967295 134512640 134714508 3221224576 3221222520 1074206273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3789 3104 1111 63 0 3726 0
vsize: 15156
[startup+30.0024 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 52000 0 0 0 2860 138 0 0 25 0 1 0 834852333 17707008 3597 4294967295 134512640 134714508 3221224576 3221223192 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4323 3597 1111 63 0 4260 0
vsize: 17292
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 68139 0 0 0 3819 179 0 0 25 0 1 0 834852333 18710528 3886 4294967295 134512640 134714508 3221224576 3221223120 134650190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4568 3886 1111 63 0 4505 0
vsize: 18272
[startup+50.0045 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 84750 0 0 0 4777 221 0 0 25 0 1 0 834852333 20492288 4313 4294967295 134512640 134714508 3221224576 3221223104 134650104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5003 4313 1111 63 0 4940 0
vsize: 20012
[startup+60.0049 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 95379 0 0 0 5751 248 0 0 25 0 1 0 834852333 21344256 4519 4294967295 134512640 134714508 3221224576 3221222576 1074918585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5211 4519 1111 63 0 5148 0
vsize: 20844
[startup+70.0052 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 111257 0 0 0 6711 288 0 0 25 0 1 0 834852333 22654976 4790 4294967295 134512640 134714508 3221224576 3221220804 1075115112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5531 4790 1111 63 0 5468 0
vsize: 22124
[startup+80.006 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 122694 0 0 0 7682 317 0 0 25 0 1 0 834852333 23359488 4958 4294967295 134512640 134714508 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5703 4958 1111 63 0 5640 0
vsize: 22812
[startup+90.0063 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 132237 0 0 0 8658 341 0 0 25 0 1 0 834852333 23678976 5087 4294967295 134512640 134714508 3221224576 3221222856 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5781 5087 1111 63 0 5718 0
vsize: 23124
[startup+100.008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 142725 0 0 0 9631 368 0 0 25 0 1 0 834852333 24772608 5278 4294967295 134512640 134714508 3221224576 3221220848 1074960658 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6048 5278 1111 63 0 5985 0
vsize: 24192
[startup+110.009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 154366 0 0 0 10601 398 0 0 25 0 1 0 834852333 25182208 5403 4294967295 134512640 134714508 3221224576 3221220848 1074961496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6148 5403 1111 63 0 6085 0
vsize: 24592
[startup+120.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 163176 0 0 0 11577 422 0 0 25 0 1 0 834852333 27197440 5813 4294967295 134512640 134714508 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6640 5813 1111 63 0 6577 0
vsize: 26560
[startup+130.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 190228 0 0 0 12517 482 0 0 25 0 1 0 834852333 26542080 5784 4294967295 134512640 134714508 3221224576 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6480 5784 1111 63 0 6417 0
vsize: 25920
[startup+140.011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 212697 0 0 0 13465 534 0 0 25 0 1 0 834852333 28012544 5957 4294967295 134512640 134714508 3221224576 3221220604 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6839 5957 1111 63 0 6776 0
vsize: 27356
[startup+150.011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 229644 0 0 0 14427 572 0 0 25 0 1 0 834852333 27987968 6125 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6833 6125 1111 63 0 6770 0
vsize: 27332
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 242523 0 0 0 15399 600 0 0 25 0 1 0 834852333 29061120 6208 4294967295 134512640 134714508 3221224576 3221221744 1074820851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7095 6208 1111 63 0 7032 0
vsize: 28380
[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 261059 0 0 0 16356 644 0 0 25 0 1 0 834852333 29712384 6391 4294967295 134512640 134714508 3221224576 3221220944 1075894437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7254 6391 1111 63 0 7191 0
vsize: 29016
[startup+180.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 288501 0 0 0 17297 703 0 0 25 0 1 0 834852333 30838784 6667 4294967295 134512640 134714508 3221224576 3221220804 1075115028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7529 6667 1111 63 0 7466 0
vsize: 30116
[startup+190.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 314378 0 0 0 18239 762 0 0 25 0 1 0 834852333 31346688 6930 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7653 6930 1111 63 0 7590 0
vsize: 30612
[startup+200.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 315183 0 0 0 19236 765 0 0 25 0 1 0 834852333 33509376 7477 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8181 7477 1111 63 0 8118 0
vsize: 32724
[startup+210.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 318548 0 0 0 20228 773 0 0 25 0 1 0 834852333 34938880 7083 4294967295 134512640 134714508 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8530 7083 1111 63 0 8467 0
vsize: 34120
[startup+220.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 343549 0 0 0 21174 828 0 0 25 0 1 0 834852333 31346688 6960 4294967295 134512640 134714508 3221224576 3221223180 134542372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7653 6960 1111 63 0 7590 0
vsize: 30612
[startup+230.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 362726 0 0 0 22129 872 0 0 25 0 1 0 834852333 31830016 7078 4294967295 134512640 134714508 3221224576 3221223360 134622290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 7078 1111 63 0 7708 0
vsize: 31084
[startup+240.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 394276 0 0 0 23057 944 0 0 25 0 1 0 834852333 32301056 7194 4294967295 134512640 134714508 3221224576 3221223380 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7886 7194 1111 63 0 7823 0
vsize: 31544
[startup+250.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 425731 0 0 0 23986 1016 0 0 25 0 1 0 834852333 34988032 7354 4294967295 134512640 134714508 3221224576 3221220960 1076117143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8542 7354 1111 63 0 8479 0
vsize: 34168
[startup+260.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 447775 0 0 0 24936 1067 0 0 25 0 1 0 834852333 33378304 7459 4294967295 134512640 134714508 3221224576 3221221680 1074138863 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8149 7459 1111 63 0 8086 0
vsize: 32596
[startup+270.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 476843 0 0 0 25868 1135 0 0 25 0 1 0 834852333 34222080 7648 4294967295 134512640 134714508 3221224576 3221222576 1074917106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8355 7648 1111 63 0 8292 0
vsize: 33420
[startup+280.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 504601 0 0 0 26802 1201 0 0 25 0 1 0 834852333 34791424 7794 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8494 7794 1111 63 0 8431 0
vsize: 33976
[startup+290.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 534649 0 0 0 27733 1270 0 0 25 0 1 0 834852333 35225600 7909 4294967295 134512640 134714508 3221224576 3221222304 1075828456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8600 7909 1111 63 0 8537 0
vsize: 34400
[startup+300.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 564340 0 0 0 28659 1344 0 0 25 0 1 0 834852333 35901440 8071 4294967295 134512640 134714508 3221224576 3221221768 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8765 8071 1111 63 0 8702 0
vsize: 35060
[startup+310.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 586534 0 0 0 29608 1395 0 0 25 0 1 0 834852333 38412288 8291 4294967295 134512640 134714508 3221224576 3221221152 1076049309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9378 8291 1111 63 0 9315 0
vsize: 37512
[startup+320.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 616147 0 0 0 30538 1465 0 0 25 0 1 0 834852333 39038976 8449 4294967295 134512640 134714508 3221224576 3221220576 1075965232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9531 8449 1111 63 0 9468 0
vsize: 38124
[startup+330.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 641257 0 0 0 31480 1524 0 0 25 0 1 0 834852333 40980480 9028 4294967295 134512640 134714508 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10005 9028 1111 63 0 9942 0
vsize: 40020
[startup+340.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 641881 0 0 0 32476 1527 0 0 25 0 1 0 834852333 38371328 8677 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9368 8677 1111 63 0 9305 0
vsize: 37472
[startup+350.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 642775 0 0 0 33473 1530 0 0 25 0 1 0 834852333 40935424 9295 4294967295 134512640 134714508 3221224576 3221222576 1074918597 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.041 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 644439 0 0 0 34469 1535 0 0 25 0 1 0 834852333 44675072 10094 4294967295 134512640 134714508 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10907 10094 1111 63 0 10844 0
vsize: 43628
[startup+370.041 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 646087 0 0 0 35466 1539 0 0 25 0 1 0 834852333 38727680 8764 4294967295 134512640 134714508 3221224576 3221223296 134622865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9455 8764 1111 63 0 9392 0
vsize: 37820
[startup+380.042 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 646087 0 0 0 36465 1539 0 0 25 0 1 0 834852333 37634048 8497 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9188 8497 1111 63 0 9125 0
vsize: 36752
[startup+390.043 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 654009 0 0 0 37447 1558 0 0 25 0 1 0 834852333 38506496 8705 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9401 8705 1111 63 0 9338 0
vsize: 37604
[startup+400.044 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 668151 0 0 0 38415 1590 0 0 25 0 1 0 834852333 37740544 8523 4294967295 134512640 134714508 3221224576 3221221768 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9214 8523 1111 63 0 9151 0
vsize: 36856
[startup+410.045 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 714747 0 0 0 39311 1694 0 0 25 0 1 0 834852333 38858752 8765 4294967295 134512640 134714508 3221224576 3221222816 1073987038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9487 8765 1111 63 0 9424 0
vsize: 37948
[startup+420.044 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 749145 0 0 0 40228 1777 0 0 25 0 1 0 834852333 39940096 9051 4294967295 134512640 134714508 3221224576 3221222256 1075895015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9751 9051 1111 63 0 9688 0
vsize: 39004
[startup+430.045 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 781302 0 0 0 41151 1854 0 0 25 0 1 0 834852333 40931328 9261 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9993 9261 1111 63 0 9930 0
vsize: 39972
[startup+440.046 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 813370 0 0 0 42076 1929 0 0 25 0 1 0 834852333 43880448 9470 4294967295 134512640 134714508 3221224576 3221221176 1075850777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10713 9470 1111 63 0 10650 0
vsize: 42852
[startup+450.047 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 847727 0 0 0 42994 2011 0 0 25 0 1 0 834852333 41463808 9423 4294967295 134512640 134714508 3221224576 3221221856 1074140688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10123 9423 1111 63 0 10060 0
vsize: 40492
[startup+460.054 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 881546 0 0 0 43914 2092 0 0 25 0 1 0 834852333 41967616 9546 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10246 9546 1111 63 0 10183 0
vsize: 40984
[startup+470.055 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 909222 0 0 0 44848 2157 0 0 25 0 1 0 834852333 46252032 9872 4294967295 134512640 134714508 3221224576 3221222144 1075972440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11292 9872 1111 63 0 11229 0
vsize: 45168
[startup+480.055 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 923098 0 0 0 45815 2191 0 0 25 0 1 0 834852333 43819008 9949 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10698 9949 1111 63 0 10635 0
vsize: 42792
[startup+490.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 958734 0 0 0 46733 2273 0 0 25 0 1 0 834852333 49516544 10474 4294967295 134512640 134714508 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12089 10474 1111 63 0 12026 0
vsize: 48356
[startup+500.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 979448 0 0 0 47682 2324 0 0 25 0 1 0 834852333 45916160 10125 4294967295 134512640 134714508 3221224576 3221221448 1077799011 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11210 10125 1111 63 0 11147 0
vsize: 44840
[startup+510.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 997816 0 0 0 48639 2368 0 0 25 0 1 0 834852333 49479680 10781 4294967295 134512640 134714508 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12080 10781 1111 63 0 12017 0
vsize: 48320
[startup+520.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1044361 0 0 0 49530 2476 0 0 25 0 1 0 834852333 45645824 10397 4294967295 134512640 134714508 3221224576 3221222728 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11144 10397 1111 63 0 11081 0
vsize: 44576
[startup+530.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1064191 0 0 0 50483 2524 0 0 25 0 1 0 834852333 46399488 10584 4294967295 134512640 134714508 3221224576 3221223380 134622629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11328 10584 1111 63 0 11265 0
vsize: 45312
[startup+540.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1084369 0 0 0 51434 2572 0 0 25 0 1 0 834852333 49254400 10743 4294967295 134512640 134714508 3221224576 3221220816 1075115730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12025 10743 1111 63 0 11962 0
vsize: 48100
[startup+550.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1119447 0 0 0 52350 2657 0 0 25 0 1 0 834852333 46755840 10663 4294967295 134512640 134714508 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11415 10663 1111 63 0 11352 0
vsize: 45660
[startup+560.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1157331 0 0 0 53261 2746 0 0 25 0 1 0 834852333 51384320 11401 4294967295 134512640 134714508 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12545 11401 1111 63 0 12482 0
vsize: 50180
[startup+570.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1167684 0 0 0 54237 2770 0 0 25 0 1 0 834852333 48308224 11008 4294967295 134512640 134714508 3221224576 3221222304 1075828459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11794 11008 1111 63 0 11731 0
vsize: 47176
[startup+580.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1180114 0 0 0 55204 2803 0 0 25 0 1 0 834852333 47976448 10970 4294967295 134512640 134714508 3221224576 3221222488 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11713 10970 1111 63 0 11650 0
vsize: 46852
[startup+590.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1204060 0 0 0 56146 2862 0 0 25 0 1 0 834852333 51171328 11241 4294967295 134512640 134714508 3221224576 3221220508 1074788201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12493 11241 1111 63 0 12430 0
vsize: 49972
[startup+600.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1237094 0 0 0 57065 2942 0 0 25 0 1 0 834852333 48955392 11205 4294967295 134512640 134714508 3221224576 3221223008 134535442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11952 11205 1111 63 0 11889 0
vsize: 47808
[startup+610.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1262275 0 0 0 58005 3003 0 0 25 0 1 0 834852333 49430528 11317 4294967295 134512640 134714508 3221224576 3221223380 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12068 11317 1111 63 0 12005 0
vsize: 48272
[startup+620.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1282008 0 0 0 58959 3049 0 0 25 0 1 0 834852333 50651136 11615 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12366 11615 1111 63 0 12303 0
vsize: 49464
[startup+630.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1296152 0 0 0 59924 3084 0 0 25 0 1 0 834852333 52961280 11659 4294967295 134512640 134714508 3221224576 3221221120 1076044962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12930 11659 1111 63 0 12867 0
vsize: 51720
[startup+640.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1328598 0 0 0 60845 3163 0 0 25 0 1 0 834852333 50307072 11526 4294967295 134512640 134714508 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12282 11526 1111 63 0 12219 0
vsize: 49128
[startup+650.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1361559 0 0 0 61763 3246 0 0 25 0 1 0 834852333 50880512 11671 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12422 11671 1111 63 0 12359 0
vsize: 49688
[startup+660.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1388398 0 0 0 62698 3311 0 0 25 0 1 0 834852333 51822592 11873 4294967295 134512640 134714508 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12652 11873 1111 63 0 12589 0
vsize: 50608
[startup+670.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1399190 0 0 0 63670 3339 0 0 25 0 1 0 834852333 51675136 11860 4294967295 134512640 134714508 3221224576 3221222576 1074916799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12616 11860 1111 63 0 12553 0
vsize: 50464
[startup+680.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1425916 0 0 0 64605 3404 0 0 25 0 1 0 834852333 56205312 12452 4294967295 134512640 134714508 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13722 12452 1111 63 0 13659 0
vsize: 54888
[startup+690.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1459855 0 0 0 65524 3485 0 0 25 0 1 0 834852333 52006912 11946 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12697 11946 1111 63 0 12634 0
vsize: 50788
[startup+700.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1482801 0 0 0 66470 3539 0 0 25 0 1 0 834852333 52547584 12080 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12829 12080 1111 63 0 12766 0
vsize: 51316
[startup+710.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1509223 0 0 0 67407 3603 0 0 25 0 1 0 834852333 52908032 12168 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12917 12168 1111 63 0 12854 0
vsize: 51668
[startup+720.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1527263 0 0 0 68364 3645 0 0 25 0 1 0 834852333 57200640 12818 4294967295 134512640 134714508 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13965 12818 1111 63 0 13902 0
vsize: 55860
[startup+730.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1537479 0 0 0 69340 3669 0 0 25 0 1 0 834852333 58286080 12515 4294967295 134512640 134714508 3221224576 3221221616 1075971386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14230 12515 1111 63 0 14167 0
vsize: 56920
[startup+740.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1550196 0 0 0 70309 3701 0 0 25 0 1 0 834852333 56721408 12603 4294967295 134512640 134714508 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13848 12603 1111 63 0 13785 0
vsize: 55392
[startup+750.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1571014 0 0 0 71257 3753 0 0 25 0 1 0 834852333 54304768 12474 4294967295 134512640 134714508 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13258 12479 1111 63 0 13195 0
vsize: 53032
[startup+760.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1602627 0 0 0 72183 3827 0 0 25 0 1 0 834852333 54579200 12578 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13325 12578 1111 63 0 13262 0
vsize: 53300
[startup+770.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1630424 0 0 0 73121 3888 0 0 25 0 1 0 834852333 55074816 12699 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13446 12699 1111 63 0 13383 0
vsize: 53784
[startup+780.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1661296 0 0 0 74048 3962 0 0 25 0 1 0 834852333 59752448 13429 4294967295 134512640 134714508 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14588 13429 1111 63 0 14525 0
vsize: 58352
[startup+790.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1670786 0 0 0 75026 3984 0 0 25 0 1 0 834852333 56651776 13084 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13831 13084 1111 63 0 13768 0
vsize: 55324
[startup+800.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1678515 0 0 0 76010 4000 0 0 25 0 1 0 834852333 59523072 13321 4294967295 134512640 134714508 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14532 13321 1111 63 0 14469 0
vsize: 58128
[startup+810.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1690487 0 0 0 76980 4030 0 0 25 0 1 0 834852333 60968960 13682 4294967295 134512640 134714508 3221224576 3221220848 1074961353 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14885 13682 1111 63 0 14822 0
vsize: 59540
[startup+820.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1702964 0 0 0 77949 4062 0 0 25 0 1 0 834852333 59338752 13251 4294967295 134512640 134714508 3221224576 3221220536 1075964730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14487 13251 1111 63 0 14424 0
vsize: 57948
[startup+830.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1719200 0 0 0 78910 4101 0 0 25 0 1 0 834852333 59924480 13403 4294967295 134512640 134714508 3221224576 3221221344 1076083498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14630 13403 1111 63 0 14567 0
vsize: 58520
[startup+840.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1736283 0 0 0 79869 4142 0 0 25 0 1 0 834852333 61992960 13937 4294967295 134512640 134714508 3221224576 3221220568 1075964740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15135 13937 1111 63 0 15072 0
vsize: 60540
[startup+850.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1748628 0 0 0 80840 4172 0 0 25 0 1 0 834852333 61853696 13719 4294967295 134512640 134714508 3221224576 3221220736 1075095344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15101 13727 1111 63 0 15038 0
vsize: 60404
[startup+860.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1780556 0 0 0 81767 4244 0 0 25 0 1 0 834852333 57548800 13279 4294967295 134512640 134714508 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14050 13279 1111 63 0 13987 0
vsize: 56200
[startup+870.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1811985 0 0 0 82691 4320 0 0 25 0 1 0 834852333 60547072 13526 4294967295 134512640 134714508 3221224576 3221220720 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14782 13526 1111 63 0 14719 0
vsize: 59128
[startup+880.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1839289 0 0 0 83625 4387 0 0 25 0 1 0 834852333 60981248 13460 4294967295 134512640 134714508 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14888 13460 1111 63 0 14825 0
vsize: 59552
[startup+890.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1866421 0 0 0 84563 4449 0 0 25 0 1 0 834852333 59351040 13730 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 13730 1111 63 0 14427 0
vsize: 57960
[startup+900.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1881524 0 0 0 85527 4485 0 0 25 0 1 0 834852333 61935616 13866 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15121 13866 1111 63 0 15058 0
vsize: 60484
[startup+910.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1907169 0 0 0 86464 4549 0 0 25 0 1 0 834852333 63991808 14391 4294967295 134512640 134714508 3221224576 3221220784 1074815309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15623 14391 1111 63 0 15560 0
vsize: 62492
[startup+920.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1933545 0 0 0 87401 4612 0 0 25 0 1 0 834852333 59539456 13786 4294967295 134512640 134714508 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14536 13786 1111 63 0 14473 0
vsize: 58144
[startup+930.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1958518 0 0 0 88339 4674 0 0 25 0 1 0 834852333 62935040 14099 4294967295 134512640 134714508 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15365 14099 1111 63 0 15302 0
vsize: 61460
[startup+940.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1970811 0 0 0 89309 4704 0 0 25 0 1 0 834852333 65335296 14720 4294967295 134512640 134714508 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15951 14720 1111 63 0 15888 0
vsize: 63804
[startup+950.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 1991320 0 0 0 90260 4753 0 0 25 0 1 0 834852333 60526592 13992 4294967295 134512640 134714508 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14777 13992 1111 63 0 14714 0
vsize: 59108
[startup+960.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2027247 0 0 0 91175 4838 0 0 25 0 1 0 834852333 61100032 14158 4294967295 134512640 134714508 3221224576 3221222912 1075552862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14917 14158 1111 63 0 14854 0
vsize: 59668
[startup+970.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2067496 0 0 0 92079 4935 0 0 25 0 1 0 834852333 64729088 14513 4294967295 134512640 134714508 3221224576 3221220720 1074969474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15803 14513 1111 63 0 15740 0
vsize: 63212
[startup+980.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2101824 0 0 0 93000 5014 0 0 25 0 1 0 834852333 63205376 14680 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15431 14680 1111 63 0 15368 0
vsize: 61724
[startup+990.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2114910 0 0 0 93971 5043 0 0 25 0 1 0 834852333 63336448 14708 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15463 14708 1111 63 0 15400 0
vsize: 61852
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2129530 0 0 0 94941 5073 0 0 25 0 1 0 834852333 67645440 15275 4294967295 134512640 134714508 3221224576 3221220784 1074815491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16515 15275 1111 63 0 16452 0
vsize: 66060
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2154743 0 0 0 95882 5133 0 0 25 0 1 0 834852333 63016960 14625 4294967295 134512640 134714508 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15385 14625 1111 63 0 15322 0
vsize: 61540
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2188589 0 0 0 96804 5210 0 0 25 0 1 0 834852333 63623168 14782 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15533 14782 1111 63 0 15470 0
vsize: 62132
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2227385 0 0 0 97713 5301 0 0 25 0 1 0 834852333 64221184 14928 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15679 14928 1111 63 0 15616 0
vsize: 62716
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2251850 0 0 0 98653 5361 0 0 25 0 1 0 834852333 65507328 15233 4294967295 134512640 134714508 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15993 15233 1111 63 0 15930 0
vsize: 63972
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2252009 0 0 0 99652 5363 0 0 25 0 1 0 834852333 65986560 15361 4294967295 134512640 134714508 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16110 15361 1111 63 0 16047 0
vsize: 64440
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2253019 0 0 0 100650 5365 0 0 25 0 1 0 834852333 68861952 16055 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16812 16055 1111 63 0 16749 0
vsize: 67248
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2254953 0 0 0 101645 5370 0 0 25 0 1 0 834852333 73142272 16971 4294967295 134512640 134714508 3221224576 3221221232 1075967892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17857 16971 1111 63 0 17794 0
vsize: 71428
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2256870 0 0 0 102640 5375 0 0 25 0 1 0 834852333 66351104 15450 4294967295 134512640 134714508 3221224576 3221223296 134622761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16199 15450 1111 63 0 16136 0
vsize: 64796
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2256870 0 0 0 103640 5375 0 0 25 0 1 0 834852333 66351104 15450 4294967295 134512640 134714508 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16199 15450 1111 63 0 16136 0
vsize: 64796
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2257064 0 0 0 104639 5377 0 0 25 0 1 0 834852333 65912832 15343 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16092 15343 1111 63 0 16029 0
vsize: 64368
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2257137 0 0 0 105638 5378 0 0 25 0 1 0 834852333 66211840 15416 4294967295 134512640 134714508 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16165 15416 1111 63 0 16102 0
vsize: 64660
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2259898 0 0 0 106632 5384 0 0 25 0 1 0 834852333 74903552 17199 4294967295 134512640 134714508 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18287 17199 1111 63 0 18224 0
vsize: 73148
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2260102 0 0 0 107632 5384 0 0 25 0 1 0 834852333 73424896 17002 4294967295 134512640 134714508 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17926 17002 1111 63 0 17863 0
vsize: 71704
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2260125 0 0 0 108632 5384 0 0 25 0 1 0 834852333 73424896 17025 4294967295 134512640 134714508 3221224576 3221220720 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17926 17025 1111 63 0 17863 0
vsize: 71704
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2263987 0 0 0 109622 5395 0 0 25 0 1 0 834852333 70979584 16173 4294967295 134512640 134714508 3221224576 3221220620 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17329 16173 1111 63 0 17266 0
vsize: 69316
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2268488 0 0 0 110611 5406 0 0 25 0 1 0 834852333 70692864 15328 4294967295 134512640 134714508 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17259 15328 1111 63 0 17196 0
vsize: 69036
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2298013 0 0 0 111542 5475 0 0 25 0 1 0 834852333 65155072 15158 4294967295 134512640 134714508 3221224576 3221222576 1074914246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15907 15158 1111 63 0 15844 0
vsize: 63628
[startup+1175.19 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 18167
Raw data (stat): 18167 (bsolo_lpr_cuts) R 18166 10795 10794 0 -1 0 2298013 0 0 0 111542 5475 0 0 25 0 1 0 834852333 65155072 15158 4294967295 134512640 134714508 3221224576 3221222576 1074914246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15907 15158 1111 63 0 15844 0
vsize: 0

Child status: 10
Real time (s): 1175.19
CPU time (s): 1175.29
CPU user time (s): 1120.03
CPU system time (s): 55.2666
CPU usage (%): 100.009
Max. virtual memory (Kb): 73148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	324783
#### END VERIFIER DATA ####