PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb
MD5SUM	ffa3a55eb53181880328dd1b84f91e66
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 41467

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 13:09:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29533 boxname=wulflinc3 idbench=1317 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /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: 29533
/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:        906064 kB
Buffers:          9760 kB
Cached:          98872 kB
SwapCached:        712 kB
Active:          33124 kB
Inactive:        77560 kB
HighTotal:      131008 kB
HighFree:        46844 kB
LowTotal:       903652 kB
LowFree:        859220 kB
SwapTotal:     2097136 kB
SwapFree:      2095352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5008 kB
Slab:            12116 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 13:29:32 (client local time) WITH STATUS 10 IN 1176.63 SECONDS
stats: 29533 0 1176.63 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.35 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.173
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2418 @ 7.14
c NEW SOLUTION FOUND: 2416 @ 7.322
c NEW SOLUTION FOUND: 2399 @ 7.514
c NEW SOLUTION FOUND: 2396 @ 7.682
c NEW SOLUTION FOUND: 2395 @ 7.773
c NEW SOLUTION FOUND: 2383 @ 7.916
c NEW SOLUTION FOUND: 2373 @ 8.082
c NEW SOLUTION FOUND: 2363 @ 8.162
c NEW SOLUTION FOUND: 2351 @ 8.397
c NEW SOLUTION FOUND: 2188 @ 8.722
c NEW SOLUTION FOUND: 2176 @ 8.782
c NEW SOLUTION FOUND: 2097 @ 18.684
c NEW SOLUTION FOUND: 2083 @ 21.358
c NEW SOLUTION FOUND: 2013 @ 21.403
c NEW SOLUTION FOUND: 2003 @ 22.899
c NEW SOLUTION FOUND: 1933 @ 23.616
c NEW SOLUTION FOUND: 1890 @ 28.174
c NEW SOLUTION FOUND: 1888 @ 28.81
c NEW SOLUTION FOUND: 1860 @ 30.301
c NEW SOLUTION FOUND: 1858 @ 32.324
c NEW SOLUTION FOUND: 1838 @ 32.762
c NEW SOLUTION FOUND: 1831 @ 34.113
c NEW SOLUTION FOUND: 1816 @ 34.949
c NEW SOLUTION FOUND: 1809 @ 52.218
c NEW SOLUTION FOUND: 1806 @ 52.602
c NEW SOLUTION FOUND: 1804 @ 53.808
c NEW SOLUTION FOUND: 1759 @ 80.682
c NEW SOLUTION FOUND: 1754 @ 85.3
c NEW SOLUTION FOUND: 1749 @ 92.479
c NEW SOLUTION FOUND: 1743 @ 104.828
c NEW SOLUTION FOUND: 1731 @ 121.341
c NEW SOLUTION FOUND: 1723 @ 151.351
c NEW SOLUTION FOUND: 1700 @ 155.186
c NEW SOLUTION FOUND: 1688 @ 213.63
c NEW SOLUTION FOUND: 1655 @ 218.29
c NEW SOLUTION FOUND: 1640 @ 312.224
c NEW SOLUTION FOUND: 1635 @ 373.656
c NEW SOLUTION FOUND: 1625 @ 376.126
c NEW SOLUTION FOUND: 1615 @ 380.093
c NEW SOLUTION FOUND: 1599 @ 381.023
c NEW SOLUTION FOUND: 1595 @ 488.659
c NEW SOLUTION FOUND: 1589 @ 492.096
c NEW SOLUTION FOUND: 1561 @ 508.679
c NEW SOLUTION FOUND: 1559 @ 523.092
c NEW SOLUTION FOUND: 1557 @ 874.839
c NEW SOLUTION FOUND: 1545 @ 891.739
c NEW SOLUTION FOUND: 1535 @ 897.716
c NEW SOLUTION FOUND: 1533 @ 972.02
c NEW SOLUTION FOUND: 1523 @ 1082.96
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.61 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.66 0.89 0.89 1/54 10834
Raw data (stat): 10834 (runsolver) R 10833 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910516862 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.0009 s]
Raw data (loadavg): 0.71 0.90 0.89 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 6878 0 2 0 966 19 0 0 25 0 1 0 910516862 11788288 2142 4294967295 134512640 134716908 3221224560 3221222772 1077378648 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.0023 s]
Raw data (loadavg): 0.75 0.90 0.89 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 17217 0 2 0 1935 51 0 0 25 0 1 0 910516862 13725696 2597 4294967295 134512640 134716908 3221224560 3221221520 1074790118 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3351 2597 1111 63 0 3288 0
vsize: 13404
[startup+30.0026 s]
Raw data (loadavg): 0.79 0.90 0.89 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 26286 0 2 0 2909 76 0 0 25 0 1 0 910516862 14962688 2914 4294967295 134512640 134716908 3221224560 3221220776 1074878881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2914 1111 63 0 3590 0
vsize: 14612
[startup+40.0025 s]
Raw data (loadavg): 0.82 0.90 0.89 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 33389 0 2 0 3887 97 0 0 25 0 1 0 910516862 14942208 2935 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3648 2935 1111 63 0 3585 0
vsize: 14592
[startup+50.0042 s]
Raw data (loadavg): 0.85 0.91 0.89 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 41863 0 2 0 4864 121 0 0 25 0 1 0 910516862 15458304 3095 4294967295 134512640 134716908 3221224560 3221222728 1077377513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3774 3095 1111 63 0 3711 0
vsize: 15096
[startup+60.0052 s]
Raw data (loadavg): 0.87 0.91 0.89 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 50545 0 2 0 5839 145 0 0 25 0 1 0 910516862 16101376 3252 4294967295 134512640 134716908 3221224560 3221222560 1074916565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3931 3252 1111 63 0 3868 0
vsize: 15724
[startup+70.006 s]
Raw data (loadavg): 0.89 0.91 0.89 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 58550 0 2 0 6817 168 0 0 25 0 1 0 910516862 16752640 3411 4294967295 134512640 134716908 3221224560 3221222288 1075828959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4090 3411 1111 63 0 4027 0
vsize: 16360
[startup+80.0064 s]
Raw data (loadavg): 0.91 0.91 0.89 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 66926 0 3 0 7793 190 0 0 25 0 1 0 910516862 17518592 3605 4294967295 134512640 134716908 3221224560 3221223128 134543133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4277 3605 1111 63 0 4214 0
vsize: 17108
[startup+90.0067 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 74311 0 3 0 8773 210 0 0 25 0 1 0 910516862 18194432 3770 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4442 3770 1111 63 0 4379 0
vsize: 17768
[startup+100.007 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 81249 0 3 0 9755 229 0 0 25 0 1 0 910516862 19124224 3962 4294967295 134512640 134716908 3221224560 3221222712 1074950108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4669 3962 1111 63 0 4606 0
vsize: 18676
[startup+110.008 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 88365 0 3 0 10738 246 0 0 25 0 1 0 910516862 19353600 4053 4294967295 134512640 134716908 3221224560 3221223272 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4725 4053 1111 63 0 4662 0
vsize: 18900
[startup+120.009 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 96150 0 3 0 11717 267 0 0 25 0 1 0 910516862 20467712 4235 4294967295 134512640 134716908 3221224560 3221221136 1076049097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4997 4235 1111 63 0 4934 0
vsize: 19988
[startup+130.009 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 103508 0 3 0 12695 289 0 0 25 0 1 0 910516862 21028864 4378 4294967295 134512640 134716908 3221224560 3221220832 1074961183 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5134 4378 1111 63 0 5071 0
vsize: 20536
[startup+140.01 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 111526 0 3 0 13674 310 0 0 25 0 1 0 910516862 20922368 4436 4294967295 134512640 134716908 3221224560 3221222568 1077380592 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.97 0.93 0.90 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 120717 0 3 0 14650 335 0 0 25 0 1 0 910516862 22130688 4692 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5403 4692 1111 63 0 5340 0
vsize: 21612
[startup+160.012 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 129522 0 3 0 15625 359 0 0 25 0 1 0 910516862 23126016 4921 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5646 4921 1111 63 0 5583 0
vsize: 22584
[startup+170.012 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 136590 0 3 0 16607 377 0 0 25 0 1 0 910516862 23105536 4931 4294967295 134512640 134716908 3221224560 3221222976 1073989490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5641 4931 1111 63 0 5578 0
vsize: 22564
[startup+180.012 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 143452 0 3 0 17588 397 0 0 25 0 1 0 910516862 23818240 5091 4294967295 134512640 134716908 3221224560 3221222864 1074039238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5815 5091 1111 63 0 5752 0
vsize: 23260
[startup+190.013 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 150306 0 3 0 18571 414 0 0 25 0 1 0 910516862 24113152 5215 4294967295 134512640 134716908 3221224560 3221222976 1074116242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 5215 1111 63 0 5824 0
vsize: 23548
[startup+200.013 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 157185 0 3 0 19553 432 0 0 25 0 1 0 910516862 24887296 5361 4294967295 134512640 134716908 3221224560 3221222864 1074039235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 5361 1111 63 0 6013 0
vsize: 24304
[startup+210.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 164676 0 3 0 20533 452 0 0 25 0 1 0 910516862 25772032 5559 4294967295 134512640 134716908 3221224560 3221220788 1075115112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6292 5559 1111 63 0 6229 0
vsize: 25168
[startup+220.015 s]
Raw data (loadavg): 1.06 0.96 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 172011 0 3 0 21515 470 0 0 25 0 1 0 910516862 25833472 5635 4294967295 134512640 134716908 3221224560 3221222992 1074039235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6307 5635 1111 63 0 6244 0
vsize: 25228
[startup+230.015 s]
Raw data (loadavg): 1.05 0.96 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 178316 0 3 0 22499 486 0 0 25 0 1 0 910516862 25751552 5615 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6287 5615 1111 63 0 6224 0
vsize: 25148
[startup+240.015 s]
Raw data (loadavg): 1.04 0.96 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 185537 0 3 0 23481 504 0 0 25 0 1 0 910516862 26525696 5789 4294967295 134512640 134716908 3221224560 3221222560 1074916549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6476 5789 1111 63 0 6413 0
vsize: 25904
[startup+250.015 s]
Raw data (loadavg): 1.04 0.96 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 193613 0 3 0 24463 523 0 0 25 0 1 0 910516862 27594752 5986 4294967295 134512640 134716908 3221224560 3221221504 1074620363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6737 5986 1111 63 0 6674 0
vsize: 26948
[startup+260.016 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 201456 0 3 0 25442 544 0 0 25 0 1 0 910516862 26714112 5817 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6522 5817 1111 63 0 6459 0
vsize: 26088
[startup+270.017 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 207578 0 3 0 26427 559 0 0 25 0 1 0 910516862 26308608 5751 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6423 5751 1111 63 0 6360 0
vsize: 25692
[startup+280.017 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 214183 0 3 0 27409 577 0 0 25 0 1 0 910516862 26861568 5813 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6558 5813 1111 63 0 6495 0
vsize: 26232
[startup+290.018 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 220932 0 3 0 28390 597 0 0 25 0 1 0 910516862 26750976 5811 4294967295 134512640 134716908 3221224560 3221222648 1077374653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6531 5811 1111 63 0 6468 0
vsize: 26124
[startup+300.018 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 227201 0 3 0 29373 613 0 0 25 0 1 0 910516862 27164672 5902 4294967295 134512640 134716908 3221224560 3221220528 1075965240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6632 5902 1111 63 0 6569 0
vsize: 26528
[startup+310.019 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 233641 0 3 0 30357 630 0 0 25 0 1 0 910516862 26554368 5811 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6483 5811 1111 63 0 6420 0
vsize: 25932
[startup+320.019 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 240344 0 3 0 31338 648 0 0 25 0 1 0 910516862 27029504 5922 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6599 5922 1111 63 0 6536 0
vsize: 26396
[startup+330.02 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 247569 0 3 0 32319 668 0 0 25 0 1 0 910516862 27238400 5978 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6650 5978 1111 63 0 6587 0
vsize: 26600
[startup+340.021 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 254540 0 3 0 33300 687 0 0 25 0 1 0 910516862 27926528 6098 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6098 1111 63 0 6755 0
vsize: 27272
[startup+350.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 261524 0 3 0 34280 707 0 0 25 0 1 0 910516862 28323840 6208 4294967295 134512640 134716908 3221224560 3221222520 1074138319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6915 6208 1111 63 0 6852 0
vsize: 27660
[startup+360.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 268066 0 3 0 35263 725 0 0 25 0 1 0 910516862 28827648 6297 4294967295 134512640 134716908 3221224560 3221220928 1075894554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7038 6297 1111 63 0 6975 0
vsize: 28152
[startup+370.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 275424 0 3 0 36245 742 0 0 25 0 1 0 910516862 28983296 6351 4294967295 134512640 134716908 3221224560 3221222960 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7076 6351 1111 63 0 7013 0
vsize: 28304
[startup+380.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 284446 0 3 0 37221 766 0 0 25 0 1 0 910516862 29167616 6449 4294967295 134512640 134716908 3221224560 3221222208 1075818272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7121 6449 1111 63 0 7058 0
vsize: 28484
[startup+390.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 292111 0 3 0 38199 788 0 0 25 0 1 0 910516862 29511680 6533 4294967295 134512640 134716908 3221224560 3221221832 1077378451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7205 6533 1111 63 0 7142 0
vsize: 28820
[startup+400.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 298582 0 3 0 39182 805 0 0 25 0 1 0 910516862 30470144 6726 4294967295 134512640 134716908 3221224560 3221220496 1075965307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7439 6726 1111 63 0 7376 0
vsize: 29756
[startup+410.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 305636 0 3 0 40166 823 0 0 25 0 1 0 910516862 30539776 6752 4294967295 134512640 134716908 3221224560 3221221664 1074138614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7456 6752 1111 63 0 7393 0
vsize: 29824
[startup+420.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 313712 0 3 0 41145 843 0 0 25 0 1 0 910516862 29990912 6650 4294967295 134512640 134716908 3221224560 3221223200 134535146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7322 6650 1111 63 0 7259 0
vsize: 29288
[startup+430.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 320494 0 3 0 42127 862 0 0 25 0 1 0 910516862 30863360 6791 4294967295 134512640 134716908 3221224560 3221220720 1074794661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7535 6791 1111 63 0 7472 0
vsize: 30140
[startup+440.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 327490 0 3 0 43111 878 0 0 25 0 1 0 910516862 30851072 6853 4294967295 134512640 134716908 3221224560 3221222560 1074918476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7532 6853 1111 63 0 7469 0
vsize: 30128
[startup+450.026 s]
Raw data (loadavg): 1.00 0.97 0.91 3/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 334276 0 3 0 44092 897 0 0 25 0 1 0 910516862 31043584 6907 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7579 6907 1111 63 0 7516 0
vsize: 30316
[startup+460.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 341859 0 3 0 45074 915 0 0 25 0 1 0 910516862 32288768 7116 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7883 7116 1111 63 0 7820 0
vsize: 31532
[startup+470.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 348709 0 3 0 46059 931 0 0 25 0 1 0 910516862 31862784 7107 4294967295 134512640 134716908 3221224560 3221221752 1074138322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7779 7107 1111 63 0 7716 0
vsize: 31116
[startup+480.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 355805 0 3 0 47040 949 0 0 25 0 1 0 910516862 33054720 7327 4294967295 134512640 134716908 3221224560 3221220832 1074961238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8070 7327 1111 63 0 8007 0
vsize: 32280
[startup+490.03 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 363401 0 3 0 48021 969 0 0 25 0 1 0 910516862 32600064 7256 4294967295 134512640 134716908 3221224560 3221222912 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7959 7256 1111 63 0 7896 0
vsize: 31836
[startup+500.03 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 371990 0 3 0 48998 991 0 0 25 0 1 0 910516862 33288192 7423 4294967295 134512640 134716908 3221224560 3221222288 1075828469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8127 7423 1111 63 0 8064 0
vsize: 32508
[startup+510.031 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 379720 0 3 0 49978 1012 0 0 25 0 1 0 910516862 33259520 7446 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8120 7446 1111 63 0 8057 0
vsize: 32480
[startup+520.031 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 386380 0 3 0 50961 1029 0 0 25 0 1 0 910516862 33488896 7504 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8176 7504 1111 63 0 8113 0
vsize: 32704
[startup+530.031 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 393742 0 3 0 51940 1050 0 0 25 0 1 0 910516862 34045952 7595 4294967295 134512640 134716908 3221224560 3221223000 134532441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8312 7595 1111 63 0 8249 0
vsize: 33248
[startup+540.032 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 399948 0 3 0 52922 1068 0 0 25 0 1 0 910516862 33980416 7624 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8296 7624 1111 63 0 8233 0
vsize: 33184
[startup+550.033 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 406474 0 3 0 53906 1085 0 0 25 0 1 0 910516862 34549760 7763 4294967295 134512640 134716908 3221224560 3221223024 1074121076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8435 7763 1111 63 0 8372 0
vsize: 33740
[startup+560.032 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 413067 0 3 0 54889 1102 0 0 25 0 1 0 910516862 35708928 7996 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8718 7996 1111 63 0 8655 0
vsize: 34872
[startup+570.033 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 419904 0 3 0 55871 1119 0 0 25 0 1 0 910516862 34951168 7861 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8533 7861 1111 63 0 8470 0
vsize: 34132
[startup+580.033 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 427306 0 3 0 56853 1138 0 0 25 0 1 0 910516862 35483648 7949 4294967295 134512640 134716908 3221224560 3221222556 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8663 7949 1111 63 0 8600 0
vsize: 34652
[startup+590.034 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 435132 0 3 0 57835 1156 0 0 25 0 1 0 910516862 36540416 8208 4294967295 134512640 134716908 3221224560 3221220736 1074882604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8921 8208 1111 63 0 8858 0
vsize: 35684
[startup+600.034 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 440466 0 3 0 58821 1170 0 0 25 0 1 0 910516862 35627008 8026 4294967295 134512640 134716908 3221224560 3221222560 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8698 8026 1111 63 0 8635 0
vsize: 34792
[startup+610.035 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 446147 0 3 0 59808 1183 0 0 25 0 1 0 910516862 36757504 8236 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8974 8236 1111 63 0 8911 0
vsize: 35896
[startup+620.035 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 452617 0 3 0 60791 1200 0 0 25 0 1 0 910516862 36216832 8145 4294967295 134512640 134716908 3221224560 3221222896 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8842 8145 1111 63 0 8779 0
vsize: 35368
[startup+630.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 460408 0 3 0 61771 1220 0 0 25 0 1 0 910516862 36126720 8148 4294967295 134512640 134716908 3221224560 3221223024 1074121071 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8820 8148 1111 63 0 8757 0
vsize: 35280
[startup+640.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 468022 0 3 0 62751 1241 0 0 25 0 1 0 910516862 36106240 8111 4294967295 134512640 134716908 3221224560 3221221664 1074138758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8815 8111 1111 63 0 8752 0
vsize: 35260
[startup+650.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 474533 0 3 0 63735 1257 0 0 25 0 1 0 910516862 37277696 8376 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9101 8376 1111 63 0 9038 0
vsize: 36404
[startup+660.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 481260 0 3 0 64716 1275 0 0 25 0 1 0 910516862 37306368 8362 4294967295 134512640 134716908 3221224560 3221220800 1075115762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 8362 1111 63 0 9045 0
vsize: 36432
[startup+670.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 487487 0 3 0 65697 1294 0 0 25 0 1 0 910516862 37732352 8482 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9212 8482 1111 63 0 9149 0
vsize: 36848
[startup+680.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 494586 0 3 0 66679 1313 0 0 25 0 1 0 910516862 37199872 8410 4294967295 134512640 134716908 3221224560 3221222800 1074039232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8410 1111 63 0 9019 0
vsize: 36328
[startup+690.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 501520 0 3 0 67660 1332 0 0 25 0 1 0 910516862 38371328 8629 4294967295 134512640 134716908 3221224560 3221220832 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9368 8629 1111 63 0 9305 0
vsize: 37472
[startup+700.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 507748 0 3 0 68642 1350 0 0 25 0 1 0 910516862 37797888 8524 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9228 8524 1111 63 0 9165 0
vsize: 36912
[startup+710.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 514412 0 3 0 69625 1367 0 0 25 0 1 0 910516862 38866944 8752 4294967295 134512640 134716908 3221224560 3221220444 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9489 8752 1111 63 0 9426 0
vsize: 37956
[startup+720.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 521435 0 3 0 70606 1386 0 0 25 0 1 0 910516862 38637568 8725 4294967295 134512640 134716908 3221224560 3221222912 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9433 8725 1111 63 0 9370 0
vsize: 37732
[startup+730.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 528622 0 3 0 71589 1403 0 0 25 0 1 0 910516862 39059456 8789 4294967295 134512640 134716908 3221224560 3221221600 1075971404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9536 8789 1111 63 0 9473 0
vsize: 38144
[startup+740.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 535488 0 3 0 72570 1423 0 0 25 0 1 0 910516862 38772736 8794 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9466 8794 1111 63 0 9403 0
vsize: 37864
[startup+750.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 542934 0 3 0 73551 1442 0 0 25 0 1 0 910516862 39718912 8944 4294967295 134512640 134716908 3221224560 3221220880 1075171035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9697 8944 1111 63 0 9634 0
vsize: 38788
[startup+760.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 550088 0 3 0 74532 1461 0 0 25 0 1 0 910516862 40210432 9066 4294967295 134512640 134716908 3221224560 3221220724 1075964278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9817 9066 1111 63 0 9754 0
vsize: 39268
[startup+770.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 557526 0 3 0 75513 1480 0 0 25 0 1 0 910516862 40415232 9100 4294967295 134512640 134716908 3221224560 3221221372 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9731 9059 1111 63 0 9668 0
vsize: 39468
[startup+780.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 564579 0 3 0 76494 1499 0 0 25 0 1 0 910516862 40050688 9106 4294967295 134512640 134716908 3221224560 3221222912 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9778 9106 1111 63 0 9715 0
vsize: 39112
[startup+790.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 571555 0 3 0 77476 1517 0 0 25 0 1 0 910516862 40460288 9206 4294967295 134512640 134716908 3221224560 3221222720 1077404709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9878 9206 1111 63 0 9815 0
vsize: 39512
[startup+800.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 578184 0 3 0 78457 1536 0 0 25 0 1 0 910516862 42012672 9507 4294967295 134512640 134716908 3221224560 3221220832 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10257 9507 1111 63 0 10194 0
vsize: 41028
[startup+810.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 585740 0 3 0 79439 1555 0 0 25 0 1 0 910516862 41099264 9357 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10083 9360 1111 63 0 10020 0
vsize: 40136
[startup+820.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 592310 0 3 0 80422 1572 0 0 25 0 1 0 910516862 41984000 9500 4294967295 134512640 134716908 3221224560 3221220704 1074970398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10250 9500 1111 63 0 10187 0
vsize: 41000
[startup+830.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 599317 0 3 0 81402 1591 0 0 25 0 1 0 910516862 41562112 9475 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10147 9475 1111 63 0 10084 0
vsize: 40588
[startup+840.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 606338 0 3 0 82382 1612 0 0 25 0 1 0 910516862 42135552 9608 4294967295 134512640 134716908 3221224560 3221222560 1074916549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10287 9608 1111 63 0 10224 0
vsize: 41148
[startup+850.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 613453 0 3 0 83363 1631 0 0 25 0 1 0 910516862 42356736 9637 4294967295 134512640 134716908 3221224560 3221222528 1075810705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10341 9637 1111 63 0 10278 0
vsize: 41364
[startup+860.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 621510 0 3 0 84344 1651 0 0 25 0 1 0 910516862 42713088 9690 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10428 9690 1111 63 0 10365 0
vsize: 41712
[startup+870.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 628526 0 3 0 85328 1667 0 0 25 0 1 0 910516862 42881024 9731 4294967295 134512640 134716908 3221224560 3221220444 1074788915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10469 9731 1111 63 0 10406 0
vsize: 41876
[startup+880.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 636155 0 3 0 86309 1686 0 0 25 0 1 0 910516862 43626496 9909 4294967295 134512640 134716908 3221224560 3221220508 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10651 9909 1111 63 0 10588 0
vsize: 42604
[startup+890.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 642355 0 3 0 87295 1700 0 0 25 0 1 0 910516862 43651072 9956 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10657 9956 1111 63 0 10594 0
vsize: 42628
[startup+900.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 649352 0 3 0 88277 1718 0 0 25 0 1 0 910516862 43012096 9797 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10501 9797 1111 63 0 10438 0
vsize: 42004
[startup+910.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 656792 0 3 0 89258 1737 0 0 25 0 1 0 910516862 44175360 10081 4294967295 134512640 134716908 3221224560 3221221600 1075971413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10785 10081 1111 63 0 10722 0
vsize: 43140
[startup+920.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 663869 0 3 0 90239 1756 0 0 25 0 1 0 910516862 43012096 9829 4294967295 134512640 134716908 3221224560 3221222336 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10501 9829 1111 63 0 10438 0
vsize: 42004
[startup+930.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 670260 0 3 0 91222 1773 0 0 25 0 1 0 910516862 43212800 9878 4294967295 134512640 134716908 3221224560 3221222632 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10550 9878 1111 63 0 10487 0
vsize: 42200
[startup+940.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 676351 0 3 0 92208 1787 0 0 25 0 1 0 910516862 43401216 9924 4294967295 134512640 134716908 3221224560 3221222560 1074140697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10596 9924 1111 63 0 10533 0
vsize: 42384
[startup+950.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 682396 0 3 0 93194 1801 0 0 25 0 1 0 910516862 43433984 9932 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10604 9932 1111 63 0 10541 0
vsize: 42416
[startup+960.051 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 690003 0 3 0 94176 1819 0 0 25 0 1 0 910516862 44859392 10218 4294967295 134512640 134716908 3221224560 3221220704 1074971030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10952 10218 1111 63 0 10889 0
vsize: 43808
[startup+970.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 698768 0 3 0 95155 1841 0 0 25 0 1 0 910516862 44662784 10174 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10904 10174 1111 63 0 10841 0
vsize: 43616
[startup+980.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 706368 0 3 0 96135 1861 0 0 25 0 1 0 910516862 44429312 10085 4294967295 134512640 134716908 3221224560 3221220444 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10847 10085 1111 63 0 10784 0
vsize: 43388
[startup+990.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 713555 0 3 0 97117 1879 0 0 25 0 1 0 910516862 44675072 10134 4294967295 134512640 134716908 3221224560 3221221160 1075850721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10907 10134 1111 63 0 10844 0
vsize: 43628
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 720012 0 3 0 98100 1896 0 0 25 0 1 0 910516862 45142016 10288 4294967295 134512640 134716908 3221224560 3221221088 1075397167 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11021 10288 1111 63 0 10958 0
vsize: 44084
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 727149 0 3 0 99080 1916 0 0 25 0 1 0 910516862 45608960 10379 4294967295 134512640 134716908 3221224560 3221221600 1075971237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11135 10379 1111 63 0 11072 0
vsize: 44540
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 734441 0 3 0 100061 1935 0 0 25 0 1 0 910516862 44531712 10200 4294967295 134512640 134716908 3221224560 3221222464 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10872 10200 1111 63 0 10809 0
vsize: 43488
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 741497 0 3 0 101045 1951 0 0 25 0 1 0 910516862 44756992 10223 4294967295 134512640 134716908 3221224560 3221222940 1073988384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10927 10223 1111 63 0 10864 0
vsize: 43708
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 747797 0 3 0 102029 1967 0 0 25 0 1 0 910516862 44769280 10250 4294967295 134512640 134716908 3221224560 3221222912 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10930 10250 1111 63 0 10867 0
vsize: 43720
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 754372 0 3 0 103013 1983 0 0 25 0 1 0 910516862 44978176 10309 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10981 10309 1111 63 0 10918 0
vsize: 43924
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 761445 0 3 0 103997 2000 0 0 25 0 1 0 910516862 45961216 10433 4294967295 134512640 134716908 3221224560 3221220508 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11221 10433 1111 63 0 11158 0
vsize: 44884
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 769961 0 3 0 104975 2022 0 0 25 0 1 0 910516862 45498368 10404 4294967295 134512640 134716908 3221224560 3221223456 134621531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11108 10404 1111 63 0 11045 0
vsize: 44432
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 777012 0 3 0 105957 2039 0 0 25 0 1 0 910516862 46862336 10711 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11441 10711 1111 63 0 11378 0
vsize: 45764
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 785842 0 3 0 106937 2060 0 0 25 0 1 0 910516862 46321664 10528 4294967295 134512640 134716908 3221224560 3221220768 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11309 10528 1111 63 0 11246 0
vsize: 45236
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 792095 0 3 0 107919 2078 0 0 25 0 1 0 910516862 45531136 10444 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11116 10444 1111 63 0 11053 0
vsize: 44464
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 799539 0 3 0 108900 2097 0 0 25 0 1 0 910516862 45670400 10463 4294967295 134512640 134716908 3221224560 3221222528 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11150 10463 1111 63 0 11087 0
vsize: 44600
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 807586 0 3 0 109882 2115 0 0 25 0 1 0 910516862 46129152 10558 4294967295 134512640 134716908 3221224560 3221221664 1074138740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11262 10558 1111 63 0 11199 0
vsize: 45048
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 815041 0 3 0 110865 2132 0 0 25 0 1 0 910516862 46059520 10541 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11245 10541 1111 63 0 11182 0
vsize: 44980
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 822144 0 3 0 111847 2151 0 0 25 0 1 0 910516862 47435776 10773 4294967295 134512640 134716908 3221224560 3221220720 1075091819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11581 10773 1111 63 0 11518 0
vsize: 46324
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 831520 0 3 0 112824 2174 0 0 25 0 1 0 910516862 47661056 10820 4294967295 134512640 134716908 3221224560 3221220440 1074788427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11636 10820 1111 63 0 11573 0
vsize: 46544
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 840309 0 3 0 113801 2196 0 0 25 0 1 0 910516862 47415296 10687 4294967295 134512640 134716908 3221224560 3221221600 1075971413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11576 10687 1111 63 0 11513 0
vsize: 46304
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 847264 0 3 0 114784 2214 0 0 25 0 1 0 910516862 46559232 10664 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11367 10664 1111 63 0 11304 0
vsize: 45468
[startup+1176.72 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 10834
Raw data (stat): 10834 (bsolo_lpr_cuts-) R 10833 20224 20223 0 -1 0 847264 0 3 0 114784 2214 0 0 25 0 1 0 910516862 46559232 10664 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11367 10664 1111 63 0 11304 0
vsize: 0

Child status: 10
Real time (s): 1176.71
CPU time (s): 1176.63
CPU user time (s): 1154.34
CPU system time (s): 22.2966
CPU usage (%): 99.9931
Max. virtual memory (Kb): 46544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####