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 23488

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 04:21:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=623 boxname=wulflinc31 idbench=70 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  43952ea8e0659c6ffd861c99c0b605de  /oldhome/oroussel/tmp/wulflinc31/normalized-jac3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-jac3.opb
IDLAUNCH: 623
/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:         41416 kB
Cached:          55424 kB
SwapCached:        944 kB
Active:          80904 kB
Inactive:        18408 kB
HighTotal:      131008 kB
HighFree:        74564 kB
LowTotal:       903652 kB
LowFree:        841052 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14232 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 04:35:10 (client local time) WITH STATUS 30 IN 821.337 SECONDS
stats: 623 0 821.337 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.528 s
c Initial Lower Bound: 15
c Lower Bound Elapsed time: 1.46075
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1506 @ 11.054
c NEW SOLUTION FOUND: 1505 @ 11.096
c NEW SOLUTION FOUND: 1504 @ 11.118
c NEW SOLUTION FOUND: 1503 @ 11.139
c NEW SOLUTION FOUND: 1502 @ 11.161
c NEW SOLUTION FOUND: 1501 @ 11.182
c NEW SOLUTION FOUND: 1500 @ 11.204
c NEW SOLUTION FOUND: 1499 @ 11.226
c NEW SOLUTION FOUND: 1498 @ 11.247
c NEW SOLUTION FOUND: 1497 @ 11.269
c NEW SOLUTION FOUND: 1496 @ 11.29
c NEW SOLUTION FOUND: 1495 @ 11.312
c NEW SOLUTION FOUND: 1494 @ 11.333
c NEW SOLUTION FOUND: 1493 @ 11.355
c NEW SOLUTION FOUND: 1492 @ 11.376
c NEW SOLUTION FOUND: 1491 @ 11.398
c NEW SOLUTION FOUND: 1490 @ 11.42
c NEW SOLUTION FOUND: 1489 @ 11.442
c NEW SOLUTION FOUND: 1488 @ 11.464
c NEW SOLUTION FOUND: 1487 @ 11.485
c NEW SOLUTION FOUND: 1486 @ 11.507
c NEW SOLUTION FOUND: 1485 @ 11.528
c NEW SOLUTION FOUND: 1484 @ 11.55
c NEW SOLUTION FOUND: 1483 @ 11.571
c NEW SOLUTION FOUND: 1482 @ 11.593
c NEW SOLUTION FOUND: 1481 @ 11.614
c NEW SOLUTION FOUND: 1480 @ 11.636
c NEW SOLUTION FOUND: 1479 @ 11.658
c NEW SOLUTION FOUND: 1478 @ 11.679
c NEW SOLUTION FOUND: 1477 @ 11.701
c NEW SOLUTION FOUND: 1476 @ 11.722
c NEW SOLUTION FOUND: 1475 @ 11.744
c NEW SOLUTION FOUND: 1474 @ 11.765
c NEW SOLUTION FOUND: 1473 @ 11.787
c NEW SOLUTION FOUND: 1472 @ 11.808
c NEW SOLUTION FOUND: 1471 @ 11.83
c NEW SOLUTION FOUND: 1470 @ 11.851
c NEW SOLUTION FOUND: 1469 @ 11.873
c NEW SOLUTION FOUND: 1468 @ 11.894
c NEW SOLUTION FOUND: 1467 @ 11.916
c NEW SOLUTION FOUND: 1466 @ 11.937
c NEW SOLUTION FOUND: 1465 @ 11.959
c NEW SOLUTION FOUND: 1464 @ 11.98
c NEW SOLUTION FOUND: 1463 @ 12.002
c NEW SOLUTION FOUND: 1462 @ 12.023
c NEW SOLUTION FOUND: 1461 @ 12.044
c NEW SOLUTION FOUND: 1460 @ 12.066
c NEW SOLUTION FOUND: 1459 @ 12.087
c NEW SOLUTION FOUND: 1458 @ 12.109
c NEW SOLUTION FOUND: 1457 @ 12.13
c NEW SOLUTION FOUND: 1456 @ 12.152
c NEW SOLUTION FOUND: 1455 @ 12.173
c NEW SOLUTION FOUND: 1454 @ 12.195
c NEW SOLUTION FOUND: 1453 @ 12.216
c NEW SOLUTION FOUND: 1452 @ 12.238
c NEW SOLUTION FOUND: 1451 @ 12.259
c NEW SOLUTION FOUND: 1450 @ 12.281
c NEW SOLUTION FOUND: 1449 @ 12.302
c NEW SOLUTION FOUND: 1448 @ 12.323
c NEW SOLUTION FOUND: 1447 @ 12.345
c NEW SOLUTION FOUND: 1446 @ 12.366
c NEW SOLUTION FOUND: 1445 @ 12.388
c NEW SOLUTION FOUND: 1444 @ 12.409
c NEW SOLUTION FOUND: 1443 @ 12.431
c NEW SOLUTION FOUND: 1442 @ 12.452
c NEW SOLUTION FOUND: 1441 @ 12.474
c NEW SOLUTION FOUND: 1440 @ 12.495
c NEW SOLUTION FOUND: 1439 @ 12.517
c NEW SOLUTION FOUND: 1438 @ 12.538
c NEW SOLUTION FOUND: 1437 @ 12.559
c NEW SOLUTION FOUND: 1436 @ 12.581
c NEW SOLUTION FOUND: 1435 @ 12.602
c NEW SOLUTION FOUND: 1434 @ 12.624
c NEW SOLUTION FOUND: 1433 @ 12.645
c NEW SOLUTION FOUND: 1432 @ 12.666
c NEW SOLUTION FOUND: 1431 @ 12.688
c NEW SOLUTION FOUND: 1430 @ 12.709
c NEW SOLUTION FOUND: 1429 @ 12.731
c NEW SOLUTION FOUND: 1428 @ 12.752
c NEW SOLUTION FOUND: 1427 @ 12.774
c NEW SOLUTION FOUND: 1426 @ 12.795
c NEW SOLUTION FOUND: 1425 @ 12.816
c NEW SOLUTION FOUND: 1424 @ 12.838
c NEW SOLUTION FOUND: 1423 @ 12.859
c NEW SOLUTION FOUND: 1422 @ 12.88
c NEW SOLUTION FOUND: 1421 @ 12.902
c NEW SOLUTION FOUND: 1420 @ 12.923
c NEW SOLUTION FOUND: 1419 @ 12.945
c NEW SOLUTION FOUND: 1418 @ 12.966
c NEW SOLUTION FOUND: 1417 @ 12.988
c NEW SOLUTION FOUND: 1416 @ 13.009
c NEW SOLUTION FOUND: 1415 @ 13.03
c NEW SOLUTION FOUND: 1414 @ 13.052
c NEW SOLUTION FOUND: 1413 @ 13.073
c NEW SOLUTION FOUND: 1412 @ 13.094
c NEW SOLUTION FOUND: 1411 @ 13.116
c NEW SOLUTION FOUND: 1410 @ 13.137
c NEW SOLUTION FOUND: 1409 @ 13.158
c NEW SOLUTION FOUND: 1408 @ 13.179
c NEW SOLUTION FOUND: 1407 @ 13.201
c NEW SOLUTION FOUND: 1406 @ 13.222
c NEW SOLUTION FOUND: 1405 @ 13.244
c NEW SOLUTION FOUND: 1404 @ 13.265
c NEW SOLUTION FOUND: 1403 @ 13.286
c NEW SOLUTION FOUND: 1402 @ 13.307
c NEW SOLUTION FOUND: 1401 @ 13.329
c NEW SOLUTION FOUND: 1400 @ 13.35
c NEW SOLUTION FOUND: 1399 @ 13.37
c NEW SOLUTION FOUND: 1398 @ 13.392
c NEW SOLUTION FOUND: 1397 @ 13.413
c NEW SOLUTION FOUND: 1396 @ 13.434
c NEW SOLUTION FOUND: 1395 @ 13.456
c NEW SOLUTION FOUND: 1394 @ 13.477
c NEW SOLUTION FOUND: 1393 @ 13.498
c NEW SOLUTION FOUND: 1392 @ 13.519
c NEW SOLUTION FOUND: 1391 @ 13.54
c NEW SOLUTION FOUND: 1390 @ 13.562
c NEW SOLUTION FOUND: 1389 @ 13.583
c NEW SOLUTION FOUND: 1388 @ 13.604
c NEW SOLUTION FOUND: 1387 @ 13.626
c NEW SOLUTION FOUND: 1386 @ 13.647
c NEW SOLUTION FOUND: 1385 @ 13.668
c NEW SOLUTION FOUND: 1384 @ 13.689
c NEW SOLUTION FOUND: 1383 @ 13.711
c NEW SOLUTION FOUND: 1382 @ 13.732
c NEW SOLUTION FOUND: 1381 @ 13.753
c NEW SOLUTION FOUND: 1380 @ 13.774
c NEW SOLUTION FOUND: 1379 @ 13.795
c NEW SOLUTION FOUND: 1378 @ 13.816
c NEW SOLUTION FOUND: 1377 @ 13.838
c NEW SOLUTION FOUND: 1376 @ 13.859
c NEW SOLUTION FOUND: 1375 @ 13.88
c NEW SOLUTION FOUND: 1374 @ 13.901
c NEW SOLUTION FOUND: 1373 @ 13.922
c NEW SOLUTION FOUND: 1372 @ 13.943
c NEW SOLUTION FOUND: 1371 @ 13.965
c NEW SOLUTION FOUND: 1370 @ 13.986
c NEW SOLUTION FOUND: 1369 @ 14.007
c NEW SOLUTION FOUND: 1368 @ 14.028
c NEW SOLUTION FOUND: 1367 @ 14.049
c NEW SOLUTION FOUND: 1366 @ 14.07
c NEW SOLUTION FOUND: 1365 @ 14.091
c NEW SOLUTION FOUND: 1364 @ 14.112
c NEW SOLUTION FOUND: 1363 @ 14.133
c NEW SOLUTION FOUND: 1362 @ 14.154
c NEW SOLUTION FOUND: 1361 @ 14.176
c NEW SOLUTION FOUND: 1360 @ 14.197
c NEW SOLUTION FOUND: 1359 @ 14.218
c NEW SOLUTION FOUND: 1358 @ 14.239
c NEW SOLUTION FOUND: 1357 @ 14.26
c NEW SOLUTION FOUND: 1356 @ 14.281
c NEW SOLUTION FOUND: 1355 @ 14.302
c NEW SOLUTION FOUND: 1354 @ 14.323
c NEW SOLUTION FOUND: 1353 @ 14.344
c NEW SOLUTION FOUND: 1352 @ 14.365
c NEW SOLUTION FOUND: 1351 @ 14.386
c NEW SOLUTION FOUND: 1350 @ 14.407
c NEW SOLUTION FOUND: 1349 @ 14.428
c NEW SOLUTION FOUND: 1348 @ 14.449
c NEW SOLUTION FOUND: 1347 @ 14.47
c NEW SOLUTION FOUND: 1346 @ 14.491
c NEW SOLUTION FOUND: 1345 @ 14.512
c NEW SOLUTION FOUND: 1344 @ 14.533
c NEW SOLUTION FOUND: 1343 @ 14.554
c NEW SOLUTION FOUND: 1342 @ 14.575
c NEW SOLUTION FOUND: 1341 @ 14.596
c NEW SOLUTION FOUND: 1340 @ 14.617
c NEW SOLUTION FOUND: 1339 @ 14.638
c NEW SOLUTION FOUND: 1338 @ 14.659
c NEW SOLUTION FOUND: 1337 @ 14.68
c NEW SOLUTION FOUND: 1336 @ 14.701
c NEW SOLUTION FOUND: 1335 @ 14.722
c NEW SOLUTION FOUND: 1334 @ 14.743
c NEW SOLUTION FOUND: 1333 @ 14.764
c NEW SOLUTION FOUND: 1332 @ 14.785
c NEW SOLUTION FOUND: 1331 @ 14.806
c NEW SOLUTION FOUND: 1330 @ 14.826
c NEW SOLUTION FOUND: 1329 @ 14.847
c NEW SOLUTION FOUND: 1328 @ 14.868
c NEW SOLUTION FOUND: 1327 @ 14.889
c NEW SOLUTION FOUND: 1326 @ 14.91
c NEW SOLUTION FOUND: 1325 @ 14.931
c NEW SOLUTION FOUND: 1324 @ 14.953
c NEW SOLUTION FOUND: 1323 @ 14.974
c NEW SOLUTION FOUND: 1322 @ 14.995
c NEW SOLUTION FOUND: 1321 @ 15.016
c NEW SOLUTION FOUND: 1320 @ 15.037
c NEW SOLUTION FOUND: 1319 @ 15.058
c NEW SOLUTION FOUND: 1318 @ 15.079
c NEW SOLUTION FOUND: 1317 @ 15.099
c NEW SOLUTION FOUND: 1316 @ 15.12
c NEW SOLUTION FOUND: 1315 @ 15.141
c NEW SOLUTION FOUND: 1314 @ 15.162
c NEW SOLUTION FOUND: 1313 @ 15.183
c NEW SOLUTION FOUND: 1312 @ 15.203
c NEW SOLUTION FOUND: 1311 @ 15.224
c NEW SOLUTION FOUND: 1310 @ 15.245
c NEW SOLUTION FOUND: 1309 @ 15.266
c NEW SOLUTION FOUND: 1308 @ 15.287
c NEW SOLUTION FOUND: 1307 @ 15.308
c NEW SOLUTION FOUND: 1306 @ 15.329
c NEW SOLUTION FOUND: 1305 @ 15.35
c NEW SOLUTION FOUND: 1304 @ 15.371
c NEW SOLUTION FOUND: 1303 @ 15.391
c NEW SOLUTION FOUND: 1302 @ 15.412
c NEW SOLUTION FOUND: 1301 @ 15.433
c NEW SOLUTION FOUND: 1300 @ 15.454
c NEW SOLUTION FOUND: 1299 @ 15.475
c NEW SOLUTION FOUND: 1298 @ 15.495
c NEW SOLUTION FOUND: 1297 @ 15.516
c NEW SOLUTION FOUND: 1296 @ 15.537
c NEW SOLUTION FOUND: 1295 @ 15.558
c NEW SOLUTION FOUND: 1294 @ 15.578
c NEW SOLUTION FOUND: 1293 @ 15.599
c NEW SOLUTION FOUND: 1292 @ 15.62
c NEW SOLUTION FOUND: 1291 @ 15.641
c NEW SOLUTION FOUND: 1290 @ 15.662
c NEW SOLUTION FOUND: 1289 @ 15.683
c NEW SOLUTION FOUND: 1288 @ 15.703
c NEW SOLUTION FOUND: 1287 @ 15.724
c NEW SOLUTION FOUND: 1286 @ 15.745
c NEW SOLUTION FOUND: 1285 @ 15.766
c NEW SOLUTION FOUND: 1284 @ 15.786
c NEW SOLUTION FOUND: 1283 @ 15.807
c NEW SOLUTION FOUND: 1282 @ 15.828
c NEW SOLUTION FOUND: 1281 @ 15.849
c NEW SOLUTION FOUND: 1280 @ 15.87
c NEW SOLUTION FOUND: 1279 @ 15.89
c NEW SOLUTION FOUND: 1278 @ 15.911
c NEW SOLUTION FOUND: 1277 @ 15.932
c NEW SOLUTION FOUND: 1276 @ 15.952
c NEW SOLUTION FOUND: 1275 @ 15.973
c NEW SOLUTION FOUND: 1274 @ 15.994
c NEW SOLUTION FOUND: 1273 @ 16.015
c NEW SOLUTION FOUND: 1272 @ 16.035
c NEW SOLUTION FOUND: 1271 @ 16.056
c NEW SOLUTION FOUND: 1270 @ 16.077
c NEW SOLUTION FOUND: 1269 @ 16.097
c NEW SOLUTION FOUND: 1268 @ 16.118
c NEW SOLUTION FOUND: 1267 @ 16.139
c NEW SOLUTION FOUND: 1266 @ 16.159
c NEW SOLUTION FOUND: 1265 @ 16.18
c NEW SOLUTION FOUND: 1264 @ 16.201
c NEW SOLUTION FOUND: 1263 @ 16.221
c NEW SOLUTION FOUND: 1262 @ 16.242
c NEW SOLUTION FOUND: 1261 @ 16.263
c NEW SOLUTION FOUND: 1260 @ 16.283
c NEW SOLUTION FOUND: 1259 @ 16.304
c NEW SOLUTION FOUND: 1258 @ 16.325
c NEW SOLUTION FOUND: 1257 @ 16.345
c NEW SOLUTION FOUND: 1256 @ 16.366
c NEW SOLUTION FOUND: 1255 @ 16.387
c NEW SOLUTION FOUND: 1254 @ 16.407
c NEW SOLUTION FOUND: 1253 @ 16.428
c NEW SOLUTION FOUND: 1252 @ 16.449
c NEW SOLUTION FOUND: 1251 @ 16.469
c NEW SOLUTION FOUND: 1250 @ 16.49
c NEW SOLUTION FOUND: 1249 @ 16.511
c NEW SOLUTION FOUND: 1248 @ 16.531
c NEW SOLUTION FOUND: 1247 @ 16.552
c NEW SOLUTION FOUND: 1246 @ 16.572
c NEW SOLUTION FOUND: 1245 @ 16.593
c NEW SOLUTION FOUND: 1244 @ 16.613
c NEW SOLUTION FOUND: 1243 @ 16.634
c NEW SOLUTION FOUND: 1242 @ 16.654
c NEW SOLUTION FOUND: 1241 @ 16.675
c NEW SOLUTION FOUND: 1240 @ 16.696
c NEW SOLUTION FOUND: 1239 @ 16.716
c NEW SOLUTION FOUND: 1238 @ 16.737
c NEW SOLUTION FOUND: 1237 @ 16.757
c NEW SOLUTION FOUND: 1236 @ 16.778
c NEW SOLUTION FOUND: 1235 @ 16.798
c NEW SOLUTION FOUND: 1234 @ 16.819
c NEW SOLUTION FOUND: 1233 @ 16.839
c NEW SOLUTION FOUND: 1232 @ 16.86
c NEW SOLUTION FOUND: 1231 @ 16.88
c NEW SOLUTION FOUND: 1230 @ 16.901
c NEW SOLUTION FOUND: 1229 @ 16.921
c NEW SOLUTION FOUND: 1228 @ 16.942
c NEW SOLUTION FOUND: 1227 @ 16.962
c NEW SOLUTION FOUND: 1226 @ 16.983
c NEW SOLUTION FOUND: 1225 @ 17.003
c NEW SOLUTION FOUND: 1224 @ 17.024
c NEW SOLUTION FOUND: 1223 @ 17.044
c NEW SOLUTION FOUND: 1222 @ 17.065
c NEW SOLUTION FOUND: 1221 @ 17.085
c NEW SOLUTION FOUND: 1220 @ 17.106
c NEW SOLUTION FOUND: 1219 @ 17.126
c NEW SOLUTION FOUND: 1218 @ 17.147
c NEW SOLUTION FOUND: 1217 @ 17.167
c NEW SOLUTION FOUND: 1216 @ 17.188
c NEW SOLUTION FOUND: 1215 @ 17.208
c NEW SOLUTION FOUND: 1214 @ 17.229
c NEW SOLUTION FOUND: 1213 @ 17.249
c NEW SOLUTION FOUND: 1212 @ 17.27
c NEW SOLUTION FOUND: 1211 @ 17.29
c NEW SOLUTION FOUND: 1210 @ 17.31
c NEW SOLUTION FOUND: 1209 @ 17.331
c NEW SOLUTION FOUND: 1208 @ 17.351
c NEW SOLUTION FOUND: 1207 @ 17.372
c NEW SOLUTION FOUND: 1206 @ 17.393
c NEW SOLUTION FOUND: 1205 @ 17.414
c NEW SOLUTION FOUND: 1204 @ 17.434
c NEW SOLUTION FOUND: 1203 @ 17.455
c NEW SOLUTION FOUND: 1202 @ 17.475
c NEW SOLUTION FOUND: 1201 @ 17.495
c NEW SOLUTION FOUND: 1200 @ 17.516
c NEW SOLUTION FOUND: 1199 @ 17.536
c NEW SOLUTION FOUND: 1198 @ 17.556
c NEW SOLUTION FOUND: 1197 @ 17.577
c NEW SOLUTION FOUND: 1196 @ 17.597
c NEW SOLUTION FOUND: 1195 @ 17.617
c NEW SOLUTION FOUND: 1194 @ 17.638
c NEW SOLUTION FOUND: 1193 @ 17.659
c NEW SOLUTION FOUND: 1192 @ 17.679
c NEW SOLUTION FOUND: 1191 @ 17.699
c NEW SOLUTION FOUND: 1190 @ 17.719
c NEW SOLUTION FOUND: 1189 @ 17.74
c NEW SOLUTION FOUND: 1188 @ 17.76
c NEW SOLUTION FOUND: 1187 @ 17.78
c NEW SOLUTION FOUND: 1186 @ 17.801
c NEW SOLUTION FOUND: 1185 @ 17.821
c NEW SOLUTION FOUND: 1184 @ 17.841
c NEW SOLUTION FOUND: 1183 @ 17.862
c NEW SOLUTION FOUND: 1182 @ 17.882
c NEW SOLUTION FOUND: 1181 @ 17.902
c NEW SOLUTION FOUND: 1180 @ 17.922
c NEW SOLUTION FOUND: 1179 @ 17.943
c NEW SOLUTION FOUND: 1178 @ 17.963
c NEW SOLUTION FOUND: 1177 @ 17.983
c NEW SOLUTION FOUND: 1176 @ 18.003
c NEW SOLUTION FOUND: 1175 @ 18.024
c NEW SOLUTION FOUND: 1174 @ 18.044
c NEW SOLUTION FOUND: 1173 @ 18.064
c NEW SOLUTION FOUND: 1172 @ 18.084
c NEW SOLUTION FOUND: 1171 @ 18.105
c NEW SOLUTION FOUND: 1170 @ 18.125
c NEW SOLUTION FOUND: 1169 @ 18.145
c NEW SOLUTION FOUND: 1168 @ 18.165
c NEW SOLUTION FOUND: 1167 @ 18.186
c NEW SOLUTION FOUND: 1166 @ 18.206
c NEW SOLUTION FOUND: 1165 @ 18.226
c NEW SOLUTION FOUND: 1164 @ 18.246
c NEW SOLUTION FOUND: 1163 @ 18.266
c NEW SOLUTION FOUND: 1162 @ 18.286
c NEW SOLUTION FOUND: 1161 @ 18.307
c NEW SOLUTION FOUND: 1160 @ 18.327
c NEW SOLUTION FOUND: 1159 @ 18.347
c NEW SOLUTION FOUND: 1158 @ 18.367
c NEW SOLUTION FOUND: 1157 @ 18.387
c NEW SOLUTION FOUND: 1156 @ 18.407
c NEW SOLUTION FOUND: 1155 @ 18.427
c NEW SOLUTION FOUND: 1154 @ 18.447
c NEW SOLUTION FOUND: 1153 @ 18.468
c NEW SOLUTION FOUND: 1152 @ 18.488
c NEW SOLUTION FOUND: 1151 @ 18.508
c NEW SOLUTION FOUND: 1150 @ 18.528
c NEW SOLUTION FOUND: 1149 @ 18.548
c NEW SOLUTION FOUND: 1148 @ 18.568
c NEW SOLUTION FOUND: 1147 @ 18.588
c NEW SOLUTION FOUND: 1146 @ 18.608
c NEW SOLUTION FOUND: 1145 @ 18.628
c NEW SOLUTION FOUND: 1144 @ 18.648
c NEW SOLUTION FOUND: 1143 @ 18.669
c NEW SOLUTION FOUND: 1142 @ 18.689
c NEW SOLUTION FOUND: 1141 @ 18.709
c NEW SOLUTION FOUND: 1140 @ 18.729
c NEW SOLUTION FOUND: 1139 @ 18.749
c NEW SOLUTION FOUND: 1138 @ 18.769
c NEW SOLUTION FOUND: 1137 @ 18.789
c NEW SOLUTION FOUND: 1136 @ 18.809
c NEW SOLUTION FOUND: 1135 @ 18.829
c NEW SOLUTION FOUND: 1134 @ 18.849
c NEW SOLUTION FOUND: 1133 @ 18.869
c NEW SOLUTION FOUND: 1132 @ 18.889
c NEW SOLUTION FOUND: 1131 @ 18.909
c NEW SOLUTION FOUND: 1130 @ 18.929
c NEW SOLUTION FOUND: 1129 @ 18.949
c NEW SOLUTION FOUND: 1128 @ 18.969
c NEW SOLUTION FOUND: 1127 @ 18.989
c NEW SOLUTION FOUND: 1126 @ 19.009
c NEW SOLUTION FOUND: 1125 @ 19.029
c NEW SOLUTION FOUND: 1124 @ 19.049
c NEW SOLUTION FOUND: 1123 @ 19.069
c NEW SOLUTION FOUND: 1122 @ 19.089
c NEW SOLUTION FOUND: 1121 @ 19.109
c NEW SOLUTION FOUND: 1120 @ 19.129
c NEW SOLUTION FOUND: 1119 @ 19.15
c NEW SOLUTION FOUND: 1118 @ 19.169
c NEW SOLUTION FOUND: 1117 @ 19.189
c NEW SOLUTION FOUND: 1116 @ 19.209
c NEW SOLUTION FOUND: 1115 @ 19.229
c NEW SOLUTION FOUND: 1114 @ 19.249
c NEW SOLUTION FOUND: 1113 @ 19.269
c NEW SOLUTION FOUND: 1112 @ 19.289
c NEW SOLUTION FOUND: 1111 @ 19.309
c NEW SOLUTION FOUND: 1110 @ 19.329
c NEW SOLUTION FOUND: 1109 @ 19.349
c NEW SOLUTION FOUND: 1108 @ 19.369
c NEW SOLUTION FOUND: 1107 @ 19.389
c NEW SOLUTION FOUND: 1106 @ 19.409
c NEW SOLUTION FOUND: 1105 @ 19.429
c NEW SOLUTION FOUND: 1104 @ 19.449
c NEW SOLUTION FOUND: 1103 @ 19.469
c NEW SOLUTION FOUND: 1102 @ 19.488
c NEW SOLUTION FOUND: 1101 @ 19.508
c NEW SOLUTION FOUND: 1100 @ 19.528
c NEW SOLUTION FOUND: 1099 @ 19.548
c NEW SOLUTION FOUND: 1098 @ 19.568
c NEW SOLUTION FOUND: 1097 @ 19.588
c NEW SOLUTION FOUND: 1096 @ 19.608
c NEW SOLUTION FOUND: 1095 @ 19.628
c NEW SOLUTION FOUND: 1094 @ 19.648
c NEW SOLUTION FOUND: 1093 @ 19.668
c NEW SOLUTION FOUND: 1092 @ 19.688
c NEW SOLUTION FOUND: 1091 @ 19.707
c NEW SOLUTION FOUND: 1090 @ 19.727
c NEW SOLUTION FOUND: 1089 @ 19.747
c NEW SOLUTION FOUND: 1088 @ 19.767
c NEW SOLUTION FOUND: 1087 @ 19.787
c NEW SOLUTION FOUND: 1086 @ 19.807
c NEW SOLUTION FOUND: 1085 @ 19.827
c NEW SOLUTION FOUND: 1084 @ 19.846
c NEW SOLUTION FOUND: 1083 @ 19.866
c NEW SOLUTION FOUND: 1082 @ 19.886
c NEW SOLUTION FOUND: 1081 @ 19.906
c NEW SOLUTION FOUND: 1080 @ 19.926
c NEW SOLUTION FOUND: 1079 @ 19.946
c NEW SOLUTION FOUND: 1078 @ 19.966
c NEW SOLUTION FOUND: 1077 @ 19.985
c NEW SOLUTION FOUND: 1076 @ 20.005
c NEW SOLUTION FOUND: 1075 @ 20.025
c NEW SOLUTION FOUND: 1074 @ 20.045
c NEW SOLUTION FOUND: 1073 @ 20.065
c NEW SOLUTION FOUND: 1072 @ 20.084
c NEW SOLUTION FOUND: 1071 @ 20.104
c NEW SOLUTION FOUND: 1070 @ 20.123
c NEW SOLUTION FOUND: 1069 @ 20.143
c NEW SOLUTION FOUND: 1068 @ 20.162
c NEW SOLUTION FOUND: 1067 @ 20.182
c NEW SOLUTION FOUND: 1066 @ 20.202
c NEW SOLUTION FOUND: 1065 @ 20.222
c NEW SOLUTION FOUND: 1064 @ 20.241
c NEW SOLUTION FOUND: 1063 @ 20.261
c NEW SOLUTION FOUND: 1062 @ 20.281
c NEW SOLUTION FOUND: 1061 @ 20.301
c NEW SOLUTION FOUND: 1060 @ 20.321
c NEW SOLUTION FOUND: 1059 @ 20.34
c NEW SOLUTION FOUND: 1058 @ 20.36
c NEW SOLUTION FOUND: 1057 @ 20.38
c NEW SOLUTION FOUND: 1056 @ 20.399
c NEW SOLUTION FOUND: 1055 @ 20.419
c NEW SOLUTION FOUND: 1054 @ 20.439
c NEW SOLUTION FOUND: 1053 @ 20.458
c NEW SOLUTION FOUND: 1052 @ 20.478
c NEW SOLUTION FOUND: 1051 @ 20.498
c NEW SOLUTION FOUND: 1050 @ 20.517
c NEW SOLUTION FOUND: 1049 @ 20.537
c NEW SOLUTION FOUND: 1048 @ 20.557
c NEW SOLUTION FOUND: 1047 @ 20.576
c NEW SOLUTION FOUND: 1046 @ 20.596
c NEW SOLUTION FOUND: 1045 @ 20.615
c NEW SOLUTION FOUND: 1044 @ 20.635
c NEW SOLUTION FOUND: 1043 @ 20.655
c NEW SOLUTION FOUND: 1042 @ 20.674
c NEW SOLUTION FOUND: 1041 @ 20.694
c NEW SOLUTION FOUND: 1040 @ 20.713
c NEW SOLUTION FOUND: 1039 @ 20.733
c NEW SOLUTION FOUND: 1038 @ 20.753
c NEW SOLUTION FOUND: 1037 @ 20.772
c NEW SOLUTION FOUND: 1036 @ 20.792
c NEW SOLUTION FOUND: 1035 @ 20.811
c NEW SOLUTION FOUND: 1034 @ 20.831
c NEW SOLUTION FOUND: 1033 @ 20.851
c NEW SOLUTION FOUND: 1032 @ 20.87
c NEW SOLUTION FOUND: 1031 @ 20.89
c NEW SOLUTION FOUND: 1030 @ 20.909
c NEW SOLUTION FOUND: 1029 @ 20.929
c NEW SOLUTION FOUND: 1028 @ 20.948
c NEW SOLUTION FOUND: 1027 @ 20.968
c NEW SOLUTION FOUND: 1026 @ 20.987
c NEW SOLUTION FOUND: 1025 @ 21.007
c NEW SOLUTION FOUND: 1024 @ 21.026
c NEW SOLUTION FOUND: 1023 @ 21.046
c NEW SOLUTION FOUND: 1022 @ 21.066
c NEW SOLUTION FOUND: 1021 @ 21.085
c NEW SOLUTION FOUND: 1020 @ 21.105
c NEW SOLUTION FOUND: 1019 @ 21.124
c NEW SOLUTION FOUND: 1018 @ 21.143
c NEW SOLUTION FOUND: 1017 @ 21.163
c NEW SOLUTION FOUND: 1016 @ 21.182
c NEW SOLUTION FOUND: 1015 @ 21.202
c NEW SOLUTION FOUND: 1014 @ 21.221
c NEW SOLUTION FOUND: 1013 @ 21.241
c NEW SOLUTION FOUND: 1012 @ 21.26
c NEW SOLUTION FOUND: 1011 @ 21.28
c NEW SOLUTION FOUND: 1010 @ 21.299
c NEW SOLUTION FOUND: 1009 @ 21.319
c NEW SOLUTION FOUND: 1008 @ 21.338
c NEW SOLUTION FOUND: 1007 @ 21.358
c NEW SOLUTION FOUND: 1006 @ 21.377
c NEW SOLUTION FOUND: 1005 @ 21.397
c NEW SOLUTION FOUND: 1004 @ 21.416
c NEW SOLUTION FOUND: 1003 @ 21.435
c NEW SOLUTION FOUND: 1002 @ 21.455
c NEW SOLUTION FOUND: 1001 @ 21.474
c NEW SOLUTION FOUND: 1000 @ 21.494
c NEW SOLUTION FOUND: 999 @ 21.513
c NEW SOLUTION FOUND: 998 @ 21.532
c NEW SOLUTION FOUND: 997 @ 21.552
c NEW SOLUTION FOUND: 996 @ 21.572
c NEW SOLUTION FOUND: 995 @ 21.591
c NEW SOLUTION FOUND: 994 @ 21.61
c NEW SOLUTION FOUND: 993 @ 21.63
c NEW SOLUTION FOUND: 992 @ 21.65
c NEW SOLUTION FOUND: 991 @ 21.669
c NEW SOLUTION FOUND: 990 @ 21.688
c NEW SOLUTION FOUND: 989 @ 21.708
c NEW SOLUTION FOUND: 988 @ 21.727
c NEW SOLUTION FOUND: 987 @ 21.746
c NEW SOLUTION FOUND: 986 @ 21.766
c NEW SOLUTION FOUND: 985 @ 21.785
c NEW SOLUTION FOUND: 984 @ 21.804
c NEW SOLUTION FOUND: 983 @ 21.824
c NEW SOLUTION FOUND: 982 @ 21.843
c NEW SOLUTION FOUND: 981 @ 21.862
c NEW SOLUTION FOUND: 980 @ 21.882
c NEW SOLUTION FOUND: 979 @ 21.901
c NEW SOLUTION FOUND: 978 @ 21.92
c NEW SOLUTION FOUND: 977 @ 21.94
c NEW SOLUTION FOUND: 976 @ 21.959
c NEW SOLUTION FOUND: 975 @ 21.978
c NEW SOLUTION FOUND: 974 @ 21.998
c NEW SOLUTION FOUND: 973 @ 22.017
c NEW SOLUTION FOUND: 972 @ 22.036
c NEW SOLUTION FOUND: 971 @ 22.055
c NEW SOLUTION FOUND: 970 @ 22.075
c NEW SOLUTION FOUND: 969 @ 22.094
c NEW SOLUTION FOUND: 968 @ 22.113
c NEW SOLUTION FOUND: 967 @ 22.132
c NEW SOLUTION FOUND: 966 @ 22.152
c NEW SOLUTION FOUND: 965 @ 22.171
c NEW SOLUTION FOUND: 964 @ 22.19
c NEW SOLUTION FOUND: 963 @ 22.212
c NEW SOLUTION FOUND: 962 @ 22.235
c NEW SOLUTION FOUND: 961 @ 22.256
c NEW SOLUTION FOUND: 960 @ 22.278
c NEW SOLUTION FOUND: 959 @ 22.3
c NEW SOLUTION FOUND: 958 @ 22.323
c NEW SOLUTION FOUND: 957 @ 22.345
c NEW SOLUTION FOUND: 956 @ 22.367
c NEW SOLUTION FOUND: 955 @ 22.389
c NEW SOLUTION FOUND: 954 @ 22.411
c NEW SOLUTION FOUND: 953 @ 22.433
c NEW SOLUTION FOUND: 952 @ 22.455
c NEW SOLUTION FOUND: 951 @ 22.477
c NEW SOLUTION FOUND: 950 @ 22.499
c NEW SOLUTION FOUND: 949 @ 22.521
c NEW SOLUTION FOUND: 948 @ 22.544
c NEW SOLUTION FOUND: 947 @ 22.566
c NEW SOLUTION FOUND: 946 @ 22.588
c NEW SOLUTION FOUND: 945 @ 22.61
c NEW SOLUTION FOUND: 944 @ 22.632
c NEW SOLUTION FOUND: 943 @ 22.654
c NEW SOLUTION FOUND: 942 @ 22.676
c NEW SOLUTION FOUND: 941 @ 22.698
c NEW SOLUTION FOUND: 940 @ 22.72
c NEW SOLUTION FOUND: 939 @ 22.742
c NEW SOLUTION FOUND: 938 @ 22.764
c NEW SOLUTION FOUND: 937 @ 22.786
c NEW SOLUTION FOUND: 936 @ 22.808
c NEW SOLUTION FOUND: 935 @ 22.83
c NEW SOLUTION FOUND: 934 @ 22.852
c NEW SOLUTION FOUND: 933 @ 22.874
c NEW SOLUTION FOUND: 932 @ 22.897
c NEW SOLUTION FOUND: 931 @ 22.919
c NEW SOLUTION FOUND: 930 @ 22.941
c NEW SOLUTION FOUND: 929 @ 22.963
c NEW SOLUTION FOUND: 928 @ 22.985
c NEW SOLUTION FOUND: 927 @ 23.007
c NEW SOLUTION FOUND: 926 @ 23.029
c NEW SOLUTION FOUND: 925 @ 23.051
c NEW SOLUTION FOUND: 924 @ 23.073
c NEW SOLUTION FOUND: 923 @ 23.095
c NEW SOLUTION FOUND: 922 @ 23.117
c NEW SOLUTION FOUND: 921 @ 23.139
c NEW SOLUTION FOUND: 920 @ 23.162
c NEW SOLUTION FOUND: 919 @ 23.184
c NEW SOLUTION FOUND: 918 @ 23.206
c NEW SOLUTION FOUND: 917 @ 23.228
c NEW SOLUTION FOUND: 916 @ 23.25
c NEW SOLUTION FOUND: 915 @ 23.272
c NEW SOLUTION FOUND: 914 @ 23.294
c NEW SOLUTION FOUND: 913 @ 23.316
c NEW SOLUTION FOUND: 912 @ 23.338
c NEW SOLUTION FOUND: 911 @ 23.36
c NEW SOLUTION FOUND: 910 @ 23.383
c NEW SOLUTION FOUND: 909 @ 23.405
c NEW SOLUTION FOUND: 908 @ 23.427
c NEW SOLUTION FOUND: 907 @ 23.449
c NEW SOLUTION FOUND: 906 @ 23.471
c NEW SOLUTION FOUND: 905 @ 23.493
c NEW SOLUTION FOUND: 904 @ 23.515
c NEW SOLUTION FOUND: 903 @ 23.537
c NEW SOLUTION FOUND: 902 @ 23.559
c NEW SOLUTION FOUND: 901 @ 23.581
c NEW SOLUTION FOUND: 900 @ 23.603
c NEW SOLUTION FOUND: 899 @ 23.625
c NEW SOLUTION FOUND: 898 @ 23.647
c NEW SOLUTION FOUND: 897 @ 23.669
c NEW SOLUTION FOUND: 896 @ 23.691
c NEW SOLUTION FOUND: 895 @ 23.713
c NEW SOLUTION FOUND: 894 @ 23.735
c NEW SOLUTION FOUND: 893 @ 23.757
c NEW SOLUTION FOUND: 892 @ 23.779
c NEW SOLUTION FOUND: 891 @ 23.801
c NEW SOLUTION FOUND: 890 @ 23.823
c NEW SOLUTION FOUND: 889 @ 23.845
c NEW SOLUTION FOUND: 888 @ 23.867
c NEW SOLUTION FOUND: 887 @ 23.889
c NEW SOLUTION FOUND: 886 @ 23.911
c NEW SOLUTION FOUND: 885 @ 23.933
c NEW SOLUTION FOUND: 884 @ 23.955
c NEW SOLUTION FOUND: 883 @ 23.976
c NEW SOLUTION FOUND: 882 @ 23.998
c NEW SOLUTION FOUND: 881 @ 24.02
c NEW SOLUTION FOUND: 880 @ 24.042
c NEW SOLUTION FOUND: 879 @ 24.064
c NEW SOLUTION FOUND: 878 @ 24.086
c NEW SOLUTION FOUND: 877 @ 24.108
c NEW SOLUTION FOUND: 876 @ 24.13
c NEW SOLUTION FOUND: 875 @ 24.152
c NEW SOLUTION FOUND: 874 @ 24.174
c NEW SOLUTION FOUND: 873 @ 24.196
c NEW SOLUTION FOUND: 872 @ 24.218
c NEW SOLUTION FOUND: 871 @ 24.239
c NEW SOLUTION FOUND: 870 @ 24.261
c NEW SOLUTION FOUND: 869 @ 24.283
c NEW SOLUTION FOUND: 868 @ 24.305
c NEW SOLUTION FOUND: 867 @ 24.327
c NEW SOLUTION FOUND: 866 @ 24.349
c NEW SOLUTION FOUND: 865 @ 24.37
c NEW SOLUTION FOUND: 864 @ 24.392
c NEW SOLUTION FOUND: 863 @ 24.414
c NEW SOLUTION FOUND: 862 @ 24.436
c NEW SOLUTION FOUND: 861 @ 24.458
c NEW SOLUTION FOUND: 860 @ 24.48
c NEW SOLUTION FOUND: 859 @ 24.502
c NEW SOLUTION FOUND: 858 @ 24.523
c NEW SOLUTION FOUND: 857 @ 24.545
c NEW SOLUTION FOUND: 856 @ 24.567
c NEW SOLUTION FOUND: 855 @ 24.589
c NEW SOLUTION FOUND: 854 @ 24.611
c NEW SOLUTION FOUND: 853 @ 24.633
c NEW SOLUTION FOUND: 852 @ 24.654
c NEW SOLUTION FOUND: 851 @ 24.676
c NEW SOLUTION FOUND: 850 @ 24.698
c NEW SOLUTION FOUND: 849 @ 24.72
c NEW SOLUTION FOUND: 848 @ 24.742
c NEW SOLUTION FOUND: 847 @ 24.763
c NEW SOLUTION FOUND: 846 @ 24.785
c NEW SOLUTION FOUND: 845 @ 24.807
c NEW SOLUTION FOUND: 844 @ 24.829
c NEW SOLUTION FOUND: 843 @ 24.851
c NEW SOLUTION FOUND: 842 @ 24.872
c NEW SOLUTION FOUND: 841 @ 24.894
c NEW SOLUTION FOUND: 840 @ 24.916
c NEW SOLUTION FOUND: 839 @ 24.938
c NEW SOLUTION FOUND: 838 @ 24.96
c NEW SOLUTION FOUND: 837 @ 24.981
c NEW SOLUTION FOUND: 836 @ 25.003
c NEW SOLUTION FOUND: 835 @ 25.025
c NEW SOLUTION FOUND: 834 @ 25.047
c NEW SOLUTION FOUND: 833 @ 25.068
c NEW SOLUTION FOUND: 832 @ 25.09
c NEW SOLUTION FOUND: 831 @ 25.112
c NEW SOLUTION FOUND: 830 @ 25.134
c NEW SOLUTION FOUND: 829 @ 25.156
c NEW SOLUTION FOUND: 828 @ 25.177
c NEW SOLUTION FOUND: 827 @ 25.199
c NEW SOLUTION FOUND: 826 @ 25.221
c NEW SOLUTION FOUND: 825 @ 25.243
c NEW SOLUTION FOUND: 824 @ 25.264
c NEW SOLUTION FOUND: 823 @ 25.286
c NEW SOLUTION FOUND: 822 @ 25.308
c NEW SOLUTION FOUND: 821 @ 25.33
c NEW SOLUTION FOUND: 820 @ 25.351
c NEW SOLUTION FOUND: 819 @ 25.373
c NEW SOLUTION FOUND: 818 @ 25.395
c NEW SOLUTION FOUND: 817 @ 25.416
c NEW SOLUTION FOUND: 816 @ 25.438
c NEW SOLUTION FOUND: 815 @ 25.46
c NEW SOLUTION FOUND: 814 @ 25.482
c NEW SOLUTION FOUND: 813 @ 25.503
c NEW SOLUTION FOUND: 812 @ 25.545
c NEW SOLUTION FOUND: 811 @ 25.567
c NEW SOLUTION FOUND: 810 @ 25.589
c NEW SOLUTION FOUND: 809 @ 25.611
c NEW SOLUTION FOUND: 808 @ 25.633
c NEW SOLUTION FOUND: 807 @ 25.655
c NEW SOLUTION FOUND: 806 @ 25.677
c NEW SOLUTION FOUND: 805 @ 25.699
c NEW SOLUTION FOUND: 804 @ 25.72
c NEW SOLUTION FOUND: 803 @ 25.742
c NEW SOLUTION FOUND: 802 @ 25.764
c NEW SOLUTION FOUND: 801 @ 25.786
c NEW SOLUTION FOUND: 800 @ 25.808
c NEW SOLUTION FOUND: 799 @ 25.83
c NEW SOLUTION FOUND: 798 @ 25.851
c NEW SOLUTION FOUND: 797 @ 25.873
c NEW SOLUTION FOUND: 796 @ 25.895
c NEW SOLUTION FOUND: 795 @ 25.917
c NEW SOLUTION FOUND: 794 @ 25.939
c NEW SOLUTION FOUND: 793 @ 25.96
c NEW SOLUTION FOUND: 792 @ 25.982
c NEW SOLUTION FOUND: 791 @ 26.004
c NEW SOLUTION FOUND: 790 @ 26.026
c NEW SOLUTION FOUND: 789 @ 26.048
c NEW SOLUTION FOUND: 788 @ 26.069
c NEW SOLUTION FOUND: 787 @ 26.091
c NEW SOLUTION FOUND: 786 @ 26.113
c NEW SOLUTION FOUND: 785 @ 26.135
c NEW SOLUTION FOUND: 784 @ 26.156
c NEW SOLUTION FOUND: 783 @ 26.178
c NEW SOLUTION FOUND: 782 @ 26.2
c NEW SOLUTION FOUND: 781 @ 26.222
c NEW SOLUTION FOUND: 780 @ 26.243
c NEW SOLUTION FOUND: 779 @ 26.265
c NEW SOLUTION FOUND: 778 @ 26.287
c NEW SOLUTION FOUND: 777 @ 26.309
c NEW SOLUTION FOUND: 776 @ 26.33
c NEW SOLUTION FOUND: 775 @ 26.352
c NEW SOLUTION FOUND: 774 @ 26.374
c NEW SOLUTION FOUND: 773 @ 26.396
c NEW SOLUTION FOUND: 772 @ 26.417
c NEW SOLUTION FOUND: 771 @ 26.439
c NEW SOLUTION FOUND: 770 @ 26.461
c NEW SOLUTION FOUND: 769 @ 26.483
c NEW SOLUTION FOUND: 768 @ 26.504
c NEW SOLUTION FOUND: 767 @ 26.526
c NEW SOLUTION FOUND: 766 @ 26.548
c NEW SOLUTION FOUND: 765 @ 26.57
c NEW SOLUTION FOUND: 764 @ 26.592
c NEW SOLUTION FOUND: 763 @ 26.615
c NEW SOLUTION FOUND: 762 @ 26.638
c NEW SOLUTION FOUND: 761 @ 26.66
c NEW SOLUTION FOUND: 760 @ 26.683
c NEW SOLUTION FOUND: 759 @ 26.705
c NEW SOLUTION FOUND: 758 @ 26.728
c NEW SOLUTION FOUND: 757 @ 26.751
c NEW SOLUTION FOUND: 756 @ 26.773
c NEW SOLUTION FOUND: 755 @ 26.796
c NEW SOLUTION FOUND: 754 @ 26.818
c NEW SOLUTION FOUND: 753 @ 26.841
c NEW SOLUTION FOUND: 752 @ 26.863
c NEW SOLUTION FOUND: 751 @ 26.885
c NEW SOLUTION FOUND: 750 @ 26.908
c NEW SOLUTION FOUND: 749 @ 26.931
c NEW SOLUTION FOUND: 748 @ 26.953
c NEW SOLUTION FOUND: 747 @ 26.976
c NEW SOLUTION FOUND: 746 @ 26.998
c NEW SOLUTION FOUND: 745 @ 27.021
c NEW SOLUTION FOUND: 744 @ 27.044
c NEW SOLUTION FOUND: 743 @ 27.067
c NEW SOLUTION FOUND: 742 @ 27.089
c NEW SOLUTION FOUND: 741 @ 27.112
c NEW SOLUTION FOUND: 740 @ 27.134
c NEW SOLUTION FOUND: 739 @ 27.157
c NEW SOLUTION FOUND: 738 @ 27.18
c NEW SOLUTION FOUND: 737 @ 27.202
c NEW SOLUTION FOUND: 736 @ 27.225
c NEW SOLUTION FOUND: 735 @ 27.247
c NEW SOLUTION FOUND: 734 @ 27.27
c NEW SOLUTION FOUND: 733 @ 27.292
c NEW SOLUTION FOUND: 732 @ 27.315
c NEW SOLUTION FOUND: 731 @ 27.337
c NEW SOLUTION FOUND: 730 @ 27.36
c NEW SOLUTION FOUND: 729 @ 27.382
c NEW SOLUTION FOUND: 728 @ 27.405
c NEW SOLUTION FOUND: 727 @ 27.427
c NEW SOLUTION FOUND: 726 @ 27.45
c NEW SOLUTION FOUND: 725 @ 27.472
c NEW SOLUTION FOUND: 724 @ 27.495
c NEW SOLUTION FOUND: 723 @ 27.517
c NEW SOLUTION FOUND: 722 @ 27.54
c NEW SOLUTION FOUND: 721 @ 27.562
c NEW SOLUTION FOUND: 720 @ 27.585
c NEW SOLUTION FOUND: 719 @ 27.607
c NEW SOLUTION FOUND: 718 @ 27.63
c NEW SOLUTION FOUND: 717 @ 27.652
c NEW SOLUTION FOUND: 716 @ 27.675
c NEW SOLUTION FOUND: 715 @ 27.697
c NEW SOLUTION FOUND: 714 @ 27.72
c NEW SOLUTION FOUND: 713 @ 27.742
c NEW SOLUTION FOUND: 712 @ 27.765
c NEW SOLUTION FOUND: 711 @ 27.787
c NEW SOLUTION FOUND: 710 @ 27.809
c NEW SOLUTION FOUND: 709 @ 27.832
c NEW SOLUTION FOUND: 708 @ 27.854
c NEW SOLUTION FOUND: 707 @ 27.877
c NEW SOLUTION FOUND: 706 @ 27.899
c NEW SOLUTION FOUND: 705 @ 27.922
c NEW SOLUTION FOUND: 704 @ 27.944
c NEW SOLUTION FOUND: 703 @ 27.967
c NEW SOLUTION FOUND: 702 @ 27.989
c NEW SOLUTION FOUND: 701 @ 28.011
c NEW SOLUTION FOUND: 700 @ 28.034
c NEW SOLUTION FOUND: 699 @ 28.056
c NEW SOLUTION FOUND: 698 @ 28.079
c NEW SOLUTION FOUND: 697 @ 28.101
c NEW SOLUTION FOUND: 696 @ 28.123
c NEW SOLUTION FOUND: 695 @ 28.146
c NEW SOLUTION FOUND: 694 @ 28.168
c NEW SOLUTION FOUND: 693 @ 28.19
c NEW SOLUTION FOUND: 692 @ 28.213
c NEW SOLUTION FOUND: 691 @ 28.235
c NEW SOLUTION FOUND: 690 @ 28.257
c NEW SOLUTION FOUND: 689 @ 28.28
c NEW SOLUTION FOUND: 688 @ 28.302
c NEW SOLUTION FOUND: 687 @ 28.324
c NEW SOLUTION FOUND: 686 @ 28.347
c NEW SOLUTION FOUND: 685 @ 28.369
c NEW SOLUTION FOUND: 684 @ 28.391
c NEW SOLUTION FOUND: 683 @ 28.414
c NEW SOLUTION FOUND: 682 @ 28.436
c NEW SOLUTION FOUND: 681 @ 28.458
c NEW SOLUTION FOUND: 680 @ 28.481
c NEW SOLUTION FOUND: 679 @ 28.503
c NEW SOLUTION FOUND: 678 @ 28.525
c NEW SOLUTION FOUND: 677 @ 28.548
c NEW SOLUTION FOUND: 676 @ 28.57
c NEW SOLUTION FOUND: 675 @ 28.592
c NEW SOLUTION FOUND: 674 @ 28.614
c NEW SOLUTION FOUND: 673 @ 28.637
c NEW SOLUTION FOUND: 672 @ 28.659
c NEW SOLUTION FOUND: 671 @ 28.681
c NEW SOLUTION FOUND: 670 @ 28.704
c NEW SOLUTION FOUND: 669 @ 28.726
c NEW SOLUTION FOUND: 668 @ 28.748
c NEW SOLUTION FOUND: 667 @ 28.771
c NEW SOLUTION FOUND: 666 @ 28.793
c NEW SOLUTION FOUND: 665 @ 28.815
c NEW SOLUTION FOUND: 664 @ 28.837
c NEW SOLUTION FOUND: 663 @ 28.86
c NEW SOLUTION FOUND: 662 @ 28.882
c NEW SOLUTION FOUND: 661 @ 28.904
c NEW SOLUTION FOUND: 660 @ 28.927
c NEW SOLUTION FOUND: 659 @ 28.949
c NEW SOLUTION FOUND: 658 @ 28.971
c NEW SOLUTION FOUND: 657 @ 28.993
c NEW SOLUTION FOUND: 656 @ 29.015
c NEW SOLUTION FOUND: 655 @ 29.038
c NEW SOLUTION FOUND: 654 @ 29.06
c NEW SOLUTION FOUND: 653 @ 29.082
c NEW SOLUTION FOUND: 652 @ 29.104
c NEW SOLUTION FOUND: 651 @ 29.126
c NEW SOLUTION FOUND: 650 @ 29.149
c NEW SOLUTION FOUND: 649 @ 29.171
c NEW SOLUTION FOUND: 648 @ 29.193
c NEW SOLUTION FOUND: 647 @ 29.216
c NEW SOLUTION FOUND: 646 @ 29.238
c NEW SOLUTION FOUND: 645 @ 29.26
c NEW SOLUTION FOUND: 644 @ 29.282
c NEW SOLUTION FOUND: 643 @ 29.304
c NEW SOLUTION FOUND: 642 @ 29.326
c NEW SOLUTION FOUND: 641 @ 29.348
c NEW SOLUTION FOUND: 640 @ 29.371
c NEW SOLUTION FOUND: 639 @ 29.393
c NEW SOLUTION FOUND: 638 @ 29.415
c NEW SOLUTION FOUND: 637 @ 29.439
c NEW SOLUTION FOUND: 636 @ 29.461
c NEW SOLUTION FOUND: 635 @ 29.483
c NEW SOLUTION FOUND: 634 @ 29.505
c NEW SOLUTION FOUND: 633 @ 29.527
c NEW SOLUTION FOUND: 632 @ 29.55
c NEW SOLUTION FOUND: 631 @ 29.572
c NEW SOLUTION FOUND: 630 @ 29.594
c NEW SOLUTION FOUND: 629 @ 29.616
c NEW SOLUTION FOUND: 628 @ 29.639
c NEW SOLUTION FOUND: 627 @ 29.661
c NEW SOLUTION FOUND: 626 @ 29.683
c NEW SOLUTION FOUND: 625 @ 29.705
c NEW SOLUTION FOUND: 624 @ 29.728
c NEW SOLUTION FOUND: 623 @ 29.75
c NEW SOLUTION FOUND: 622 @ 29.772
c NEW SOLUTION FOUND: 621 @ 29.794
c NEW SOLUTION FOUND: 620 @ 29.816
c NEW SOLUTION FOUND: 619 @ 29.838
c NEW SOLUTION FOUND: 618 @ 29.861
c NEW SOLUTION FOUND: 617 @ 29.883
c NEW SOLUTION FOUND: 616 @ 29.905
c NEW SOLUTION FOUND: 615 @ 29.927
c NEW SOLUTION FOUND: 614 @ 29.95
c NEW SOLUTION FOUND: 613 @ 29.972
c NEW SOLUTION FOUND: 612 @ 29.995
c NEW SOLUTION FOUND: 611 @ 30.017
c NEW SOLUTION FOUND: 610 @ 30.039
c NEW SOLUTION FOUND: 609 @ 30.061
c NEW SOLUTION FOUND: 608 @ 30.083
c NEW SOLUTION FOUND: 607 @ 30.105
c NEW SOLUTION FOUND: 606 @ 30.127
c NEW SOLUTION FOUND: 605 @ 30.149
c NEW SOLUTION FOUND: 604 @ 30.172
c NEW SOLUTION FOUND: 603 @ 30.194
c NEW SOLUTION FOUND: 602 @ 30.216
c NEW SOLUTION FOUND: 601 @ 30.238
c NEW SOLUTION FOUND: 600 @ 30.26
c NEW SOLUTION FOUND: 599 @ 30.282
c NEW SOLUTION FOUND: 598 @ 30.305
c NEW SOLUTION FOUND: 597 @ 30.327
c NEW SOLUTION FOUND: 596 @ 30.349
c NEW SOLUTION FOUND: 595 @ 30.371
c NEW SOLUTION FOUND: 594 @ 30.393
c NEW SOLUTION FOUND: 593 @ 30.415
c NEW SOLUTION FOUND: 592 @ 30.437
c NEW SOLUTION FOUND: 591 @ 30.459
c NEW SOLUTION FOUND: 590 @ 30.481
c NEW SOLUTION FOUND: 589 @ 30.503
c NEW SOLUTION FOUND: 588 @ 30.525
c NEW SOLUTION FOUND: 587 @ 30.547
c NEW SOLUTION FOUND: 586 @ 30.569
c NEW SOLUTION FOUND: 585 @ 30.592
c NEW SOLUTION FOUND: 584 @ 30.614
c NEW SOLUTION FOUND: 583 @ 30.636
c NEW SOLUTION FOUND: 582 @ 30.658
c NEW SOLUTION FOUND: 581 @ 30.68
c NEW SOLUTION FOUND: 580 @ 30.702
c NEW SOLUTION FOUND: 579 @ 30.724
c NEW SOLUTION FOUND: 578 @ 30.746
c NEW SOLUTION FOUND: 577 @ 30.768
c NEW SOLUTION FOUND: 576 @ 30.79
c NEW SOLUTION FOUND: 575 @ 30.812
c NEW SOLUTION FOUND: 574 @ 30.834
c NEW SOLUTION FOUND: 573 @ 30.856
c NEW SOLUTION FOUND: 572 @ 30.878
c NEW SOLUTION FOUND: 571 @ 30.9
c NEW SOLUTION FOUND: 570 @ 30.922
c NEW SOLUTION FOUND: 569 @ 30.944
c NEW SOLUTION FOUND: 568 @ 30.966
c NEW SOLUTION FOUND: 567 @ 30.988
c NEW SOLUTION FOUND: 566 @ 31.01
c NEW SOLUTION FOUND: 565 @ 31.031
c NEW SOLUTION FOUND: 564 @ 31.054
c NEW SOLUTION FOUND: 563 @ 31.075
c NEW SOLUTION FOUND: 562 @ 31.097
c NEW SOLUTION FOUND: 561 @ 31.119
c NEW SOLUTION FOUND: 560 @ 31.141
c NEW SOLUTION FOUND: 559 @ 31.163
c NEW SOLUTION FOUND: 558 @ 31.185
c NEW SOLUTION FOUND: 557 @ 31.207
c NEW SOLUTION FOUND: 556 @ 31.229
c NEW SOLUTION FOUND: 555 @ 31.251
c NEW SOLUTION FOUND: 554 @ 31.273
c NEW SOLUTION FOUND: 553 @ 31.295
c NEW SOLUTION FOUND: 552 @ 31.317
c NEW SOLUTION FOUND: 551 @ 31.339
c NEW SOLUTION FOUND: 550 @ 31.361
c NEW SOLUTION FOUND: 549 @ 31.382
c NEW SOLUTION FOUND: 548 @ 31.404
c NEW SOLUTION FOUND: 547 @ 31.426
c NEW SOLUTION FOUND: 546 @ 31.448
c NEW SOLUTION FOUND: 545 @ 31.47
c NEW SOLUTION FOUND: 544 @ 31.492
c NEW SOLUTION FOUND: 543 @ 31.514
c NEW SOLUTION FOUND: 542 @ 31.535
c NEW SOLUTION FOUND: 541 @ 31.557
c NEW SOLUTION FOUND: 540 @ 31.579
c NEW SOLUTION FOUND: 539 @ 31.601
c NEW SOLUTION FOUND: 538 @ 31.623
c NEW SOLUTION FOUND: 537 @ 31.645
c NEW SOLUTION FOUND: 536 @ 31.667
c NEW SOLUTION FOUND: 535 @ 31.689
c NEW SOLUTION FOUND: 534 @ 31.711
c NEW SOLUTION FOUND: 533 @ 31.732
c NEW SOLUTION FOUND: 532 @ 31.754
c NEW SOLUTION FOUND: 531 @ 31.776
c NEW SOLUTION FOUND: 530 @ 31.798
c NEW SOLUTION FOUND: 529 @ 31.82
c NEW SOLUTION FOUND: 528 @ 31.841
c NEW SOLUTION FOUND: 527 @ 31.863
c NEW SOLUTION FOUND: 526 @ 31.885
c NEW SOLUTION FOUND: 525 @ 31.907
c NEW SOLUTION FOUND: 524 @ 31.929
c NEW SOLUTION FOUND: 523 @ 31.95
c NEW SOLUTION FOUND: 522 @ 31.972
c NEW SOLUTION FOUND: 521 @ 31.994
c NEW SOLUTION FOUND: 520 @ 32.016
c NEW SOLUTION FOUND: 519 @ 32.038
c NEW SOLUTION FOUND: 518 @ 32.059
c NEW SOLUTION FOUND: 517 @ 32.081
c NEW SOLUTION FOUND: 516 @ 32.103
c NEW SOLUTION FOUND: 515 @ 32.125
c NEW SOLUTION FOUND: 514 @ 32.146
c NEW SOLUTION FOUND: 513 @ 32.168
c NEW SOLUTION FOUND: 512 @ 32.19
c NEW SOLUTION FOUND: 511 @ 32.212
c NEW SOLUTION FOUND: 510 @ 32.233
c NEW SOLUTION FOUND: 509 @ 32.255
c NEW SOLUTION FOUND: 508 @ 32.277
c NEW SOLUTION FOUND: 507 @ 32.298
c NEW SOLUTION FOUND: 506 @ 32.32
c NEW SOLUTION FOUND: 505 @ 32.342
c NEW SOLUTION FOUND: 504 @ 32.363
c NEW SOLUTION FOUND: 503 @ 32.385
c NEW SOLUTION FOUND: 502 @ 32.407
c NEW SOLUTION FOUND: 501 @ 32.428
c NEW SOLUTION FOUND: 500 @ 32.45
c NEW SOLUTION FOUND: 499 @ 32.471
c NEW SOLUTION FOUND: 498 @ 32.493
c NEW SOLUTION FOUND: 497 @ 32.515
c NEW SOLUTION FOUND: 496 @ 32.536
c NEW SOLUTION FOUND: 495 @ 32.558
c NEW SOLUTION FOUND: 494 @ 32.579
c NEW SOLUTION FOUND: 493 @ 32.601
c NEW SOLUTION FOUND: 492 @ 32.622
c NEW SOLUTION FOUND: 491 @ 32.644
c NEW SOLUTION FOUND: 490 @ 32.666
c NEW SOLUTION FOUND: 489 @ 32.687
c NEW SOLUTION FOUND: 488 @ 32.709
c NEW SOLUTION FOUND: 487 @ 32.731
c NEW SOLUTION FOUND: 486 @ 32.752
c NEW SOLUTION FOUND: 485 @ 32.774
c NEW SOLUTION FOUND: 484 @ 32.796
c NEW SOLUTION FOUND: 483 @ 32.817
c NEW SOLUTION FOUND: 482 @ 32.839
c NEW SOLUTION FOUND: 481 @ 32.86
c NEW SOLUTION FOUND: 480 @ 32.882
c NEW SOLUTION FOUND: 479 @ 32.903
c NEW SOLUTION FOUND: 478 @ 32.925
c NEW SOLUTION FOUND: 477 @ 32.946
c NEW SOLUTION FOUND: 476 @ 32.968
c NEW SOLUTION FOUND: 475 @ 32.989
c NEW SOLUTION FOUND: 474 @ 33.011
c NEW SOLUTION FOUND: 473 @ 33.033
c NEW SOLUTION FOUND: 472 @ 33.054
c NEW SOLUTION FOUND: 471 @ 33.076
c NEW SOLUTION FOUND: 470 @ 33.098
c NEW SOLUTION FOUND: 469 @ 33.119
c NEW SOLUTION FOUND: 468 @ 33.141
c NEW SOLUTION FOUND: 467 @ 33.162
c NEW SOLUTION FOUND: 466 @ 33.184
c NEW SOLUTION FOUND: 465 @ 33.205
c NEW SOLUTION FOUND: 464 @ 33.227
c NEW SOLUTION FOUND: 463 @ 33.248
c NEW SOLUTION FOUND: 462 @ 33.27
c NEW SOLUTION FOUND: 461 @ 33.291
c NEW SOLUTION FOUND: 460 @ 33.312
c NEW SOLUTION FOUND: 459 @ 33.334
c NEW SOLUTION FOUND: 458 @ 33.355
c NEW SOLUTION FOUND: 457 @ 33.376
c NEW SOLUTION FOUND: 456 @ 33.398
c NEW SOLUTION FOUND: 455 @ 33.419
c NEW SOLUTION FOUND: 454 @ 33.441
c NEW SOLUTION FOUND: 453 @ 33.462
c NEW SOLUTION FOUND: 452 @ 33.483
c NEW SOLUTION FOUND: 451 @ 33.505
c NEW SOLUTION FOUND: 450 @ 33.526
c NEW SOLUTION FOUND: 449 @ 33.547
c NEW SOLUTION FOUND: 448 @ 33.569
c NEW SOLUTION FOUND: 447 @ 33.59
c NEW SOLUTION FOUND: 446 @ 33.61
c NEW SOLUTION FOUND: 445 @ 33.632
c NEW SOLUTION FOUND: 444 @ 33.653
c NEW SOLUTION FOUND: 443 @ 33.675
c NEW SOLUTION FOUND: 442 @ 33.696
c NEW SOLUTION FOUND: 441 @ 33.717
c NEW SOLUTION FOUND: 440 @ 33.738
c NEW SOLUTION FOUND: 439 @ 33.76
c NEW SOLUTION FOUND: 438 @ 33.781
c NEW SOLUTION FOUND: 437 @ 33.802
c NEW SOLUTION FOUND: 436 @ 33.824
c NEW SOLUTION FOUND: 435 @ 33.845
c NEW SOLUTION FOUND: 434 @ 33.866
c NEW SOLUTION FOUND: 433 @ 33.888
c NEW SOLUTION FOUND: 432 @ 33.909
c NEW SOLUTION FOUND: 431 @ 33.93
c NEW SOLUTION FOUND: 430 @ 33.952
c NEW SOLUTION FOUND: 429 @ 33.973
c NEW SOLUTION FOUND: 428 @ 33.994
c NEW SOLUTION FOUND: 427 @ 34.015
c NEW SOLUTION FOUND: 426 @ 34.037
c NEW SOLUTION FOUND: 425 @ 34.058
c NEW SOLUTION FOUND: 424 @ 34.079
c NEW SOLUTION FOUND: 423 @ 34.101
c NEW SOLUTION FOUND: 422 @ 34.122
c NEW SOLUTION FOUND: 421 @ 34.143
c NEW SOLUTION FOUND: 420 @ 34.164
c NEW SOLUTION FOUND: 419 @ 34.186
c NEW SOLUTION FOUND: 418 @ 34.207
c NEW SOLUTION FOUND: 417 @ 34.228
c NEW SOLUTION FOUND: 416 @ 34.249
c NEW SOLUTION FOUND: 415 @ 34.27
c NEW SOLUTION FOUND: 414 @ 34.292
c NEW SOLUTION FOUND: 413 @ 34.313
c NEW SOLUTION FOUND: 412 @ 34.334
c NEW SOLUTION FOUND: 411 @ 34.355
c NEW SOLUTION FOUND: 410 @ 34.376
c NEW SOLUTION FOUND: 409 @ 34.398
c NEW SOLUTION FOUND: 408 @ 34.419
c NEW SOLUTION FOUND: 407 @ 34.44
c NEW SOLUTION FOUND: 406 @ 34.461
c NEW SOLUTION FOUND: 405 @ 34.482
c NEW SOLUTION FOUND: 404 @ 34.504
c NEW SOLUTION FOUND: 403 @ 34.525
c NEW SOLUTION FOUND: 402 @ 34.546
c NEW SOLUTION FOUND: 401 @ 34.567
c NEW SOLUTION FOUND: 400 @ 34.588
c NEW SOLUTION FOUND: 399 @ 34.609
c NEW SOLUTION FOUND: 398 @ 34.63
c NEW SOLUTION FOUND: 397 @ 34.657
c NEW SOLUTION FOUND: 396 @ 34.685
c NEW SOLUTION FOUND: 395 @ 34.711
c NEW SOLUTION FOUND: 394 @ 34.738
c NEW SOLUTION FOUND: 393 @ 34.765
c NEW SOLUTION FOUND: 392 @ 34.791
c NEW SOLUTION FOUND: 391 @ 34.818
c NEW SOLUTION FOUND: 390 @ 34.845
c NEW SOLUTION FOUND: 389 @ 34.872
c NEW SOLUTION FOUND: 388 @ 34.899
c NEW SOLUTION FOUND: 387 @ 34.926
c NEW SOLUTION FOUND: 386 @ 34.953
c NEW SOLUTION FOUND: 385 @ 34.98
c NEW SOLUTION FOUND: 384 @ 35.006
c NEW SOLUTION FOUND: 383 @ 35.033
c NEW SOLUTION FOUND: 382 @ 35.06
c NEW SOLUTION FOUND: 381 @ 35.087
c NEW SOLUTION FOUND: 380 @ 35.114
c NEW SOLUTION FOUND: 379 @ 35.14
c NEW SOLUTION FOUND: 378 @ 35.167
c NEW SOLUTION FOUND: 377 @ 35.194
c NEW SOLUTION FOUND: 376 @ 35.221
c NEW SOLUTION FOUND: 375 @ 35.248
c NEW SOLUTION FOUND: 374 @ 35.275
c NEW SOLUTION FOUND: 373 @ 35.302
c NEW SOLUTION FOUND: 372 @ 35.329
c NEW SOLUTION FOUND: 371 @ 35.356
c NEW SOLUTION FOUND: 370 @ 35.384
c NEW SOLUTION FOUND: 369 @ 35.411
c NEW SOLUTION FOUND: 368 @ 35.438
c NEW SOLUTION FOUND: 367 @ 35.465
c NEW SOLUTION FOUND: 366 @ 35.492
c NEW SOLUTION FOUND: 365 @ 35.519
c NEW SOLUTION FOUND: 364 @ 35.546
c NEW SOLUTION FOUND: 363 @ 35.572
c NEW SOLUTION FOUND: 362 @ 35.599
c NEW SOLUTION FOUND: 361 @ 35.626
c NEW SOLUTION FOUND: 360 @ 35.653
c NEW SOLUTION FOUND: 359 @ 35.68
c NEW SOLUTION FOUND: 358 @ 35.707
c NEW SOLUTION FOUND: 357 @ 35.733
c NEW SOLUTION FOUND: 356 @ 35.76
c NEW SOLUTION FOUND: 355 @ 35.787
c NEW SOLUTION FOUND: 354 @ 35.814
c NEW SOLUTION FOUND: 353 @ 35.84
c NEW SOLUTION FOUND: 352 @ 35.867
c NEW SOLUTION FOUND: 351 @ 35.894
c NEW SOLUTION FOUND: 350 @ 35.92
c NEW SOLUTION FOUND: 349 @ 35.947
c NEW SOLUTION FOUND: 348 @ 35.974
c NEW SOLUTION FOUND: 347 @ 36
c NEW SOLUTION FOUND: 346 @ 36.026
c NEW SOLUTION FOUND: 345 @ 36.056
c NEW SOLUTION FOUND: 344 @ 36.085
c NEW SOLUTION FOUND: 343 @ 36.117
c NEW SOLUTION FOUND: 342 @ 36.173
c NEW SOLUTION FOUND: 341 @ 36.229
c NEW SOLUTION FOUND: 340 @ 36.284
c NEW SOLUTION FOUND: 339 @ 36.339
c NEW SOLUTION FOUND: 338 @ 36.394
c NEW SOLUTION FOUND: 337 @ 36.448
c NEW SOLUTION FOUND: 336 @ 36.503
c NEW SOLUTION FOUND: 335 @ 36.558
c NEW SOLUTION FOUND: 334 @ 36.612
c NEW SOLUTION FOUND: 333 @ 36.667
c NEW SOLUTION FOUND: 332 @ 36.721
c NEW SOLUTION FOUND: 331 @ 36.777
c NEW SOLUTION FOUND: 330 @ 36.832
c NEW SOLUTION FOUND: 329 @ 36.886
c NEW SOLUTION FOUND: 328 @ 36.941
c NEW SOLUTION FOUND: 327 @ 36.996
c NEW SOLUTION FOUND: 326 @ 37.051
c NEW SOLUTION FOUND: 325 @ 37.108
c NEW SOLUTION FOUND: 324 @ 37.163
c NEW SOLUTION FOUND: 323 @ 37.218
c NEW SOLUTION FOUND: 322 @ 37.274
c NEW SOLUTION FOUND: 321 @ 37.328
c NEW SOLUTION FOUND: 320 @ 37.384
c NEW SOLUTION FOUND: 319 @ 37.439
c NEW SOLUTION FOUND: 318 @ 37.495
c NEW SOLUTION FOUND: 317 @ 37.55
c NEW SOLUTION FOUND: 316 @ 37.605
c NEW SOLUTION FOUND: 315 @ 37.66
c NEW SOLUTION FOUND: 314 @ 37.715
c NEW SOLUTION FOUND: 313 @ 37.77
c NEW SOLUTION FOUND: 312 @ 37.826
c NEW SOLUTION FOUND: 311 @ 37.882
c NEW SOLUTION FOUND: 310 @ 37.938
c NEW SOLUTION FOUND: 309 @ 37.993
c NEW SOLUTION FOUND: 308 @ 38.049
c NEW SOLUTION FOUND: 307 @ 38.104
c NEW SOLUTION FOUND: 306 @ 38.159
c NEW SOLUTION FOUND: 305 @ 38.215
c NEW SOLUTION FOUND: 304 @ 38.271
c NEW SOLUTION FOUND: 303 @ 38.327
c NEW SOLUTION FOUND: 302 @ 38.382
c NEW SOLUTION FOUND: 301 @ 38.438
c NEW SOLUTION FOUND: 300 @ 38.494
c NEW SOLUTION FOUND: 299 @ 38.549
c NEW SOLUTION FOUND: 298 @ 38.604
c NEW SOLUTION FOUND: 297 @ 38.659
c NEW SOLUTION FOUND: 296 @ 38.714
c NEW SOLUTION FOUND: 295 @ 38.77
c NEW SOLUTION FOUND: 294 @ 38.826
c NEW SOLUTION FOUND: 293 @ 38.881
c NEW SOLUTION FOUND: 292 @ 38.938
c NEW SOLUTION FOUND: 291 @ 38.993
c NEW SOLUTION FOUND: 290 @ 39.049
c NEW SOLUTION FOUND: 289 @ 39.103
c NEW SOLUTION FOUND: 288 @ 39.159
c NEW SOLUTION FOUND: 287 @ 39.213
c NEW SOLUTION FOUND: 286 @ 39.269
c NEW SOLUTION FOUND: 285 @ 39.324
c NEW SOLUTION FOUND: 284 @ 39.38
c NEW SOLUTION FOUND: 283 @ 39.436
c NEW SOLUTION FOUND: 282 @ 39.492
c NEW SOLUTION FOUND: 281 @ 39.548
c NEW SOLUTION FOUND: 280 @ 39.604
c NEW SOLUTION FOUND: 279 @ 39.659
c NEW SOLUTION FOUND: 278 @ 39.714
c NEW SOLUTION FOUND: 277 @ 39.769
c NEW SOLUTION FOUND: 276 @ 39.825
c NEW SOLUTION FOUND: 275 @ 39.881
c NEW SOLUTION FOUND: 274 @ 39.937
c NEW SOLUTION FOUND: 273 @ 39.992
c NEW SOLUTION FOUND: 272 @ 40.047
c NEW SOLUTION FOUND: 271 @ 40.102
c NEW SOLUTION FOUND: 270 @ 40.157
c NEW SOLUTION FOUND: 269 @ 40.213
c NEW SOLUTION FOUND: 268 @ 40.268
c NEW SOLUTION FOUND: 267 @ 40.322
c NEW SOLUTION FOUND: 266 @ 40.378
c NEW SOLUTION FOUND: 265 @ 40.433
c NEW SOLUTION FOUND: 264 @ 40.488
c NEW SOLUTION FOUND: 263 @ 40.542
c NEW SOLUTION FOUND: 262 @ 40.595
c NEW SOLUTION FOUND: 261 @ 40.648
c NEW SOLUTION FOUND: 260 @ 40.702
c NEW SOLUTION FOUND: 259 @ 40.756
c NEW SOLUTION FOUND: 258 @ 40.811
c NEW SOLUTION FOUND: 257 @ 40.866
c NEW SOLUTION FOUND: 256 @ 40.921
c NEW SOLUTION FOUND: 255 @ 40.976
c NEW SOLUTION FOUND: 254 @ 41.031
c NEW SOLUTION FOUND: 253 @ 41.086
c NEW SOLUTION FOUND: 252 @ 41.141
c NEW SOLUTION FOUND: 251 @ 41.196
c NEW SOLUTION FOUND: 250 @ 41.251
c NEW SOLUTION FOUND: 249 @ 41.307
c NEW SOLUTION FOUND: 248 @ 41.363
c NEW SOLUTION FOUND: 247 @ 41.418
c NEW SOLUTION FOUND: 246 @ 41.474
c NEW SOLUTION FOUND: 245 @ 41.53
c NEW SOLUTION FOUND: 244 @ 41.586
c NEW SOLUTION FOUND: 243 @ 41.642
c NEW SOLUTION FOUND: 242 @ 41.696
c NEW SOLUTION FOUND: 241 @ 41.752
c NEW SOLUTION FOUND: 240 @ 41.808
c NEW SOLUTION FOUND: 239 @ 41.863
c NEW SOLUTION FOUND: 238 @ 41.919
c NEW SOLUTION FOUND: 237 @ 41.974
c NEW SOLUTION FOUND: 236 @ 42.028
c NEW SOLUTION FOUND: 235 @ 42.083
c NEW SOLUTION FOUND: 234 @ 42.138
c NEW SOLUTION FOUND: 233 @ 42.193
c NEW SOLUTION FOUND: 232 @ 42.248
c NEW SOLUTION FOUND: 231 @ 42.303
c NEW SOLUTION FOUND: 230 @ 42.359
c NEW SOLUTION FOUND: 229 @ 42.414
c NEW SOLUTION FOUND: 228 @ 42.469
c NEW SOLUTION FOUND: 227 @ 42.525
c NEW SOLUTION FOUND: 225 @ 42.586
c NEW SOLUTION FOUND: 224 @ 42.646
c NEW SOLUTION FOUND: 223 @ 42.708
c NEW SOLUTION FOUND: 222 @ 42.766
c NEW SOLUTION FOUND: 221 @ 42.825
c NEW SOLUTION FOUND: 220 @ 42.885
c NEW SOLUTION FOUND: 219 @ 42.946
c NEW SOLUTION FOUND: 218 @ 43.007
c NEW SOLUTION FOUND: 217 @ 43.068
c NEW SOLUTION FOUND: 216 @ 43.128
c NEW SOLUTION FOUND: 215 @ 43.189
c NEW SOLUTION FOUND: 214 @ 43.249
c NEW SOLUTION FOUND: 213 @ 43.31
c NEW SOLUTION FOUND: 212 @ 43.371
c NEW SOLUTION FOUND: 211 @ 43.431
c NEW SOLUTION FOUND: 210 @ 43.492
c NEW SOLUTION FOUND: 209 @ 43.555
c NEW SOLUTION FOUND: 208 @ 43.618
c NEW SOLUTION FOUND: 207 @ 43.681
c NEW SOLUTION FOUND: 206 @ 43.742
c NEW SOLUTION FOUND: 205 @ 43.804
c NEW SOLUTION FOUND: 204 @ 43.865
c NEW SOLUTION FOUND: 203 @ 43.925
c NEW SOLUTION FOUND: 202 @ 43.986
c NEW SOLUTION FOUND: 201 @ 44.048
c NEW SOLUTION FOUND: 200 @ 44.11
c NEW SOLUTION FOUND: 199 @ 44.173
c NEW SOLUTION FOUND: 198 @ 44.235
c NEW SOLUTION FOUND: 197 @ 44.298
c NEW SOLUTION FOUND: 196 @ 44.36
c NEW SOLUTION FOUND: 195 @ 44.423
c NEW SOLUTION FOUND: 194 @ 44.485
c NEW SOLUTION FOUND: 193 @ 44.548
c NEW SOLUTION FOUND: 192 @ 44.61
c NEW SOLUTION FOUND: 191 @ 44.673
c NEW SOLUTION FOUND: 190 @ 44.736
c NEW SOLUTION FOUND: 189 @ 44.798
c NEW SOLUTION FOUND: 188 @ 44.861
c NEW SOLUTION FOUND: 187 @ 44.924
c NEW SOLUTION FOUND: 186 @ 44.986
c NEW SOLUTION FOUND: 185 @ 45.048
c NEW SOLUTION FOUND: 184 @ 45.11
c NEW SOLUTION FOUND: 183 @ 45.173
c NEW SOLUTION FOUND: 182 @ 45.235
c NEW SOLUTION FOUND: 181 @ 45.297
c NEW SOLUTION FOUND: 180 @ 45.36
c NEW SOLUTION FOUND: 179 @ 45.423
c NEW SOLUTION FOUND: 178 @ 45.486
c NEW SOLUTION FOUND: 177 @ 45.548
c NEW SOLUTION FOUND: 176 @ 45.61
c NEW SOLUTION FOUND: 175 @ 45.673
c NEW SOLUTION FOUND: 174 @ 45.735
c NEW SOLUTION FOUND: 173 @ 45.798
c NEW SOLUTION FOUND: 172 @ 45.86
c NEW SOLUTION FOUND: 171 @ 45.922
c NEW SOLUTION FOUND: 170 @ 45.984
c NEW SOLUTION FOUND: 169 @ 46.047
c NEW SOLUTION FOUND: 168 @ 46.108
c NEW SOLUTION FOUND: 167 @ 46.171
c NEW SOLUTION FOUND: 166 @ 46.233
c NEW SOLUTION FOUND: 165 @ 46.296
c NEW SOLUTION FOUND: 164 @ 46.359
c NEW SOLUTION FOUND: 163 @ 46.421
c NEW SOLUTION FOUND: 162 @ 46.483
c NEW SOLUTION FOUND: 161 @ 46.546
c NEW SOLUTION FOUND: 160 @ 46.607
c NEW SOLUTION FOUND: 159 @ 46.67
c NEW SOLUTION FOUND: 158 @ 46.732
c NEW SOLUTION FOUND: 157 @ 46.795
c NEW SOLUTION FOUND: 156 @ 46.858
c NEW SOLUTION FOUND: 155 @ 46.921
c NEW SOLUTION FOUND: 154 @ 46.99
c NEW SOLUTION FOUND: 153 @ 47.06
c NEW SOLUTION FOUND: 152 @ 47.128
c NEW SOLUTION FOUND: 151 @ 47.197
c NEW SOLUTION FOUND: 150 @ 47.266
c NEW SOLUTION FOUND: 149 @ 47.334
c NEW SOLUTION FOUND: 148 @ 47.404
c NEW SOLUTION FOUND: 147 @ 47.475
c NEW SOLUTION FOUND: 146 @ 47.546
c NEW SOLUTION FOUND: 145 @ 47.618
c NEW SOLUTION FOUND: 144 @ 47.689
c NEW SOLUTION FOUND: 143 @ 47.761
c NEW SOLUTION FOUND: 142 @ 47.832
c NEW SOLUTION FOUND: 141 @ 47.903
c NEW SOLUTION FOUND: 140 @ 47.974
c NEW SOLUTION FOUND: 139 @ 48.045
c NEW SOLUTION FOUND: 138 @ 48.116
c NEW SOLUTION FOUND: 137 @ 48.188
c NEW SOLUTION FOUND: 136 @ 48.258
c NEW SOLUTION FOUND: 135 @ 48.33
c NEW SOLUTION FOUND: 134 @ 48.402
c NEW SOLUTION FOUND: 133 @ 48.474
c NEW SOLUTION FOUND: 132 @ 48.546
c NEW SOLUTION FOUND: 131 @ 48.619
c NEW SOLUTION FOUND: 130 @ 48.691
c NEW SOLUTION FOUND: 129 @ 48.762
c NEW SOLUTION FOUND: 128 @ 48.833
c NEW SOLUTION FOUND: 127 @ 48.904
c NEW SOLUTION FOUND: 126 @ 48.976
c NEW SOLUTION FOUND: 125 @ 49.047
c NEW SOLUTION FOUND: 124 @ 49.117
c NEW SOLUTION FOUND: 123 @ 49.189
c NEW SOLUTION FOUND: 122 @ 49.261
c NEW SOLUTION FOUND: 121 @ 49.334
c NEW SOLUTION FOUND: 120 @ 49.406
c NEW SOLUTION FOUND: 119 @ 49.478
c NEW SOLUTION FOUND: 118 @ 49.549
c NEW SOLUTION FOUND: 117 @ 49.621
c NEW SOLUTION FOUND: 116 @ 49.692
c NEW SOLUTION FOUND: 115 @ 49.764
c NEW SOLUTION FOUND: 114 @ 49.835
c NEW SOLUTION FOUND: 113 @ 49.906
c NEW SOLUTION FOUND: 112 @ 49.978
c NEW SOLUTION FOUND: 111 @ 50.049
c NEW SOLUTION FOUND: 110 @ 50.12
c NEW SOLUTION FOUND: 109 @ 50.191
c NEW SOLUTION FOUND: 108 @ 50.263
c NEW SOLUTION FOUND: 107 @ 50.335
c NEW SOLUTION FOUND: 106 @ 50.406
c NEW SOLUTION FOUND: 105 @ 50.477
c NEW SOLUTION FOUND: 104 @ 50.547
c NEW SOLUTION FOUND: 103 @ 50.619
c NEW SOLUTION FOUND: 102 @ 50.691
c NEW SOLUTION FOUND: 101 @ 50.762
c NEW SOLUTION FOUND: 100 @ 50.833
c NEW SOLUTION FOUND: 99 @ 50.903
c NEW SOLUTION FOUND: 98 @ 50.974
c NEW SOLUTION FOUND: 97 @ 51.045
c NEW SOLUTION FOUND: 96 @ 51.114
c NEW SOLUTION FOUND: 95 @ 51.186
c NEW SOLUTION FOUND: 94 @ 51.257
c NEW SOLUTION FOUND: 93 @ 51.326
c NEW SOLUTION FOUND: 92 @ 51.396
c NEW SOLUTION FOUND: 91 @ 51.465
c NEW SOLUTION FOUND: 90 @ 51.534
c NEW SOLUTION FOUND: 89 @ 51.604
c NEW SOLUTION FOUND: 88 @ 51.679
c NEW SOLUTION FOUND: 87 @ 51.753
c NEW SOLUTION FOUND: 86 @ 51.83
c NEW SOLUTION FOUND: 85 @ 51.904
c NEW SOLUTION FOUND: 84 @ 51.981
c NEW SOLUTION FOUND: 83 @ 52.057
c NEW SOLUTION FOUND: 82 @ 52.133
c NEW SOLUTION FOUND: 81 @ 52.209
c NEW SOLUTION FOUND: 80 @ 52.286
c NEW SOLUTION FOUND: 79 @ 52.362
c NEW SOLUTION FOUND: 78 @ 52.438
c NEW SOLUTION FOUND: 77 @ 52.513
c NEW SOLUTION FOUND: 76 @ 52.588
c NEW SOLUTION FOUND: 74 @ 52.82
c NEW SOLUTION FOUND: 73 @ 53.073
c NEW SOLUTION FOUND: 72 @ 53.2
c NEW SOLUTION FOUND: 71 @ 53.328
c NEW SOLUTION FOUND: 70 @ 53.456
c NEW SOLUTION FOUND: 69 @ 53.582
c NEW SOLUTION FOUND: 68 @ 53.711
c NEW SOLUTION FOUND: 67 @ 53.978
c NEW SOLUTION FOUND: 66 @ 54.113
c NEW SOLUTION FOUND: 65 @ 54.249
c NEW SOLUTION FOUND: 64 @ 54.384
c NEW SOLUTION FOUND: 63 @ 54.52
c NEW SOLUTION FOUND: 62 @ 54.656
c NEW SOLUTION FOUND: 61 @ 54.792
c NEW SOLUTION FOUND: 60 @ 54.929
c NEW SOLUTION FOUND: 59 @ 55.065
c NEW SOLUTION FOUND: 58 @ 55.202
c NEW SOLUTION FOUND: 56 @ 55.339
c NEW SOLUTION FOUND: 55 @ 55.474
c NEW SOLUTION FOUND: 54 @ 55.612
c NEW SOLUTION FOUND: 53 @ 55.751
c NEW SOLUTION FOUND: 52 @ 55.889
c NEW SOLUTION FOUND: 51 @ 56.026
c NEW SOLUTION FOUND: 50 @ 56.161
c NEW SOLUTION FOUND: 49 @ 56.298
c NEW SOLUTION FOUND: 48 @ 56.434
c NEW SOLUTION FOUND: 47 @ 56.573
c NEW SOLUTION FOUND: 46 @ 56.71
c NEW SOLUTION FOUND: 45 @ 56.848
c NEW SOLUTION FOUND: 44 @ 56.984
c NEW SOLUTION FOUND: 43 @ 57.12
c NEW SOLUTION FOUND: 42 @ 57.255
c NEW SOLUTION FOUND: 41 @ 57.391
c NEW SOLUTION FOUND: 39 @ 57.79
c NEW SOLUTION FOUND: 38 @ 57.993
c NEW SOLUTION FOUND: 37 @ 58.543
c NEW SOLUTION FOUND: 36 @ 58.834
c NEW SOLUTION FOUND: 35 @ 59.12
c NEW SOLUTION FOUND: 34 @ 59.753
c NEW SOLUTION FOUND: 33 @ 60.069
c NEW SOLUTION FOUND: 32 @ 60.384
c NEW SOLUTION FOUND: 31 @ 60.697
c NEW SOLUTION FOUND: 30 @ 61.006
c NEW SOLUTION FOUND: 29 @ 61.339
c NEW SOLUTION FOUND: 28 @ 61.659
c NEW SOLUTION FOUND: 27 @ 61.973
c NEW SOLUTION FOUND: 26 @ 63.134
c NEW SOLUTION FOUND: 25 @ 71.597
c NEW SOLUTION FOUND: 24 @ 75.716
c NEW SOLUTION FOUND: 22 @ 78.746
c NEW SOLUTION FOUND: 21 @ 81.44
c NEW SOLUTION FOUND: 20 @ 86.237
c NEW SOLUTION FOUND: 19 @ 96.583
c NEW SOLUTION FOUND: 18 @ 113.973
c NEW SOLUTION FOUND: 17 @ 213.904
c NEW SOLUTION FOUND: 16 @ 600.941
c NEW SOLUTION FOUND: 15 @ 801.54
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: 821.304 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.98 0.99 2/54 8949
Raw data (stat): 8949 (runsolver) R 8948 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 654477856 1056768 100 4294967295 134512640 135381576 3221221696 3221216912 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 5107 0 0 0 981 14 0 0 25 0 1 0 654477856 11456512 2087 4294967295 134512640 134714508 3221221792 3221219992 1074138265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2797 2087 1111 63 0 2734 0
vsize: 11188
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 11162 0 0 0 1955 41 0 0 25 0 1 0 654477856 10076160 1774 4294967295 134512640 134714508 3221221792 3221219840 1074140582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2460 1774 1111 63 0 2397 0
vsize: 9840
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 16754 0 0 0 2932 64 0 0 25 0 1 0 654477856 10076160 1774 4294967295 134512640 134714508 3221221792 3221219576 1077410163 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.0013 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 21560 0 0 0 3912 83 0 0 25 0 1 0 654477856 10170368 1793 4294967295 134512640 134714508 3221221792 3221220416 134649041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2483 1793 1111 63 0 2420 0
vsize: 9932
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 31420 0 0 0 4883 112 0 0 25 0 1 0 654477856 10440704 1863 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2549 1863 1111 63 0 2486 0
vsize: 10196
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 38156 0 0 0 5864 132 0 0 25 0 1 0 654477856 11145216 2035 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2721 2035 1111 63 0 2658 0
vsize: 10884
[startup+70.0021 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 43597 0 0 0 6849 147 0 0 25 0 1 0 654477856 12099584 2203 4294967295 134512640 134714508 3221221792 3221219520 1075828462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2954 2203 1111 63 0 2891 0
vsize: 11816
[startup+80.003 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 49624 0 0 0 7833 163 0 0 25 0 1 0 654477856 11603968 2147 4294967295 134512640 134714508 3221221792 3221208912 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2833 2147 1111 63 0 2770 0
vsize: 11332
[startup+90.003 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 54188 0 0 0 8820 176 0 0 25 0 1 0 654477856 11796480 2197 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2880 2197 1111 63 0 2817 0
vsize: 11520
[startup+100.004 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 59520 0 0 0 9807 189 0 0 25 0 1 0 654477856 13025280 2442 4294967295 134512640 134714508 3221221792 3221219520 1075828444 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 2442 1111 63 0 3117 0
vsize: 12720
[startup+110.005 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 65708 0 0 0 10790 207 0 0 25 0 1 0 654477856 12644352 2385 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2385 1111 63 0 3024 0
vsize: 12348
[startup+120.006 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 72355 0 0 0 11774 223 0 0 25 0 1 0 654477856 12554240 2390 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3065 2390 1111 63 0 3002 0
vsize: 12260
[startup+130.007 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 76462 0 0 0 12763 234 0 0 25 0 1 0 654477856 12922880 2460 4294967295 134512640 134714508 3221221792 3221220144 1074143115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3155 2460 1111 63 0 3092 0
vsize: 12620
[startup+140.007 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 82404 0 0 0 13748 249 0 0 25 0 1 0 654477856 13111296 2526 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2526 1111 63 0 3138 0
vsize: 12804
[startup+150.008 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 88754 0 0 0 14730 267 0 0 25 0 1 0 654477856 13410304 2589 4294967295 134512640 134714508 3221221792 3221220096 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3274 2589 1111 63 0 3211 0
vsize: 13096
[startup+160.007 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 94942 0 0 0 15714 283 0 0 25 0 1 0 654477856 15872000 3066 4294967295 134512640 134714508 3221221792 3221217756 1074860608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3066 1111 63 0 3812 0
vsize: 15500
[startup+170.008 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 101234 0 0 0 16698 300 0 0 25 0 1 0 654477856 14114816 2745 4294967295 134512640 134714508 3221221792 3221219944 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3446 2745 1111 63 0 3383 0
vsize: 13784
[startup+180.008 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 106836 0 0 0 17684 313 0 0 25 0 1 0 654477856 14123008 2773 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3448 2773 1111 63 0 3385 0
vsize: 13792
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 112418 0 0 0 18670 328 0 0 25 0 1 0 654477856 14536704 2842 4294967295 134512640 134714508 3221221792 3221220096 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3549 2842 1111 63 0 3486 0
vsize: 14196
[startup+200.009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 117220 0 0 0 19658 340 0 0 25 0 1 0 654477856 16891904 3291 4294967295 134512640 134714508 3221221792 3221218124 1075113125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4124 3291 1111 63 0 4061 0
vsize: 16496
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 124494 0 0 0 20640 358 0 0 25 0 1 0 654477856 14594048 2888 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3563 2888 1111 63 0 3500 0
vsize: 14252
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 128738 0 0 0 21628 370 0 0 25 0 1 0 654477856 14647296 2901 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2901 1111 63 0 3513 0
vsize: 14304
[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 130954 0 0 0 22623 375 0 0 25 0 1 0 654477856 14974976 2981 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3656 2981 1111 63 0 3593 0
vsize: 14624
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 134693 0 0 0 23613 385 0 0 25 0 1 0 654477856 14671872 2907 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2907 1111 63 0 3519 0
vsize: 14328
[startup+250.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 139847 0 0 0 24600 398 0 0 25 0 1 0 654477856 14876672 2935 4294967295 134512640 134714508 3221221792 3221219712 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3632 2935 1111 63 0 3569 0
vsize: 14528
[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 143087 0 0 0 25592 406 0 0 25 0 1 0 654477856 15773696 3176 4294967295 134512640 134714508 3221221792 3221219536 1075645384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3851 3176 1111 63 0 3788 0
vsize: 15404
[startup+270.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 146753 0 0 0 26582 417 0 0 25 0 1 0 654477856 14589952 2887 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3562 2887 1111 63 0 3499 0
vsize: 14248
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 151160 0 0 0 27570 429 0 0 25 0 1 0 654477856 14917632 2967 4294967295 134512640 134714508 3221221792 3221219712 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3642 2967 1111 63 0 3579 0
vsize: 14568
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 153446 0 0 0 28562 436 0 0 25 0 1 0 654477856 15032320 2995 4294967295 134512640 134714508 3221221792 3221220096 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2995 1111 63 0 3607 0
vsize: 14680
[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 158505 0 0 0 29551 448 0 0 25 0 1 0 654477856 16740352 3412 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4087 3412 1111 63 0 4024 0
vsize: 16348
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 164493 0 0 0 30535 464 0 0 25 0 1 0 654477856 16936960 3450 4294967295 134512640 134714508 3221221792 3221219752 1074138319 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4135 3450 1111 63 0 4072 0
vsize: 16540
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 171027 0 0 0 31519 481 0 0 25 0 1 0 654477856 15630336 3141 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3816 3141 1111 63 0 3753 0
vsize: 15264
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 173399 0 0 0 32512 488 0 0 25 0 1 0 654477856 15966208 3222 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3898 3222 1111 63 0 3835 0
vsize: 15592
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 178031 0 0 0 33501 499 0 0 25 0 1 0 654477856 16031744 3239 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3914 3239 1111 63 0 3851 0
vsize: 15656
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 183156 0 0 0 34488 512 0 0 25 0 1 0 654477856 18022400 3678 4294967295 134512640 134714508 3221221792 3221219904 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4400 3678 1111 63 0 4337 0
vsize: 17600
[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 188797 0 0 0 35475 525 0 0 25 0 1 0 654477856 19087360 3805 4294967295 134512640 134714508 3221221792 3221218912 1074834461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4660 3805 1111 63 0 4597 0
vsize: 18640
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 193171 0 0 0 36463 537 0 0 25 0 1 0 654477856 18300928 3793 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4468 3793 1111 63 0 4405 0
vsize: 17872
[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 197523 0 0 0 37452 549 0 0 25 0 1 0 654477856 16674816 3397 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4071 3397 1111 63 0 4008 0
vsize: 16284
[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 202706 0 0 0 38439 561 0 0 25 0 1 0 654477856 16715776 3407 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 3407 1111 63 0 4018 0
vsize: 16324
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 208053 0 0 0 39426 575 0 0 25 0 1 0 654477856 16879616 3447 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4121 3447 1111 63 0 4058 0
vsize: 16484
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 213565 0 0 0 40411 589 0 0 25 0 1 0 654477856 17002496 3477 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3477 1111 63 0 4088 0
vsize: 16604
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 219142 0 0 0 41396 605 0 0 25 0 1 0 654477856 17195008 3524 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4198 3524 1111 63 0 4135 0
vsize: 16792
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 222145 0 0 0 42388 613 0 0 25 0 1 0 654477856 17596416 3622 4294967295 134512640 134714508 3221221792 3221220096 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4296 3622 1111 63 0 4233 0
vsize: 17184
[startup+440.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 227643 0 0 0 43374 627 0 0 25 0 1 0 654477856 17350656 3562 4294967295 134512640 134714508 3221221792 3221220096 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4236 3562 1111 63 0 4173 0
vsize: 16944
[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 233067 0 0 0 44360 642 0 0 25 0 1 0 654477856 17518592 3601 4294967295 134512640 134714508 3221221792 3221220536 1077374433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4277 3601 1111 63 0 4214 0
vsize: 17108
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 237556 0 0 0 45348 654 0 0 25 0 1 0 654477856 17125376 3507 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4181 3507 1111 63 0 4118 0
vsize: 16724
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 241880 0 0 0 46336 665 0 0 25 0 1 0 654477856 17154048 3514 4294967295 134512640 134714508 3221221792 3221220096 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4188 3514 1111 63 0 4125 0
vsize: 16752
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 248007 0 0 0 47321 680 0 0 25 0 1 0 654477856 17854464 3685 4294967295 134512640 134714508 3221221792 3221218952 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4567 3692 1111 63 0 4504 0
vsize: 17436
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 252353 0 0 0 48309 692 0 0 25 0 1 0 654477856 16850944 3440 4294967295 134512640 134714508 3221221792 3221219888 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4114 3440 1111 63 0 4051 0
vsize: 16456
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 256629 0 0 0 49298 704 0 0 25 0 1 0 654477856 17149952 3513 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4187 3513 1111 63 0 4124 0
vsize: 16748
[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 260047 0 0 0 50289 713 0 0 25 0 1 0 654477856 19542016 4041 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4771 4041 1111 63 0 4708 0
vsize: 19084
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 265370 0 0 0 51276 726 0 0 25 0 1 0 654477856 16850944 3440 4294967295 134512640 134714508 3221221792 3221219008 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4114 3440 1111 63 0 4051 0
vsize: 16456
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 269818 0 0 0 52264 738 0 0 25 0 1 0 654477856 17174528 3519 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4193 3519 1111 63 0 4130 0
vsize: 16772
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 274246 0 0 0 53253 749 0 0 25 0 1 0 654477856 17199104 3525 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4199 3525 1111 63 0 4136 0
vsize: 16796
[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 279578 0 0 0 54239 763 0 0 25 0 1 0 654477856 19009536 3967 4294967295 134512640 134714508 3221221792 3221219792 1074916756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4641 3967 1111 63 0 4578 0
vsize: 18564
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 286333 0 0 0 55223 780 0 0 25 0 1 0 654477856 17235968 3534 4294967295 134512640 134714508 3221221792 3221220096 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4208 3534 1111 63 0 4145 0
vsize: 16832
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 291257 0 0 0 56211 792 0 0 25 0 1 0 654477856 17252352 3538 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4212 3538 1111 63 0 4149 0
vsize: 16848
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 296552 0 0 0 57197 806 0 0 25 0 1 0 654477856 17821696 3677 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4351 3677 1111 63 0 4288 0
vsize: 17404
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 301551 0 0 0 58185 819 0 0 25 0 1 0 654477856 17846272 3683 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4357 3683 1111 63 0 4294 0
vsize: 17428
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 307274 0 0 0 59171 832 0 0 25 0 1 0 654477856 19804160 4161 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4835 4161 1111 63 0 4772 0
vsize: 19340
[startup+610.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 311632 0 0 0 60160 844 0 0 25 0 1 0 654477856 17702912 3648 4294967295 134512640 134714508 3221221792 3221219744 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4322 3648 1111 63 0 4259 0
vsize: 17288
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 314005 0 0 0 61154 850 0 0 25 0 1 0 654477856 17801216 3672 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4346 3672 1111 63 0 4283 0
vsize: 17384
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 318764 0 0 0 62141 863 0 0 25 0 1 0 654477856 17539072 3608 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 3608 1111 63 0 4219 0
vsize: 17128
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 321032 0 0 0 63135 869 0 0 25 0 1 0 654477856 17661952 3638 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4312 3638 1111 63 0 4249 0
vsize: 17248
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 325424 0 0 0 64123 881 0 0 25 0 1 0 654477856 17674240 3641 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4315 3641 1111 63 0 4252 0
vsize: 17260
[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 329724 0 0 0 65113 891 0 0 25 0 1 0 654477856 17530880 3606 4294967295 134512640 134714508 3221221792 3221220080 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4280 3606 1111 63 0 4217 0
vsize: 17120
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 333676 0 0 0 66104 901 0 0 25 0 1 0 654477856 17506304 3600 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4274 3600 1111 63 0 4211 0
vsize: 17096
[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 337579 0 0 0 67094 911 0 0 25 0 1 0 654477856 17502208 3599 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4273 3599 1111 63 0 4210 0
vsize: 17092
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 341368 0 0 0 68086 919 0 0 25 0 1 0 654477856 17506304 3600 4294967295 134512640 134714508 3221221792 3221220096 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4274 3600 1111 63 0 4211 0
vsize: 17096
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 345085 0 0 0 69076 929 0 0 25 0 1 0 654477856 17809408 3674 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3674 1111 63 0 4285 0
vsize: 17392
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 349368 0 0 0 70063 942 0 0 25 0 1 0 654477856 17416192 3578 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4252 3578 1111 63 0 4189 0
vsize: 17008
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 352656 0 0 0 71055 950 0 0 25 0 1 0 654477856 17440768 3584 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4258 3584 1111 63 0 4195 0
vsize: 17032
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 357347 0 0 0 72042 963 0 0 25 0 1 0 654477856 17211392 3529 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3529 1111 63 0 4139 0
vsize: 16808
[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 361428 0 0 0 73031 974 0 0 25 0 1 0 654477856 17178624 3521 4294967295 134512640 134714508 3221221792 3221219824 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4194 3521 1111 63 0 4131 0
vsize: 16776
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 364214 0 0 0 74024 981 0 0 25 0 1 0 654477856 20312064 4239 4294967295 134512640 134714508 3221221792 3221218064 1074960800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4959 4239 1111 63 0 4896 0
vsize: 19836
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 369261 0 0 0 75010 996 0 0 25 0 1 0 654477856 17088512 3499 4294967295 134512640 134714508 3221221792 3221219628 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4172 3499 1111 63 0 4109 0
vsize: 16688
[startup+770.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 370958 0 0 0 76004 1002 0 0 25 0 1 0 654477856 20135936 4243 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4916 4243 1111 63 0 4853 0
vsize: 19664
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 374506 0 0 0 76995 1011 0 0 25 0 1 0 654477856 17911808 3700 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4373 3700 1111 63 0 4310 0
vsize: 17492
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 380600 0 0 0 77980 1027 0 0 25 0 1 0 654477856 17838080 3682 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4355 3682 1111 63 0 4292 0
vsize: 17420
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 382240 0 0 0 78975 1032 0 0 25 0 1 0 654477856 20819968 4362 4294967295 134512640 134714508 3221221792 3221217836 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5083 4362 1111 63 0 5020 0
vsize: 20332
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 386301 0 0 0 79963 1044 0 0 25 0 1 0 654477856 17358848 3564 4294967295 134512640 134714508 3221221792 3221199704 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4241 3566 1111 63 0 4178 0
vsize: 16952
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 387674 0 0 0 80959 1048 0 0 25 0 1 0 654477856 20701184 4381 4294967295 134512640 134714508 3221221792 3221218896 1074138623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5054 4381 1111 63 0 4991 0
vsize: 20216
[startup+821.3 s]
Raw data (loadavg): 1.00 1.00 0.99 1/53 8949
Raw data (stat): 8949 (bsolo_lpr_cuts) R 8948 7876 7672 0 -1 0 387674 0 0 0 80959 1048 0 0 25 0 1 0 654477856 20701184 4381 4294967295 134512640 134714508 3221221792 3221218896 1074138623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5054 4381 1111 63 0 4991 0
vsize: 0

Child status: 30
Real time (s): 821.3
CPU time (s): 821.337
CPU user time (s): 810.799
CPU system time (s): 10.5384
CPU usage (%): 100.005
Max. virtual memory (Kb): 20332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	15
#### END VERIFIER DATA ####