PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.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 41083

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        808632 kB
Buffers:         24620 kB
Cached:         177312 kB
SwapCached:       1184 kB
Active:          37040 kB
Inactive:       167092 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        808380 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16176 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 05:43:49 (client local time) WITH STATUS 10 IN 1175.98 SECONDS
stats: 29149 0 1175.98 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.347 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.127
c NEW SOLUTION FOUND: 2416 @ 7.308
c NEW SOLUTION FOUND: 2399 @ 7.499
c NEW SOLUTION FOUND: 2396 @ 7.665
c NEW SOLUTION FOUND: 2395 @ 7.756
c NEW SOLUTION FOUND: 2383 @ 7.899
c NEW SOLUTION FOUND: 2373 @ 8.06
c NEW SOLUTION FOUND: 2363 @ 8.139
c NEW SOLUTION FOUND: 2351 @ 8.368
c NEW SOLUTION FOUND: 2188 @ 8.686
c NEW SOLUTION FOUND: 2176 @ 8.745
c NEW SOLUTION FOUND: 2097 @ 18.443
c NEW SOLUTION FOUND: 2083 @ 21.11
c NEW SOLUTION FOUND: 2013 @ 21.154
c NEW SOLUTION FOUND: 2003 @ 22.646
c NEW SOLUTION FOUND: 1933 @ 23.362
c NEW SOLUTION FOUND: 1890 @ 27.864
c NEW SOLUTION FOUND: 1888 @ 28.487
c NEW SOLUTION FOUND: 1860 @ 29.953
c NEW SOLUTION FOUND: 1858 @ 31.947
c NEW SOLUTION FOUND: 1838 @ 32.382
c NEW SOLUTION FOUND: 1831 @ 33.724
c NEW SOLUTION FOUND: 1816 @ 34.556
c NEW SOLUTION FOUND: 1809 @ 51.835
c NEW SOLUTION FOUND: 1806 @ 52.219
c NEW SOLUTION FOUND: 1804 @ 53.426
c NEW SOLUTION FOUND: 1759 @ 80.342
c NEW SOLUTION FOUND: 1754 @ 84.956
c NEW SOLUTION FOUND: 1749 @ 92.132
c NEW SOLUTION FOUND: 1743 @ 104.376
c NEW SOLUTION FOUND: 1731 @ 120.807
c NEW SOLUTION FOUND: 1723 @ 150.667
c NEW SOLUTION FOUND: 1700 @ 154.479
c NEW SOLUTION FOUND: 1688 @ 212.922
c NEW SOLUTION FOUND: 1655 @ 217.638
c NEW SOLUTION FOUND: 1640 @ 312.839
c NEW SOLUTION FOUND: 1635 @ 375.087
c NEW SOLUTION FOUND: 1625 @ 377.583
c NEW SOLUTION FOUND: 1615 @ 381.589
c NEW SOLUTION FOUND: 1599 @ 382.532
c NEW SOLUTION FOUND: 1595 @ 491.929
c NEW SOLUTION FOUND: 1589 @ 495.357
c NEW SOLUTION FOUND: 1561 @ 512.057
c NEW SOLUTION FOUND: 1559 @ 526.566
c NEW SOLUTION FOUND: 1557 @ 880.714
c NEW SOLUTION FOUND: 1545 @ 897.849
c NEW SOLUTION FOUND: 1535 @ 903.907
c NEW SOLUTION FOUND: 1533 @ 978.843
c NEW SOLUTION FOUND: 1523 @ 1091.41
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: 1175.96 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.87 0.91 2/55 31678
Raw data (stat): 31678 (runsolver) R 31677 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850873905 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.0001 s]
Raw data (loadavg): 0.71 0.87 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 7052 0 0 0 978 19 0 0 25 0 1 0 850873905 11804672 2142 4294967295 134512640 134716908 3221224560 3221223000 1073987569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2882 2142 1111 63 0 2819 0
vsize: 11528
[startup+20.0008 s]
Raw data (loadavg): 0.75 0.88 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 17625 0 0 0 1949 49 0 0 25 0 1 0 850873905 13774848 2626 4294967295 134512640 134716908 3221224560 3221222856 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 2626 1111 63 0 3300 0
vsize: 13452
[startup+30.0016 s]
Raw data (loadavg): 0.79 0.88 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 26612 0 0 0 2924 74 0 0 25 0 1 0 850873905 14499840 2861 4294967295 134512640 134716908 3221224560 3221222788 1077378730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3540 2861 1111 63 0 3477 0
vsize: 14160
[startup+40.0014 s]
Raw data (loadavg): 0.82 0.88 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 33867 0 0 0 3904 94 0 0 25 0 1 0 850873905 15233024 2962 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3719 2962 1111 63 0 3656 0
vsize: 14876
[startup+50.0022 s]
Raw data (loadavg): 0.85 0.89 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 42218 0 0 0 4884 114 0 0 25 0 1 0 850873905 15949824 3144 4294967295 134512640 134716908 3221224560 3221221216 1075966540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3144 1111 63 0 3831 0
vsize: 15576
[startup+60.002 s]
Raw data (loadavg): 0.87 0.89 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 50993 0 0 0 5863 136 0 0 25 0 1 0 850873905 16203776 3274 4294967295 134512640 134716908 3221224560 3221223056 134543043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3274 1111 63 0 3893 0
vsize: 15824
[startup+70.0028 s]
Raw data (loadavg): 0.89 0.89 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 58971 0 0 0 6842 157 0 0 25 0 1 0 850873905 17166336 3450 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4191 3450 1111 63 0 4128 0
vsize: 16764
[startup+80.0036 s]
Raw data (loadavg): 0.91 0.90 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 67338 0 0 0 7818 181 0 0 25 0 1 0 850873905 17723392 3622 4294967295 134512640 134716908 3221224560 3221222788 1077374467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4327 3622 1111 63 0 4264 0
vsize: 17308
[startup+90.0034 s]
Raw data (loadavg): 0.92 0.90 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 74670 0 0 0 8800 199 0 0 25 0 1 0 850873905 18214912 3775 4294967295 134512640 134716908 3221224560 3221222680 1077377398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4447 3775 1111 63 0 4384 0
vsize: 17788
[startup+100.003 s]
Raw data (loadavg): 0.93 0.90 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 81633 0 0 0 9782 217 0 0 25 0 1 0 850873905 18903040 3943 4294967295 134512640 134716908 3221224560 3221222960 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4615 3943 1111 63 0 4552 0
vsize: 18460
[startup+110.004 s]
Raw data (loadavg): 0.94 0.91 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 88730 0 0 0 10764 235 0 0 25 0 1 0 850873905 19456000 4078 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 4078 1111 63 0 4687 0
vsize: 19000
[startup+120.005 s]
Raw data (loadavg): 0.95 0.91 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 96611 0 0 0 11746 253 0 0 25 0 1 0 850873905 19902464 4187 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4859 4187 1111 63 0 4796 0
vsize: 19436
[startup+130.005 s]
Raw data (loadavg): 0.96 0.91 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 104025 0 0 0 12728 272 0 0 25 0 1 0 850873905 21172224 4416 4294967295 134512640 134716908 3221224560 3221221680 1074835540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5169 4416 1111 63 0 5106 0
vsize: 20676
[startup+140.004 s]
Raw data (loadavg): 0.96 0.91 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 112009 0 0 0 13709 291 0 0 25 0 1 0 850873905 21200896 4459 4294967295 134512640 134716908 3221224560 3221223296 134622912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4459 1111 63 0 5113 0
vsize: 20704
[startup+150.005 s]
Raw data (loadavg): 0.97 0.92 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 121529 0 0 0 14685 315 0 0 25 0 1 0 850873905 22085632 4720 4294967295 134512640 134716908 3221224560 3221222304 1075636586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5392 4720 1111 63 0 5329 0
vsize: 21568
[startup+160.005 s]
Raw data (loadavg): 0.97 0.92 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 130125 0 0 0 15663 337 0 0 25 0 1 0 850873905 22839296 4883 4294967295 134512640 134716908 3221224560 3221222816 1074039446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5576 4883 1111 63 0 5513 0
vsize: 22304
[startup+170.006 s]
Raw data (loadavg): 0.98 0.92 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 137215 0 0 0 16646 354 0 0 25 0 1 0 850873905 22958080 4933 4294967295 134512640 134716908 3221224560 3221222672 1074867314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5605 4933 1111 63 0 5542 0
vsize: 22420
[startup+180.005 s]
Raw data (loadavg): 0.98 0.92 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 144136 0 0 0 17629 371 0 0 25 0 1 0 850873905 23482368 5061 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5733 5061 1111 63 0 5670 0
vsize: 22932
[startup+190.005 s]
Raw data (loadavg): 0.98 0.92 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 151079 0 0 0 18610 391 0 0 25 0 1 0 850873905 24141824 5220 4294967295 134512640 134716908 3221224560 3221222960 1074118870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5894 5220 1111 63 0 5831 0
vsize: 23576
[startup+200.005 s]
Raw data (loadavg): 0.98 0.93 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 157850 0 0 0 19594 407 0 0 25 0 1 0 850873905 24596480 5333 4294967295 134512640 134716908 3221224560 3221222560 1074918944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6005 5333 1111 63 0 5942 0
vsize: 24020
[startup+210.005 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 165304 0 0 0 20574 427 0 0 25 0 1 0 850873905 25788416 5562 4294967295 134512640 134716908 3221224560 3221220832 1074961157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6296 5562 1111 63 0 6233 0
vsize: 25184
[startup+220.006 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 172470 0 0 0 21556 445 0 0 25 0 1 0 850873905 25653248 5591 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6263 5591 1111 63 0 6200 0
vsize: 25052
[startup+230.005 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 178673 0 0 0 22541 460 0 0 25 0 1 0 850873905 26746880 5822 4294967295 134512640 134716908 3221224560 3221220720 1074794549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6530 5822 1111 63 0 6467 0
vsize: 26120
[startup+240.005 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 186050 0 0 0 23523 478 0 0 25 0 1 0 850873905 26484736 5761 4294967295 134512640 134716908 3221224560 3221223072 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6466 5761 1111 63 0 6403 0
vsize: 25864
[startup+250.005 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 194125 0 0 0 24503 498 0 0 25 0 1 0 850873905 27021312 5925 4294967295 134512640 134716908 3221224560 3221221752 1074138297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6597 5925 1111 63 0 6534 0
vsize: 26388
[startup+260.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 201618 0 0 0 25486 515 0 0 25 0 1 0 850873905 26308608 5751 4294967295 134512640 134716908 3221224560 3221222860 1074146096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6423 5751 1111 63 0 6360 0
vsize: 25692
[startup+270.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 207675 0 0 0 26471 531 0 0 25 0 1 0 850873905 26308608 5751 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6423 5751 1111 63 0 6360 0
vsize: 25692
[startup+280.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 214190 0 0 0 27455 547 0 0 25 0 1 0 850873905 26406912 5775 4294967295 134512640 134716908 3221224560 3221221664 1074139086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6447 5775 1111 63 0 6384 0
vsize: 25788
[startup+290.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 220832 0 0 0 28437 565 0 0 25 0 1 0 850873905 27119616 5894 4294967295 134512640 134716908 3221224560 3221220444 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6621 5894 1111 63 0 6558 0
vsize: 26484
[startup+300.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 227120 0 0 0 29423 579 0 0 25 0 1 0 850873905 26828800 5847 4294967295 134512640 134716908 3221224560 3221222712 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6550 5847 1111 63 0 6487 0
vsize: 26200
[startup+310.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 233358 0 0 0 30409 593 0 0 25 0 1 0 850873905 26554368 5811 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6483 5811 1111 63 0 6420 0
vsize: 25932
[startup+320.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 240082 0 0 0 31392 610 0 0 25 0 1 0 850873905 27475968 5943 4294967295 134512640 134716908 3221224560 3221221916 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6708 5943 1111 63 0 6645 0
vsize: 26832
[startup+330.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 247011 0 0 0 32377 626 0 0 25 0 1 0 850873905 27291648 5991 4294967295 134512640 134716908 3221224560 3221221904 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6663 5991 1111 63 0 6600 0
vsize: 26652
[startup+340.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 254034 0 0 0 33360 642 0 0 25 0 1 0 850873905 27627520 6073 4294967295 134512640 134716908 3221224560 3221222288 1075828682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6745 6073 1111 63 0 6682 0
vsize: 26980
[startup+350.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 260882 0 0 0 34343 660 0 0 25 0 1 0 850873905 27791360 6113 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6785 6113 1111 63 0 6722 0
vsize: 27140
[startup+360.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 267394 0 0 0 35328 674 0 0 25 0 1 0 850873905 29057024 6359 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7094 6359 1111 63 0 7031 0
vsize: 28376
[startup+370.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 274197 0 0 0 36312 691 0 0 25 0 1 0 850873905 28545024 6297 4294967295 134512640 134716908 3221224560 3221222856 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6969 6297 1111 63 0 6906 0
vsize: 27876
[startup+380.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 282993 0 0 0 37290 713 0 0 25 0 1 0 850873905 29298688 6432 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7153 6432 1111 63 0 7090 0
vsize: 28612
[startup+390.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 290998 0 0 0 38272 731 0 0 25 0 1 0 850873905 29675520 6544 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7245 6544 1111 63 0 7182 0
vsize: 28980
[startup+400.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 297402 0 0 0 39257 746 0 0 25 0 1 0 850873905 30552064 6746 4294967295 134512640 134716908 3221224560 3221220744 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7459 6746 1111 63 0 7396 0
vsize: 29836
[startup+410.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 304136 0 0 0 40242 761 0 0 25 0 1 0 850873905 30134272 6629 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7357 6629 1111 63 0 7294 0
vsize: 29428
[startup+420.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 312035 0 0 0 41223 781 0 0 25 0 1 0 850873905 29892608 6626 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7298 6626 1111 63 0 7235 0
vsize: 29192
[startup+430.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 318734 0 0 0 42206 798 0 0 25 0 1 0 850873905 30425088 6756 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7428 6756 1111 63 0 7365 0
vsize: 29712
[startup+440.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 325941 0 0 0 43188 816 0 0 25 0 1 0 850873905 31039488 6864 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7578 6864 1111 63 0 7515 0
vsize: 30312
[startup+450.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 332635 0 0 0 44171 833 0 0 25 0 1 0 850873905 31772672 7035 4294967295 134512640 134716908 3221224560 3221220660 1075964218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7757 7035 1111 63 0 7694 0
vsize: 31028
[startup+460.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 339981 0 0 0 45151 853 0 0 25 0 1 0 850873905 31875072 7035 4294967295 134512640 134716908 3221224560 3221221872 1076083602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7782 7035 1111 63 0 7719 0
vsize: 31128
[startup+470.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 346309 0 0 0 46136 868 0 0 25 0 1 0 850873905 32006144 7106 4294967295 134512640 134716908 3221224560 3221221840 1074140026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7814 7110 1111 63 0 7751 0
vsize: 31256
[startup+480.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 353975 0 0 0 47118 886 0 0 25 0 1 0 850873905 32583680 7254 4294967295 134512640 134716908 3221224560 3221222624 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7955 7254 1111 63 0 7892 0
vsize: 31820
[startup+490.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 360847 0 0 0 48101 904 0 0 25 0 1 0 850873905 33521664 7462 4294967295 134512640 134716908 3221224560 3221220928 1075894554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8184 7462 1111 63 0 8121 0
vsize: 32736
[startup+500.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 368382 0 0 0 49084 921 0 0 25 0 1 0 850873905 33406976 7437 4294967295 134512640 134716908 3221224560 3221221840 1074140026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8156 7443 1111 63 0 8093 0
vsize: 32624
[startup+510.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 377372 0 0 0 50063 942 0 0 25 0 1 0 850873905 33394688 7416 4294967295 134512640 134716908 3221224560 3221221328 1076084141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7416 1111 63 0 8090 0
vsize: 32612
[startup+520.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 384096 0 0 0 51045 960 0 0 25 0 1 0 850873905 33341440 7430 4294967295 134512640 134716908 3221224560 3221222208 1075818740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8140 7430 1111 63 0 8077 0
vsize: 32560
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 391453 0 0 0 52028 977 0 0 25 0 1 0 850873905 33902592 7558 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8277 7558 1111 63 0 8214 0
vsize: 33108
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 397915 0 0 0 53011 994 0 0 25 0 1 0 850873905 33947648 7616 4294967295 134512640 134716908 3221224560 3221222692 1077374469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8288 7616 1111 63 0 8225 0
vsize: 33152
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 404095 0 0 0 53998 1007 0 0 25 0 1 0 850873905 34643968 7750 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8458 7750 1111 63 0 8395 0
vsize: 33832
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 410344 0 0 0 54983 1023 0 0 25 0 1 0 850873905 35098624 7876 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8569 7880 1111 63 0 8506 0
vsize: 34276
[startup+570.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 417518 0 0 0 55966 1039 0 0 25 0 1 0 850873905 35950592 8057 4294967295 134512640 134716908 3221224560 3221220720 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8777 8058 1111 63 0 8714 0
vsize: 35108
[startup+580.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 423993 0 0 0 56950 1056 0 0 25 0 1 0 850873905 35614720 8010 4294967295 134512640 134716908 3221224560 3221222560 1074918322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8695 8010 1111 63 0 8632 0
vsize: 34780
[startup+590.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 431555 0 0 0 57934 1072 0 0 25 0 1 0 850873905 36139008 8092 4294967295 134512640 134716908 3221224560 3221220896 1075114268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8823 8092 1111 63 0 8760 0
vsize: 35292
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 438657 0 0 0 58917 1090 0 0 25 0 1 0 850873905 36134912 8073 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8822 8073 1111 63 0 8759 0
vsize: 35288
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 443306 0 0 0 59905 1101 0 0 25 0 1 0 850873905 36081664 8094 4294967295 134512640 134716908 3221224560 3221222840 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8809 8103 1111 63 0 8746 0
vsize: 35236
[startup+620.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 449182 0 0 0 60893 1114 0 0 25 0 1 0 850873905 36671488 8214 4294967295 134512640 134716908 3221224560 3221220788 1075115109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8953 8214 1111 63 0 8890 0
vsize: 35812
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 455505 0 0 0 61879 1128 0 0 25 0 1 0 850873905 35778560 8063 4294967295 134512640 134716908 3221224560 3221223136 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8735 8063 1111 63 0 8672 0
vsize: 34940
[startup+640.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 464127 0 0 0 62860 1147 0 0 25 0 1 0 850873905 36196352 8114 4294967295 134512640 134716908 3221224560 3221222248 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8837 8114 1111 63 0 8774 0
vsize: 35348
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 471163 0 0 0 63842 1165 0 0 25 0 1 0 850873905 36610048 8229 4294967295 134512640 134716908 3221224560 3221223072 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8938 8229 1111 63 0 8875 0
vsize: 35752
[startup+660.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 477352 0 0 0 64828 1179 0 0 25 0 1 0 850873905 37306368 8360 4294967295 134512640 134716908 3221224560 3221221600 1075971404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 8367 1111 63 0 9045 0
vsize: 36432
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 484039 0 0 0 65811 1196 0 0 25 0 1 0 850873905 37203968 8364 4294967295 134512640 134716908 3221224560 3221223048 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9083 8364 1111 63 0 9020 0
vsize: 36332
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 490415 0 0 0 66795 1213 0 0 25 0 1 0 850873905 37810176 8503 4294967295 134512640 134716908 3221224560 3221221092 1075863614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9231 8503 1111 63 0 9168 0
vsize: 36924
[startup+690.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 497265 0 0 0 67777 1230 0 0 25 0 1 0 850873905 37404672 8447 4294967295 134512640 134716908 3221224560 3221222560 1074918330 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9132 8447 1111 63 0 9069 0
vsize: 36528
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 503894 0 0 0 68761 1247 0 0 25 0 1 0 850873905 37974016 8570 4294967295 134512640 134716908 3221224560 3221222944 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9271 8570 1111 63 0 9208 0
vsize: 37084
[startup+710.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 510017 0 0 0 69745 1263 0 0 25 0 1 0 850873905 38211584 8627 4294967295 134512640 134716908 3221224560 3221222560 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9329 8627 1111 63 0 9266 0
vsize: 37316
[startup+720.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 516729 0 0 0 70729 1279 0 0 25 0 1 0 850873905 38682624 8706 4294967295 134512640 134716908 3221224560 3221220660 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9444 8706 1111 63 0 9381 0
vsize: 37776
[startup+730.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 523564 0 0 0 71713 1295 0 0 25 0 1 0 850873905 39510016 8898 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9646 8898 1111 63 0 9583 0
vsize: 38584
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 531197 0 0 0 72693 1315 0 0 25 0 1 0 850873905 39100416 8840 4294967295 134512640 134716908 3221224560 3221223072 134646532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9546 8840 1111 63 0 9483 0
vsize: 38184
[startup+750.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 537646 0 0 0 73679 1330 0 0 25 0 1 0 850873905 39145472 8871 4294967295 134512640 134716908 3221224560 3221222560 1074916858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9557 8871 1111 63 0 9494 0
vsize: 38228
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 545276 0 0 0 74662 1347 0 0 25 0 1 0 850873905 39837696 8985 4294967295 134512640 134716908 3221224560 3221220800 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9726 8985 1111 63 0 9663 0
vsize: 38904
[startup+770.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 552148 0 0 0 75644 1365 0 0 25 0 1 0 850873905 39903232 9018 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9742 9018 1111 63 0 9679 0
vsize: 38968
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 559586 0 0 0 76625 1385 0 0 25 0 1 0 850873905 40648704 9185 4294967295 134512640 134716908 3221224560 3221221216 1075966513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9924 9185 1111 63 0 9861 0
vsize: 39696
[startup+790.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 566809 0 0 0 77609 1400 0 0 25 0 1 0 850873905 40595456 9178 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9911 9178 1111 63 0 9848 0
vsize: 39644
[startup+800.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 573640 0 0 0 78593 1416 0 0 25 0 1 0 850873905 41304064 9332 4294967295 134512640 134716908 3221224560 3221221120 1076046556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10084 9332 1111 63 0 10021 0
vsize: 40336
[startup+810.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 580798 0 0 0 79576 1434 0 0 25 0 1 0 850873905 40833024 9297 4294967295 134512640 134716908 3221224560 3221222200 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9969 9297 1111 63 0 9906 0
vsize: 39876
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 587771 0 0 0 80558 1452 0 0 25 0 1 0 850873905 41156608 9370 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 9370 1111 63 0 9985 0
vsize: 40192
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 594796 0 0 0 81540 1471 0 0 25 0 1 0 850873905 42065920 9533 4294967295 134512640 134716908 3221224560 3221220704 1074969680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10270 9533 1111 63 0 10207 0
vsize: 41080
[startup+840.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 601942 0 0 0 82523 1488 0 0 25 0 1 0 850873905 42455040 9630 4294967295 134512640 134716908 3221224560 3221221328 1076083891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10365 9630 1111 63 0 10302 0
vsize: 41460
[startup+850.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 609225 0 0 0 83508 1503 0 0 25 0 1 0 850873905 43151360 9771 4294967295 134512640 134716908 3221224560 3221220784 1075895786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10535 9771 1111 63 0 10472 0
vsize: 42140
[startup+860.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 616722 0 0 0 84492 1519 0 0 25 0 1 0 850873905 42586112 9710 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10397 9710 1111 63 0 10334 0
vsize: 41588
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 624347 0 0 0 85474 1537 0 0 25 0 1 0 850873905 43433984 9862 4294967295 134512640 134716908 3221224560 3221220704 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10604 9862 1111 63 0 10541 0
vsize: 42416
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 631803 0 0 0 86456 1555 0 0 25 0 1 0 850873905 42979328 9759 4294967295 134512640 134716908 3221224560 3221220572 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10493 9759 1111 63 0 10430 0
vsize: 41972
[startup+890.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 638297 0 0 0 87440 1571 0 0 25 0 1 0 850873905 43352064 9857 4294967295 134512640 134716908 3221224560 3221220604 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10584 9857 1111 63 0 10521 0
vsize: 42336
[startup+900.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 644993 0 0 0 88424 1587 0 0 25 0 1 0 850873905 43184128 9834 4294967295 134512640 134716908 3221224560 3221222672 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10543 9834 1111 63 0 10480 0
vsize: 42172
[startup+910.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 652264 0 0 0 89407 1604 0 0 25 0 1 0 850873905 43286528 9888 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10568 9888 1111 63 0 10505 0
vsize: 42272
[startup+920.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 660517 0 0 0 90388 1623 0 0 25 0 1 0 850873905 42905600 9785 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9785 1111 63 0 10412 0
vsize: 41900
[startup+930.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 666524 0 0 0 91375 1637 0 0 25 0 1 0 850873905 42938368 9811 4294967295 134512640 134716908 3221224560 3221222560 1074153782 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 672747 0 0 0 92362 1650 0 0 25 0 1 0 850873905 43212800 9878 4294967295 134512640 134716908 3221224560 3221222560 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10550 9878 1111 63 0 10487 0
vsize: 42200
[startup+950.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 678678 0 0 0 93348 1664 0 0 25 0 1 0 850873905 43401216 9924 4294967295 134512640 134716908 3221224560 3221222864 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10596 9924 1111 63 0 10533 0
vsize: 42384
[startup+960.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 685136 0 0 0 94333 1679 0 0 25 0 1 0 850873905 43433984 9932 4294967295 134512640 134716908 3221224560 3221222416 1074153792 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 693081 0 0 0 95316 1696 0 0 25 0 1 0 850873905 44879872 10213 4294967295 134512640 134716908 3221224560 3221220560 1075965248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10213 1111 63 0 10894 0
vsize: 43828
[startup+980.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 701434 0 0 0 96297 1715 0 0 25 0 1 0 850873905 43704320 9998 4294967295 134512640 134716908 3221224560 3221223116 134536831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10670 9998 1111 63 0 10607 0
vsize: 42680
[startup+990.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 708371 0 0 0 97280 1732 0 0 25 0 1 0 850873905 44609536 10101 4294967295 134512640 134716908 3221224560 3221220592 1075965243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10891 10101 1111 63 0 10828 0
vsize: 43564
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 715631 0 0 0 98264 1749 0 0 25 0 1 0 850873905 44703744 10160 4294967295 134512640 134716908 3221224560 3221220720 1075093350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10914 10160 1111 63 0 10851 0
vsize: 43656
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 721991 0 0 0 99249 1764 0 0 25 0 1 0 850873905 45076480 10300 4294967295 134512640 134716908 3221224560 3221220736 1074882616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11005 10300 1111 63 0 10942 0
vsize: 44020
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 728583 0 0 0 100234 1779 0 0 25 0 1 0 850873905 45637632 10432 4294967295 134512640 134716908 3221224560 3221221504 1074620363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11142 10432 1111 63 0 11079 0
vsize: 44568
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 736554 0 0 0 101217 1796 0 0 25 0 1 0 850873905 44994560 10281 4294967295 134512640 134716908 3221224560 3221222880 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10985 10281 1111 63 0 10922 0
vsize: 43940
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 742911 0 0 0 102202 1811 0 0 25 0 1 0 850873905 44892160 10281 4294967295 134512640 134716908 3221224560 3221222560 1074918496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10960 10281 1111 63 0 10897 0
vsize: 43840
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 749143 0 0 0 103186 1828 0 0 25 0 1 0 850873905 45031424 10276 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10994 10280 1111 63 0 10931 0
vsize: 43976
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 755423 0 0 0 104172 1841 0 0 25 0 1 0 850873905 46194688 10572 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11278 10572 1111 63 0 11215 0
vsize: 45112
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 762994 0 0 0 105155 1859 0 0 25 0 1 0 850873905 45142016 10349 4294967295 134512640 134716908 3221224560 3221222472 1074138309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11021 10349 1111 63 0 10958 0
vsize: 44084
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 771235 0 0 0 106139 1875 0 0 25 0 1 0 850873905 45457408 10426 4294967295 134512640 134716908 3221224560 3221222304 1075640405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11098 10426 1111 63 0 11035 0
vsize: 44392
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 779133 0 0 0 107121 1894 0 0 25 0 1 0 850873905 46104576 10491 4294967295 134512640 134716908 3221224560 3221221092 1075863612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11256 10491 1111 63 0 11193 0
vsize: 45024
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 786808 0 0 0 108102 1913 0 0 25 0 1 0 850873905 46694400 10624 4294967295 134512640 134716908 3221224560 3221220788 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11400 10624 1111 63 0 11337 0
vsize: 45600
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 793151 0 0 0 109088 1926 0 0 25 0 1 0 850873905 46235648 10551 4294967295 134512640 134716908 3221224560 3221222520 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11288 10562 1111 63 0 11225 0
vsize: 45152
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 800412 0 0 0 110072 1943 0 0 25 0 1 0 850873905 45899776 10526 4294967295 134512640 134716908 3221224560 3221222896 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11206 10526 1111 63 0 11143 0
vsize: 44824
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 808228 0 0 0 111054 1962 0 0 25 0 1 0 850873905 47304704 10782 4294967295 134512640 134716908 3221224560 3221220604 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11549 10782 1111 63 0 11486 0
vsize: 46196
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 815736 0 0 0 112036 1979 0 0 25 0 1 0 850873905 47218688 10806 4294967295 134512640 134716908 3221224560 3221220572 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11528 10806 1111 63 0 11465 0
vsize: 46112
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 822879 0 0 0 113019 1996 0 0 25 0 1 0 850873905 47509504 10822 4294967295 134512640 134716908 3221224560 3221221160 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11599 10822 1111 63 0 11536 0
vsize: 46396
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 832247 0 0 0 113999 2016 0 0 25 0 1 0 850873905 46481408 10647 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11348 10651 1111 63 0 11285 0
vsize: 45392
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 840768 0 0 0 114980 2036 0 0 25 0 1 0 850873905 47427584 10817 4294967295 134512640 134716908 3221224560 3221221632 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11579 10817 1111 63 0 11516 0
vsize: 46316
[startup+1175.82 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 31678
Raw data (stat): 31678 (bsolo_lpr_cuts-) R 31677 8378 8377 0 -1 0 840768 0 0 0 114980 2036 0 0 25 0 1 0 850873905 47427584 10817 4294967295 134512640 134716908 3221224560 3221221632 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11579 10817 1111 63 0 11516 0
vsize: 0

Child status: 10
Real time (s): 1175.82
CPU time (s): 1175.98
CPU user time (s): 1155.51
CPU system time (s): 20.4769
CPU usage (%): 100.014
Max. virtual memory (Kb): 46396
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####