PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 02:09:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17111 boxname=wulflinc31 idbench=1317 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /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: 17111
/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:        843900 kB
Buffers:         31968 kB
Cached:         139116 kB
SwapCached:       1024 kB
Active:         114052 kB
Inactive:        59196 kB
HighTotal:      131008 kB
HighFree:         2716 kB
LowTotal:       903652 kB
LowFree:        841184 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            11960 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 02:29:29 (client local time) WITH STATUS 10 IN 1196.33 SECONDS
stats: 17111 0 1196.33 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.223 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.241
c NEW SOLUTION FOUND: 2272 @ 0.245
c NEW SOLUTION FOUND: 2247 @ 0.246
c NEW SOLUTION FOUND: 2235 @ 0.25
c NEW SOLUTION FOUND: 2216 @ 0.254
c NEW SOLUTION FOUND: 2204 @ 0.255
c NEW SOLUTION FOUND: 2192 @ 0.26
c NEW SOLUTION FOUND: 2180 @ 0.26
c NEW SOLUTION FOUND: 2171 @ 0.273
c NEW SOLUTION FOUND: 2159 @ 0.274
c NEW SOLUTION FOUND: 2147 @ 0.29
c NEW SOLUTION FOUND: 2140 @ 0.355
c NEW SOLUTION FOUND: 2100 @ 0.494
c NEW SOLUTION FOUND: 2097 @ 0.601
c NEW SOLUTION FOUND: 2085 @ 0.602
c NEW SOLUTION FOUND: 2067 @ 1.154
c NEW SOLUTION FOUND: 2064 @ 1.222
c NEW SOLUTION FOUND: 2052 @ 1.331
c NEW SOLUTION FOUND: 2037 @ 1.471
c NEW SOLUTION FOUND: 2025 @ 1.476
c NEW SOLUTION FOUND: 2020 @ 15.221
c NEW SOLUTION FOUND: 2017 @ 15.224
c NEW SOLUTION FOUND: 2009 @ 15.633
c NEW SOLUTION FOUND: 1985 @ 15.849
c NEW SOLUTION FOUND: 1982 @ 23.085
c NEW SOLUTION FOUND: 1967 @ 67.138
c NEW SOLUTION FOUND: 1954 @ 67.458
c NEW SOLUTION FOUND: 1942 @ 67.528
c NEW SOLUTION FOUND: 1939 @ 346.991
c NEW SOLUTION FOUND: 1927 @ 346.998
c NEW SOLUTION FOUND: 1914 @ 347.251
c NEW SOLUTION FOUND: 1902 @ 347.344
c NEW SOLUTION FOUND: 1899 @ 719.693
c NEW SOLUTION FOUND: 1887 @ 719.762
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: 1196.23 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.91 0.95 0.90 2/55 32431
Raw data (stat): 32431 (runsolver) R 32430 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 817865078 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.0004 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 4766 0 0 0 980 14 0 0 25 0 1 0 817865078 23314432 4741 4294967295 134512640 134714540 3221221776 3221220488 134543168 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.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 6287 0 0 0 1976 18 0 0 25 0 1 0 817865078 29540352 6260 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7212 6260 1111 63 0 7149 0
vsize: 28848
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 12009 0 0 0 2962 32 0 0 25 0 1 0 817865078 53452800 11932 4294967295 134512640 134714540 3221221776 3221220488 134543187 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.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 12009 0 0 0 3962 33 0 0 25 0 1 0 817865078 53452800 11932 4294967295 134512640 134714540 3221221776 3221220580 134622483 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.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 12009 0 0 0 4962 33 0 0 25 0 1 0 817865078 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.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 12009 0 0 0 5961 34 0 0 25 0 1 0 817865078 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+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 15501 0 0 0 6953 42 0 0 25 0 1 0 817865078 68345856 15351 4294967295 134512640 134714540 3221221776 3221220492 134543156 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.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 16904 0 0 0 7951 45 0 0 25 0 1 0 817865078 74260480 16739 4294967295 134512640 134714540 3221221776 3221220568 134542414 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.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 16904 0 0 0 8951 45 0 0 25 0 1 0 817865078 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+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 16904 0 0 0 9950 45 0 0 25 0 1 0 817865078 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.98 0.96 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 16906 0 0 0 10950 46 0 0 25 0 1 0 817865078 74260480 16741 4294967295 134512640 134714540 3221221776 3221220512 134622743 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 16914 0 0 0 11950 47 0 0 25 0 1 0 817865078 74260480 16749 4294967295 134512640 134714540 3221221776 3221220512 134622743 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 16919 0 0 0 12949 47 0 0 25 0 1 0 817865078 74260480 16754 4294967295 134512640 134714540 3221221776 3221220496 134622865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18130 16754 1111 63 0 18067 0
vsize: 72520
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 16936 0 0 0 13949 48 0 0 25 0 1 0 817865078 74395648 16771 4294967295 134512640 134714540 3221221776 3221220512 134622896 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 16947 0 0 0 14948 49 0 0 25 0 1 0 817865078 74395648 16782 4294967295 134512640 134714540 3221221776 3221220576 134622484 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18163 16782 1111 63 0 18100 0
vsize: 72652
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17034 0 0 0 15948 49 0 0 25 0 1 0 817865078 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17034 0 0 0 16947 50 0 0 25 0 1 0 817865078 74801152 16869 4294967295 134512640 134714540 3221221776 3221220556 134542400 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17034 0 0 0 17947 50 0 0 25 0 1 0 817865078 74801152 16869 4294967295 134512640 134714540 3221221776 3221220488 134543187 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17034 0 0 0 18947 50 0 0 25 0 1 0 817865078 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+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17034 0 0 0 19947 51 0 0 25 0 1 0 817865078 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+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17034 0 0 0 20947 51 0 0 25 0 1 0 817865078 74801152 16869 4294967295 134512640 134714540 3221221776 3221220504 134622806 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17034 0 0 0 21946 52 0 0 25 0 1 0 817865078 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+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17034 0 0 0 22945 53 0 0 25 0 1 0 817865078 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+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17034 0 0 0 23945 53 0 0 25 0 1 0 817865078 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+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17034 0 0 0 24945 54 0 0 25 0 1 0 817865078 74801152 16869 4294967295 134512640 134714540 3221221776 3221220496 134622889 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17034 0 0 0 25944 54 0 0 25 0 1 0 817865078 74801152 16869 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17034 0 0 0 26945 54 0 0 25 0 1 0 817865078 74801152 16869 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17034 0 0 0 27945 54 0 0 25 0 1 0 817865078 74801152 16869 4294967295 134512640 134714540 3221221776 3221220488 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17035 0 0 0 28945 54 0 0 25 0 1 0 817865078 74801152 16870 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16870 1111 63 0 18199 0
vsize: 73048
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17035 0 0 0 29945 54 0 0 25 0 1 0 817865078 74801152 16870 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16870 1111 63 0 18199 0
vsize: 73048
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 17035 0 0 0 30945 54 0 0 25 0 1 0 817865078 74801152 16870 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16870 1111 63 0 18199 0
vsize: 73048
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 20147 0 0 0 31938 61 0 0 25 0 1 0 817865078 87556096 19950 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21376 19951 1111 63 0 21313 0
vsize: 85504
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 20484 0 0 0 32938 62 0 0 25 0 1 0 817865078 88907776 20283 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21706 20283 1111 63 0 21643 0
vsize: 86824
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 20484 0 0 0 33938 62 0 0 25 0 1 0 817865078 88907776 20283 4294967295 134512640 134714540 3221221776 3221220496 134622917 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21706 20283 1111 63 0 21643 0
vsize: 86824
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 24118 0 0 0 34929 71 0 0 25 0 1 0 817865078 105054208 23788 4294967295 134512640 134714540 3221221776 3221220448 134535757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25648 23788 1111 63 0 25585 0
vsize: 102592
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26398 0 0 0 35924 76 0 0 25 0 1 0 817865078 114802688 26009 4294967295 134512640 134714540 3221221776 3221220512 134622743 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26398 0 0 0 36925 76 0 0 25 0 1 0 817865078 114802688 26009 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28028 26009 1111 63 0 27965 0
vsize: 112112
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26403 0 0 0 37925 76 0 0 25 0 1 0 817865078 114802688 26014 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28028 26014 1111 63 0 27965 0
vsize: 112112
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26411 0 0 0 38925 76 0 0 25 0 1 0 817865078 114802688 26022 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28028 26022 1111 63 0 27965 0
vsize: 112112
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26422 0 0 0 39925 76 0 0 25 0 1 0 817865078 114802688 26033 4294967295 134512640 134714540 3221221776 3221220488 134543191 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26482 0 0 0 40925 76 0 0 25 0 1 0 817865078 115138560 26089 4294967295 134512640 134714540 3221221776 3221220488 134543179 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26484 0 0 0 41925 76 0 0 25 0 1 0 817865078 115138560 26091 4294967295 134512640 134714540 3221221776 3221220552 134542416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26091 1111 63 0 28047 0
vsize: 112440
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26495 0 0 0 42926 76 0 0 25 0 1 0 817865078 115138560 26102 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26495 0 0 0 43926 76 0 0 25 0 1 0 817865078 115138560 26102 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26495 0 0 0 44926 76 0 0 25 0 1 0 817865078 115138560 26102 4294967295 134512640 134714540 3221221776 3221220488 134543171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26495 0 0 0 45926 76 0 0 25 0 1 0 817865078 115138560 26102 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26495 0 0 0 46926 76 0 0 25 0 1 0 817865078 115138560 26102 4294967295 134512640 134714540 3221221776 3221220500 134622785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26495 0 0 0 47926 76 0 0 25 0 1 0 817865078 115138560 26102 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26495 0 0 0 48926 76 0 0 25 0 1 0 817865078 115138560 26102 4294967295 134512640 134714540 3221221776 3221220592 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26495 0 0 0 49927 76 0 0 25 0 1 0 817865078 115138560 26102 4294967295 134512640 134714540 3221221776 3221220512 134622749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26495 0 0 0 50927 76 0 0 25 0 1 0 817865078 115138560 26102 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26495 0 0 0 51927 76 0 0 25 0 1 0 817865078 115138560 26102 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26497 0 0 0 52927 76 0 0 25 0 1 0 817865078 115138560 26104 4294967295 134512640 134714540 3221221776 3221220500 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26497 0 0 0 53927 76 0 0 25 0 1 0 817865078 115138560 26104 4294967295 134512640 134714540 3221221776 3221220500 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26497 0 0 0 54927 76 0 0 25 0 1 0 817865078 115138560 26104 4294967295 134512640 134714540 3221221776 3221220568 134542414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26497 0 0 0 55927 76 0 0 25 0 1 0 817865078 115138560 26104 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26497 0 0 0 56928 76 0 0 25 0 1 0 817865078 115138560 26104 4294967295 134512640 134714540 3221221776 3221220496 134622915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26497 0 0 0 57928 76 0 0 25 0 1 0 817865078 115138560 26104 4294967295 134512640 134714540 3221221776 3221220576 134622574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26497 0 0 0 58928 76 0 0 25 0 1 0 817865078 115138560 26104 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26497 0 0 0 59928 76 0 0 25 0 1 0 817865078 115138560 26104 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26499 0 0 0 60928 76 0 0 25 0 1 0 817865078 115273728 26106 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26106 1111 63 0 28080 0
vsize: 112572
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26500 0 0 0 61929 76 0 0 25 0 1 0 817865078 115273728 26107 4294967295 134512640 134714540 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26107 1111 63 0 28080 0
vsize: 112572
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26500 0 0 0 62929 76 0 0 25 0 1 0 817865078 115273728 26107 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26107 1111 63 0 28080 0
vsize: 112572
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26501 0 0 0 63929 76 0 0 25 0 1 0 817865078 115273728 26108 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26108 1111 63 0 28080 0
vsize: 112572
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26502 0 0 0 64929 76 0 0 25 0 1 0 817865078 115273728 26109 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26109 1111 63 0 28080 0
vsize: 112572
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26504 0 0 0 65929 76 0 0 25 0 1 0 817865078 115273728 26111 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26111 1111 63 0 28080 0
vsize: 112572
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26507 0 0 0 66929 76 0 0 25 0 1 0 817865078 115273728 26114 4294967295 134512640 134714540 3221221776 3221220568 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26114 1111 63 0 28080 0
vsize: 112572
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26533 0 0 0 67929 76 0 0 25 0 1 0 817865078 115470336 26136 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28191 26136 1111 63 0 28128 0
vsize: 112764
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26533 0 0 0 68930 76 0 0 25 0 1 0 817865078 115470336 26136 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28191 26136 1111 63 0 28128 0
vsize: 112764
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26533 0 0 0 69930 76 0 0 25 0 1 0 817865078 115470336 26136 4294967295 134512640 134714540 3221221776 3221220572 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28191 26136 1111 63 0 28128 0
vsize: 112764
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 26533 0 0 0 70930 76 0 0 25 0 1 0 817865078 115470336 26136 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28191 26136 1111 63 0 28128 0
vsize: 112764
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 27018 0 0 0 71929 78 0 0 25 0 1 0 817865078 117305344 26613 4294967295 134512640 134714540 3221221776 3221220592 134610906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28639 26613 1111 63 0 28576 0
vsize: 114556
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 36150 0 0 0 72907 99 0 0 25 0 1 0 817865078 154308608 35669 4294967295 134512640 134714540 3221221776 3221220648 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37673 35669 1111 63 0 37610 0
vsize: 150692
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 73896 110 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 74897 110 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622801 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 75897 110 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220488 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 76897 110 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220496 134622812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 77897 110 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 78897 110 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 79897 110 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 80897 110 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 81897 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 82897 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 83897 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 84897 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 85897 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 86897 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 87898 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220492 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 88898 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 89898 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 90898 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220492 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+920.029 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 91898 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+930.029 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 92898 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+940.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 93899 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220500 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+950.031 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 94899 111 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+960.031 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 95899 112 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220568 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+970.031 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 96899 112 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+980.031 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 97899 112 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+990.031 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 98899 112 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1000.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 99899 112 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1010.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 100900 112 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1020.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 101900 112 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220572 134542422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1030.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 102900 112 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220500 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1040.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40760 0 0 0 103900 112 0 0 25 0 1 0 817865078 173654016 40192 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1050.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40771 0 0 0 104900 112 0 0 25 0 1 0 817865078 173654016 40203 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40203 1111 63 0 42333 0
vsize: 169584
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 105900 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 106901 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 107901 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 108901 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 109901 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 110901 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 111901 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220576 134622484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 112901 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220496 134622764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 113901 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220572 134542422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 114902 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 115902 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 116902 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 117902 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220560 134622534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 118902 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1196.21 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 32431
Raw data (stat): 32431 (bsolo_mis) R 32430 7876 7672 0 -1 0 40773 0 0 0 118902 112 0 0 25 0 1 0 817865078 173654016 40205 4294967295 134512640 134714540 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 0

Child status: 10
Real time (s): 1196.21
CPU time (s): 1196.33
CPU user time (s): 1195.13
CPU system time (s): 1.20082
CPU usage (%): 100.01
Max. virtual memory (Kb): 169584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1887
#### END VERIFIER DATA ####