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/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUM	f82b685b64af240616b701a750c82883
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10
Optimality of the best value was proved	NO
Number of terms in the objective function	934
Biggest coefficient in the objective function	546
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	2594
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	546
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2594
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03784
Number of variables	934
Total number of constraints	1996
Number of constraints which are clauses	879
Number of constraints which are cardinality constraints (but not clauses)	1117
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	20
Trace number 40915

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 02:13:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28981 boxname=wulflinc4 idbench=367 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  f82b685b64af240616b701a750c82883  /oldhome/oroussel/tmp/wulflinc4/normalized-10:20:4.5:0.95:100.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-10:20:4.5:0.95:100.opb
IDLAUNCH: 28981
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 2
cpu MHz		: 451.169
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:        911064 kB
Buffers:         28676 kB
Cached:          73700 kB
SwapCached:       1188 kB
Active:          26520 kB
Inactive:        78200 kB
HighTotal:      131008 kB
HighFree:        56308 kB
LowTotal:       903652 kB
LowFree:        854756 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13196 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 02:33:21 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 28981 0 1175.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 934 variables and 1063 constraints.
c After prepocess the problem consists of 933 variables and 1095 constraints.
c preprocess terminated 0.9 s
c Initial Lower Bound: 1
c Lower Bound Elapsed time: 2.05
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1499 @ 3.071
c NEW SOLUTION FOUND: 1498 @ 3.076
c NEW SOLUTION FOUND: 1495 @ 3.088
c NEW SOLUTION FOUND: 1489 @ 3.1
c NEW SOLUTION FOUND: 1479 @ 3.112
c NEW SOLUTION FOUND: 1473 @ 3.125
c NEW SOLUTION FOUND: 1472 @ 3.137
c NEW SOLUTION FOUND: 1467 @ 3.151
c NEW SOLUTION FOUND: 1459 @ 3.164
c NEW SOLUTION FOUND: 1449 @ 3.178
c NEW SOLUTION FOUND: 1439 @ 3.192
c NEW SOLUTION FOUND: 1437 @ 3.206
c NEW SOLUTION FOUND: 1435 @ 3.22
c NEW SOLUTION FOUND: 1431 @ 3.235
c NEW SOLUTION FOUND: 1428 @ 3.249
c NEW SOLUTION FOUND: 1424 @ 3.264
c NEW SOLUTION FOUND: 1423 @ 3.278
c NEW SOLUTION FOUND: 1420 @ 3.293
c NEW SOLUTION FOUND: 1416 @ 3.307
c NEW SOLUTION FOUND: 1412 @ 3.322
c NEW SOLUTION FOUND: 1411 @ 3.336
c NEW SOLUTION FOUND: 1410 @ 3.351
c NEW SOLUTION FOUND: 1409 @ 3.366
c NEW SOLUTION FOUND: 1408 @ 3.381
c NEW SOLUTION FOUND: 1407 @ 3.395
c NEW SOLUTION FOUND: 1406 @ 3.41
c NEW SOLUTION FOUND: 1405 @ 3.425
c NEW SOLUTION FOUND: 1404 @ 3.44
c NEW SOLUTION FOUND: 1403 @ 3.454
c NEW SOLUTION FOUND: 1402 @ 3.469
c NEW SOLUTION FOUND: 1401 @ 3.484
c NEW SOLUTION FOUND: 1400 @ 3.514
c NEW SOLUTION FOUND: 1397 @ 3.53
c NEW SOLUTION FOUND: 1396 @ 3.545
c NEW SOLUTION FOUND: 1394 @ 3.562
c NEW SOLUTION FOUND: 1392 @ 3.579
c NEW SOLUTION FOUND: 1390 @ 3.595
c NEW SOLUTION FOUND: 1388 @ 3.611
c NEW SOLUTION FOUND: 1386 @ 3.627
c NEW SOLUTION FOUND: 1384 @ 3.643
c NEW SOLUTION FOUND: 1382 @ 3.659
c NEW SOLUTION FOUND: 1380 @ 3.675
c NEW SOLUTION FOUND: 1378 @ 3.691
c NEW SOLUTION FOUND: 1375 @ 3.708
c NEW SOLUTION FOUND: 1373 @ 3.724
c NEW SOLUTION FOUND: 1371 @ 3.74
c NEW SOLUTION FOUND: 1368 @ 3.756
c NEW SOLUTION FOUND: 1366 @ 3.788
c NEW SOLUTION FOUND: 1362 @ 3.804
c NEW SOLUTION FOUND: 1358 @ 3.821
c NEW SOLUTION FOUND: 1354 @ 3.837
c NEW SOLUTION FOUND: 1352 @ 3.854
c NEW SOLUTION FOUND: 1348 @ 3.872
c NEW SOLUTION FOUND: 1346 @ 3.889
c NEW SOLUTION FOUND: 1344 @ 3.906
c NEW SOLUTION FOUND: 1343 @ 4.405
c NEW SOLUTION FOUND: 1338 @ 4.466
c NEW SOLUTION FOUND: 1335 @ 4.518
c NEW SOLUTION FOUND: 1334 @ 4.536
c NEW SOLUTION FOUND: 1332 @ 4.554
c NEW SOLUTION FOUND: 1330 @ 4.572
c NEW SOLUTION FOUND: 1329 @ 4.667
c NEW SOLUTION FOUND: 1325 @ 4.855
c NEW SOLUTION FOUND: 1323 @ 5.059
c NEW SOLUTION FOUND: 1319 @ 5.306
c NEW SOLUTION FOUND: 1316 @ 5.57
c NEW SOLUTION FOUND: 1315 @ 5.83
c NEW SOLUTION FOUND: 1313 @ 6.337
c NEW SOLUTION FOUND: 1310 @ 7.138
c NEW SOLUTION FOUND: 1307 @ 7.724
c NEW SOLUTION FOUND: 1302 @ 8.631
c NEW SOLUTION FOUND: 1297 @ 9.641
c NEW SOLUTION FOUND: 1295 @ 10.697
c NEW SOLUTION FOUND: 1294 @ 10.869
c NEW SOLUTION FOUND: 1293 @ 12.108
c NEW SOLUTION FOUND: 1292 @ 12.295
c NEW SOLUTION FOUND: 1290 @ 13.615
c NEW SOLUTION FOUND: 1289 @ 13.803
c NEW SOLUTION FOUND: 1285 @ 15.11
c NEW SOLUTION FOUND: 1284 @ 15.128
c NEW SOLUTION FOUND: 1282 @ 16.073
c NEW SOLUTION FOUND: 1281 @ 16.091
c NEW SOLUTION FOUND: 1279 @ 17.053
c NEW SOLUTION FOUND: 1278 @ 17.072
c NEW SOLUTION FOUND: 1276 @ 19.966
c NEW SOLUTION FOUND: 1275 @ 19.985
c NEW SOLUTION FOUND: 1273 @ 23.655
c NEW SOLUTION FOUND: 1272 @ 23.673
c NEW SOLUTION FOUND: 1269 @ 26.81
c NEW SOLUTION FOUND: 1267 @ 27.331
c NEW SOLUTION FOUND: 1266 @ 27.349
c NEW SOLUTION FOUND: 1265 @ 31.032
c NEW SOLUTION FOUND: 1264 @ 31.049
c NEW SOLUTION FOUND: 1263 @ 34.351
c NEW SOLUTION FOUND: 1262 @ 34.369
c NEW SOLUTION FOUND: 1260 @ 38.33
c NEW SOLUTION FOUND: 1259 @ 38.348
c NEW SOLUTION FOUND: 1257 @ 41.952
c NEW SOLUTION FOUND: 1256 @ 41.973
c NEW SOLUTION FOUND: 1254 @ 45.144
c NEW SOLUTION FOUND: 1253 @ 45.165
c NEW SOLUTION FOUND: 1252 @ 46.997
c NEW SOLUTION FOUND: 1250 @ 48.143
c NEW SOLUTION FOUND: 1249 @ 48.164
c NEW SOLUTION FOUND: 1247 @ 50.823
c NEW SOLUTION FOUND: 1246 @ 50.844
c NEW SOLUTION FOUND: 1244 @ 53.421
c NEW SOLUTION FOUND: 1243 @ 53.442
c NEW SOLUTION FOUND: 1241 @ 54.717
c NEW SOLUTION FOUND: 1239 @ 55.797
c NEW SOLUTION FOUND: 1238 @ 55.817
c NEW SOLUTION FOUND: 1233 @ 57.037
c NEW SOLUTION FOUND: 1230 @ 58.834
c NEW SOLUTION FOUND: 1225 @ 60.049
c NEW SOLUTION FOUND: 1222 @ 61.797
c NEW SOLUTION FOUND: 1221 @ 64.22
c NEW SOLUTION FOUND: 1219 @ 65.344
c NEW SOLUTION FOUND: 1218 @ 67.506
c NEW SOLUTION FOUND: 1217 @ 68.417
c NEW SOLUTION FOUND: 1216 @ 68.436
c NEW SOLUTION FOUND: 1215 @ 69.053
c NEW SOLUTION FOUND: 1214 @ 70.695
c NEW SOLUTION FOUND: 1212 @ 71.762
c NEW SOLUTION FOUND: 1210 @ 72.364
c NEW SOLUTION FOUND: 1209 @ 73.991
c NEW SOLUTION FOUND: 1208 @ 75.417
c NEW SOLUTION FOUND: 1207 @ 75.435
c NEW SOLUTION FOUND: 1206 @ 79.384
c NEW SOLUTION FOUND: 1205 @ 80.418
c NEW SOLUTION FOUND: 1204 @ 80.437
c NEW SOLUTION FOUND: 1203 @ 81.864
c NEW SOLUTION FOUND: 1202 @ 84.373
c NEW SOLUTION FOUND: 1201 @ 85.426
c NEW SOLUTION FOUND: 1200 @ 85.444
c NEW SOLUTION FOUND: 1199 @ 86.921
c NEW SOLUTION FOUND: 1198 @ 89.6
c NEW SOLUTION FOUND: 1197 @ 91.008
c NEW SOLUTION FOUND: 1196 @ 91.027
c NEW SOLUTION FOUND: 1195 @ 92.387
c NEW SOLUTION FOUND: 1194 @ 95.095
c NEW SOLUTION FOUND: 1193 @ 96.715
c NEW SOLUTION FOUND: 1192 @ 96.734
c NEW SOLUTION FOUND: 1191 @ 98.142
c NEW SOLUTION FOUND: 1190 @ 101.07
c NEW SOLUTION FOUND: 1189 @ 102.632
c NEW SOLUTION FOUND: 1188 @ 102.651
c NEW SOLUTION FOUND: 1187 @ 104.054
c NEW SOLUTION FOUND: 1186 @ 107.175
c NEW SOLUTION FOUND: 1185 @ 109.438
c NEW SOLUTION FOUND: 1184 @ 109.457
c NEW SOLUTION FOUND: 1183 @ 111.915
c NEW SOLUTION FOUND: 1182 @ 114.588
c NEW SOLUTION FOUND: 1180 @ 117.131
c NEW SOLUTION FOUND: 1179 @ 119.204
c NEW SOLUTION FOUND: 1178 @ 121.382
c NEW SOLUTION FOUND: 1177 @ 123.424
c NEW SOLUTION FOUND: 1176 @ 123.443
c NEW SOLUTION FOUND: 1175 @ 125.279
c NEW SOLUTION FOUND: 1174 @ 127.161
c NEW SOLUTION FOUND: 1172 @ 128.86
c NEW SOLUTION FOUND: 1171 @ 130.527
c NEW SOLUTION FOUND: 1170 @ 132.529
c NEW SOLUTION FOUND: 1169 @ 134.148
c NEW SOLUTION FOUND: 1168 @ 134.168
c NEW SOLUTION FOUND: 1167 @ 136.197
c NEW SOLUTION FOUND: 1166 @ 137.64
c NEW SOLUTION FOUND: 1164 @ 139.193
c NEW SOLUTION FOUND: 1163 @ 140.792
c NEW SOLUTION FOUND: 1162 @ 141.976
c NEW SOLUTION FOUND: 1160 @ 143.397
c NEW SOLUTION FOUND: 1159 @ 144.919
c NEW SOLUTION FOUND: 1158 @ 145.95
c NEW SOLUTION FOUND: 1157 @ 148.465
c NEW SOLUTION FOUND: 1156 @ 148.486
c NEW SOLUTION FOUND: 1155 @ 149.908
c NEW SOLUTION FOUND: 1154 @ 151.079
c NEW SOLUTION FOUND: 1152 @ 152.437
c NEW SOLUTION FOUND: 1151 @ 154.491
c NEW SOLUTION FOUND: 1150 @ 155.053
c NEW SOLUTION FOUND: 1148 @ 157.742
c NEW SOLUTION FOUND: 1147 @ 159.19
c NEW SOLUTION FOUND: 1146 @ 160.439
c NEW SOLUTION FOUND: 1145 @ 161.775
c NEW SOLUTION FOUND: 1144 @ 161.795
c NEW SOLUTION FOUND: 1143 @ 163.562
c NEW SOLUTION FOUND: 1142 @ 164.641
c NEW SOLUTION FOUND: 1141 @ 166.568
c NEW SOLUTION FOUND: 1140 @ 166.588
c NEW SOLUTION FOUND: 1139 @ 168.011
c NEW SOLUTION FOUND: 1138 @ 169.125
c NEW SOLUTION FOUND: 1137 @ 171.009
c NEW SOLUTION FOUND: 1136 @ 171.029
c NEW SOLUTION FOUND: 1135 @ 172.53
c NEW SOLUTION FOUND: 1134 @ 173.658
c NEW SOLUTION FOUND: 1132 @ 175.666
c NEW SOLUTION FOUND: 1131 @ 177.149
c NEW SOLUTION FOUND: 1130 @ 178.251
c NEW SOLUTION FOUND: 1128 @ 180.357
c NEW SOLUTION FOUND: 1127 @ 181.979
c NEW SOLUTION FOUND: 1126 @ 183.226
c NEW SOLUTION FOUND: 1124 @ 183.88
c NEW SOLUTION FOUND: 1123 @ 185.845
c NEW SOLUTION FOUND: 1122 @ 187.26
c NEW SOLUTION FOUND: 1121 @ 187.952
c NEW SOLUTION FOUND: 1120 @ 187.973
c NEW SOLUTION FOUND: 1119 @ 189.891
c NEW SOLUTION FOUND: 1118 @ 192
c NEW SOLUTION FOUND: 1116 @ 193.315
c NEW SOLUTION FOUND: 1115 @ 195.015
c NEW SOLUTION FOUND: 1114 @ 196.474
c NEW SOLUTION FOUND: 1113 @ 197.087
c NEW SOLUTION FOUND: 1112 @ 197.108
c NEW SOLUTION FOUND: 1111 @ 198.975
c NEW SOLUTION FOUND: 1110 @ 200.536
c NEW SOLUTION FOUND: 1108 @ 201.069
c NEW SOLUTION FOUND: 1107 @ 203.073
c NEW SOLUTION FOUND: 1106 @ 204.676
c NEW SOLUTION FOUND: 1105 @ 205.234
c NEW SOLUTION FOUND: 1104 @ 205.255
c NEW SOLUTION FOUND: 1103 @ 207.264
c NEW SOLUTION FOUND: 1102 @ 208.908
c NEW SOLUTION FOUND: 1100 @ 209.478
c NEW SOLUTION FOUND: 1099 @ 211.573
c NEW SOLUTION FOUND: 1098 @ 213.248
c NEW SOLUTION FOUND: 1097 @ 213.787
c NEW SOLUTION FOUND: 1096 @ 213.808
c NEW SOLUTION FOUND: 1095 @ 215.8
c NEW SOLUTION FOUND: 1094 @ 217.521
c NEW SOLUTION FOUND: 1092 @ 218.017
c NEW SOLUTION FOUND: 1091 @ 220.021
c NEW SOLUTION FOUND: 1090 @ 221.803
c NEW SOLUTION FOUND: 1089 @ 222.377
c NEW SOLUTION FOUND: 1088 @ 222.398
c NEW SOLUTION FOUND: 1087 @ 224.384
c NEW SOLUTION FOUND: 1086 @ 226.776
c NEW SOLUTION FOUND: 1084 @ 228.097
c NEW SOLUTION FOUND: 1083 @ 229.92
c NEW SOLUTION FOUND: 1082 @ 231.834
c NEW SOLUTION FOUND: 1080 @ 232.33
c NEW SOLUTION FOUND: 1079 @ 234.443
c NEW SOLUTION FOUND: 1078 @ 236.426
c NEW SOLUTION FOUND: 1077 @ 237.008
c NEW SOLUTION FOUND: 1076 @ 237.029
c NEW SOLUTION FOUND: 1075 @ 239.137
c NEW SOLUTION FOUND: 1074 @ 241.416
c NEW SOLUTION FOUND: 1073 @ 241.95
c NEW SOLUTION FOUND: 1072 @ 241.972
c NEW SOLUTION FOUND: 1071 @ 244.091
c NEW SOLUTION FOUND: 1070 @ 246.259
c NEW SOLUTION FOUND: 1068 @ 246.757
c NEW SOLUTION FOUND: 1067 @ 248.9
c NEW SOLUTION FOUND: 1066 @ 251.563
c NEW SOLUTION FOUND: 1065 @ 252.879
c NEW SOLUTION FOUND: 1064 @ 252.901
c NEW SOLUTION FOUND: 1063 @ 254.695
c NEW SOLUTION FOUND: 1062 @ 256.957
c NEW SOLUTION FOUND: 1060 @ 257.491
c NEW SOLUTION FOUND: 1059 @ 259.739
c NEW SOLUTION FOUND: 1058 @ 261.954
c NEW SOLUTION FOUND: 1057 @ 262.533
c NEW SOLUTION FOUND: 1056 @ 262.555
c NEW SOLUTION FOUND: 1055 @ 264.813
c NEW SOLUTION FOUND: 1054 @ 267.634
c NEW SOLUTION FOUND: 1052 @ 269.042
c NEW SOLUTION FOUND: 1051 @ 270.955
c NEW SOLUTION FOUND: 1050 @ 273.358
c NEW SOLUTION FOUND: 1049 @ 273.896
c NEW SOLUTION FOUND: 1048 @ 273.918
c NEW SOLUTION FOUND: 1047 @ 276.131
c NEW SOLUTION FOUND: 1046 @ 278.462
c NEW SOLUTION FOUND: 1044 @ 278.98
c NEW SOLUTION FOUND: 1043 @ 281.103
c NEW SOLUTION FOUND: 1042 @ 283.919
c NEW SOLUTION FOUND: 1041 @ 285.25
c NEW SOLUTION FOUND: 1040 @ 285.272
c NEW SOLUTION FOUND: 1039 @ 287.092
c NEW SOLUTION FOUND: 1038 @ 289.482
c NEW SOLUTION FOUND: 1036 @ 289.986
c NEW SOLUTION FOUND: 1035 @ 292.138
c NEW SOLUTION FOUND: 1034 @ 294.469
c NEW SOLUTION FOUND: 1033 @ 295.05
c NEW SOLUTION FOUND: 1032 @ 295.071
c NEW SOLUTION FOUND: 1031 @ 297.198
c NEW SOLUTION FOUND: 1030 @ 300.176
c NEW SOLUTION FOUND: 1028 @ 301.578
c NEW SOLUTION FOUND: 1027 @ 303.469
c NEW SOLUTION FOUND: 1026 @ 306.214
c NEW SOLUTION FOUND: 1025 @ 307.731
c NEW SOLUTION FOUND: 1024 @ 307.753
c NEW SOLUTION FOUND: 1023 @ 309.491
c NEW SOLUTION FOUND: 1022 @ 312.077
c NEW SOLUTION FOUND: 1021 @ 312.62
c NEW SOLUTION FOUND: 1020 @ 312.642
c NEW SOLUTION FOUND: 1019 @ 314.785
c NEW SOLUTION FOUND: 1018 @ 317.21
c NEW SOLUTION FOUND: 1016 @ 317.77
c NEW SOLUTION FOUND: 1015 @ 319.929
c NEW SOLUTION FOUND: 1014 @ 322.378
c NEW SOLUTION FOUND: 1013 @ 322.903
c NEW SOLUTION FOUND: 1012 @ 322.924
c NEW SOLUTION FOUND: 1011 @ 326.462
c NEW SOLUTION FOUND: 1010 @ 328.938
c NEW SOLUTION FOUND: 1008 @ 329.504
c NEW SOLUTION FOUND: 1007 @ 331.631
c NEW SOLUTION FOUND: 1006 @ 334.754
c NEW SOLUTION FOUND: 1005 @ 336.174
c NEW SOLUTION FOUND: 1004 @ 336.196
c NEW SOLUTION FOUND: 1003 @ 338.003
c NEW SOLUTION FOUND: 1002 @ 340.518
c NEW SOLUTION FOUND: 1000 @ 341.102
c NEW SOLUTION FOUND: 999 @ 343.261
c NEW SOLUTION FOUND: 998 @ 345.778
c NEW SOLUTION FOUND: 997 @ 346.326
c NEW SOLUTION FOUND: 996 @ 346.347
c NEW SOLUTION FOUND: 995 @ 348.477
c NEW SOLUTION FOUND: 994 @ 351.013
c NEW SOLUTION FOUND: 992 @ 351.542
c NEW SOLUTION FOUND: 991 @ 353.672
c NEW SOLUTION FOUND: 990 @ 356.74
c NEW SOLUTION FOUND: 989 @ 358.129
c NEW SOLUTION FOUND: 988 @ 358.15
c NEW SOLUTION FOUND: 987 @ 359.963
c NEW SOLUTION FOUND: 986 @ 362.455
c NEW SOLUTION FOUND: 984 @ 362.986
c NEW SOLUTION FOUND: 983 @ 365.146
c NEW SOLUTION FOUND: 982 @ 367.664
c NEW SOLUTION FOUND: 981 @ 368.27
c NEW SOLUTION FOUND: 980 @ 368.292
c NEW SOLUTION FOUND: 979 @ 370.502
c NEW SOLUTION FOUND: 978 @ 373.064
c NEW SOLUTION FOUND: 976 @ 373.611
c NEW SOLUTION FOUND: 975 @ 377.43
c NEW SOLUTION FOUND: 974 @ 380.426
c NEW SOLUTION FOUND: 973 @ 381.823
c NEW SOLUTION FOUND: 972 @ 381.845
c NEW SOLUTION FOUND: 971 @ 383.612
c NEW SOLUTION FOUND: 970 @ 386.341
c NEW SOLUTION FOUND: 969 @ 386.929
c NEW SOLUTION FOUND: 968 @ 386.951
c NEW SOLUTION FOUND: 967 @ 389.193
c NEW SOLUTION FOUND: 966 @ 391.783
c NEW SOLUTION FOUND: 964 @ 392.406
c NEW SOLUTION FOUND: 963 @ 394.606
c NEW SOLUTION FOUND: 962 @ 397.119
c NEW SOLUTION FOUND: 961 @ 397.713
c NEW SOLUTION FOUND: 960 @ 397.735
c NEW SOLUTION FOUND: 959 @ 399.961
c NEW SOLUTION FOUND: 958 @ 402.528
c NEW SOLUTION FOUND: 956 @ 403.1
c NEW SOLUTION FOUND: 955 @ 405.411
c NEW SOLUTION FOUND: 954 @ 408.601
c NEW SOLUTION FOUND: 953 @ 410.081
c NEW SOLUTION FOUND: 952 @ 410.103
c NEW SOLUTION FOUND: 951 @ 412.105
c NEW SOLUTION FOUND: 950 @ 414.712
c NEW SOLUTION FOUND: 949 @ 415.31
c NEW SOLUTION FOUND: 948 @ 415.331
c NEW SOLUTION FOUND: 947 @ 417.333
c NEW SOLUTION FOUND: 944 @ 418.788
c NEW SOLUTION FOUND: 943 @ 424.206
c NEW SOLUTION FOUND: 941 @ 424.231
c NEW SOLUTION FOUND: 940 @ 424.902
c NEW SOLUTION FOUND: 938 @ 425.42
c NEW SOLUTION FOUND: 937 @ 429.99
c NEW SOLUTION FOUND: 936 @ 430.59
c NEW SOLUTION FOUND: 934 @ 431.163
c NEW SOLUTION FOUND: 933 @ 435.279
c NEW SOLUTION FOUND: 932 @ 438.007
c NEW SOLUTION FOUND: 930 @ 438.594
c NEW SOLUTION FOUND: 929 @ 441.051
c NEW SOLUTION FOUND: 928 @ 444.431
c NEW SOLUTION FOUND: 927 @ 445.942
c NEW SOLUTION FOUND: 926 @ 445.963
c NEW SOLUTION FOUND: 925 @ 448.061
c NEW SOLUTION FOUND: 924 @ 450.892
c NEW SOLUTION FOUND: 922 @ 451.485
c NEW SOLUTION FOUND: 921 @ 453.983
c NEW SOLUTION FOUND: 920 @ 456.857
c NEW SOLUTION FOUND: 919 @ 457.411
c NEW SOLUTION FOUND: 918 @ 457.433
c NEW SOLUTION FOUND: 917 @ 459.783
c NEW SOLUTION FOUND: 916 @ 463.279
c NEW SOLUTION FOUND: 914 @ 464.894
c NEW SOLUTION FOUND: 913 @ 468.876
c NEW SOLUTION FOUND: 912 @ 472.137
c NEW SOLUTION FOUND: 910 @ 473.934
c NEW SOLUTION FOUND: 909 @ 475.967
c NEW SOLUTION FOUND: 908 @ 478.861
c NEW SOLUTION FOUND: 906 @ 479.627
c NEW SOLUTION FOUND: 905 @ 482.024
c NEW SOLUTION FOUND: 904 @ 482.655
c NEW SOLUTION FOUND: 902 @ 483.451
c NEW SOLUTION FOUND: 901 @ 485.997
c NEW SOLUTION FOUND: 900 @ 488.929
c NEW SOLUTION FOUND: 899 @ 489.667
c NEW SOLUTION FOUND: 898 @ 489.688
c NEW SOLUTION FOUND: 897 @ 492.177
c NEW SOLUTION FOUND: 896 @ 495.129
c NEW SOLUTION FOUND: 894 @ 495.869
c NEW SOLUTION FOUND: 893 @ 498.055
c NEW SOLUTION FOUND: 892 @ 499.72
c NEW SOLUTION FOUND: 890 @ 500.676
c NEW SOLUTION FOUND: 887 @ 502.526
c NEW SOLUTION FOUND: 886 @ 505.792
c NEW SOLUTION FOUND: 885 @ 506.613
c NEW SOLUTION FOUND: 884 @ 506.635
c NEW SOLUTION FOUND: 883 @ 509.458
c NEW SOLUTION FOUND: 882 @ 512.462
c NEW SOLUTION FOUND: 881 @ 513.08
c NEW SOLUTION FOUND: 880 @ 513.102
c NEW SOLUTION FOUND: 879 @ 515.6
c NEW SOLUTION FOUND: 878 @ 519.175
c NEW SOLUTION FOUND: 876 @ 520.758
c NEW SOLUTION FOUND: 875 @ 522.885
c NEW SOLUTION FOUND: 874 @ 526.055
c NEW SOLUTION FOUND: 873 @ 526.672
c NEW SOLUTION FOUND: 872 @ 526.694
c NEW SOLUTION FOUND: 871 @ 529.315
c NEW SOLUTION FOUND: 870 @ 532.294
c NEW SOLUTION FOUND: 868 @ 532.911
c NEW SOLUTION FOUND: 866 @ 544.643
c NEW SOLUTION FOUND: 865 @ 545.648
c NEW SOLUTION FOUND: 864 @ 552.419
c NEW SOLUTION FOUND: 863 @ 556.715
c NEW SOLUTION FOUND: 862 @ 556.738
c NEW SOLUTION FOUND: 861 @ 557.644
c NEW SOLUTION FOUND: 860 @ 561.475
c NEW SOLUTION FOUND: 859 @ 567.011
c NEW SOLUTION FOUND: 858 @ 567.035
c NEW SOLUTION FOUND: 857 @ 568.097
c NEW SOLUTION FOUND: 856 @ 574.372
c NEW SOLUTION FOUND: 855 @ 578.507
c NEW SOLUTION FOUND: 854 @ 578.53
c NEW SOLUTION FOUND: 853 @ 579.352
c NEW SOLUTION FOUND: 852 @ 584.242
c NEW SOLUTION FOUND: 851 @ 588.39
c NEW SOLUTION FOUND: 850 @ 588.414
c NEW SOLUTION FOUND: 849 @ 589.196
c NEW SOLUTION FOUND: 848 @ 592.266
c NEW SOLUTION FOUND: 846 @ 599.358
c NEW SOLUTION FOUND: 845 @ 600.255
c NEW SOLUTION FOUND: 844 @ 603.633
c NEW SOLUTION FOUND: 843 @ 610.899
c NEW SOLUTION FOUND: 842 @ 610.923
c NEW SOLUTION FOUND: 841 @ 611.772
c NEW SOLUTION FOUND: 840 @ 614.784
c NEW SOLUTION FOUND: 838 @ 621.07
c NEW SOLUTION FOUND: 837 @ 621.827
c NEW SOLUTION FOUND: 836 @ 625.008
c NEW SOLUTION FOUND: 835 @ 631.71
c NEW SOLUTION FOUND: 834 @ 631.735
c NEW SOLUTION FOUND: 833 @ 632.485
c NEW SOLUTION FOUND: 832 @ 635.279
c NEW SOLUTION FOUND: 830 @ 641.41
c NEW SOLUTION FOUND: 829 @ 642.122
c NEW SOLUTION FOUND: 828 @ 645.016
c NEW SOLUTION FOUND: 827 @ 651.157
c NEW SOLUTION FOUND: 826 @ 651.182
c NEW SOLUTION FOUND: 825 @ 651.87
c NEW SOLUTION FOUND: 824 @ 654.667
c NEW SOLUTION FOUND: 822 @ 660.804
c NEW SOLUTION FOUND: 821 @ 661.523
c NEW SOLUTION FOUND: 820 @ 664.39
c NEW SOLUTION FOUND: 818 @ 670.739
c NEW SOLUTION FOUND: 817 @ 674.379
c NEW SOLUTION FOUND: 816 @ 680.635
c NEW SOLUTION FOUND: 815 @ 680.659
c NEW SOLUTION FOUND: 812 @ 681.568
c NEW SOLUTION FOUND: 810 @ 681.806
c NEW SOLUTION FOUND: 809 @ 682.175
c NEW SOLUTION FOUND: 807 @ 682.412
c NEW SOLUTION FOUND: 805 @ 682.964
c NEW SOLUTION FOUND: 801 @ 683.823
c NEW SOLUTION FOUND: 799 @ 684.068
c NEW SOLUTION FOUND: 797 @ 684.692
c NEW SOLUTION FOUND: 795 @ 684.94
c NEW SOLUTION FOUND: 791 @ 686.096
c NEW SOLUTION FOUND: 789 @ 686.345
c NEW SOLUTION FOUND: 787 @ 687.278
c NEW SOLUTION FOUND: 785 @ 687.527
c NEW SOLUTION FOUND: 781 @ 690.106
c NEW SOLUTION FOUND: 779 @ 690.439
c NEW SOLUTION FOUND: 776 @ 691.608
c NEW SOLUTION FOUND: 774 @ 691.975
c NEW SOLUTION FOUND: 770 @ 693.878
c NEW SOLUTION FOUND: 768 @ 694.37
c NEW SOLUTION FOUND: 764 @ 696.477
c NEW SOLUTION FOUND: 762 @ 696.967
c NEW SOLUTION FOUND: 758 @ 699.041
c NEW SOLUTION FOUND: 756 @ 699.616
c NEW SOLUTION FOUND: 752 @ 701.748
c NEW SOLUTION FOUND: 750 @ 702.499
c NEW SOLUTION FOUND: 749 @ 703.79
c NEW SOLUTION FOUND: 747 @ 704.569
c NEW SOLUTION FOUND: 743 @ 707.229
c NEW SOLUTION FOUND: 741 @ 708.431
c NEW SOLUTION FOUND: 737 @ 710.955
c NEW SOLUTION FOUND: 735 @ 712.431
c NEW SOLUTION FOUND: 731 @ 713.223
c NEW SOLUTION FOUND: 729 @ 714.993
c NEW SOLUTION FOUND: 728 @ 719.075
c NEW SOLUTION FOUND: 727 @ 720.179
c NEW SOLUTION FOUND: 726 @ 721.771
c NEW SOLUTION FOUND: 725 @ 723.935
c NEW SOLUTION FOUND: 721 @ 725.413
c NEW SOLUTION FOUND: 720 @ 727.679
c NEW SOLUTION FOUND: 719 @ 733.443
c NEW SOLUTION FOUND: 716 @ 740.534
c NEW SOLUTION FOUND: 715 @ 748.17
c NEW SOLUTION FOUND: 714 @ 755.654
c NEW SOLUTION FOUND: 711 @ 760.609
c NEW SOLUTION FOUND: 710 @ 771.706
c NEW SOLUTION FOUND: 709 @ 780.424
c NEW SOLUTION FOUND: 706 @ 786.306
c NEW SOLUTION FOUND: 705 @ 802.291
c NEW SOLUTION FOUND: 704 @ 815.273
c NEW SOLUTION FOUND: 703 @ 822.345
c NEW SOLUTION FOUND: 702 @ 835.14
c NEW SOLUTION FOUND: 701 @ 846.735
c NEW SOLUTION FOUND: 699 @ 853.627
c NEW SOLUTION FOUND: 698 @ 871.318
c NEW SOLUTION FOUND: 697 @ 886.532
c NEW SOLUTION FOUND: 693 @ 893.639
c NEW SOLUTION FOUND: 692 @ 908.752
c NEW SOLUTION FOUND: 691 @ 920.627
c NEW SOLUTION FOUND: 690 @ 927.17
c NEW SOLUTION FOUND: 689 @ 940.461
c NEW SOLUTION FOUND: 688 @ 950.501
c NEW SOLUTION FOUND: 684 @ 956.242
c NEW SOLUTION FOUND: 683 @ 965.647
c NEW SOLUTION FOUND: 682 @ 980.423
c NEW SOLUTION FOUND: 679 @ 986.147
c NEW SOLUTION FOUND: 678 @ 1012.61
c NEW SOLUTION FOUND: 677 @ 1025.21
c NEW SOLUTION FOUND: 673 @ 1030.68
c NEW SOLUTION FOUND: 672 @ 1051.36
c NEW SOLUTION FOUND: 671 @ 1062.9
c NEW SOLUTION FOUND: 670 @ 1095.94
c NEW SOLUTION FOUND: 666 @ 1100.49
c NEW SOLUTION FOUND: 665 @ 1128.72
c NEW SOLUTION FOUND: 664 @ 1152.07
c NEW SOLUTION FOUND: 661 @ 1154.62
c NEW SOLUTION FOUND: 660 @ 1169.99
s SATISFIABLE
v v853 -v782 v197 v102 v21 v2 v855 v103 v1 -v785 -v384 -v272 v196 v20 v3 -v856 -v786 -v76 -v55 v23 v4 -v383 v275 -v202 v75 -v54 v11 -v763 v387 -v276 -v200 -v56 v24 -v5 -v762 v247 v150 v77 -v57 v26 -v6 -v764 v613 v388 -v201 -v79 v58 -v39 -v27 -v7 -v765 v612 -v513 v250 -v205 v149 v65 -v38 v766 v618 -v251 -v80 -v59 v40 v773 v617 v512 -v326 v155 v125 v82 -v60 v41 -v767 v619 v153 -v83 -v61 v42 -v768 v623 v593 -v573 v518 v128 v49 -v769 v622 v577 v516 -v154 -v129 -v43 -v729 -v620 v596 v576 -v158 -v44 -v621 v597 v517 -v45 v881 -v728 -v521 v852 -v781 -v192 v104 v17 v857 v787 -v537 -v468 v271 v198 v22 v14 -v541 v71 v25 v15 v859 -v385 v277 -v203 v108 v70 v29 v10 -v860 v389 v28 -v790 v246 v206 -v145 v78 v68 v8 v204 -v81 v69 -v811 -v776 v638 -v508 v391 -v322 v280 v252 v151 v85 v64 -v777 -v642 v614 -v392 v84 v772 v615 v514 -v325 v156 v124 v62 v52 v616 v53 v770 v627 v592 v519 -v255 v159 v130 v48 v572 v157 -v877 v598 v574 v522 v46 v578 v520 v880 -v730 -v133 v601 v854 -v783 -v464 v267 v105 v13 v858 -v379 v191 v16 v12 v862 v788 v536 -v488 v467 v378 v273 v193 v109 v18 v861 v540 -v492 v199 v107 v19 -v791 v386 v278 v242 v195 -v67 v33 -v789 v390 v207 v72 v66 -v807 -v775 v394 v301 v281 v248 v73 -v9 -v774 v393 v279 v144 v74 v810 v637 v321 v253 v146 -v120 v89 -v51 v641 v507 v152 v50 v630 v588 v509 -v327 v256 v148 v126 -v63 v631 v515 v254 v160 -v771 v626 v594 v511 v131 v725 v523 v876 v724 -v709 v624 v599 v330 v134 -v47 v575 v132 v882 -v731 v602 v586 v600 v582 -v900 v732 v581 -v904 -v733 -v851 v779 -v463 -v422 v106 v850 -v784 v426 v266 v110 v866 v780 -v662 v538 v487 v469 v268 -v177 v36 -v792 -v666 v542 v491 v380 v274 v194 v37 v381 v297 v270 -v222 v215 v32 v382 v282 v241 -v226 v211 v806 v544 -v472 v398 -v317 v300 v243 v210 v92 v30 v545 v249 v93 v812 v639 -v629 v323 v245 v88 v643 v628 v257 v147 v119 v913 v836 -v328 v168 v121 v86 -v917 v587 v510 v164 v127 v872 -v815 -v705 v645 v589 v531 -v347 v331 v163 v123 v646 v595 v527 -v351 v329 v135 v878 v708 v625 v591 v583 v526 v726 v603 v585 v95 v883 v727 v94 v899 v884 v737 v579 -v903 v885 -v869 v533 -v465 -v421 v173 v118 -v35 -v870 v778 v425 v114 v34 v865 v800 v661 v539 v489 v470 v212 v176 v113 v796 v665 v543 v493 v269 v214 v863 -v802 v795 v547 v473 v450 v401 v296 v290 v221 -v91 v633 v546 v471 v402 v286 v225 v90 v808 v632 v495 v397 v302 v285 v208 -v31 -v496 v316 v244 -v832 v813 -v752 v640 v395 v318 v265 -v209 v165 v644 v324 v261 v167 v912 v835 v816 v648 v528 v320 v305 v260 -v87 v916 v814 v647 v530 v332 v122 v704 v346 v161 v143 v871 v590 -v584 v350 v139 v873 v710 v611 v524 -v162 v138 v879 v607 v875 v740 -v606 v561 -v525 v886 v741 -v565 v96 v901 v736 -v713 -v580 v97 -v905 -v867 v797 -v484 -v461 -v423 v172 v117 v799 v532 -v466 v427 -v213 v663 v534 v490 v462 v446 -v400 v292 v287 v178 v111 v667 v535 v494 v474 v399 v289 -v864 v793 -v551 v498 v449 v429 v298 v223 -v112 v801 v497 -v430 v227 v803 -v794 v748 v687 v669 v303 v283 v262 -v181 v809 v691 -v670 v634 v264 v166 v831 v805 -v751 v635 -v396 v306 -v284 v229 v817 v636 -v529 v319 v304 -v230 v914 v837 -v700 v652 -v340 v258 v140 v918 v336 v142 v706 v608 v348 v335 -v259 v610 v352 v920 -v840 -v739 v711 v412 -v371 v136 -v921 v896 v874 v738 -v375 v895 v894 v714 -v604 v560 -v354 -v137 -v890 v712 -v564 -v355 v902 -v889 v734 -v605 v100 -v906 v101 -v868 -v798 -v658 -v424 v174 -v115 -v483 -v460 v428 -v288 -v217 v664 -v554 -v485 -v482 v445 v432 -v216 v179 v668 -v555 v486 -v478 v431 v291 v672 -v550 -v502 -v477 v451 v293 v224 -v182 v671 v299 -v263 v228 -v180 v827 v747 v686 -v548 v295 v232 -v908 v804 v690 v307 v231 -v907 v833 v825 -v753 v655 -v454 -v337 -v821 v656 -v342 -v339 -v141 v915 v838 -v820 -v651 -v341 v919 -v699 -v609 v923 -v841 -v756 v701 -v649 -v408 v349 v333 v922 -v839 v707 v353 -v891 v703 v411 -v370 -v357 v334 -v893 v715 -v374 -v356 v562 v99 v897 -v566 v98 v898 -v887 v735 -v553 -v479 v441 v420 v170 -v116 -v657 -v552 -v481 v419 v175 -v659 -v505 v447 -v436 v171 v660 -v506 -v218 -v183 -v743 -v676 -v501 -v475 v452 -v219 v294 v220 -v822 v749 v688 v654 -v549 -v499 -v476 -v455 -v315 v236 v826 v824 v692 v653 -v453 -v338 -v311 v828 -v754 -v310 v909 v834 v910 v830 -v818 -v757 -v694 v911 v842 -v755 -v695 -v343 v927 -v819 -v650 -v407 -v344 -v892 v702 v557 v345 v723 v556 v413 -v372 -v361 v719 v376 -v718 v563 -v567 -v888 -v568 -v416 -v569 -v504 -v480 v437 -v503 v440 v439 v169 -v679 v442 -v435 v190 -v682 -v680 v448 v187 -v681 -v675 v444 -v433 -v312 v239 v186 -v823 -v742 v456 -v314 v240 -v744 v689 -v673 -v500 v235 v750 v693 v746 -v697 -v308 v233 v829 -v758 -v696 v930 v849 v405 -v309 v931 v846 -v367 -v926 v845 -v720 -v409 v366 v364 v722 v365 -v924 v414 -v373 -v360 v558 v377 v932 -v716 v559 v417 -v358 -v415 -v717 -v678 v438 v189 -v677 v188 v238 v443 -v313 v237 v459 -v434 v184 -v683 v457 -v684 -v674 v458 -v185 -v745 v685 v929 v848 -v761 v698 -v234 v928 v847 -v759 -v760 v363 -v721 v404 v362 -v843 v403 -v410 v368 -v925 -v844 v406 v369 v418 v571 v933 -v359 v570 one 
c Exit Code: 10
c Total time: 1175.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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (runsolver) R 7407 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906578437 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 9254 0 0 0 971 26 0 0 25 0 1 0 906578437 7217152 1076 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 1076 1111 63 0 1699 0
vsize: 7048
[startup+20.0018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 25706 0 0 0 1924 73 0 0 25 0 1 0 906578437 7524352 1151 4294967295 134512640 134716908 3221224560 3221223344 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1837 1151 1111 63 0 1774 0
vsize: 7348
[startup+30.0024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 42705 0 0 0 2877 120 0 0 25 0 1 0 906578437 7913472 1244 4294967295 134512640 134716908 3221224560 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 1244 1111 63 0 1869 0
vsize: 7728
[startup+40.0019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 59122 0 0 0 3833 164 0 0 25 0 1 0 906578437 8290304 1332 4294967295 134512640 134716908 3221224560 3221222520 1074138243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2024 1332 1111 63 0 1961 0
vsize: 8096
[startup+50.0031 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 74749 0 0 0 4793 203 0 0 25 0 1 0 906578437 8552448 1402 4294967295 134512640 134716908 3221224560 3221222856 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2088 1402 1111 63 0 2025 0
vsize: 8352
[startup+60.0032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 88471 0 0 0 5754 243 0 0 25 0 1 0 906578437 8896512 1486 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1486 1111 63 0 2109 0
vsize: 8688
[startup+70.0034 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 100244 0 0 0 6719 277 0 0 25 0 1 0 906578437 9207808 1562 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2248 1562 1111 63 0 2185 0
vsize: 8992
[startup+80.0047 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 112304 0 0 0 7682 314 0 0 25 0 1 0 906578437 9629696 1662 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1666 1111 63 0 2391 0
vsize: 9404
[startup+90.0044 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 124684 0 0 0 8647 350 0 0 25 0 1 0 906578437 9949184 1743 4294967295 134512640 134716908 3221224560 3221222480 1075799758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2429 1743 1111 63 0 2366 0
vsize: 9716
[startup+100.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 137247 0 0 0 9608 389 0 0 25 0 1 0 906578437 10248192 1816 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2502 1816 1111 63 0 2439 0
vsize: 10008
[startup+110.005 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 149351 0 0 0 10570 427 0 0 25 0 1 0 906578437 10698752 1919 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2612 1919 1111 63 0 2549 0
vsize: 10448
[startup+120.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 159211 0 0 0 11540 457 0 0 25 0 1 0 906578437 11014144 2001 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2689 2001 1111 63 0 2626 0
vsize: 10756
[startup+130.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 169113 0 0 0 12509 489 0 0 25 0 1 0 906578437 11337728 2082 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2768 2082 1111 63 0 2705 0
vsize: 11072
[startup+140.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 178943 0 0 0 13478 519 0 0 25 0 1 0 906578437 11689984 2167 4294967295 134512640 134716908 3221224560 3221222720 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2854 2167 1111 63 0 2791 0
vsize: 11416
[startup+150.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 188103 0 0 0 14447 551 0 0 25 0 1 0 906578437 12046336 2253 4294967295 134512640 134716908 3221224560 3221222856 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2941 2253 1111 63 0 2878 0
vsize: 11764
[startup+160.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 197196 0 0 0 15412 586 0 0 25 0 1 0 906578437 12369920 2333 4294967295 134512640 134716908 3221224560 3221222288 1075828211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3020 2333 1111 63 0 2957 0
vsize: 12080
[startup+170.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 206518 0 0 0 16382 616 0 0 25 0 1 0 906578437 12722176 2420 4294967295 134512640 134716908 3221224560 3221223196 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3106 2420 1111 63 0 3043 0
vsize: 12424
[startup+180.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 216234 0 0 0 17349 649 0 0 25 0 1 0 906578437 13459456 2501 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3286 2501 1111 63 0 3223 0
vsize: 13144
[startup+190.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 225730 0 0 0 18317 681 0 0 25 0 1 0 906578437 13398016 2582 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3271 2582 1111 63 0 3208 0
vsize: 13084
[startup+200.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 236933 0 0 0 19281 717 0 0 25 0 1 0 906578437 13733888 2661 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3353 2661 1111 63 0 3290 0
vsize: 13412
[startup+210.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 248554 0 0 0 20243 755 0 0 25 0 1 0 906578437 14458880 2748 4294967295 134512640 134716908 3221224560 3221221216 1075969185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3530 2748 1111 63 0 3467 0
vsize: 14120
[startup+220.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 259803 0 0 0 21210 789 0 0 25 0 1 0 906578437 14401536 2827 4294967295 134512640 134716908 3221224560 3221222944 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3516 2827 1111 63 0 3453 0
vsize: 14064
[startup+230.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 271205 0 0 0 22176 823 0 0 25 0 1 0 906578437 14733312 2909 4294967295 134512640 134716908 3221224560 3221223212 1076533124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3597 2909 1111 63 0 3534 0
vsize: 14388
[startup+240.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 283198 0 0 0 23139 860 0 0 25 0 1 0 906578437 15048704 2988 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3674 2988 1111 63 0 3611 0
vsize: 14696
[startup+250.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 295059 0 0 0 24107 892 0 0 25 0 1 0 906578437 15392768 3072 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3758 3072 1111 63 0 3695 0
vsize: 15032
[startup+260.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 306400 0 0 0 25074 926 0 0 25 0 1 0 906578437 15736832 3156 4294967295 134512640 134716908 3221224560 3221222432 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3842 3156 1111 63 0 3779 0
vsize: 15368
[startup+270.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 318430 0 0 0 26039 961 0 0 25 0 1 0 906578437 16224256 3242 4294967295 134512640 134716908 3221224560 3221221644 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3961 3246 1111 63 0 3898 0
vsize: 15844
[startup+280.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 330205 0 0 0 27003 996 0 0 25 0 1 0 906578437 16580608 3329 4294967295 134512640 134716908 3221224560 3221221672 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4048 3331 1111 63 0 3985 0
vsize: 16192
[startup+290.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 341791 0 0 0 27968 1032 0 0 25 0 1 0 906578437 16777216 3410 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4096 3410 1111 63 0 4033 0
vsize: 16384
[startup+300.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 353768 0 0 0 28933 1067 0 0 25 0 1 0 906578437 17133568 3497 4294967295 134512640 134716908 3221224560 3221222524 1077378064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4183 3497 1111 63 0 4120 0
vsize: 16732
[startup+310.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 363818 0 0 0 29900 1101 0 0 25 0 1 0 906578437 17448960 3574 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4260 3574 1111 63 0 4197 0
vsize: 17040
[startup+320.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 375698 0 0 0 30864 1136 0 0 25 0 1 0 906578437 17809408 3659 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3659 1111 63 0 4285 0
vsize: 17392
[startup+330.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 388362 0 0 0 31829 1172 0 0 25 0 1 0 906578437 18145280 3744 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4430 3744 1111 63 0 4367 0
vsize: 17720
[startup+340.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 400083 0 0 0 32793 1208 0 0 25 0 1 0 906578437 18505728 3826 4294967295 134512640 134716908 3221224560 3221222288 1075635649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4518 3826 1111 63 0 4455 0
vsize: 18072
[startup+350.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 411773 0 0 0 33754 1247 0 0 25 0 1 0 906578437 18812928 3906 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4593 3906 1111 63 0 4530 0
vsize: 18372
[startup+360.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 423074 0 0 0 34722 1279 0 0 25 0 1 0 906578437 19181568 3994 4294967295 134512640 134716908 3221224560 3221222804 1077374218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4683 3994 1111 63 0 4620 0
vsize: 18732
[startup+370.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 435029 0 0 0 35684 1317 0 0 25 0 1 0 906578437 19570688 4085 4294967295 134512640 134716908 3221224560 3221222288 1075635518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4768 4081 1111 63 0 4705 0
vsize: 19112
[startup+380.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 447061 0 0 0 36648 1354 0 0 25 0 1 0 906578437 19849216 4159 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4846 4159 1111 63 0 4783 0
vsize: 19384
[startup+390.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 458138 0 0 0 37613 1389 0 0 25 0 1 0 906578437 20176896 4240 4294967295 134512640 134716908 3221224560 3221222848 1074057922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4926 4240 1111 63 0 4863 0
vsize: 19704
[startup+400.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 469546 0 0 0 38575 1427 0 0 25 0 1 0 906578437 20541440 4328 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5015 4328 1111 63 0 4952 0
vsize: 20060
[startup+410.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 481598 0 0 0 39538 1464 0 0 25 0 1 0 906578437 20897792 4411 4294967295 134512640 134716908 3221224560 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5102 4411 1111 63 0 5039 0
vsize: 20408
[startup+420.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 492143 0 0 0 40504 1498 0 0 25 0 1 0 906578437 21209088 4492 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5178 4492 1111 63 0 5115 0
vsize: 20712
[startup+430.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 503643 0 0 0 41467 1536 0 0 25 0 1 0 906578437 21536768 4572 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5258 4572 1111 63 0 5195 0
vsize: 21032
[startup+440.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 515432 0 0 0 42431 1572 0 0 25 0 1 0 906578437 21905408 4662 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5348 4662 1111 63 0 5285 0
vsize: 21392
[startup+450.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 527099 0 0 0 43396 1607 0 0 25 0 1 0 906578437 22224896 4740 4294967295 134512640 134716908 3221224560 3221222524 1077378064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5426 4740 1111 63 0 5363 0
vsize: 21704
[startup+460.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 538140 0 0 0 44364 1639 0 0 25 0 1 0 906578437 22609920 4828 4294967295 134512640 134716908 3221224560 3221222524 1077378064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5520 4828 1111 63 0 5457 0
vsize: 22080
[startup+470.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 549409 0 0 0 45329 1675 0 0 25 0 1 0 906578437 22908928 4907 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5593 4907 1111 63 0 5530 0
vsize: 22372
[startup+480.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 560585 0 0 0 46294 1709 0 0 25 0 1 0 906578437 23273472 4996 4294967295 134512640 134716908 3221224560 3221222832 1074056063 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5682 4996 1111 63 0 5619 0
vsize: 22728
[startup+490.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 571321 0 0 0 47258 1746 0 0 25 0 1 0 906578437 23621632 5080 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5767 5080 1111 63 0 5704 0
vsize: 23068
[startup+500.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 582303 0 0 0 48227 1777 0 0 25 0 1 0 906578437 23977984 5167 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 5167 1111 63 0 5791 0
vsize: 23416
[startup+510.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 592878 0 0 0 49193 1811 0 0 25 0 1 0 906578437 24391680 5259 4294967295 134512640 134716908 3221224560 3221222960 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5955 5259 1111 63 0 5892 0
vsize: 23820
[startup+520.018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 603889 0 0 0 50159 1845 0 0 25 0 1 0 906578437 24657920 5334 4294967295 134512640 134716908 3221224560 3221222700 1077379970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6020 5334 1111 63 0 5957 0
vsize: 24080
[startup+530.018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 614341 0 0 0 51123 1882 0 0 25 0 1 0 906578437 25022464 5421 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6109 5421 1111 63 0 6046 0
vsize: 24436
[startup+540.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 626680 0 0 0 52085 1920 0 0 25 0 1 0 906578437 25325568 5496 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6183 5496 1111 63 0 6120 0
vsize: 24732
[startup+550.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 641431 0 0 0 53042 1963 0 0 25 0 1 0 906578437 25628672 5570 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6257 5570 1111 63 0 6194 0
vsize: 25028
[startup+560.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 655595 0 0 0 54003 2002 0 0 25 0 1 0 906578437 25976832 5654 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6342 5654 1111 63 0 6279 0
vsize: 25368
[startup+570.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 669729 0 0 0 54963 2043 0 0 25 0 1 0 906578437 26341376 5741 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5741 1111 63 0 6368 0
vsize: 25724
[startup+580.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 683975 0 0 0 55924 2082 0 0 25 0 1 0 906578437 26689536 5824 4294967295 134512640 134716908 3221224560 3221222472 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6516 5824 1111 63 0 6453 0
vsize: 26064
[startup+590.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 698150 0 0 0 56886 2120 0 0 25 0 1 0 906578437 27009024 5906 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6594 5906 1111 63 0 6531 0
vsize: 26376
[startup+600.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 711180 0 0 0 57847 2159 0 0 25 0 1 0 906578437 27406336 5996 4294967295 134512640 134716908 3221224560 3221222304 1075640488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6679 5993 1111 63 0 6616 0
vsize: 26764
[startup+610.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 723654 0 0 0 58811 2195 0 0 25 0 1 0 906578437 27697152 6076 4294967295 134512640 134716908 3221224560 3221222344 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6762 6076 1111 63 0 6699 0
vsize: 27048
[startup+620.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 736603 0 0 0 59773 2233 0 0 25 0 1 0 906578437 28045312 6161 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6847 6161 1111 63 0 6784 0
vsize: 27388
[startup+630.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 749457 0 0 0 60738 2268 0 0 25 0 1 0 906578437 28389376 6245 4294967295 134512640 134716908 3221224560 3221222384 1075824347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6931 6245 1111 63 0 6868 0
vsize: 27724
[startup+640.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 762049 0 0 0 61701 2305 0 0 25 0 1 0 906578437 28712960 6324 4294967295 134512640 134716908 3221224560 3221222744 1077377422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7010 6324 1111 63 0 6947 0
vsize: 28040
[startup+650.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 774416 0 0 0 62664 2342 0 0 25 0 1 0 906578437 29057024 6406 4294967295 134512640 134716908 3221224560 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7094 6406 1111 63 0 7031 0
vsize: 28376
[startup+660.024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 786962 0 0 0 63629 2378 0 0 25 0 1 0 906578437 29368320 6484 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7170 6484 1111 63 0 7107 0
vsize: 28680
[startup+670.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 799492 0 0 0 64592 2415 0 0 25 0 1 0 906578437 29708288 6567 4294967295 134512640 134716908 3221224560 3221222960 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7253 6567 1111 63 0 7190 0
vsize: 29012
[startup+680.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 811815 0 0 0 65558 2449 0 0 25 0 1 0 906578437 30031872 6646 4294967295 134512640 134716908 3221224560 3221222864 1074138460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7332 6646 1111 63 0 7269 0
vsize: 29328
[startup+690.024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 822999 0 0 0 66527 2480 0 0 25 0 1 0 906578437 30351360 6719 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7410 6719 1111 63 0 7347 0
vsize: 29640
[startup+700.024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 834075 0 0 0 67495 2513 0 0 25 0 1 0 906578437 30629888 6793 4294967295 134512640 134716908 3221224560 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7478 6793 1111 63 0 7415 0
vsize: 29912
[startup+710.024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 845800 0 0 0 68463 2545 0 0 25 0 1 0 906578437 30912512 6862 4294967295 134512640 134716908 3221224560 3221222744 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7547 6862 1111 63 0 7484 0
vsize: 30188
[startup+720.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 857278 0 0 0 69434 2574 0 0 25 0 1 0 906578437 31227904 6939 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7624 6939 1111 63 0 7561 0
vsize: 30496
[startup+730.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 869213 0 0 0 70400 2609 0 0 25 0 1 0 906578437 31559680 7020 4294967295 134512640 134716908 3221224560 3221222700 1077404737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7705 7020 1111 63 0 7642 0
vsize: 30820
[startup+740.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 881020 0 0 0 71368 2640 0 0 25 0 1 0 906578437 32473088 7111 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7928 7111 1111 63 0 7865 0
vsize: 31712
[startup+750.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 892365 0 0 0 72339 2669 0 0 25 0 1 0 906578437 32215040 7180 4294967295 134512640 134716908 3221224560 3221222392 1077378064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7865 7180 1111 63 0 7802 0
vsize: 31460
[startup+760.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 904473 0 0 0 73306 2703 0 0 25 0 1 0 906578437 32661504 7282 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7974 7282 1111 63 0 7911 0
vsize: 31896
[startup+770.028 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 916117 0 0 0 74274 2735 0 0 25 0 1 0 906578437 32931840 7354 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8040 7354 1111 63 0 7977 0
vsize: 32160
[startup+780.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 928375 0 0 0 75241 2769 0 0 25 0 1 0 906578437 33869824 7474 4294967295 134512640 134716908 3221224560 3221220832 1074798977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8269 7474 1111 63 0 8206 0
vsize: 33076
[startup+790.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 940114 0 0 0 76207 2802 0 0 25 0 1 0 906578437 33624064 7524 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8209 7524 1111 63 0 8146 0
vsize: 32836
[startup+800.028 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 952225 0 0 0 77176 2834 0 0 25 0 1 0 906578437 34025472 7622 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8307 7622 1111 63 0 8244 0
vsize: 33228
[startup+810.028 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 964335 0 0 0 78143 2867 0 0 25 0 1 0 906578437 34373632 7707 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8392 7707 1111 63 0 8329 0
vsize: 33568
[startup+820.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 976446 0 0 0 79113 2897 0 0 25 0 1 0 906578437 34729984 7794 4294967295 134512640 134716908 3221224560 3221222288 1075828246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8479 7794 1111 63 0 8416 0
vsize: 33916
[startup+830.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 988036 0 0 0 80082 2929 0 0 25 0 1 0 906578437 35102720 7882 4294967295 134512640 134716908 3221224560 3221222744 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8570 7882 1111 63 0 8507 0
vsize: 34280
[startup+840.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1000147 0 0 0 81049 2961 0 0 25 0 1 0 906578437 35430400 7965 4294967295 134512640 134716908 3221224560 3221222716 1074819620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8650 7965 1111 63 0 8587 0
vsize: 34600
[startup+850.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1012244 0 0 0 82017 2994 0 0 25 0 1 0 906578437 35835904 8062 4294967295 134512640 134716908 3221224560 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8749 8062 1111 63 0 8686 0
vsize: 34996
[startup+860.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1023386 0 0 0 82986 3025 0 0 25 0 1 0 906578437 36130816 8136 4294967295 134512640 134716908 3221224560 3221222872 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8821 8136 1111 63 0 8758 0
vsize: 35284
[startup+870.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1035288 0 0 0 83956 3055 0 0 25 0 1 0 906578437 36495360 8225 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8910 8225 1111 63 0 8847 0
vsize: 35640
[startup+880.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1046802 0 0 0 84923 3088 0 0 25 0 1 0 906578437 36843520 8310 4294967295 134512640 134716908 3221224560 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8995 8310 1111 63 0 8932 0
vsize: 35980
[startup+890.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1058580 0 0 0 85890 3121 0 0 25 0 1 0 906578437 37187584 8392 4294967295 134512640 134716908 3221224560 3221222436 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9079 8392 1111 63 0 9016 0
vsize: 36316
[startup+900.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1069737 0 0 0 86859 3152 0 0 25 0 1 0 906578437 37486592 8467 4294967295 134512640 134716908 3221224560 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9152 8467 1111 63 0 9089 0
vsize: 36608
[startup+910.031 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1082052 0 0 0 87825 3186 0 0 25 0 1 0 906578437 38313984 8581 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9273 8559 1111 63 0 9210 0
vsize: 37416
[startup+920.031 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1094340 0 0 0 88791 3221 0 0 25 0 1 0 906578437 38182912 8637 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9322 8637 1111 63 0 9259 0
vsize: 37288
[startup+930.031 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1106009 0 0 0 89761 3251 0 0 25 0 1 0 906578437 38490112 8711 4294967295 134512640 134716908 3221224560 3221222560 1074056630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9397 8711 1111 63 0 9334 0
vsize: 37588
[startup+940.031 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1118124 0 0 0 90729 3283 0 0 25 0 1 0 906578437 38825984 8794 4294967295 134512640 134716908 3221224560 3221221664 1074139099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9586 8798 1111 63 0 9523 0
vsize: 37916
[startup+950.031 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1130040 0 0 0 91695 3317 0 0 25 0 1 0 906578437 39141376 8871 4294967295 134512640 134716908 3221224560 3221223184 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9556 8871 1111 63 0 9493 0
vsize: 38224
[startup+960.031 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1141316 0 0 0 92663 3350 0 0 25 0 1 0 906578437 39456768 8948 4294967295 134512640 134716908 3221224560 3221222840 1074138290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9633 8948 1111 63 0 9570 0
vsize: 38532
[startup+970.032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1152987 0 0 0 93633 3380 0 0 25 0 1 0 906578437 39796736 9030 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9716 9030 1111 63 0 9653 0
vsize: 38864
[startup+980.032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1164422 0 0 0 94599 3414 0 0 25 0 1 0 906578437 40099840 9105 4294967295 134512640 134716908 3221224560 3221222880 1074146235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9790 9105 1111 63 0 9727 0
vsize: 39160
[startup+990.031 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1175076 0 0 0 95571 3442 0 0 25 0 1 0 906578437 40468480 9193 4294967295 134512640 134716908 3221224560 3221222956 1074153378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9880 9193 1111 63 0 9817 0
vsize: 39520
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1186316 0 0 0 96542 3471 0 0 25 0 1 0 906578437 40742912 9262 4294967295 134512640 134716908 3221224560 3221222248 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9947 9262 1111 63 0 9884 0
vsize: 39788
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1197666 0 0 0 97511 3503 0 0 25 0 1 0 906578437 41046016 9336 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10021 9336 1111 63 0 9958 0
vsize: 40084
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1209343 0 0 0 98478 3536 0 0 25 0 1 0 906578437 41938944 9424 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10239 9424 1111 63 0 10176 0
vsize: 40956
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1220935 0 0 0 99448 3566 0 0 25 0 1 0 906578437 42188800 9507 4294967295 134512640 134716908 3221224560 3221221216 1075966471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10300 9507 1111 63 0 10237 0
vsize: 41200
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1232026 0 0 0 100417 3597 0 0 25 0 1 0 906578437 42033152 9575 4294967295 134512640 134716908 3221224560 3221222436 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10262 9575 1111 63 0 10199 0
vsize: 41048
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1243368 0 0 0 101386 3628 0 0 25 0 1 0 906578437 42369024 9653 4294967295 134512640 134716908 3221224560 3221222304 1075640228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 9649 1111 63 0 10274 0
vsize: 41376
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1254471 0 0 0 102353 3661 0 0 25 0 1 0 906578437 42627072 9720 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10441 9723 1111 63 0 10378 0
vsize: 41628
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1265474 0 0 0 103322 3692 0 0 25 0 1 0 906578437 42921984 9794 4294967295 134512640 134716908 3221224560 3221222960 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10479 9794 1111 63 0 10416 0
vsize: 41916
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1276687 0 0 0 104293 3722 0 0 25 0 1 0 906578437 43245568 9873 4294967295 134512640 134716908 3221224560 3221222536 1077378307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10558 9873 1111 63 0 10495 0
vsize: 42232
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1287956 0 0 0 105260 3755 0 0 25 0 1 0 906578437 43552768 9948 4294967295 134512640 134716908 3221224560 3221222816 1077404709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10633 9948 1111 63 0 10570 0
vsize: 42532
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1299033 0 0 0 106229 3785 0 0 25 0 1 0 906578437 43855872 10022 4294967295 134512640 134716908 3221224560 3221222524 1074057888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10707 10022 1111 63 0 10644 0
vsize: 42828
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1310433 0 0 0 107199 3816 0 0 25 0 1 0 906578437 44212224 10105 4294967295 134512640 134716908 3221224560 3221222452 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10794 10105 1111 63 0 10731 0
vsize: 43176
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1321997 0 0 0 108165 3850 0 0 25 0 1 0 906578437 44408832 10157 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10842 10157 1111 63 0 10779 0
vsize: 43368
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1333931 0 0 0 109132 3884 0 0 25 0 1 0 906578437 44707840 10230 4294967295 134512640 134716908 3221224560 3221222564 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10915 10230 1111 63 0 10852 0
vsize: 43660
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1345856 0 0 0 110103 3913 0 0 25 0 1 0 906578437 45023232 10307 4294967295 134512640 134716908 3221224560 3221222832 1074206230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10992 10307 1111 63 0 10929 0
vsize: 43968
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1357566 0 0 0 111072 3944 0 0 25 0 1 0 906578437 45301760 10375 4294967295 134512640 134716908 3221224560 3221222560 1074056202 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11060 10375 1111 63 0 10997 0
vsize: 44240
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1368686 0 0 0 112040 3976 0 0 25 0 1 0 906578437 45563904 10439 4294967295 134512640 134716908 3221224560 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11124 10439 1111 63 0 11061 0
vsize: 44496
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1380546 0 0 0 113011 4005 0 0 25 0 1 0 906578437 45891584 10519 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11204 10519 1111 63 0 11141 0
vsize: 44816
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.99 0.91 1/53 7408
Raw data (stat): 7408 (bsolo_lpr_cuts-) R 7407 21152 21151 0 -1 0 1380546 0 0 0 113011 4005 0 0 25 0 1 0 906578437 45891584 10519 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11204 10519 1111 63 0 11141 0
vsize: 0

Child status: 10
Real time (s): 1174.92
CPU time (s): 1175.05
CPU user time (s): 1134.8
CPU system time (s): 40.2489
CPU usage (%): 100.011
Max. virtual memory (Kb): 44816
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	660
#### END VERIFIER DATA ####