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-p0201.opb
MD5SUM	8c361d02d5162bb0b133ab6ed38f9294
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	201
Total number of constraints	334
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	227
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	1
Maximum length of a constraint	67
Trace number 41216

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 08:02:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29271 boxname=wulflinc2 idbench=1055 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 29271
/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:        789108 kB
Buffers:          5276 kB
Cached:         219548 kB
SwapCached:       1480 kB
Active:          25180 kB
Inactive:       201728 kB
HighTotal:      131008 kB
HighFree:         8008 kB
LowTotal:       903652 kB
LowFree:        781100 kB
SwapTotal:     2097136 kB
SwapFree:      2094616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4960 kB
Slab:            12824 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 08:21:41 (client local time) WITH STATUS 10 IN 1176.51 SECONDS
stats: 29271 0 1176.51 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 201 variables and 133 constraints.
c After prepocess the problem consists of 195 variables and 289 constraints.
c preprocess terminated 0.357 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.175
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2418 @ 7.249
c NEW SOLUTION FOUND: 2416 @ 7.433
c NEW SOLUTION FOUND: 2399 @ 7.628
c NEW SOLUTION FOUND: 2396 @ 7.797
c NEW SOLUTION FOUND: 2395 @ 7.889
c NEW SOLUTION FOUND: 2383 @ 8.033
c NEW SOLUTION FOUND: 2373 @ 8.198
c NEW SOLUTION FOUND: 2363 @ 8.279
c NEW SOLUTION FOUND: 2351 @ 8.512
c NEW SOLUTION FOUND: 2188 @ 8.835
c NEW SOLUTION FOUND: 2176 @ 8.896
c NEW SOLUTION FOUND: 2097 @ 18.641
c NEW SOLUTION FOUND: 2083 @ 21.356
c NEW SOLUTION FOUND: 2013 @ 21.402
c NEW SOLUTION FOUND: 2003 @ 22.921
c NEW SOLUTION FOUND: 1933 @ 23.65
c NEW SOLUTION FOUND: 1890 @ 28.221
c NEW SOLUTION FOUND: 1888 @ 28.855
c NEW SOLUTION FOUND: 1860 @ 30.351
c NEW SOLUTION FOUND: 1858 @ 32.384
c NEW SOLUTION FOUND: 1838 @ 32.829
c NEW SOLUTION FOUND: 1831 @ 34.197
c NEW SOLUTION FOUND: 1816 @ 35.044
c NEW SOLUTION FOUND: 1809 @ 52.298
c NEW SOLUTION FOUND: 1806 @ 52.681
c NEW SOLUTION FOUND: 1804 @ 53.888
c NEW SOLUTION FOUND: 1759 @ 80.762
c NEW SOLUTION FOUND: 1754 @ 85.372
c NEW SOLUTION FOUND: 1749 @ 92.538
c NEW SOLUTION FOUND: 1743 @ 104.746
c NEW SOLUTION FOUND: 1731 @ 121.228
c NEW SOLUTION FOUND: 1723 @ 151.137
c NEW SOLUTION FOUND: 1700 @ 154.94
c NEW SOLUTION FOUND: 1688 @ 214.321
c NEW SOLUTION FOUND: 1655 @ 219.234
c NEW SOLUTION FOUND: 1640 @ 317.084
c NEW SOLUTION FOUND: 1635 @ 379.311
c NEW SOLUTION FOUND: 1625 @ 381.779
c NEW SOLUTION FOUND: 1615 @ 385.748
c NEW SOLUTION FOUND: 1599 @ 386.683
c NEW SOLUTION FOUND: 1595 @ 494.994
c NEW SOLUTION FOUND: 1589 @ 498.432
c NEW SOLUTION FOUND: 1561 @ 515.085
c NEW SOLUTION FOUND: 1559 @ 529.686
c NEW SOLUTION FOUND: 1557 @ 887.145
c NEW SOLUTION FOUND: 1545 @ 904.24
c NEW SOLUTION FOUND: 1535 @ 910.295
c NEW SOLUTION FOUND: 1533 @ 986.122
c NEW SOLUTION FOUND: 1523 @ 1097.47
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 
c Exit Code: 10
c Total time: 1176.49 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.73 0.92 0.90 1/54 23158
Raw data (stat): 23158 (runsolver) R 23157 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908681841 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.0008 s]
Raw data (loadavg): 0.77 0.92 0.90 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 6880 0 0 0 978 19 0 0 25 0 1 0 908681841 11788288 2142 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2878 2142 1111 63 0 2815 0
vsize: 11512
[startup+20.0057 s]
Raw data (loadavg): 0.81 0.92 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 17380 0 0 0 1948 49 0 0 25 0 1 0 908681841 13709312 2608 4294967295 134512640 134716908 3221224560 3221222764 1077404744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3347 2608 1111 63 0 3284 0
vsize: 13388
[startup+30.0088 s]
Raw data (loadavg): 0.84 0.93 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 26341 0 0 0 2923 74 0 0 25 0 1 0 908681841 14721024 2893 4294967295 134512640 134716908 3221224560 3221223208 134675437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2893 1111 63 0 3531 0
vsize: 14376
[startup+40.0086 s]
Raw data (loadavg): 0.86 0.93 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 33423 0 0 0 3908 89 0 0 25 0 1 0 908681841 14741504 2920 4294967295 134512640 134716908 3221224560 3221222760 1074138240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3599 2920 1111 63 0 3536 0
vsize: 14396
[startup+50.0093 s]
Raw data (loadavg): 0.88 0.93 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 41877 0 0 0 4888 109 0 0 25 0 1 0 908681841 15577088 3107 4294967295 134512640 134716908 3221224560 3221222560 1074918280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3803 3107 1111 63 0 3740 0
vsize: 15212
[startup+60.0087 s]
Raw data (loadavg): 0.90 0.93 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 50595 0 0 0 5864 133 0 0 25 0 1 0 908681841 16289792 3262 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3977 3262 1111 63 0 3914 0
vsize: 15908
[startup+70.0088 s]
Raw data (loadavg): 0.91 0.93 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 58598 0 0 0 6841 156 0 0 25 0 1 0 908681841 16732160 3406 4294967295 134512640 134716908 3221224560 3221222940 1074143072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4085 3406 1111 63 0 4022 0
vsize: 16340
[startup+80.0094 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 67003 0 0 0 7820 177 0 0 25 0 1 0 908681841 18141184 3679 4294967295 134512640 134716908 3221224560 3221220672 1075895905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4429 3679 1111 63 0 4366 0
vsize: 17716
[startup+90.0088 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 74372 0 0 0 8801 196 0 0 25 0 1 0 908681841 18751488 3828 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3828 1111 63 0 4515 0
vsize: 18312
[startup+100.01 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 81360 0 0 0 9786 212 0 0 25 0 1 0 908681841 19312640 3974 4294967295 134512640 134716908 3221224560 3221220560 1075965240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4715 3974 1111 63 0 4652 0
vsize: 18860
[startup+110.011 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 88547 0 0 0 10768 229 0 0 25 0 1 0 908681841 19701760 4106 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4810 4106 1111 63 0 4747 0
vsize: 19240
[startup+120.011 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 96360 0 0 0 11748 250 0 0 25 0 1 0 908681841 20537344 4259 4294967295 134512640 134716908 3221224560 3221220944 1075133417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5014 4259 1111 63 0 4951 0
vsize: 20056
[startup+130.011 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 103705 0 0 0 12728 270 0 0 25 0 1 0 908681841 21045248 4379 4294967295 134512640 134716908 3221224560 3221220704 1074970479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5138 4379 1111 63 0 5075 0
vsize: 20552
[startup+140.011 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 111655 0 0 0 13710 288 0 0 25 0 1 0 908681841 20922368 4436 4294967295 134512640 134716908 3221224560 3221222512 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5108 4436 1111 63 0 5045 0
vsize: 20432
[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 121020 0 0 0 14687 311 0 0 25 0 1 0 908681841 21979136 4680 4294967295 134512640 134716908 3221224560 3221222976 1074116233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5366 4680 1111 63 0 5303 0
vsize: 21464
[startup+160.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 129760 0 0 0 15666 333 0 0 25 0 1 0 908681841 23130112 4919 4294967295 134512640 134716908 3221224560 3221220896 1075114277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5647 4919 1111 63 0 5584 0
vsize: 22588
[startup+170.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 136889 0 0 0 16650 349 0 0 25 0 1 0 908681841 23080960 4951 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5635 4951 1111 63 0 5572 0
vsize: 22540
[startup+180.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 143850 0 0 0 17633 366 0 0 25 0 1 0 908681841 24100864 5159 4294967295 134512640 134716908 3221224560 3221221504 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5884 5159 1111 63 0 5821 0
vsize: 23536
[startup+190.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 150693 0 0 0 18615 384 0 0 25 0 1 0 908681841 24051712 5200 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5872 5200 1111 63 0 5809 0
vsize: 23488
[startup+200.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 157228 0 0 0 19598 401 0 0 25 0 1 0 908681841 24518656 5314 4294967295 134512640 134716908 3221224560 3221222020 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5986 5314 1111 63 0 5923 0
vsize: 23944
[startup+210.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 164407 0 0 0 20581 419 0 0 25 0 1 0 908681841 25096192 5445 4294967295 134512640 134716908 3221224560 3221223200 134651171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6127 5445 1111 63 0 6064 0
vsize: 24508
[startup+220.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 171424 0 0 0 21563 437 0 0 25 0 1 0 908681841 26042368 5653 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 5653 1111 63 0 6295 0
vsize: 25432
[startup+230.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 177055 0 0 0 22550 450 0 0 25 0 1 0 908681841 26509312 5718 4294967295 134512640 134716908 3221224560 3221220800 1075115739 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6472 5718 1111 63 0 6409 0
vsize: 25888
[startup+240.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 183650 0 0 0 23535 466 0 0 25 0 1 0 908681841 26714112 5795 4294967295 134512640 134716908 3221224560 3221221072 1075084528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6522 5795 1111 63 0 6459 0
vsize: 26088
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23158
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 190519 0 0 0 24518 483 0 0 25 0 1 0 908681841 26931200 5843 4294967295 134512640 134716908 3221224560 3221220928 1075894549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6575 5843 1111 63 0 6512 0
vsize: 26300
[startup+260.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 198618 0 0 0 25499 502 0 0 25 0 1 0 908681841 26308608 5751 4294967295 134512640 134716908 3221224560 3221222480 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6423 5751 1111 63 0 6360 0
vsize: 25692
[startup+270.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 205067 0 0 0 26482 519 0 0 25 0 1 0 908681841 26353664 5762 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6434 5762 1111 63 0 6371 0
vsize: 25736
[startup+280.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 211425 0 0 0 27465 536 0 0 25 0 1 0 908681841 27029504 5862 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6599 5862 1111 63 0 6536 0
vsize: 26396
[startup+290.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 217863 0 0 0 28453 548 0 0 25 0 1 0 908681841 26402816 5774 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6446 5774 1111 63 0 6383 0
vsize: 25784
[startup+300.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 224529 0 0 0 29437 564 0 0 25 0 1 0 908681841 26402816 5774 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6446 5774 1111 63 0 6383 0
vsize: 25784
[startup+310.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 230526 0 0 0 30424 578 0 0 25 0 1 0 908681841 26562560 5808 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6469 5797 1111 63 0 6406 0
vsize: 25940
[startup+320.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 237624 0 0 0 31407 594 0 0 25 0 1 0 908681841 27369472 5943 4294967295 134512640 134716908 3221224560 3221220832 1074961396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6682 5943 1111 63 0 6619 0
vsize: 26728
[startup+330.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 243724 0 0 0 32392 609 0 0 25 0 1 0 908681841 27381760 5964 4294967295 134512640 134716908 3221224560 3221222940 1074152822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6685 5964 1111 63 0 6622 0
vsize: 26740
[startup+340.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 251050 0 0 0 33377 624 0 0 25 0 1 0 908681841 27590656 6051 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6736 6051 1111 63 0 6673 0
vsize: 26944
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 257511 0 0 0 34361 640 0 0 25 0 1 0 908681841 27938816 6101 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6821 6101 1111 63 0 6758 0
vsize: 27284
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 264602 0 0 0 35344 658 0 0 25 0 1 0 908681841 28372992 6226 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6927 6226 1111 63 0 6864 0
vsize: 27708
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 271142 0 0 0 36326 675 0 0 25 0 1 0 908681841 28614656 6306 4294967295 134512640 134716908 3221224560 3221222560 1074918938 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6986 6306 1111 63 0 6923 0
vsize: 27944
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 279606 0 0 0 37306 696 0 0 25 0 1 0 908681841 29589504 6498 4294967295 134512640 134716908 3221224560 3221220832 1074960771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7224 6498 1111 63 0 7161 0
vsize: 28896
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 287602 0 0 0 38284 718 0 0 25 0 1 0 908681841 29618176 6529 4294967295 134512640 134716908 3221224560 3221222912 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7231 6529 1111 63 0 7168 0
vsize: 28924
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 294944 0 0 0 39267 735 0 0 25 0 1 0 908681841 30437376 6712 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6712 1111 63 0 7368 0
vsize: 29724
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 301151 0 0 0 40253 749 0 0 25 0 1 0 908681841 29659136 6569 4294967295 134512640 134716908 3221224560 3221222744 134543179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7241 6569 1111 63 0 7178 0
vsize: 28964
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 309377 0 0 0 41232 770 0 0 25 0 1 0 908681841 29995008 6651 4294967295 134512640 134716908 3221224560 3221222944 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7323 6651 1111 63 0 7260 0
vsize: 29292
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 316089 0 0 0 42216 787 0 0 25 0 1 0 908681841 30494720 6729 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7445 6729 1111 63 0 7382 0
vsize: 29780
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 323531 0 0 0 43198 804 0 0 25 0 1 0 908681841 30593024 6797 4294967295 134512640 134716908 3221224560 3221222960 1074118797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7469 6797 1111 63 0 7406 0
vsize: 29876
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 330680 0 0 0 44182 821 0 0 25 0 1 0 908681841 31657984 6931 4294967295 134512640 134716908 3221224560 3221221600 1075971395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7729 6937 1111 63 0 7666 0
vsize: 30916
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 337361 0 0 0 45165 838 0 0 25 0 1 0 908681841 31907840 7015 4294967295 134512640 134716908 3221224560 3221221216 1075966483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7790 7015 1111 63 0 7727 0
vsize: 31160
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 344212 0 0 0 46148 856 0 0 25 0 1 0 908681841 31674368 7061 4294967295 134512640 134716908 3221224560 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7733 7061 1111 63 0 7670 0
vsize: 30932
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 351780 0 0 0 47129 874 0 0 25 0 1 0 908681841 32432128 7205 4294967295 134512640 134716908 3221224560 3221222896 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7918 7205 1111 63 0 7855 0
vsize: 31672
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 358655 0 0 0 48113 891 0 0 25 0 1 0 908681841 32456704 7221 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7924 7221 1111 63 0 7861 0
vsize: 31696
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 366299 0 0 0 49097 907 0 0 25 0 1 0 908681841 32673792 7305 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7305 1111 63 0 7914 0
vsize: 31908
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 375090 0 0 0 50077 927 0 0 25 0 1 0 908681841 33370112 7368 4294967295 134512640 134716908 3221224560 3221221600 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8147 7374 1111 63 0 8084 0
vsize: 32588
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 381836 0 0 0 51060 944 0 0 25 0 1 0 908681841 33906688 7524 4294967295 134512640 134716908 3221224560 3221221160 1075850796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8278 7524 1111 63 0 8215 0
vsize: 33112
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 388969 0 0 0 52042 962 0 0 25 0 1 0 908681841 34078720 7532 4294967295 134512640 134716908 3221224560 3221221680 1074834623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8320 7532 1111 63 0 8257 0
vsize: 33280
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 396200 0 0 0 53024 980 0 0 25 0 1 0 908681841 33972224 7613 4294967295 134512640 134716908 3221224560 3221222288 1075828565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8294 7613 1111 63 0 8231 0
vsize: 33176
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 402224 0 0 0 54009 995 0 0 25 0 1 0 908681841 34783232 7754 4294967295 134512640 134716908 3221224560 3221220704 1074968614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8492 7754 1111 63 0 8429 0
vsize: 33968
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 408548 0 0 0 54993 1012 0 0 25 0 1 0 908681841 36065280 8103 4294967295 134512640 134716908 3221224560 3221220616 1074789806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8805 8103 1111 63 0 8742 0
vsize: 35220
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 415314 0 0 0 55978 1027 0 0 25 0 1 0 908681841 34942976 7844 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8531 7844 1111 63 0 8468 0
vsize: 34124
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 421746 0 0 0 56961 1044 0 0 25 0 1 0 908681841 35160064 7881 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8584 7881 1111 63 0 8521 0
vsize: 34336
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 428372 0 0 0 57947 1058 0 0 25 0 1 0 908681841 35250176 7908 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8606 7908 1111 63 0 8543 0
vsize: 34424
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 436108 0 0 0 58930 1075 0 0 25 0 1 0 908681841 35311616 7949 4294967295 134512640 134716908 3221224560 3221223376 134622140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8621 7949 1111 63 0 8558 0
vsize: 34484
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 440469 0 0 0 59918 1087 0 0 25 0 1 0 908681841 35627008 8026 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8698 8026 1111 63 0 8635 0
vsize: 34792
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 445852 0 0 0 60905 1100 0 0 25 0 1 0 908681841 35627008 8026 4294967295 134512640 134716908 3221224560 3221222624 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8698 8026 1111 63 0 8635 0
vsize: 34792
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 452011 0 0 0 61890 1115 0 0 25 0 1 0 908681841 36724736 8272 4294967295 134512640 134716908 3221224560 3221220720 1075095101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8966 8272 1111 63 0 8903 0
vsize: 35864
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 458739 0 0 0 62876 1130 0 0 25 0 1 0 908681841 35893248 8091 4294967295 134512640 134716908 3221224560 3221221712 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8763 8091 1111 63 0 8700 0
vsize: 35052
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 466827 0 0 0 63858 1148 0 0 25 0 1 0 908681841 36335616 8150 4294967295 134512640 134716908 3221224560 3221222944 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8871 8150 1111 63 0 8808 0
vsize: 35484
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 473300 0 0 0 64841 1166 0 0 25 0 1 0 908681841 36593664 8254 4294967295 134512640 134716908 3221224560 3221222208 1075818295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8934 8254 1111 63 0 8871 0
vsize: 35736
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 479562 0 0 0 65827 1179 0 0 25 0 1 0 908681841 37711872 8458 4294967295 134512640 134716908 3221224560 3221220492 1074788177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9207 8458 1111 63 0 9144 0
vsize: 36828
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 485555 0 0 0 66812 1195 0 0 25 0 1 0 908681841 36839424 8322 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8994 8322 1111 63 0 8931 0
vsize: 35976
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 491869 0 0 0 67795 1212 0 0 25 0 1 0 908681841 37199872 8379 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8379 1111 63 0 9019 0
vsize: 36328
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 498993 0 0 0 68779 1228 0 0 25 0 1 0 908681841 37834752 8506 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9237 8506 1111 63 0 9174 0
vsize: 36948
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 505020 0 0 0 69764 1244 0 0 25 0 1 0 908681841 38490112 8697 4294967295 134512640 134716908 3221224560 3221220572 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9397 8697 1111 63 0 9334 0
vsize: 37588
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 511177 0 0 0 70749 1258 0 0 25 0 1 0 908681841 38178816 8642 4294967295 134512640 134716908 3221224560 3221221752 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9382 8642 1111 63 0 9319 0
vsize: 37284
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 518538 0 0 0 71732 1276 0 0 25 0 1 0 908681841 38359040 8667 4294967295 134512640 134716908 3221224560 3221222528 1075961074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9365 8667 1111 63 0 9302 0
vsize: 37460
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 525262 0 0 0 72716 1292 0 0 25 0 1 0 908681841 39526400 8937 4294967295 134512640 134716908 3221224560 3221221160 1075850790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9650 8937 1111 63 0 9587 0
vsize: 38600
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 532678 0 0 0 73700 1308 0 0 25 0 1 0 908681841 39510016 8906 4294967295 134512640 134716908 3221224560 3221220832 1074961353 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9646 8906 1111 63 0 9583 0
vsize: 38584
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 539608 0 0 0 74685 1323 0 0 25 0 1 0 908681841 39735296 8964 4294967295 134512640 134716908 3221224560 3221220688 1075561201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9701 8964 1111 63 0 9638 0
vsize: 38804
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 547300 0 0 0 75666 1343 0 0 25 0 1 0 908681841 40267776 9106 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9831 9106 1111 63 0 9768 0
vsize: 39324
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 554416 0 0 0 76647 1361 0 0 25 0 1 0 908681841 40431616 9100 4294967295 134512640 134716908 3221224560 3221220928 1075894549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9871 9100 1111 63 0 9808 0
vsize: 39484
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 561940 0 0 0 77628 1381 0 0 25 0 1 0 908681841 40804352 9233 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9962 9233 1111 63 0 9899 0
vsize: 39848
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 569072 0 0 0 78608 1401 0 0 25 0 1 0 908681841 41033728 9234 4294967295 134512640 134716908 3221224560 3221221600 1075971395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10018 9239 1111 63 0 9955 0
vsize: 40072
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 575915 0 0 0 79590 1419 0 0 25 0 1 0 908681841 40751104 9268 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9949 9268 1111 63 0 9886 0
vsize: 39796
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 583234 0 0 0 80573 1436 0 0 25 0 1 0 908681841 41623552 9383 4294967295 134512640 134716908 3221224560 3221221632 1074867334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10162 9383 1111 63 0 10099 0
vsize: 40648
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 590225 0 0 0 81556 1454 0 0 25 0 1 0 908681841 41099264 9362 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10034 9362 1111 63 0 9971 0
vsize: 40136
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 597626 0 0 0 82539 1471 0 0 25 0 1 0 908681841 41725952 9510 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10187 9510 1111 63 0 10124 0
vsize: 40748
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 604779 0 0 0 83521 1489 0 0 25 0 1 0 908681841 42209280 9592 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10305 9592 1111 63 0 10242 0
vsize: 41220
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 611783 0 0 0 84504 1506 0 0 25 0 1 0 908681841 42573824 9657 4294967295 134512640 134716908 3221224560 3221222560 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10394 9657 1111 63 0 10331 0
vsize: 41576
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 619265 0 0 0 85488 1522 0 0 25 0 1 0 908681841 42590208 9690 4294967295 134512640 134716908 3221224560 3221222520 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10398 9694 1111 63 0 10335 0
vsize: 41592
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 627029 0 0 0 86467 1543 0 0 25 0 1 0 908681841 42500096 9662 4294967295 134512640 134716908 3221224560 3221222896 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10376 9662 1111 63 0 10313 0
vsize: 41504
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 634497 0 0 0 87448 1563 0 0 25 0 1 0 908681841 42369024 9672 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10344 9672 1111 63 0 10281 0
vsize: 41376
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 640441 0 0 0 88434 1577 0 0 25 0 1 0 908681841 42700800 9753 4294967295 134512640 134716908 3221224560 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10425 9753 1111 63 0 10362 0
vsize: 41700
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 647707 0 0 0 89418 1592 0 0 25 0 1 0 908681841 44105728 10021 4294967295 134512640 134716908 3221224560 3221220572 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10768 10021 1111 63 0 10705 0
vsize: 43072
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 654707 0 0 0 90402 1608 0 0 25 0 1 0 908681841 43270144 9884 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 9884 1111 63 0 10501 0
vsize: 42256
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 662336 0 0 0 91385 1626 0 0 25 0 1 0 908681841 43253760 9856 4294967295 134512640 134716908 3221224560 3221221664 1074139054 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10560 9856 1111 63 0 10497 0
vsize: 42240
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 668679 0 0 0 92370 1641 0 0 25 0 1 0 908681841 44498944 10103 4294967295 134512640 134716908 3221224560 3221220832 1074960837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10864 10103 1111 63 0 10801 0
vsize: 43456
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 674616 0 0 0 93358 1654 0 0 25 0 1 0 908681841 43597824 9967 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10644 9967 1111 63 0 10581 0
vsize: 42576
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 680920 0 0 0 94344 1668 0 0 25 0 1 0 908681841 43499520 9948 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10620 9948 1111 63 0 10557 0
vsize: 42480
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 687689 0 0 0 95328 1684 0 0 25 0 1 0 908681841 44228608 10090 4294967295 134512640 134716908 3221224560 3221220720 1075094854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10798 10090 1111 63 0 10735 0
vsize: 43192
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 695845 0 0 0 96311 1702 0 0 25 0 1 0 908681841 44048384 10069 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10754 10069 1111 63 0 10691 0
vsize: 43016
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 703614 0 0 0 97294 1719 0 0 25 0 1 0 908681841 43622400 9946 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10650 9946 1111 63 0 10587 0
vsize: 42600
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 710210 0 0 0 98280 1733 0 0 25 0 1 0 908681841 44109824 10066 4294967295 134512640 134716908 3221224560 3221222208 1075818272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10769 10066 1111 63 0 10706 0
vsize: 43076
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 717306 0 0 0 99263 1750 0 0 25 0 1 0 908681841 45096960 10271 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11010 10271 1111 63 0 10947 0
vsize: 44040
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 724174 0 0 0 100249 1765 0 0 25 0 1 0 908681841 44576768 10179 4294967295 134512640 134716908 3221224560 3221222560 1074916795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10883 10179 1111 63 0 10820 0
vsize: 43532
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 731724 0 0 0 101234 1780 0 0 25 0 1 0 908681841 45084672 10335 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11007 10335 1111 63 0 10944 0
vsize: 44028
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 738732 0 0 0 102218 1796 0 0 25 0 1 0 908681841 45907968 10400 4294967295 134512640 134716908 3221224560 3221220928 1075894549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11208 10400 1111 63 0 11145 0
vsize: 44832
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 745065 0 0 0 103203 1811 0 0 25 0 1 0 908681841 44580864 10212 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10884 10212 1111 63 0 10821 0
vsize: 43536
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 751387 0 0 0 104189 1826 0 0 25 0 1 0 908681841 44978176 10277 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10981 10277 1111 63 0 10918 0
vsize: 43924
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 757807 0 0 0 105174 1840 0 0 25 0 1 0 908681841 45182976 10344 4294967295 134512640 134716908 3221224560 3221222880 1074138386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11031 10344 1111 63 0 10968 0
vsize: 44124
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 765732 0 0 0 106156 1858 0 0 25 0 1 0 908681841 46452736 10597 4294967295 134512640 134716908 3221224560 3221220592 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11341 10597 1111 63 0 11278 0
vsize: 45364
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 774753 0 0 0 107138 1876 0 0 25 0 1 0 908681841 46665728 10689 4294967295 134512640 134716908 3221224560 3221220800 1075115750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11393 10689 1111 63 0 11330 0
vsize: 45572
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 781688 0 0 0 108121 1894 0 0 25 0 1 0 908681841 45723648 10487 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11163 10487 1111 63 0 11100 0
vsize: 44652
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 788944 0 0 0 109104 1911 0 0 25 0 1 0 908681841 45490176 10434 4294967295 134512640 134716908 3221224560 3221222944 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11106 10434 1111 63 0 11043 0
vsize: 44424
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 796367 0 0 0 110086 1929 0 0 25 0 1 0 908681841 45625344 10467 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11139 10467 1111 63 0 11076 0
vsize: 44556
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 803979 0 0 0 111067 1949 0 0 25 0 1 0 908681841 47153152 10745 4294967295 134512640 134716908 3221224560 3221220588 1074788177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11512 10745 1111 63 0 11449 0
vsize: 46048
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 811440 0 0 0 112050 1965 0 0 25 0 1 0 908681841 46809088 10651 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11428 10651 1111 63 0 11365 0
vsize: 45712
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 818559 0 0 0 113033 1982 0 0 25 0 1 0 908681841 46403584 10644 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11329 10644 1111 63 0 11266 0
vsize: 45316
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 827534 0 0 0 114012 2004 0 0 25 0 1 0 908681841 45916160 10538 4294967295 134512640 134716908 3221224560 3221222432 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11210 10538 1111 63 0 11147 0
vsize: 44840
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 836245 0 0 0 114994 2023 0 0 25 0 1 0 908681841 47390720 10731 4294967295 134512640 134716908 3221224560 3221221092 1075863638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11570 10735 1111 63 0 11507 0
vsize: 46280
[startup+1176.38 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 23160
Raw data (stat): 23158 (bsolo_lpr_cuts-) R 23157 31399 31398 0 -1 0 836245 0 0 0 114994 2023 0 0 25 0 1 0 908681841 47390720 10731 4294967295 134512640 134716908 3221224560 3221221092 1075863638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11570 10735 1111 63 0 11507 0
vsize: 0

Child status: 10
Real time (s): 1176.38
CPU time (s): 1176.51
CPU user time (s): 1156.14
CPU system time (s): 20.3679
CPU usage (%): 100.011
Max. virtual memory (Kb): 46280
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####