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/submitted/manquinho/logic-synthesis/normalized-jac3.opb
MD5SUM	43952ea8e0659c6ffd861c99c0b605de
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	15
Optimality of the best value was proved	NO
Number of terms in the objective function	1732
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1732
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1732
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05384
Number of variables	1731
Total number of constraints	1254
Number of constraints which are clauses	1254
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	694
Trace number 23487

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 04:03:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=622 boxname=wulflinc31 idbench=70 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  43952ea8e0659c6ffd861c99c0b605de  /oldhome/oroussel/tmp/wulflinc31/normalized-jac3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-jac3.opb
IDLAUNCH: 622
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        915616 kB
Buffers:         41396 kB
Cached:          55444 kB
SwapCached:        944 kB
Active:          80692 kB
Inactive:        18608 kB
HighTotal:      131008 kB
HighFree:        74508 kB
LowTotal:       903652 kB
LowFree:        841108 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14160 kB
Committed_AS:    63664 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 04:21:17 (client local time) WITH STATUS 30 IN 1076.77 SECONDS
stats: 622 0 1076.77 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1732 variables and 1254 constraints.
c After prepocess the problem consists of 1732 variables and 1247 constraints.
c preprocess terminated 4.601 s
c Initial Lower Bound: 15
c Lower Bound Elapsed time: 1.48425
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1506 @ 11.192
c NEW SOLUTION FOUND: 1505 @ 11.233
c NEW SOLUTION FOUND: 1504 @ 11.254
c NEW SOLUTION FOUND: 1503 @ 11.275
c NEW SOLUTION FOUND: 1502 @ 11.296
c NEW SOLUTION FOUND: 1501 @ 11.317
c NEW SOLUTION FOUND: 1500 @ 11.338
c NEW SOLUTION FOUND: 1499 @ 11.36
c NEW SOLUTION FOUND: 1498 @ 11.381
c NEW SOLUTION FOUND: 1497 @ 11.402
c NEW SOLUTION FOUND: 1496 @ 11.423
c NEW SOLUTION FOUND: 1495 @ 11.444
c NEW SOLUTION FOUND: 1494 @ 11.465
c NEW SOLUTION FOUND: 1493 @ 11.487
c NEW SOLUTION FOUND: 1492 @ 11.508
c NEW SOLUTION FOUND: 1491 @ 11.529
c NEW SOLUTION FOUND: 1490 @ 11.55
c NEW SOLUTION FOUND: 1489 @ 11.571
c NEW SOLUTION FOUND: 1488 @ 11.592
c NEW SOLUTION FOUND: 1487 @ 11.613
c NEW SOLUTION FOUND: 1486 @ 11.634
c NEW SOLUTION FOUND: 1485 @ 11.656
c NEW SOLUTION FOUND: 1484 @ 11.677
c NEW SOLUTION FOUND: 1483 @ 11.698
c NEW SOLUTION FOUND: 1482 @ 11.719
c NEW SOLUTION FOUND: 1481 @ 11.74
c NEW SOLUTION FOUND: 1480 @ 11.761
c NEW SOLUTION FOUND: 1479 @ 11.783
c NEW SOLUTION FOUND: 1478 @ 11.804
c NEW SOLUTION FOUND: 1477 @ 11.825
c NEW SOLUTION FOUND: 1476 @ 11.846
c NEW SOLUTION FOUND: 1475 @ 11.867
c NEW SOLUTION FOUND: 1474 @ 11.888
c NEW SOLUTION FOUND: 1473 @ 11.91
c NEW SOLUTION FOUND: 1472 @ 11.931
c NEW SOLUTION FOUND: 1471 @ 11.952
c NEW SOLUTION FOUND: 1470 @ 11.973
c NEW SOLUTION FOUND: 1469 @ 11.994
c NEW SOLUTION FOUND: 1468 @ 12.015
c NEW SOLUTION FOUND: 1467 @ 12.037
c NEW SOLUTION FOUND: 1466 @ 12.058
c NEW SOLUTION FOUND: 1465 @ 12.079
c NEW SOLUTION FOUND: 1464 @ 12.1
c NEW SOLUTION FOUND: 1463 @ 12.121
c NEW SOLUTION FOUND: 1462 @ 12.142
c NEW SOLUTION FOUND: 1461 @ 12.163
c NEW SOLUTION FOUND: 1460 @ 12.184
c NEW SOLUTION FOUND: 1459 @ 12.205
c NEW SOLUTION FOUND: 1458 @ 12.226
c NEW SOLUTION FOUND: 1457 @ 12.248
c NEW SOLUTION FOUND: 1456 @ 12.268
c NEW SOLUTION FOUND: 1455 @ 12.29
c NEW SOLUTION FOUND: 1454 @ 12.31
c NEW SOLUTION FOUND: 1453 @ 12.332
c NEW SOLUTION FOUND: 1452 @ 12.353
c NEW SOLUTION FOUND: 1451 @ 12.374
c NEW SOLUTION FOUND: 1450 @ 12.395
c NEW SOLUTION FOUND: 1449 @ 12.416
c NEW SOLUTION FOUND: 1448 @ 12.437
c NEW SOLUTION FOUND: 1447 @ 12.458
c NEW SOLUTION FOUND: 1446 @ 12.479
c NEW SOLUTION FOUND: 1445 @ 12.5
c NEW SOLUTION FOUND: 1444 @ 12.521
c NEW SOLUTION FOUND: 1443 @ 12.542
c NEW SOLUTION FOUND: 1442 @ 12.563
c NEW SOLUTION FOUND: 1441 @ 12.584
c NEW SOLUTION FOUND: 1440 @ 12.605
c NEW SOLUTION FOUND: 1439 @ 12.626
c NEW SOLUTION FOUND: 1438 @ 12.647
c NEW SOLUTION FOUND: 1437 @ 12.668
c NEW SOLUTION FOUND: 1436 @ 12.689
c NEW SOLUTION FOUND: 1435 @ 12.71
c NEW SOLUTION FOUND: 1434 @ 12.731
c NEW SOLUTION FOUND: 1433 @ 12.752
c NEW SOLUTION FOUND: 1432 @ 12.773
c NEW SOLUTION FOUND: 1431 @ 12.794
c NEW SOLUTION FOUND: 1430 @ 12.815
c NEW SOLUTION FOUND: 1429 @ 12.836
c NEW SOLUTION FOUND: 1428 @ 12.857
c NEW SOLUTION FOUND: 1427 @ 12.878
c NEW SOLUTION FOUND: 1426 @ 12.898
c NEW SOLUTION FOUND: 1425 @ 12.919
c NEW SOLUTION FOUND: 1424 @ 12.94
c NEW SOLUTION FOUND: 1423 @ 12.961
c NEW SOLUTION FOUND: 1422 @ 12.982
c NEW SOLUTION FOUND: 1421 @ 13.003
c NEW SOLUTION FOUND: 1420 @ 13.024
c NEW SOLUTION FOUND: 1419 @ 13.045
c NEW SOLUTION FOUND: 1418 @ 13.066
c NEW SOLUTION FOUND: 1417 @ 13.087
c NEW SOLUTION FOUND: 1416 @ 13.107
c NEW SOLUTION FOUND: 1415 @ 13.129
c NEW SOLUTION FOUND: 1414 @ 13.149
c NEW SOLUTION FOUND: 1413 @ 13.17
c NEW SOLUTION FOUND: 1412 @ 13.191
c NEW SOLUTION FOUND: 1411 @ 13.212
c NEW SOLUTION FOUND: 1410 @ 13.234
c NEW SOLUTION FOUND: 1409 @ 13.255
c NEW SOLUTION FOUND: 1408 @ 13.276
c NEW SOLUTION FOUND: 1407 @ 13.297
c NEW SOLUTION FOUND: 1406 @ 13.318
c NEW SOLUTION FOUND: 1405 @ 13.339
c NEW SOLUTION FOUND: 1404 @ 13.359
c NEW SOLUTION FOUND: 1403 @ 13.38
c NEW SOLUTION FOUND: 1402 @ 13.4
c NEW SOLUTION FOUND: 1401 @ 13.422
c NEW SOLUTION FOUND: 1400 @ 13.443
c NEW SOLUTION FOUND: 1399 @ 13.465
c NEW SOLUTION FOUND: 1398 @ 13.486
c NEW SOLUTION FOUND: 1397 @ 13.507
c NEW SOLUTION FOUND: 1396 @ 13.528
c NEW SOLUTION FOUND: 1395 @ 13.549
c NEW SOLUTION FOUND: 1394 @ 13.57
c NEW SOLUTION FOUND: 1393 @ 13.592
c NEW SOLUTION FOUND: 1392 @ 13.613
c NEW SOLUTION FOUND: 1391 @ 13.634
c NEW SOLUTION FOUND: 1390 @ 13.655
c NEW SOLUTION FOUND: 1389 @ 13.676
c NEW SOLUTION FOUND: 1388 @ 13.697
c NEW SOLUTION FOUND: 1387 @ 13.718
c NEW SOLUTION FOUND: 1386 @ 13.74
c NEW SOLUTION FOUND: 1385 @ 13.761
c NEW SOLUTION FOUND: 1384 @ 13.782
c NEW SOLUTION FOUND: 1383 @ 13.803
c NEW SOLUTION FOUND: 1382 @ 13.824
c NEW SOLUTION FOUND: 1381 @ 13.845
c NEW SOLUTION FOUND: 1380 @ 13.866
c NEW SOLUTION FOUND: 1379 @ 13.887
c NEW SOLUTION FOUND: 1378 @ 13.908
c NEW SOLUTION FOUND: 1377 @ 13.93
c NEW SOLUTION FOUND: 1376 @ 13.951
c NEW SOLUTION FOUND: 1375 @ 13.972
c NEW SOLUTION FOUND: 1374 @ 13.993
c NEW SOLUTION FOUND: 1373 @ 14.014
c NEW SOLUTION FOUND: 1372 @ 14.035
c NEW SOLUTION FOUND: 1371 @ 14.056
c NEW SOLUTION FOUND: 1370 @ 14.077
c NEW SOLUTION FOUND: 1369 @ 14.098
c NEW SOLUTION FOUND: 1368 @ 14.119
c NEW SOLUTION FOUND: 1367 @ 14.14
c NEW SOLUTION FOUND: 1366 @ 14.161
c NEW SOLUTION FOUND: 1365 @ 14.182
c NEW SOLUTION FOUND: 1364 @ 14.203
c NEW SOLUTION FOUND: 1363 @ 14.224
c NEW SOLUTION FOUND: 1362 @ 14.245
c NEW SOLUTION FOUND: 1361 @ 14.267
c NEW SOLUTION FOUND: 1360 @ 14.287
c NEW SOLUTION FOUND: 1359 @ 14.308
c NEW SOLUTION FOUND: 1358 @ 14.329
c NEW SOLUTION FOUND: 1357 @ 14.351
c NEW SOLUTION FOUND: 1356 @ 14.371
c NEW SOLUTION FOUND: 1355 @ 14.393
c NEW SOLUTION FOUND: 1354 @ 14.413
c NEW SOLUTION FOUND: 1353 @ 14.434
c NEW SOLUTION FOUND: 1352 @ 14.455
c NEW SOLUTION FOUND: 1351 @ 14.476
c NEW SOLUTION FOUND: 1350 @ 14.497
c NEW SOLUTION FOUND: 1349 @ 14.518
c NEW SOLUTION FOUND: 1348 @ 14.539
c NEW SOLUTION FOUND: 1347 @ 14.56
c NEW SOLUTION FOUND: 1346 @ 14.581
c NEW SOLUTION FOUND: 1345 @ 14.602
c NEW SOLUTION FOUND: 1344 @ 14.623
c NEW SOLUTION FOUND: 1343 @ 14.644
c NEW SOLUTION FOUND: 1342 @ 14.665
c NEW SOLUTION FOUND: 1341 @ 14.686
c NEW SOLUTION FOUND: 1340 @ 14.707
c NEW SOLUTION FOUND: 1339 @ 14.728
c NEW SOLUTION FOUND: 1338 @ 14.748
c NEW SOLUTION FOUND: 1337 @ 14.769
c NEW SOLUTION FOUND: 1336 @ 14.79
c NEW SOLUTION FOUND: 1335 @ 14.811
c NEW SOLUTION FOUND: 1334 @ 14.832
c NEW SOLUTION FOUND: 1333 @ 14.853
c NEW SOLUTION FOUND: 1332 @ 14.874
c NEW SOLUTION FOUND: 1331 @ 14.895
c NEW SOLUTION FOUND: 1330 @ 14.916
c NEW SOLUTION FOUND: 1329 @ 14.936
c NEW SOLUTION FOUND: 1328 @ 14.957
c NEW SOLUTION FOUND: 1327 @ 14.978
c NEW SOLUTION FOUND: 1326 @ 14.999
c NEW SOLUTION FOUND: 1325 @ 15.02
c NEW SOLUTION FOUND: 1324 @ 15.041
c NEW SOLUTION FOUND: 1323 @ 15.062
c NEW SOLUTION FOUND: 1322 @ 15.083
c NEW SOLUTION FOUND: 1321 @ 15.103
c NEW SOLUTION FOUND: 1320 @ 15.124
c NEW SOLUTION FOUND: 1319 @ 15.145
c NEW SOLUTION FOUND: 1318 @ 15.166
c NEW SOLUTION FOUND: 1317 @ 15.187
c NEW SOLUTION FOUND: 1316 @ 15.208
c NEW SOLUTION FOUND: 1315 @ 15.228
c NEW SOLUTION FOUND: 1314 @ 15.249
c NEW SOLUTION FOUND: 1313 @ 15.27
c NEW SOLUTION FOUND: 1312 @ 15.291
c NEW SOLUTION FOUND: 1311 @ 15.312
c NEW SOLUTION FOUND: 1310 @ 15.332
c NEW SOLUTION FOUND: 1309 @ 15.353
c NEW SOLUTION FOUND: 1308 @ 15.374
c NEW SOLUTION FOUND: 1307 @ 15.395
c NEW SOLUTION FOUND: 1306 @ 15.416
c NEW SOLUTION FOUND: 1305 @ 15.436
c NEW SOLUTION FOUND: 1304 @ 15.457
c NEW SOLUTION FOUND: 1303 @ 15.478
c NEW SOLUTION FOUND: 1302 @ 15.499
c NEW SOLUTION FOUND: 1301 @ 15.52
c NEW SOLUTION FOUND: 1300 @ 15.54
c NEW SOLUTION FOUND: 1299 @ 15.561
c NEW SOLUTION FOUND: 1298 @ 15.582
c NEW SOLUTION FOUND: 1297 @ 15.603
c NEW SOLUTION FOUND: 1296 @ 15.624
c NEW SOLUTION FOUND: 1295 @ 15.644
c NEW SOLUTION FOUND: 1294 @ 15.665
c NEW SOLUTION FOUND: 1293 @ 15.686
c NEW SOLUTION FOUND: 1292 @ 15.706
c NEW SOLUTION FOUND: 1291 @ 15.727
c NEW SOLUTION FOUND: 1290 @ 15.748
c NEW SOLUTION FOUND: 1289 @ 15.769
c NEW SOLUTION FOUND: 1288 @ 15.789
c NEW SOLUTION FOUND: 1287 @ 15.81
c NEW SOLUTION FOUND: 1286 @ 15.831
c NEW SOLUTION FOUND: 1285 @ 15.852
c NEW SOLUTION FOUND: 1284 @ 15.872
c NEW SOLUTION FOUND: 1283 @ 15.893
c NEW SOLUTION FOUND: 1282 @ 15.914
c NEW SOLUTION FOUND: 1281 @ 15.935
c NEW SOLUTION FOUND: 1280 @ 15.955
c NEW SOLUTION FOUND: 1279 @ 15.976
c NEW SOLUTION FOUND: 1278 @ 15.996
c NEW SOLUTION FOUND: 1277 @ 16.017
c NEW SOLUTION FOUND: 1276 @ 16.037
c NEW SOLUTION FOUND: 1275 @ 16.057
c NEW SOLUTION FOUND: 1274 @ 16.078
c NEW SOLUTION FOUND: 1273 @ 16.098
c NEW SOLUTION FOUND: 1272 @ 16.119
c NEW SOLUTION FOUND: 1271 @ 16.139
c NEW SOLUTION FOUND: 1270 @ 16.16
c NEW SOLUTION FOUND: 1269 @ 16.18
c NEW SOLUTION FOUND: 1268 @ 16.201
c NEW SOLUTION FOUND: 1267 @ 16.221
c NEW SOLUTION FOUND: 1266 @ 16.242
c NEW SOLUTION FOUND: 1265 @ 16.262
c NEW SOLUTION FOUND: 1264 @ 16.282
c NEW SOLUTION FOUND: 1263 @ 16.303
c NEW SOLUTION FOUND: 1262 @ 16.323
c NEW SOLUTION FOUND: 1261 @ 16.344
c NEW SOLUTION FOUND: 1260 @ 16.364
c NEW SOLUTION FOUND: 1259 @ 16.384
c NEW SOLUTION FOUND: 1258 @ 16.405
c NEW SOLUTION FOUND: 1257 @ 16.425
c NEW SOLUTION FOUND: 1256 @ 16.445
c NEW SOLUTION FOUND: 1255 @ 16.466
c NEW SOLUTION FOUND: 1254 @ 16.486
c NEW SOLUTION FOUND: 1253 @ 16.506
c NEW SOLUTION FOUND: 1252 @ 16.527
c NEW SOLUTION FOUND: 1251 @ 16.548
c NEW SOLUTION FOUND: 1250 @ 16.568
c NEW SOLUTION FOUND: 1249 @ 16.588
c NEW SOLUTION FOUND: 1248 @ 16.609
c NEW SOLUTION FOUND: 1247 @ 16.629
c NEW SOLUTION FOUND: 1246 @ 16.649
c NEW SOLUTION FOUND: 1245 @ 16.67
c NEW SOLUTION FOUND: 1244 @ 16.69
c NEW SOLUTION FOUND: 1243 @ 16.71
c NEW SOLUTION FOUND: 1242 @ 16.731
c NEW SOLUTION FOUND: 1241 @ 16.751
c NEW SOLUTION FOUND: 1240 @ 16.771
c NEW SOLUTION FOUND: 1239 @ 16.791
c NEW SOLUTION FOUND: 1238 @ 16.812
c NEW SOLUTION FOUND: 1237 @ 16.832
c NEW SOLUTION FOUND: 1236 @ 16.852
c NEW SOLUTION FOUND: 1235 @ 16.873
c NEW SOLUTION FOUND: 1234 @ 16.893
c NEW SOLUTION FOUND: 1233 @ 16.913
c NEW SOLUTION FOUND: 1232 @ 16.933
c NEW SOLUTION FOUND: 1231 @ 16.954
c NEW SOLUTION FOUND: 1230 @ 16.974
c NEW SOLUTION FOUND: 1229 @ 16.995
c NEW SOLUTION FOUND: 1228 @ 17.015
c NEW SOLUTION FOUND: 1227 @ 17.035
c NEW SOLUTION FOUND: 1226 @ 17.055
c NEW SOLUTION FOUND: 1225 @ 17.076
c NEW SOLUTION FOUND: 1224 @ 17.096
c NEW SOLUTION FOUND: 1223 @ 17.116
c NEW SOLUTION FOUND: 1222 @ 17.136
c NEW SOLUTION FOUND: 1221 @ 17.156
c NEW SOLUTION FOUND: 1220 @ 17.177
c NEW SOLUTION FOUND: 1219 @ 17.197
c NEW SOLUTION FOUND: 1218 @ 17.217
c NEW SOLUTION FOUND: 1217 @ 17.237
c NEW SOLUTION FOUND: 1216 @ 17.257
c NEW SOLUTION FOUND: 1215 @ 17.278
c NEW SOLUTION FOUND: 1214 @ 17.298
c NEW SOLUTION FOUND: 1213 @ 17.318
c NEW SOLUTION FOUND: 1212 @ 17.338
c NEW SOLUTION FOUND: 1211 @ 17.358
c NEW SOLUTION FOUND: 1210 @ 17.378
c NEW SOLUTION FOUND: 1209 @ 17.399
c NEW SOLUTION FOUND: 1208 @ 17.419
c NEW SOLUTION FOUND: 1207 @ 17.439
c NEW SOLUTION FOUND: 1206 @ 17.459
c NEW SOLUTION FOUND: 1205 @ 17.479
c NEW SOLUTION FOUND: 1204 @ 17.499
c NEW SOLUTION FOUND: 1203 @ 17.519
c NEW SOLUTION FOUND: 1202 @ 17.539
c NEW SOLUTION FOUND: 1201 @ 17.559
c NEW SOLUTION FOUND: 1200 @ 17.579
c NEW SOLUTION FOUND: 1199 @ 17.6
c NEW SOLUTION FOUND: 1198 @ 17.62
c NEW SOLUTION FOUND: 1197 @ 17.64
c NEW SOLUTION FOUND: 1196 @ 17.66
c NEW SOLUTION FOUND: 1195 @ 17.68
c NEW SOLUTION FOUND: 1194 @ 17.7
c NEW SOLUTION FOUND: 1193 @ 17.72
c NEW SOLUTION FOUND: 1192 @ 17.74
c NEW SOLUTION FOUND: 1191 @ 17.76
c NEW SOLUTION FOUND: 1190 @ 17.78
c NEW SOLUTION FOUND: 1189 @ 17.8
c NEW SOLUTION FOUND: 1188 @ 17.82
c NEW SOLUTION FOUND: 1187 @ 17.84
c NEW SOLUTION FOUND: 1186 @ 17.86
c NEW SOLUTION FOUND: 1185 @ 17.88
c NEW SOLUTION FOUND: 1184 @ 17.9
c NEW SOLUTION FOUND: 1183 @ 17.92
c NEW SOLUTION FOUND: 1182 @ 17.94
c NEW SOLUTION FOUND: 1181 @ 17.96
c NEW SOLUTION FOUND: 1180 @ 17.98
c NEW SOLUTION FOUND: 1179 @ 18
c NEW SOLUTION FOUND: 1178 @ 18.02
c NEW SOLUTION FOUND: 1177 @ 18.04
c NEW SOLUTION FOUND: 1176 @ 18.06
c NEW SOLUTION FOUND: 1175 @ 18.08
c NEW SOLUTION FOUND: 1174 @ 18.1
c NEW SOLUTION FOUND: 1173 @ 18.12
c NEW SOLUTION FOUND: 1172 @ 18.14
c NEW SOLUTION FOUND: 1171 @ 18.16
c NEW SOLUTION FOUND: 1170 @ 18.18
c NEW SOLUTION FOUND: 1169 @ 18.2
c NEW SOLUTION FOUND: 1168 @ 18.22
c NEW SOLUTION FOUND: 1167 @ 18.24
c NEW SOLUTION FOUND: 1166 @ 18.26
c NEW SOLUTION FOUND: 1165 @ 18.28
c NEW SOLUTION FOUND: 1164 @ 18.299
c NEW SOLUTION FOUND: 1163 @ 18.319
c NEW SOLUTION FOUND: 1162 @ 18.339
c NEW SOLUTION FOUND: 1161 @ 18.359
c NEW SOLUTION FOUND: 1160 @ 18.379
c NEW SOLUTION FOUND: 1159 @ 18.399
c NEW SOLUTION FOUND: 1158 @ 18.419
c NEW SOLUTION FOUND: 1157 @ 18.439
c NEW SOLUTION FOUND: 1156 @ 18.459
c NEW SOLUTION FOUND: 1155 @ 18.478
c NEW SOLUTION FOUND: 1154 @ 18.498
c NEW SOLUTION FOUND: 1153 @ 18.518
c NEW SOLUTION FOUND: 1152 @ 18.538
c NEW SOLUTION FOUND: 1151 @ 18.558
c NEW SOLUTION FOUND: 1150 @ 18.578
c NEW SOLUTION FOUND: 1149 @ 18.597
c NEW SOLUTION FOUND: 1148 @ 18.617
c NEW SOLUTION FOUND: 1147 @ 18.637
c NEW SOLUTION FOUND: 1146 @ 18.657
c NEW SOLUTION FOUND: 1145 @ 18.677
c NEW SOLUTION FOUND: 1144 @ 18.697
c NEW SOLUTION FOUND: 1143 @ 18.716
c NEW SOLUTION FOUND: 1142 @ 18.736
c NEW SOLUTION FOUND: 1141 @ 18.756
c NEW SOLUTION FOUND: 1140 @ 18.776
c NEW SOLUTION FOUND: 1139 @ 18.796
c NEW SOLUTION FOUND: 1138 @ 18.815
c NEW SOLUTION FOUND: 1137 @ 18.835
c NEW SOLUTION FOUND: 1136 @ 18.855
c NEW SOLUTION FOUND: 1135 @ 18.875
c NEW SOLUTION FOUND: 1134 @ 18.894
c NEW SOLUTION FOUND: 1133 @ 18.914
c NEW SOLUTION FOUND: 1132 @ 18.934
c NEW SOLUTION FOUND: 1131 @ 18.953
c NEW SOLUTION FOUND: 1130 @ 18.973
c NEW SOLUTION FOUND: 1129 @ 18.993
c NEW SOLUTION FOUND: 1128 @ 19.013
c NEW SOLUTION FOUND: 1127 @ 19.032
c NEW SOLUTION FOUND: 1126 @ 19.052
c NEW SOLUTION FOUND: 1125 @ 19.072
c NEW SOLUTION FOUND: 1124 @ 19.091
c NEW SOLUTION FOUND: 1123 @ 19.111
c NEW SOLUTION FOUND: 1122 @ 19.131
c NEW SOLUTION FOUND: 1121 @ 19.15
c NEW SOLUTION FOUND: 1120 @ 19.17
c NEW SOLUTION FOUND: 1119 @ 19.19
c NEW SOLUTION FOUND: 1118 @ 19.209
c NEW SOLUTION FOUND: 1117 @ 19.229
c NEW SOLUTION FOUND: 1116 @ 19.249
c NEW SOLUTION FOUND: 1115 @ 19.268
c NEW SOLUTION FOUND: 1114 @ 19.288
c NEW SOLUTION FOUND: 1113 @ 19.308
c NEW SOLUTION FOUND: 1112 @ 19.327
c NEW SOLUTION FOUND: 1111 @ 19.347
c NEW SOLUTION FOUND: 1110 @ 19.367
c NEW SOLUTION FOUND: 1109 @ 19.386
c NEW SOLUTION FOUND: 1108 @ 19.406
c NEW SOLUTION FOUND: 1107 @ 19.426
c NEW SOLUTION FOUND: 1106 @ 19.445
c NEW SOLUTION FOUND: 1105 @ 19.465
c NEW SOLUTION FOUND: 1104 @ 19.484
c NEW SOLUTION FOUND: 1103 @ 19.504
c NEW SOLUTION FOUND: 1102 @ 19.524
c NEW SOLUTION FOUND: 1101 @ 19.543
c NEW SOLUTION FOUND: 1100 @ 19.563
c NEW SOLUTION FOUND: 1099 @ 19.582
c NEW SOLUTION FOUND: 1098 @ 19.602
c NEW SOLUTION FOUND: 1097 @ 19.622
c NEW SOLUTION FOUND: 1096 @ 19.641
c NEW SOLUTION FOUND: 1095 @ 19.661
c NEW SOLUTION FOUND: 1094 @ 19.68
c NEW SOLUTION FOUND: 1093 @ 19.7
c NEW SOLUTION FOUND: 1092 @ 19.72
c NEW SOLUTION FOUND: 1091 @ 19.739
c NEW SOLUTION FOUND: 1090 @ 19.759
c NEW SOLUTION FOUND: 1089 @ 19.778
c NEW SOLUTION FOUND: 1088 @ 19.798
c NEW SOLUTION FOUND: 1087 @ 19.817
c NEW SOLUTION FOUND: 1086 @ 19.837
c NEW SOLUTION FOUND: 1085 @ 19.856
c NEW SOLUTION FOUND: 1084 @ 19.876
c NEW SOLUTION FOUND: 1083 @ 19.895
c NEW SOLUTION FOUND: 1082 @ 19.915
c NEW SOLUTION FOUND: 1081 @ 19.935
c NEW SOLUTION FOUND: 1080 @ 19.954
c NEW SOLUTION FOUND: 1079 @ 19.974
c NEW SOLUTION FOUND: 1078 @ 19.993
c NEW SOLUTION FOUND: 1077 @ 20.013
c NEW SOLUTION FOUND: 1076 @ 20.032
c NEW SOLUTION FOUND: 1075 @ 20.052
c NEW SOLUTION FOUND: 1074 @ 20.071
c NEW SOLUTION FOUND: 1073 @ 20.09
c NEW SOLUTION FOUND: 1072 @ 20.109
c NEW SOLUTION FOUND: 1071 @ 20.129
c NEW SOLUTION FOUND: 1070 @ 20.148
c NEW SOLUTION FOUND: 1069 @ 20.167
c NEW SOLUTION FOUND: 1068 @ 20.187
c NEW SOLUTION FOUND: 1067 @ 20.206
c NEW SOLUTION FOUND: 1066 @ 20.226
c NEW SOLUTION FOUND: 1065 @ 20.245
c NEW SOLUTION FOUND: 1064 @ 20.264
c NEW SOLUTION FOUND: 1063 @ 20.284
c NEW SOLUTION FOUND: 1062 @ 20.303
c NEW SOLUTION FOUND: 1061 @ 20.323
c NEW SOLUTION FOUND: 1060 @ 20.342
c NEW SOLUTION FOUND: 1059 @ 20.361
c NEW SOLUTION FOUND: 1058 @ 20.381
c NEW SOLUTION FOUND: 1057 @ 20.4
c NEW SOLUTION FOUND: 1056 @ 20.42
c NEW SOLUTION FOUND: 1055 @ 20.439
c NEW SOLUTION FOUND: 1054 @ 20.458
c NEW SOLUTION FOUND: 1053 @ 20.478
c NEW SOLUTION FOUND: 1052 @ 20.497
c NEW SOLUTION FOUND: 1051 @ 20.516
c NEW SOLUTION FOUND: 1050 @ 20.536
c NEW SOLUTION FOUND: 1049 @ 20.555
c NEW SOLUTION FOUND: 1048 @ 20.574
c NEW SOLUTION FOUND: 1047 @ 20.594
c NEW SOLUTION FOUND: 1046 @ 20.613
c NEW SOLUTION FOUND: 1045 @ 20.632
c NEW SOLUTION FOUND: 1044 @ 20.652
c NEW SOLUTION FOUND: 1043 @ 20.671
c NEW SOLUTION FOUND: 1042 @ 20.69
c NEW SOLUTION FOUND: 1041 @ 20.71
c NEW SOLUTION FOUND: 1040 @ 20.729
c NEW SOLUTION FOUND: 1039 @ 20.748
c NEW SOLUTION FOUND: 1038 @ 20.767
c NEW SOLUTION FOUND: 1037 @ 20.787
c NEW SOLUTION FOUND: 1036 @ 20.806
c NEW SOLUTION FOUND: 1035 @ 20.825
c NEW SOLUTION FOUND: 1034 @ 20.844
c NEW SOLUTION FOUND: 1033 @ 20.864
c NEW SOLUTION FOUND: 1032 @ 20.883
c NEW SOLUTION FOUND: 1031 @ 20.902
c NEW SOLUTION FOUND: 1030 @ 20.921
c NEW SOLUTION FOUND: 1029 @ 20.941
c NEW SOLUTION FOUND: 1028 @ 20.96
c NEW SOLUTION FOUND: 1027 @ 20.979
c NEW SOLUTION FOUND: 1026 @ 20.998
c NEW SOLUTION FOUND: 1025 @ 21.018
c NEW SOLUTION FOUND: 1024 @ 21.037
c NEW SOLUTION FOUND: 1023 @ 21.056
c NEW SOLUTION FOUND: 1022 @ 21.075
c NEW SOLUTION FOUND: 1021 @ 21.094
c NEW SOLUTION FOUND: 1020 @ 21.113
c NEW SOLUTION FOUND: 1019 @ 21.133
c NEW SOLUTION FOUND: 1018 @ 21.152
c NEW SOLUTION FOUND: 1017 @ 21.171
c NEW SOLUTION FOUND: 1016 @ 21.19
c NEW SOLUTION FOUND: 1015 @ 21.209
c NEW SOLUTION FOUND: 1014 @ 21.228
c NEW SOLUTION FOUND: 1013 @ 21.248
c NEW SOLUTION FOUND: 1012 @ 21.267
c NEW SOLUTION FOUND: 1011 @ 21.286
c NEW SOLUTION FOUND: 1010 @ 21.305
c NEW SOLUTION FOUND: 1009 @ 21.324
c NEW SOLUTION FOUND: 1008 @ 21.343
c NEW SOLUTION FOUND: 1007 @ 21.362
c NEW SOLUTION FOUND: 1006 @ 21.381
c NEW SOLUTION FOUND: 1005 @ 21.4
c NEW SOLUTION FOUND: 1004 @ 21.419
c NEW SOLUTION FOUND: 1003 @ 21.439
c NEW SOLUTION FOUND: 1002 @ 21.458
c NEW SOLUTION FOUND: 1001 @ 21.477
c NEW SOLUTION FOUND: 1000 @ 21.496
c NEW SOLUTION FOUND: 999 @ 21.515
c NEW SOLUTION FOUND: 998 @ 21.534
c NEW SOLUTION FOUND: 997 @ 21.553
c NEW SOLUTION FOUND: 996 @ 21.572
c NEW SOLUTION FOUND: 995 @ 21.591
c NEW SOLUTION FOUND: 994 @ 21.611
c NEW SOLUTION FOUND: 993 @ 21.63
c NEW SOLUTION FOUND: 992 @ 21.649
c NEW SOLUTION FOUND: 991 @ 21.668
c NEW SOLUTION FOUND: 990 @ 21.687
c NEW SOLUTION FOUND: 989 @ 21.706
c NEW SOLUTION FOUND: 988 @ 21.725
c NEW SOLUTION FOUND: 987 @ 21.744
c NEW SOLUTION FOUND: 986 @ 21.763
c NEW SOLUTION FOUND: 985 @ 21.782
c NEW SOLUTION FOUND: 984 @ 21.801
c NEW SOLUTION FOUND: 983 @ 21.82
c NEW SOLUTION FOUND: 982 @ 21.839
c NEW SOLUTION FOUND: 981 @ 21.858
c NEW SOLUTION FOUND: 980 @ 21.876
c NEW SOLUTION FOUND: 979 @ 21.896
c NEW SOLUTION FOUND: 978 @ 21.914
c NEW SOLUTION FOUND: 977 @ 21.933
c NEW SOLUTION FOUND: 976 @ 21.952
c NEW SOLUTION FOUND: 975 @ 21.971
c NEW SOLUTION FOUND: 974 @ 21.991
c NEW SOLUTION FOUND: 973 @ 22.01
c NEW SOLUTION FOUND: 972 @ 22.029
c NEW SOLUTION FOUND: 971 @ 22.048
c NEW SOLUTION FOUND: 970 @ 22.067
c NEW SOLUTION FOUND: 969 @ 22.086
c NEW SOLUTION FOUND: 968 @ 22.105
c NEW SOLUTION FOUND: 967 @ 22.124
c NEW SOLUTION FOUND: 966 @ 22.143
c NEW SOLUTION FOUND: 965 @ 22.162
c NEW SOLUTION FOUND: 964 @ 22.18
c NEW SOLUTION FOUND: 963 @ 22.202
c NEW SOLUTION FOUND: 962 @ 22.225
c NEW SOLUTION FOUND: 961 @ 22.246
c NEW SOLUTION FOUND: 960 @ 22.268
c NEW SOLUTION FOUND: 959 @ 22.29
c NEW SOLUTION FOUND: 958 @ 22.312
c NEW SOLUTION FOUND: 957 @ 22.334
c NEW SOLUTION FOUND: 956 @ 22.356
c NEW SOLUTION FOUND: 955 @ 22.378
c NEW SOLUTION FOUND: 954 @ 22.4
c NEW SOLUTION FOUND: 953 @ 22.422
c NEW SOLUTION FOUND: 952 @ 22.444
c NEW SOLUTION FOUND: 951 @ 22.465
c NEW SOLUTION FOUND: 950 @ 22.487
c NEW SOLUTION FOUND: 949 @ 22.509
c NEW SOLUTION FOUND: 948 @ 22.531
c NEW SOLUTION FOUND: 947 @ 22.553
c NEW SOLUTION FOUND: 946 @ 22.574
c NEW SOLUTION FOUND: 945 @ 22.596
c NEW SOLUTION FOUND: 944 @ 22.618
c NEW SOLUTION FOUND: 943 @ 22.639
c NEW SOLUTION FOUND: 942 @ 22.661
c NEW SOLUTION FOUND: 941 @ 22.682
c NEW SOLUTION FOUND: 940 @ 22.704
c NEW SOLUTION FOUND: 939 @ 22.725
c NEW SOLUTION FOUND: 938 @ 22.747
c NEW SOLUTION FOUND: 937 @ 22.768
c NEW SOLUTION FOUND: 936 @ 22.79
c NEW SOLUTION FOUND: 935 @ 22.811
c NEW SOLUTION FOUND: 934 @ 22.833
c NEW SOLUTION FOUND: 933 @ 22.854
c NEW SOLUTION FOUND: 932 @ 22.875
c NEW SOLUTION FOUND: 931 @ 22.897
c NEW SOLUTION FOUND: 930 @ 22.918
c NEW SOLUTION FOUND: 929 @ 22.94
c NEW SOLUTION FOUND: 928 @ 22.961
c NEW SOLUTION FOUND: 927 @ 22.983
c NEW SOLUTION FOUND: 926 @ 23.004
c NEW SOLUTION FOUND: 925 @ 23.026
c NEW SOLUTION FOUND: 924 @ 23.047
c NEW SOLUTION FOUND: 923 @ 23.069
c NEW SOLUTION FOUND: 922 @ 23.09
c NEW SOLUTION FOUND: 921 @ 23.111
c NEW SOLUTION FOUND: 920 @ 23.133
c NEW SOLUTION FOUND: 919 @ 23.154
c NEW SOLUTION FOUND: 918 @ 23.176
c NEW SOLUTION FOUND: 917 @ 23.197
c NEW SOLUTION FOUND: 916 @ 23.219
c NEW SOLUTION FOUND: 915 @ 23.24
c NEW SOLUTION FOUND: 914 @ 23.261
c NEW SOLUTION FOUND: 913 @ 23.283
c NEW SOLUTION FOUND: 912 @ 23.304
c NEW SOLUTION FOUND: 911 @ 23.326
c NEW SOLUTION FOUND: 910 @ 23.347
c NEW SOLUTION FOUND: 909 @ 23.368
c NEW SOLUTION FOUND: 908 @ 23.39
c NEW SOLUTION FOUND: 907 @ 23.411
c NEW SOLUTION FOUND: 906 @ 23.433
c NEW SOLUTION FOUND: 905 @ 23.454
c NEW SOLUTION FOUND: 904 @ 23.475
c NEW SOLUTION FOUND: 903 @ 23.497
c NEW SOLUTION FOUND: 902 @ 23.518
c NEW SOLUTION FOUND: 901 @ 23.54
c NEW SOLUTION FOUND: 900 @ 23.561
c NEW SOLUTION FOUND: 899 @ 23.582
c NEW SOLUTION FOUND: 898 @ 23.604
c NEW SOLUTION FOUND: 897 @ 23.625
c NEW SOLUTION FOUND: 896 @ 23.646
c NEW SOLUTION FOUND: 895 @ 23.668
c NEW SOLUTION FOUND: 894 @ 23.689
c NEW SOLUTION FOUND: 893 @ 23.711
c NEW SOLUTION FOUND: 892 @ 23.732
c NEW SOLUTION FOUND: 891 @ 23.754
c NEW SOLUTION FOUND: 890 @ 23.775
c NEW SOLUTION FOUND: 889 @ 23.796
c NEW SOLUTION FOUND: 888 @ 23.818
c NEW SOLUTION FOUND: 887 @ 23.839
c NEW SOLUTION FOUND: 886 @ 23.86
c NEW SOLUTION FOUND: 885 @ 23.882
c NEW SOLUTION FOUND: 884 @ 23.903
c NEW SOLUTION FOUND: 883 @ 23.924
c NEW SOLUTION FOUND: 882 @ 23.946
c NEW SOLUTION FOUND: 881 @ 23.967
c NEW SOLUTION FOUND: 880 @ 23.988
c NEW SOLUTION FOUND: 879 @ 24.009
c NEW SOLUTION FOUND: 878 @ 24.031
c NEW SOLUTION FOUND: 877 @ 24.052
c NEW SOLUTION FOUND: 876 @ 24.073
c NEW SOLUTION FOUND: 875 @ 24.095
c NEW SOLUTION FOUND: 874 @ 24.116
c NEW SOLUTION FOUND: 873 @ 24.137
c NEW SOLUTION FOUND: 872 @ 24.158
c NEW SOLUTION FOUND: 871 @ 24.18
c NEW SOLUTION FOUND: 870 @ 24.201
c NEW SOLUTION FOUND: 869 @ 24.222
c NEW SOLUTION FOUND: 868 @ 24.244
c NEW SOLUTION FOUND: 867 @ 24.265
c NEW SOLUTION FOUND: 866 @ 24.286
c NEW SOLUTION FOUND: 865 @ 24.307
c NEW SOLUTION FOUND: 864 @ 24.329
c NEW SOLUTION FOUND: 863 @ 24.35
c NEW SOLUTION FOUND: 862 @ 24.371
c NEW SOLUTION FOUND: 861 @ 24.393
c NEW SOLUTION FOUND: 860 @ 24.414
c NEW SOLUTION FOUND: 859 @ 24.435
c NEW SOLUTION FOUND: 858 @ 24.456
c NEW SOLUTION FOUND: 857 @ 24.478
c NEW SOLUTION FOUND: 856 @ 24.499
c NEW SOLUTION FOUND: 855 @ 24.52
c NEW SOLUTION FOUND: 854 @ 24.541
c NEW SOLUTION FOUND: 853 @ 24.563
c NEW SOLUTION FOUND: 852 @ 24.584
c NEW SOLUTION FOUND: 851 @ 24.605
c NEW SOLUTION FOUND: 850 @ 24.626
c NEW SOLUTION FOUND: 849 @ 24.647
c NEW SOLUTION FOUND: 848 @ 24.669
c NEW SOLUTION FOUND: 847 @ 24.69
c NEW SOLUTION FOUND: 846 @ 24.711
c NEW SOLUTION FOUND: 845 @ 24.732
c NEW SOLUTION FOUND: 844 @ 24.753
c NEW SOLUTION FOUND: 843 @ 24.775
c NEW SOLUTION FOUND: 842 @ 24.796
c NEW SOLUTION FOUND: 841 @ 24.817
c NEW SOLUTION FOUND: 840 @ 24.838
c NEW SOLUTION FOUND: 839 @ 24.859
c NEW SOLUTION FOUND: 838 @ 24.88
c NEW SOLUTION FOUND: 837 @ 24.902
c NEW SOLUTION FOUND: 836 @ 24.923
c NEW SOLUTION FOUND: 835 @ 24.944
c NEW SOLUTION FOUND: 834 @ 24.965
c NEW SOLUTION FOUND: 833 @ 24.986
c NEW SOLUTION FOUND: 832 @ 25.007
c NEW SOLUTION FOUND: 831 @ 25.028
c NEW SOLUTION FOUND: 830 @ 25.05
c NEW SOLUTION FOUND: 829 @ 25.071
c NEW SOLUTION FOUND: 828 @ 25.092
c NEW SOLUTION FOUND: 827 @ 25.113
c NEW SOLUTION FOUND: 826 @ 25.134
c NEW SOLUTION FOUND: 825 @ 25.156
c NEW SOLUTION FOUND: 824 @ 25.177
c NEW SOLUTION FOUND: 823 @ 25.198
c NEW SOLUTION FOUND: 822 @ 25.219
c NEW SOLUTION FOUND: 821 @ 25.241
c NEW SOLUTION FOUND: 820 @ 25.262
c NEW SOLUTION FOUND: 819 @ 25.283
c NEW SOLUTION FOUND: 818 @ 25.304
c NEW SOLUTION FOUND: 817 @ 25.325
c NEW SOLUTION FOUND: 816 @ 25.346
c NEW SOLUTION FOUND: 815 @ 25.367
c NEW SOLUTION FOUND: 814 @ 25.39
c NEW SOLUTION FOUND: 813 @ 25.411
c NEW SOLUTION FOUND: 812 @ 25.452
c NEW SOLUTION FOUND: 811 @ 25.473
c NEW SOLUTION FOUND: 810 @ 25.495
c NEW SOLUTION FOUND: 809 @ 25.516
c NEW SOLUTION FOUND: 808 @ 25.537
c NEW SOLUTION FOUND: 807 @ 25.558
c NEW SOLUTION FOUND: 806 @ 25.58
c NEW SOLUTION FOUND: 805 @ 25.601
c NEW SOLUTION FOUND: 804 @ 25.622
c NEW SOLUTION FOUND: 803 @ 25.644
c NEW SOLUTION FOUND: 802 @ 25.665
c NEW SOLUTION FOUND: 801 @ 25.686
c NEW SOLUTION FOUND: 800 @ 25.708
c NEW SOLUTION FOUND: 799 @ 25.729
c NEW SOLUTION FOUND: 798 @ 25.75
c NEW SOLUTION FOUND: 797 @ 25.772
c NEW SOLUTION FOUND: 796 @ 25.793
c NEW SOLUTION FOUND: 795 @ 25.814
c NEW SOLUTION FOUND: 794 @ 25.835
c NEW SOLUTION FOUND: 793 @ 25.856
c NEW SOLUTION FOUND: 792 @ 25.878
c NEW SOLUTION FOUND: 791 @ 25.899
c NEW SOLUTION FOUND: 790 @ 25.92
c NEW SOLUTION FOUND: 789 @ 25.941
c NEW SOLUTION FOUND: 788 @ 25.963
c NEW SOLUTION FOUND: 787 @ 25.984
c NEW SOLUTION FOUND: 786 @ 26.005
c NEW SOLUTION FOUND: 785 @ 26.026
c NEW SOLUTION FOUND: 784 @ 26.047
c NEW SOLUTION FOUND: 783 @ 26.068
c NEW SOLUTION FOUND: 782 @ 26.09
c NEW SOLUTION FOUND: 781 @ 26.111
c NEW SOLUTION FOUND: 780 @ 26.132
c NEW SOLUTION FOUND: 779 @ 26.153
c NEW SOLUTION FOUND: 778 @ 26.174
c NEW SOLUTION FOUND: 777 @ 26.196
c NEW SOLUTION FOUND: 776 @ 26.217
c NEW SOLUTION FOUND: 775 @ 26.238
c NEW SOLUTION FOUND: 774 @ 26.259
c NEW SOLUTION FOUND: 773 @ 26.28
c NEW SOLUTION FOUND: 772 @ 26.301
c NEW SOLUTION FOUND: 771 @ 26.322
c NEW SOLUTION FOUND: 770 @ 26.343
c NEW SOLUTION FOUND: 769 @ 26.365
c NEW SOLUTION FOUND: 768 @ 26.386
c NEW SOLUTION FOUND: 767 @ 26.407
c NEW SOLUTION FOUND: 766 @ 26.428
c NEW SOLUTION FOUND: 765 @ 26.45
c NEW SOLUTION FOUND: 764 @ 26.471
c NEW SOLUTION FOUND: 763 @ 26.493
c NEW SOLUTION FOUND: 762 @ 26.516
c NEW SOLUTION FOUND: 761 @ 26.537
c NEW SOLUTION FOUND: 760 @ 26.559
c NEW SOLUTION FOUND: 759 @ 26.581
c NEW SOLUTION FOUND: 758 @ 26.603
c NEW SOLUTION FOUND: 757 @ 26.625
c NEW SOLUTION FOUND: 756 @ 26.647
c NEW SOLUTION FOUND: 755 @ 26.669
c NEW SOLUTION FOUND: 754 @ 26.691
c NEW SOLUTION FOUND: 753 @ 26.713
c NEW SOLUTION FOUND: 752 @ 26.735
c NEW SOLUTION FOUND: 751 @ 26.757
c NEW SOLUTION FOUND: 750 @ 26.779
c NEW SOLUTION FOUND: 749 @ 26.8
c NEW SOLUTION FOUND: 748 @ 26.822
c NEW SOLUTION FOUND: 747 @ 26.844
c NEW SOLUTION FOUND: 746 @ 26.865
c NEW SOLUTION FOUND: 745 @ 26.887
c NEW SOLUTION FOUND: 744 @ 26.909
c NEW SOLUTION FOUND: 743 @ 26.931
c NEW SOLUTION FOUND: 742 @ 26.953
c NEW SOLUTION FOUND: 741 @ 26.975
c NEW SOLUTION FOUND: 740 @ 26.997
c NEW SOLUTION FOUND: 739 @ 27.019
c NEW SOLUTION FOUND: 738 @ 27.041
c NEW SOLUTION FOUND: 737 @ 27.062
c NEW SOLUTION FOUND: 736 @ 27.084
c NEW SOLUTION FOUND: 735 @ 27.106
c NEW SOLUTION FOUND: 734 @ 27.128
c NEW SOLUTION FOUND: 733 @ 27.15
c NEW SOLUTION FOUND: 732 @ 27.172
c NEW SOLUTION FOUND: 731 @ 27.194
c NEW SOLUTION FOUND: 730 @ 27.215
c NEW SOLUTION FOUND: 729 @ 27.237
c NEW SOLUTION FOUND: 728 @ 27.259
c NEW SOLUTION FOUND: 727 @ 27.281
c NEW SOLUTION FOUND: 726 @ 27.302
c NEW SOLUTION FOUND: 725 @ 27.324
c NEW SOLUTION FOUND: 724 @ 27.346
c NEW SOLUTION FOUND: 723 @ 27.368
c NEW SOLUTION FOUND: 722 @ 27.389
c NEW SOLUTION FOUND: 721 @ 27.411
c NEW SOLUTION FOUND: 720 @ 27.433
c NEW SOLUTION FOUND: 719 @ 27.455
c NEW SOLUTION FOUND: 718 @ 27.476
c NEW SOLUTION FOUND: 717 @ 27.498
c NEW SOLUTION FOUND: 716 @ 27.52
c NEW SOLUTION FOUND: 715 @ 27.542
c NEW SOLUTION FOUND: 714 @ 27.563
c NEW SOLUTION FOUND: 713 @ 27.585
c NEW SOLUTION FOUND: 712 @ 27.607
c NEW SOLUTION FOUND: 711 @ 27.629
c NEW SOLUTION FOUND: 710 @ 27.65
c NEW SOLUTION FOUND: 709 @ 27.672
c NEW SOLUTION FOUND: 708 @ 27.694
c NEW SOLUTION FOUND: 707 @ 27.716
c NEW SOLUTION FOUND: 706 @ 27.738
c NEW SOLUTION FOUND: 705 @ 27.759
c NEW SOLUTION FOUND: 704 @ 27.781
c NEW SOLUTION FOUND: 703 @ 27.803
c NEW SOLUTION FOUND: 702 @ 27.824
c NEW SOLUTION FOUND: 701 @ 27.846
c NEW SOLUTION FOUND: 700 @ 27.868
c NEW SOLUTION FOUND: 699 @ 27.889
c NEW SOLUTION FOUND: 698 @ 27.911
c NEW SOLUTION FOUND: 697 @ 27.933
c NEW SOLUTION FOUND: 696 @ 27.954
c NEW SOLUTION FOUND: 695 @ 27.976
c NEW SOLUTION FOUND: 694 @ 27.997
c NEW SOLUTION FOUND: 693 @ 28.019
c NEW SOLUTION FOUND: 692 @ 28.041
c NEW SOLUTION FOUND: 691 @ 28.062
c NEW SOLUTION FOUND: 690 @ 28.084
c NEW SOLUTION FOUND: 689 @ 28.106
c NEW SOLUTION FOUND: 688 @ 28.127
c NEW SOLUTION FOUND: 687 @ 28.149
c NEW SOLUTION FOUND: 686 @ 28.17
c NEW SOLUTION FOUND: 685 @ 28.192
c NEW SOLUTION FOUND: 684 @ 28.214
c NEW SOLUTION FOUND: 683 @ 28.235
c NEW SOLUTION FOUND: 682 @ 28.257
c NEW SOLUTION FOUND: 681 @ 28.279
c NEW SOLUTION FOUND: 680 @ 28.301
c NEW SOLUTION FOUND: 679 @ 28.322
c NEW SOLUTION FOUND: 678 @ 28.344
c NEW SOLUTION FOUND: 677 @ 28.365
c NEW SOLUTION FOUND: 676 @ 28.387
c NEW SOLUTION FOUND: 675 @ 28.408
c NEW SOLUTION FOUND: 674 @ 28.43
c NEW SOLUTION FOUND: 673 @ 28.452
c NEW SOLUTION FOUND: 672 @ 28.473
c NEW SOLUTION FOUND: 671 @ 28.495
c NEW SOLUTION FOUND: 670 @ 28.516
c NEW SOLUTION FOUND: 669 @ 28.538
c NEW SOLUTION FOUND: 668 @ 28.559
c NEW SOLUTION FOUND: 667 @ 28.581
c NEW SOLUTION FOUND: 666 @ 28.602
c NEW SOLUTION FOUND: 665 @ 28.624
c NEW SOLUTION FOUND: 664 @ 28.645
c NEW SOLUTION FOUND: 663 @ 28.667
c NEW SOLUTION FOUND: 662 @ 28.688
c NEW SOLUTION FOUND: 661 @ 28.71
c NEW SOLUTION FOUND: 660 @ 28.731
c NEW SOLUTION FOUND: 659 @ 28.753
c NEW SOLUTION FOUND: 658 @ 28.774
c NEW SOLUTION FOUND: 657 @ 28.796
c NEW SOLUTION FOUND: 656 @ 28.817
c NEW SOLUTION FOUND: 655 @ 28.839
c NEW SOLUTION FOUND: 654 @ 28.86
c NEW SOLUTION FOUND: 653 @ 28.882
c NEW SOLUTION FOUND: 652 @ 28.903
c NEW SOLUTION FOUND: 651 @ 28.925
c NEW SOLUTION FOUND: 650 @ 28.946
c NEW SOLUTION FOUND: 649 @ 28.967
c NEW SOLUTION FOUND: 648 @ 28.989
c NEW SOLUTION FOUND: 647 @ 29.01
c NEW SOLUTION FOUND: 646 @ 29.032
c NEW SOLUTION FOUND: 645 @ 29.053
c NEW SOLUTION FOUND: 644 @ 29.075
c NEW SOLUTION FOUND: 643 @ 29.096
c NEW SOLUTION FOUND: 642 @ 29.117
c NEW SOLUTION FOUND: 641 @ 29.139
c NEW SOLUTION FOUND: 640 @ 29.16
c NEW SOLUTION FOUND: 639 @ 29.181
c NEW SOLUTION FOUND: 638 @ 29.203
c NEW SOLUTION FOUND: 637 @ 29.224
c NEW SOLUTION FOUND: 636 @ 29.246
c NEW SOLUTION FOUND: 635 @ 29.267
c NEW SOLUTION FOUND: 634 @ 29.288
c NEW SOLUTION FOUND: 633 @ 29.31
c NEW SOLUTION FOUND: 632 @ 29.331
c NEW SOLUTION FOUND: 631 @ 29.352
c NEW SOLUTION FOUND: 630 @ 29.374
c NEW SOLUTION FOUND: 629 @ 29.395
c NEW SOLUTION FOUND: 628 @ 29.417
c NEW SOLUTION FOUND: 627 @ 29.438
c NEW SOLUTION FOUND: 626 @ 29.459
c NEW SOLUTION FOUND: 625 @ 29.481
c NEW SOLUTION FOUND: 624 @ 29.502
c NEW SOLUTION FOUND: 623 @ 29.523
c NEW SOLUTION FOUND: 622 @ 29.545
c NEW SOLUTION FOUND: 621 @ 29.566
c NEW SOLUTION FOUND: 620 @ 29.587
c NEW SOLUTION FOUND: 619 @ 29.608
c NEW SOLUTION FOUND: 618 @ 29.63
c NEW SOLUTION FOUND: 617 @ 29.651
c NEW SOLUTION FOUND: 616 @ 29.672
c NEW SOLUTION FOUND: 615 @ 29.694
c NEW SOLUTION FOUND: 614 @ 29.715
c NEW SOLUTION FOUND: 613 @ 29.737
c NEW SOLUTION FOUND: 612 @ 29.758
c NEW SOLUTION FOUND: 611 @ 29.779
c NEW SOLUTION FOUND: 610 @ 29.801
c NEW SOLUTION FOUND: 609 @ 29.822
c NEW SOLUTION FOUND: 608 @ 29.843
c NEW SOLUTION FOUND: 607 @ 29.864
c NEW SOLUTION FOUND: 606 @ 29.886
c NEW SOLUTION FOUND: 605 @ 29.907
c NEW SOLUTION FOUND: 604 @ 29.929
c NEW SOLUTION FOUND: 603 @ 29.95
c NEW SOLUTION FOUND: 602 @ 29.971
c NEW SOLUTION FOUND: 601 @ 29.992
c NEW SOLUTION FOUND: 600 @ 30.014
c NEW SOLUTION FOUND: 599 @ 30.035
c NEW SOLUTION FOUND: 598 @ 30.056
c NEW SOLUTION FOUND: 597 @ 30.077
c NEW SOLUTION FOUND: 596 @ 30.099
c NEW SOLUTION FOUND: 595 @ 30.12
c NEW SOLUTION FOUND: 594 @ 30.141
c NEW SOLUTION FOUND: 593 @ 30.162
c NEW SOLUTION FOUND: 592 @ 30.184
c NEW SOLUTION FOUND: 591 @ 30.205
c NEW SOLUTION FOUND: 590 @ 30.226
c NEW SOLUTION FOUND: 589 @ 30.247
c NEW SOLUTION FOUND: 588 @ 30.269
c NEW SOLUTION FOUND: 587 @ 30.29
c NEW SOLUTION FOUND: 586 @ 30.311
c NEW SOLUTION FOUND: 585 @ 30.332
c NEW SOLUTION FOUND: 584 @ 30.353
c NEW SOLUTION FOUND: 583 @ 30.375
c NEW SOLUTION FOUND: 582 @ 30.396
c NEW SOLUTION FOUND: 581 @ 30.417
c NEW SOLUTION FOUND: 580 @ 30.438
c NEW SOLUTION FOUND: 579 @ 30.46
c NEW SOLUTION FOUND: 578 @ 30.481
c NEW SOLUTION FOUND: 577 @ 30.502
c NEW SOLUTION FOUND: 576 @ 30.523
c NEW SOLUTION FOUND: 575 @ 30.544
c NEW SOLUTION FOUND: 574 @ 30.565
c NEW SOLUTION FOUND: 573 @ 30.587
c NEW SOLUTION FOUND: 572 @ 30.608
c NEW SOLUTION FOUND: 571 @ 30.629
c NEW SOLUTION FOUND: 570 @ 30.65
c NEW SOLUTION FOUND: 569 @ 30.671
c NEW SOLUTION FOUND: 568 @ 30.693
c NEW SOLUTION FOUND: 567 @ 30.714
c NEW SOLUTION FOUND: 566 @ 30.735
c NEW SOLUTION FOUND: 565 @ 30.756
c NEW SOLUTION FOUND: 564 @ 30.777
c NEW SOLUTION FOUND: 563 @ 30.798
c NEW SOLUTION FOUND: 562 @ 30.819
c NEW SOLUTION FOUND: 561 @ 30.841
c NEW SOLUTION FOUND: 560 @ 30.862
c NEW SOLUTION FOUND: 559 @ 30.883
c NEW SOLUTION FOUND: 558 @ 30.904
c NEW SOLUTION FOUND: 557 @ 30.925
c NEW SOLUTION FOUND: 556 @ 30.946
c NEW SOLUTION FOUND: 555 @ 30.967
c NEW SOLUTION FOUND: 554 @ 30.988
c NEW SOLUTION FOUND: 553 @ 31.01
c NEW SOLUTION FOUND: 552 @ 31.031
c NEW SOLUTION FOUND: 551 @ 31.052
c NEW SOLUTION FOUND: 550 @ 31.073
c NEW SOLUTION FOUND: 549 @ 31.094
c NEW SOLUTION FOUND: 548 @ 31.115
c NEW SOLUTION FOUND: 547 @ 31.136
c NEW SOLUTION FOUND: 546 @ 31.157
c NEW SOLUTION FOUND: 545 @ 31.178
c NEW SOLUTION FOUND: 544 @ 31.199
c NEW SOLUTION FOUND: 543 @ 31.22
c NEW SOLUTION FOUND: 542 @ 31.241
c NEW SOLUTION FOUND: 541 @ 31.262
c NEW SOLUTION FOUND: 540 @ 31.283
c NEW SOLUTION FOUND: 539 @ 31.304
c NEW SOLUTION FOUND: 538 @ 31.325
c NEW SOLUTION FOUND: 537 @ 31.347
c NEW SOLUTION FOUND: 536 @ 31.368
c NEW SOLUTION FOUND: 535 @ 31.389
c NEW SOLUTION FOUND: 534 @ 31.41
c NEW SOLUTION FOUND: 533 @ 31.431
c NEW SOLUTION FOUND: 532 @ 31.452
c NEW SOLUTION FOUND: 531 @ 31.473
c NEW SOLUTION FOUND: 530 @ 31.494
c NEW SOLUTION FOUND: 529 @ 31.515
c NEW SOLUTION FOUND: 528 @ 31.536
c NEW SOLUTION FOUND: 527 @ 31.557
c NEW SOLUTION FOUND: 526 @ 31.578
c NEW SOLUTION FOUND: 525 @ 31.599
c NEW SOLUTION FOUND: 524 @ 31.62
c NEW SOLUTION FOUND: 523 @ 31.641
c NEW SOLUTION FOUND: 522 @ 31.662
c NEW SOLUTION FOUND: 521 @ 31.683
c NEW SOLUTION FOUND: 520 @ 31.704
c NEW SOLUTION FOUND: 519 @ 31.725
c NEW SOLUTION FOUND: 518 @ 31.746
c NEW SOLUTION FOUND: 517 @ 31.767
c NEW SOLUTION FOUND: 516 @ 31.788
c NEW SOLUTION FOUND: 515 @ 31.809
c NEW SOLUTION FOUND: 514 @ 31.83
c NEW SOLUTION FOUND: 513 @ 31.851
c NEW SOLUTION FOUND: 512 @ 31.871
c NEW SOLUTION FOUND: 511 @ 31.892
c NEW SOLUTION FOUND: 510 @ 31.913
c NEW SOLUTION FOUND: 509 @ 31.934
c NEW SOLUTION FOUND: 508 @ 31.955
c NEW SOLUTION FOUND: 507 @ 31.976
c NEW SOLUTION FOUND: 506 @ 31.997
c NEW SOLUTION FOUND: 505 @ 32.018
c NEW SOLUTION FOUND: 504 @ 32.039
c NEW SOLUTION FOUND: 503 @ 32.06
c NEW SOLUTION FOUND: 502 @ 32.081
c NEW SOLUTION FOUND: 501 @ 32.102
c NEW SOLUTION FOUND: 500 @ 32.122
c NEW SOLUTION FOUND: 499 @ 32.143
c NEW SOLUTION FOUND: 498 @ 32.164
c NEW SOLUTION FOUND: 497 @ 32.185
c NEW SOLUTION FOUND: 496 @ 32.206
c NEW SOLUTION FOUND: 495 @ 32.226
c NEW SOLUTION FOUND: 494 @ 32.247
c NEW SOLUTION FOUND: 493 @ 32.268
c NEW SOLUTION FOUND: 492 @ 32.289
c NEW SOLUTION FOUND: 491 @ 32.309
c NEW SOLUTION FOUND: 490 @ 32.331
c NEW SOLUTION FOUND: 489 @ 32.351
c NEW SOLUTION FOUND: 488 @ 32.373
c NEW SOLUTION FOUND: 487 @ 32.393
c NEW SOLUTION FOUND: 486 @ 32.414
c NEW SOLUTION FOUND: 485 @ 32.435
c NEW SOLUTION FOUND: 484 @ 32.456
c NEW SOLUTION FOUND: 483 @ 32.476
c NEW SOLUTION FOUND: 482 @ 32.497
c NEW SOLUTION FOUND: 481 @ 32.518
c NEW SOLUTION FOUND: 480 @ 32.538
c NEW SOLUTION FOUND: 479 @ 32.559
c NEW SOLUTION FOUND: 478 @ 32.58
c NEW SOLUTION FOUND: 477 @ 32.6
c NEW SOLUTION FOUND: 476 @ 32.621
c NEW SOLUTION FOUND: 475 @ 32.642
c NEW SOLUTION FOUND: 474 @ 32.663
c NEW SOLUTION FOUND: 473 @ 32.683
c NEW SOLUTION FOUND: 472 @ 32.704
c NEW SOLUTION FOUND: 471 @ 32.724
c NEW SOLUTION FOUND: 470 @ 32.745
c NEW SOLUTION FOUND: 469 @ 32.766
c NEW SOLUTION FOUND: 468 @ 32.786
c NEW SOLUTION FOUND: 467 @ 32.807
c NEW SOLUTION FOUND: 466 @ 32.827
c NEW SOLUTION FOUND: 465 @ 32.848
c NEW SOLUTION FOUND: 464 @ 32.869
c NEW SOLUTION FOUND: 463 @ 32.889
c NEW SOLUTION FOUND: 462 @ 32.91
c NEW SOLUTION FOUND: 461 @ 32.93
c NEW SOLUTION FOUND: 460 @ 32.951
c NEW SOLUTION FOUND: 459 @ 32.971
c NEW SOLUTION FOUND: 458 @ 32.992
c NEW SOLUTION FOUND: 457 @ 33.013
c NEW SOLUTION FOUND: 456 @ 33.033
c NEW SOLUTION FOUND: 455 @ 33.054
c NEW SOLUTION FOUND: 454 @ 33.074
c NEW SOLUTION FOUND: 453 @ 33.095
c NEW SOLUTION FOUND: 452 @ 33.116
c NEW SOLUTION FOUND: 451 @ 33.136
c NEW SOLUTION FOUND: 450 @ 33.157
c NEW SOLUTION FOUND: 449 @ 33.177
c NEW SOLUTION FOUND: 448 @ 33.198
c NEW SOLUTION FOUND: 447 @ 33.218
c NEW SOLUTION FOUND: 446 @ 33.239
c NEW SOLUTION FOUND: 445 @ 33.259
c NEW SOLUTION FOUND: 444 @ 33.28
c NEW SOLUTION FOUND: 443 @ 33.3
c NEW SOLUTION FOUND: 442 @ 33.321
c NEW SOLUTION FOUND: 441 @ 33.341
c NEW SOLUTION FOUND: 440 @ 33.362
c NEW SOLUTION FOUND: 439 @ 33.382
c NEW SOLUTION FOUND: 438 @ 33.403
c NEW SOLUTION FOUND: 437 @ 33.423
c NEW SOLUTION FOUND: 436 @ 33.443
c NEW SOLUTION FOUND: 435 @ 33.464
c NEW SOLUTION FOUND: 434 @ 33.484
c NEW SOLUTION FOUND: 433 @ 33.505
c NEW SOLUTION FOUND: 432 @ 33.525
c NEW SOLUTION FOUND: 431 @ 33.546
c NEW SOLUTION FOUND: 430 @ 33.566
c NEW SOLUTION FOUND: 429 @ 33.586
c NEW SOLUTION FOUND: 428 @ 33.606
c NEW SOLUTION FOUND: 427 @ 33.626
c NEW SOLUTION FOUND: 426 @ 33.647
c NEW SOLUTION FOUND: 425 @ 33.667
c NEW SOLUTION FOUND: 424 @ 33.688
c NEW SOLUTION FOUND: 423 @ 33.708
c NEW SOLUTION FOUND: 422 @ 33.729
c NEW SOLUTION FOUND: 421 @ 33.749
c NEW SOLUTION FOUND: 420 @ 33.769
c NEW SOLUTION FOUND: 419 @ 33.79
c NEW SOLUTION FOUND: 418 @ 33.81
c NEW SOLUTION FOUND: 417 @ 33.831
c NEW SOLUTION FOUND: 416 @ 33.851
c NEW SOLUTION FOUND: 415 @ 33.871
c NEW SOLUTION FOUND: 414 @ 33.892
c NEW SOLUTION FOUND: 413 @ 33.912
c NEW SOLUTION FOUND: 412 @ 33.932
c NEW SOLUTION FOUND: 411 @ 33.953
c NEW SOLUTION FOUND: 410 @ 33.973
c NEW SOLUTION FOUND: 409 @ 33.993
c NEW SOLUTION FOUND: 408 @ 34.014
c NEW SOLUTION FOUND: 407 @ 34.034
c NEW SOLUTION FOUND: 406 @ 34.054
c NEW SOLUTION FOUND: 405 @ 34.074
c NEW SOLUTION FOUND: 404 @ 34.095
c NEW SOLUTION FOUND: 403 @ 34.115
c NEW SOLUTION FOUND: 402 @ 34.135
c NEW SOLUTION FOUND: 401 @ 34.156
c NEW SOLUTION FOUND: 400 @ 34.176
c NEW SOLUTION FOUND: 399 @ 34.196
c NEW SOLUTION FOUND: 398 @ 34.216
c NEW SOLUTION FOUND: 397 @ 34.243
c NEW SOLUTION FOUND: 396 @ 34.269
c NEW SOLUTION FOUND: 395 @ 34.295
c NEW SOLUTION FOUND: 394 @ 34.321
c NEW SOLUTION FOUND: 393 @ 34.347
c NEW SOLUTION FOUND: 392 @ 34.373
c NEW SOLUTION FOUND: 391 @ 34.4
c NEW SOLUTION FOUND: 390 @ 34.426
c NEW SOLUTION FOUND: 389 @ 34.452
c NEW SOLUTION FOUND: 388 @ 34.478
c NEW SOLUTION FOUND: 387 @ 34.504
c NEW SOLUTION FOUND: 386 @ 34.53
c NEW SOLUTION FOUND: 385 @ 34.556
c NEW SOLUTION FOUND: 384 @ 34.582
c NEW SOLUTION FOUND: 383 @ 34.609
c NEW SOLUTION FOUND: 382 @ 34.635
c NEW SOLUTION FOUND: 381 @ 34.661
c NEW SOLUTION FOUND: 380 @ 34.687
c NEW SOLUTION FOUND: 379 @ 34.713
c NEW SOLUTION FOUND: 378 @ 34.739
c NEW SOLUTION FOUND: 377 @ 34.765
c NEW SOLUTION FOUND: 376 @ 34.791
c NEW SOLUTION FOUND: 375 @ 34.817
c NEW SOLUTION FOUND: 374 @ 34.843
c NEW SOLUTION FOUND: 373 @ 34.869
c NEW SOLUTION FOUND: 372 @ 34.895
c NEW SOLUTION FOUND: 371 @ 34.921
c NEW SOLUTION FOUND: 370 @ 34.947
c NEW SOLUTION FOUND: 369 @ 34.973
c NEW SOLUTION FOUND: 368 @ 34.999
c NEW SOLUTION FOUND: 367 @ 35.025
c NEW SOLUTION FOUND: 366 @ 35.051
c NEW SOLUTION FOUND: 365 @ 35.077
c NEW SOLUTION FOUND: 364 @ 35.103
c NEW SOLUTION FOUND: 363 @ 35.129
c NEW SOLUTION FOUND: 362 @ 35.155
c NEW SOLUTION FOUND: 361 @ 35.181
c NEW SOLUTION FOUND: 360 @ 35.207
c NEW SOLUTION FOUND: 359 @ 35.233
c NEW SOLUTION FOUND: 358 @ 35.259
c NEW SOLUTION FOUND: 357 @ 35.285
c NEW SOLUTION FOUND: 356 @ 35.311
c NEW SOLUTION FOUND: 355 @ 35.336
c NEW SOLUTION FOUND: 354 @ 35.362
c NEW SOLUTION FOUND: 353 @ 35.388
c NEW SOLUTION FOUND: 352 @ 35.414
c NEW SOLUTION FOUND: 351 @ 35.44
c NEW SOLUTION FOUND: 350 @ 35.466
c NEW SOLUTION FOUND: 349 @ 35.492
c NEW SOLUTION FOUND: 348 @ 35.518
c NEW SOLUTION FOUND: 347 @ 35.544
c NEW SOLUTION FOUND: 346 @ 35.569
c NEW SOLUTION FOUND: 345 @ 35.598
c NEW SOLUTION FOUND: 344 @ 35.627
c NEW SOLUTION FOUND: 343 @ 35.657
c NEW SOLUTION FOUND: 342 @ 35.713
c NEW SOLUTION FOUND: 341 @ 35.767
c NEW SOLUTION FOUND: 340 @ 35.821
c NEW SOLUTION FOUND: 339 @ 35.875
c NEW SOLUTION FOUND: 338 @ 35.93
c NEW SOLUTION FOUND: 337 @ 35.984
c NEW SOLUTION FOUND: 336 @ 36.038
c NEW SOLUTION FOUND: 335 @ 36.092
c NEW SOLUTION FOUND: 334 @ 36.146
c NEW SOLUTION FOUND: 333 @ 36.2
c NEW SOLUTION FOUND: 332 @ 36.253
c NEW SOLUTION FOUND: 331 @ 36.307
c NEW SOLUTION FOUND: 330 @ 36.361
c NEW SOLUTION FOUND: 329 @ 36.415
c NEW SOLUTION FOUND: 328 @ 36.469
c NEW SOLUTION FOUND: 327 @ 36.523
c NEW SOLUTION FOUND: 326 @ 36.577
c NEW SOLUTION FOUND: 325 @ 36.632
c NEW SOLUTION FOUND: 324 @ 36.685
c NEW SOLUTION FOUND: 323 @ 36.739
c NEW SOLUTION FOUND: 322 @ 36.793
c NEW SOLUTION FOUND: 321 @ 36.847
c NEW SOLUTION FOUND: 320 @ 36.901
c NEW SOLUTION FOUND: 319 @ 36.955
c NEW SOLUTION FOUND: 318 @ 37.009
c NEW SOLUTION FOUND: 317 @ 37.063
c NEW SOLUTION FOUND: 316 @ 37.117
c NEW SOLUTION FOUND: 315 @ 37.171
c NEW SOLUTION FOUND: 314 @ 37.224
c NEW SOLUTION FOUND: 313 @ 37.278
c NEW SOLUTION FOUND: 312 @ 37.332
c NEW SOLUTION FOUND: 311 @ 37.386
c NEW SOLUTION FOUND: 310 @ 37.44
c NEW SOLUTION FOUND: 309 @ 37.494
c NEW SOLUTION FOUND: 308 @ 37.548
c NEW SOLUTION FOUND: 307 @ 37.602
c NEW SOLUTION FOUND: 306 @ 37.656
c NEW SOLUTION FOUND: 305 @ 37.71
c NEW SOLUTION FOUND: 304 @ 37.764
c NEW SOLUTION FOUND: 303 @ 37.818
c NEW SOLUTION FOUND: 302 @ 37.871
c NEW SOLUTION FOUND: 301 @ 37.925
c NEW SOLUTION FOUND: 300 @ 37.979
c NEW SOLUTION FOUND: 299 @ 38.033
c NEW SOLUTION FOUND: 298 @ 38.087
c NEW SOLUTION FOUND: 297 @ 38.14
c NEW SOLUTION FOUND: 296 @ 38.194
c NEW SOLUTION FOUND: 295 @ 38.248
c NEW SOLUTION FOUND: 294 @ 38.302
c NEW SOLUTION FOUND: 293 @ 38.356
c NEW SOLUTION FOUND: 292 @ 38.409
c NEW SOLUTION FOUND: 291 @ 38.463
c NEW SOLUTION FOUND: 290 @ 38.517
c NEW SOLUTION FOUND: 289 @ 38.571
c NEW SOLUTION FOUND: 288 @ 38.625
c NEW SOLUTION FOUND: 287 @ 38.678
c NEW SOLUTION FOUND: 286 @ 38.732
c NEW SOLUTION FOUND: 285 @ 38.786
c NEW SOLUTION FOUND: 284 @ 38.84
c NEW SOLUTION FOUND: 283 @ 38.893
c NEW SOLUTION FOUND: 282 @ 38.947
c NEW SOLUTION FOUND: 281 @ 39.001
c NEW SOLUTION FOUND: 280 @ 39.054
c NEW SOLUTION FOUND: 279 @ 39.108
c NEW SOLUTION FOUND: 278 @ 39.162
c NEW SOLUTION FOUND: 277 @ 39.216
c NEW SOLUTION FOUND: 276 @ 39.269
c NEW SOLUTION FOUND: 275 @ 39.323
c NEW SOLUTION FOUND: 274 @ 39.377
c NEW SOLUTION FOUND: 273 @ 39.43
c NEW SOLUTION FOUND: 272 @ 39.484
c NEW SOLUTION FOUND: 271 @ 39.538
c NEW SOLUTION FOUND: 270 @ 39.591
c NEW SOLUTION FOUND: 269 @ 39.645
c NEW SOLUTION FOUND: 268 @ 39.699
c NEW SOLUTION FOUND: 267 @ 39.753
c NEW SOLUTION FOUND: 266 @ 39.806
c NEW SOLUTION FOUND: 265 @ 39.86
c NEW SOLUTION FOUND: 264 @ 39.915
c NEW SOLUTION FOUND: 263 @ 39.968
c NEW SOLUTION FOUND: 262 @ 40.022
c NEW SOLUTION FOUND: 261 @ 40.076
c NEW SOLUTION FOUND: 260 @ 40.129
c NEW SOLUTION FOUND: 259 @ 40.183
c NEW SOLUTION FOUND: 258 @ 40.236
c NEW SOLUTION FOUND: 257 @ 40.289
c NEW SOLUTION FOUND: 256 @ 40.343
c NEW SOLUTION FOUND: 255 @ 40.396
c NEW SOLUTION FOUND: 254 @ 40.45
c NEW SOLUTION FOUND: 253 @ 40.503
c NEW SOLUTION FOUND: 252 @ 40.557
c NEW SOLUTION FOUND: 251 @ 40.611
c NEW SOLUTION FOUND: 250 @ 40.664
c NEW SOLUTION FOUND: 249 @ 40.718
c NEW SOLUTION FOUND: 248 @ 40.771
c NEW SOLUTION FOUND: 247 @ 40.825
c NEW SOLUTION FOUND: 246 @ 40.879
c NEW SOLUTION FOUND: 245 @ 40.932
c NEW SOLUTION FOUND: 244 @ 40.986
c NEW SOLUTION FOUND: 243 @ 41.039
c NEW SOLUTION FOUND: 242 @ 41.093
c NEW SOLUTION FOUND: 241 @ 41.146
c NEW SOLUTION FOUND: 240 @ 41.2
c NEW SOLUTION FOUND: 239 @ 41.253
c NEW SOLUTION FOUND: 238 @ 41.307
c NEW SOLUTION FOUND: 237 @ 41.36
c NEW SOLUTION FOUND: 236 @ 41.414
c NEW SOLUTION FOUND: 235 @ 41.467
c NEW SOLUTION FOUND: 234 @ 41.521
c NEW SOLUTION FOUND: 233 @ 41.575
c NEW SOLUTION FOUND: 232 @ 41.629
c NEW SOLUTION FOUND: 231 @ 41.683
c NEW SOLUTION FOUND: 230 @ 41.736
c NEW SOLUTION FOUND: 229 @ 41.79
c NEW SOLUTION FOUND: 228 @ 41.843
c NEW SOLUTION FOUND: 227 @ 41.897
c NEW SOLUTION FOUND: 225 @ 41.954
c NEW SOLUTION FOUND: 224 @ 42.013
c NEW SOLUTION FOUND: 223 @ 42.071
c NEW SOLUTION FOUND: 222 @ 42.129
c NEW SOLUTION FOUND: 221 @ 42.187
c NEW SOLUTION FOUND: 220 @ 42.245
c NEW SOLUTION FOUND: 219 @ 42.303
c NEW SOLUTION FOUND: 218 @ 42.361
c NEW SOLUTION FOUND: 217 @ 42.419
c NEW SOLUTION FOUND: 216 @ 42.477
c NEW SOLUTION FOUND: 215 @ 42.535
c NEW SOLUTION FOUND: 214 @ 42.593
c NEW SOLUTION FOUND: 213 @ 42.651
c NEW SOLUTION FOUND: 212 @ 42.709
c NEW SOLUTION FOUND: 211 @ 42.767
c NEW SOLUTION FOUND: 210 @ 42.825
c NEW SOLUTION FOUND: 209 @ 42.885
c NEW SOLUTION FOUND: 208 @ 42.945
c NEW SOLUTION FOUND: 207 @ 43.006
c NEW SOLUTION FOUND: 206 @ 43.066
c NEW SOLUTION FOUND: 205 @ 43.126
c NEW SOLUTION FOUND: 204 @ 43.187
c NEW SOLUTION FOUND: 203 @ 43.247
c NEW SOLUTION FOUND: 202 @ 43.308
c NEW SOLUTION FOUND: 201 @ 43.37
c NEW SOLUTION FOUND: 200 @ 43.43
c NEW SOLUTION FOUND: 199 @ 43.491
c NEW SOLUTION FOUND: 198 @ 43.551
c NEW SOLUTION FOUND: 197 @ 43.611
c NEW SOLUTION FOUND: 196 @ 43.671
c NEW SOLUTION FOUND: 195 @ 43.732
c NEW SOLUTION FOUND: 194 @ 43.792
c NEW SOLUTION FOUND: 193 @ 43.852
c NEW SOLUTION FOUND: 192 @ 43.913
c NEW SOLUTION FOUND: 191 @ 43.973
c NEW SOLUTION FOUND: 190 @ 44.033
c NEW SOLUTION FOUND: 189 @ 44.093
c NEW SOLUTION FOUND: 188 @ 44.154
c NEW SOLUTION FOUND: 187 @ 44.214
c NEW SOLUTION FOUND: 186 @ 44.274
c NEW SOLUTION FOUND: 185 @ 44.334
c NEW SOLUTION FOUND: 184 @ 44.394
c NEW SOLUTION FOUND: 183 @ 44.454
c NEW SOLUTION FOUND: 182 @ 44.515
c NEW SOLUTION FOUND: 181 @ 44.575
c NEW SOLUTION FOUND: 180 @ 44.635
c NEW SOLUTION FOUND: 179 @ 44.695
c NEW SOLUTION FOUND: 178 @ 44.756
c NEW SOLUTION FOUND: 177 @ 44.816
c NEW SOLUTION FOUND: 176 @ 44.876
c NEW SOLUTION FOUND: 175 @ 44.936
c NEW SOLUTION FOUND: 174 @ 44.996
c NEW SOLUTION FOUND: 173 @ 45.057
c NEW SOLUTION FOUND: 172 @ 45.117
c NEW SOLUTION FOUND: 171 @ 45.177
c NEW SOLUTION FOUND: 170 @ 45.237
c NEW SOLUTION FOUND: 169 @ 45.297
c NEW SOLUTION FOUND: 168 @ 45.357
c NEW SOLUTION FOUND: 167 @ 45.417
c NEW SOLUTION FOUND: 166 @ 45.477
c NEW SOLUTION FOUND: 165 @ 45.538
c NEW SOLUTION FOUND: 164 @ 45.598
c NEW SOLUTION FOUND: 163 @ 45.658
c NEW SOLUTION FOUND: 162 @ 45.719
c NEW SOLUTION FOUND: 161 @ 45.779
c NEW SOLUTION FOUND: 160 @ 45.839
c NEW SOLUTION FOUND: 159 @ 45.899
c NEW SOLUTION FOUND: 158 @ 45.959
c NEW SOLUTION FOUND: 157 @ 46.02
c NEW SOLUTION FOUND: 156 @ 46.08
c NEW SOLUTION FOUND: 155 @ 46.14
c NEW SOLUTION FOUND: 154 @ 46.207
c NEW SOLUTION FOUND: 153 @ 46.275
c NEW SOLUTION FOUND: 152 @ 46.341
c NEW SOLUTION FOUND: 151 @ 46.409
c NEW SOLUTION FOUND: 150 @ 46.476
c NEW SOLUTION FOUND: 149 @ 46.544
c NEW SOLUTION FOUND: 148 @ 46.612
c NEW SOLUTION FOUND: 147 @ 46.681
c NEW SOLUTION FOUND: 146 @ 46.751
c NEW SOLUTION FOUND: 145 @ 46.821
c NEW SOLUTION FOUND: 144 @ 46.891
c NEW SOLUTION FOUND: 143 @ 46.96
c NEW SOLUTION FOUND: 142 @ 47.031
c NEW SOLUTION FOUND: 141 @ 47.1
c NEW SOLUTION FOUND: 140 @ 47.171
c NEW SOLUTION FOUND: 139 @ 47.241
c NEW SOLUTION FOUND: 138 @ 47.311
c NEW SOLUTION FOUND: 137 @ 47.381
c NEW SOLUTION FOUND: 136 @ 47.451
c NEW SOLUTION FOUND: 135 @ 47.521
c NEW SOLUTION FOUND: 134 @ 47.591
c NEW SOLUTION FOUND: 133 @ 47.661
c NEW SOLUTION FOUND: 132 @ 47.732
c NEW SOLUTION FOUND: 131 @ 47.802
c NEW SOLUTION FOUND: 130 @ 47.872
c NEW SOLUTION FOUND: 129 @ 47.942
c NEW SOLUTION FOUND: 128 @ 48.012
c NEW SOLUTION FOUND: 127 @ 48.082
c NEW SOLUTION FOUND: 126 @ 48.152
c NEW SOLUTION FOUND: 125 @ 48.222
c NEW SOLUTION FOUND: 124 @ 48.292
c NEW SOLUTION FOUND: 123 @ 48.362
c NEW SOLUTION FOUND: 122 @ 48.432
c NEW SOLUTION FOUND: 121 @ 48.502
c NEW SOLUTION FOUND: 120 @ 48.572
c NEW SOLUTION FOUND: 119 @ 48.643
c NEW SOLUTION FOUND: 118 @ 48.714
c NEW SOLUTION FOUND: 117 @ 48.783
c NEW SOLUTION FOUND: 116 @ 48.853
c NEW SOLUTION FOUND: 115 @ 48.923
c NEW SOLUTION FOUND: 114 @ 48.993
c NEW SOLUTION FOUND: 113 @ 49.063
c NEW SOLUTION FOUND: 112 @ 49.133
c NEW SOLUTION FOUND: 111 @ 49.203
c NEW SOLUTION FOUND: 110 @ 49.273
c NEW SOLUTION FOUND: 109 @ 49.343
c NEW SOLUTION FOUND: 108 @ 49.414
c NEW SOLUTION FOUND: 107 @ 49.484
c NEW SOLUTION FOUND: 106 @ 49.554
c NEW SOLUTION FOUND: 105 @ 49.624
c NEW SOLUTION FOUND: 104 @ 49.694
c NEW SOLUTION FOUND: 103 @ 49.764
c NEW SOLUTION FOUND: 102 @ 49.834
c NEW SOLUTION FOUND: 101 @ 49.905
c NEW SOLUTION FOUND: 100 @ 49.975
c NEW SOLUTION FOUND: 99 @ 50.044
c NEW SOLUTION FOUND: 98 @ 50.115
c NEW SOLUTION FOUND: 97 @ 50.184
c NEW SOLUTION FOUND: 96 @ 50.255
c NEW SOLUTION FOUND: 95 @ 50.324
c NEW SOLUTION FOUND: 94 @ 50.394
c NEW SOLUTION FOUND: 93 @ 50.463
c NEW SOLUTION FOUND: 92 @ 50.533
c NEW SOLUTION FOUND: 91 @ 50.602
c NEW SOLUTION FOUND: 90 @ 50.672
c NEW SOLUTION FOUND: 89 @ 50.741
c NEW SOLUTION FOUND: 88 @ 50.816
c NEW SOLUTION FOUND: 87 @ 50.891
c NEW SOLUTION FOUND: 86 @ 50.966
c NEW SOLUTION FOUND: 85 @ 51.041
c NEW SOLUTION FOUND: 84 @ 51.114
c NEW SOLUTION FOUND: 83 @ 51.188
c NEW SOLUTION FOUND: 82 @ 51.262
c NEW SOLUTION FOUND: 81 @ 51.335
c NEW SOLUTION FOUND: 80 @ 51.407
c NEW SOLUTION FOUND: 79 @ 51.479
c NEW SOLUTION FOUND: 78 @ 51.553
c NEW SOLUTION FOUND: 77 @ 51.625
c NEW SOLUTION FOUND: 76 @ 51.698
c NEW SOLUTION FOUND: 74 @ 51.924
c NEW SOLUTION FOUND: 73 @ 52.177
c NEW SOLUTION FOUND: 72 @ 52.303
c NEW SOLUTION FOUND: 71 @ 52.431
c NEW SOLUTION FOUND: 70 @ 52.558
c NEW SOLUTION FOUND: 69 @ 52.686
c NEW SOLUTION FOUND: 68 @ 52.813
c NEW SOLUTION FOUND: 67 @ 53.088
c NEW SOLUTION FOUND: 66 @ 53.227
c NEW SOLUTION FOUND: 65 @ 53.366
c NEW SOLUTION FOUND: 64 @ 53.504
c NEW SOLUTION FOUND: 63 @ 53.641
c NEW SOLUTION FOUND: 62 @ 53.781
c NEW SOLUTION FOUND: 61 @ 53.919
c NEW SOLUTION FOUND: 60 @ 54.056
c NEW SOLUTION FOUND: 59 @ 54.193
c NEW SOLUTION FOUND: 58 @ 54.332
c NEW SOLUTION FOUND: 56 @ 54.472
c NEW SOLUTION FOUND: 55 @ 54.611
c NEW SOLUTION FOUND: 54 @ 54.751
c NEW SOLUTION FOUND: 53 @ 54.892
c NEW SOLUTION FOUND: 52 @ 55.03
c NEW SOLUTION FOUND: 51 @ 55.169
c NEW SOLUTION FOUND: 50 @ 55.306
c NEW SOLUTION FOUND: 49 @ 55.445
c NEW SOLUTION FOUND: 48 @ 55.581
c NEW SOLUTION FOUND: 47 @ 55.723
c NEW SOLUTION FOUND: 46 @ 55.863
c NEW SOLUTION FOUND: 45 @ 55.998
c NEW SOLUTION FOUND: 44 @ 56.133
c NEW SOLUTION FOUND: 43 @ 56.268
c NEW SOLUTION FOUND: 42 @ 56.404
c NEW SOLUTION FOUND: 41 @ 56.541
c NEW SOLUTION FOUND: 39 @ 56.94
c NEW SOLUTION FOUND: 38 @ 57.142
c NEW SOLUTION FOUND: 37 @ 57.678
c NEW SOLUTION FOUND: 36 @ 57.961
c NEW SOLUTION FOUND: 35 @ 58.246
c NEW SOLUTION FOUND: 34 @ 58.875
c NEW SOLUTION FOUND: 33 @ 59.188
c NEW SOLUTION FOUND: 32 @ 59.501
c NEW SOLUTION FOUND: 31 @ 59.814
c NEW SOLUTION FOUND: 30 @ 60.12
c NEW SOLUTION FOUND: 29 @ 60.436
c NEW SOLUTION FOUND: 28 @ 60.755
c NEW SOLUTION FOUND: 27 @ 61.066
c NEW SOLUTION FOUND: 26 @ 63.685
c NEW SOLUTION FOUND: 25 @ 66.528
c NEW SOLUTION FOUND: 24 @ 67.982
c NEW SOLUTION FOUND: 22 @ 72.878
c NEW SOLUTION FOUND: 21 @ 76.736
c NEW SOLUTION FOUND: 20 @ 80.684
c NEW SOLUTION FOUND: 19 @ 94.25
c NEW SOLUTION FOUND: 18 @ 109.078
c NEW SOLUTION FOUND: 17 @ 894.38
c NEW SOLUTION FOUND: 16 @ 942.667
c NEW SOLUTION FOUND: 15 @ 1028.01
s OPTIMUM FOUND
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 
c Exit Code: 30
c Total time: 1076.73 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.94 1.00 0.99 2/54 8854
Raw data (stat): 8854 (runsolver) R 8853 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 654369041 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0019 s]
Raw data (loadavg): 0.95 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 4777 0 0 0 980 13 0 0 25 0 1 0 654369041 10756096 1914 4294967295 134512640 134714508 3221221792 3221220352 134645006 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2626 1914 1111 63 0 2563 0
vsize: 10504
[startup+20.0022 s]
Raw data (loadavg): 0.95 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 11132 0 0 0 1954 39 0 0 25 0 1 0 654369041 10076160 1774 4294967295 134512640 134714508 3221221792 3221220208 1074116272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2460 1774 1111 63 0 2397 0
vsize: 9840
[startup+30.0027 s]
Raw data (loadavg): 0.96 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 16874 0 0 0 2930 63 0 0 25 0 1 0 654369041 10076160 1774 4294967295 134512640 134714508 3221221792 3221220548 134652568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2460 1774 1111 63 0 2397 0
vsize: 9840
[startup+40.0037 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 21110 0 0 0 3911 81 0 0 25 0 1 0 654369041 10076160 1774 4294967295 134512640 134714508 3221221792 3221219616 1075823342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2460 1774 1111 63 0 2397 0
vsize: 9840
[startup+50.0042 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 26556 0 0 0 4893 99 0 0 25 0 1 0 654369041 10076160 1774 4294967295 134512640 134714508 3221221792 3221219432 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2460 1774 1111 63 0 2397 0
vsize: 9840
[startup+60.0056 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 31228 0 0 0 5880 113 0 0 25 0 1 0 654369041 10534912 1886 4294967295 134512640 134714508 3221221792 3221218800 134650190 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2572 1886 1111 63 0 2509 0
vsize: 10288
[startup+70.0065 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 34577 0 0 0 6871 121 0 0 25 0 1 0 654369041 10534912 1886 4294967295 134512640 134714508 3221221792 3221219712 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2572 1886 1111 63 0 2509 0
vsize: 10288
[startup+80.0069 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 38511 0 0 0 7861 131 0 0 25 0 1 0 654369041 10682368 1922 4294967295 134512640 134714508 3221221792 3221219896 1074206253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2608 1922 1111 63 0 2545 0
vsize: 10432
[startup+90.0084 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 43277 0 0 0 8850 142 0 0 25 0 1 0 654369041 10682368 1919 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2608 1919 1111 63 0 2545 0
vsize: 10432
[startup+100.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 48059 0 0 0 9839 154 0 0 25 0 1 0 654369041 10752000 1942 4294967295 134512640 134714508 3221221792 3221220432 134649075 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1942 1111 63 0 2562 0
vsize: 10500
[startup+110.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 53189 0 0 0 10826 167 0 0 25 0 1 0 654369041 12025856 2077 4294967295 134512640 134714508 3221221792 3221217968 1074882505 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2936 2077 1111 63 0 2873 0
vsize: 11744
[startup+120.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 58421 0 0 0 11811 181 0 0 25 0 1 0 654369041 12054528 2099 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2099 1111 63 0 2880 0
vsize: 11772
[startup+130.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 63954 0 0 0 12797 195 0 0 25 0 1 0 654369041 10698752 1925 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2612 1925 1111 63 0 2549 0
vsize: 10448
[startup+140.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 69616 0 0 0 13782 211 0 0 25 0 1 0 654369041 10698752 1925 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2612 1925 1111 63 0 2549 0
vsize: 10448
[startup+150.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8854
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 74882 0 0 0 14768 224 0 0 25 0 1 0 654369041 10739712 1939 4294967295 134512640 134714508 3221221792 3221220256 1074121049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2622 1939 1111 63 0 2559 0
vsize: 10488
[startup+160.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 78760 0 0 0 15757 235 0 0 25 0 1 0 654369041 12009472 2104 4294967295 134512640 134714508 3221221792 3221215296 1075332528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2932 2104 1111 63 0 2869 0
vsize: 11728
[startup+170.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 83267 0 0 0 16747 245 0 0 25 0 1 0 654369041 11706368 2089 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2858 2089 1111 63 0 2795 0
vsize: 11432
[startup+180.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 87845 0 0 0 17737 256 0 0 25 0 1 0 654369041 10534912 1890 4294967295 134512640 134714508 3221221792 3221220096 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2572 1890 1111 63 0 2509 0
vsize: 10288
[startup+190.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 92221 0 0 0 18725 267 0 0 25 0 1 0 654369041 10723328 1935 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2618 1935 1111 63 0 2555 0
vsize: 10472
[startup+200.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 96223 0 0 0 19715 278 0 0 25 0 1 0 654369041 11153408 2009 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2723 2009 1111 63 0 2660 0
vsize: 10892
[startup+210.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 100100 0 0 0 20706 286 0 0 25 0 1 0 654369041 10534912 1890 4294967295 134512640 134714508 3221221792 3221219992 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2572 1890 1111 63 0 2509 0
vsize: 10288
[startup+220.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 103795 0 0 0 21696 296 0 0 25 0 1 0 654369041 12238848 2110 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2988 2110 1111 63 0 2925 0
vsize: 11952
[startup+230.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 108097 0 0 0 22683 309 0 0 25 0 1 0 654369041 10727424 1937 4294967295 134512640 134714508 3221221792 3221220208 1074117102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2619 1937 1111 63 0 2556 0
vsize: 10476
[startup+240.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 112114 0 0 0 23672 321 0 0 25 0 1 0 654369041 10719232 1915 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2617 1915 1111 63 0 2554 0
vsize: 10468
[startup+250.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 116215 0 0 0 24662 331 0 0 25 0 1 0 654369041 10735616 1911 4294967295 134512640 134714508 3221221792 3221220192 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2621 1911 1111 63 0 2558 0
vsize: 10484
[startup+260.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 120135 0 0 0 25650 343 0 0 25 0 1 0 654369041 11415552 2038 4294967295 134512640 134714508 3221221792 3221219520 1075828201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2787 2038 1111 63 0 2724 0
vsize: 11148
[startup+270.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 123986 0 0 0 26640 353 0 0 25 0 1 0 654369041 11198464 2020 4294967295 134512640 134714508 3221221792 3221220072 1074138265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2734 2020 1111 63 0 2671 0
vsize: 10936
[startup+280.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 127790 0 0 0 27629 364 0 0 25 0 1 0 654369041 10797056 1954 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2636 1954 1111 63 0 2573 0
vsize: 10544
[startup+290.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 131268 0 0 0 28621 372 0 0 25 0 1 0 654369041 11329536 2052 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2766 2052 1111 63 0 2703 0
vsize: 11064
[startup+300.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 134996 0 0 0 29612 381 0 0 25 0 1 0 654369041 11456512 2051 4294967295 134512640 134714508 3221221792 3221219904 1074867347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2797 2051 1111 63 0 2734 0
vsize: 11188
[startup+310.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 138467 0 0 0 30603 391 0 0 25 0 1 0 654369041 10821632 1960 4294967295 134512640 134714508 3221221792 3221220096 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2642 1960 1111 63 0 2579 0
vsize: 10568
[startup+320.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 142111 0 0 0 31593 400 0 0 25 0 1 0 654369041 10657792 1920 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1920 1111 63 0 2539 0
vsize: 10408
[startup+330.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 145786 0 0 0 32583 411 0 0 25 0 1 0 654369041 11165696 2044 4294967295 134512640 134714508 3221221792 3221218912 1074865036 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2726 2044 1111 63 0 2663 0
vsize: 10904
[startup+340.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 149511 0 0 0 33574 419 0 0 25 0 1 0 654369041 10784768 1920 4294967295 134512640 134714508 3221221792 3221220096 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2633 1920 1111 63 0 2570 0
vsize: 10532
[startup+350.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 152936 0 0 0 34565 429 0 0 25 0 1 0 654369041 10776576 1924 4294967295 134512640 134714508 3221221792 3221220096 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2631 1924 1111 63 0 2568 0
vsize: 10524
[startup+360.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 156406 0 0 0 35557 438 0 0 25 0 1 0 654369041 10772480 1922 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2630 1922 1111 63 0 2567 0
vsize: 10520
[startup+370.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 159747 0 0 0 36549 445 0 0 25 0 1 0 654369041 11964416 2074 4294967295 134512640 134714508 3221221792 3221218320 1075397167 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2921 2074 1111 63 0 2858 0
vsize: 11684
[startup+380.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 163220 0 0 0 37540 455 0 0 25 0 1 0 654369041 11907072 2038 4294967295 134512640 134714508 3221221792 3221218560 1076083309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2907 2038 1111 63 0 2844 0
vsize: 11628
[startup+390.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 166655 0 0 0 38530 465 0 0 25 0 1 0 654369041 11067392 1988 4294967295 134512640 134714508 3221221792 3221219792 1074916869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1988 1111 63 0 2639 0
vsize: 10808
[startup+400.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 169976 0 0 0 39520 474 0 0 25 0 1 0 654369041 10567680 1898 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2580 1898 1111 63 0 2517 0
vsize: 10320
[startup+410.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 172806 0 0 0 40512 482 0 0 25 0 1 0 654369041 11694080 1975 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1975 1111 63 0 2792 0
vsize: 11420
[startup+420.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 176034 0 0 0 41503 491 0 0 25 0 1 0 654369041 10772480 1918 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2630 1918 1111 63 0 2567 0
vsize: 10520
[startup+430.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 179571 0 0 0 42494 501 0 0 25 0 1 0 654369041 11956224 2067 4294967295 134512640 134714508 3221221792 3221217788 1074860959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2919 2067 1111 63 0 2856 0
vsize: 11676
[startup+440.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 183485 0 0 0 43484 511 0 0 25 0 1 0 654369041 12328960 2173 4294967295 134512640 134714508 3221221792 3221217968 1074882515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3010 2173 1111 63 0 2947 0
vsize: 12040
[startup+450.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 187021 0 0 0 44475 520 0 0 25 0 1 0 654369041 11280384 2072 4294967295 134512640 134714508 3221221792 3221219136 1074839109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2754 2072 1111 63 0 2691 0
vsize: 11016
[startup+460.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 188718 0 0 0 45469 526 0 0 25 0 1 0 654369041 10936320 1988 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2670 1988 1111 63 0 2607 0
vsize: 10680
[startup+470.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 189805 0 0 0 46465 531 0 0 25 0 1 0 654369041 11739136 2006 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2866 2006 1111 63 0 2803 0
vsize: 11464
[startup+480.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 190947 0 0 0 47460 535 0 0 25 0 1 0 654369041 10964992 1989 4294967295 134512640 134714508 3221221792 3221219704 1074138265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2677 1989 1111 63 0 2614 0
vsize: 10708
[startup+490.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 192092 0 0 0 48456 540 0 0 25 0 1 0 654369041 10936320 1988 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2670 1988 1111 63 0 2607 0
vsize: 10680
[startup+500.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 193708 0 0 0 49451 545 0 0 25 0 1 0 654369041 10936320 1988 4294967295 134512640 134714508 3221221792 3221219676 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2670 1988 1111 63 0 2607 0
vsize: 10680
[startup+510.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 195781 0 0 0 50444 552 0 0 25 0 1 0 654369041 10936320 1988 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2670 1988 1111 63 0 2607 0
vsize: 10680
[startup+520.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 197786 0 0 0 51438 558 0 0 25 0 1 0 654369041 10936320 1988 4294967295 134512640 134714508 3221221792 3221219792 1074052283 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2670 1988 1111 63 0 2607 0
vsize: 10680
[startup+530.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 200554 0 0 0 52430 567 0 0 25 0 1 0 654369041 10936320 1988 4294967295 134512640 134714508 3221221792 3221220048 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2670 1988 1111 63 0 2607 0
vsize: 10680
[startup+540.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 203754 0 0 0 53422 575 0 0 25 0 1 0 654369041 11173888 2046 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2728 2046 1111 63 0 2665 0
vsize: 10912
[startup+550.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 207871 0 0 0 54412 585 0 0 25 0 1 0 654369041 12730368 2243 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3108 2243 1111 63 0 3045 0
vsize: 12432
[startup+560.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 212077 0 0 0 55401 596 0 0 25 0 1 0 654369041 11087872 2025 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2707 2025 1111 63 0 2644 0
vsize: 10828
[startup+570.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 215261 0 0 0 56393 604 0 0 25 0 1 0 654369041 11231232 2060 4294967295 134512640 134714508 3221221792 3221219416 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2742 2060 1111 63 0 2679 0
vsize: 10968
[startup+580.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 217568 0 0 0 57387 611 0 0 25 0 1 0 654369041 12218368 2131 4294967295 134512640 134714508 3221221792 3221218728 1075066480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2983 2131 1111 63 0 2920 0
vsize: 11932
[startup+590.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 220950 0 0 0 58379 619 0 0 25 0 1 0 654369041 11345920 2088 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2770 2088 1111 63 0 2707 0
vsize: 11080
[startup+600.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 224278 0 0 0 59372 626 0 0 25 0 1 0 654369041 11231232 2060 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2742 2060 1111 63 0 2679 0
vsize: 10968
[startup+610.046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 227029 0 0 0 60365 633 0 0 25 0 1 0 654369041 11231232 2060 4294967295 134512640 134714508 3221221792 3221220096 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2742 2060 1111 63 0 2679 0
vsize: 10968
[startup+620.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 229670 0 0 0 61359 640 0 0 25 0 1 0 654369041 11231232 2060 4294967295 134512640 134714508 3221221792 3221219752 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2742 2060 1111 63 0 2679 0
vsize: 10968
[startup+630.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 231938 0 0 0 62352 647 0 0 25 0 1 0 654369041 11231232 2060 4294967295 134512640 134714508 3221221792 3221220192 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2742 2060 1111 63 0 2679 0
vsize: 10968
[startup+640.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 235566 0 0 0 63343 656 0 0 25 0 1 0 654369041 11370496 2090 4294967295 134512640 134714508 3221221792 3221220192 1074153753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2776 2090 1111 63 0 2713 0
vsize: 11104
[startup+650.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 239383 0 0 0 64334 665 0 0 25 0 1 0 654369041 11423744 2107 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2107 1111 63 0 2726 0
vsize: 11156
[startup+660.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 243170 0 0 0 65325 675 0 0 25 0 1 0 654369041 11423744 2107 4294967295 134512640 134714508 3221221792 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2107 1111 63 0 2726 0
vsize: 11156
[startup+670.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 246632 0 0 0 66316 683 0 0 25 0 1 0 654369041 11915264 2195 4294967295 134512640 134714508 3221221792 3221219792 1074916715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2909 2195 1111 63 0 2846 0
vsize: 11636
[startup+680.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 250345 0 0 0 67305 694 0 0 25 0 1 0 654369041 11423744 2107 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2107 1111 63 0 2726 0
vsize: 11156
[startup+690.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 253842 0 0 0 68298 702 0 0 25 0 1 0 654369041 11423744 2107 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2107 1111 63 0 2726 0
vsize: 11156
[startup+700.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 257618 0 0 0 69288 712 0 0 25 0 1 0 654369041 11583488 2119 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2828 2119 1111 63 0 2765 0
vsize: 11312
[startup+710.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 261569 0 0 0 70277 723 0 0 25 0 1 0 654369041 11423744 2115 4294967295 134512640 134714508 3221221792 3221220088 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2115 1111 63 0 2726 0
vsize: 11156
[startup+720.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 264969 0 0 0 71267 733 0 0 25 0 1 0 654369041 11509760 2136 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2810 2136 1111 63 0 2747 0
vsize: 11240
[startup+730.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 267518 0 0 0 72261 739 0 0 25 0 1 0 654369041 11423744 2115 4294967295 134512640 134714508 3221221792 3221220096 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2115 1111 63 0 2726 0
vsize: 11156
[startup+740.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 271183 0 0 0 73252 748 0 0 25 0 1 0 654369041 11423744 2115 4294967295 134512640 134714508 3221221792 3221219760 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2115 1111 63 0 2726 0
vsize: 11156
[startup+750.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 275013 0 0 0 74244 757 0 0 25 0 1 0 654369041 11800576 2174 4294967295 134512640 134714508 3221221792 3221219704 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2881 2175 1111 63 0 2818 0
vsize: 11524
[startup+760.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 278345 0 0 0 75236 764 0 0 25 0 1 0 654369041 11423744 2115 4294967295 134512640 134714508 3221221792 3221220096 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2115 1111 63 0 2726 0
vsize: 11156
[startup+770.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 281773 0 0 0 76228 773 0 0 25 0 1 0 654369041 11423744 2115 4294967295 134512640 134714508 3221221792 3221219636 1077377189 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2115 1111 63 0 2726 0
vsize: 11156
[startup+780.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 285117 0 0 0 77219 782 0 0 25 0 1 0 654369041 11423744 2115 4294967295 134512640 134714508 3221221792 3221219720 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2115 1111 63 0 2726 0
vsize: 11156
[startup+790.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 288459 0 0 0 78211 790 0 0 25 0 1 0 654369041 11423744 2115 4294967295 134512640 134714508 3221221792 3221220048 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2115 1111 63 0 2726 0
vsize: 11156
[startup+800.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 291744 0 0 0 79203 798 0 0 25 0 1 0 654369041 12824576 2301 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3131 2301 1111 63 0 3068 0
vsize: 12524
[startup+810.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 295196 0 0 0 80195 807 0 0 25 0 1 0 654369041 11423744 2115 4294967295 134512640 134714508 3221221792 3221217840 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2115 1111 63 0 2726 0
vsize: 11156
[startup+820.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 298263 0 0 0 81187 815 0 0 25 0 1 0 654369041 11423744 2115 4294967295 134512640 134714508 3221221792 3221219672 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2115 1111 63 0 2726 0
vsize: 11156
[startup+830.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 301558 0 0 0 82178 824 0 0 25 0 1 0 654369041 11620352 2130 4294967295 134512640 134714508 3221221792 3221219536 1075636590 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2837 2130 1111 63 0 2774 0
vsize: 11348
[startup+840.051 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 304614 0 0 0 83170 832 0 0 25 0 1 0 654369041 11423744 2115 4294967295 134512640 134714508 3221221792 3221220096 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2115 1111 63 0 2726 0
vsize: 11156
[startup+850.052 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 307866 0 0 0 84161 841 0 0 25 0 1 0 654369041 11423744 2115 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2789 2115 1111 63 0 2726 0
vsize: 11156
[startup+860.051 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 311195 0 0 0 85152 851 0 0 25 0 1 0 654369041 12619776 2225 4294967295 134512640 134714508 3221221792 3221218064 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3081 2227 1111 63 0 3018 0
vsize: 12324
[startup+870.051 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 314241 0 0 0 86143 860 0 0 25 0 1 0 654369041 12554240 2205 4294967295 134512640 134714508 3221221792 3221217996 1075564289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3065 2205 1111 63 0 3002 0
vsize: 12260
[startup+880.052 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 317556 0 0 0 87135 868 0 0 25 0 1 0 654369041 11472896 2127 4294967295 134512640 134714508 3221221792 3221219252 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2801 2127 1111 63 0 2738 0
vsize: 11204
[startup+890.052 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 321445 0 0 0 88126 878 0 0 25 0 1 0 654369041 12140544 2272 4294967295 134512640 134714508 3221221792 3221219432 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2964 2276 1111 63 0 2901 0
vsize: 11856
[startup+900.053 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 325257 0 0 0 89116 887 0 0 25 0 1 0 654369041 11833344 2215 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2889 2215 1111 63 0 2826 0
vsize: 11556
[startup+910.052 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 329656 0 0 0 90105 898 0 0 25 0 1 0 654369041 11853824 2220 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2894 2220 1111 63 0 2831 0
vsize: 11576
[startup+920.053 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 333875 0 0 0 91093 910 0 0 25 0 1 0 654369041 11857920 2221 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2221 1111 63 0 2832 0
vsize: 11580
[startup+930.053 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 337906 0 0 0 92082 921 0 0 25 0 1 0 654369041 11886592 2228 4294967295 134512640 134714508 3221221792 3221220096 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2902 2228 1111 63 0 2839 0
vsize: 11608
[startup+940.054 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 341703 0 0 0 93072 931 0 0 25 0 1 0 654369041 11857920 2221 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2221 1111 63 0 2832 0
vsize: 11580
[startup+950.055 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 344112 0 0 0 94066 937 0 0 25 0 1 0 654369041 11857920 2221 4294967295 134512640 134714508 3221221792 3221220148 1074208592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2221 1111 63 0 2832 0
vsize: 11580
[startup+960.055 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 347867 0 0 0 95057 947 0 0 25 0 1 0 654369041 13406208 2486 4294967295 134512640 134714508 3221221792 3221218032 1075115752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3273 2486 1111 63 0 3210 0
vsize: 13092
[startup+970.055 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 351497 0 0 0 96046 958 0 0 25 0 1 0 654369041 13352960 2508 4294967295 134512640 134714508 3221221792 3221217700 1074786498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 2508 1111 63 0 3197 0
vsize: 13040
[startup+980.054 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 354901 0 0 0 97037 966 0 0 25 0 1 0 654369041 12079104 2275 4294967295 134512640 134714508 3221221792 3221220096 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2949 2275 1111 63 0 2886 0
vsize: 11796
[startup+990.055 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 358282 0 0 0 98029 975 0 0 25 0 1 0 654369041 13283328 2488 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3243 2488 1111 63 0 3180 0
vsize: 12972
[startup+1000.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 361993 0 0 0 99019 985 0 0 25 0 1 0 654369041 13295616 2482 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3246 2482 1111 63 0 3183 0
vsize: 12984
[startup+1010.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 365167 0 0 0 100011 993 0 0 25 0 1 0 654369041 11857920 2221 4294967295 134512640 134714508 3221221792 3221220128 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2895 2221 1111 63 0 2832 0
vsize: 11580
[startup+1020.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 368898 0 0 0 101002 1003 0 0 25 0 1 0 654369041 12066816 2272 4294967295 134512640 134714508 3221221792 3221220144 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2946 2272 1111 63 0 2883 0
vsize: 11784
[startup+1030.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 372688 0 0 0 101992 1012 0 0 25 0 1 0 654369041 11993088 2253 4294967295 134512640 134714508 3221221792 3221220128 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2928 2253 1111 63 0 2865 0
vsize: 11712
[startup+1040.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 376479 0 0 0 102983 1022 0 0 25 0 1 0 654369041 11993088 2254 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2928 2254 1111 63 0 2865 0
vsize: 11712
[startup+1050.06 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 380194 0 0 0 103974 1031 0 0 25 0 1 0 654369041 12673024 2410 4294967295 134512640 134714508 3221221792 3221220072 1074138315 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3094 2410 1111 63 0 3031 0
vsize: 12376
[startup+1060.06 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 384126 0 0 0 104967 1038 0 0 25 0 1 0 654369041 13402112 2510 4294967295 134512640 134714508 3221221792 3221217952 1074794557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3272 2510 1111 63 0 3209 0
vsize: 13088
[startup+1070.06 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 387790 0 0 0 105957 1048 0 0 25 0 1 0 654369041 12812288 2453 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3128 2453 1111 63 0 3065 0
vsize: 12512
[startup+1076.77 s]
Raw data (loadavg): 0.99 1.00 0.99 1/53 8856
Raw data (stat): 8854 (bsolo_lpr) R 8853 7876 7672 0 -1 0 387790 0 0 0 105957 1048 0 0 25 0 1 0 654369041 12812288 2453 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3128 2453 1111 63 0 3065 0
vsize: 0

Child status: 30
Real time (s): 1076.77
CPU time (s): 1076.77
CPU user time (s): 1066.23
CPU system time (s): 10.5444
CPU usage (%): 100
Max. virtual memory (Kb): 13092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	15
#### END VERIFIER DATA ####