PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-24 15:22:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13704 boxname=wulflinc24 idbench=1055 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 13704
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        929612 kB
Buffers:         36000 kB
Cached:          46132 kB
SwapCached:        624 kB
Active:          56804 kB
Inactive:        27776 kB
HighTotal:      131008 kB
HighFree:        84784 kB
LowTotal:       903652 kB
LowFree:        844828 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            14812 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 15:42:01 (client local time) WITH STATUS 10 IN 1175.41 SECONDS
stats: 13704 0 1175.41 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.359 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.178
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2418 @ 7.196
c NEW SOLUTION FOUND: 2399 @ 7.351
c NEW SOLUTION FOUND: 2396 @ 7.439
c NEW SOLUTION FOUND: 2383 @ 7.625
c NEW SOLUTION FOUND: 2373 @ 7.848
c NEW SOLUTION FOUND: 2363 @ 8.146
c NEW SOLUTION FOUND: 2351 @ 8.222
c NEW SOLUTION FOUND: 2176 @ 8.56
c NEW SOLUTION FOUND: 2097 @ 68.444
c NEW SOLUTION FOUND: 2083 @ 70.409
c NEW SOLUTION FOUND: 2023 @ 70.524
c NEW SOLUTION FOUND: 2013 @ 70.765
c NEW SOLUTION FOUND: 2003 @ 77.24
c NEW SOLUTION FOUND: 1933 @ 101.652
c NEW SOLUTION FOUND: 1890 @ 188.563
c NEW SOLUTION FOUND: 1860 @ 204.6
c NEW SOLUTION FOUND: 1858 @ 208.417
c NEW SOLUTION FOUND: 1838 @ 214.029
c NEW SOLUTION FOUND: 1816 @ 230.619
c NEW SOLUTION FOUND: 1806 @ 512.372
c NEW SOLUTION FOUND: 1804 @ 610.081
c NEW SOLUTION FOUND: 1754 @ 686.921
c NEW SOLUTION FOUND: 1749 @ 720.884
c NEW SOLUTION FOUND: 1743 @ 945.657
c NEW SOLUTION FOUND: 1736 @ 1145.93
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.37 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 4992
Raw data (stat): 4992 (runsolver) R 4991 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831281097 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 7725 0 0 0 978 19 0 0 25 0 1 0 831281097 12066816 2266 4294967295 134512640 134714508 3221224576 3221221768 1074138322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 2266 1111 63 0 2883 0
vsize: 11784
[startup+20.002 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 19743 0 0 0 1946 51 0 0 25 0 1 0 831281097 14352384 2792 4294967295 134512640 134714508 3221224576 3221221856 1074140023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3504 2792 1111 63 0 3441 0
vsize: 14016
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 32866 0 0 0 2912 85 0 0 25 0 1 0 831281097 16515072 3298 4294967295 134512640 134714508 3221224576 3221220720 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 3298 1111 63 0 3969 0
vsize: 16128
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 46782 0 0 0 3877 120 0 0 25 0 1 0 831281097 18685952 3855 4294967295 134512640 134714508 3221224576 3221220512 1075965307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4562 3855 1111 63 0 4499 0
vsize: 18248
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 58565 0 0 0 4848 149 0 0 25 0 1 0 831281097 19378176 4020 4294967295 134512640 134714508 3221224576 3221221768 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4731 4020 1111 63 0 4668 0
vsize: 18924
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 68518 0 0 0 5825 173 0 0 25 0 1 0 831281097 19939328 4191 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4868 4191 1111 63 0 4805 0
vsize: 19472
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 80282 0 0 0 6794 204 0 0 25 0 1 0 831281097 20525056 4334 4294967295 134512640 134714508 3221224576 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5011 4334 1111 63 0 4948 0
vsize: 20044
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 92035 0 0 0 7767 230 0 0 25 0 1 0 831281097 22245376 4754 4294967295 134512640 134714508 3221224576 3221222488 1074138319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5431 4754 1111 63 0 5368 0
vsize: 21724
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 102728 0 0 0 8742 255 0 0 25 0 1 0 831281097 23093248 4827 4294967295 134512640 134714508 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5638 4827 1111 63 0 5575 0
vsize: 22552
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 114262 0 0 0 9714 284 0 0 25 0 1 0 831281097 22986752 4935 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5612 4935 1111 63 0 5549 0
vsize: 22448
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 126559 0 0 0 10683 314 0 0 25 0 1 0 831281097 23728128 5116 4294967295 134512640 134714508 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5793 5116 1111 63 0 5730 0
vsize: 23172
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 135550 0 0 0 11661 336 0 0 25 0 1 0 831281097 24121344 5180 4294967295 134512640 134714508 3221224576 3221222728 1074950096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5889 5180 1111 63 0 5826 0
vsize: 23556
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 148129 0 0 0 12632 366 0 0 25 0 1 0 831281097 24109056 5209 4294967295 134512640 134714508 3221224576 3221222036 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5886 5209 1111 63 0 5823 0
vsize: 23544
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 156583 0 0 0 13610 388 0 0 25 0 1 0 831281097 24596480 5328 4294967295 134512640 134714508 3221224576 3221222028 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6005 5328 1111 63 0 5942 0
vsize: 24020
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 169727 0 0 0 14579 419 0 0 25 0 1 0 831281097 26030080 5539 4294967295 134512640 134714508 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6355 5539 1111 63 0 6292 0
vsize: 25420
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 180556 0 0 0 15551 447 0 0 25 0 1 0 831281097 26808320 5867 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6545 5867 1111 63 0 6482 0
vsize: 26180
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 192779 0 0 0 16524 475 0 0 25 0 1 0 831281097 26222592 5725 4294967295 134512640 134714508 3221224576 3221222588 1077404777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6402 5725 1111 63 0 6339 0
vsize: 25608
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 204163 0 0 0 17497 502 0 0 25 0 1 0 831281097 27156480 5953 4294967295 134512640 134714508 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6630 5953 1111 63 0 6567 0
vsize: 26520
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 215370 0 0 0 18467 532 0 0 25 0 1 0 831281097 28033024 6167 4294967295 134512640 134714508 3221224576 3221222880 1074206149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6844 6167 1111 63 0 6781 0
vsize: 27376
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 223904 0 0 0 19445 554 0 0 25 0 1 0 831281097 29863936 6614 4294967295 134512640 134714508 3221224576 3221222576 1074916543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7291 6614 1111 63 0 7228 0
vsize: 29164
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 234314 0 0 0 20419 579 0 0 25 0 1 0 831281097 28889088 6382 4294967295 134512640 134714508 3221224576 3221222288 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7053 6382 1111 63 0 6990 0
vsize: 28212
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 237697 0 0 0 21411 588 0 0 25 0 1 0 831281097 29315072 6486 4294967295 134512640 134714508 3221224576 3221222576 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7157 6486 1111 63 0 7094 0
vsize: 28628
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 247331 0 0 0 22388 611 0 0 25 0 1 0 831281097 28823552 6366 4294967295 134512640 134714508 3221224576 3221223176 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7037 6366 1111 63 0 6974 0
vsize: 28148
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 256212 0 0 0 23367 632 0 0 25 0 1 0 831281097 30416896 6715 4294967295 134512640 134714508 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7426 6715 1111 63 0 7363 0
vsize: 29704
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 270477 0 0 0 24335 665 0 0 25 0 1 0 831281097 29413376 6510 4294967295 134512640 134714508 3221224576 3221222336 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7181 6510 1111 63 0 7118 0
vsize: 28724
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 285431 0 0 0 25297 702 0 0 25 0 1 0 831281097 29515776 6535 4294967295 134512640 134714508 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7206 6535 1111 63 0 7143 0
vsize: 28824
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 298153 0 0 0 26268 732 0 0 25 0 1 0 831281097 30552064 6773 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7459 6773 1111 63 0 7396 0
vsize: 29836
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 308563 0 0 0 27242 758 0 0 25 0 1 0 831281097 33853440 7160 4294967295 134512640 134714508 3221224576 3221220804 1075115076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8265 7160 1111 63 0 8202 0
vsize: 33060
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 322746 0 0 0 28207 793 0 0 25 0 1 0 831281097 34107392 7467 4294967295 134512640 134714508 3221224576 3221220848 1074960876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8327 7467 1111 63 0 8264 0
vsize: 33308
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 334673 0 0 0 29178 822 0 0 25 0 1 0 831281097 30564352 6791 4294967295 134512640 134714508 3221224576 3221222656 1077377153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7462 6791 1111 63 0 7399 0
vsize: 29848
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 348286 0 0 0 30144 856 0 0 25 0 1 0 831281097 31707136 7067 4294967295 134512640 134714508 3221224576 3221222576 1074918929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7741 7067 1111 63 0 7678 0
vsize: 30964
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 357600 0 0 0 31121 879 0 0 25 0 1 0 831281097 34828288 7728 4294967295 134512640 134714508 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8503 7728 1111 63 0 8440 0
vsize: 34012
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 371249 0 0 0 32088 913 0 0 25 0 1 0 831281097 31801344 7093 4294967295 134512640 134714508 3221224576 3221222976 134650068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7764 7093 1111 63 0 7701 0
vsize: 31056
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 379456 0 0 0 33069 932 0 0 25 0 1 0 831281097 35393536 7468 4294967295 134512640 134714508 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8641 7468 1111 63 0 8578 0
vsize: 34564
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 390107 0 0 0 34046 956 0 0 25 0 1 0 831281097 32739328 7217 4294967295 134512640 134714508 3221224576 3221221856 1074140035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7993 7221 1111 63 0 7930 0
vsize: 31972
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 397202 0 0 0 35030 971 0 0 25 0 1 0 831281097 36057088 7958 4294967295 134512640 134714508 3221224576 3221220588 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8803 7958 1111 63 0 8740 0
vsize: 35212
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 402492 0 0 0 36016 986 0 0 25 0 1 0 831281097 36040704 8068 4294967295 134512640 134714508 3221224576 3221220736 1075091282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8799 8068 1111 63 0 8736 0
vsize: 35196
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 414766 0 0 0 36986 1016 0 0 25 0 1 0 831281097 32845824 7336 4294967295 134512640 134714508 3221224576 3221223112 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8019 7336 1111 63 0 7956 0
vsize: 32076
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 421651 0 0 0 37970 1032 0 0 25 0 1 0 831281097 34193408 7677 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8348 7677 1111 63 0 8285 0
vsize: 33392
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 431885 0 0 0 38944 1059 0 0 25 0 1 0 831281097 33599488 7511 4294967295 134512640 134714508 3221224576 3221222856 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8203 7511 1111 63 0 8140 0
vsize: 32812
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 444531 0 0 0 39914 1089 0 0 25 0 1 0 831281097 35897344 7600 4294967295 134512640 134714508 3221224576 3221220848 1074961258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8764 7600 1111 63 0 8701 0
vsize: 35056
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 455283 0 0 0 40890 1113 0 0 25 0 1 0 831281097 36442112 8024 4294967295 134512640 134714508 3221224576 3221220704 1075112371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8897 8025 1111 63 0 8834 0
vsize: 35588
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 463877 0 0 0 41868 1135 0 0 25 0 1 0 831281097 33976320 7576 4294967295 134512640 134714508 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8295 7580 1111 63 0 8232 0
vsize: 33180
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 473189 0 0 0 42846 1158 0 0 25 0 1 0 831281097 34463744 7721 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8414 7721 1111 63 0 8351 0
vsize: 33656
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 482887 0 0 0 43822 1181 0 0 25 0 1 0 831281097 36360192 8043 4294967295 134512640 134714508 3221224576 3221220620 1074873543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8877 8043 1111 63 0 8814 0
vsize: 35508
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 495398 0 0 0 44794 1210 0 0 25 0 1 0 831281097 33918976 7599 4294967295 134512640 134714508 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8281 7599 1111 63 0 8218 0
vsize: 33124
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 508044 0 0 0 45763 1241 0 0 25 0 1 0 831281097 35389440 7689 4294967295 134512640 134714508 3221224576 3221221152 1076048151 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8640 7689 1111 63 0 8577 0
vsize: 34560
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 520268 0 0 0 46733 1271 0 0 25 0 1 0 831281097 34742272 7811 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8482 7811 1111 63 0 8419 0
vsize: 33928
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 530920 0 0 0 47709 1295 0 0 25 0 1 0 831281097 36892672 7907 4294967295 134512640 134714508 3221224576 3221221496 1074950105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9007 7907 1111 63 0 8944 0
vsize: 36028
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 543087 0 0 0 48681 1324 0 0 25 0 1 0 831281097 33751040 7540 4294967295 134512640 134714508 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8240 7540 1111 63 0 8177 0
vsize: 32960
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 557555 0 0 0 49647 1358 0 0 25 0 1 0 831281097 34017280 7634 4294967295 134512640 134714508 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8305 7634 1111 63 0 8242 0
vsize: 33220
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 575507 0 0 0 50603 1401 0 0 25 0 1 0 831281097 34861056 7840 4294967295 134512640 134714508 3221224576 3221222640 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8511 7840 1111 63 0 8448 0
vsize: 34044
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 593801 0 0 0 51560 1445 0 0 25 0 1 0 831281097 35373056 7965 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8636 7965 1111 63 0 8573 0
vsize: 34544
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 604895 0 0 0 52534 1471 0 0 25 0 1 0 831281097 39899136 8899 4294967295 134512640 134714508 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9741 8899 1111 63 0 9678 0
vsize: 38964
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 619796 0 0 0 53499 1506 0 0 25 0 1 0 831281097 38244352 8342 4294967295 134512640 134714508 3221224576 3221220572 1074788168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9337 8342 1111 63 0 9274 0
vsize: 37348
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 633793 0 0 0 54466 1539 0 0 25 0 1 0 831281097 36753408 8302 4294967295 134512640 134714508 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8973 8302 1111 63 0 8910 0
vsize: 35892
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 645740 0 0 0 55437 1569 0 0 25 0 1 0 831281097 38150144 8623 4294967295 134512640 134714508 3221224576 3221222536 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9314 8623 1111 63 0 9251 0
vsize: 37256
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 658970 0 0 0 56407 1599 0 0 25 0 1 0 831281097 37023744 8368 4294967295 134512640 134714508 3221224576 3221222352 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9039 8368 1111 63 0 8976 0
vsize: 36156
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 672551 0 0 0 57373 1633 0 0 25 0 1 0 831281097 39469056 8604 4294967295 134512640 134714508 3221224576 3221222216 1075850397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9636 8604 1111 63 0 9573 0
vsize: 38544
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 685364 0 0 0 58343 1663 0 0 25 0 1 0 831281097 39526400 8657 4294967295 134512640 134714508 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9650 8657 1111 63 0 9587 0
vsize: 38600
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 698028 0 0 0 59315 1692 0 0 25 0 1 0 831281097 39743488 8707 4294967295 134512640 134714508 3221224576 3221220572 1074788195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9703 8707 1111 63 0 9640 0
vsize: 38812
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 710259 0 0 0 60286 1721 0 0 25 0 1 0 831281097 39219200 8859 4294967295 134512640 134714508 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9575 8864 1111 63 0 9512 0
vsize: 38300
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 719500 0 0 0 61264 1742 0 0 25 0 1 0 831281097 40300544 8839 4294967295 134512640 134714508 3221224576 3221220704 1075561092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9839 8839 1111 63 0 9776 0
vsize: 39356
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 731543 0 0 0 62236 1771 0 0 25 0 1 0 831281097 38957056 8840 4294967295 134512640 134714508 3221224576 3221223096 134648660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9511 8840 1111 63 0 9448 0
vsize: 38044
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 746388 0 0 0 63200 1807 0 0 25 0 1 0 831281097 39604224 8998 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9669 8998 1111 63 0 9606 0
vsize: 38676
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 760980 0 0 0 64161 1846 0 0 25 0 1 0 831281097 42262528 9371 4294967295 134512640 134714508 3221224576 3221220620 1074873522 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10318 9371 1111 63 0 10255 0
vsize: 41272
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 772349 0 0 0 65133 1874 0 0 25 0 1 0 831281097 40673280 9254 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9930 9254 1111 63 0 9867 0
vsize: 39720
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 785401 0 0 0 66103 1905 0 0 25 0 1 0 831281097 41746432 9511 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10192 9511 1111 63 0 10129 0
vsize: 40768
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 796671 0 0 0 67077 1930 0 0 25 0 1 0 831281097 43319296 9604 4294967295 134512640 134714508 3221224576 3221220676 1075964231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10576 9604 1111 63 0 10513 0
vsize: 42304
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 807528 0 0 0 68049 1959 0 0 25 0 1 0 831281097 41816064 9538 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10209 9538 1111 63 0 10146 0
vsize: 40836
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 817721 0 0 0 69022 1986 0 0 25 0 1 0 831281097 42205184 9633 4294967295 134512640 134714508 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10304 9633 1111 63 0 10241 0
vsize: 41216
[startup+720.019 s]
Raw data (loadavg): 1.07 0.99 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 829934 0 0 0 69992 2016 0 0 25 0 1 0 831281097 42319872 9661 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10332 9661 1111 63 0 10269 0
vsize: 41328
[startup+730.018 s]
Raw data (loadavg): 1.06 0.99 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 840353 0 0 0 70968 2041 0 0 25 0 1 0 831281097 43835392 10027 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10702 10027 1111 63 0 10639 0
vsize: 42808
[startup+740.018 s]
Raw data (loadavg): 1.05 0.99 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 852294 0 0 0 71937 2071 0 0 25 0 1 0 831281097 43216896 9876 4294967295 134512640 134714508 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10551 9876 1111 63 0 10488 0
vsize: 42204
[startup+750.019 s]
Raw data (loadavg): 1.19 1.02 1.01 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 861730 0 0 0 72916 2093 0 0 25 0 1 0 831281097 43425792 9931 4294967295 134512640 134714508 3221224576 3221222288 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10602 9931 1111 63 0 10539 0
vsize: 42408
[startup+760.018 s]
Raw data (loadavg): 1.16 1.02 1.01 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 870297 0 0 0 73898 2111 0 0 25 0 1 0 831281097 43773952 10023 4294967295 134512640 134714508 3221224576 3221222488 1074138271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10687 10023 1111 63 0 10624 0
vsize: 42748
[startup+770.019 s]
Raw data (loadavg): 1.14 1.02 1.01 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 881972 0 0 0 74872 2137 0 0 25 0 1 0 831281097 47083520 10336 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11495 10336 1111 63 0 11432 0
vsize: 45980
[startup+780.019 s]
Raw data (loadavg): 1.12 1.02 1.01 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 890806 0 0 0 75851 2158 0 0 25 0 1 0 831281097 44515328 10200 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10868 10200 1111 63 0 10805 0
vsize: 43472
[startup+790.018 s]
Raw data (loadavg): 1.10 1.02 1.01 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 899985 0 0 0 76831 2179 0 0 25 0 1 0 831281097 47341568 10668 4294967295 134512640 134714508 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11558 10668 1111 63 0 11495 0
vsize: 46232
[startup+800.02 s]
Raw data (loadavg): 1.08 1.02 1.01 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 909434 0 0 0 77808 2202 0 0 25 0 1 0 831281097 46624768 10501 4294967295 134512640 134714508 3221224576 3221221388 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11383 10501 1111 63 0 11320 0
vsize: 45532
[startup+810.02 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 914660 0 0 0 78794 2216 0 0 25 0 1 0 831281097 46923776 10763 4294967295 134512640 134714508 3221224576 3221222224 1075818287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11456 10763 1111 63 0 11393 0
vsize: 45824
[startup+820.021 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 926451 0 0 0 79767 2243 0 0 25 0 1 0 831281097 45256704 10353 4294967295 134512640 134714508 3221224576 3221222688 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11049 10353 1111 63 0 10986 0
vsize: 44196
[startup+830.022 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 938128 0 0 0 80738 2273 0 0 25 0 1 0 831281097 46288896 10311 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11301 10316 1111 63 0 11238 0
vsize: 45204
[startup+840.021 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 949780 0 0 0 81710 2300 0 0 25 0 1 0 831281097 45015040 10294 4294967295 134512640 134714508 3221224576 3221222640 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10990 10294 1111 63 0 10927 0
vsize: 43960
[startup+850.022 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 962417 0 0 0 82680 2331 0 0 25 0 1 0 831281097 46194688 10606 4294967295 134512640 134714508 3221224576 3221221768 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11278 10606 1111 63 0 11215 0
vsize: 45112
[startup+860.022 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 967941 0 0 0 83665 2346 0 0 25 0 1 0 831281097 46002176 10567 4294967295 134512640 134714508 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11231 10567 1111 63 0 11168 0
vsize: 44924
[startup+870.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 977735 0 0 0 84643 2369 0 0 25 0 1 0 831281097 46080000 10586 4294967295 134512640 134714508 3221224576 3221223024 1074039440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11250 10586 1111 63 0 11187 0
vsize: 45000
[startup+880.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 991741 0 0 0 85611 2401 0 0 25 0 1 0 831281097 45727744 10500 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11164 10500 1111 63 0 11101 0
vsize: 44656
[startup+890.021 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1000753 0 0 0 86590 2422 0 0 25 0 1 0 831281097 46792704 10760 4294967295 134512640 134714508 3221224576 3221222240 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11424 10760 1111 63 0 11361 0
vsize: 45696
[startup+900.021 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1008748 0 0 0 87572 2440 0 0 25 0 1 0 831281097 48779264 11243 4294967295 134512640 134714508 3221224576 3221222576 1074918559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11909 11243 1111 63 0 11846 0
vsize: 47636
[startup+910.021 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1016727 0 0 0 88553 2459 0 0 25 0 1 0 831281097 47034368 10819 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11483 10819 1111 63 0 11420 0
vsize: 45932
[startup+920.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1021454 0 0 0 89542 2470 0 0 25 0 1 0 831281097 50049024 11379 4294967295 134512640 134714508 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12219 11379 1111 63 0 12156 0
vsize: 48876
[startup+930.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1026691 0 0 0 90530 2482 0 0 25 0 1 0 831281097 50077696 11508 4294967295 134512640 134714508 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12226 11508 1111 63 0 12163 0
vsize: 48904
[startup+940.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1037313 0 0 0 91505 2507 0 0 25 0 1 0 831281097 46628864 10718 4294967295 134512640 134714508 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11384 10718 1111 63 0 11321 0
vsize: 45536
[startup+950.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1048297 0 0 0 92478 2535 0 0 25 0 1 0 831281097 50331648 11090 4294967295 134512640 134714508 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12288 11090 1111 63 0 12225 0
vsize: 49152
[startup+960.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1056186 0 0 0 93460 2553 0 0 25 0 1 0 831281097 48570368 11171 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11858 11171 1111 63 0 11795 0
vsize: 47432
[startup+970.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1068313 0 0 0 94431 2582 0 0 25 0 1 0 831281097 50548736 11462 4294967295 134512640 134714508 3221224576 3221220576 1075965301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12341 11462 1111 63 0 12278 0
vsize: 49364
[startup+980.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1077013 0 0 0 95410 2603 0 0 25 0 1 0 831281097 48873472 11268 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11932 11268 1111 63 0 11869 0
vsize: 47728
[startup+990.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1084549 0 0 0 96394 2620 0 0 25 0 1 0 831281097 48848896 11262 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11926 11262 1111 63 0 11863 0
vsize: 47704
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1092398 0 0 0 97375 2639 0 0 25 0 1 0 831281097 51478528 11700 4294967295 134512640 134714508 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11700 1111 63 0 12505 0
vsize: 50272
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1101647 0 0 0 98353 2661 0 0 25 0 1 0 831281097 48123904 11075 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11749 11075 1111 63 0 11686 0
vsize: 46996
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1113198 0 0 0 99327 2688 0 0 25 0 1 0 831281097 48222208 11095 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11773 11095 1111 63 0 11710 0
vsize: 47092
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1127913 0 0 0 100295 2720 0 0 25 0 1 0 831281097 47820800 11011 4294967295 134512640 134714508 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11675 11011 1111 63 0 11612 0
vsize: 46700
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1141569 0 0 0 101263 2752 0 0 25 0 1 0 831281097 49082368 11317 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11983 11317 1111 63 0 11920 0
vsize: 47932
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1159773 0 0 0 102216 2799 0 0 25 0 1 0 831281097 49790976 11489 4294967295 134512640 134714508 3221224576 3221222672 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12156 11489 1111 63 0 12093 0
vsize: 48624
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1173943 0 0 0 103182 2833 0 0 25 0 1 0 831281097 50348032 11596 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12292 11596 1111 63 0 12229 0
vsize: 49168
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1185938 0 0 0 104152 2863 0 0 25 0 1 0 831281097 50286592 11613 4294967295 134512640 134714508 3221224576 3221221920 1074839094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12277 11613 1111 63 0 12214 0
vsize: 49108
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1198024 0 0 0 105121 2895 0 0 25 0 1 0 831281097 50827264 11745 4294967295 134512640 134714508 3221224576 3221223132 134536804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12409 11745 1111 63 0 12346 0
vsize: 49636
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1212025 0 0 0 106086 2930 0 0 25 0 1 0 831281097 51261440 11851 4294967295 134512640 134714508 3221224576 3221223132 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12515 11851 1111 63 0 12452 0
vsize: 50060
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1226078 0 0 0 107052 2964 0 0 25 0 1 0 831281097 51900416 12007 4294967295 134512640 134714508 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12671 12007 1111 63 0 12608 0
vsize: 50684
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1240656 0 0 0 108016 3000 0 0 25 0 1 0 831281097 52457472 12143 4294967295 134512640 134714508 3221224576 3221223472 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12807 12143 1111 63 0 12744 0
vsize: 51228
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1251384 0 0 0 108991 3025 0 0 25 0 1 0 831281097 52719616 12207 4294967295 134512640 134714508 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12871 12207 1111 63 0 12808 0
vsize: 51484
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1257451 0 0 0 109976 3040 0 0 25 0 1 0 831281097 52875264 12245 4294967295 134512640 134714508 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12909 12245 1111 63 0 12846 0
vsize: 51636
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1268741 0 0 0 110951 3066 0 0 25 0 1 0 831281097 52588544 12175 4294967295 134512640 134714508 3221224576 3221222352 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12839 12175 1111 63 0 12776 0
vsize: 51356
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1282789 0 0 0 111916 3101 0 0 25 0 1 0 831281097 53243904 12327 4294967295 134512640 134714508 3221224576 3221223084 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12999 12327 1111 63 0 12936 0
vsize: 51996
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1292218 0 0 0 112892 3125 0 0 25 0 1 0 831281097 53891072 12468 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13157 12468 1111 63 0 13094 0
vsize: 52628
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1302949 0 0 0 113866 3150 0 0 25 0 1 0 831281097 53342208 12327 4294967295 134512640 134714508 3221224576 3221223056 1074031998 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13023 12327 1111 63 0 12960 0
vsize: 52092
[startup+1175.26 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 4992
Raw data (stat): 4992 (bsolo_lpr_cuts) R 4991 4613 4612 0 -1 0 1302949 0 0 0 113866 3150 0 0 25 0 1 0 831281097 53342208 12327 4294967295 134512640 134714508 3221224576 3221223056 1074031998 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13023 12327 1111 63 0 12960 0
vsize: 0

Child status: 10
Real time (s): 1175.26
CPU time (s): 1175.41
CPU user time (s): 1143.75
CPU system time (s): 31.6532
CPU usage (%): 100.012
Max. virtual memory (Kb): 52628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1736
#### END VERIFIER DATA ####