PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 08:45:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18697 boxname=wulflinc31 idbench=1439 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-p0201.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-p0201.opb
IDLAUNCH: 18697
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        561224 kB
Buffers:         35456 kB
Cached:         417408 kB
SwapCached:       1172 kB
Active:         304284 kB
Inactive:       150968 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        560972 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:             140 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12576 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 09:05:13 (client local time) WITH STATUS 10 IN 1186.86 SECONDS
stats: 18697 0 1186.86 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 201 variables and 133 constraints.
c After prepocess the problem consists of 195 variables and 127 constraints.
c preprocess terminated 0.219 s
c Initial Lower Bound: 1100
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2290 @ 0.237
c NEW SOLUTION FOUND: 2272 @ 0.241
c NEW SOLUTION FOUND: 2247 @ 0.242
c NEW SOLUTION FOUND: 2235 @ 0.245
c NEW SOLUTION FOUND: 2216 @ 0.249
c NEW SOLUTION FOUND: 2204 @ 0.251
c NEW SOLUTION FOUND: 2192 @ 0.255
c NEW SOLUTION FOUND: 2180 @ 0.256
c NEW SOLUTION FOUND: 2171 @ 0.268
c NEW SOLUTION FOUND: 2159 @ 0.27
c NEW SOLUTION FOUND: 2147 @ 0.286
c NEW SOLUTION FOUND: 2140 @ 0.351
c NEW SOLUTION FOUND: 2100 @ 0.491
c NEW SOLUTION FOUND: 2097 @ 0.599
c NEW SOLUTION FOUND: 2085 @ 0.6
c NEW SOLUTION FOUND: 2067 @ 1.151
c NEW SOLUTION FOUND: 2064 @ 1.218
c NEW SOLUTION FOUND: 2052 @ 1.327
c NEW SOLUTION FOUND: 2037 @ 1.467
c NEW SOLUTION FOUND: 2025 @ 1.472
c NEW SOLUTION FOUND: 2020 @ 15.2
c NEW SOLUTION FOUND: 2017 @ 15.203
c NEW SOLUTION FOUND: 2009 @ 15.619
c NEW SOLUTION FOUND: 1985 @ 15.839
c NEW SOLUTION FOUND: 1982 @ 23.145
c NEW SOLUTION FOUND: 1967 @ 67.185
c NEW SOLUTION FOUND: 1954 @ 67.51
c NEW SOLUTION FOUND: 1942 @ 67.582
c NEW SOLUTION FOUND: 1939 @ 345.505
c NEW SOLUTION FOUND: 1927 @ 345.51
c NEW SOLUTION FOUND: 1914 @ 345.769
c NEW SOLUTION FOUND: 1902 @ 345.863
c NEW SOLUTION FOUND: 1899 @ 714.477
c NEW SOLUTION FOUND: 1887 @ 714.548
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: 1186.76 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
Raw data (loadavg): 0.93 0.98 0.95 2/55 8130
Raw data (stat): 8130 (runsolver) R 8129 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 802958645 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 4766 0 0 0 983 14 0 0 25 0 1 0 802958645 23314432 4741 4294967295 134512640 134714540 3221221776 3221220496 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5692 4741 1111 63 0 5629 0
vsize: 22768
[startup+20.0003 s]
Raw data (loadavg): 0.95 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 6287 0 0 0 1979 18 0 0 25 0 1 0 802958645 29540352 6260 4294967295 134512640 134714540 3221221776 3221220576 134622484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7212 6260 1111 63 0 7149 0
vsize: 28848
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 12009 0 0 0 2964 33 0 0 25 0 1 0 802958645 53452800 11932 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13050 11932 1111 63 0 12987 0
vsize: 52200
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 12009 0 0 0 3964 33 0 0 25 0 1 0 802958645 53452800 11932 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13050 11932 1111 63 0 12987 0
vsize: 52200
[startup+50.002 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 12009 0 0 0 4964 33 0 0 25 0 1 0 802958645 53452800 11932 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13050 11932 1111 63 0 12987 0
vsize: 52200
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 12009 0 0 0 5964 33 0 0 25 0 1 0 802958645 53452800 11932 4294967295 134512640 134714540 3221221776 3221220488 134543157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13050 11932 1111 63 0 12987 0
vsize: 52200
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 15501 0 0 0 6954 43 0 0 25 0 1 0 802958645 68345856 15351 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16686 15351 1111 63 0 16623 0
vsize: 66744
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 16904 0 0 0 7952 46 0 0 25 0 1 0 802958645 74260480 16739 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18130 16739 1111 63 0 18067 0
vsize: 72520
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 16904 0 0 0 8952 46 0 0 25 0 1 0 802958645 74260480 16739 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18130 16739 1111 63 0 18067 0
vsize: 72520
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 16904 0 0 0 9952 46 0 0 25 0 1 0 802958645 74260480 16739 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18130 16739 1111 63 0 18067 0
vsize: 72520
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 16906 0 0 0 10952 46 0 0 25 0 1 0 802958645 74260480 16741 4294967295 134512640 134714540 3221221776 3221220512 134622923 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18130 16741 1111 63 0 18067 0
vsize: 72520
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 16914 0 0 0 11952 46 0 0 25 0 1 0 802958645 74260480 16749 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18130 16749 1111 63 0 18067 0
vsize: 72520
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 16924 0 0 0 12952 46 0 0 25 0 1 0 802958645 74260480 16759 4294967295 134512640 134714540 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18130 16759 1111 63 0 18067 0
vsize: 72520
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 16936 0 0 0 13952 46 0 0 25 0 1 0 802958645 74395648 16771 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18163 16771 1111 63 0 18100 0
vsize: 72652
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17009 0 0 0 14953 46 0 0 25 0 1 0 802958645 74665984 16844 4294967295 134512640 134714540 3221221776 3221220256 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18229 16844 1111 63 0 18166 0
vsize: 72916
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17034 0 0 0 15953 46 0 0 25 0 1 0 802958645 74801152 16869 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+170.006 s]
Raw data (loadavg): 1.07 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17034 0 0 0 16953 46 0 0 25 0 1 0 802958645 74801152 16869 4294967295 134512640 134714540 3221221776 3221220500 134622883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+180.006 s]
Raw data (loadavg): 1.06 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17034 0 0 0 17953 47 0 0 25 0 1 0 802958645 74801152 16869 4294967295 134512640 134714540 3221221776 3221220500 134622859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+190.006 s]
Raw data (loadavg): 1.05 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17034 0 0 0 18953 47 0 0 25 0 1 0 802958645 74801152 16869 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+200.006 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17034 0 0 0 19953 47 0 0 25 0 1 0 802958645 74801152 16869 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+210.006 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17034 0 0 0 20953 47 0 0 25 0 1 0 802958645 74801152 16869 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+220.006 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17034 0 0 0 21953 47 0 0 25 0 1 0 802958645 74801152 16869 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+230.006 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17034 0 0 0 22953 47 0 0 25 0 1 0 802958645 74801152 16869 4294967295 134512640 134714540 3221221776 3221220488 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+240.006 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17034 0 0 0 23953 47 0 0 25 0 1 0 802958645 74801152 16869 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+250.007 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17034 0 0 0 24954 47 0 0 25 0 1 0 802958645 74801152 16869 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+260.008 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17034 0 0 0 25954 47 0 0 25 0 1 0 802958645 74801152 16869 4294967295 134512640 134714540 3221221776 3221220592 134622477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+270.008 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17034 0 0 0 26954 47 0 0 25 0 1 0 802958645 74801152 16869 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+280.007 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17034 0 0 0 27954 47 0 0 25 0 1 0 802958645 74801152 16869 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+290.008 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17035 0 0 0 28954 47 0 0 25 0 1 0 802958645 74801152 16870 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16870 1111 63 0 18199 0
vsize: 73048
[startup+300.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17035 0 0 0 29954 47 0 0 25 0 1 0 802958645 74801152 16870 4294967295 134512640 134714540 3221221776 3221220560 134622506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16870 1111 63 0 18199 0
vsize: 73048
[startup+310.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 17035 0 0 0 30954 47 0 0 25 0 1 0 802958645 74801152 16870 4294967295 134512640 134714540 3221221776 3221220568 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16870 1111 63 0 18199 0
vsize: 73048
[startup+320.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 20484 0 0 0 31946 56 0 0 25 0 1 0 802958645 88907776 20283 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21706 20283 1111 63 0 21643 0
vsize: 86824
[startup+330.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 20484 0 0 0 32946 56 0 0 25 0 1 0 802958645 88907776 20283 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21706 20283 1111 63 0 21643 0
vsize: 86824
[startup+340.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 20484 0 0 0 33946 56 0 0 25 0 1 0 802958645 88907776 20283 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21706 20283 1111 63 0 21643 0
vsize: 86824
[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 25280 0 0 0 34935 67 0 0 25 0 1 0 802958645 109965312 24932 4294967295 134512640 134714540 3221221776 3221220496 134622766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26847 24932 1111 63 0 26784 0
vsize: 107388
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26398 0 0 0 35932 70 0 0 25 0 1 0 802958645 114802688 26009 4294967295 134512640 134714540 3221221776 3221220492 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28028 26009 1111 63 0 27965 0
vsize: 112112
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26398 0 0 0 36931 70 0 0 25 0 1 0 802958645 114802688 26009 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28028 26009 1111 63 0 27965 0
vsize: 112112
[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26403 0 0 0 37931 70 0 0 25 0 1 0 802958645 114802688 26014 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28028 26014 1111 63 0 27965 0
vsize: 112112
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26411 0 0 0 38931 70 0 0 25 0 1 0 802958645 114802688 26022 4294967295 134512640 134714540 3221221776 3221220448 134536698 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28028 26022 1111 63 0 27965 0
vsize: 112112
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26422 0 0 0 39931 70 0 0 25 0 1 0 802958645 114802688 26033 4294967295 134512640 134714540 3221221776 3221220500 134622905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28028 26033 1111 63 0 27965 0
vsize: 112112
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26482 0 0 0 40930 71 0 0 25 0 1 0 802958645 115138560 26089 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26089 1111 63 0 28047 0
vsize: 112440
[startup+420.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26492 0 0 0 41930 71 0 0 25 0 1 0 802958645 115138560 26099 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26099 1111 63 0 28047 0
vsize: 112440
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26495 0 0 0 42930 71 0 0 25 0 1 0 802958645 115138560 26102 4294967295 134512640 134714540 3221221776 3221220504 134622854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26495 0 0 0 43930 71 0 0 25 0 1 0 802958645 115138560 26102 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26495 0 0 0 44930 71 0 0 25 0 1 0 802958645 115138560 26102 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26495 0 0 0 45930 71 0 0 25 0 1 0 802958645 115138560 26102 4294967295 134512640 134714540 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26495 0 0 0 46931 71 0 0 25 0 1 0 802958645 115138560 26102 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26495 0 0 0 47931 71 0 0 25 0 1 0 802958645 115138560 26102 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26495 0 0 0 48931 71 0 0 25 0 1 0 802958645 115138560 26102 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+500.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26495 0 0 0 49931 71 0 0 25 0 1 0 802958645 115138560 26102 4294967295 134512640 134714540 3221221776 3221220496 134622764 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+510.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26495 0 0 0 50931 71 0 0 25 0 1 0 802958645 115138560 26102 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26497 0 0 0 51932 71 0 0 25 0 1 0 802958645 115138560 26104 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+530.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26497 0 0 0 52932 71 0 0 25 0 1 0 802958645 115138560 26104 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26497 0 0 0 53932 71 0 0 25 0 1 0 802958645 115138560 26104 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 0.95 3/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26497 0 0 0 54932 71 0 0 25 0 1 0 802958645 115138560 26104 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+560.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26497 0 0 0 55932 71 0 0 25 0 1 0 802958645 115138560 26104 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26497 0 0 0 56932 71 0 0 25 0 1 0 802958645 115138560 26104 4294967295 134512640 134714540 3221221776 3221220496 134622884 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26497 0 0 0 57933 71 0 0 25 0 1 0 802958645 115138560 26104 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26497 0 0 0 58933 71 0 0 25 0 1 0 802958645 115138560 26104 4294967295 134512640 134714540 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26499 0 0 0 59933 71 0 0 25 0 1 0 802958645 115273728 26106 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28143 26106 1111 63 0 28080 0
vsize: 112572
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26500 0 0 0 60933 71 0 0 25 0 1 0 802958645 115273728 26107 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28143 26107 1111 63 0 28080 0
vsize: 112572
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26500 0 0 0 61933 71 0 0 25 0 1 0 802958645 115273728 26107 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28143 26107 1111 63 0 28080 0
vsize: 112572
[startup+630.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26500 0 0 0 62933 71 0 0 25 0 1 0 802958645 115273728 26107 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28143 26107 1111 63 0 28080 0
vsize: 112572
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26501 0 0 0 63933 71 0 0 25 0 1 0 802958645 115273728 26108 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28143 26108 1111 63 0 28080 0
vsize: 112572
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26502 0 0 0 64934 71 0 0 25 0 1 0 802958645 115273728 26109 4294967295 134512640 134714540 3221221776 3221220572 134536888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28143 26109 1111 63 0 28080 0
vsize: 112572
[startup+660.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26507 0 0 0 65934 71 0 0 25 0 1 0 802958645 115273728 26114 4294967295 134512640 134714540 3221221776 3221220572 134536922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28143 26114 1111 63 0 28080 0
vsize: 112572
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26533 0 0 0 66934 71 0 0 25 0 1 0 802958645 115470336 26136 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28191 26136 1111 63 0 28128 0
vsize: 112764
[startup+680.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26533 0 0 0 67934 71 0 0 25 0 1 0 802958645 115470336 26136 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28191 26136 1111 63 0 28128 0
vsize: 112764
[startup+690.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26533 0 0 0 68934 71 0 0 25 0 1 0 802958645 115470336 26136 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28191 26136 1111 63 0 28128 0
vsize: 112764
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26533 0 0 0 69934 71 0 0 25 0 1 0 802958645 115470336 26136 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28191 26136 1111 63 0 28128 0
vsize: 112764
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 26560 0 0 0 70934 72 0 0 25 0 1 0 802958645 115470336 26163 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28191 26163 1111 63 0 28128 0
vsize: 112764
[startup+720.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 32207 0 0 0 71922 83 0 0 25 0 1 0 802958645 138641408 31743 4294967295 134512640 134714540 3221221776 3221220144 1076647581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33848 31743 1111 63 0 33785 0
vsize: 135392
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 72903 103 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 73903 103 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220504 134622758 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 74903 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220488 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 75903 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 76903 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 77903 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 78903 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+800.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 79903 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+810.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 80904 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+820.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 81904 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+830.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 82904 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 83904 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 84904 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+860.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 85904 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+870.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 86904 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+880.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8130
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 87905 104 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220504 134622806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+890.142 s]
Raw data (loadavg): 1.15 1.03 0.96 2/59 8173
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 88915 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+900.243 s]
Raw data (loadavg): 1.28 1.06 0.97 2/55 8183
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 89926 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220568 134536897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+910.243 s]
Raw data (loadavg): 1.24 1.06 0.97 2/55 8183
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 90926 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+920.243 s]
Raw data (loadavg): 1.20 1.06 0.97 2/55 8183
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 91926 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220500 134622833 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+930.244 s]
Raw data (loadavg): 1.17 1.06 0.97 2/55 8183
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 92926 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220592 134622477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+940.244 s]
Raw data (loadavg): 1.14 1.05 0.97 2/55 8183
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 93926 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+950.245 s]
Raw data (loadavg): 1.12 1.05 0.97 2/55 8183
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 94927 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+960.246 s]
Raw data (loadavg): 1.10 1.05 0.97 2/55 8183
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 95927 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+970.246 s]
Raw data (loadavg): 1.09 1.05 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 96927 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220492 134543192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+980.247 s]
Raw data (loadavg): 1.07 1.05 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 97927 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+990.247 s]
Raw data (loadavg): 1.06 1.04 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 98927 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1000.25 s]
Raw data (loadavg): 1.05 1.04 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 99927 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1010.25 s]
Raw data (loadavg): 1.04 1.04 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 100928 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1020.25 s]
Raw data (loadavg): 1.04 1.04 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 101928 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1030.25 s]
Raw data (loadavg): 1.03 1.04 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 102928 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1040.25 s]
Raw data (loadavg): 1.02 1.03 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40760 0 0 0 103928 105 0 0 25 0 1 0 802958645 173654016 40192 4294967295 134512640 134714540 3221221776 3221220568 134536906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1050.25 s]
Raw data (loadavg): 1.02 1.03 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 104928 105 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1060.25 s]
Raw data (loadavg): 1.02 1.03 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 105928 105 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1070.25 s]
Raw data (loadavg): 1.01 1.03 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 106929 105 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1080.25 s]
Raw data (loadavg): 1.01 1.03 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 107929 105 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220568 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1090.25 s]
Raw data (loadavg): 1.01 1.03 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 108929 105 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220552 134543568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1100.25 s]
Raw data (loadavg): 1.01 1.03 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 109929 105 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220580 134622516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1110.25 s]
Raw data (loadavg): 1.01 1.02 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 110929 105 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1120.25 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 111929 105 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1130.25 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 112930 105 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1140.25 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 113930 105 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1150.25 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 114930 105 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1160.25 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 115930 105 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1170.25 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 116930 106 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1180.26 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 117930 106 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220492 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1186.75 s]
Raw data (loadavg): 1.00 1.02 0.97 1/54 8185
Raw data (stat): 8130 (bsolo_mis) R 8129 7876 7672 0 -1 0 40773 0 0 0 117930 106 0 0 25 0 1 0 802958645 173654016 40205 4294967295 134512640 134714540 3221221776 3221220492 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 0

Child status: 10
Real time (s): 1186.75
CPU time (s): 1186.86
CPU user time (s): 1185.72
CPU system time (s): 1.13883
CPU usage (%): 100.01
Max. virtual memory (Kb): 169584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1887
#### END VERIFIER DATA ####