PB'05 competition: run trace

Some explanations

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

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        430040 kB
Buffers:         17732 kB
Cached:         545032 kB
SwapCached:        480 kB
Active:          56156 kB
Inactive:       523764 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        429788 kB
SwapTotal:     2097892 kB
SwapFree:      2097148 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6044 kB
Slab:            19104 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:07:23 (client local time) WITH STATUS 10 IN 1175.14 SECONDS
stats: 17110 0 1175.14 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.344 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.174
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2418 @ 7.126
c NEW SOLUTION FOUND: 2399 @ 7.277
c NEW SOLUTION FOUND: 2396 @ 7.362
c NEW SOLUTION FOUND: 2383 @ 7.543
c NEW SOLUTION FOUND: 2373 @ 7.758
c NEW SOLUTION FOUND: 2363 @ 8.046
c NEW SOLUTION FOUND: 2351 @ 8.12
c NEW SOLUTION FOUND: 2176 @ 8.45
c NEW SOLUTION FOUND: 2097 @ 68.007
c NEW SOLUTION FOUND: 2083 @ 69.912
c NEW SOLUTION FOUND: 2023 @ 70.026
c NEW SOLUTION FOUND: 2013 @ 70.26
c NEW SOLUTION FOUND: 2003 @ 76.655
c NEW SOLUTION FOUND: 1933 @ 100.803
c NEW SOLUTION FOUND: 1890 @ 185.48
c NEW SOLUTION FOUND: 1860 @ 201.002
c NEW SOLUTION FOUND: 1858 @ 204.808
c NEW SOLUTION FOUND: 1838 @ 210.091
c NEW SOLUTION FOUND: 1816 @ 225.599
c NEW SOLUTION FOUND: 1806 @ 496.243
c NEW SOLUTION FOUND: 1804 @ 593.179
c NEW SOLUTION FOUND: 1754 @ 670.652
c NEW SOLUTION FOUND: 1749 @ 705.036
c NEW SOLUTION FOUND: 1743 @ 926.16
c NEW SOLUTION FOUND: 1736 @ 1121.54
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.11 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.97 0.99 2/54 13177
Raw data (stat): 13177 (runsolver) R 13176 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833608057 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 7809 0 0 0 977 20 0 0 25 0 1 0 833608057 12427264 2291 4294967295 134512640 134714508 3221224592 3221220604 1074788930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3034 2291 1111 63 0 2971 0
vsize: 12136
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 20266 0 0 0 1947 50 0 0 25 0 1 0 833608057 14622720 2828 4294967295 134512640 134714508 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2828 1111 63 0 3507 0
vsize: 14280
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 33567 0 0 0 2911 86 0 0 25 0 1 0 833608057 16470016 3327 4294967295 134512640 134714508 3221224592 3221222592 1074918472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4021 3327 1111 63 0 3958 0
vsize: 16084
[startup+40.002 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 47310 0 0 0 3880 117 0 0 25 0 1 0 833608057 18804736 3866 4294967295 134512640 134714508 3221224592 3221220832 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4591 3866 1111 63 0 4528 0
vsize: 18364
[startup+50.002 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 59012 0 0 0 4852 145 0 0 25 0 1 0 833608057 19070976 3977 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4656 3977 1111 63 0 4593 0
vsize: 18624
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 68779 0 0 0 5829 169 0 0 25 0 1 0 833608057 20480000 4226 4294967295 134512640 134714508 3221224592 3221222232 1075850294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5000 4226 1111 63 0 4937 0
vsize: 20000
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 81125 0 0 0 6801 197 0 0 25 0 1 0 833608057 20525056 4334 4294967295 134512640 134714508 3221224592 3221222232 1077378596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4334 1111 63 0 4948 0
vsize: 20044
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 93271 0 0 0 7774 224 0 0 25 0 1 0 833608057 22605824 4839 4294967295 134512640 134714508 3221224592 3221221784 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5519 4839 1111 63 0 5456 0
vsize: 22076
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 103963 0 0 0 8747 250 0 0 25 0 1 0 833608057 23556096 4926 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5751 4926 1111 63 0 5688 0
vsize: 23004
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 115190 0 0 0 9721 277 0 0 25 0 1 0 833608057 23277568 4974 4294967295 134512640 134714508 3221224592 3221221696 1074138740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5683 4974 1111 63 0 5620 0
vsize: 22732
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 127229 0 0 0 10694 304 0 0 25 0 1 0 833608057 25776128 5593 4294967295 134512640 134714508 3221224592 3221220752 1075091449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6293 5593 1111 63 0 6230 0
vsize: 25172
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 137433 0 0 0 11670 328 0 0 25 0 1 0 833608057 24576000 5293 4294967295 134512640 134714508 3221224592 3221222704 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6000 5293 1111 63 0 5937 0
vsize: 24000
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 150347 0 0 0 12638 360 0 0 25 0 1 0 833608057 24645632 5308 4294967295 134512640 134714508 3221224592 3221222848 1074039446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6017 5308 1111 63 0 5954 0
vsize: 24068
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 159680 0 0 0 13616 382 0 0 25 0 1 0 833608057 24391680 5278 4294967295 134512640 134714508 3221224592 3221222944 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5955 5278 1111 63 0 5892 0
vsize: 23820
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 172578 0 0 0 14586 412 0 0 25 0 1 0 833608057 26263552 5591 4294967295 134512640 134714508 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6412 5591 1111 63 0 6349 0
vsize: 25648
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 182107 0 0 0 15564 435 0 0 25 0 1 0 833608057 27471872 5999 4294967295 134512640 134714508 3221224592 3221221248 1075967932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6707 5999 1111 63 0 6644 0
vsize: 26828
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 195869 0 0 0 16533 465 0 0 25 0 1 0 833608057 26497024 5792 4294967295 134512640 134714508 3221224592 3221222336 1075640496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6469 5792 1111 63 0 6406 0
vsize: 25876
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 207788 0 0 0 17507 492 0 0 25 0 1 0 833608057 28594176 6178 4294967295 134512640 134714508 3221224592 3221220864 1074961212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6981 6178 1111 63 0 6918 0
vsize: 27924
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 218850 0 0 0 18480 519 0 0 25 0 1 0 833608057 29179904 6296 4294967295 134512640 134714508 3221224592 3221220800 1074815268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7124 6296 1111 63 0 7061 0
vsize: 28496
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 229297 0 0 0 19456 543 0 0 25 0 1 0 833608057 29925376 6455 4294967295 134512640 134714508 3221224592 3221220540 1074788937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 6455 1111 63 0 7243 0
vsize: 29224
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 237132 0 0 0 20436 563 0 0 25 0 1 0 833608057 29655040 6361 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7240 6361 1111 63 0 7177 0
vsize: 28960
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 239398 0 0 0 21430 570 0 0 25 0 1 0 833608057 32940032 7308 4294967295 134512640 134714508 3221224592 3221221124 1075863638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8042 7308 1111 63 0 7979 0
vsize: 32168
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 253213 0 0 0 22397 602 0 0 25 0 1 0 833608057 29589504 6549 4294967295 134512640 134714508 3221224592 3221222320 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7224 6549 1111 63 0 7161 0
vsize: 28896
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 264759 0 0 0 23371 629 0 0 25 0 1 0 833608057 30633984 6808 4294967295 134512640 134714508 3221224592 3221222320 1075828464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7479 6808 1111 63 0 7416 0
vsize: 29916
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 280529 0 0 0 24334 666 0 0 25 0 1 0 833608057 29466624 6523 4294967295 134512640 134714508 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7194 6523 1111 63 0 7131 0
vsize: 28776
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 295254 0 0 0 25300 700 0 0 25 0 1 0 833608057 30683136 6820 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7491 6820 1111 63 0 7428 0
vsize: 29964
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 306231 0 0 0 26273 727 0 0 25 0 1 0 833608057 31997952 6814 4294967295 134512640 134714508 3221224592 3221220540 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7812 6814 1111 63 0 7749 0
vsize: 31248
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 320450 0 0 0 27240 760 0 0 25 0 1 0 833608057 30744576 6834 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 6834 1111 63 0 7443 0
vsize: 30024
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 328924 0 0 0 28223 778 0 0 25 0 1 0 833608057 33214464 7253 4294967295 134512640 134714508 3221224592 3221221360 1076084143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8109 7253 1111 63 0 8046 0
vsize: 32436
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 345189 0 0 0 29186 814 0 0 25 0 1 0 833608057 31178752 6916 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7612 6916 1111 63 0 7549 0
vsize: 30448
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 356598 0 0 0 30159 842 0 0 25 0 1 0 833608057 32976896 7380 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8051 7380 1111 63 0 7988 0
vsize: 32204
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 368314 0 0 0 31134 867 0 0 25 0 1 0 833608057 35164160 7787 4294967295 134512640 134714508 3221224592 3221221124 1074260661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8585 7787 1111 63 0 8522 0
vsize: 34340
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 379010 0 0 0 32111 890 0 0 25 0 1 0 833608057 32112640 7169 4294967295 134512640 134714508 3221224592 3221222496 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7840 7169 1111 63 0 7777 0
vsize: 31360
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 389129 0 0 0 33088 913 0 0 25 0 1 0 833608057 32284672 7211 4294967295 134512640 134714508 3221224592 3221222480 1074839014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7882 7211 1111 63 0 7819 0
vsize: 31528
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 396941 0 0 0 34071 930 0 0 25 0 1 0 833608057 36057088 7697 4294967295 134512640 134714508 3221224592 3221220800 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8803 7697 1111 63 0 8740 0
vsize: 35212
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 402497 0 0 0 35057 944 0 0 25 0 1 0 833608057 36040704 8073 4294967295 134512640 134714508 3221224592 3221220636 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8799 8073 1111 63 0 8736 0
vsize: 35196
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 414893 0 0 0 36027 974 0 0 25 0 1 0 833608057 32575488 7282 4294967295 134512640 134714508 3221224592 3221222352 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7953 7282 1111 63 0 7890 0
vsize: 31812
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 424985 0 0 0 37006 995 0 0 25 0 1 0 833608057 36929536 8005 4294967295 134512640 134714508 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9016 8005 1111 63 0 8953 0
vsize: 36064
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 434060 0 0 0 37984 1018 0 0 25 0 1 0 833608057 34496512 7468 4294967295 134512640 134714508 3221224592 3221220656 1075084539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8422 7468 1111 63 0 8359 0
vsize: 33688
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 446609 0 0 0 38954 1048 0 0 25 0 1 0 833608057 33361920 7443 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8145 7443 1111 63 0 8082 0
vsize: 32580
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 456337 0 0 0 39933 1069 0 0 25 0 1 0 833608057 34783232 7821 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8492 7821 1111 63 0 8429 0
vsize: 33968
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 467847 0 0 0 40907 1095 0 0 25 0 1 0 833608057 34062336 7612 4294967295 134512640 134714508 3221224592 3221222320 1075828498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8316 7612 1111 63 0 8253 0
vsize: 33264
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 476045 0 0 0 41888 1114 0 0 25 0 1 0 833608057 34541568 7762 4294967295 134512640 134714508 3221224592 3221222872 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8433 7762 1111 63 0 8370 0
vsize: 33732
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 488198 0 0 0 42861 1141 0 0 25 0 1 0 833608057 34668544 7793 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8464 7793 1111 63 0 8401 0
vsize: 33856
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 501262 0 0 0 43831 1171 0 0 25 0 1 0 833608057 34508800 7754 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8425 7754 1111 63 0 8362 0
vsize: 33700
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 513809 0 0 0 44802 1200 0 0 25 0 1 0 833608057 33800192 7574 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8252 7574 1111 63 0 8189 0
vsize: 33008
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 527740 0 0 0 45771 1232 0 0 25 0 1 0 833608057 33689600 7554 4294967295 134512640 134714508 3221224592 3221222944 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8225 7554 1111 63 0 8162 0
vsize: 32900
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 539995 0 0 0 46742 1261 0 0 25 0 1 0 833608057 33669120 7539 4294967295 134512640 134714508 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8220 7539 1111 63 0 8157 0
vsize: 32880
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 550191 0 0 0 47718 1285 0 0 25 0 1 0 833608057 37605376 7858 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9181 7862 1111 63 0 9118 0
vsize: 36724
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 569981 0 0 0 48672 1331 0 0 25 0 1 0 833608057 36995072 7958 4294967295 134512640 134714508 3221224592 3221222160 1075972440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9032 7958 1111 63 0 8969 0
vsize: 36128
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 586735 0 0 0 49634 1368 0 0 25 0 1 0 833608057 35078144 7893 4294967295 134512640 134714508 3221224592 3221222944 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8564 7893 1111 63 0 8501 0
vsize: 34256
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 601990 0 0 0 50598 1405 0 0 25 0 1 0 833608057 36356096 8205 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8876 8205 1111 63 0 8813 0
vsize: 35504
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 614612 0 0 0 51569 1434 0 0 25 0 1 0 833608057 36069376 8135 4294967295 134512640 134714508 3221224592 3221222648 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8806 8135 1111 63 0 8743 0
vsize: 35224
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 628149 0 0 0 52538 1465 0 0 25 0 1 0 833608057 36638720 8274 4294967295 134512640 134714508 3221224592 3221222324 1077374467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8274 1111 63 0 8882 0
vsize: 35780
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 641734 0 0 0 53508 1495 0 0 25 0 1 0 833608057 38088704 8616 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9299 8616 1111 63 0 9236 0
vsize: 37196
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 655969 0 0 0 54475 1528 0 0 25 0 1 0 833608057 38027264 8613 4294967295 134512640 134714508 3221224592 3221222336 1075636575 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9284 8613 1111 63 0 9221 0
vsize: 37136
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 668459 0 0 0 55445 1558 0 0 25 0 1 0 833608057 37687296 8530 4294967295 134512640 134714508 3221224592 3221223072 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9201 8530 1111 63 0 9138 0
vsize: 36804
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 682083 0 0 0 56415 1589 0 0 25 0 1 0 833608057 39960576 8834 4294967295 134512640 134714508 3221224592 3221220820 1075115000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9756 8834 1111 63 0 9693 0
vsize: 39024
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 691607 0 0 0 57392 1612 0 0 25 0 1 0 833608057 40833024 9082 4294967295 134512640 134714508 3221224592 3221220604 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9969 9082 1111 63 0 9906 0
vsize: 39876
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 705727 0 0 0 58360 1644 0 0 25 0 1 0 833608057 39489536 8948 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9641 8948 1111 63 0 9578 0
vsize: 38564
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 715381 0 0 0 59337 1667 0 0 25 0 1 0 833608057 39624704 9003 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9674 9003 1111 63 0 9611 0
vsize: 38696
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 727802 0 0 0 60310 1694 0 0 25 0 1 0 833608057 39026688 8856 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9528 8856 1111 63 0 9465 0
vsize: 38112
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 740872 0 0 0 61280 1724 0 0 25 0 1 0 833608057 39464960 8964 4294967295 134512640 134714508 3221224592 3221223084 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9635 8964 1111 63 0 9572 0
vsize: 38540
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 755642 0 0 0 62246 1759 0 0 25 0 1 0 833608057 41611264 9083 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10159 9089 1111 63 0 10096 0
vsize: 40636
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 768273 0 0 0 63216 1789 0 0 25 0 1 0 833608057 40611840 9242 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9915 9242 1111 63 0 9852 0
vsize: 39660
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 781732 0 0 0 64184 1821 0 0 25 0 1 0 833608057 41586688 9450 4294967295 134512640 134714508 3221224592 3221223008 134557283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10153 9450 1111 63 0 10090 0
vsize: 40612
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 793051 0 0 0 65157 1848 0 0 25 0 1 0 833608057 41218048 9392 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10063 9392 1111 63 0 10000 0
vsize: 40252
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 803510 0 0 0 66135 1871 0 0 25 0 1 0 833608057 43925504 9734 4294967295 134512640 134714508 3221224592 3221220960 1075894503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10724 9735 1111 63 0 10661 0
vsize: 42896
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 813744 0 0 0 67109 1896 0 0 25 0 1 0 833608057 42250240 9612 4294967295 134512640 134714508 3221224592 3221222944 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 9612 1111 63 0 10252 0
vsize: 41260
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 824684 0 0 0 68086 1920 0 0 25 0 1 0 833608057 42717184 9752 4294967295 134512640 134714508 3221224592 3221223168 134652362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10429 9752 1111 63 0 10366 0
vsize: 41716
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 836658 0 0 0 69056 1950 0 0 25 0 1 0 833608057 42815488 9771 4294967295 134512640 134714508 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10453 9771 1111 63 0 10390 0
vsize: 41812
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 847673 0 0 0 70032 1974 0 0 25 0 1 0 833608057 43388928 9912 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10593 9912 1111 63 0 10530 0
vsize: 42372
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 857351 0 0 0 71010 1997 0 0 25 0 1 0 833608057 43569152 9966 4294967295 134512640 134714508 3221224592 3221222892 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10637 9966 1111 63 0 10574 0
vsize: 42548
[startup+740.017 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 866910 0 0 0 71988 2019 0 0 25 0 1 0 833608057 44109824 10100 4294967295 134512640 134714508 3221224592 3221222704 1074867337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10769 10100 1111 63 0 10706 0
vsize: 43076
[startup+750.016 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 878754 0 0 0 72962 2044 0 0 25 0 1 0 833608057 46862336 10245 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11441 10245 1111 63 0 11378 0
vsize: 45764
[startup+760.017 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 886038 0 0 0 73945 2061 0 0 25 0 1 0 833608057 46366720 10449 4294967295 134512640 134714508 3221224592 3221220592 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11320 10449 1111 63 0 11257 0
vsize: 45280
[startup+770.016 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 896130 0 0 0 74923 2084 0 0 25 0 1 0 833608057 44466176 10160 4294967295 134512640 134714508 3221224592 3221221936 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10856 10160 1111 63 0 10793 0
vsize: 43424
[startup+780.017 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 904610 0 0 0 75903 2104 0 0 25 0 1 0 833608057 44531712 10203 4294967295 134512640 134714508 3221224592 3221222592 1074916920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10872 10203 1111 63 0 10809 0
vsize: 43488
[startup+790.018 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 914103 0 0 0 76882 2124 0 0 25 0 1 0 833608057 44523520 10206 4294967295 134512640 134714508 3221224592 3221222224 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10870 10206 1111 63 0 10807 0
vsize: 43480
[startup+800.017 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 921297 0 0 0 77865 2142 0 0 25 0 1 0 833608057 43982848 10074 4294967295 134512640 134714508 3221224592 3221223024 134650104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10738 10074 1111 63 0 10675 0
vsize: 42952
[startup+810.018 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 933103 0 0 0 78839 2168 0 0 25 0 1 0 833608057 44969984 10305 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10979 10305 1111 63 0 10916 0
vsize: 43916
[startup+820.018 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 945142 0 0 0 79809 2197 0 0 25 0 1 0 833608057 45150208 10352 4294967295 134512640 134714508 3221224592 3221222592 1074918201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11023 10352 1111 63 0 10960 0
vsize: 44092
[startup+830.018 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 957772 0 0 0 80779 2228 0 0 25 0 1 0 833608057 44789760 10271 4294967295 134512640 134714508 3221224592 3221222160 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10935 10271 1111 63 0 10872 0
vsize: 43740
[startup+840.019 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 967827 0 0 0 81754 2253 0 0 25 0 1 0 833608057 45711360 10496 4294967295 134512640 134714508 3221224592 3221222592 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11160 10496 1111 63 0 11097 0
vsize: 44640
[startup+850.019 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 976077 0 0 0 82735 2272 0 0 25 0 1 0 833608057 48058368 11054 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11733 11054 1111 63 0 11670 0
vsize: 46932
[startup+860.02 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 988590 0 0 0 83705 2302 0 0 25 0 1 0 833608057 47648768 10679 4294967295 134512640 134714508 3221224592 3221220864 1074960970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11633 10679 1111 63 0 11570 0
vsize: 46532
[startup+870.024 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1000681 0 0 0 84676 2332 0 0 25 0 1 0 833608057 46497792 10688 4294967295 134512640 134714508 3221224592 3221222448 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11352 10688 1111 63 0 11289 0
vsize: 45408
[startup+880.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1007885 0 0 0 85657 2350 0 0 25 0 1 0 833608057 48807936 11080 4294967295 134512640 134714508 3221224592 3221222056 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11916 11080 1111 63 0 11853 0
vsize: 47664
[startup+890.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1016716 0 0 0 86637 2371 0 0 25 0 1 0 833608057 46989312 10808 4294967295 134512640 134714508 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11472 10808 1111 63 0 11409 0
vsize: 45888
[startup+900.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1020547 0 0 0 87628 2381 0 0 25 0 1 0 833608057 48107520 11059 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11745 11059 1111 63 0 11682 0
vsize: 46980
[startup+910.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1026691 0 0 0 88614 2394 0 0 25 0 1 0 833608057 50077696 11508 4294967295 134512640 134714508 3221224592 3221220816 1075895685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12226 11508 1111 63 0 12163 0
vsize: 48904
[startup+920.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1036731 0 0 0 89591 2418 0 0 25 0 1 0 833608057 48525312 10862 4294967295 134512640 134714508 3221224592 3221220624 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11847 10862 1111 63 0 11784 0
vsize: 47388
[startup+930.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1047435 0 0 0 90565 2443 0 0 25 0 1 0 833608057 50343936 11107 4294967295 134512640 134714508 3221224592 3221221664 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12291 11107 1111 63 0 12228 0
vsize: 49164
[startup+940.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1056506 0 0 0 91543 2465 0 0 25 0 1 0 833608057 49123328 11311 4294967295 134512640 134714508 3221224592 3221221784 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11993 11311 1111 63 0 11930 0
vsize: 47972
[startup+950.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1068528 0 0 0 92516 2493 0 0 25 0 1 0 833608057 48111616 11009 4294967295 134512640 134714508 3221224592 3221222504 1074138303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11746 11009 1111 63 0 11683 0
vsize: 46984
[startup+960.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1077781 0 0 0 93493 2515 0 0 25 0 1 0 833608057 51576832 11723 4294967295 134512640 134714508 3221224592 3221220636 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12592 11723 1111 63 0 12529 0
vsize: 50368
[startup+970.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1085354 0 0 0 94475 2534 0 0 25 0 1 0 833608057 50651136 11539 4294967295 134512640 134714508 3221224592 3221220636 1074873512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12366 11539 1111 63 0 12303 0
vsize: 49464
[startup+980.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1092444 0 0 0 95458 2551 0 0 25 0 1 0 833608057 50577408 11527 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12348 11527 1111 63 0 12285 0
vsize: 49392
[startup+990.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1103671 0 0 0 96432 2578 0 0 25 0 1 0 833608057 50876416 11099 4294967295 134512640 134714508 3221224592 3221221632 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12421 11099 1111 63 0 12358 0
vsize: 49684
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1115455 0 0 0 97405 2605 0 0 25 0 1 0 833608057 51032064 11488 4294967295 134512640 134714508 3221224592 3221220800 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12459 11488 1111 63 0 12396 0
vsize: 49836
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1130976 0 0 0 98369 2641 0 0 25 0 1 0 833608057 48226304 11071 4294967295 134512640 134714508 3221224592 3221222524 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11774 11071 1111 63 0 11711 0
vsize: 47096
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1144711 0 0 0 99340 2670 0 0 25 0 1 0 833608057 50491392 11354 4294967295 134512640 134714508 3221224592 3221220756 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12327 11354 1111 63 0 12264 0
vsize: 49308
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1162257 0 0 0 100298 2712 0 0 25 0 1 0 833608057 51478528 11869 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11879 1111 63 0 12505 0
vsize: 50272
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1176226 0 0 0 101268 2743 0 0 25 0 1 0 833608057 53968896 12271 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13176 12271 1111 63 0 13113 0
vsize: 52704
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1188978 0 0 0 102238 2772 0 0 25 0 1 0 833608057 52703232 11791 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12867 11801 1111 63 0 12804 0
vsize: 51468
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1202261 0 0 0 103207 2804 0 0 25 0 1 0 833608057 51105792 11795 4294967295 134512640 134714508 3221224592 3221222592 1074918621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12477 11795 1111 63 0 12414 0
vsize: 49908
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1215928 0 0 0 104171 2840 0 0 25 0 1 0 833608057 53837824 12170 4294967295 134512640 134714508 3221224592 3221220720 1075112080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13144 12170 1111 63 0 13081 0
vsize: 52576
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1231351 0 0 0 105138 2873 0 0 25 0 1 0 833608057 52027392 12038 4294967295 134512640 134714508 3221224592 3221222464 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12702 12038 1111 63 0 12639 0
vsize: 50808
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1243950 0 0 0 106110 2902 0 0 25 0 1 0 833608057 52334592 12090 4294967295 134512640 134714508 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12777 12090 1111 63 0 12714 0
vsize: 51108
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13234
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1251905 0 0 0 107091 2920 0 0 25 0 1 0 833608057 54853632 12728 4294967295 134512640 134714508 3221224592 3221222704 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13392 12728 1111 63 0 13329 0
vsize: 53568
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13234
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1263109 0 0 0 108067 2944 0 0 25 0 1 0 833608057 52654080 12191 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12855 12191 1111 63 0 12792 0
vsize: 51420
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13234
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1274555 0 0 0 109043 2969 0 0 25 0 1 0 833608057 55193600 12560 4294967295 134512640 134714508 3221224592 3221221404 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13475 12560 1111 63 0 13412 0
vsize: 53900
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13234
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1285669 0 0 0 110015 2996 0 0 25 0 1 0 833608057 54001664 12489 4294967295 134512640 134714508 3221224592 3221222656 1075961779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13184 12489 1111 63 0 13121 0
vsize: 52736
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13234
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1296674 0 0 0 110989 3022 0 0 25 0 1 0 833608057 53219328 12329 4294967295 134512640 134714508 3221224592 3221222592 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12993 12329 1111 63 0 12930 0
vsize: 51972
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13234
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1307574 0 0 0 111962 3050 0 0 25 0 1 0 833608057 55492608 12592 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13548 12592 1111 63 0 13485 0
vsize: 54192
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13234
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1318416 0 0 0 112935 3076 0 0 25 0 1 0 833608057 57548800 12831 4294967295 134512640 134714508 3221224592 3221220752 1075091857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14050 12831 1111 63 0 13987 0
vsize: 56200
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 13234
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1332035 0 0 0 113904 3108 0 0 25 0 1 0 833608057 53911552 12498 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13162 12498 1111 63 0 13099 0
vsize: 52648
[startup+1175.05 s]
Raw data (loadavg): 1.00 0.99 0.99 1/53 13234
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7475 7474 0 -1 0 1332035 0 0 0 113904 3108 0 0 25 0 1 0 833608057 53911552 12498 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13162 12498 1111 63 0 13099 0
vsize: 0

Child status: 10
Real time (s): 1175.05
CPU time (s): 1175.14
CPU user time (s): 1143.91
CPU system time (s): 31.2273
CPU usage (%): 100.008
Max. virtual memory (Kb): 56200
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1736
#### END VERIFIER DATA ####