PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 01:19:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13703 boxname=wulflinc11 idbench=1055 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 13703
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        972028 kB
Buffers:          3416 kB
Cached:          38184 kB
SwapCached:        696 kB
Active:          22904 kB
Inactive:        20676 kB
HighTotal:      131008 kB
HighFree:        92848 kB
LowTotal:       903652 kB
LowFree:        879180 kB
SwapTotal:     2097136 kB
SwapFree:      2095464 kB
Dirty:              84 kB
Writeback:           0 kB
Mapped:           5008 kB
Slab:            13496 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:39:11 (client local time) WITH STATUS 10 IN 1175.03 SECONDS
stats: 13703 0 1175.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 201 variables and 133 constraints.
c After prepocess the problem consists of 195 variables and 289 constraints.
c preprocess terminated 0.364 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.18
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2418 @ 7.217
c NEW SOLUTION FOUND: 2416 @ 7.379
c NEW SOLUTION FOUND: 2411 @ 7.493
c NEW SOLUTION FOUND: 2408 @ 7.792
c NEW SOLUTION FOUND: 2396 @ 7.826
c NEW SOLUTION FOUND: 2395 @ 7.874
c NEW SOLUTION FOUND: 2383 @ 8.018
c NEW SOLUTION FOUND: 2373 @ 8.159
c NEW SOLUTION FOUND: 2363 @ 8.246
c NEW SOLUTION FOUND: 2351 @ 8.357
c NEW SOLUTION FOUND: 2218 @ 8.607
c NEW SOLUTION FOUND: 2176 @ 8.83
c NEW SOLUTION FOUND: 2097 @ 18.909
c NEW SOLUTION FOUND: 2083 @ 20.161
c NEW SOLUTION FOUND: 2013 @ 20.271
c NEW SOLUTION FOUND: 2003 @ 21.975
c NEW SOLUTION FOUND: 1943 @ 22.856
c NEW SOLUTION FOUND: 1933 @ 22.957
c NEW SOLUTION FOUND: 1900 @ 28.284
c NEW SOLUTION FOUND: 1890 @ 28.358
c NEW SOLUTION FOUND: 1888 @ 29.25
c NEW SOLUTION FOUND: 1870 @ 30.014
c NEW SOLUTION FOUND: 1860 @ 30.14
c NEW SOLUTION FOUND: 1858 @ 30.902
c NEW SOLUTION FOUND: 1848 @ 31.462
c NEW SOLUTION FOUND: 1838 @ 31.82
c NEW SOLUTION FOUND: 1831 @ 33.214
c NEW SOLUTION FOUND: 1826 @ 33.357
c NEW SOLUTION FOUND: 1816 @ 33.384
c NEW SOLUTION FOUND: 1814 @ 44.777
c NEW SOLUTION FOUND: 1809 @ 45.439
c NEW SOLUTION FOUND: 1804 @ 47.691
c NEW SOLUTION FOUND: 1789 @ 69.293
c NEW SOLUTION FOUND: 1779 @ 69.377
c NEW SOLUTION FOUND: 1756 @ 71.544
c NEW SOLUTION FOUND: 1754 @ 74.655
c NEW SOLUTION FOUND: 1749 @ 78.418
c NEW SOLUTION FOUND: 1748 @ 89.388
c NEW SOLUTION FOUND: 1743 @ 98.887
c NEW SOLUTION FOUND: 1736 @ 114.184
c NEW SOLUTION FOUND: 1731 @ 119.877
c NEW SOLUTION FOUND: 1720 @ 138.224
c NEW SOLUTION FOUND: 1710 @ 138.405
c NEW SOLUTION FOUND: 1700 @ 144.083
c NEW SOLUTION FOUND: 1698 @ 257.265
c NEW SOLUTION FOUND: 1688 @ 257.303
c NEW SOLUTION FOUND: 1665 @ 275.749
c NEW SOLUTION FOUND: 1655 @ 276.117
c NEW SOLUTION FOUND: 1650 @ 301.93
c NEW SOLUTION FOUND: 1640 @ 302.717
c NEW SOLUTION FOUND: 1625 @ 318.791
c NEW SOLUTION FOUND: 1609 @ 319.69
c NEW SOLUTION FOUND: 1599 @ 320.989
c NEW SOLUTION FOUND: 1595 @ 625.43
c NEW SOLUTION FOUND: 1589 @ 631.074
c NEW SOLUTION FOUND: 1561 @ 636.815
c NEW SOLUTION FOUND: 1559 @ 962.468
c NEW SOLUTION FOUND: 1557 @ 1053.65
c NEW SOLUTION FOUND: 1547 @ 1055.19
c NEW SOLUTION FOUND: 1545 @ 1056.36
c NEW SOLUTION FOUND: 1535 @ 1057.71
c NEW SOLUTION FOUND: 1533 @ 1082.83
s SATISFIABLE
v C1001_bit0 -C1002_bit0 C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 -C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 C1039_bit0 -C1040_bit0 C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 C1075_bit0 -C1076_bit0 C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 C1111_bit0 -C1112_bit0 C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 C1129_bit0 -C1130_bit0 -C1131_bit0 -C1132_bit0 C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1146_bit0 C1147_bit0 -C1148_bit0 C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 C1183_bit0 -C1184_bit0 C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 C1201_bit0 
c Exit Code: 10
c Total time: 1175.01 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): 1.02 1.00 1.06 2/54 1609
Raw data (stat): 1609 (runsolver) R 1608 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776641655 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99926 s]
Raw data (loadavg): 1.01 1.00 1.06 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 6381 0 8 0 945 18 0 0 25 0 1 0 776641655 11886592 2162 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2902 2162 1111 63 0 2839 0
vsize: 11608
[startup+20.0007 s]
Raw data (loadavg): 1.01 1.00 1.06 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 15833 0 8 0 1920 44 0 0 25 0 1 0 776641655 14204928 2787 4294967295 134512640 134714508 3221224592 3221222992 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3468 2787 1111 63 0 3405 0
vsize: 13872
[startup+30.0012 s]
Raw data (loadavg): 1.01 1.00 1.06 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 25607 0 8 0 2894 69 0 0 25 0 1 0 776641655 15994880 3226 4294967295 134512640 134714508 3221224592 3221222800 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3905 3226 1111 63 0 3842 0
vsize: 15620
[startup+40.0016 s]
Raw data (loadavg): 1.01 1.00 1.06 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 34938 0 8 0 3868 96 0 0 25 0 1 0 776641655 17264640 3460 4294967295 134512640 134714508 3221224592 3221220864 1074960752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 3460 1111 63 0 4152 0
vsize: 16860
[startup+50.0018 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 43776 0 8 0 4845 118 0 0 25 0 1 0 776641655 17530880 3585 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4280 3585 1111 63 0 4217 0
vsize: 17120
[startup+60.0015 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 52029 0 8 0 5824 140 0 0 25 0 1 0 776641655 18321408 3791 4294967295 134512640 134714508 3221224592 3221222052 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4473 3791 1111 63 0 4410 0
vsize: 17892
[startup+70.002 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 62623 0 8 0 6796 168 0 0 25 0 1 0 776641655 19779584 4150 4294967295 134512640 134714508 3221224592 3221222492 1077377824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4829 4150 1111 63 0 4766 0
vsize: 19316
[startup+80.0022 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 70962 0 8 0 7775 189 0 0 25 0 1 0 776641655 21118976 4477 4294967295 134512640 134714508 3221224592 3221222532 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5155 4476 1111 63 0 5092 0
vsize: 20624
[startup+90.0028 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 78517 0 8 0 8753 211 0 0 25 0 1 0 776641655 22134784 4723 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5404 4723 1111 63 0 5341 0
vsize: 21616
[startup+100.002 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 86528 0 8 0 9733 231 0 0 25 0 1 0 776641655 22949888 4924 4294967295 134512640 134714508 3221224592 3221223208 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 4924 1111 63 0 5540 0
vsize: 22412
[startup+110.003 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 95136 0 8 0 10711 253 0 0 25 0 1 0 776641655 24088576 5143 4294967295 134512640 134714508 3221224592 3221220928 1075114245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5881 5143 1111 63 0 5818 0
vsize: 23524
[startup+120.003 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 104167 0 8 0 11687 278 0 0 25 0 1 0 776641655 25092096 5390 4294967295 134512640 134714508 3221224592 3221220968 1075112619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6126 5390 1111 63 0 6063 0
vsize: 24504
[startup+130.003 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 113151 0 8 0 12666 299 0 0 25 0 1 0 776641655 26042368 5605 4294967295 134512640 134714508 3221224592 3221221712 1074834416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 5605 1111 63 0 6295 0
vsize: 25432
[startup+140.004 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 121693 0 8 0 13645 320 0 0 25 0 1 0 776641655 26546176 5796 4294967295 134512640 134714508 3221224592 3221222240 1075818290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6481 5796 1111 63 0 6418 0
vsize: 25924
[startup+150.004 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 128865 0 8 0 14627 338 0 0 25 0 1 0 776641655 27811840 6100 4294967295 134512640 134714508 3221224592 3221222496 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6790 6100 1111 63 0 6727 0
vsize: 27160
[startup+160.003 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 132255 0 8 0 15619 346 0 0 25 0 1 0 776641655 28127232 6194 4294967295 134512640 134714508 3221224592 3221223328 134622849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6867 6194 1111 63 0 6804 0
vsize: 27468
[startup+170.005 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 136148 0 8 0 16609 356 0 0 25 0 1 0 776641655 28160000 6202 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 6202 1111 63 0 6812 0
vsize: 27500
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 138830 0 8 0 17602 364 0 0 25 0 1 0 776641655 27955200 6152 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6825 6152 1111 63 0 6762 0
vsize: 27300
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 145668 0 8 0 18585 380 0 0 25 0 1 0 776641655 28360704 6238 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6924 6238 1111 63 0 6861 0
vsize: 27696
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 150250 0 8 0 19575 391 0 0 25 0 1 0 776641655 28028928 6170 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6843 6170 1111 63 0 6780 0
vsize: 27372
[startup+210.007 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 155327 0 8 0 20564 403 0 0 25 0 1 0 776641655 29114368 6435 4294967295 134512640 134714508 3221224592 3221222872 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7108 6435 1111 63 0 7045 0
vsize: 28432
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 160752 0 8 0 21549 418 0 0 25 0 1 0 776641655 27656192 6079 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6752 6079 1111 63 0 6689 0
vsize: 27008
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 168648 0 8 0 22529 438 0 0 25 0 1 0 776641655 27836416 6123 4294967295 134512640 134714508 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6796 6123 1111 63 0 6733 0
vsize: 27184
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 183403 0 8 0 23493 474 0 0 25 0 1 0 776641655 27885568 6133 4294967295 134512640 134714508 3221224592 3221222640 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6808 6133 1111 63 0 6745 0
vsize: 27232
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 201457 0 8 0 24449 518 0 0 25 0 1 0 776641655 28618752 6314 4294967295 134512640 134714508 3221224592 3221222592 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6987 6314 1111 63 0 6924 0
vsize: 27948
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 220545 0 8 0 25405 562 0 0 25 0 1 0 776641655 29556736 6543 4294967295 134512640 134714508 3221224592 3221222896 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7216 6543 1111 63 0 7153 0
vsize: 28864
[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 236753 0 8 0 26363 603 0 0 25 0 1 0 776641655 30171136 6693 4294967295 134512640 134714508 3221224592 3221222320 1075828454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7366 6693 1111 63 0 7303 0
vsize: 29464
[startup+280.008 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 251097 0 8 0 27325 642 0 0 25 0 1 0 776641655 30695424 6821 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6821 1111 63 0 7431 0
vsize: 29976
[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 265307 0 8 0 28292 675 0 0 25 0 1 0 776641655 33488896 7165 4294967295 134512640 134714508 3221224592 3221220636 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8176 7165 1111 63 0 8113 0
vsize: 32704
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 280125 0 8 0 29255 712 0 0 25 0 1 0 776641655 33832960 7250 4294967295 134512640 134714508 3221224592 3221220468 1074786579 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8260 7250 1111 63 0 8197 0
vsize: 33040
[startup+310.01 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 298977 0 8 0 30210 758 0 0 25 0 1 0 776641655 34533376 7414 4294967295 134512640 134714508 3221224592 3221220468 1074786464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8431 7414 1111 63 0 8368 0
vsize: 33724
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 318442 0 8 0 31164 804 0 0 25 0 1 0 776641655 33337344 7462 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8578 7468 1111 63 0 8515 0
vsize: 32556
[startup+330.011 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 329700 0 8 0 32139 829 0 0 25 0 1 0 776641655 34963456 7863 4294967295 134512640 134714508 3221224592 3221222320 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8536 7863 1111 63 0 8473 0
vsize: 34144
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 330772 0 8 0 33136 832 0 0 25 0 1 0 776641655 38055936 8604 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8604 1111 63 0 9228 0
vsize: 37164
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 333989 0 8 0 34128 840 0 0 25 0 1 0 776641655 35340288 7955 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8628 7955 1111 63 0 8565 0
vsize: 34512
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 333989 0 8 0 35128 840 0 0 25 0 1 0 776641655 35340288 7955 4294967295 134512640 134714508 3221224592 3221223328 134622705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8628 7955 1111 63 0 8565 0
vsize: 34512
[startup+370.013 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 335103 0 8 0 36125 844 0 0 25 0 1 0 776641655 37265408 8407 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9098 8407 1111 63 0 9035 0
vsize: 36392
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 338182 0 8 0 37118 851 0 0 25 0 1 0 776641655 35037184 7881 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8554 7881 1111 63 0 8491 0
vsize: 34216
[startup+390.013 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 338720 0 8 0 38117 852 0 0 25 0 1 0 776641655 34869248 7840 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8513 7840 1111 63 0 8450 0
vsize: 34052
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 342483 0 8 0 39107 863 0 0 25 0 1 0 776641655 34992128 7870 4294967295 134512640 134714508 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8543 7870 1111 63 0 8480 0
vsize: 34172
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 342483 0 8 0 40107 863 0 0 25 0 1 0 776641655 34992128 7870 4294967295 134512640 134714508 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8543 7870 1111 63 0 8480 0
vsize: 34172
[startup+420.014 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 343695 0 8 0 41103 867 0 0 25 0 1 0 776641655 37105664 8365 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9059 8365 1111 63 0 8996 0
vsize: 36236
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 346488 0 8 0 42097 873 0 0 25 0 1 0 776641655 35098624 7894 4294967295 134512640 134714508 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8569 7894 1111 63 0 8506 0
vsize: 34276
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 347868 0 8 0 43093 877 0 0 25 0 1 0 776641655 34914304 7851 4294967295 134512640 134714508 3221224592 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8524 7851 1111 63 0 8461 0
vsize: 34096
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 353330 0 8 0 44080 890 0 0 25 0 1 0 776641655 34635776 7783 4294967295 134512640 134714508 3221224592 3221222224 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8456 7783 1111 63 0 8393 0
vsize: 33824
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 354440 0 8 0 45077 893 0 0 25 0 1 0 776641655 37949440 8581 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9265 8581 1111 63 0 9202 0
vsize: 37060
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 357834 0 8 0 46069 901 0 0 25 0 1 0 776641655 35356672 7959 4294967295 134512640 134714508 3221224592 3221223312 134622884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8632 7959 1111 63 0 8569 0
vsize: 34528
[startup+480.015 s]
Raw data (loadavg): 1.08 1.02 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 357834 0 8 0 47069 902 0 0 25 0 1 0 776641655 34095104 7651 4294967295 134512640 134714508 3221224592 3221222944 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8324 7651 1111 63 0 8261 0
vsize: 33296
[startup+490.015 s]
Raw data (loadavg): 1.07 1.02 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 359219 0 8 0 48065 906 0 0 25 0 1 0 776641655 35221504 7926 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8599 7926 1111 63 0 8536 0
vsize: 34396
[startup+500.016 s]
Raw data (loadavg): 1.06 1.01 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 363207 0 8 0 49054 917 0 0 25 0 1 0 776641655 35233792 7929 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8602 7929 1111 63 0 8539 0
vsize: 34408
[startup+510.016 s]
Raw data (loadavg): 1.05 1.01 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 364138 0 8 0 50052 919 0 0 25 0 1 0 776641655 34836480 7818 4294967295 134512640 134714508 3221224592 3221222304 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8505 7818 1111 63 0 8442 0
vsize: 34020
[startup+520.016 s]
Raw data (loadavg): 1.04 1.01 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 365102 0 8 0 51049 923 0 0 25 0 1 0 776641655 37531648 8490 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9163 8490 1111 63 0 9100 0
vsize: 36652
[startup+530.017 s]
Raw data (loadavg): 1.03 1.01 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 368019 0 8 0 52042 930 0 0 25 0 1 0 776641655 35512320 7983 4294967295 134512640 134714508 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8670 7983 1111 63 0 8607 0
vsize: 34680
[startup+540.017 s]
Raw data (loadavg): 1.03 1.01 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 368893 0 8 0 53039 933 0 0 25 0 1 0 776641655 37072896 8359 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9051 8359 1111 63 0 8988 0
vsize: 36204
[startup+550.017 s]
Raw data (loadavg): 1.02 1.01 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 371542 0 8 0 54033 939 0 0 25 0 1 0 776641655 35094528 7895 4294967295 134512640 134714508 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8568 7895 1111 63 0 8505 0
vsize: 34272
[startup+560.017 s]
Raw data (loadavg): 1.02 1.01 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 373369 0 8 0 55028 945 0 0 25 0 1 0 776641655 36737024 8281 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8969 8281 1111 63 0 8906 0
vsize: 35876
[startup+570.018 s]
Raw data (loadavg): 1.02 1.01 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 375867 0 8 0 56022 951 0 0 25 0 1 0 776641655 34963456 7863 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8536 7863 1111 63 0 8473 0
vsize: 34144
[startup+580.017 s]
Raw data (loadavg): 1.01 1.01 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 379458 0 8 0 57014 959 0 0 25 0 1 0 776641655 34992128 7870 4294967295 134512640 134714508 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8543 7870 1111 63 0 8480 0
vsize: 34172
[startup+590.018 s]
Raw data (loadavg): 1.01 1.01 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 379698 0 8 0 58013 960 0 0 25 0 1 0 776641655 34865152 7839 4294967295 134512640 134714508 3221224592 3221222624 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8512 7839 1111 63 0 8449 0
vsize: 34048
[startup+600.018 s]
Raw data (loadavg): 1.01 1.00 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 385192 0 8 0 58999 974 0 0 25 0 1 0 776641655 34095104 7651 4294967295 134512640 134714508 3221224592 3221222560 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8324 7651 1111 63 0 8261 0
vsize: 33296
[startup+610.017 s]
Raw data (loadavg): 1.16 1.04 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 405299 0 8 0 59951 1023 0 0 25 0 1 0 776641655 34562048 7763 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8438 7763 1111 63 0 8375 0
vsize: 33752
[startup+620.018 s]
Raw data (loadavg): 1.13 1.04 1.02 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 424146 0 8 0 60904 1070 0 0 25 0 1 0 776641655 35205120 7922 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8595 7922 1111 63 0 8532 0
vsize: 34380
[startup+630.018 s]
Raw data (loadavg): 1.11 1.03 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 438571 0 8 0 61867 1106 0 0 25 0 1 0 776641655 35639296 8028 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8701 8028 1111 63 0 8638 0
vsize: 34804
[startup+640.019 s]
Raw data (loadavg): 1.10 1.03 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 452850 0 8 0 62832 1140 0 0 25 0 1 0 776641655 38371328 8273 4294967295 134512640 134714508 3221224592 3221220588 1074788168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9368 8273 1111 63 0 9305 0
vsize: 37472
[startup+650.019 s]
Raw data (loadavg): 1.08 1.03 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 472427 0 8 0 63786 1187 0 0 25 0 1 0 776641655 36626432 8269 4294967295 134512640 134714508 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8942 8269 1111 63 0 8879 0
vsize: 35768
[startup+660.019 s]
Raw data (loadavg): 1.07 1.03 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 483274 0 8 0 64760 1213 0 0 25 0 1 0 776641655 37928960 8587 4294967295 134512640 134714508 3221224592 3221222176 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9260 8587 1111 63 0 9197 0
vsize: 37040
[startup+670.019 s]
Raw data (loadavg): 1.06 1.03 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 483432 0 8 0 65759 1215 0 0 25 0 1 0 776641655 38576128 8745 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9418 8745 1111 63 0 9355 0
vsize: 37672
[startup+680.019 s]
Raw data (loadavg): 1.05 1.03 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 484670 0 8 0 66755 1218 0 0 25 0 1 0 776641655 42061824 9581 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10269 9581 1111 63 0 10206 0
vsize: 41076
[startup+690.02 s]
Raw data (loadavg): 1.04 1.03 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 488538 0 8 0 67746 1228 0 0 25 0 1 0 776641655 38727680 8782 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9455 8782 1111 63 0 9392 0
vsize: 37820
[startup+700.02 s]
Raw data (loadavg): 1.03 1.02 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 488538 0 8 0 68746 1228 0 0 25 0 1 0 776641655 38727680 8782 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9455 8782 1111 63 0 9392 0
vsize: 37820
[startup+710.02 s]
Raw data (loadavg): 1.03 1.02 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 499038 0 8 0 69720 1254 0 0 25 0 1 0 776641655 38248448 8636 4294967295 134512640 134714508 3221224592 3221221920 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9338 8636 1111 63 0 9275 0
vsize: 37352
[startup+720.02 s]
Raw data (loadavg): 1.02 1.02 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 499193 0 8 0 70719 1256 0 0 25 0 1 0 776641655 38875136 8791 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9491 8791 1111 63 0 9428 0
vsize: 37964
[startup+730.02 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 501993 0 8 0 71713 1261 0 0 25 0 1 0 776641655 44683264 10110 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10909 10110 1111 63 0 10846 0
vsize: 43636
[startup+740.021 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 504172 0 8 0 72708 1267 0 0 25 0 1 0 776641655 38895616 8822 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9496 8822 1111 63 0 9433 0
vsize: 37984
[startup+750.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 507362 0 8 0 73700 1275 0 0 25 0 1 0 776641655 40296448 8674 4294967295 134512640 134714508 3221224592 3221220556 1074788156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9838 8674 1111 63 0 9775 0
vsize: 39352
[startup+760.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 515956 0 8 0 74678 1298 0 0 25 0 1 0 776641655 38748160 8759 4294967295 134512640 134714508 3221224592 3221222224 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9460 8759 1111 63 0 9397 0
vsize: 37840
[startup+770.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 517070 0 8 0 75674 1301 0 0 25 0 1 0 776641655 41910272 9533 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10232 9533 1111 63 0 10169 0
vsize: 40928
[startup+780.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 520715 0 8 0 76667 1309 0 0 25 0 1 0 776641655 39133184 8878 4294967295 134512640 134714508 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9554 8878 1111 63 0 9491 0
vsize: 38216
[startup+790.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 520715 0 8 0 77667 1309 0 0 25 0 1 0 776641655 39133184 8878 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9554 8878 1111 63 0 9491 0
vsize: 38216
[startup+800.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 523002 0 8 0 78661 1315 0 0 25 0 1 0 776641655 38494208 8725 4294967295 134512640 134714508 3221224592 3221222160 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9398 8725 1111 63 0 9335 0
vsize: 37592
[startup+810.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 524039 0 8 0 79658 1317 0 0 25 0 1 0 776641655 41500672 9441 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10132 9441 1111 63 0 10069 0
vsize: 40528
[startup+820.022 s]
Raw data (loadavg): 1.16 1.05 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 527606 0 8 0 80652 1325 0 0 25 0 1 0 776641655 38846464 8811 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9484 8811 1111 63 0 9421 0
vsize: 37936
[startup+830.022 s]
Raw data (loadavg): 1.13 1.04 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 529473 0 8 0 81647 1329 0 0 25 0 1 0 776641655 37961728 8563 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9268 8563 1111 63 0 9205 0
vsize: 37072
[startup+840.023 s]
Raw data (loadavg): 1.11 1.04 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 531081 0 8 0 82642 1335 0 0 25 0 1 0 776641655 38789120 8797 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9470 8797 1111 63 0 9407 0
vsize: 37880
[startup+850.023 s]
Raw data (loadavg): 1.09 1.04 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 534285 0 8 0 83634 1343 0 0 25 0 1 0 776641655 40218624 9142 4294967295 134512640 134714508 3221224592 3221222336 1075640393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9819 9142 1111 63 0 9756 0
vsize: 39276
[startup+860.023 s]
Raw data (loadavg): 1.08 1.04 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 535535 0 8 0 84631 1346 0 0 25 0 1 0 776641655 38883328 8820 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9493 8820 1111 63 0 9430 0
vsize: 37972
[startup+870.024 s]
Raw data (loadavg): 1.07 1.04 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 536152 0 8 0 85629 1348 0 0 25 0 1 0 776641655 38662144 8766 4294967295 134512640 134714508 3221224592 3221222224 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9439 8766 1111 63 0 9376 0
vsize: 37756
[startup+880.025 s]
Raw data (loadavg): 1.13 1.05 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 537134 0 8 0 86626 1351 0 0 25 0 1 0 776641655 41459712 9431 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10122 9431 1111 63 0 10059 0
vsize: 40488
[startup+890.025 s]
Raw data (loadavg): 1.11 1.05 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 540660 0 8 0 87617 1360 0 0 25 0 1 0 776641655 38862848 8815 4294967295 134512640 134714508 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9488 8815 1111 63 0 9425 0
vsize: 37952
[startup+900.026 s]
Raw data (loadavg): 1.09 1.05 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 544234 0 8 0 88609 1369 0 0 25 0 1 0 776641655 38420480 8706 4294967295 134512640 134714508 3221224592 3221222272 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9380 8706 1111 63 0 9317 0
vsize: 37520
[startup+910.025 s]
Raw data (loadavg): 1.08 1.04 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 545355 0 8 0 89606 1372 0 0 25 0 1 0 776641655 41496576 9451 4294967295 134512640 134714508 3221224592 3221222592 1074918533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10131 9451 1111 63 0 10068 0
vsize: 40524
[startup+920.026 s]
Raw data (loadavg): 1.06 1.04 1.01 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 548811 0 8 0 90598 1380 0 0 25 0 1 0 776641655 38977536 8843 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9516 8843 1111 63 0 9453 0
vsize: 38064
[startup+930.026 s]
Raw data (loadavg): 1.05 1.04 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 548981 0 8 0 91597 1381 0 0 25 0 1 0 776641655 38260736 8668 4294967295 134512640 134714508 3221224592 3221222496 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9341 8668 1111 63 0 9278 0
vsize: 37364
[startup+940.026 s]
Raw data (loadavg): 1.05 1.04 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 552509 0 8 0 92589 1389 0 0 25 0 1 0 776641655 38281216 8673 4294967295 134512640 134714508 3221224592 3221222176 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9346 8673 1111 63 0 9283 0
vsize: 37384
[startup+950.028 s]
Raw data (loadavg): 1.04 1.04 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 553527 0 8 0 93586 1393 0 0 25 0 1 0 776641655 41287680 9406 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10080 9406 1111 63 0 10017 0
vsize: 40320
[startup+960.027 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 565582 0 8 0 94556 1423 0 0 25 0 1 0 776641655 40820736 8824 4294967295 134512640 134714508 3221224592 3221220604 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9966 8824 1111 63 0 9903 0
vsize: 39864
[startup+970.028 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 583194 0 8 0 95513 1466 0 0 25 0 1 0 776641655 38252544 8648 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9339 8648 1111 63 0 9276 0
vsize: 37356
[startup+980.028 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 599221 0 8 0 96471 1508 0 0 25 0 1 0 776641655 38690816 8765 4294967295 134512640 134714508 3221224592 3221222592 1074916773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9446 8765 1111 63 0 9383 0
vsize: 37784
[startup+990.029 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 615288 0 8 0 97432 1547 0 0 25 0 1 0 776641655 39063552 8858 4294967295 134512640 134714508 3221224592 3221221696 1074138810 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9575 8860 1111 63 0 9512 0
vsize: 38148
[startup+1000.03 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 630566 0 8 0 98394 1585 0 0 25 0 1 0 776641655 42180608 9044 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10298 9054 1111 63 0 10235 0
vsize: 41192
[startup+1010.03 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 647042 0 8 0 99353 1627 0 0 25 0 1 0 776641655 42639360 9262 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10410 9262 1111 63 0 10347 0
vsize: 41640
[startup+1020.03 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 660790 0 8 0 100320 1660 0 0 25 0 1 0 776641655 39972864 9086 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9759 9086 1111 63 0 9696 0
vsize: 39036
[startup+1030.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 684913 0 8 0 101258 1722 0 0 25 0 1 0 776641655 43462656 9424 4294967295 134512640 134714508 3221224592 3221220820 1075115028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10611 9424 1111 63 0 10548 0
vsize: 42444
[startup+1040.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 711425 0 8 0 102193 1787 0 0 25 0 1 0 776641655 41439232 9414 4294967295 134512640 134714508 3221224592 3221222512 1075799735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10115 9414 1111 63 0 10052 0
vsize: 40468
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 735975 0 8 0 103134 1846 0 0 25 0 1 0 776641655 42102784 9606 4294967295 134512640 134714508 3221224592 3221222688 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10279 9606 1111 63 0 10216 0
vsize: 41116
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 764250 0 8 0 104067 1913 0 0 25 0 1 0 776641655 43069440 9830 4294967295 134512640 134714508 3221224592 3221221656 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10515 9832 1111 63 0 10452 0
vsize: 42060
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 774714 0 8 0 105041 1940 0 0 25 0 1 0 776641655 43319296 9903 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10576 9903 1111 63 0 10513 0
vsize: 42304
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 785050 0 8 0 106015 1966 0 0 25 0 1 0 776641655 45981696 10054 4294967295 134512640 134714508 3221224592 3221220816 1075895804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11226 10056 1111 63 0 11163 0
vsize: 44904
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 799266 0 8 0 106978 2003 0 0 25 0 1 0 776641655 45121536 10343 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11016 10343 1111 63 0 10953 0
vsize: 44064
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 809713 0 8 0 107951 2031 0 0 25 0 1 0 776641655 44285952 10129 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10812 10129 1111 63 0 10749 0
vsize: 43248
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 823954 0 8 0 108915 2066 0 0 25 0 1 0 776641655 44158976 10105 4294967295 134512640 134714508 3221224592 3221221696 1074138752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10781 10105 1111 63 0 10718 0
vsize: 43124
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 834733 0 8 0 109889 2092 0 0 25 0 1 0 776641655 47161344 10371 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11514 10371 1111 63 0 11451 0
vsize: 46056
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 851813 0 8 0 110849 2134 0 0 25 0 1 0 776641655 44425216 10173 4294967295 134512640 134714508 3221224592 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10846 10173 1111 63 0 10783 0
vsize: 43384
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 860757 0 8 0 111826 2156 0 0 25 0 1 0 776641655 47407104 10422 4294967295 134512640 134714508 3221224592 3221220864 1074960884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11574 10422 1111 63 0 11511 0
vsize: 46296
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 873568 0 8 0 112794 2188 0 0 25 0 1 0 776641655 44834816 10273 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10946 10273 1111 63 0 10883 0
vsize: 43784
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 884817 0 8 0 113764 2219 0 0 25 0 1 0 776641655 45109248 10339 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11013 10339 1111 63 0 10950 0
vsize: 44052
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 895129 0 8 0 114738 2245 0 0 25 0 1 0 776641655 50274304 10747 4294967295 134512640 134714508 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12274 10747 1111 63 0 12211 0
vsize: 49096
[startup+1175.23 s]
Raw data (loadavg): 1.00 1.01 1.00 1/53 1609
Raw data (stat): 1609 (bsolo_lpr) R 1608 25830 25829 0 -1 0 895129 0 8 0 114738 2245 0 0 25 0 1 0 776641655 50274304 10747 4294967295 134512640 134714508 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12274 10747 1111 63 0 12211 0
vsize: 0

Child status: 10
Real time (s): 1175.23
CPU time (s): 1175.03
CPU user time (s): 1152.45
CPU system time (s): 22.5826
CPU usage (%): 99.9834
Max. virtual memory (Kb): 49096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1533
#### END VERIFIER DATA ####