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 41218

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 08:09:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29272 boxname=wulflinc5 idbench=1056 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  1a8deb577df7e72871b7e1004c098336  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-p0282.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-p0282.opb
IDLAUNCH: 29272
/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:        748984 kB
Buffers:          8204 kB
Cached:         256604 kB
SwapCached:        664 kB
Active:          24920 kB
Inactive:       241936 kB
HighTotal:      131008 kB
HighFree:         8428 kB
LowTotal:       903652 kB
LowFree:        740556 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13184 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 08:29:18 (client local time) WITH STATUS 10 IN 1175.1 SECONDS
stats: 29272 0 1175.1 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.048
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 497683 @ 3.707
c NEW SOLUTION FOUND: 360272 @ 3.709
c NEW SOLUTION FOUND: 359409 @ 3.715
c NEW SOLUTION FOUND: 345511 @ 3.766
c NEW SOLUTION FOUND: 342861 @ 3.771
c NEW SOLUTION FOUND: 342140 @ 3.828
c NEW SOLUTION FOUND: 329812 @ 4.557
c NEW SOLUTION FOUND: 328871 @ 4.574
c NEW SOLUTION FOUND: 328559 @ 4.639
c NEW SOLUTION FOUND: 296106 @ 5.606
c NEW SOLUTION FOUND: 295477 @ 5.727
c NEW SOLUTION FOUND: 293603 @ 5.864
c NEW SOLUTION FOUND: 289169 @ 6.435
c NEW SOLUTION FOUND: 280436 @ 17.262
c NEW SOLUTION FOUND: 276002 @ 17.464
c NEW SOLUTION FOUND: 270697 @ 28.956
c NEW SOLUTION FOUND: 269556 @ 1154.03
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.05 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.92 0.97 0.91 1/54 31800
Raw data (stat): 31800 (runsolver) D 31799 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 908724037 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 10787 0 0 0 960 36 0 0 25 0 1 0 908724037 15310848 3050 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3738 3050 1111 63 0 3675 0
vsize: 14952
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 31299 0 0 0 1901 95 0 0 25 0 1 0 908724037 18710528 3816 4294967295 134512640 134716908 3221224560 3221220524 1074860755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4568 3816 1111 63 0 4505 0
vsize: 18272
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 50325 0 0 0 2853 143 0 0 25 0 1 0 908724037 21491712 4496 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5247 4496 1111 63 0 5184 0
vsize: 20988
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 65957 0 0 0 3809 187 0 0 25 0 1 0 908724037 23601152 5064 4294967295 134512640 134716908 3221224560 3221222476 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5762 5064 1111 63 0 5699 0
vsize: 23048
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 80662 0 0 0 4765 231 0 0 25 0 1 0 908724037 25538560 5490 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6235 5490 1111 63 0 6172 0
vsize: 24940
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 96643 0 0 0 5723 274 0 0 25 0 1 0 908724037 27152384 5936 4294967295 134512640 134716908 3221224560 3221222208 1075818750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6629 5936 1111 63 0 6566 0
vsize: 26516
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 111403 0 0 0 6682 315 0 0 25 0 1 0 908724037 29564928 6472 4294967295 134512640 134716908 3221224560 3221220784 1075895853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7218 6472 1111 63 0 7155 0
vsize: 28872
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 131656 0 0 0 7630 368 0 0 25 0 1 0 908724037 32092160 7143 4294967295 134512640 134716908 3221224560 3221222324 1077374123 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7835 7143 1111 63 0 7772 0
vsize: 31340
[startup+90.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 146032 0 0 0 8592 405 0 0 25 0 1 0 908724037 33976320 7563 4294967295 134512640 134716908 3221224560 3221222448 1074052193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8295 7563 1111 63 0 8232 0
vsize: 33180
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 160004 0 0 0 9553 445 0 0 25 0 1 0 908724037 36147200 8098 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8825 8098 1111 63 0 8762 0
vsize: 35300
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 173227 0 0 0 10519 479 0 0 25 0 1 0 908724037 37724160 8481 4294967295 134512640 134716908 3221224560 3221223312 134604488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9210 8481 1111 63 0 9147 0
vsize: 36840
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 188574 0 0 0 11479 519 0 0 25 0 1 0 908724037 39337984 8882 4294967295 134512640 134716908 3221224560 3221222024 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9604 8882 1111 63 0 9541 0
vsize: 38416
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 200148 0 0 0 12448 550 0 0 25 0 1 0 908724037 41058304 9236 4294967295 134512640 134716908 3221224560 3221220832 1074798945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10024 9236 1111 63 0 9961 0
vsize: 40096
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 210456 0 0 0 13420 578 0 0 25 0 1 0 908724037 41852928 9449 4294967295 134512640 134716908 3221224560 3221222912 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10218 9449 1111 63 0 10155 0
vsize: 40872
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 222013 0 0 0 14386 613 0 0 25 0 1 0 908724037 43147264 9769 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10534 9769 1111 63 0 10471 0
vsize: 42136
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 234971 0 0 0 15354 645 0 0 25 0 1 0 908724037 44376064 10118 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10834 10118 1111 63 0 10771 0
vsize: 43336
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 248685 0 0 0 16314 684 0 0 25 0 1 0 908724037 46419968 10549 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11333 10549 1111 63 0 11270 0
vsize: 45332
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 263017 0 0 0 17276 723 0 0 25 0 1 0 908724037 47669248 10929 4294967295 134512640 134716908 3221224560 3221222768 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11638 10929 1111 63 0 11575 0
vsize: 46552
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 263329 0 0 0 18274 725 0 0 25 0 1 0 908724037 48775168 11199 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11908 11199 1111 63 0 11845 0
vsize: 47632
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 263457 0 0 0 19274 726 0 0 25 0 1 0 908724037 49369088 11327 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12053 11327 1111 63 0 11990 0
vsize: 48212
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 263517 0 0 0 20273 727 0 0 25 0 1 0 908724037 49602560 11387 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12110 11387 1111 63 0 12047 0
vsize: 48440
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 263568 0 0 0 21272 727 0 0 25 0 1 0 908724037 49811456 11438 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12161 11438 1111 63 0 12098 0
vsize: 48644
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 264978 0 0 0 22269 731 0 0 25 0 1 0 908724037 53723136 12385 4294967295 134512640 134716908 3221224560 3221222560 1074918591 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 267317 0 0 0 23263 737 0 0 25 0 1 0 908724037 59805696 13737 4294967295 134512640 134716908 3221224560 3221220788 1075115039 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 270417 0 0 0 24256 744 0 0 25 0 1 0 908724037 50249728 11565 4294967295 134512640 134716908 3221224560 3221223272 134543133 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 270417 0 0 0 25256 744 0 0 25 0 1 0 908724037 50249728 11565 4294967295 134512640 134716908 3221224560 3221223276 134558476 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 270417 0 0 0 26256 744 0 0 25 0 1 0 908724037 50249728 11565 4294967295 134512640 134716908 3221224560 3221223352 134558492 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 270417 0 0 0 27257 744 0 0 25 0 1 0 908724037 50249728 11565 4294967295 134512640 134716908 3221224560 3221223376 134622268 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 270417 0 0 0 28257 744 0 0 25 0 1 0 908724037 50249728 11565 4294967295 134512640 134716908 3221224560 3221223352 134536900 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 270518 0 0 0 29256 745 0 0 25 0 1 0 908724037 48930816 11243 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11946 11243 1111 63 0 11883 0
vsize: 47784
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 272923 0 0 0 30251 750 0 0 25 0 1 0 908724037 57614336 12952 4294967295 134512640 134716908 3221224560 3221220788 1075115109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14066 12952 1111 63 0 14003 0
vsize: 56264
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 281138 0 0 0 31233 769 0 0 25 0 1 0 908724037 55808000 12509 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13625 12509 1111 63 0 13562 0
vsize: 54500
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 287461 0 0 0 32218 784 0 0 25 0 1 0 908724037 50008064 11504 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12209 11504 1111 63 0 12146 0
vsize: 48836
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 295734 0 0 0 33199 803 0 0 25 0 1 0 908724037 48541696 11148 4294967295 134512640 134716908 3221224560 3221223356 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11851 11148 1111 63 0 11788 0
vsize: 47404
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 306713 0 0 0 34174 829 0 0 25 0 1 0 908724037 48881664 11199 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11934 11199 1111 63 0 11871 0
vsize: 47736
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 330876 0 0 0 35117 886 0 0 25 0 1 0 908724037 49324032 11309 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12042 11309 1111 63 0 11979 0
vsize: 48168
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 334249 0 0 0 36108 895 0 0 25 0 1 0 908724037 50847744 11640 4294967295 134512640 134716908 3221224560 3221223272 134543187 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 345688 0 0 0 37081 922 0 0 25 0 1 0 908724037 48840704 11221 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11924 11221 1111 63 0 11861 0
vsize: 47696
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 370235 0 0 0 38024 979 0 0 25 0 1 0 908724037 49819648 11440 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12163 11440 1111 63 0 12100 0
vsize: 48652
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 391908 0 0 0 38971 1032 0 0 25 0 1 0 908724037 57643008 12246 4294967295 134512640 134716908 3221224560 3221220528 1074791294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14073 12246 1111 63 0 14010 0
vsize: 56292
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 409916 0 0 0 39928 1075 0 0 25 0 1 0 908724037 50409472 11599 4294967295 134512640 134716908 3221224560 3221222840 1074138327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12307 11599 1111 63 0 12244 0
vsize: 49228
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 426651 0 0 0 40891 1113 0 0 25 0 1 0 908724037 56934400 11791 4294967295 134512640 134716908 3221224560 3221221328 1076083427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13900 11791 1111 63 0 13837 0
vsize: 55600
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 435619 0 0 0 41869 1136 0 0 25 0 1 0 908724037 51666944 11898 4294967295 134512640 134716908 3221224560 3221222512 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12614 11898 1111 63 0 12551 0
vsize: 50456
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 435780 0 0 0 42867 1137 0 0 25 0 1 0 908724037 52375552 12059 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12787 12059 1111 63 0 12724 0
vsize: 51148
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 435839 0 0 0 43867 1138 0 0 25 0 1 0 908724037 52604928 12118 4294967295 134512640 134716908 3221224560 3221222464 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12843 12118 1111 63 0 12780 0
vsize: 51372
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 436932 0 0 0 44864 1141 0 0 25 0 1 0 908724037 55595008 12842 4294967295 134512640 134716908 3221224560 3221222560 1074918594 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 439233 0 0 0 45859 1146 0 0 25 0 1 0 908724037 60928000 13916 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14875 13916 1111 63 0 14812 0
vsize: 59500
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 441482 0 0 0 46854 1151 0 0 25 0 1 0 908724037 52817920 12187 4294967295 134512640 134716908 3221224560 3221223276 134558476 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 441482 0 0 0 47854 1151 0 0 25 0 1 0 908724037 52817920 12187 4294967295 134512640 134716908 3221224560 3221223272 134543144 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 441482 0 0 0 48854 1152 0 0 25 0 1 0 908724037 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 441555 0 0 0 49854 1152 0 0 25 0 1 0 908724037 51728384 11921 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12629 11921 1111 63 0 12566 0
vsize: 50516
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 444212 0 0 0 50847 1159 0 0 25 0 1 0 908724037 51429376 11848 4294967295 134512640 134716908 3221224560 3221222800 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12556 11848 1111 63 0 12493 0
vsize: 50224
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 467545 0 0 0 51794 1212 0 0 25 0 1 0 908724037 51429376 11848 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12556 11848 1111 63 0 12493 0
vsize: 50224
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 498837 0 0 0 52721 1285 0 0 25 0 1 0 908724037 52203520 12028 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12745 12028 1111 63 0 12682 0
vsize: 50980
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 532260 0 0 0 53642 1365 0 0 25 0 1 0 908724037 53235712 12276 4294967295 134512640 134716908 3221224560 3221222624 1075961790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12997 12276 1111 63 0 12934 0
vsize: 51988
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 550937 0 0 0 54597 1410 0 0 25 0 1 0 908724037 55017472 12677 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13432 12677 1111 63 0 13369 0
vsize: 53728
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 551087 0 0 0 55596 1411 0 0 25 0 1 0 908724037 55222272 12739 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13482 12739 1111 63 0 13419 0
vsize: 53928
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 552085 0 0 0 56593 1414 0 0 25 0 1 0 908724037 57995264 13416 4294967295 134512640 134716908 3221224560 3221222560 1074918583 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 554177 0 0 0 57589 1418 0 0 25 0 1 0 908724037 63221760 14372 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15435 14372 1111 63 0 15372 0
vsize: 61740
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 556206 0 0 0 58584 1423 0 0 25 0 1 0 908724037 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+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 556206 0 0 0 59584 1423 0 0 25 0 1 0 908724037 55562240 12822 4294967295 134512640 134716908 3221224560 3221223352 134536879 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 556226 0 0 0 60584 1424 0 0 25 0 1 0 908724037 54480896 12545 4294967295 134512640 134716908 3221224560 3221222800 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13301 12545 1111 63 0 13238 0
vsize: 53204
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 559416 0 0 0 61577 1431 0 0 25 0 1 0 908724037 54808576 12638 4294967295 134512640 134716908 3221224560 3221223296 134622763 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 561042 0 0 0 62573 1435 0 0 25 0 1 0 908724037 54554624 12576 4294967295 134512640 134716908 3221224560 3221223280 134622828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13319 12576 1111 63 0 13256 0
vsize: 53276
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 590245 0 0 0 63501 1507 0 0 25 0 1 0 908724037 55345152 12744 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13512 12744 1111 63 0 13449 0
vsize: 54048
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 629344 0 0 0 64408 1600 0 0 25 0 1 0 908724037 60510208 13103 4294967295 134512640 134716908 3221224560 3221221480 1075964728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14773 13103 1111 63 0 14710 0
vsize: 59092
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 645289 0 0 0 65369 1639 0 0 25 0 1 0 908724037 63397888 14038 4294967295 134512640 134716908 3221224560 3221220768 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15478 14038 1111 63 0 15415 0
vsize: 61912
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 683609 0 0 0 66280 1729 0 0 25 0 1 0 908724037 59277312 13521 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14472 13521 1111 63 0 14409 0
vsize: 57888
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 702283 0 0 0 67237 1772 0 0 25 0 1 0 908724037 65667072 13735 4294967295 134512640 134716908 3221224560 3221221680 1074834346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16032 13735 1111 63 0 15969 0
vsize: 64128
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 731336 0 0 0 68167 1842 0 0 25 0 1 0 908724037 66232320 14510 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16170 14510 1111 63 0 16107 0
vsize: 64680
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 764537 0 0 0 69089 1921 0 0 25 0 1 0 908724037 61444096 14034 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15002 14034 1111 63 0 14939 0
vsize: 60004
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 767439 0 0 0 70082 1928 0 0 25 0 1 0 908724037 61927424 14181 4294967295 134512640 134716908 3221224560 3221223276 134558476 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 768624 0 0 0 71078 1932 0 0 25 0 1 0 908724037 68902912 14812 4294967295 134512640 134716908 3221224560 3221220800 1075115752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16822 14812 1111 63 0 16759 0
vsize: 67288
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 780455 0 0 0 72049 1961 0 0 25 0 1 0 908724037 61300736 14028 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 14028 1111 63 0 14903 0
vsize: 59864
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 792094 0 0 0 73020 1990 0 0 25 0 1 0 908724037 65163264 14293 4294967295 134512640 134716908 3221224560 3221220572 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15909 14293 1111 63 0 15846 0
vsize: 63636
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 826336 0 0 0 73940 2071 0 0 25 0 1 0 908724037 61943808 14170 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15123 14170 1111 63 0 15060 0
vsize: 60492
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 854016 0 0 0 74874 2137 0 0 25 0 1 0 908724037 62922752 14397 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15362 14397 1111 63 0 15299 0
vsize: 61448
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 880053 0 0 0 75812 2199 0 0 25 0 1 0 908724037 69107712 14742 4294967295 134512640 134716908 3221224560 3221220720 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16872 14753 1111 63 0 16809 0
vsize: 67488
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 902190 0 0 0 76761 2250 0 0 25 0 1 0 908724037 69431296 15295 4294967295 134512640 134716908 3221224560 3221220788 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16951 15295 1111 63 0 16888 0
vsize: 67804
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 934319 0 0 0 77682 2329 0 0 25 0 1 0 908724037 64290816 14740 4294967295 134512640 134716908 3221224560 3221222800 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15696 14740 1111 63 0 15633 0
vsize: 62784
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 937157 0 0 0 78675 2336 0 0 25 0 1 0 908724037 64950272 14907 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15857 14907 1111 63 0 15794 0
vsize: 63428
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 945504 0 0 0 79655 2357 0 0 25 0 1 0 908724037 68190208 15014 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16648 15014 1111 63 0 16585 0
vsize: 66592
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 976784 0 0 0 80580 2432 0 0 25 0 1 0 908724037 68562944 14831 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16739 14843 1111 63 0 16676 0
vsize: 66956
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 998901 0 0 0 81530 2482 0 0 25 0 1 0 908724037 68943872 15193 4294967295 134512640 134716908 3221224560 3221220788 1075115035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16832 15193 1111 63 0 16769 0
vsize: 67328
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1020901 0 0 0 82476 2537 0 0 25 0 1 0 908724037 65433600 15018 4294967295 134512640 134716908 3221224560 3221222912 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15975 15018 1111 63 0 15912 0
vsize: 63900
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1030292 0 0 0 83454 2559 0 0 25 0 1 0 908724037 66424832 15256 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16217 15256 1111 63 0 16154 0
vsize: 64868
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1054418 0 0 0 84398 2615 0 0 25 0 1 0 908724037 65916928 15136 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16093 15136 1111 63 0 16030 0
vsize: 64372
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1094025 0 0 0 85306 2707 0 0 25 0 1 0 908724037 70754304 15496 4294967295 134512640 134716908 3221224560 3221220768 1076111669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17274 15496 1111 63 0 17211 0
vsize: 69096
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1124356 0 0 0 86235 2778 0 0 25 0 1 0 908724037 67719168 15586 4294967295 134512640 134716908 3221224560 3221223280 134622905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16533 15586 1111 63 0 16470 0
vsize: 66132
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1153241 0 0 0 87167 2846 0 0 25 0 1 0 908724037 71958528 15739 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17568 15740 1111 63 0 17505 0
vsize: 70272
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1189246 0 0 0 88083 2930 0 0 25 0 1 0 908724037 72818688 16023 4294967295 134512640 134716908 3221224560 3221220660 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17778 16023 1111 63 0 17715 0
vsize: 71112
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1222726 0 0 0 89002 3011 0 0 25 0 1 0 908724037 73875456 16380 4294967295 134512640 134716908 3221224560 3221220788 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18036 16380 1111 63 0 17973 0
vsize: 72144
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1260827 0 0 0 89912 3102 0 0 25 0 1 0 908724037 70909952 16368 4294967295 134512640 134716908 3221224560 3221223024 1074121052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17312 16368 1111 63 0 17249 0
vsize: 69248
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1296320 0 0 0 90828 3186 0 0 25 0 1 0 908724037 72024064 16615 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17584 16615 1111 63 0 17521 0
vsize: 70336
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1329741 0 0 0 91749 3265 0 0 25 0 1 0 908724037 72593408 16756 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17723 16756 1111 63 0 17660 0
vsize: 70892
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1355374 0 0 0 92689 3326 0 0 25 0 1 0 908724037 73097216 16879 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17846 16879 1111 63 0 17783 0
vsize: 71384
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1392679 0 0 0 93598 3417 0 0 25 0 1 0 908724037 77729792 17079 4294967295 134512640 134716908 3221224560 3221221480 1075964733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18977 17079 1111 63 0 18914 0
vsize: 75908
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1432514 0 0 0 94505 3510 0 0 25 0 1 0 908724037 75227136 17368 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17368 1111 63 0 18303 0
vsize: 73464
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1465828 0 0 0 95425 3590 0 0 25 0 1 0 908724037 79912960 17792 4294967295 134512640 134716908 3221224560 3221220672 1075895677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19510 17792 1111 63 0 19447 0
vsize: 78040
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1499345 0 0 0 96346 3670 0 0 25 0 1 0 908724037 80580608 17989 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19673 17989 1111 63 0 19610 0
vsize: 78692
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1543382 0 0 0 97240 3776 0 0 25 0 1 0 908724037 77594624 17955 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19887 17961 1111 63 0 19824 0
vsize: 75776
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1571294 0 0 0 98173 3843 0 0 25 0 1 0 908724037 78143488 18090 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19078 18090 1111 63 0 19015 0
vsize: 76312
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1602703 0 0 0 99099 3917 0 0 25 0 1 0 908724037 82698240 18309 4294967295 134512640 134716908 3221224560 3221220932 1075112451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20190 18309 1111 63 0 20127 0
vsize: 80760
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1638914 0 0 0 100013 4003 0 0 25 0 1 0 908724037 80105472 18563 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19557 18563 1111 63 0 19494 0
vsize: 78228
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1678671 0 0 0 100920 4096 0 0 25 0 1 0 908724037 81494016 18911 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19896 18911 1111 63 0 19833 0
vsize: 79584
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1717138 0 0 0 101829 4188 0 0 25 0 1 0 908724037 82857984 19232 4294967295 134512640 134716908 3221224560 3221222912 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20229 19232 1111 63 0 20166 0
vsize: 80916
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1758393 0 0 0 102731 4285 0 0 25 0 1 0 908724037 84156416 19550 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20546 19550 1111 63 0 20483 0
vsize: 82184
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1798112 0 0 0 103636 4381 0 0 25 0 1 0 908724037 89239552 20065 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21787 20065 1111 63 0 21724 0
vsize: 87148
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1844198 0 0 0 104528 4490 0 0 25 0 1 0 908724037 86822912 20161 4294967295 134512640 134716908 3221224560 3221222560 1074916333 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21197 20161 1111 63 0 21134 0
vsize: 84788
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1883298 0 0 0 105435 4583 0 0 25 0 1 0 908724037 88297472 20519 4294967295 134512640 134716908 3221224560 3221222896 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21557 20519 1111 63 0 21494 0
vsize: 86228
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1924815 0 0 0 106334 4683 0 0 25 0 1 0 908724037 89362432 20782 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21817 20782 1111 63 0 21754 0
vsize: 87268
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 1972484 0 0 0 107224 4794 0 0 25 0 1 0 908724037 90824704 21151 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22174 21151 1111 63 0 22111 0
vsize: 88696
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 2019150 0 0 0 108116 4902 0 0 25 0 1 0 908724037 92598272 21549 4294967295 134512640 134716908 3221224560 3221223276 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22607 21549 1111 63 0 22544 0
vsize: 90428
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 2072036 0 0 0 108997 5022 0 0 25 0 1 0 908724037 93954048 21875 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22938 21875 1111 63 0 22875 0
vsize: 91752
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 2111078 0 0 0 109902 5116 0 0 25 0 1 0 908724037 95211520 22174 4294967295 134512640 134716908 3221224560 3221222208 1075819487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23245 22174 1111 63 0 23182 0
vsize: 92980
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 2149525 0 0 0 110814 5204 0 0 25 0 1 0 908724037 100057088 22429 4294967295 134512640 134716908 3221224560 3221220800 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24428 22429 1111 63 0 24365 0
vsize: 97712
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 2198373 0 0 0 111700 5318 0 0 25 0 1 0 908724037 96993280 22613 4294967295 134512640 134716908 3221224560 3221222624 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23680 22613 1111 63 0 23617 0
vsize: 94720
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 31800
Raw data (stat): 31800 (bsolo_lpr_cuts-) R 31799 7266 7265 0 -1 0 2198373 0 0 0 111700 5318 0 0 25 0 1 0 908724037 96993280 22613 4294967295 134512640 134716908 3221224560 3221222624 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23680 22613 1111 63 0 23617 0
vsize: 0

Child status: 10
Real time (s): 1174.95
CPU time (s): 1175.1
CPU user time (s): 1121.39
CPU system time (s): 53.7088
CPU usage (%): 100.013
Max. virtual memory (Kb): 97712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	269556
#### END VERIFIER DATA ####