PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 13:10:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29534 boxname=wulflinc2 idbench=1318 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a733e9fa1e4e3ac90baf85249f7c3e9a  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0282.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0282.opb
IDLAUNCH: 29534
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        839088 kB
Buffers:         18108 kB
Cached:         156872 kB
SwapCached:       1480 kB
Active:          26556 kB
Inactive:       150452 kB
HighTotal:      131008 kB
HighFree:         5236 kB
LowTotal:       903652 kB
LowFree:        833852 kB
SwapTotal:     2097136 kB
SwapFree:      2094616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4968 kB
Slab:            12824 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 13:30:30 (client local time) WITH STATUS 10 IN 1175.19 SECONDS
stats: 29534 0 1175.19 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.304 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.675
c NEW SOLUTION FOUND: 360272 @ 3.677
c NEW SOLUTION FOUND: 359409 @ 3.683
c NEW SOLUTION FOUND: 345511 @ 3.734
c NEW SOLUTION FOUND: 342861 @ 3.739
c NEW SOLUTION FOUND: 342140 @ 3.796
c NEW SOLUTION FOUND: 329812 @ 4.525
c NEW SOLUTION FOUND: 328871 @ 4.541
c NEW SOLUTION FOUND: 328559 @ 4.605
c NEW SOLUTION FOUND: 296106 @ 5.572
c NEW SOLUTION FOUND: 295477 @ 5.692
c NEW SOLUTION FOUND: 293603 @ 5.829
c NEW SOLUTION FOUND: 289169 @ 6.395
c NEW SOLUTION FOUND: 280436 @ 17.166
c NEW SOLUTION FOUND: 276002 @ 17.37
c NEW SOLUTION FOUND: 270697 @ 28.826
c NEW SOLUTION FOUND: 269556 @ 1151.48
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.14 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.93 0.98 0.94 2/54 28465
Raw data (stat): 28465 (runsolver) R 28464 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910535101 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 10880 0 0 0 961 36 0 0 25 0 1 0 910535101 15355904 3055 4294967295 134512640 134716908 3221224560 3221222780 1074208240 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.0006 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 31480 0 0 0 1905 91 0 0 25 0 1 0 910535101 18755584 3828 4294967295 134512640 134716908 3221224560 3221220720 1074794498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3828 1111 63 0 4516 0
vsize: 18316
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 50557 0 0 0 2855 141 0 0 25 0 1 0 910535101 21319680 4487 4294967295 134512640 134716908 3221224560 3221223008 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5205 4487 1111 63 0 5142 0
vsize: 20820
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 66461 0 0 0 3810 185 0 0 25 0 1 0 910535101 23625728 5073 4294967295 134512640 134716908 3221224560 3221222712 1074205872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5768 5073 1111 63 0 5705 0
vsize: 23072
[startup+50.0016 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 81406 0 0 0 4770 226 0 0 25 0 1 0 910535101 25427968 5471 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6208 5471 1111 63 0 6145 0
vsize: 24832
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 97117 0 0 0 5726 270 0 0 25 0 1 0 910535101 27422720 5961 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6695 5961 1111 63 0 6632 0
vsize: 26780
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 111607 0 0 0 6688 308 0 0 25 0 1 0 910535101 29483008 6460 4294967295 134512640 134716908 3221224560 3221220672 1075895901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7198 6460 1111 63 0 7135 0
vsize: 28792
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 131959 0 0 0 7636 361 0 0 25 0 1 0 910535101 32555008 7172 4294967295 134512640 134716908 3221224560 3221221328 1076083615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7948 7172 1111 63 0 7885 0
vsize: 31792
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 146471 0 0 0 8601 396 0 0 25 0 1 0 910535101 33972224 7556 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8294 7556 1111 63 0 8231 0
vsize: 33176
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 160733 0 0 0 9564 433 0 0 25 0 1 0 910535101 36188160 8108 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8872 8109 1111 63 0 8809 0
vsize: 35340
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 173623 0 0 0 10530 467 0 0 25 0 1 0 910535101 38125568 8523 4294967295 134512640 134716908 3221224560 3221220720 1075095098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9308 8523 1111 63 0 9245 0
vsize: 37232
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 188943 0 0 0 11491 506 0 0 25 0 1 0 910535101 39407616 8899 4294967295 134512640 134716908 3221224560 3221222760 1074206849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9621 8899 1111 63 0 9558 0
vsize: 38484
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 200715 0 0 0 12458 540 0 0 25 0 1 0 910535101 40771584 9221 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9939 9212 1111 63 0 9876 0
vsize: 39816
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 211404 0 0 0 13432 566 0 0 25 0 1 0 910535101 42041344 9490 4294967295 134512640 134716908 3221224560 3221220932 1076117121 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10264 9490 1111 63 0 10201 0
vsize: 41056
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 222394 0 0 0 14404 594 0 0 25 0 1 0 910535101 43077632 9795 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10517 9795 1111 63 0 10454 0
vsize: 42068
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 235871 0 0 0 15372 626 0 0 25 0 1 0 910535101 44511232 10151 4294967295 134512640 134716908 3221224560 3221222528 1075552851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10867 10151 1111 63 0 10804 0
vsize: 43468
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 249249 0 0 0 16336 662 0 0 25 0 1 0 910535101 46399488 10540 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10540 1111 63 0 11265 0
vsize: 45312
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 263137 0 0 0 17302 696 0 0 25 0 1 0 910535101 48283648 11049 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11788 11049 1111 63 0 11725 0
vsize: 47152
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 263337 0 0 0 18301 698 0 0 25 0 1 0 910535101 48807936 11207 4294967295 134512640 134716908 3221224560 3221222656 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11916 11207 1111 63 0 11853 0
vsize: 47664
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 263462 0 0 0 19300 699 0 0 25 0 1 0 910535101 49389568 11332 4294967295 134512640 134716908 3221224560 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12058 11332 1111 63 0 11995 0
vsize: 48232
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 263520 0 0 0 20299 700 0 0 25 0 1 0 910535101 49614848 11390 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12113 11390 1111 63 0 12050 0
vsize: 48452
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 263571 0 0 0 21298 701 0 0 25 0 1 0 910535101 49823744 11441 4294967295 134512640 134716908 3221224560 3221222848 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12164 11441 1111 63 0 12101 0
vsize: 48656
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 264978 0 0 0 22295 705 0 0 25 0 1 0 910535101 53723136 12385 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13116 12385 1111 63 0 13053 0
vsize: 52464
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 267317 0 0 0 23290 710 0 0 25 0 1 0 910535101 59805696 13737 4294967295 134512640 134716908 3221224560 3221220496 1075965250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14601 13737 1111 63 0 14538 0
vsize: 58404
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 270417 0 0 0 24283 717 0 0 25 0 1 0 910535101 50249728 11565 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 270417 0 0 0 25283 717 0 0 25 0 1 0 910535101 50249728 11565 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 270417 0 0 0 26283 717 0 0 25 0 1 0 910535101 50249728 11565 4294967295 134512640 134716908 3221224560 3221223340 134623161 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 270417 0 0 0 27283 717 0 0 25 0 1 0 910535101 50249728 11565 4294967295 134512640 134716908 3221224560 3221223376 134622277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 270417 0 0 0 28283 717 0 0 25 0 1 0 910535101 50249728 11565 4294967295 134512640 134716908 3221224560 3221223352 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12268 11565 1111 63 0 12205 0
vsize: 49072
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 270528 0 0 0 29283 718 0 0 25 0 1 0 910535101 48971776 11253 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11956 11253 1111 63 0 11893 0
vsize: 47824
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 272947 0 0 0 30278 723 0 0 25 0 1 0 910535101 55685120 12508 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12508 1111 63 0 13532 0
vsize: 54380
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 283624 0 0 0 31254 747 0 0 25 0 1 0 910535101 51474432 11780 4294967295 134512640 134716908 3221224560 3221222528 1075961014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12567 11780 1111 63 0 12504 0
vsize: 50268
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 288634 0 0 0 32243 759 0 0 25 0 1 0 910535101 55959552 12420 4294967295 134512640 134716908 3221224560 3221220768 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13662 12420 1111 63 0 13599 0
vsize: 54648
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 299670 0 0 0 33217 785 0 0 25 0 1 0 910535101 48541696 11148 4294967295 134512640 134716908 3221224560 3221222800 1074057667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11851 11148 1111 63 0 11788 0
vsize: 47404
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 309119 0 0 0 34196 806 0 0 25 0 1 0 910535101 48644096 11173 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11876 11173 1111 63 0 11813 0
vsize: 47504
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 330922 0 0 0 35144 858 0 0 25 0 1 0 910535101 49451008 11355 4294967295 134512640 134716908 3221224560 3221222944 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12073 11355 1111 63 0 12010 0
vsize: 48292
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 334249 0 0 0 36138 865 0 0 25 0 1 0 910535101 50847744 11640 4294967295 134512640 134716908 3221224560 3221223280 134622748 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12414 11640 1111 63 0 12351 0
vsize: 49656
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 354257 0 0 0 37090 913 0 0 25 0 1 0 910535101 53129216 11310 4294967295 134512640 134716908 3221224560 3221221604 1074846216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12971 11310 1111 63 0 12908 0
vsize: 51884
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 377691 0 0 0 38035 968 0 0 25 0 1 0 910535101 53604352 11565 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13087 11576 1111 63 0 13024 0
vsize: 52348
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 393502 0 0 0 38997 1006 0 0 25 0 1 0 910535101 51482624 11827 4294967295 134512640 134716908 3221224560 3221223280 134622876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12569 11827 1111 63 0 12506 0
vsize: 50276
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 416049 0 0 0 39944 1059 0 0 25 0 1 0 910535101 50966528 11708 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12443 11708 1111 63 0 12380 0
vsize: 49772
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 431539 0 0 0 40906 1097 0 0 25 0 1 0 910535101 54620160 11865 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13335 11875 1111 63 0 13272 0
vsize: 53340
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 435724 0 0 0 41895 1108 0 0 25 0 1 0 910535101 52154368 12003 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12733 12003 1111 63 0 12670 0
vsize: 50932
[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 435795 0 0 0 42894 1110 0 0 25 0 1 0 910535101 52436992 12074 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12802 12074 1111 63 0 12739 0
vsize: 51208
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 435851 0 0 0 43894 1110 0 0 25 0 1 0 910535101 52654080 12130 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12855 12130 1111 63 0 12792 0
vsize: 51420
[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 436932 0 0 0 44891 1113 0 0 25 0 1 0 910535101 55595008 12842 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13573 12842 1111 63 0 13510 0
vsize: 54292
[startup+470.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 441482 0 0 0 45881 1123 0 0 25 0 1 0 910535101 52817920 12187 4294967295 134512640 134716908 3221224560 3221223352 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12895 12187 1111 63 0 12832 0
vsize: 51580
[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 441482 0 0 0 46882 1123 0 0 25 0 1 0 910535101 52817920 12187 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12895 12187 1111 63 0 12832 0
vsize: 51580
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 441482 0 0 0 47882 1123 0 0 25 0 1 0 910535101 52817920 12187 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12895 12187 1111 63 0 12832 0
vsize: 51580
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 441482 0 0 0 48882 1123 0 0 25 0 1 0 910535101 52817920 12187 4294967295 134512640 134716908 3221224560 3221223364 134622429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12895 12187 1111 63 0 12832 0
vsize: 51580
[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 442012 0 0 0 49880 1125 0 0 25 0 1 0 910535101 53051392 12244 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12952 12244 1111 63 0 12889 0
vsize: 51808
[startup+520.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 445558 0 0 0 50873 1132 0 0 25 0 1 0 910535101 51449856 11853 4294967295 134512640 134716908 3221224560 3221223360 134622438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12561 11853 1111 63 0 12498 0
vsize: 50244
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 476914 0 0 0 51801 1205 0 0 25 0 1 0 910535101 55459840 12135 4294967295 134512640 134716908 3221224560 3221220992 1075118246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13540 12135 1111 63 0 13477 0
vsize: 54160
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 506690 0 0 0 52729 1277 0 0 25 0 1 0 910535101 56328192 12202 4294967295 134512640 134716908 3221224560 3221220832 1074961380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13752 12202 1111 63 0 13689 0
vsize: 55008
[startup+550.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 543159 0 0 0 53644 1362 0 0 25 0 1 0 910535101 53506048 12332 4294967295 134512640 134716908 3221224560 3221221904 1074839039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13299 12333 1111 63 0 13236 0
vsize: 52252
[startup+560.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 550964 0 0 0 54626 1380 0 0 25 0 1 0 910535101 55091200 12704 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13450 12704 1111 63 0 13387 0
vsize: 53800
[startup+570.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 551102 0 0 0 55626 1381 0 0 25 0 1 0 910535101 55283712 12754 4294967295 134512640 134716908 3221224560 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13497 12754 1111 63 0 13434 0
vsize: 53988
[startup+580.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 552085 0 0 0 56623 1383 0 0 25 0 1 0 910535101 57995264 13416 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14159 13416 1111 63 0 14096 0
vsize: 56636
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 556206 0 0 0 57614 1393 0 0 25 0 1 0 910535101 55562240 12822 4294967295 134512640 134716908 3221224560 3221223284 134622827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13565 12822 1111 63 0 13502 0
vsize: 54260
[startup+600.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 556206 0 0 0 58614 1393 0 0 25 0 1 0 910535101 55562240 12822 4294967295 134512640 134716908 3221224560 3221223364 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13565 12822 1111 63 0 13502 0
vsize: 54260
[startup+610.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 556206 0 0 0 59614 1393 0 0 25 0 1 0 910535101 55562240 12822 4294967295 134512640 134716908 3221224560 3221223288 134622844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13565 12822 1111 63 0 13502 0
vsize: 54260
[startup+620.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 556323 0 0 0 60613 1394 0 0 25 0 1 0 910535101 54673408 12605 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13348 12605 1111 63 0 13285 0
vsize: 53392
[startup+630.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 559416 0 0 0 61607 1401 0 0 25 0 1 0 910535101 54808576 12638 4294967295 134512640 134716908 3221224560 3221223356 134536888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13381 12638 1111 63 0 13318 0
vsize: 53524
[startup+640.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 564675 0 0 0 62593 1415 0 0 25 0 1 0 910535101 54161408 12480 4294967295 134512640 134716908 3221224560 3221222808 1074137745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13223 12480 1111 63 0 13160 0
vsize: 52892
[startup+650.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 599682 0 0 0 63512 1497 0 0 25 0 1 0 910535101 55590912 12804 4294967295 134512640 134716908 3221224560 3221222608 1074140578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13572 12804 1111 63 0 13509 0
vsize: 54288
[startup+660.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 637932 0 0 0 64423 1586 0 0 25 0 1 0 910535101 56967168 13142 4294967295 134512640 134716908 3221224560 3221222944 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13908 13142 1111 63 0 13845 0
vsize: 55632
[startup+670.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 652127 0 0 0 65389 1619 0 0 25 0 1 0 910535101 57135104 13183 4294967295 134512640 134716908 3221224560 3221222520 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13949 13183 1111 63 0 13886 0
vsize: 55796
[startup+680.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 690588 0 0 0 66300 1709 0 0 25 0 1 0 910535101 65974272 14518 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16107 14518 1111 63 0 16044 0
vsize: 64428
[startup+690.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 707320 0 0 0 67259 1751 0 0 25 0 1 0 910535101 59559936 13603 4294967295 134512640 134716908 3221224560 3221222520 1074138297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14541 13603 1111 63 0 14478 0
vsize: 58164
[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 737431 0 0 0 68188 1822 0 0 25 0 1 0 910535101 60243968 13770 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14708 13770 1111 63 0 14645 0
vsize: 58832
[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 764592 0 0 0 69126 1884 0 0 25 0 1 0 910535101 61595648 14089 4294967295 134512640 134716908 3221224560 3221222800 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15038 14089 1111 63 0 14975 0
vsize: 60152
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 767439 0 0 0 70118 1891 0 0 25 0 1 0 910535101 61927424 14181 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15119 14181 1111 63 0 15056 0
vsize: 60476
[startup+730.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 769943 0 0 0 71114 1896 0 0 25 0 1 0 910535101 61300736 14028 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 14028 1111 63 0 14903 0
vsize: 59864
[startup+740.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 782986 0 0 0 72082 1928 0 0 25 0 1 0 910535101 61620224 14106 4294967295 134512640 134716908 3221224560 3221223284 134622827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15044 14106 1111 63 0 14981 0
vsize: 60176
[startup+750.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 798791 0 0 0 73045 1966 0 0 25 0 1 0 910535101 61300736 14028 4294967295 134512640 134716908 3221224560 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 14028 1111 63 0 14903 0
vsize: 59864
[startup+760.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 831711 0 0 0 73970 2041 0 0 25 0 1 0 910535101 66035712 14453 4294967295 134512640 134716908 3221224560 3221220788 1075115109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16122 14453 1111 63 0 16059 0
vsize: 64488
[startup+770.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 856561 0 0 0 74911 2099 0 0 25 0 1 0 910535101 62865408 14392 4294967295 134512640 134716908 3221224560 3221222596 1077379572 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15348 14392 1111 63 0 15285 0
vsize: 61392
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 883178 0 0 0 75849 2162 0 0 25 0 1 0 910535101 63422464 14532 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15484 14532 1111 63 0 15421 0
vsize: 61936
[startup+790.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 911437 0 0 0 76780 2231 0 0 25 0 1 0 910535101 63987712 14645 4294967295 134512640 134716908 3221224560 3221222208 1075817768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15622 14645 1111 63 0 15559 0
vsize: 62488
[startup+800.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 934465 0 0 0 77726 2285 0 0 25 0 1 0 910535101 64847872 14866 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15832 14866 1111 63 0 15769 0
vsize: 63328
[startup+810.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 937174 0 0 0 78721 2291 0 0 25 0 1 0 910535101 64598016 14795 4294967295 134512640 134716908 3221224560 3221222608 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15771 14795 1111 63 0 15708 0
vsize: 63084
[startup+820.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 953566 0 0 0 79683 2328 0 0 25 0 1 0 910535101 68161536 14945 4294967295 134512640 134716908 3221224560 3221220896 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16641 14945 1111 63 0 16578 0
vsize: 66564
[startup+830.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 986801 0 0 0 80606 2406 0 0 25 0 1 0 910535101 64782336 14866 4294967295 134512640 134716908 3221224560 3221222912 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15816 14866 1111 63 0 15753 0
vsize: 63264
[startup+840.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1004538 0 0 0 81562 2451 0 0 25 0 1 0 910535101 65126400 14950 4294967295 134512640 134716908 3221224560 3221222680 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15900 14950 1111 63 0 15837 0
vsize: 63600
[startup+850.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1028209 0 0 0 82506 2507 0 0 25 0 1 0 910535101 65998848 15128 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16113 15128 1111 63 0 16050 0
vsize: 64452
[startup+860.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1032403 0 0 0 83496 2517 0 0 25 0 1 0 910535101 65720320 15088 4294967295 134512640 134716908 3221224560 3221222800 1074206892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16045 15088 1111 63 0 15982 0
vsize: 64180
[startup+870.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1065488 0 0 0 84420 2593 0 0 25 0 1 0 910535101 66416640 15249 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16215 15249 1111 63 0 16152 0
vsize: 64860
[startup+880.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1103567 0 0 0 85329 2684 0 0 25 0 1 0 910535101 67186688 15456 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16403 15456 1111 63 0 16340 0
vsize: 65612
[startup+890.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1131936 0 0 0 86263 2751 0 0 25 0 1 0 910535101 67727360 15586 4294967295 134512640 134716908 3221224560 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16535 15586 1111 63 0 16472 0
vsize: 66140
[startup+900.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1161481 0 0 0 87193 2821 0 0 25 0 1 0 910535101 68616192 15807 4294967295 134512640 134716908 3221224560 3221222960 1074118797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16752 15807 1111 63 0 16689 0
vsize: 67008
[startup+910.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1199338 0 0 0 88104 2910 0 0 25 0 1 0 910535101 69279744 15964 4294967295 134512640 134716908 3221224560 3221221836 1077404545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17150 15965 1111 63 0 17087 0
vsize: 67656
[startup+920.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1232042 0 0 0 89028 2986 0 0 25 0 1 0 910535101 73809920 16153 4294967295 134512640 134716908 3221224560 3221220732 1074790003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17549 16151 1111 63 0 17486 0
vsize: 72080
[startup+930.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1271115 0 0 0 89937 3077 0 0 25 0 1 0 910535101 71196672 16449 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17382 16449 1111 63 0 17319 0
vsize: 69528
[startup+940.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1305571 0 0 0 90855 3159 0 0 25 0 1 0 910535101 72142848 16646 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17613 16646 1111 63 0 17550 0
vsize: 70452
[startup+950.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1337735 0 0 0 91777 3238 0 0 25 0 1 0 910535101 72896512 16818 4294967295 134512640 134716908 3221224560 3221222208 1075818361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17797 16818 1111 63 0 17734 0
vsize: 71188
[startup+960.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1362294 0 0 0 92718 3297 0 0 25 0 1 0 910535101 77164544 16909 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18839 16917 1111 63 0 18776 0
vsize: 75356
[startup+970.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1403308 0 0 0 93624 3391 0 0 25 0 1 0 910535101 78254080 17193 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19105 17205 1111 63 0 19042 0
vsize: 76420
[startup+980.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1441733 0 0 0 94534 3481 0 0 25 0 1 0 910535101 79331328 17640 4294967295 134512640 134716908 3221224560 3221220652 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19368 17640 1111 63 0 19305 0
vsize: 77472
[startup+990.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1475907 0 0 0 95453 3563 0 0 25 0 1 0 910535101 79966208 17653 4294967295 134512640 134716908 3221224560 3221220928 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19523 17653 1111 63 0 19460 0
vsize: 78092
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1511793 0 0 0 96369 3647 0 0 25 0 1 0 910535101 76849152 17768 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18762 17768 1111 63 0 18699 0
vsize: 75048
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1551387 0 0 0 97278 3737 0 0 25 0 1 0 910535101 81784832 18256 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19967 18256 1111 63 0 19904 0
vsize: 79868
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1578511 0 0 0 98211 3805 0 0 25 0 1 0 910535101 78254080 18118 4294967295 134512640 134716908 3221224560 3221223088 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19105 18118 1111 63 0 19042 0
vsize: 76420
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1612909 0 0 0 99128 3889 0 0 25 0 1 0 910535101 79409152 18402 4294967295 134512640 134716908 3221224560 3221222776 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19387 18402 1111 63 0 19324 0
vsize: 77548
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1646375 0 0 0 100051 3966 0 0 25 0 1 0 910535101 84467712 18914 4294967295 134512640 134716908 3221224560 3221221104 1075088581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20622 18914 1111 63 0 20559 0
vsize: 82488
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1690065 0 0 0 100946 4071 0 0 25 0 1 0 910535101 85868544 19266 4294967295 134512640 134716908 3221224560 3221220720 1075093818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20964 19266 1111 63 0 20901 0
vsize: 83856
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1727707 0 0 0 101857 4159 0 0 25 0 1 0 910535101 87035904 19499 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21249 19507 1111 63 0 21186 0
vsize: 84996
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1766597 0 0 0 102766 4251 0 0 25 0 1 0 910535101 84262912 19551 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20572 19551 1111 63 0 20509 0
vsize: 82288
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1809616 0 0 0 103666 4352 0 0 25 0 1 0 910535101 85766144 19883 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20939 19883 1111 63 0 20876 0
vsize: 83756
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1854632 0 0 0 104557 4461 0 0 25 0 1 0 910535101 91045888 20430 4294967295 134512640 134716908 3221224560 3221220720 1075091276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22228 20430 1111 63 0 22165 0
vsize: 88912
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1894484 0 0 0 105463 4554 0 0 25 0 1 0 910535101 88494080 20567 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21605 20567 1111 63 0 21542 0
vsize: 86420
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1937127 0 0 0 106361 4657 0 0 25 0 1 0 910535101 93749248 20969 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22888 20981 1111 63 0 22825 0
vsize: 91552
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 1983291 0 0 0 107255 4763 0 0 25 0 1 0 910535101 91144192 21229 4294967295 134512640 134716908 3221224560 3221222848 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22252 21229 1111 63 0 22189 0
vsize: 89008
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 2031856 0 0 0 108139 4879 0 0 25 0 1 0 910535101 93118464 21657 4294967295 134512640 134716908 3221224560 3221222432 1077377142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22734 21657 1111 63 0 22671 0
vsize: 90936
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 2080630 0 0 0 109029 4990 0 0 25 0 1 0 910535101 94273536 21940 4294967295 134512640 134716908 3221224560 3221223128 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23016 21940 1111 63 0 22953 0
vsize: 92064
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 2121048 0 0 0 109935 5083 0 0 25 0 1 0 910535101 99250176 22275 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24231 22288 1111 63 0 24168 0
vsize: 96924
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 2161200 0 0 0 110841 5178 0 0 25 0 1 0 910535101 96280576 22439 4294967295 134512640 134716908 3221224560 3221222840 1074138309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23506 22439 1111 63 0 23443 0
vsize: 94024
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 2210693 0 0 0 111721 5297 0 0 25 0 1 0 910535101 97177600 22655 4294967295 134512640 134716908 3221224560 3221222944 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23725 22655 1111 63 0 23662 0
vsize: 94900
[startup+1175.04 s]
Raw data (loadavg): 0.99 0.98 0.94 1/53 28465
Raw data (stat): 28465 (bsolo_lpr_cuts-) R 28464 31399 31398 0 -1 0 2210693 0 0 0 111721 5297 0 0 25 0 1 0 910535101 97177600 22655 4294967295 134512640 134716908 3221224560 3221222944 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23725 22655 1111 63 0 23662 0
vsize: 0

Child status: 10
Real time (s): 1175.04
CPU time (s): 1175.19
CPU user time (s): 1121.74
CPU system time (s): 53.4509
CPU usage (%): 100.013
Max. virtual memory (Kb): 96924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	269556
#### END VERIFIER DATA ####