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/miplib3/normalized-mps-v2-13-7-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.02284
Number of variables	201
Total number of constraints	334
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	227
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	1
Maximum length of a constraint	67
Trace number 27055

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        775252 kB
Buffers:         36664 kB
Cached:         202264 kB
SwapCached:        568 kB
Active:          63296 kB
Inactive:       178064 kB
HighTotal:      131008 kB
HighFree:         7616 kB
LowTotal:       903652 kB
LowFree:        767636 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            12400 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:16:42 (client local time) WITH STATUS 10 IN 1176.05 SECONDS
stats: 18696 0 1176.05 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.351 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.173
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2418 @ 7.149
c NEW SOLUTION FOUND: 2399 @ 7.301
c NEW SOLUTION FOUND: 2396 @ 7.387
c NEW SOLUTION FOUND: 2383 @ 7.568
c NEW SOLUTION FOUND: 2373 @ 7.784
c NEW SOLUTION FOUND: 2363 @ 8.073
c NEW SOLUTION FOUND: 2351 @ 8.147
c NEW SOLUTION FOUND: 2176 @ 8.476
c NEW SOLUTION FOUND: 2097 @ 68.898
c NEW SOLUTION FOUND: 2083 @ 70.839
c NEW SOLUTION FOUND: 2023 @ 70.953
c NEW SOLUTION FOUND: 2013 @ 71.192
c NEW SOLUTION FOUND: 2003 @ 77.698
c NEW SOLUTION FOUND: 1933 @ 102.104
c NEW SOLUTION FOUND: 1890 @ 188.378
c NEW SOLUTION FOUND: 1860 @ 204.129
c NEW SOLUTION FOUND: 1858 @ 207.971
c NEW SOLUTION FOUND: 1838 @ 213.267
c NEW SOLUTION FOUND: 1816 @ 229.042
c NEW SOLUTION FOUND: 1806 @ 502.825
c NEW SOLUTION FOUND: 1804 @ 599.125
c NEW SOLUTION FOUND: 1754 @ 676.655
c NEW SOLUTION FOUND: 1749 @ 710.973
c NEW SOLUTION FOUND: 1743 @ 929.538
c NEW SOLUTION FOUND: 1736 @ 1124.88
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: 1176.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.94 2/54 2757
Raw data (stat): 2757 (runsolver) R 2756 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774343627 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.0004 s]
Raw data (loadavg): 0.93 0.95 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 7803 0 0 0 976 21 0 0 25 0 1 0 774343627 12427264 2285 4294967295 134512640 134714508 3221224592 3221220620 1074788198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3034 2285 1111 63 0 2971 0
vsize: 12136
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 19992 0 0 0 1947 50 0 0 25 0 1 0 774343627 14290944 2809 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3489 2809 1111 63 0 3426 0
vsize: 13956
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 32908 0 0 0 2916 81 0 0 25 0 1 0 774343627 16617472 3300 4294967295 134512640 134714508 3221224592 3221220604 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4057 3300 1111 63 0 3994 0
vsize: 16228
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 46779 0 0 0 3881 116 0 0 25 0 1 0 774343627 18685952 3852 4294967295 134512640 134714508 3221224592 3221220836 1075088535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4562 3852 1111 63 0 4499 0
vsize: 18248
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 58268 0 0 0 4855 143 0 0 25 0 1 0 774343627 19140608 3984 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4673 3984 1111 63 0 4610 0
vsize: 18692
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 68045 0 0 0 5832 166 0 0 25 0 1 0 774343627 19955712 4195 4294967295 134512640 134714508 3221224592 3221223008 1074116233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4872 4195 1111 63 0 4809 0
vsize: 19488
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 79426 0 0 0 6804 194 0 0 25 0 1 0 774343627 20533248 4331 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5013 4331 1111 63 0 4950 0
vsize: 20052
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 91573 0 0 0 7776 222 0 0 25 0 1 0 774343627 22642688 4848 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5528 4848 1111 63 0 5465 0
vsize: 22112
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 102385 0 0 0 8751 246 0 0 25 0 1 0 774343627 23339008 4901 4294967295 134512640 134714508 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5698 4901 1111 63 0 5635 0
vsize: 22792
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 113721 0 0 0 9725 273 0 0 25 0 1 0 774343627 22986752 4935 4294967295 134512640 134714508 3221224592 3221222960 1074140701 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.002 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 126482 0 0 0 10695 302 0 0 25 0 1 0 774343627 23527424 5043 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5744 5043 1111 63 0 5681 0
vsize: 22976
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 135121 0 0 0 11677 320 0 0 25 0 1 0 774343627 25481216 5403 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6221 5403 1111 63 0 6158 0
vsize: 24884
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 148030 0 0 0 12647 350 0 0 25 0 1 0 774343627 24166400 5211 4294967295 134512640 134714508 3221224592 3221222592 1074916669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5900 5211 1111 63 0 5837 0
vsize: 23600
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 156713 0 0 0 13628 370 0 0 25 0 1 0 774343627 25255936 5458 4294967295 134512640 134714508 3221224592 3221222320 1075828538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6166 5458 1111 63 0 6103 0
vsize: 24664
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 169887 0 0 0 14597 401 0 0 25 0 1 0 774343627 25964544 5519 4294967295 134512640 134714508 3221224592 3221220636 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6339 5519 1111 63 0 6276 0
vsize: 25356
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 180556 0 0 0 15570 428 0 0 25 0 1 0 774343627 26808320 5867 4294967295 134512640 134714508 3221224592 3221222592 1074918594 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.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2757
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 193014 0 0 0 16541 457 0 0 25 0 1 0 774343627 27328512 5851 4294967295 134512640 134714508 3221224592 3221220604 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5851 1111 63 0 6609 0
vsize: 26688
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 2798
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 204381 0 0 0 17515 483 0 0 25 0 1 0 774343627 27156480 5953 4294967295 134512640 134714508 3221224592 3221222796 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.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2810
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 215552 0 0 0 18486 513 0 0 25 0 1 0 774343627 28798976 6233 4294967295 134512640 134714508 3221224592 3221220960 1075894562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7031 6233 1111 63 0 6968 0
vsize: 28124
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2810
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 223904 0 0 0 19467 532 0 0 25 0 1 0 774343627 29863936 6614 4294967295 134512640 134714508 3221224592 3221222592 1074918599 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.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2810
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 234677 0 0 0 20442 557 0 0 25 0 1 0 774343627 30310400 6729 4294967295 134512640 134714508 3221224592 3221222320 1075828615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7400 6729 1111 63 0 7337 0
vsize: 29600
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2810
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 238356 0 0 0 21433 567 0 0 25 0 1 0 774343627 31166464 6924 4294967295 134512640 134714508 3221224592 3221222592 1074918215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7609 6924 1111 63 0 7546 0
vsize: 30436
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2810
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 249817 0 0 0 22404 595 0 0 25 0 1 0 774343627 28823552 6366 4294967295 134512640 134714508 3221224592 3221221696 1074138729 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.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2810
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 259558 0 0 0 23382 618 0 0 25 0 1 0 774343627 31236096 6944 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7626 6944 1111 63 0 7563 0
vsize: 30504
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2810
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 273079 0 0 0 24349 650 0 0 25 0 1 0 774343627 29769728 6570 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7268 6570 1111 63 0 7205 0
vsize: 29072
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 290187 0 0 0 25310 690 0 0 25 0 1 0 774343627 30064640 6653 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7340 6653 1111 63 0 7277 0
vsize: 29360
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 301493 0 0 0 26285 715 0 0 25 0 1 0 774343627 31137792 6900 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7602 6900 1111 63 0 7539 0
vsize: 30408
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 313280 0 0 0 27256 743 0 0 25 0 1 0 774343627 30982144 6861 4294967295 134512640 134714508 3221224592 3221222744 1074950108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7564 6861 1111 63 0 7501 0
vsize: 30256
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 325791 0 0 0 28230 770 0 0 25 0 1 0 774343627 30941184 6883 4294967295 134512640 134714508 3221224592 3221222464 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7554 6883 1111 63 0 7491 0
vsize: 30216
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 339058 0 0 0 29200 800 0 0 25 0 1 0 774343627 30838784 6858 4294967295 134512640 134714508 3221224592 3221222608 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7529 6858 1111 63 0 7466 0
vsize: 30116
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 353391 0 0 0 30167 833 0 0 25 0 1 0 774343627 31330304 6978 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7649 6978 1111 63 0 7586 0
vsize: 30596
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 364799 0 0 0 31141 860 0 0 25 0 1 0 774343627 33181696 7132 4294967295 134512640 134714508 3221224592 3221220820 1075114937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8101 7132 1111 63 0 8038 0
vsize: 32404
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 373428 0 0 0 32121 880 0 0 25 0 1 0 774343627 36020224 8007 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8794 8007 1111 63 0 8731 0
vsize: 35176
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 382666 0 0 0 33098 903 0 0 25 0 1 0 774343627 35983360 7489 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8785 7493 1111 63 0 8722 0
vsize: 35140
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 393134 0 0 0 34074 927 0 0 25 0 1 0 774343627 32497664 7263 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7934 7263 1111 63 0 7871 0
vsize: 31736
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 400186 0 0 0 35058 943 0 0 25 0 1 0 774343627 35930112 7963 4294967295 134512640 134714508 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8772 7963 1111 63 0 8709 0
vsize: 35088
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 411013 0 0 0 36033 968 0 0 25 0 1 0 774343627 37044224 7958 4294967295 134512640 134714508 3221224592 3221221248 1075967705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9044 7958 1111 63 0 8981 0
vsize: 36176
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 419879 0 0 0 37014 988 0 0 25 0 1 0 774343627 36159488 7786 4294967295 134512640 134714508 3221224592 3221221536 1074620245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8828 7786 1111 63 0 8765 0
vsize: 35312
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 427220 0 0 0 37996 1006 0 0 25 0 1 0 774343627 34123776 7660 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8331 7660 1111 63 0 8268 0
vsize: 33324
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 438739 0 0 0 38971 1031 0 0 25 0 1 0 774343627 35483648 7451 4294967295 134512640 134714508 3221224592 3221221512 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8619 7414 1111 63 0 8556 0
vsize: 34652
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 450748 0 0 0 39944 1058 0 0 25 0 1 0 774343627 34050048 7642 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8313 7642 1111 63 0 8250 0
vsize: 33252
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 460778 0 0 0 40923 1079 0 0 25 0 1 0 774343627 33087488 7407 4294967295 134512640 134714508 3221224592 3221222304 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8078 7407 1111 63 0 8015 0
vsize: 32312
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 472196 0 0 0 41898 1105 0 0 25 0 1 0 774343627 35840000 7910 4294967295 134512640 134714508 3221224592 3221220800 1074815259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8750 7910 1111 63 0 8687 0
vsize: 35000
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 481611 0 0 0 42877 1126 0 0 25 0 1 0 774343627 33263616 7435 4294967295 134512640 134714508 3221224592 3221222224 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 7435 1111 63 0 8058 0
vsize: 32484
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 490995 0 0 0 43854 1149 0 0 25 0 1 0 774343627 37081088 8225 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9053 8225 1111 63 0 8990 0
vsize: 36212
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 505310 0 0 0 44824 1180 0 0 25 0 1 0 774343627 37179392 8227 4294967295 134512640 134714508 3221224592 3221220552 1075964730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8227 1111 63 0 9014 0
vsize: 36308
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 518289 0 0 0 45795 1209 0 0 25 0 1 0 774343627 34168832 7639 4294967295 134512640 134714508 3221224592 3221222744 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8342 7639 1111 63 0 8279 0
vsize: 33368
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 529544 0 0 0 46767 1237 0 0 25 0 1 0 774343627 34762752 7814 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8487 7814 1111 63 0 8424 0
vsize: 33948
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2812
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 542044 0 0 0 47737 1267 0 0 25 0 1 0 774343627 34668544 7793 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8464 7793 1111 63 0 8401 0
vsize: 33856
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 556346 0 0 0 48705 1299 0 0 25 0 1 0 774343627 35704832 7634 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8717 7642 1111 63 0 8654 0
vsize: 34868
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 575318 0 0 0 49658 1346 0 0 25 0 1 0 774343627 36941824 7929 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9019 7933 1111 63 0 8956 0
vsize: 36076
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 593384 0 0 0 50616 1389 0 0 25 0 1 0 774343627 35377152 7966 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8637 7966 1111 63 0 8574 0
vsize: 34548
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 604438 0 0 0 51591 1414 0 0 25 0 1 0 774343627 37789696 8555 4294967295 134512640 134714508 3221224592 3221221784 1074138297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9226 8555 1111 63 0 9163 0
vsize: 36904
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 619646 0 0 0 52560 1445 0 0 25 0 1 0 774343627 36302848 8192 4294967295 134512640 134714508 3221224592 3221222448 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8863 8192 1111 63 0 8800 0
vsize: 35452
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 633771 0 0 0 53525 1480 0 0 25 0 1 0 774343627 38469632 8412 4294967295 134512640 134714508 3221224592 3221220912 1075170005 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 8413 1111 63 0 9329 0
vsize: 37568
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 645843 0 0 0 54498 1507 0 0 25 0 1 0 774343627 38150144 8624 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9314 8624 1111 63 0 9251 0
vsize: 37256
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 659383 0 0 0 55467 1538 0 0 25 0 1 0 774343627 40280064 8670 4294967295 134512640 134714508 3221224592 3221220736 1074969499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9834 8670 1111 63 0 9771 0
vsize: 39336
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 673603 0 0 0 56435 1571 0 0 25 0 1 0 774343627 40402944 8902 4294967295 134512640 134714508 3221224592 3221220720 1075112406 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9864 8903 1111 63 0 9801 0
vsize: 39456
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 685786 0 0 0 57410 1596 0 0 25 0 1 0 774343627 38248448 8633 4294967295 134512640 134714508 3221224592 3221221872 1074140035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9338 8637 1111 63 0 9275 0
vsize: 37352
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 698505 0 0 0 58382 1624 0 0 25 0 1 0 774343627 38326272 8661 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9357 8661 1111 63 0 9294 0
vsize: 37428
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 712407 0 0 0 59349 1657 0 0 25 0 1 0 774343627 41791488 9111 4294967295 134512640 134714508 3221224592 3221221248 1075967941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10203 9111 1111 63 0 10140 0
vsize: 40812
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 720623 0 0 0 60330 1677 0 0 25 0 1 0 774343627 38817792 8774 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9477 8774 1111 63 0 9414 0
vsize: 37908
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 732548 0 0 0 61302 1705 0 0 25 0 1 0 774343627 39305216 8893 4294967295 134512640 134714508 3221224592 3221222592 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9596 8893 1111 63 0 9533 0
vsize: 38384
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 747184 0 0 0 62269 1738 0 0 25 0 1 0 774343627 39706624 9021 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9694 9021 1111 63 0 9631 0
vsize: 38776
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 761626 0 0 0 63237 1770 0 0 25 0 1 0 774343627 40194048 9131 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9813 9131 1111 63 0 9750 0
vsize: 39252
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 772958 0 0 0 64209 1798 0 0 25 0 1 0 774343627 40665088 9240 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9928 9240 1111 63 0 9865 0
vsize: 39712
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 785915 0 0 0 65176 1831 0 0 25 0 1 0 774343627 44425216 9935 4294967295 134512640 134714508 3221224592 3221220864 1074961244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10846 9935 1111 63 0 10783 0
vsize: 43384
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 796906 0 0 0 66149 1858 0 0 25 0 1 0 774343627 43257856 9587 4294967295 134512640 134714508 3221224592 3221221120 1075397221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10561 9587 1111 63 0 10498 0
vsize: 42244
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 807560 0 0 0 67124 1884 0 0 25 0 1 0 774343627 41988096 9570 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10251 9570 1111 63 0 10188 0
vsize: 41004
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 817721 0 0 0 68101 1906 0 0 25 0 1 0 774343627 42205184 9633 4294967295 134512640 134714508 3221224592 3221222624 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10304 9633 1111 63 0 10241 0
vsize: 41216
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 829736 0 0 0 69072 1936 0 0 25 0 1 0 774343627 42360832 9671 4294967295 134512640 134714508 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10342 9671 1111 63 0 10279 0
vsize: 41368
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 840296 0 0 0 70049 1959 0 0 25 0 1 0 774343627 43950080 10027 4294967295 134512640 134714508 3221224592 3221222240 1075818290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10730 10027 1111 63 0 10667 0
vsize: 42920
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 852269 0 0 0 71021 1987 0 0 25 0 1 0 774343627 43102208 9852 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10523 9852 1111 63 0 10460 0
vsize: 42092
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 861678 0 0 0 71999 2010 0 0 25 0 1 0 774343627 43212800 9879 4294967295 134512640 134714508 3221224592 3221221916 1077377862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10550 9879 1111 63 0 10487 0
vsize: 42200
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 870152 0 0 0 72981 2028 0 0 25 0 1 0 774343627 46809088 10521 4294967295 134512640 134714508 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11428 10521 1111 63 0 11365 0
vsize: 45712
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 881038 0 0 0 73957 2052 0 0 25 0 1 0 774343627 46194688 10418 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11278 10418 1111 63 0 11215 0
vsize: 45112
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 890564 0 0 0 74935 2074 0 0 25 0 1 0 774343627 43741184 10015 4294967295 134512640 134714508 3221224592 3221222320 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10679 10015 1111 63 0 10616 0
vsize: 42716
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 899428 0 0 0 75913 2096 0 0 25 0 1 0 774343627 44609536 10223 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10891 10223 1111 63 0 10828 0
vsize: 43564
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 909431 0 0 0 76893 2117 0 0 25 0 1 0 774343627 47480832 10707 4294967295 134512640 134714508 3221224592 3221220820 1075115035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11592 10707 1111 63 0 11529 0
vsize: 46368
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 914897 0 0 0 77881 2129 0 0 25 0 1 0 774343627 46895104 10766 4294967295 134512640 134714508 3221224592 3221222592 1074918929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11449 10766 1111 63 0 11386 0
vsize: 45796
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 928520 0 0 0 78852 2158 0 0 25 0 1 0 774343627 44662784 10202 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10904 10202 1111 63 0 10841 0
vsize: 43616
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 939486 0 0 0 79828 2182 0 0 25 0 1 0 774343627 45338624 10405 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11069 10405 1111 63 0 11006 0
vsize: 44276
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 951897 0 0 0 80801 2209 0 0 25 0 1 0 774343627 44638208 10234 4294967295 134512640 134714508 3221224592 3221222496 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10898 10234 1111 63 0 10835 0
vsize: 43592
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 964351 0 0 0 81772 2238 0 0 25 0 1 0 774343627 45359104 10381 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11074 10381 1111 63 0 11011 0
vsize: 44296
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 968640 0 0 0 82762 2249 0 0 25 0 1 0 774343627 47988736 11035 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11716 11035 1111 63 0 11653 0
vsize: 46864
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 983975 0 0 0 83726 2285 0 0 25 0 1 0 774343627 45600768 10462 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11133 10462 1111 63 0 11070 0
vsize: 44532
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 996242 0 0 0 84698 2313 0 0 25 0 1 0 774343627 45654016 10482 4294967295 134512640 134714508 3221224592 3221222464 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11146 10482 1111 63 0 11083 0
vsize: 44584
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1001461 0 0 0 85686 2325 0 0 25 0 1 0 774343627 48750592 11238 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11902 11238 1111 63 0 11839 0
vsize: 47608
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1015001 0 0 0 86657 2355 0 0 25 0 1 0 774343627 49483776 10931 4294967295 134512640 134714508 3221224592 3221220928 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10931 1111 63 0 12018 0
vsize: 48324
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1019882 0 0 0 87646 2365 0 0 25 0 1 0 774343627 47067136 10826 4294967295 134512640 134714508 3221224592 3221223184 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11491 10826 1111 63 0 11428 0
vsize: 45964
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1026687 0 0 0 88633 2379 0 0 25 0 1 0 774343627 50077696 11504 4294967295 134512640 134714508 3221224592 3221220820 1075115057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12226 11504 1111 63 0 12163 0
vsize: 48904
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1033372 0 0 0 89618 2394 0 0 25 0 1 0 774343627 47050752 10762 4294967295 134512640 134714508 3221224592 3221222552 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11487 10773 1111 63 0 11424 0
vsize: 45948
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1043253 0 0 0 90597 2416 0 0 25 0 1 0 774343627 46772224 10732 4294967295 134512640 134714508 3221224592 3221222656 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11419 10732 1111 63 0 11356 0
vsize: 45676
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1053166 0 0 0 91573 2439 0 0 25 0 1 0 774343627 47611904 10927 4294967295 134512640 134714508 3221224592 3221222480 1074839088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11624 10927 1111 63 0 11561 0
vsize: 46496
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1067098 0 0 0 92542 2470 0 0 25 0 1 0 774343627 47415296 10912 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11576 10912 1111 63 0 11513 0
vsize: 46304
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1076178 0 0 0 93521 2491 0 0 25 0 1 0 774343627 50573312 11211 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12347 11211 1111 63 0 12284 0
vsize: 49388
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1084086 0 0 0 94503 2510 0 0 25 0 1 0 774343627 47493120 10931 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11595 10931 1111 63 0 11532 0
vsize: 46380
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1091260 0 0 0 95485 2528 0 0 25 0 1 0 774343627 47702016 10982 4294967295 134512640 134714508 3221224592 3221221824 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11646 10982 1111 63 0 11583 0
vsize: 46584
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1099174 0 0 0 96468 2545 0 0 25 0 1 0 774343627 50778112 11183 4294967295 134512640 134714508 3221224592 3221220864 1074961301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12397 11183 1111 63 0 12334 0
vsize: 49588
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1111014 0 0 0 97444 2569 0 0 25 0 1 0 774343627 47964160 11014 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11710 11014 1111 63 0 11647 0
vsize: 46840
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1125511 0 0 0 98414 2600 0 0 25 0 1 0 774343627 49602560 11123 4294967295 134512640 134714508 3221224592 3221221360 1076084156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12110 11123 1111 63 0 12047 0
vsize: 48440
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1140577 0 0 0 99379 2635 0 0 25 0 1 0 774343627 48418816 11157 4294967295 134512640 134714508 3221224592 3221222944 1074153680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11821 11157 1111 63 0 11758 0
vsize: 47284
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1158072 0 0 0 100337 2677 0 0 25 0 1 0 774343627 49614848 11429 4294967295 134512640 134714508 3221224592 3221222592 1074916549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12113 11429 1111 63 0 12050 0
vsize: 48452
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1172537 0 0 0 101305 2710 0 0 25 0 1 0 774343627 50192384 11584 4294967295 134512640 134714508 3221224592 3221222592 1074917897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12254 11584 1111 63 0 12191 0
vsize: 49016
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1185158 0 0 0 102274 2740 0 0 25 0 1 0 774343627 52092928 11647 4294967295 134512640 134714508 3221224592 3221221664 1075895970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12278 11614 1111 63 0 12215 0
vsize: 50872
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1197328 0 0 0 103246 2769 0 0 25 0 1 0 774343627 51015680 11761 4294967295 134512640 134714508 3221224592 3221222320 1075828995 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12455 11761 1111 63 0 12392 0
vsize: 49820
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1211245 0 0 0 104212 2802 0 0 25 0 1 0 774343627 51163136 11827 4294967295 134512640 134714508 3221224592 3221222564 1077378560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12491 11827 1111 63 0 12428 0
vsize: 49964
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1225388 0 0 0 105181 2834 0 0 25 0 1 0 774343627 51929088 11982 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12678 11982 1111 63 0 12615 0
vsize: 50712
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1239735 0 0 0 106151 2865 0 0 25 0 1 0 774343627 52703232 12172 4294967295 134512640 134714508 3221224592 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12867 12172 1111 63 0 12804 0
vsize: 51468
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1251380 0 0 0 107124 2891 0 0 25 0 1 0 774343627 52703232 12203 4294967295 134512640 134714508 3221224592 3221222224 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12867 12203 1111 63 0 12804 0
vsize: 51468
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1257804 0 0 0 108110 2906 0 0 25 0 1 0 774343627 53846016 12482 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13146 12482 1111 63 0 13083 0
vsize: 52584
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1270174 0 0 0 109082 2933 0 0 25 0 1 0 774343627 52588544 12175 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12839 12175 1111 63 0 12776 0
vsize: 51356
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1283377 0 0 0 110053 2963 0 0 25 0 1 0 774343627 53583872 12408 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13082 12408 1111 63 0 13019 0
vsize: 52328
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1293365 0 0 0 111031 2985 0 0 25 0 1 0 774343627 53506048 12372 4294967295 134512640 134714508 3221224592 3221222656 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13063 12372 1111 63 0 13000 0
vsize: 52252
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1304309 0 0 0 112008 3008 0 0 25 0 1 0 774343627 55451648 12578 4294967295 134512640 134714508 3221224592 3221220820 1075115035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13538 12578 1111 63 0 13475 0
vsize: 54152
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1314823 0 0 0 112983 3032 0 0 25 0 1 0 774343627 54104064 12513 4294967295 134512640 134714508 3221224592 3221221696 1074138642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13209 12513 1111 63 0 13146 0
vsize: 52836
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1326887 0 0 0 113957 3059 0 0 25 0 1 0 774343627 54226944 12575 4294967295 134512640 134714508 3221224592 3221222572 1074207648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13239 12575 1111 63 0 13176 0
vsize: 52956
[startup+1175.92 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 2814
Raw data (stat): 2757 (bsolo_lpr_cuts) R 2756 32284 32283 0 -1 0 1326887 0 0 0 113957 3059 0 0 25 0 1 0 774343627 54226944 12575 4294967295 134512640 134714508 3221224592 3221222572 1074207648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13239 12575 1111 63 0 13176 0
vsize: 0

Child status: 10
Real time (s): 1175.92
CPU time (s): 1176.05
CPU user time (s): 1145.25
CPU system time (s): 30.7983
CPU usage (%): 100.011
Max. virtual memory (Kb): 54152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1736
#### END VERIFIER DATA ####