PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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.02284
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 41589

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        827976 kB
Buffers:          5484 kB
Cached:         181924 kB
SwapCached:        680 kB
Active:          31496 kB
Inactive:       157924 kB
HighTotal:      131008 kB
HighFree:         8820 kB
LowTotal:       903652 kB
LowFree:        819156 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            11688 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:52:58 (client local time) WITH STATUS 10 IN 1176.51 SECONDS
stats: 29655 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.355 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.237
c NEW SOLUTION FOUND: 2416 @ 7.419
c NEW SOLUTION FOUND: 2399 @ 7.613
c NEW SOLUTION FOUND: 2396 @ 7.78
c NEW SOLUTION FOUND: 2395 @ 7.871
c NEW SOLUTION FOUND: 2383 @ 8.012
c NEW SOLUTION FOUND: 2373 @ 8.176
c NEW SOLUTION FOUND: 2363 @ 8.255
c NEW SOLUTION FOUND: 2351 @ 8.486
c NEW SOLUTION FOUND: 2188 @ 8.805
c NEW SOLUTION FOUND: 2176 @ 8.865
c NEW SOLUTION FOUND: 2097 @ 18.683
c NEW SOLUTION FOUND: 2083 @ 21.346
c NEW SOLUTION FOUND: 2013 @ 21.391
c NEW SOLUTION FOUND: 2003 @ 22.884
c NEW SOLUTION FOUND: 1933 @ 23.602
c NEW SOLUTION FOUND: 1890 @ 28.168
c NEW SOLUTION FOUND: 1888 @ 28.803
c NEW SOLUTION FOUND: 1860 @ 30.308
c NEW SOLUTION FOUND: 1858 @ 32.354
c NEW SOLUTION FOUND: 1838 @ 32.797
c NEW SOLUTION FOUND: 1831 @ 34.14
c NEW SOLUTION FOUND: 1816 @ 34.972
c NEW SOLUTION FOUND: 1809 @ 52.254
c NEW SOLUTION FOUND: 1806 @ 52.639
c NEW SOLUTION FOUND: 1804 @ 53.852
c NEW SOLUTION FOUND: 1759 @ 81.08
c NEW SOLUTION FOUND: 1754 @ 85.78
c NEW SOLUTION FOUND: 1749 @ 93.041
c NEW SOLUTION FOUND: 1743 @ 105.434
c NEW SOLUTION FOUND: 1731 @ 122.262
c NEW SOLUTION FOUND: 1723 @ 152.664
c NEW SOLUTION FOUND: 1700 @ 156.538
c NEW SOLUTION FOUND: 1688 @ 215.613
c NEW SOLUTION FOUND: 1655 @ 220.326
c NEW SOLUTION FOUND: 1640 @ 315.259
c NEW SOLUTION FOUND: 1635 @ 377.323
c NEW SOLUTION FOUND: 1625 @ 379.819
c NEW SOLUTION FOUND: 1615 @ 383.832
c NEW SOLUTION FOUND: 1599 @ 384.775
c NEW SOLUTION FOUND: 1595 @ 494.301
c NEW SOLUTION FOUND: 1589 @ 497.737
c NEW SOLUTION FOUND: 1561 @ 514.508
c NEW SOLUTION FOUND: 1559 @ 529.001
c NEW SOLUTION FOUND: 1557 @ 883.865
c NEW SOLUTION FOUND: 1545 @ 900.795
c NEW SOLUTION FOUND: 1535 @ 906.825
c NEW SOLUTION FOUND: 1533 @ 983.052
c NEW SOLUTION FOUND: 1523 @ 1096.78
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.48 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.86 0.97 0.91 1/54 12864
Raw data (stat): 12864 (runsolver) R 12863 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911737599 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 6924 0 0 0 977 20 0 0 25 0 1 0 911737599 11866112 2159 4294967295 134512640 134716908 3221224560 3221220880 1075859405 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2897 2159 1111 63 0 2834 0
vsize: 11588
[startup+20.0003 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 17361 0 0 0 1946 51 0 0 25 0 1 0 911737599 13766656 2617 4294967295 134512640 134716908 3221224560 3221220672 1075895757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3361 2617 1111 63 0 3298 0
vsize: 13444
[startup+30.0013 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 26368 0 0 0 2922 74 0 0 25 0 1 0 911737599 14835712 2888 4294967295 134512640 134716908 3221224560 3221220612 1074790424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3622 2888 1111 63 0 3559 0
vsize: 14488
[startup+40.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 33459 0 0 0 3903 93 0 0 25 0 1 0 911737599 15208448 2956 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2956 1111 63 0 3650 0
vsize: 14852
[startup+50.0008 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 41932 0 0 0 4879 117 0 0 25 0 1 0 911737599 15941632 3162 4294967295 134512640 134716908 3221224560 3221220572 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 3162 1111 63 0 3829 0
vsize: 15568
[startup+60.0009 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 50538 0 0 0 5856 139 0 0 25 0 1 0 911737599 16134144 3252 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3938 3252 1111 63 0 3875 0
vsize: 15756
[startup+70.0014 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 58382 0 0 0 6837 158 0 0 25 0 1 0 911737599 16826368 3398 4294967295 134512640 134716908 3221224560 3221222624 1075961779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4105 3398 1111 63 0 4042 0
vsize: 16432
[startup+80.0026 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 66800 0 0 0 7815 181 0 0 25 0 1 0 911737599 18087936 3675 4294967295 134512640 134716908 3221224560 3221221088 1075120000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4416 3675 1111 63 0 4353 0
vsize: 17664
[startup+90.0024 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 74019 0 0 0 8795 200 0 0 25 0 1 0 911737599 18325504 3770 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4474 3770 1111 63 0 4411 0
vsize: 17896
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 80903 0 0 0 9779 216 0 0 25 0 1 0 911737599 18808832 3920 4294967295 134512640 134716908 3221224560 3221222400 1075798481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4592 3920 1111 63 0 4529 0
vsize: 18368
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 87911 0 0 0 10758 237 0 0 25 0 1 0 911737599 19550208 4057 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 4057 1111 63 0 4710 0
vsize: 19092
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 95487 0 0 0 11737 259 0 0 25 0 1 0 911737599 20410368 4251 4294967295 134512640 134716908 3221224560 3221220560 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4251 1111 63 0 4920 0
vsize: 19932
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 102798 0 0 0 12721 275 0 0 25 0 1 0 911737599 20832256 4323 4294967295 134512640 134716908 3221224560 3221221048 1075169397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5086 4323 1111 63 0 5023 0
vsize: 20344
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 110734 0 0 0 13700 296 0 0 25 0 1 0 911737599 21442560 4481 4294967295 134512640 134716908 3221224560 3221220832 1074960850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5235 4481 1111 63 0 5172 0
vsize: 20940
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 119824 0 0 0 14676 320 0 0 25 0 1 0 911737599 21815296 4654 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5326 4654 1111 63 0 5263 0
vsize: 21304
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 128555 0 0 0 15654 342 0 0 25 0 1 0 911737599 22896640 4876 4294967295 134512640 134716908 3221224560 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5590 4876 1111 63 0 5527 0
vsize: 22360
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 135655 0 0 0 16636 361 0 0 25 0 1 0 911737599 23293952 4930 4294967295 134512640 134716908 3221224560 3221220704 1074970882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5687 4930 1111 63 0 5624 0
vsize: 22748
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 142605 0 0 0 17620 377 0 0 25 0 1 0 911737599 23719936 5088 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 5088 1111 63 0 5728 0
vsize: 23164
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 149168 0 0 0 18604 393 0 0 25 0 1 0 911737599 23986176 5184 4294967295 134512640 134716908 3221224560 3221222860 1074064918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5856 5184 1111 63 0 5793 0
vsize: 23424
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 156010 0 0 0 19586 411 0 0 25 0 1 0 911737599 24821760 5345 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6060 5345 1111 63 0 5997 0
vsize: 24240
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 163136 0 0 0 20568 430 0 0 25 0 1 0 911737599 25038848 5430 4294967295 134512640 134716908 3221224560 3221222560 1074916760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6113 5430 1111 63 0 6050 0
vsize: 24452
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 170595 0 0 0 21551 447 0 0 25 0 1 0 911737599 25833472 5635 4294967295 134512640 134716908 3221224560 3221221904 1074839094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6307 5635 1111 63 0 6244 0
vsize: 25228
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 176906 0 0 0 22538 460 0 0 25 0 1 0 911737599 26525696 5718 4294967295 134512640 134716908 3221224560 3221221564 1074621037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6476 5718 1111 63 0 6413 0
vsize: 25904
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 184366 0 0 0 23519 479 0 0 25 0 1 0 911737599 25870336 5644 4294967295 134512640 134716908 3221224560 3221222944 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6316 5644 1111 63 0 6253 0
vsize: 25264
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 191365 0 0 0 24503 496 0 0 25 0 1 0 911737599 26914816 5802 4294967295 134512640 134716908 3221224560 3221220508 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6571 5802 1111 63 0 6508 0
vsize: 26284
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 199691 0 0 0 25484 515 0 0 25 0 1 0 911737599 26501120 5788 4294967295 134512640 134716908 3221224560 3221221664 1074139057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6470 5788 1111 63 0 6407 0
vsize: 25880
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 206109 0 0 0 26468 531 0 0 25 0 1 0 911737599 26501120 5767 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6470 5767 1111 63 0 6407 0
vsize: 25880
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 212560 0 0 0 27452 547 0 0 25 0 1 0 911737599 27222016 5914 4294967295 134512640 134716908 3221224560 3221220928 1075894558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6646 5914 1111 63 0 6583 0
vsize: 26584
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 219310 0 0 0 28436 563 0 0 25 0 1 0 911737599 26562560 5788 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6485 5788 1111 63 0 6422 0
vsize: 25940
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 225633 0 0 0 29422 577 0 0 25 0 1 0 911737599 26730496 5844 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6526 5844 1111 63 0 6463 0
vsize: 26104
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 231889 0 0 0 30407 592 0 0 25 0 1 0 911737599 27283456 5939 4294967295 134512640 134716908 3221224560 3221221604 1074846143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6661 5939 1111 63 0 6598 0
vsize: 26644
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 238832 0 0 0 31390 609 0 0 25 0 1 0 911737599 27009024 5917 4294967295 134512640 134716908 3221224560 3221221904 1074839021 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6594 5917 1111 63 0 6531 0
vsize: 26376
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 245438 0 0 0 32374 625 0 0 25 0 1 0 911737599 27766784 6016 4294967295 134512640 134716908 3221224560 3221220736 1074882616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6779 6016 1111 63 0 6716 0
vsize: 27116
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 252817 0 0 0 33358 641 0 0 25 0 1 0 911737599 28295168 6176 4294967295 134512640 134716908 3221224560 3221220672 1075895897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6908 6176 1111 63 0 6845 0
vsize: 27632
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 259330 0 0 0 34341 658 0 0 25 0 1 0 911737599 28286976 6142 4294967295 134512640 134716908 3221224560 3221221552 1075338889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6906 6142 1111 63 0 6843 0
vsize: 27624
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 266031 0 0 0 35325 674 0 0 25 0 1 0 911737599 28905472 6274 4294967295 134512640 134716908 3221224560 3221221092 1075863609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6274 1111 63 0 6994 0
vsize: 28228
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 272477 0 0 0 36312 688 0 0 25 0 1 0 911737599 28848128 6340 4294967295 134512640 134716908 3221224560 3221222912 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7043 6340 1111 63 0 6980 0
vsize: 28172
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 281305 0 0 0 37290 710 0 0 25 0 1 0 911737599 29720576 6525 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7256 6525 1111 63 0 7193 0
vsize: 29024
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 289172 0 0 0 38270 730 0 0 25 0 1 0 911737599 30740480 6776 4294967295 134512640 134716908 3221224560 3221220788 1075115028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7505 6776 1111 63 0 7442 0
vsize: 30020
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 295969 0 0 0 39253 747 0 0 25 0 1 0 911737599 30359552 6679 4294967295 134512640 134716908 3221224560 3221220768 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7412 6679 1111 63 0 7349 0
vsize: 29648
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 302373 0 0 0 40237 763 0 0 25 0 1 0 911737599 30535680 6716 4294967295 134512640 134716908 3221224560 3221220788 1075115035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7455 6716 1111 63 0 7392 0
vsize: 29820
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 310532 0 0 0 41219 781 0 0 25 0 1 0 911737599 30515200 6746 4294967295 134512640 134716908 3221224560 3221222560 1074915844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7450 6746 1111 63 0 7387 0
vsize: 29800
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 317028 0 0 0 42204 797 0 0 25 0 1 0 911737599 30707712 6754 4294967295 134512640 134716908 3221224560 3221220572 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6754 1111 63 0 7434 0
vsize: 29988
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 324481 0 0 0 43184 816 0 0 25 0 1 0 911737599 31309824 6881 4294967295 134512640 134716908 3221224560 3221220832 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7644 6881 1111 63 0 7581 0
vsize: 30576
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 331235 0 0 0 44167 834 0 0 25 0 1 0 911737599 31690752 6954 4294967295 134512640 134716908 3221224560 3221221480 1075964771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7737 6954 1111 63 0 7674 0
vsize: 30948
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 338149 0 0 0 45150 851 0 0 25 0 1 0 911737599 31481856 6980 4294967295 134512640 134716908 3221224560 3221222672 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7686 6980 1111 63 0 7623 0
vsize: 30744
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 344870 0 0 0 46132 869 0 0 25 0 1 0 911737599 32337920 7160 4294967295 134512640 134716908 3221224560 3221220896 1075114272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7895 7160 1111 63 0 7832 0
vsize: 31580
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 352320 0 0 0 47118 884 0 0 25 0 1 0 911737599 32813056 7224 4294967295 134512640 134716908 3221224560 3221221216 1075966723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8011 7224 1111 63 0 7948 0
vsize: 32044
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 359048 0 0 0 48100 902 0 0 25 0 1 0 911737599 33017856 7389 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8061 7389 1111 63 0 7998 0
vsize: 32244
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 366780 0 0 0 49081 921 0 0 25 0 1 0 911737599 33275904 7384 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8124 7384 1111 63 0 8061 0
vsize: 32496
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 375449 0 0 0 50062 940 0 0 25 0 1 0 911737599 33439744 7418 4294967295 134512640 134716908 3221224560 3221220720 1075093526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8164 7418 1111 63 0 8101 0
vsize: 32656
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 382285 0 0 0 51046 956 0 0 25 0 1 0 911737599 33193984 7432 4294967295 134512640 134716908 3221224560 3221222960 1074118854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8104 7432 1111 63 0 8041 0
vsize: 32416
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 389387 0 0 0 52028 973 0 0 25 0 1 0 911737599 33488896 7502 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8176 7502 1111 63 0 8113 0
vsize: 32704
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 396563 0 0 0 53009 993 0 0 25 0 1 0 911737599 34545664 7701 4294967295 134512640 134716908 3221224560 3221220444 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8434 7701 1111 63 0 8371 0
vsize: 33736
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 402381 0 0 0 53994 1008 0 0 25 0 1 0 911737599 34889728 7786 4294967295 134512640 134716908 3221224560 3221221024 1075602737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8518 7786 1111 63 0 8455 0
vsize: 34072
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 408899 0 0 0 54980 1022 0 0 25 0 1 0 911737599 35332096 7907 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8626 7907 1111 63 0 8563 0
vsize: 34504
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 415760 0 0 0 55964 1038 0 0 25 0 1 0 911737599 34639872 7785 4294967295 134512640 134716908 3221224560 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8457 7785 1111 63 0 8394 0
vsize: 33828
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 422491 0 0 0 56949 1053 0 0 25 0 1 0 911737599 36347904 8151 4294967295 134512640 134716908 3221224560 3221220500 1074786588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8874 8151 1111 63 0 8811 0
vsize: 35496
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 429886 0 0 0 57934 1069 0 0 25 0 1 0 911737599 36487168 8175 4294967295 134512640 134716908 3221224560 3221220604 1074873439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8908 8175 1111 63 0 8845 0
vsize: 35632
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 437876 0 0 0 58915 1088 0 0 25 0 1 0 911737599 35770368 8061 4294967295 134512640 134716908 3221224560 3221222560 1074918232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8733 8061 1111 63 0 8670 0
vsize: 34932
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 442025 0 0 0 59906 1097 0 0 25 0 1 0 911737599 36151296 8122 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8826 8122 1111 63 0 8763 0
vsize: 35304
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 447900 0 0 0 60892 1111 0 0 25 0 1 0 911737599 36040704 8098 4294967295 134512640 134716908 3221224560 3221222464 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8799 8098 1111 63 0 8736 0
vsize: 35196
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 454109 0 0 0 61877 1126 0 0 25 0 1 0 911737599 36229120 8142 4294967295 134512640 134716908 3221224560 3221222880 1074154008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8845 8142 1111 63 0 8782 0
vsize: 35380
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 462507 0 0 0 62859 1145 0 0 25 0 1 0 911737599 36659200 8214 4294967295 134512640 134716908 3221224560 3221220556 1074788090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8950 8214 1111 63 0 8887 0
vsize: 35800
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 469570 0 0 0 63841 1163 0 0 25 0 1 0 911737599 36245504 8168 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8849 8168 1111 63 0 8786 0
vsize: 35396
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 475585 0 0 0 64825 1180 0 0 25 0 1 0 911737599 37244928 8364 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9093 8364 1111 63 0 9030 0
vsize: 36372
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 482416 0 0 0 65809 1196 0 0 25 0 1 0 911737599 36622336 8269 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8941 8269 1111 63 0 8878 0
vsize: 35764
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 488424 0 0 0 66795 1210 0 0 25 0 1 0 911737599 37171200 8375 4294967295 134512640 134716908 3221224560 3221222336 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9075 8375 1111 63 0 9012 0
vsize: 36300
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 495499 0 0 0 67778 1227 0 0 25 0 1 0 911737599 37281792 8430 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9102 8430 1111 63 0 9039 0
vsize: 36408
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 502073 0 0 0 68760 1245 0 0 25 0 1 0 911737599 37560320 8498 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9170 8498 1111 63 0 9107 0
vsize: 36680
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 508339 0 0 0 69746 1259 0 0 25 0 1 0 911737599 38187008 8599 4294967295 134512640 134716908 3221224560 3221223280 134622802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9323 8599 1111 63 0 9260 0
vsize: 37292
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 514727 0 0 0 70732 1274 0 0 25 0 1 0 911737599 38723584 8727 4294967295 134512640 134716908 3221224560 3221220720 1075095094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9454 8727 1111 63 0 9391 0
vsize: 37816
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 521740 0 0 0 71716 1289 0 0 25 0 1 0 911737599 39014400 8791 4294967295 134512640 134716908 3221224560 3221220784 1075895707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9525 8791 1111 63 0 9462 0
vsize: 38100
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 528910 0 0 0 72697 1308 0 0 25 0 1 0 911737599 39211008 8833 4294967295 134512640 134716908 3221224560 3221220572 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9573 8833 1111 63 0 9510 0
vsize: 38292
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 535796 0 0 0 73682 1323 0 0 25 0 1 0 911737599 38793216 8799 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9471 8799 1111 63 0 9408 0
vsize: 37884
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 543136 0 0 0 74664 1342 0 0 25 0 1 0 911737599 39088128 8871 4294967295 134512640 134716908 3221224560 3221222656 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9543 8871 1111 63 0 9480 0
vsize: 38172
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 550316 0 0 0 75647 1359 0 0 25 0 1 0 911737599 40357888 9121 4294967295 134512640 134716908 3221224560 3221221632 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9853 9121 1111 63 0 9790 0
vsize: 39412
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 557793 0 0 0 76628 1378 0 0 25 0 1 0 911737599 39825408 9051 4294967295 134512640 134716908 3221224560 3221222652 1077404823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 9051 1111 63 0 9660 0
vsize: 38892
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 564930 0 0 0 77611 1395 0 0 25 0 1 0 911737599 40718336 9204 4294967295 134512640 134716908 3221224560 3221220788 1075114950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9941 9204 1111 63 0 9878 0
vsize: 39764
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 571777 0 0 0 78594 1412 0 0 25 0 1 0 911737599 40513536 9208 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9891 9208 1111 63 0 9828 0
vsize: 39564
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 578369 0 0 0 79579 1428 0 0 25 0 1 0 911737599 41209856 9352 4294967295 134512640 134716908 3221224560 3221223024 134606991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10061 9352 1111 63 0 9998 0
vsize: 40244
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 586233 0 0 0 80560 1447 0 0 25 0 1 0 911737599 41021440 9343 4294967295 134512640 134716908 3221224560 3221222768 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10015 9343 1111 63 0 9952 0
vsize: 40060
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 592898 0 0 0 81545 1462 0 0 25 0 1 0 911737599 42283008 9611 4294967295 134512640 134716908 3221224560 3221220720 1075095096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10323 9611 1111 63 0 10260 0
vsize: 41292
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 599880 0 0 0 82527 1481 0 0 25 0 1 0 911737599 42434560 9634 4294967295 134512640 134716908 3221224560 3221220496 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10360 9634 1111 63 0 10297 0
vsize: 41440
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 607195 0 0 0 83509 1499 0 0 25 0 1 0 911737599 42954752 9775 4294967295 134512640 134716908 3221224560 3221220736 1074882616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10487 9775 1111 63 0 10424 0
vsize: 41948
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 614133 0 0 0 84495 1513 0 0 25 0 1 0 911737599 42999808 9807 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10498 9807 1111 63 0 10435 0
vsize: 41992
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 622167 0 0 0 85476 1532 0 0 25 0 1 0 911737599 42373120 9617 4294967295 134512640 134716908 3221224560 3221222512 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10345 9617 1111 63 0 10282 0
vsize: 41380
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 629223 0 0 0 86461 1547 0 0 25 0 1 0 911737599 42545152 9683 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10387 9683 1111 63 0 10324 0
vsize: 41548
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 636762 0 0 0 87443 1565 0 0 25 0 1 0 911737599 42520576 9693 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10381 9693 1111 63 0 10318 0
vsize: 41524
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 643080 0 0 0 88427 1580 0 0 25 0 1 0 911737599 43151360 9831 4294967295 134512640 134716908 3221224560 3221222560 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 9831 1111 63 0 10472 0
vsize: 42140
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 650117 0 0 0 89411 1596 0 0 25 0 1 0 911737599 43728896 9934 4294967295 134512640 134716908 3221224560 3221220788 1075115051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10676 9934 1111 63 0 10613 0
vsize: 42704
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 657695 0 0 0 90394 1613 0 0 25 0 1 0 911737599 43171840 9836 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10540 9836 1111 63 0 10477 0
vsize: 42160
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 664248 0 0 0 91379 1628 0 0 25 0 1 0 911737599 42938368 9811 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10483 9811 1111 63 0 10420 0
vsize: 41932
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 670503 0 0 0 92364 1644 0 0 25 0 1 0 911737599 44150784 10052 4294967295 134512640 134716908 3221224560 3221221092 1075863635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10779 10052 1111 63 0 10716 0
vsize: 43116
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 676479 0 0 0 93349 1659 0 0 25 0 1 0 911737599 43212800 9878 4294967295 134512640 134716908 3221224560 3221222752 134652482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10550 9878 1111 63 0 10487 0
vsize: 42200
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 682399 0 0 0 94335 1673 0 0 25 0 1 0 911737599 43433984 9932 4294967295 134512640 134716908 3221224560 3221222508 1074206256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10604 9932 1111 63 0 10541 0
vsize: 42416
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 689612 0 0 0 95321 1687 0 0 25 0 1 0 911737599 43433984 9932 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10604 9932 1111 63 0 10541 0
vsize: 42416
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 698134 0 0 0 96303 1705 0 0 25 0 1 0 911737599 45064192 10256 4294967295 134512640 134716908 3221224560 3221220832 1074961149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11002 10256 1111 63 0 10939 0
vsize: 44008
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 705503 0 0 0 97285 1723 0 0 25 0 1 0 911737599 44355584 10062 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10829 10062 1111 63 0 10766 0
vsize: 43316
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 712509 0 0 0 98268 1741 0 0 25 0 1 0 911737599 45109248 10264 4294967295 134512640 134716908 3221224560 3221220492 1074788153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11013 10264 1111 63 0 10950 0
vsize: 44052
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 718967 0 0 0 99250 1759 0 0 25 0 1 0 911737599 44339200 10145 4294967295 134512640 134716908 3221224560 3221222288 1075829969 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10825 10145 1111 63 0 10762 0
vsize: 43300
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 725644 0 0 0 100234 1775 0 0 25 0 1 0 911737599 45096960 10265 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11010 10265 1111 63 0 10947 0
vsize: 44040
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 733097 0 0 0 101218 1791 0 0 25 0 1 0 911737599 45076480 10333 4294967295 134512640 134716908 3221224560 3221221752 1074138271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11005 10333 1111 63 0 10942 0
vsize: 44020
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 739892 0 0 0 102202 1808 0 0 25 0 1 0 911737599 44625920 10213 4294967295 134512640 134716908 3221224560 3221222464 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10895 10213 1111 63 0 10832 0
vsize: 43580
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 745943 0 0 0 103187 1822 0 0 25 0 1 0 911737599 44568576 10209 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10209 1111 63 0 10818 0
vsize: 43524
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 752175 0 0 0 104172 1837 0 0 25 0 1 0 911737599 45805568 10453 4294967295 134512640 134716908 3221224560 3221220444 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11183 10453 1111 63 0 11120 0
vsize: 44732
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 758639 0 0 0 105157 1853 0 0 25 0 1 0 911737599 45223936 10365 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11041 10365 1111 63 0 10978 0
vsize: 44164
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 766342 0 0 0 106140 1870 0 0 25 0 1 0 911737599 46530560 10594 4294967295 134512640 134716908 3221224560 3221220720 1075092598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11360 10594 1111 63 0 11297 0
vsize: 45440
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 775055 0 0 0 107121 1889 0 0 25 0 1 0 911737599 44974080 10308 4294967295 134512640 134716908 3221224560 3221221568 1074153743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10308 1111 63 0 10917 0
vsize: 43920
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 782877 0 0 0 108103 1907 0 0 25 0 1 0 911737599 45588480 10426 4294967295 134512640 134716908 3221224560 3221223340 134542422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11130 10426 1111 63 0 11067 0
vsize: 44520
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 789320 0 0 0 109089 1921 0 0 25 0 1 0 911737599 45490176 10434 4294967295 134512640 134716908 3221224560 3221222560 1074919243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11106 10434 1111 63 0 11043 0
vsize: 44424
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 796895 0 0 0 110072 1939 0 0 25 0 1 0 911737599 46444544 10538 4294967295 134512640 134716908 3221224560 3221220560 1075965234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11339 10538 1111 63 0 11276 0
vsize: 45356
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 804283 0 0 0 111055 1956 0 0 25 0 1 0 911737599 46137344 10560 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11264 10560 1111 63 0 11201 0
vsize: 45056
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 811803 0 0 0 112040 1972 0 0 25 0 1 0 911737599 47083520 10735 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11495 10735 1111 63 0 11432 0
vsize: 45980
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 819166 0 0 0 113022 1989 0 0 25 0 1 0 911737599 46198784 10575 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11279 10575 1111 63 0 11216 0
vsize: 45116
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 827726 0 0 0 114004 2008 0 0 25 0 1 0 911737599 46604288 10692 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11378 10692 1111 63 0 11315 0
vsize: 45512
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 836378 0 0 0 114984 2028 0 0 25 0 1 0 911737599 46628864 10680 4294967295 134512640 134716908 3221224560 3221222672 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11384 10680 1111 63 0 11321 0
vsize: 45536
[startup+1176.4 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 12864
Raw data (stat): 12864 (bsolo_lpr_cuts-) R 12863 20224 20223 0 -1 0 836378 0 0 0 114984 2028 0 0 25 0 1 0 911737599 46628864 10680 4294967295 134512640 134716908 3221224560 3221222672 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11384 10680 1111 63 0 11321 0
vsize: 0

Child status: 10
Real time (s): 1176.4
CPU time (s): 1176.51
CPU user time (s): 1156.09
CPU system time (s): 20.4149
CPU usage (%): 100.009
Max. virtual memory (Kb): 45980
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####