PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-24 16:39:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12118 boxname=wulflinc22 idbench=933 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 12118
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        904760 kB
Buffers:         36096 kB
Cached:          60232 kB
SwapCached:      12200 kB
Active:          62084 kB
Inactive:        48612 kB
HighTotal:      131008 kB
HighFree:        66052 kB
LowTotal:       903652 kB
LowFree:        838708 kB
SwapTotal:     2097892 kB
SwapFree:      2085472 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5784 kB
Slab:            13660 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:59:03 (client local time) WITH STATUS 10 IN 1175.67 SECONDS
stats: 12118 0 1175.67 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.357 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.183
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2418 @ 7.296
c NEW SOLUTION FOUND: 2399 @ 7.449
c NEW SOLUTION FOUND: 2396 @ 7.536
c NEW SOLUTION FOUND: 2383 @ 7.721
c NEW SOLUTION FOUND: 2373 @ 7.94
c NEW SOLUTION FOUND: 2363 @ 8.234
c NEW SOLUTION FOUND: 2351 @ 8.31
c NEW SOLUTION FOUND: 2176 @ 8.648
c NEW SOLUTION FOUND: 2097 @ 68.963
c NEW SOLUTION FOUND: 2083 @ 70.92
c NEW SOLUTION FOUND: 2023 @ 71.035
c NEW SOLUTION FOUND: 2013 @ 71.275
c NEW SOLUTION FOUND: 2003 @ 77.831
c NEW SOLUTION FOUND: 1933 @ 102.664
c NEW SOLUTION FOUND: 1890 @ 189.505
c NEW SOLUTION FOUND: 1860 @ 205.312
c NEW SOLUTION FOUND: 1858 @ 209.16
c NEW SOLUTION FOUND: 1838 @ 214.792
c NEW SOLUTION FOUND: 1816 @ 231.253
c NEW SOLUTION FOUND: 1806 @ 510.266
c NEW SOLUTION FOUND: 1804 @ 609.252
c NEW SOLUTION FOUND: 1754 @ 685.703
c NEW SOLUTION FOUND: 1749 @ 719.456
c NEW SOLUTION FOUND: 1743 @ 941.602
c NEW SOLUTION FOUND: 1736 @ 1138.89
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.64 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.93 0.98 0.97 2/54 24825
Raw data (stat): 24825 (runsolver) R 24824 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831744672 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.94 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 7515 0 2 0 963 21 0 0 25 0 1 0 831744672 12029952 2257 4294967295 134512640 134714508 3221224576 3221222304 1075828243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2937 2257 1111 63 0 2874 0
vsize: 11748
[startup+20.0002 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 19504 0 2 0 1933 51 0 0 25 0 1 0 831744672 14172160 2780 4294967295 134512640 134714508 3221224576 3221223192 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3460 2780 1111 63 0 3397 0
vsize: 13840
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 32467 0 2 0 2899 85 0 0 25 0 1 0 831744672 16007168 3227 4294967295 134512640 134714508 3221224576 3221222504 1077377371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3908 3227 1111 63 0 3845 0
vsize: 15632
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 46324 0 2 0 3864 120 0 0 25 0 1 0 831744672 18649088 3814 4294967295 134512640 134714508 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4553 3814 1111 63 0 4490 0
vsize: 18212
[startup+50.0014 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 57799 0 2 0 4835 149 0 0 25 0 1 0 831744672 19009536 3962 4294967295 134512640 134714508 3221224576 3221221856 1074140016 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4641 3962 1111 63 0 4578 0
vsize: 18564
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 67715 0 2 0 5808 176 0 0 25 0 1 0 831744672 20750336 4344 4294967295 134512640 134714508 3221224576 3221220960 1075133410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5066 4344 1111 63 0 5003 0
vsize: 20264
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 79227 0 2 0 6778 207 0 0 25 0 1 0 831744672 20742144 4290 4294967295 134512640 134714508 3221224576 3221221344 1076083427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5064 4290 1111 63 0 5001 0
vsize: 20256
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 90079 0 2 0 7751 234 0 0 25 0 1 0 831744672 21843968 4656 4294967295 134512640 134714508 3221224576 3221222464 1074839048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5333 4656 1111 63 0 5270 0
vsize: 21332
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 101593 0 2 0 8725 260 0 0 25 0 1 0 831744672 23085056 4856 4294967295 134512640 134714508 3221224576 3221220620 1074873527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5636 4856 1111 63 0 5573 0
vsize: 22544
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 112966 0 2 0 9698 287 0 0 25 0 1 0 831744672 22986752 4935 4294967295 134512640 134714508 3221224576 3221222912 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.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 124281 0 2 0 10670 315 0 0 25 0 1 0 831744672 25772032 5578 4294967295 134512640 134714508 3221224576 3221220576 1075965272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6292 5578 1111 63 0 6229 0
vsize: 25168
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 133446 0 2 0 11649 336 0 0 25 0 1 0 831744672 24240128 5226 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5918 5226 1111 63 0 5855 0
vsize: 23672
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 146834 0 2 0 12615 370 0 0 25 0 1 0 831744672 25305088 5386 4294967295 134512640 134714508 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6178 5386 1111 63 0 6115 0
vsize: 24712
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 155984 0 2 0 13593 392 0 0 25 0 1 0 831744672 26365952 5710 4294967295 134512640 134714508 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6437 5710 1111 63 0 6374 0
vsize: 25748
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 168199 0 2 0 14563 422 0 0 25 0 1 0 831744672 24748032 5365 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6042 5365 1111 63 0 5979 0
vsize: 24168
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 180156 0 2 0 15535 451 0 0 25 0 1 0 831744672 26648576 5705 4294967295 134512640 134714508 3221224576 3221220912 1075114245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6506 5705 1111 63 0 6443 0
vsize: 26024
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 191004 0 2 0 16509 476 0 0 25 0 1 0 831744672 26116096 5699 4294967295 134512640 134714508 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6376 5699 1111 63 0 6313 0
vsize: 25504
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 202762 0 2 0 17480 506 0 0 25 0 1 0 831744672 27070464 5932 4294967295 134512640 134714508 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6609 5932 1111 63 0 6546 0
vsize: 26436
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 214374 0 2 0 18451 535 0 0 25 0 1 0 831744672 28033024 6167 4294967295 134512640 134714508 3221224576 3221221680 1074138880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6844 6167 1111 63 0 6781 0
vsize: 27376
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 223396 0 2 0 19428 558 0 0 25 0 1 0 831744672 28467200 6273 4294967295 134512640 134714508 3221224576 3221222496 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6950 6273 1111 63 0 6887 0
vsize: 27800
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 234289 0 2 0 20401 585 0 0 25 0 1 0 831744672 28794880 6359 4294967295 134512640 134714508 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7030 6359 1111 63 0 6967 0
vsize: 28120
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 237692 0 2 0 21392 594 0 0 25 0 1 0 831744672 29302784 6483 4294967295 134512640 134714508 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7154 6483 1111 63 0 7091 0
vsize: 28616
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 245962 0 2 0 22370 616 0 0 25 0 1 0 831744672 29020160 6408 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7085 6408 1111 63 0 7022 0
vsize: 28340
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 254832 0 2 0 23348 638 0 0 25 0 1 0 831744672 32989184 7322 4294967295 134512640 134714508 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8054 7322 1111 63 0 7991 0
vsize: 32216
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 270440 0 2 0 24311 676 0 0 25 0 1 0 831744672 29782016 6600 4294967295 134512640 134714508 3221224576 3221223300 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7271 6600 1111 63 0 7208 0
vsize: 29084
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 285272 0 2 0 25275 712 0 0 25 0 1 0 831744672 29683712 6576 4294967295 134512640 134714508 3221224576 3221222928 1074115244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7247 6576 1111 63 0 7184 0
vsize: 28988
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 298522 0 2 0 26243 744 0 0 25 0 1 0 831744672 30519296 6765 4294967295 134512640 134714508 3221224576 3221221768 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7451 6765 1111 63 0 7388 0
vsize: 29804
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 309102 0 2 0 27217 770 0 0 25 0 1 0 831744672 30904320 6874 4294967295 134512640 134714508 3221224576 3221222572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7545 6874 1111 63 0 7482 0
vsize: 30180
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 322746 0 2 0 28187 800 0 0 25 0 1 0 831744672 33251328 7261 4294967295 134512640 134714508 3221224576 3221221232 1075968211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8118 7261 1111 63 0 8055 0
vsize: 32472
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 334138 0 2 0 29158 829 0 0 25 0 1 0 831744672 30535680 6784 4294967295 134512640 134714508 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7455 6784 1111 63 0 7392 0
vsize: 29820
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 348284 0 2 0 30124 863 0 0 25 0 1 0 831744672 31707136 7067 4294967295 134512640 134714508 3221224576 3221222576 1074918944 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.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 357592 0 2 0 31100 888 0 0 25 0 1 0 831744672 34828288 7722 4294967295 134512640 134714508 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8503 7722 1111 63 0 8440 0
vsize: 34012
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 371247 0 2 0 32065 923 0 0 25 0 1 0 831744672 32350208 7227 4294967295 134512640 134714508 3221224576 3221223472 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7898 7227 1111 63 0 7835 0
vsize: 31592
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 379725 0 2 0 33043 945 0 0 25 0 1 0 831744672 35393536 7739 4294967295 134512640 134714508 3221224576 3221220568 1075964730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8641 7739 1111 63 0 8578 0
vsize: 34564
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 389974 0 2 0 34019 969 0 0 25 0 1 0 831744672 35700736 7653 4294967295 134512640 134714508 3221224576 3221221344 1076083593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8716 7653 1111 63 0 8653 0
vsize: 34864
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 397212 0 2 0 35000 988 0 0 25 0 1 0 831744672 35201024 7761 4294967295 134512640 134714508 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8594 7761 1111 63 0 8531 0
vsize: 34376
[startup+370.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 402495 0 2 0 35987 1001 0 0 25 0 1 0 831744672 36040704 8073 4294967295 134512640 134714508 3221224576 3221220640 1074790455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8799 8073 1111 63 0 8736 0
vsize: 35196
[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 414796 0 2 0 36958 1031 0 0 25 0 1 0 831744672 32407552 7231 4294967295 134512640 134714508 3221224576 3221222576 134650068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7912 7231 1111 63 0 7849 0
vsize: 31648
[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 421649 0 2 0 37940 1048 0 0 25 0 1 0 831744672 33558528 7522 4294967295 134512640 134714508 3221224576 3221221920 1074839039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8193 7522 1111 63 0 8130 0
vsize: 32772
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 432349 0 2 0 38916 1073 0 0 25 0 1 0 831744672 36171776 7734 4294967295 134512640 134714508 3221224576 3221220848 1074961264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8831 7734 1111 63 0 8768 0
vsize: 35324
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 445206 0 2 0 39882 1107 0 0 25 0 1 0 831744672 32886784 7326 4294967295 134512640 134714508 3221224576 3221223216 134649075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8029 7326 1111 63 0 7966 0
vsize: 32116
[startup+420.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 455789 0 2 0 40858 1131 0 0 25 0 1 0 831744672 33173504 7428 4294967295 134512640 134714508 3221224576 3221222624 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8099 7428 1111 63 0 8036 0
vsize: 32396
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 465758 0 2 0 41836 1154 0 0 25 0 1 0 831744672 33333248 7435 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8138 7435 1111 63 0 8075 0
vsize: 32552
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 474996 0 2 0 42811 1178 0 0 25 0 1 0 831744672 34930688 7562 4294967295 134512640 134714508 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8528 7562 1111 63 0 8465 0
vsize: 34112
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 486262 0 2 0 43784 1206 0 0 25 0 1 0 831744672 34693120 7799 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8470 7799 1111 63 0 8407 0
vsize: 33880
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 496451 0 2 0 44760 1229 0 0 25 0 1 0 831744672 37314560 8235 4294967295 134512640 134714508 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 8235 1111 63 0 9047 0
vsize: 36440
[startup+470.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 508765 0 2 0 45733 1257 0 0 25 0 1 0 831744672 34557952 7750 4294967295 134512640 134714508 3221224576 3221221856 1074140374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8437 7750 1111 63 0 8374 0
vsize: 33748
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 522680 0 2 0 46699 1291 0 0 25 0 1 0 831744672 33878016 7578 4294967295 134512640 134714508 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8271 7578 1111 63 0 8208 0
vsize: 33084
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 534219 0 2 0 47671 1319 0 0 25 0 1 0 831744672 33878016 7600 4294967295 134512640 134714508 3221224576 3221221920 1074839039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8271 7600 1111 63 0 8208 0
vsize: 33084
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 545081 0 2 0 48644 1346 0 0 25 0 1 0 831744672 35069952 7891 4294967295 134512640 134714508 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8562 7891 1111 63 0 8499 0
vsize: 34248
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 562844 0 2 0 49602 1388 0 0 25 0 1 0 831744672 36057088 7812 4294967295 134512640 134714508 3221224576 3221220568 1074790416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8803 7812 1111 63 0 8740 0
vsize: 35212
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 577196 0 2 0 50567 1423 0 0 25 0 1 0 831744672 36114432 8131 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8817 8131 1111 63 0 8754 0
vsize: 35268
[startup+530.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 597643 0 2 0 51516 1474 0 0 25 0 1 0 831744672 35721216 8050 4294967295 134512640 134714508 3221224576 3221223152 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8721 8050 1111 63 0 8658 0
vsize: 34884
[startup+540.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 609347 0 2 0 52487 1503 0 0 25 0 1 0 831744672 36458496 8230 4294967295 134512640 134714508 3221224576 3221223392 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8901 8230 1111 63 0 8838 0
vsize: 35604
[startup+550.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 622099 0 2 0 53457 1534 0 0 25 0 1 0 831744672 36679680 8252 4294967295 134512640 134714508 3221224576 3221222624 1074140566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8955 8252 1111 63 0 8892 0
vsize: 35820
[startup+560.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 634462 0 2 0 54427 1563 0 0 25 0 1 0 831744672 38027264 8599 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9284 8599 1111 63 0 9221 0
vsize: 37136
[startup+570.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 647316 0 2 0 55398 1592 0 0 25 0 1 0 831744672 39047168 8542 4294967295 134512640 134714508 3221224576 3221221888 1076083593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9533 8542 1111 63 0 9470 0
vsize: 38132
[startup+580.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 660125 0 2 0 56368 1623 0 0 25 0 1 0 831744672 40288256 8612 4294967295 134512640 134714508 3221224576 3221221232 1075967680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9836 8612 1111 63 0 9773 0
vsize: 39344
[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 673716 0 2 0 57334 1656 0 0 25 0 1 0 831744672 37543936 8495 4294967295 134512640 134714508 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9166 8495 1111 63 0 9103 0
vsize: 36664
[startup+600.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 685722 0 2 0 58303 1687 0 0 25 0 1 0 831744672 38248448 8637 4294967295 134512640 134714508 3221224576 3221222536 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9338 8637 1111 63 0 9275 0
vsize: 37352
[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 698492 0 2 0 59272 1719 0 0 25 0 1 0 831744672 38297600 8650 4294967295 134512640 134714508 3221224576 3221222320 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9350 8650 1111 63 0 9287 0
vsize: 37400
[startup+620.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 711212 0 2 0 60242 1749 0 0 25 0 1 0 831744672 39661568 9012 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9683 9012 1111 63 0 9620 0
vsize: 38732
[startup+630.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 720320 0 2 0 61220 1771 0 0 25 0 1 0 831744672 38703104 8766 4294967295 134512640 134714508 3221224576 3221222544 1074247419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9449 8766 1111 63 0 9386 0
vsize: 37796
[startup+640.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 732959 0 2 0 62187 1804 0 0 25 0 1 0 831744672 42057728 9298 4294967295 134512640 134714508 3221224576 3221220804 1075115051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10268 9298 1111 63 0 10205 0
vsize: 41072
[startup+650.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 747696 0 2 0 63151 1841 0 0 25 0 1 0 831744672 39825408 9017 4294967295 134512640 134714508 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 9020 1111 63 0 9660 0
vsize: 38892
[startup+660.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 762065 0 2 0 64115 1877 0 0 25 0 1 0 831744672 42213376 9342 4294967295 134512640 134714508 3221224576 3221221232 1075966559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10306 9342 1111 63 0 10243 0
vsize: 41224
[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 774127 0 2 0 65085 1907 0 0 25 0 1 0 831744672 40579072 9236 4294967295 134512640 134714508 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9907 9236 1111 63 0 9844 0
vsize: 39628
[startup+680.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 787298 0 2 0 66053 1939 0 0 25 0 1 0 831744672 41771008 9519 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10198 9519 1111 63 0 10135 0
vsize: 40792
[startup+690.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 798198 0 2 0 67028 1965 0 0 25 0 1 0 831744672 41308160 9414 4294967295 134512640 134714508 3221224576 3221223172 134543119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10085 9414 1111 63 0 10022 0
vsize: 40340
[startup+700.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 808040 0 2 0 68002 1991 0 0 25 0 1 0 831744672 42532864 9706 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10384 9706 1111 63 0 10321 0
vsize: 41536
[startup+710.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 819644 0 2 0 68976 2017 0 0 25 0 1 0 831744672 45170688 10058 4294967295 134512640 134714508 3221224576 3221220784 1075792805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11028 10058 1111 63 0 10965 0
vsize: 44112
[startup+720.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 831706 0 2 0 69946 2047 0 0 25 0 1 0 831744672 42897408 9770 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10473 9770 1111 63 0 10410 0
vsize: 41892
[startup+730.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 842505 0 2 0 70920 2073 0 0 25 0 1 0 831744672 42983424 9823 4294967295 134512640 134714508 3221224576 3221221948 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10494 9823 1111 63 0 10431 0
vsize: 41976
[startup+740.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 853744 0 2 0 71891 2102 0 0 25 0 1 0 831744672 43102208 9852 4294967295 134512640 134714508 3221224576 3221222756 1073986695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10523 9852 1111 63 0 10460 0
vsize: 42092
[startup+750.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 862514 0 2 0 72869 2124 0 0 25 0 1 0 831744672 45940736 10344 4294967295 134512640 134714508 3221224576 3221221580 1074621104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11216 10344 1111 63 0 11153 0
vsize: 44864
[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 872996 0 2 0 73844 2149 0 0 25 0 1 0 831744672 43327488 9914 4294967295 134512640 134714508 3221224576 3221222304 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10578 9914 1111 63 0 10515 0
vsize: 42312
[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 883086 0 2 0 74822 2172 0 0 25 0 1 0 831744672 44462080 10186 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10855 10186 1111 63 0 10792 0
vsize: 43420
[startup+780.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 893128 0 2 0 75799 2195 0 0 25 0 1 0 831744672 43581440 9976 4294967295 134512640 134714508 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10640 9976 1111 63 0 10577 0
vsize: 42560
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 901624 0 2 0 76779 2215 0 0 25 0 1 0 831744672 44167168 10112 4294967295 134512640 134714508 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10783 10112 1111 63 0 10720 0
vsize: 43132
[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 911881 0 2 0 77755 2239 0 0 25 0 1 0 831744672 47767552 10794 4294967295 134512640 134714508 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11662 10794 1111 63 0 11599 0
vsize: 46648
[startup+810.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 914895 0 2 0 78748 2246 0 0 25 0 1 0 831744672 46895104 10766 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11449 10766 1111 63 0 11386 0
vsize: 45796
[startup+820.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 928913 0 2 0 79717 2278 0 0 25 0 1 0 831744672 44470272 10193 4294967295 134512640 134714508 3221224576 3221222224 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10857 10193 1111 63 0 10794 0
vsize: 43428
[startup+830.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 939848 0 2 0 80688 2307 0 0 25 0 1 0 831744672 48128000 10651 4294967295 134512640 134714508 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11750 10651 1111 63 0 11687 0
vsize: 47000
[startup+840.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 952436 0 2 0 81659 2336 0 0 25 0 1 0 831744672 47882240 10745 4294967295 134512640 134714508 3221224576 3221220672 1074790236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11690 10745 1111 63 0 11627 0
vsize: 46760
[startup+850.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 964533 0 2 0 82630 2365 0 0 25 0 1 0 831744672 45821952 10517 4294967295 134512640 134714508 3221224576 3221222576 1074918215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11187 10517 1111 63 0 11124 0
vsize: 44748
[startup+860.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 968638 0 2 0 83620 2376 0 0 25 0 1 0 831744672 47988736 11035 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11716 11035 1111 63 0 11653 0
vsize: 46864
[startup+870.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 983425 0 2 0 84586 2410 0 0 25 0 1 0 831744672 45981696 10550 4294967295 134512640 134714508 3221224576 3221221736 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11886 10557 1111 63 0 11823 0
vsize: 44904
[startup+880.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 995843 0 2 0 85555 2441 0 0 25 0 1 0 831744672 45654016 10482 4294967295 134512640 134714508 3221224576 3221222928 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+890.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1001459 0 2 0 86540 2456 0 0 25 0 1 0 831744672 48750592 11238 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11902 11238 1111 63 0 11839 0
vsize: 47608
[startup+900.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1013728 0 2 0 87513 2483 0 0 25 0 1 0 831744672 46616576 10704 4294967295 134512640 134714508 3221224576 3221222856 1074138377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11381 10704 1111 63 0 11318 0
vsize: 45524
[startup+910.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1017398 0 2 0 88503 2493 0 0 25 0 1 0 831744672 48934912 11269 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11947 11269 1111 63 0 11884 0
vsize: 47788
[startup+920.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1026659 0 2 0 89481 2516 0 0 25 0 1 0 831744672 50978816 11698 4294967295 134512640 134714508 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12446 11698 1111 63 0 12383 0
vsize: 49784
[startup+930.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1030216 0 2 0 90472 2525 0 0 25 0 1 0 831744672 46338048 10649 4294967295 134512640 134714508 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11313 10649 1111 63 0 11250 0
vsize: 45252
[startup+940.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1041346 0 2 0 91447 2550 0 0 25 0 1 0 831744672 46596096 10685 4294967295 134512640 134714508 3221224576 3221222240 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11376 10685 1111 63 0 11313 0
vsize: 45504
[startup+950.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1050825 0 2 0 92425 2572 0 0 25 0 1 0 831744672 47521792 10937 4294967295 134512640 134714508 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11602 10937 1111 63 0 11539 0
vsize: 46408
[startup+960.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1063910 0 2 0 93395 2603 0 0 25 0 1 0 831744672 48160768 11016 4294967295 134512640 134714508 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11758 11020 1111 63 0 11695 0
vsize: 47032
[startup+970.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1072708 0 2 0 94373 2625 0 0 25 0 1 0 831744672 50348032 11313 4294967295 134512640 134714508 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12292 11313 1111 63 0 12229 0
vsize: 49168
[startup+980.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1081846 0 2 0 95350 2648 0 0 25 0 1 0 831744672 48873472 11268 4294967295 134512640 134714508 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11932 11268 1111 63 0 11869 0
vsize: 47728
[startup+990.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1087452 0 2 0 96337 2661 0 0 25 0 1 0 831744672 50593792 11508 4294967295 134512640 134714508 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12352 11508 1111 63 0 12289 0
vsize: 49408
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1096115 0 2 0 97317 2682 0 0 25 0 1 0 831744672 51142656 11591 4294967295 134512640 134714508 3221224576 3221220736 1075091387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12486 11591 1111 63 0 12423 0
vsize: 49944
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1109328 0 2 0 98284 2714 0 0 25 0 1 0 831744672 48037888 11032 4294967295 134512640 134714508 3221224576 3221222224 1074247409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11728 11032 1111 63 0 11665 0
vsize: 46912
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1120265 0 2 0 99258 2741 0 0 25 0 1 0 831744672 47706112 10983 4294967295 134512640 134714508 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11647 10983 1111 63 0 11584 0
vsize: 46588
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1136473 0 2 0 100220 2780 0 0 25 0 1 0 831744672 48480256 11172 4294967295 134512640 134714508 3221224576 3221222576 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11836 11172 1111 63 0 11773 0
vsize: 47344
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1152262 0 2 0 101183 2818 0 0 25 0 1 0 831744672 49004544 11300 4294967295 134512640 134714508 3221224576 3221221836 1074137984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11964 11300 1111 63 0 11901 0
vsize: 47856
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1167481 0 2 0 102146 2855 0 0 25 0 1 0 831744672 53911552 12034 4294967295 134512640 134714508 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13162 12034 1111 63 0 13099 0
vsize: 52648
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1181373 0 2 0 103113 2888 0 0 25 0 1 0 831744672 50327552 11612 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12287 11612 1111 63 0 12224 0
vsize: 49148
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1193139 0 2 0 104082 2919 0 0 25 0 1 0 831744672 50753536 11695 4294967295 134512640 134714508 3221224576 3221222952 134539591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12391 11696 1111 63 0 12328 0
vsize: 49564
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1207431 0 2 0 105046 2955 0 0 25 0 1 0 831744672 53452800 12069 4294967295 134512640 134714508 3221224576 3221220536 1075964771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13050 12069 1111 63 0 12987 0
vsize: 52200
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1220893 0 2 0 106011 2991 0 0 25 0 1 0 831744672 52363264 12119 4294967295 134512640 134714508 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12784 12119 1111 63 0 12721 0
vsize: 51136
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1235903 0 2 0 106975 3027 0 0 25 0 1 0 831744672 52596736 12165 4294967295 134512640 134714508 3221224576 3221222576 1074918944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12841 12165 1111 63 0 12778 0
vsize: 51364
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1248115 0 2 0 107945 3057 0 0 25 0 1 0 831744672 55812096 12402 4294967295 134512640 134714508 3221224576 3221220896 1075859351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13626 12402 1111 63 0 13563 0
vsize: 54504
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1253128 0 2 0 108932 3070 0 0 25 0 1 0 831744672 56655872 13076 4294967295 134512640 134714508 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13832 13076 1111 63 0 13769 0
vsize: 55328
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1264791 0 2 0 109905 3097 0 0 25 0 1 0 831744672 53624832 12400 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13092 12400 1111 63 0 13029 0
vsize: 52368
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1278104 0 2 0 110871 3131 0 0 25 0 1 0 831744672 53043200 12254 4294967295 134512640 134714508 3221224576 3221222896 1074039440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12950 12254 1111 63 0 12887 0
vsize: 51800
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1289211 0 2 0 111847 3155 0 0 25 0 1 0 831744672 53071872 12293 4294967295 134512640 134714508 3221224576 3221222032 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12957 12293 1111 63 0 12894 0
vsize: 51828
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1299409 0 2 0 112822 3180 0 0 25 0 1 0 831744672 53125120 12289 4294967295 134512640 134714508 3221224576 3221222592 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12970 12289 1111 63 0 12907 0
vsize: 51880
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1310404 0 2 0 113795 3208 0 0 25 0 1 0 831744672 55750656 12622 4294967295 134512640 134714508 3221224576 3221220896 1075170308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13611 12622 1111 63 0 13548 0
vsize: 54444
[startup+1175.7 s]
Raw data (loadavg): 0.99 0.98 0.97 1/53 24825
Raw data (stat): 24825 (bsolo_lpr_cuts) R 24824 23310 23309 0 -1 0 1310404 0 2 0 113795 3208 0 0 25 0 1 0 831744672 55750656 12622 4294967295 134512640 134714508 3221224576 3221220896 1075170308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13611 12622 1111 63 0 13548 0
vsize: 0

Child status: 10
Real time (s): 1175.7
CPU time (s): 1175.67
CPU user time (s): 1143.41
CPU system time (s): 32.2571
CPU usage (%): 99.9979
Max. virtual memory (Kb): 55328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1736
#### END VERIFIER DATA ####