PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 03:19:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12117 boxname=wulflinc8 idbench=933 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 12117
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        514476 kB
Buffers:         37132 kB
Cached:         456820 kB
SwapCached:          0 kB
Active:          49456 kB
Inactive:       451472 kB
HighTotal:      131008 kB
HighFree:         4704 kB
LowTotal:       903652 kB
LowFree:        509772 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7064 kB
Slab:            13600 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:38:43 (client local time) WITH STATUS 10 IN 1175.39 SECONDS
stats: 12117 0 1175.39 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.358 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.176
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2418 @ 7.173
c NEW SOLUTION FOUND: 2416 @ 7.334
c NEW SOLUTION FOUND: 2411 @ 7.447
c NEW SOLUTION FOUND: 2408 @ 7.745
c NEW SOLUTION FOUND: 2396 @ 7.78
c NEW SOLUTION FOUND: 2395 @ 7.828
c NEW SOLUTION FOUND: 2383 @ 7.973
c NEW SOLUTION FOUND: 2373 @ 8.113
c NEW SOLUTION FOUND: 2363 @ 8.201
c NEW SOLUTION FOUND: 2351 @ 8.313
c NEW SOLUTION FOUND: 2218 @ 8.564
c NEW SOLUTION FOUND: 2176 @ 8.787
c NEW SOLUTION FOUND: 2097 @ 18.896
c NEW SOLUTION FOUND: 2083 @ 20.145
c NEW SOLUTION FOUND: 2013 @ 20.254
c NEW SOLUTION FOUND: 2003 @ 21.964
c NEW SOLUTION FOUND: 1943 @ 22.858
c NEW SOLUTION FOUND: 1933 @ 22.96
c NEW SOLUTION FOUND: 1900 @ 28.29
c NEW SOLUTION FOUND: 1890 @ 28.363
c NEW SOLUTION FOUND: 1888 @ 29.252
c NEW SOLUTION FOUND: 1870 @ 30.014
c NEW SOLUTION FOUND: 1860 @ 30.139
c NEW SOLUTION FOUND: 1858 @ 30.897
c NEW SOLUTION FOUND: 1848 @ 31.456
c NEW SOLUTION FOUND: 1838 @ 31.812
c NEW SOLUTION FOUND: 1831 @ 33.196
c NEW SOLUTION FOUND: 1826 @ 33.339
c NEW SOLUTION FOUND: 1816 @ 33.365
c NEW SOLUTION FOUND: 1814 @ 44.709
c NEW SOLUTION FOUND: 1809 @ 45.371
c NEW SOLUTION FOUND: 1804 @ 47.644
c NEW SOLUTION FOUND: 1789 @ 69.345
c NEW SOLUTION FOUND: 1779 @ 69.428
c NEW SOLUTION FOUND: 1756 @ 71.588
c NEW SOLUTION FOUND: 1754 @ 74.693
c NEW SOLUTION FOUND: 1749 @ 78.446
c NEW SOLUTION FOUND: 1748 @ 89.358
c NEW SOLUTION FOUND: 1743 @ 98.827
c NEW SOLUTION FOUND: 1736 @ 114.09
c NEW SOLUTION FOUND: 1731 @ 119.808
c NEW SOLUTION FOUND: 1720 @ 138.138
c NEW SOLUTION FOUND: 1710 @ 138.32
c NEW SOLUTION FOUND: 1700 @ 144.022
c NEW SOLUTION FOUND: 1698 @ 254.231
c NEW SOLUTION FOUND: 1688 @ 254.269
c NEW SOLUTION FOUND: 1665 @ 272.617
c NEW SOLUTION FOUND: 1655 @ 272.985
c NEW SOLUTION FOUND: 1650 @ 298.731
c NEW SOLUTION FOUND: 1640 @ 299.514
c NEW SOLUTION FOUND: 1625 @ 315.478
c NEW SOLUTION FOUND: 1609 @ 316.367
c NEW SOLUTION FOUND: 1599 @ 317.651
c NEW SOLUTION FOUND: 1595 @ 609.662
c NEW SOLUTION FOUND: 1589 @ 615.286
c NEW SOLUTION FOUND: 1561 @ 621.038
c NEW SOLUTION FOUND: 1559 @ 933.322
c NEW SOLUTION FOUND: 1557 @ 1023.83
c NEW SOLUTION FOUND: 1547 @ 1025.34
c NEW SOLUTION FOUND: 1545 @ 1026.5
c NEW SOLUTION FOUND: 1535 @ 1027.83
c NEW SOLUTION FOUND: 1533 @ 1052.75
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.36 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.85 0.94 0.90 2/54 12578
Raw data (stat): 12578 (runsolver) R 12577 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 763796957 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 6735 0 0 0 977 20 0 0 25 0 1 0 763796957 11636736 2161 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2841 2161 1111 63 0 2778 0
vsize: 11364
[startup+20.001 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 16234 0 0 0 1945 52 0 0 25 0 1 0 763796957 14270464 2804 4294967295 134512640 134714508 3221224592 3221222512 1075799685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3484 2804 1111 63 0 3421 0
vsize: 13936
[startup+30.002 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 25878 0 0 0 2921 76 0 0 25 0 1 0 763796957 16007168 3229 4294967295 134512640 134714508 3221224592 3221222320 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3908 3229 1111 63 0 3845 0
vsize: 15632
[startup+40.0017 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 35209 0 0 0 3894 103 0 0 25 0 1 0 763796957 16842752 3417 4294967295 134512640 134714508 3221224592 3221222592 1074918536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 3417 1111 63 0 4049 0
vsize: 16448
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 44062 0 0 0 4871 126 0 0 25 0 1 0 763796957 17444864 3580 4294967295 134512640 134714508 3221224592 3221222848 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4259 3580 1111 63 0 4196 0
vsize: 17036
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 52264 0 0 0 5849 147 0 0 25 0 1 0 763796957 18333696 3796 4294967295 134512640 134714508 3221224592 3221222860 1073959864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4476 3796 1111 63 0 4413 0
vsize: 17904
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 62902 0 0 0 6819 177 0 0 25 0 1 0 763796957 20180992 4182 4294967295 134512640 134714508 3221224592 3221220684 1075663503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4927 4182 1111 63 0 4864 0
vsize: 19708
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 71184 0 0 0 7799 198 0 0 25 0 1 0 763796957 21176320 4482 4294967295 134512640 134714508 3221224592 3221222928 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4482 1111 63 0 5107 0
vsize: 20680
[startup+90.0037 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 78812 0 0 0 8780 217 0 0 25 0 1 0 763796957 22568960 4775 4294967295 134512640 134714508 3221224592 3221221024 1075119425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5510 4775 1111 63 0 5447 0
vsize: 22040
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 86851 0 0 0 9761 236 0 0 25 0 1 0 763796957 23470080 4983 4294967295 134512640 134714508 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5730 4983 1111 63 0 5667 0
vsize: 22920
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 95613 0 0 0 10738 259 0 0 25 0 1 0 763796957 24256512 5148 4294967295 134512640 134714508 3221224592 3221220752 1075090534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5922 5149 1111 63 0 5859 0
vsize: 23688
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 104697 0 0 0 11714 283 0 0 25 0 1 0 763796957 25317376 5412 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6181 5412 1111 63 0 6118 0
vsize: 24724
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 113959 0 0 0 12694 304 0 0 25 0 1 0 763796957 25862144 5631 4294967295 134512640 134714508 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6314 5631 1111 63 0 6251 0
vsize: 25256
[startup+140.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 122059 0 0 0 13675 323 0 0 25 0 1 0 763796957 26554368 5804 4294967295 134512640 134714508 3221224592 3221222856 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6483 5804 1111 63 0 6420 0
vsize: 25932
[startup+150.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 128900 0 0 0 14658 340 0 0 25 0 1 0 763796957 27885568 6127 4294967295 134512640 134714508 3221224592 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6808 6127 1111 63 0 6745 0
vsize: 27232
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 132263 0 0 0 15650 348 0 0 25 0 1 0 763796957 28127232 6194 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6867 6194 1111 63 0 6804 0
vsize: 27468
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 136692 0 0 0 16640 358 0 0 25 0 1 0 763796957 29753344 6562 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7264 6562 1111 63 0 7201 0
vsize: 29056
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 139341 0 0 0 17634 365 0 0 25 0 1 0 763796957 29413376 6488 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7181 6488 1111 63 0 7118 0
vsize: 28724
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 146626 0 0 0 18618 381 0 0 25 0 1 0 763796957 32194560 6701 4294967295 134512640 134714508 3221224592 3221220960 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7860 6701 1111 63 0 7797 0
vsize: 31440
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 151125 0 0 0 19609 390 0 0 25 0 1 0 763796957 31326208 6721 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7648 6721 1111 63 0 7585 0
vsize: 30592
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 156907 0 0 0 20596 403 0 0 25 0 1 0 763796957 28151808 6200 4294967295 134512640 134714508 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6873 6200 1111 63 0 6810 0
vsize: 27492
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 163026 0 0 0 21582 418 0 0 25 0 1 0 763796957 28008448 6165 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6838 6165 1111 63 0 6775 0
vsize: 27352
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 171810 0 0 0 22564 436 0 0 25 0 1 0 763796957 29683712 6127 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7247 6139 1111 63 0 7184 0
vsize: 28988
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 188909 0 0 0 23525 474 0 0 25 0 1 0 763796957 28127232 6194 4294967295 134512640 134714508 3221224592 3221223072 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6867 6194 1111 63 0 6804 0
vsize: 27468
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 207121 0 0 0 24484 516 0 0 25 0 1 0 763796957 28987392 6404 4294967295 134512640 134714508 3221224592 3221222592 1074918472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7077 6404 1111 63 0 7014 0
vsize: 28308
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 226403 0 0 0 25438 562 0 0 25 0 1 0 763796957 31813632 6665 4294967295 134512640 134714508 3221224592 3221221424 1075115295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7767 6665 1111 63 0 7704 0
vsize: 31068
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 242318 0 0 0 26402 597 0 0 25 0 1 0 763796957 30404608 6750 4294967295 134512640 134714508 3221224592 3221222052 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7423 6750 1111 63 0 7360 0
vsize: 29692
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 256638 0 0 0 27368 631 0 0 25 0 1 0 763796957 33095680 7083 4294967295 134512640 134714508 3221224592 3221220952 1075115857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8080 7083 1111 63 0 8017 0
vsize: 32320
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 268528 0 0 0 28341 658 0 0 25 0 1 0 763796957 31399936 6993 4294967295 134512640 134714508 3221224592 3221222960 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7666 6993 1111 63 0 7603 0
vsize: 30664
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 288593 0 0 0 29298 702 0 0 25 0 1 0 763796957 32260096 7203 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7876 7203 1111 63 0 7813 0
vsize: 31504
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 304453 0 0 0 30262 738 0 0 25 0 1 0 763796957 34791424 7481 4294967295 134512640 134714508 3221224592 3221220604 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8494 7481 1111 63 0 8431 0
vsize: 33976
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 327218 0 0 0 31208 792 0 0 25 0 1 0 763796957 35713024 7697 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8719 7698 1111 63 0 8656 0
vsize: 34876
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 329780 0 0 0 32201 800 0 0 25 0 1 0 763796957 35258368 7935 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8608 7935 1111 63 0 8545 0
vsize: 34432
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 332130 0 0 0 33196 804 0 0 25 0 1 0 763796957 41205760 9193 4294967295 134512640 134714508 3221224592 3221220636 1074873483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10060 9193 1111 63 0 9997 0
vsize: 40240
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 333997 0 0 0 34193 808 0 0 25 0 1 0 763796957 35340288 7955 4294967295 134512640 134714508 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8628 7955 1111 63 0 8565 0
vsize: 34512
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 334287 0 0 0 35191 810 0 0 25 0 1 0 763796957 34926592 7854 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8527 7854 1111 63 0 8464 0
vsize: 34108
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 338190 0 0 0 36182 819 0 0 25 0 1 0 763796957 35037184 7881 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8554 7881 1111 63 0 8491 0
vsize: 34216
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 338595 0 0 0 37181 820 0 0 25 0 1 0 763796957 34451456 7738 4294967295 134512640 134714508 3221224592 3221222112 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8411 7738 1111 63 0 8348 0
vsize: 33644
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 339536 0 0 0 38179 823 0 0 25 0 1 0 763796957 37163008 8386 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9073 8386 1111 63 0 9010 0
vsize: 36292
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 342491 0 0 0 39173 829 0 0 25 0 1 0 763796957 34992128 7870 4294967295 134512640 134714508 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8543 7870 1111 63 0 8480 0
vsize: 34172
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 343703 0 0 0 40170 832 0 0 25 0 1 0 763796957 37105664 8365 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9059 8365 1111 63 0 8996 0
vsize: 36236
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 346496 0 0 0 41163 839 0 0 25 0 1 0 763796957 35098624 7894 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8569 7894 1111 63 0 8506 0
vsize: 34276
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 347869 0 0 0 42160 843 0 0 25 0 1 0 763796957 34885632 7844 4294967295 134512640 134714508 3221224592 3221222592 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8517 7844 1111 63 0 8454 0
vsize: 34068
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 353319 0 0 0 43147 855 0 0 25 0 1 0 763796957 34557952 7764 4294967295 134512640 134714508 3221224592 3221222448 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8437 7764 1111 63 0 8374 0
vsize: 33748
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 354448 0 0 0 44143 859 0 0 25 0 1 0 763796957 37949440 8581 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9265 8581 1111 63 0 9202 0
vsize: 37060
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 357842 0 0 0 45136 867 0 0 25 0 1 0 763796957 35356672 7959 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8632 7959 1111 63 0 8569 0
vsize: 34528
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 358713 0 0 0 46134 869 0 0 25 0 1 0 763796957 34095104 7651 4294967295 134512640 134714508 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8324 7651 1111 63 0 8261 0
vsize: 33296
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 360067 0 0 0 47130 873 0 0 25 0 1 0 763796957 37527552 8485 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9162 8485 1111 63 0 9099 0
vsize: 36648
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 363215 0 0 0 48124 879 0 0 25 0 1 0 763796957 35233792 7929 4294967295 134512640 134714508 3221224592 3221223320 134622783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8602 7929 1111 63 0 8539 0
vsize: 34408
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 364210 0 0 0 49121 883 0 0 25 0 1 0 763796957 34910208 7850 4294967295 134512640 134714508 3221224592 3221222496 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8523 7850 1111 63 0 8460 0
vsize: 34092
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 366432 0 0 0 50116 888 0 0 25 0 1 0 763796957 39845888 8943 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9728 8943 1111 63 0 9665 0
vsize: 38912
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 368090 0 0 0 51113 891 0 0 25 0 1 0 763796957 34684928 7786 4294967295 134512640 134714508 3221224592 3221222208 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8468 7786 1111 63 0 8405 0
vsize: 33872
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 370107 0 0 0 52108 896 0 0 25 0 1 0 763796957 40652800 9012 4294967295 134512640 134714508 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9925 9012 1111 63 0 9862 0
vsize: 39700
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 372007 0 0 0 53104 901 0 0 25 0 1 0 763796957 38248448 8054 4294967295 134512640 134714508 3221224592 3221221664 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9338 8054 1111 63 0 9275 0
vsize: 37352
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 375875 0 0 0 54095 909 0 0 25 0 1 0 763796957 34963456 7863 4294967295 134512640 134714508 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8536 7863 1111 63 0 8473 0
vsize: 34144
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 376328 0 0 0 55094 911 0 0 25 0 1 0 763796957 34938880 7857 4294967295 134512640 134714508 3221224592 3221222576 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8530 7857 1111 63 0 8467 0
vsize: 34120
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 379466 0 0 0 56087 918 0 0 25 0 1 0 763796957 34992128 7870 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8543 7870 1111 63 0 8480 0
vsize: 34172
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 382742 0 0 0 57079 926 0 0 25 0 1 0 763796957 34557952 7764 4294967295 134512640 134714508 3221224592 3221222592 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8437 7764 1111 63 0 8374 0
vsize: 33748
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 395785 0 0 0 58049 956 0 0 25 0 1 0 763796957 36495360 7838 4294967295 134512640 134714508 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8910 7838 1111 63 0 8847 0
vsize: 35640
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 416584 0 0 0 59001 1004 0 0 25 0 1 0 763796957 34926592 7854 4294967295 134512640 134714508 3221224592 3221222896 1074153462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8527 7854 1111 63 0 8464 0
vsize: 34108
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 433660 0 0 0 59962 1044 0 0 25 0 1 0 763796957 35532800 8002 4294967295 134512640 134714508 3221224592 3221222944 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8675 8002 1111 63 0 8612 0
vsize: 34700
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 447314 0 0 0 60929 1076 0 0 25 0 1 0 763796957 35909632 8094 4294967295 134512640 134714508 3221224592 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8767 8094 1111 63 0 8704 0
vsize: 35068
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 464751 0 0 0 61891 1115 0 0 25 0 1 0 763796957 36524032 8214 4294967295 134512640 134714508 3221224592 3221222320 1075828612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8917 8214 1111 63 0 8854 0
vsize: 35668
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 483014 0 0 0 62851 1154 0 0 25 0 1 0 763796957 36970496 8353 4294967295 134512640 134714508 3221224592 3221223200 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9026 8353 1111 63 0 8963 0
vsize: 36104
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 483431 0 0 0 63850 1156 0 0 25 0 1 0 763796957 38539264 8736 4294967295 134512640 134714508 3221224592 3221222128 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9409 8736 1111 63 0 9346 0
vsize: 37636
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 484678 0 0 0 64846 1159 0 0 25 0 1 0 763796957 42061824 9581 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10269 9581 1111 63 0 10206 0
vsize: 41076
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 488546 0 0 0 65839 1167 0 0 25 0 1 0 763796957 38727680 8782 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9455 8782 1111 63 0 9392 0
vsize: 37820
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 488546 0 0 0 66840 1167 0 0 25 0 1 0 763796957 38727680 8782 4294967295 134512640 134714508 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9455 8782 1111 63 0 9392 0
vsize: 37820
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 498801 0 0 0 67817 1191 0 0 25 0 1 0 763796957 37232640 8417 4294967295 134512640 134714508 3221224592 3221223148 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9090 8417 1111 63 0 9027 0
vsize: 36360
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 499198 0 0 0 68815 1194 0 0 25 0 1 0 763796957 38862848 8788 4294967295 134512640 134714508 3221224592 3221222528 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9488 8788 1111 63 0 9425 0
vsize: 37952
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 501854 0 0 0 69809 1200 0 0 25 0 1 0 763796957 46010368 10284 4294967295 134512640 134714508 3221224592 3221220960 1075894549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11233 10284 1111 63 0 11170 0
vsize: 44932
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 504180 0 0 0 70803 1205 0 0 25 0 1 0 763796957 38895616 8822 4294967295 134512640 134714508 3221224592 3221223312 134622764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9496 8822 1111 63 0 9433 0
vsize: 37984
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 507155 0 0 0 71796 1213 0 0 25 0 1 0 763796957 37548032 8459 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9167 8459 1111 63 0 9104 0
vsize: 36668
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 515976 0 0 0 72776 1233 0 0 25 0 1 0 763796957 38797312 8771 4294967295 134512640 134714508 3221224592 3221222352 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9472 8771 1111 63 0 9409 0
vsize: 37888
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 517078 0 0 0 73773 1236 0 0 25 0 1 0 763796957 41910272 9533 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10232 9533 1111 63 0 10169 0
vsize: 40928
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 520723 0 0 0 74765 1244 0 0 25 0 1 0 763796957 39133184 8878 4294967295 134512640 134714508 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9554 8878 1111 63 0 9491 0
vsize: 38216
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 520723 0 0 0 75765 1244 0 0 25 0 1 0 763796957 39133184 8878 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9554 8878 1111 63 0 9491 0
vsize: 38216
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 523055 0 0 0 76759 1251 0 0 25 0 1 0 763796957 38678528 8770 4294967295 134512640 134714508 3221224592 3221222496 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9443 8770 1111 63 0 9380 0
vsize: 37772
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 525301 0 0 0 77753 1257 0 0 25 0 1 0 763796957 45789184 9955 4294967295 134512640 134714508 3221224592 3221220604 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11179 9955 1111 63 0 11116 0
vsize: 44716
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 527614 0 0 0 78749 1262 0 0 25 0 1 0 763796957 38846464 8811 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9484 8811 1111 63 0 9421 0
vsize: 37936
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 530961 0 0 0 79739 1271 0 0 25 0 1 0 763796957 38264832 8669 4294967295 134512640 134714508 3221224592 3221222352 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9342 8669 1111 63 0 9279 0
vsize: 37368
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 532052 0 0 0 80736 1274 0 0 25 0 1 0 763796957 41504768 9442 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10133 9442 1111 63 0 10070 0
vsize: 40532
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 535543 0 0 0 81728 1282 0 0 25 0 1 0 763796957 38883328 8820 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9493 8820 1111 63 0 9430 0
vsize: 37972
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 535971 0 0 0 82727 1284 0 0 25 0 1 0 763796957 37994496 8603 4294967295 134512640 134714508 3221224592 3221222160 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9276 8603 1111 63 0 9213 0
vsize: 37104
[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 537142 0 0 0 83723 1288 0 0 25 0 1 0 763796957 41459712 9431 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10122 9431 1111 63 0 10059 0
vsize: 40488
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 540668 0 0 0 84714 1297 0 0 25 0 1 0 763796957 38862848 8815 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9488 8815 1111 63 0 9425 0
vsize: 37952
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 541291 0 0 0 85713 1298 0 0 25 0 1 0 763796957 37748736 8510 4294967295 134512640 134714508 3221224592 3221221872 1074139993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9216 8511 1111 63 0 9153 0
vsize: 36864
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 544439 0 0 0 86705 1306 0 0 25 0 1 0 763796957 38957056 8838 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9511 8838 1111 63 0 9448 0
vsize: 38044
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 548819 0 0 0 87695 1317 0 0 25 0 1 0 763796957 38977536 8843 4294967295 134512640 134714508 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9516 8843 1111 63 0 9453 0
vsize: 38064
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 548819 0 0 0 88695 1317 0 0 25 0 1 0 763796957 38977536 8843 4294967295 134512640 134714508 3221224592 3221223328 134622801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9516 8843 1111 63 0 9453 0
vsize: 38064
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 550930 0 0 0 89690 1322 0 0 25 0 1 0 763796957 44634112 9862 4294967295 134512640 134714508 3221224592 3221220636 1074873504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10897 9862 1111 63 0 10834 0
vsize: 43588
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 553535 0 0 0 90683 1330 0 0 25 0 1 0 763796957 41287680 9406 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10080 9406 1111 63 0 10017 0
vsize: 40320
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 564955 0 0 0 91657 1356 0 0 25 0 1 0 763796957 40865792 8833 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9977 8833 1111 63 0 9914 0
vsize: 39908
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 582293 0 0 0 92616 1396 0 0 25 0 1 0 763796957 38244352 8646 4294967295 134512640 134714508 3221224592 3221222592 1074918607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9337 8646 1111 63 0 9274 0
vsize: 37348
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 598853 0 0 0 93578 1434 0 0 25 0 1 0 763796957 41541632 9000 4294967295 134512640 134714508 3221224592 3221220960 1075894503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9000 1111 63 0 10079 0
vsize: 40568
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 614816 0 0 0 94542 1470 0 0 25 0 1 0 763796957 39043072 8839 4294967295 134512640 134714508 3221224592 3221222592 1074917122 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9532 8839 1111 63 0 9469 0
vsize: 38128
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 630180 0 0 0 95506 1506 0 0 25 0 1 0 763796957 42172416 9134 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10296 9135 1111 63 0 10233 0
vsize: 41184
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 646761 0 0 0 96467 1546 0 0 25 0 1 0 763796957 42635264 9260 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10409 9260 1111 63 0 10346 0
vsize: 41636
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 660620 0 0 0 97435 1578 0 0 25 0 1 0 763796957 42627072 9101 4294967295 134512640 134714508 3221224592 3221221184 1074887937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10407 9101 1111 63 0 10344 0
vsize: 41628
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 684734 0 0 0 98380 1633 0 0 25 0 1 0 763796957 40591360 9237 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9910 9237 1111 63 0 9847 0
vsize: 39640
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 711626 0 0 0 99318 1696 0 0 25 0 1 0 763796957 44183552 9607 4294967295 134512640 134714508 3221224592 3221220812 1074794352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 9607 1111 63 0 10724 0
vsize: 43148
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 736199 0 0 0 100261 1752 0 0 25 0 1 0 763796957 42102784 9606 4294967295 134512640 134714508 3221224592 3221222880 134650104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10279 9606 1111 63 0 10216 0
vsize: 41116
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 764698 0 0 0 101196 1818 0 0 25 0 1 0 763796957 45932544 10060 4294967295 134512640 134714508 3221224592 3221221104 1075084536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11214 10060 1111 63 0 11151 0
vsize: 44856
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 774906 0 0 0 102172 1842 0 0 25 0 1 0 763796957 43941888 10044 4294967295 134512640 134714508 3221224592 3221222872 1074138293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10728 10044 1111 63 0 10665 0
vsize: 42912
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 785698 0 0 0 103147 1868 0 0 25 0 1 0 763796957 43212800 9877 4294967295 134512640 134714508 3221224592 3221222992 1074118870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10550 9877 1111 63 0 10487 0
vsize: 42200
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 799568 0 0 0 104116 1899 0 0 25 0 1 0 763796957 45637632 10469 4294967295 134512640 134714508 3221224592 3221221784 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11142 10469 1111 63 0 11079 0
vsize: 44568
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 809721 0 0 0 105092 1923 0 0 25 0 1 0 763796957 44285952 10129 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10812 10129 1111 63 0 10749 0
vsize: 43248
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 825101 0 0 0 106057 1958 0 0 25 0 1 0 763796957 46800896 10264 4294967295 134512640 134714508 3221224592 3221220652 1074788595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11426 10264 1111 63 0 11363 0
vsize: 45704
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 835966 0 0 0 107033 1982 0 0 25 0 1 0 763796957 46960640 10282 4294967295 134512640 134714508 3221224592 3221220860 1076079124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11465 10283 1111 63 0 11402 0
vsize: 45860
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 852477 0 0 0 107993 2022 0 0 25 0 1 0 763796957 45043712 10305 4294967295 134512640 134714508 3221224592 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10997 10305 1111 63 0 10934 0
vsize: 43988
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 862387 0 0 0 108974 2041 0 0 25 0 1 0 763796957 47403008 10229 4294967295 134512640 134714508 3221224592 3221221660 1074831210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11573 10229 1111 63 0 11510 0
vsize: 46292
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 875105 0 0 0 109944 2072 0 0 25 0 1 0 763796957 45129728 10335 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11018 10335 1111 63 0 10955 0
vsize: 44072
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 886303 0 0 0 110916 2100 0 0 25 0 1 0 763796957 45056000 10327 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11000 10327 1111 63 0 10937 0
vsize: 44000
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 896300 0 0 0 111894 2122 0 0 25 0 1 0 763796957 45121536 10343 4294967295 134512640 134714508 3221224592 3221222928 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11016 10343 1111 63 0 10953 0
vsize: 44064
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 907954 0 0 0 112866 2150 0 0 25 0 1 0 763796957 45596672 10459 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11132 10459 1111 63 0 11069 0
vsize: 44528
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 918538 0 0 0 113842 2174 0 0 25 0 1 0 763796957 46608384 10677 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11379 10677 1111 63 0 11316 0
vsize: 45516
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 927391 0 0 0 114823 2194 0 0 25 0 1 0 763796957 48906240 10801 4294967295 134512640 134714508 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11940 10801 1111 63 0 11877 0
vsize: 47760
[startup+1175.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 12578
Raw data (stat): 12578 (bsolo_lpr) R 12577 3132 3131 0 -1 0 927391 0 0 0 114823 2194 0 0 25 0 1 0 763796957 48906240 10801 4294967295 134512640 134714508 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11940 10801 1111 63 0 11877 0
vsize: 0

Child status: 10
Real time (s): 1175.25
CPU time (s): 1175.39
CPU user time (s): 1153.3
CPU system time (s): 22.0826
CPU usage (%): 100.011
Max. virtual memory (Kb): 47760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1533
#### END VERIFIER DATA ####