PB'05 competition: run trace

Some explanations

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

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        781564 kB
Buffers:         23040 kB
Cached:         209156 kB
SwapCached:        636 kB
Active:          25788 kB
Inactive:       208432 kB
HighTotal:      131008 kB
HighFree:        14700 kB
LowTotal:       903652 kB
LowFree:        766864 kB
SwapTotal:     2097136 kB
SwapFree:      2095492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13260 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:56:17 (client local time) WITH STATUS 10 IN 1175.13 SECONDS
stats: 29656 0 1175.13 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.31 s
c Initial Lower Bound: 55080
c Lower Bound Elapsed time: 0.047
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 497683 @ 3.679
c NEW SOLUTION FOUND: 360272 @ 3.68
c NEW SOLUTION FOUND: 359409 @ 3.686
c NEW SOLUTION FOUND: 345511 @ 3.738
c NEW SOLUTION FOUND: 342861 @ 3.743
c NEW SOLUTION FOUND: 342140 @ 3.799
c NEW SOLUTION FOUND: 329812 @ 4.529
c NEW SOLUTION FOUND: 328871 @ 4.545
c NEW SOLUTION FOUND: 328559 @ 4.609
c NEW SOLUTION FOUND: 296106 @ 5.581
c NEW SOLUTION FOUND: 295477 @ 5.702
c NEW SOLUTION FOUND: 293603 @ 5.841
c NEW SOLUTION FOUND: 289169 @ 6.416
c NEW SOLUTION FOUND: 280436 @ 17.114
c NEW SOLUTION FOUND: 276002 @ 17.315
c NEW SOLUTION FOUND: 270697 @ 28.846
c NEW SOLUTION FOUND: 269556 @ 1150.24
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.08 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 4259
Raw data (stat): 4259 (runsolver) R 4258 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911766329 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 10880 0 0 0 960 37 0 0 25 0 1 0 911766329 15355904 3055 4294967295 134512640 134716908 3221224560 3221223236 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3749 3055 1111 63 0 3686 0
vsize: 14996
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 31515 0 0 0 1907 90 0 0 25 0 1 0 911766329 18411520 3811 4294967295 134512640 134716908 3221224560 3221222520 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4495 3811 1111 63 0 4432 0
vsize: 17980
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 50490 0 0 0 2855 140 0 0 25 0 1 0 911766329 21430272 4499 4294967295 134512640 134716908 3221224560 3221220608 1074790352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5232 4499 1111 63 0 5169 0
vsize: 20928
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 66121 0 0 0 3816 180 0 0 25 0 1 0 911766329 23998464 5074 4294967295 134512640 134716908 3221224560 3221221160 1075850812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5859 5074 1111 63 0 5796 0
vsize: 23436
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 80999 0 0 0 4776 220 0 0 25 0 1 0 911766329 25407488 5470 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6203 5470 1111 63 0 6140 0
vsize: 24812
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 96935 0 0 0 5734 263 0 0 25 0 1 0 911766329 27250688 5952 4294967295 134512640 134716908 3221224560 3221222944 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6653 5952 1111 63 0 6590 0
vsize: 26612
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 111500 0 0 0 6691 305 0 0 25 0 1 0 911766329 29474816 6447 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 6447 1111 63 0 7133 0
vsize: 28784
[startup+80.0058 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 131872 0 0 0 7640 357 0 0 25 0 1 0 911766329 32600064 7217 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7959 7217 1111 63 0 7896 0
vsize: 31836
[startup+90.0066 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 146187 0 0 0 8602 395 0 0 25 0 1 0 911766329 34131968 7581 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8333 7581 1111 63 0 8270 0
vsize: 33332
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 160325 0 0 0 9565 433 0 0 25 0 1 0 911766329 36519936 8128 4294967295 134512640 134716908 3221224560 3221220524 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8916 8128 1111 63 0 8853 0
vsize: 35664
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 173474 0 0 0 10528 469 0 0 25 0 1 0 911766329 38223872 8550 4294967295 134512640 134716908 3221224560 3221221712 1075969834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9332 8550 1111 63 0 9269 0
vsize: 37328
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 188881 0 0 0 11489 509 0 0 25 0 1 0 911766329 40300544 9044 4294967295 134512640 134716908 3221224560 3221220560 1075965240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9839 9044 1111 63 0 9776 0
vsize: 39356
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 200366 0 0 0 12460 538 0 0 25 0 1 0 911766329 41050112 9229 4294967295 134512640 134716908 3221224560 3221220880 1075170370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10022 9229 1111 63 0 9959 0
vsize: 40088
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 210874 0 0 0 13432 566 0 0 25 0 1 0 911766329 41713664 9456 4294967295 134512640 134716908 3221224560 3221222672 1074867352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10184 9456 1111 63 0 10121 0
vsize: 40736
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 222158 0 0 0 14405 593 0 0 25 0 1 0 911766329 43098112 9771 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10522 9771 1111 63 0 10459 0
vsize: 42088
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 235400 0 0 0 15371 627 0 0 25 0 1 0 911766329 44462080 10136 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10855 10136 1111 63 0 10792 0
vsize: 43420
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 248904 0 0 0 16339 660 0 0 25 0 1 0 911766329 46387200 10538 4294967295 134512640 134716908 3221224560 3221220720 1075095096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11325 10538 1111 63 0 11262 0
vsize: 45300
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 263070 0 0 0 17301 698 0 0 25 0 1 0 911766329 47988736 10982 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11716 10982 1111 63 0 11653 0
vsize: 46864
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 263337 0 0 0 18299 700 0 0 25 0 1 0 911766329 48807936 11207 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11916 11207 1111 63 0 11853 0
vsize: 47664
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 263463 0 0 0 19298 702 0 0 25 0 1 0 911766329 49393664 11333 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12059 11333 1111 63 0 11996 0
vsize: 48236
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 263522 0 0 0 20297 703 0 0 25 0 1 0 911766329 49623040 11392 4294967295 134512640 134716908 3221224560 3221222720 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12115 11392 1111 63 0 12052 0
vsize: 48460
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 263573 0 0 0 21297 703 0 0 25 0 1 0 911766329 49831936 11443 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12166 11443 1111 63 0 12103 0
vsize: 48664
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 264978 0 0 0 22293 707 0 0 25 0 1 0 911766329 53723136 12385 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13116 12385 1111 63 0 13053 0
vsize: 52464
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 267317 0 0 0 23288 712 0 0 25 0 1 0 911766329 59805696 13737 4294967295 134512640 134716908 3221224560 3221220560 1075088670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14601 13737 1111 63 0 14538 0
vsize: 58404
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 270417 0 0 0 24280 720 0 0 25 0 1 0 911766329 50249728 11565 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 270417 0 0 0 25281 720 0 0 25 0 1 0 911766329 50249728 11565 4294967295 134512640 134716908 3221224560 3221223352 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 270417 0 0 0 26281 720 0 0 25 0 1 0 911766329 50249728 11565 4294967295 134512640 134716908 3221224560 3221223360 134622374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 270417 0 0 0 27281 720 0 0 25 0 1 0 911766329 50249728 11565 4294967295 134512640 134716908 3221224560 3221223272 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 270417 0 0 0 28281 720 0 0 25 0 1 0 911766329 50249728 11565 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 270531 0 0 0 29280 721 0 0 25 0 1 0 911766329 48984064 11256 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11959 11256 1111 63 0 11896 0
vsize: 47836
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 273157 0 0 0 30274 728 0 0 25 0 1 0 911766329 49958912 11362 4294967295 134512640 134716908 3221224560 3221222472 1074138303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12197 11370 1111 63 0 12134 0
vsize: 48788
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 284847 0 0 0 31250 752 0 0 25 0 1 0 911766329 57778176 12309 4294967295 134512640 134716908 3221224560 3221220976 1075895987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14106 12309 1111 63 0 14043 0
vsize: 56424
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 288643 0 0 0 32241 761 0 0 25 0 1 0 911766329 55959552 12429 4294967295 134512640 134716908 3221224560 3221220832 1074961212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13662 12429 1111 63 0 13599 0
vsize: 54648
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 300908 0 0 0 33213 789 0 0 25 0 1 0 911766329 52404224 11396 4294967295 134512640 134716908 3221224560 3221220860 1075116242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12794 11396 1111 63 0 12731 0
vsize: 51176
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 311029 0 0 0 34190 813 0 0 25 0 1 0 911766329 48644096 11173 4294967295 134512640 134716908 3221224560 3221222824 1077402401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11876 11173 1111 63 0 11813 0
vsize: 47504
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 330925 0 0 0 35142 861 0 0 25 0 1 0 911766329 49459200 11358 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12075 11358 1111 63 0 12012 0
vsize: 48300
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 334249 0 0 0 36134 869 0 0 25 0 1 0 911766329 50847744 11640 4294967295 134512640 134716908 3221224560 3221223352 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12414 11640 1111 63 0 12351 0
vsize: 49656
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 354499 0 0 0 37086 917 0 0 25 0 1 0 911766329 53129216 11552 4294967295 134512640 134716908 3221224560 3221220528 1074872805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12971 11552 1111 63 0 12908 0
vsize: 51884
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 378102 0 0 0 38029 975 0 0 25 0 1 0 911766329 49741824 11436 4294967295 134512640 134716908 3221224560 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12144 11436 1111 63 0 12081 0
vsize: 48576
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 393502 0 0 0 38993 1011 0 0 25 0 1 0 911766329 51482624 11827 4294967295 134512640 134716908 3221224560 3221223296 134622819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12569 11827 1111 63 0 12506 0
vsize: 50276
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 416051 0 0 0 39937 1067 0 0 25 0 1 0 911766329 50966528 11710 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12443 11710 1111 63 0 12380 0
vsize: 49772
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 432003 0 0 0 40898 1106 0 0 25 0 1 0 911766329 54620160 11932 4294967295 134512640 134716908 3221224560 3221220788 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13335 11932 1111 63 0 13272 0
vsize: 53340
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 435727 0 0 0 41889 1116 0 0 25 0 1 0 911766329 52166656 12006 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12736 12006 1111 63 0 12673 0
vsize: 50944
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 435797 0 0 0 42888 1117 0 0 25 0 1 0 911766329 52445184 12076 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12804 12076 1111 63 0 12741 0
vsize: 51216
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 435851 0 0 0 43887 1118 0 0 25 0 1 0 911766329 52654080 12130 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12855 12130 1111 63 0 12792 0
vsize: 51420
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 436932 0 0 0 44885 1120 0 0 25 0 1 0 911766329 55595008 12842 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13573 12842 1111 63 0 13510 0
vsize: 54292
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 441482 0 0 0 45875 1130 0 0 25 0 1 0 911766329 52817920 12187 4294967295 134512640 134716908 3221224560 3221223288 134622898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12895 12187 1111 63 0 12832 0
vsize: 51580
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 441482 0 0 0 46875 1130 0 0 25 0 1 0 911766329 52817920 12187 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12895 12187 1111 63 0 12832 0
vsize: 51580
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 441482 0 0 0 47876 1130 0 0 25 0 1 0 911766329 52817920 12187 4294967295 134512640 134716908 3221224560 3221223376 134622425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12895 12187 1111 63 0 12832 0
vsize: 51580
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 441482 0 0 0 48876 1130 0 0 25 0 1 0 911766329 52817920 12187 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12895 12187 1111 63 0 12832 0
vsize: 51580
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 442012 0 0 0 49874 1132 0 0 25 0 1 0 911766329 53051392 12244 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12952 12244 1111 63 0 12889 0
vsize: 51808
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 446296 0 0 0 50865 1142 0 0 25 0 1 0 911766329 57221120 12586 4294967295 134512640 134716908 3221224560 3221220672 1074790218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13970 12586 1111 63 0 13907 0
vsize: 55880
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 478409 0 0 0 51792 1214 0 0 25 0 1 0 911766329 55451648 12036 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13538 12047 1111 63 0 13475 0
vsize: 54152
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 508245 0 0 0 52716 1291 0 0 25 0 1 0 911766329 52465664 12083 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12809 12083 1111 63 0 12746 0
vsize: 51236
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 545274 0 0 0 53631 1376 0 0 25 0 1 0 911766329 54636544 12360 4294967295 134512640 134716908 3221224560 3221221996 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14046 12366 1111 63 0 13983 0
vsize: 53356
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 550974 0 0 0 54618 1389 0 0 25 0 1 0 911766329 55119872 12714 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13457 12714 1111 63 0 13394 0
vsize: 53828
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 551114 0 0 0 55617 1390 0 0 25 0 1 0 911766329 55463936 12766 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13541 12766 1111 63 0 13478 0
vsize: 54164
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 552085 0 0 0 56614 1394 0 0 25 0 1 0 911766329 57995264 13416 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14159 13416 1111 63 0 14096 0
vsize: 56636
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 556206 0 0 0 57606 1402 0 0 25 0 1 0 911766329 55562240 12822 4294967295 134512640 134716908 3221224560 3221223352 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13565 12822 1111 63 0 13502 0
vsize: 54260
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 556206 0 0 0 58606 1402 0 0 25 0 1 0 911766329 55562240 12822 4294967295 134512640 134716908 3221224560 3221223352 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13565 12822 1111 63 0 13502 0
vsize: 54260
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 556206 0 0 0 59606 1402 0 0 25 0 1 0 911766329 55562240 12822 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13565 12822 1111 63 0 13502 0
vsize: 54260
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 556332 0 0 0 60605 1403 0 0 25 0 1 0 911766329 54710272 12614 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 12614 1111 63 0 13294 0
vsize: 53428
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 559416 0 0 0 61599 1410 0 0 25 0 1 0 911766329 54808576 12638 4294967295 134512640 134716908 3221224560 3221223364 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13381 12638 1111 63 0 13318 0
vsize: 53524
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 569078 0 0 0 62577 1432 0 0 25 0 1 0 911766329 54161408 12480 4294967295 134512640 134716908 3221224560 3221222488 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13223 12480 1111 63 0 13160 0
vsize: 52892
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 604350 0 0 0 63498 1511 0 0 25 0 1 0 911766329 59723776 12877 4294967295 134512640 134716908 3221224560 3221221544 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14581 12877 1111 63 0 14518 0
vsize: 58324
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 639980 0 0 0 64416 1594 0 0 25 0 1 0 911766329 57286656 13197 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13986 13197 1111 63 0 13923 0
vsize: 55944
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 656594 0 0 0 65374 1636 0 0 25 0 1 0 911766329 61071360 13258 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14910 13270 1111 63 0 14847 0
vsize: 59640
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 691084 0 0 0 66290 1719 0 0 25 0 1 0 911766329 65892352 13921 4294967295 134512640 134716908 3221224560 3221220720 1075095344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16087 13931 1111 63 0 16024 0
vsize: 64348
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 710350 0 0 0 67242 1768 0 0 25 0 1 0 911766329 59719680 13630 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14580 13630 1111 63 0 14517 0
vsize: 58320
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 741736 0 0 0 68169 1842 0 0 25 0 1 0 911766329 60289024 13781 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14719 13781 1111 63 0 14656 0
vsize: 58876
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 765087 0 0 0 69112 1899 0 0 25 0 1 0 911766329 63082496 14440 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15401 14440 1111 63 0 15338 0
vsize: 61604
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 767439 0 0 0 70106 1904 0 0 25 0 1 0 911766329 61927424 14181 4294967295 134512640 134716908 3221224560 3221223376 134622277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15119 14181 1111 63 0 15056 0
vsize: 60476
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 769965 0 0 0 71100 1911 0 0 25 0 1 0 911766329 61435904 14050 4294967295 134512640 134716908 3221224560 3221222896 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14999 14050 1111 63 0 14936 0
vsize: 59996
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 784095 0 0 0 72065 1946 0 0 25 0 1 0 911766329 61677568 14088 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15058 14088 1111 63 0 14995 0
vsize: 60232
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 803405 0 0 0 73019 1992 0 0 25 0 1 0 911766329 61300736 14028 4294967295 134512640 134716908 3221224560 3221223352 134536915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 14028 1111 63 0 14903 0
vsize: 59864
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 835871 0 0 0 73943 2069 0 0 25 0 1 0 911766329 68165632 14912 4294967295 134512640 134716908 3221224560 3221220720 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16642 14921 1111 63 0 16579 0
vsize: 66568
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 859326 0 0 0 74885 2127 0 0 25 0 1 0 911766329 62590976 14337 4294967295 134512640 134716908 3221224560 3221222504 1074057889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15281 14337 1111 63 0 15218 0
vsize: 61124
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 885675 0 0 0 75821 2190 0 0 25 0 1 0 911766329 66920448 14692 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16338 14692 1111 63 0 16275 0
vsize: 65352
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 913695 0 0 0 76753 2259 0 0 25 0 1 0 911766329 67424256 14722 4294967295 134512640 134716908 3221224560 3221220896 1075114279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16461 14722 1111 63 0 16398 0
vsize: 65844
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 934894 0 0 0 77702 2310 0 0 25 0 1 0 911766329 66043904 15162 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16124 15162 1111 63 0 16061 0
vsize: 64496
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 937278 0 0 0 78697 2316 0 0 25 0 1 0 911766329 65032192 14899 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15877 14899 1111 63 0 15814 0
vsize: 63508
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 957103 0 0 0 79650 2363 0 0 25 0 1 0 911766329 68280320 15010 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16670 15017 1111 63 0 16607 0
vsize: 66680
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 989893 0 0 0 80572 2440 0 0 25 0 1 0 911766329 68829184 15139 4294967295 134512640 134716908 3221224560 3221220800 1075115712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16804 15139 1111 63 0 16741 0
vsize: 67216
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1007630 0 0 0 81531 2483 0 0 25 0 1 0 911766329 65286144 14974 4294967295 134512640 134716908 3221224560 3221222560 1074916399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15939 14974 1111 63 0 15876 0
vsize: 63756
[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1028230 0 0 0 82478 2535 0 0 25 0 1 0 911766329 65998848 15149 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16113 15149 1111 63 0 16050 0
vsize: 64452
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1033480 0 0 0 83467 2547 0 0 25 0 1 0 911766329 65839104 15117 4294967295 134512640 134716908 3221224560 3221223352 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16074 15117 1111 63 0 16011 0
vsize: 64296
[startup+870.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1069415 0 0 0 84383 2630 0 0 25 0 1 0 911766329 66338816 15238 4294967295 134512640 134716908 3221224560 3221223272 134543125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16196 15238 1111 63 0 16133 0
vsize: 64784
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1106727 0 0 0 85295 2719 0 0 25 0 1 0 911766329 67358720 15473 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16445 15473 1111 63 0 16382 0
vsize: 65780
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1132920 0 0 0 86232 2782 0 0 25 0 1 0 911766329 67956736 15646 4294967295 134512640 134716908 3221224560 3221223336 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16591 15646 1111 63 0 16528 0
vsize: 66364
[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1163760 0 0 0 87158 2856 0 0 25 0 1 0 911766329 68481024 15774 4294967295 134512640 134716908 3221224560 3221222288 1075828656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16719 15774 1111 63 0 16656 0
vsize: 66876
[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1203633 0 0 0 88062 2952 0 0 25 0 1 0 911766329 69382144 15989 4294967295 134512640 134716908 3221224560 3221222912 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16939 15989 1111 63 0 16876 0
vsize: 67756
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1237037 0 0 0 88982 3033 0 0 25 0 1 0 911766329 70234112 16203 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17147 16203 1111 63 0 17084 0
vsize: 68588
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1274426 0 0 0 89894 3121 0 0 25 0 1 0 911766329 77307904 17250 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18874 17250 1111 63 0 18811 0
vsize: 75496
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1310096 0 0 0 90809 3206 0 0 25 0 1 0 911766329 73195520 16672 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17634 16667 1111 63 0 17571 0
vsize: 71480
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1340879 0 0 0 91736 3279 0 0 25 0 1 0 911766329 76668928 16991 4294967295 134512640 134716908 3221224560 3221220896 1075114277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18718 16991 1111 63 0 18655 0
vsize: 74872
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1367260 0 0 0 92674 3342 0 0 25 0 1 0 911766329 77078528 17061 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18818 17061 1111 63 0 18755 0
vsize: 75272
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1407120 0 0 0 93580 3435 0 0 25 0 1 0 911766329 74444800 17184 4294967295 134512640 134716908 3221224560 3221221792 1075552823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18175 17184 1111 63 0 18112 0
vsize: 72700
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1446506 0 0 0 94485 3531 0 0 25 0 1 0 911766329 79663104 17739 4294967295 134512640 134716908 3221224560 3221220788 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19449 17739 1111 63 0 19386 0
vsize: 77796
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1480992 0 0 0 95401 3615 0 0 25 0 1 0 911766329 76382208 17651 4294967295 134512640 134716908 3221224560 3221223272 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18648 17651 1111 63 0 18585 0
vsize: 74592
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1516952 0 0 0 96316 3701 0 0 25 0 1 0 911766329 76939264 17791 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18784 17791 1111 63 0 18721 0
vsize: 75136
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1554728 0 0 0 97227 3790 0 0 25 0 1 0 911766329 77869056 18015 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19011 18015 1111 63 0 18948 0
vsize: 76044
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1581186 0 0 0 98162 3855 0 0 25 0 1 0 911766329 78254080 18118 4294967295 134512640 134716908 3221224560 3221223116 134536842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19105 18118 1111 63 0 19042 0
vsize: 76420
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1616884 0 0 0 99078 3939 0 0 25 0 1 0 911766329 79556608 18429 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19423 18429 1111 63 0 19360 0
vsize: 77692
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1650812 0 0 0 99998 4019 0 0 25 0 1 0 911766329 80396288 18632 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19628 18632 1111 63 0 19565 0
vsize: 78512
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1693934 0 0 0 100898 4119 0 0 25 0 1 0 911766329 81870848 18994 4294967295 134512640 134716908 3221224560 3221222612 1077380096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19988 18994 1111 63 0 19925 0
vsize: 79952
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1733105 0 0 0 101810 4208 0 0 25 0 1 0 911766329 87199744 19570 4294967295 134512640 134716908 3221224560 3221220592 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21289 19570 1111 63 0 21226 0
vsize: 85156
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1772736 0 0 0 102715 4303 0 0 25 0 1 0 911766329 88494080 19651 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21605 19664 1111 63 0 21542 0
vsize: 86420
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1814025 0 0 0 103616 4402 0 0 25 0 1 0 911766329 86032384 19969 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20998 19963 1111 63 0 20935 0
vsize: 84016
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1859914 0 0 0 104506 4512 0 0 25 0 1 0 911766329 87633920 20327 4294967295 134512640 134716908 3221224560 3221222288 1075828631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21395 20327 1111 63 0 21332 0
vsize: 85580
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1899518 0 0 0 105411 4607 0 0 25 0 1 0 911766329 92639232 20878 4294967295 134512640 134716908 3221224560 3221220788 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22617 20878 1111 63 0 22554 0
vsize: 90468
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1942398 0 0 0 106309 4709 0 0 25 0 1 0 911766329 89976832 20936 4294967295 134512640 134716908 3221224560 3221222544 1074138465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21967 20936 1111 63 0 21904 0
vsize: 87868
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 1989080 0 0 0 107201 4818 0 0 25 0 1 0 911766329 91287552 21262 4294967295 134512640 134716908 3221224560 3221222604 1074137219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22287 21262 1111 63 0 22224 0
vsize: 89148
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 2038324 0 0 0 108086 4933 0 0 25 0 1 0 911766329 93229056 21693 4294967295 134512640 134716908 3221224560 3221222560 1074056637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22761 21693 1111 63 0 22698 0
vsize: 91044
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 2084864 0 0 0 108977 5042 0 0 25 0 1 0 911766329 98230272 22159 4294967295 134512640 134716908 3221224560 3221220556 1074788168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23982 22159 1111 63 0 23919 0
vsize: 95928
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 2125944 0 0 0 109877 5142 0 0 25 0 1 0 911766329 95543296 22264 4294967295 134512640 134716908 3221224560 3221222864 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23326 22264 1111 63 0 23263 0
vsize: 93304
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 2167802 0 0 0 110777 5242 0 0 25 0 1 0 911766329 100376576 22682 4294967295 134512640 134716908 3221224560 3221220572 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24506 22682 1111 63 0 24443 0
vsize: 98024
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 2214686 0 0 0 111665 5353 0 0 25 0 1 0 911766329 97255424 22677 4294967295 134512640 134716908 3221224560 3221222560 1074915833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23744 22677 1111 63 0 23681 0
vsize: 94976
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 4259
Raw data (stat): 4259 (bsolo_lpr_cuts-) R 4258 7266 7265 0 -1 0 2214686 0 0 0 111665 5353 0 0 25 0 1 0 911766329 97255424 22677 4294967295 134512640 134716908 3221224560 3221222560 1074915833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23744 22677 1111 63 0 23681 0
vsize: 0

Child status: 10
Real time (s): 1174.98
CPU time (s): 1175.13
CPU user time (s): 1121.12
CPU system time (s): 54.0138
CPU usage (%): 100.013
Max. virtual memory (Kb): 98024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	269556
#### END VERIFIER DATA ####