Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_warehouses_warehouse1.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/warehouse1.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 667965
o 1875484
o 1869176
o 1833176
o 1832863
o 1821476
o 1821163
o 1820344
o 1820031
o 1819159
o 1818846
o 1813773
o 1812641
o 1812328
o 1812045
o 1810801
o 1810488
o 1804608
o 1804295
o 1803476
o 1803163
o 1802880
o 1801636
o 1801323
o 1800408
o 1800095
o 1799276
o 1798963
o 1798680
o 1797436
o 1797123
o 1797045
o 1796762
o 1795205
o 1794949
o 1794919
o 1794636
o 1793392
o 1793079
o 1766793
o 1762593
o 1761153
o 1756953
o 1755035
o 1753903
o 1753850
o 1752718
o 1749250
o 1748118
o 1747332
o 1746200
o 1745887
o 1745604
o 1744360
o 1744047
o 1741750
o 1739832
o 1739519
o 1738387
o 1738104
o 1736547
o 1735632
o 1735319
o 1734500
o 1734187
o 1733904
o 1732347
o 1730885
o 1730013
o 1729700
o 1728385
o 1726467
o 1726154
o 1725335
o 1725022
o 1724739
o 1723182
o 1722896
o 1722613
o 1721056
o 1702354
o 1701184
o 1699266
o 1698953
o 1698134
o 1697821
o 1697538
o 1696294
o 1695981
o 1695695
o 1695412
o 1694168
o 1693855
o 1693684
o 1689484
o 1689171
o 1687566
o 1687253
o 1686434
o 1686121
o 1685440
o 1685127
o 1684308
o 1683995
o 1683712
o 1682468
o 1682155
o 1681283
o 1680970
o 1679655
o 1677737
o 1677424
o 1676605
o 1676322
o 1676292
o 1676009
o 1674765
o 1674452
o 1673303
o 1672990
o 1672118
o 1671805
o 1670698
o 1670385
o 1669566
o 1669253
o 1668970
o 1667726
o 1667413
o 1667127
o 1666844
o 1665600
o 1665287
o 1665182
o 1663577
o 1663264
o 1662445
o 1662132
o 1661849
o 1660605
o 1660292
o 1660103
o 1659817
o 1659534
o 1658290
o 1657977
o 1657289
o 1656976
o 1656181
o 1655868
o 1655049
o 1654736
o 1654453
o 1653209
o 1652896
o 1652500
o 1652187
o 1651953
o 1651670
o 1650113
o 1649857
o 1649544
o 1648300
o 1647987
o 1647299
o 1646986
o 1646894
o 1646581
o 1646185
o 1645872
o 1645184
o 1644871
o 1644509
o 1644196
o 1643913
o 1643670
o 1642669
o 1642356
o 1642081
o 1641798
o 1641263
o 1640950
o 1640554
o 1640241
o 1638010
o 1635884
o 1633966
o 1633653
o 1632781
o 1632468
o 1632381
o 1630463
o 1630307
o 1628181
o 1626263
o 1625950
o 1625866
o 1623948
o 1623635
o 1622816
o 1622503
o 1622220
o 1620976
o 1620663
o 1619947
o 1619664
o 1618107
o 1617794
o 1617538
o 1615981
o 1615668
o 1615322
o 1613905
o 1613404
o 1611987
o 1611590
o 1611089
o 1609672
o 1609359
o 1608540
o 1608227
o 1607944
o 1606700
o 1606387
o 1605991
o 1605678
o 1605386
o 1604990
o 1604677
o 1603876
o 1603563
o 1602875
o 1602562
o 1602070
o 1601361
o 1601048
o 1600360
o 1600047
o 1599955
o 1599246
o 1598933
o 1598245
o 1597932
o 1597888
o 1597200
o 1596887
o 1596839
o 1596809
o 1596526
o 1596283
o 1595970
o 1595282
o 1594969
o 1594625
o 1594312
o 1593311
o 1593210
o 1592918
o 1592209
o 1591896
o 1591653
o 1591340
o 1590652
o 1590339
o 1589892
o 1589579
o 1589547
o 1589234
o 1588722
o 1588439
o 1588196
o 1587195
o 1586882
o 1586678
o 1586365
o 1585364
o 1584917
o 1584604
o 1584329
o 1584046
o 1583562
o 1583249
o 1582802
o 1582489
o 1582368
o 1581680
o 1581367
o 1580566
o 1580253
o 1579252
o 1578607
o 1578294
o 1578049
o 1577736
o 1577697
o 1577180
o 1576179
o 1574978
o 1574665
o 1573977
o 1573664
o 1572863
o 1572550
o 1571862
o 1571549
o 1571102
o 1570789
o 1569827
o 1569067
o 1568848
o 1567847
o 1567087
o 1566947
o 1566187
o 1566180
o 1566150
o 1565867
o 1565560
o 1564428
o 1564145
o 1563427
o 1563144
o 1562667
o 1562384
o 1561587
o 1560827
o 1559929
o 1559169
o 1558514
o 1558037
o 1557754
o 1556957
o 1556197
o 1555996
o 1555755
o 1554995
o 1554811
o 1554570
o 1553810
o 1553407
o 1552890
o 1552202
o 1551889
o 1551442
o 1551129
o 1550408
o 1550167
o 1549407
o 1549132
o 1548849
o 1548052
o 1547292
o 1547227
o 1546467
o 1546193
o 1545807
o 1544675
o 1543915
o 1543674
o 1542914
o 1542601
o 1541639
o 1540879
o 1540486
o 1539765
o 1539524
o 1538764
o 1538685
o 1537925
o 1537684
o 1536924
o 1536777
o 1535815
o 1535055
o 1534975
o 1534662
o 1533700
o 1532940
o 1532657
o 1531860
o 1531100
o 1530859
o 1530099
o 1529409
o 1528649
o 1528343
o 1527918
o 1527321
o 1526163
o 1525403
o 1525206
o 1524048
o 1523288
o 1522975
o 1522013
o 1521253
o 1520881
o 1520121
o 1520003
o 1519041
o 1518281
o 1517889
o 1516998
o 1516685
o 1515925
o 1514570
o 1513810
o 1512848
o 1512088
o 1511716
o 1510956
o 1510673
o 1509876
o 1509116
o 1508728
o 1508445
o 1508058
o 1507745
o 1506613
o 1506330
o 1505853
o 1505570
o 1505086
o 1504773
o 1504326
o 1504013
o 1503051
o 1502291
o 1502050
o 1501290
o 1500929
o 1500616
o 1500333
o 1499849
o 1499536
o 1499089
o 1498776
o 1497814
o 1497054
o 1496629
o 1495869
o 1494949
o 1494502
o 1494189
o 1493948
o 1493501
o 1493188
o 1492834
o 1492387
o 1492074
o 1491833
o 1491386
o 1491073
o 1490908
o 1490352
o 1490111
o 1489351
o 1489168
o 1488721
o 1488408
o 1488243
o 1487446
o 1486686
o 1486502
o 1486261
o 1485501
o 1484973
o 1484690
o 1483893
o 1483133
o 1482820
o 1482655
o 1481858
o 1481098
o 1480744
o 1479984
o 1479743
o 1478983
o 1478803
o 1478043
o 1478017
o 1476885
o 1476125
o 1475700
o 1474940
o 1474497
o 1474111
o 1472979
o 1471978
o 1471061
o 1470060
o 1469300
o 1468875
o 1468115
o 1468080
o 1466948
o 1466431
o 1465430
o 1464670
o 1464245
o 1463485
o 1463202
o 1462830
o 1462405
o 1461645
o 1461370
o 1461087
o 1460715
o 1460290
o 1459530
o 1459482
o 1459199
o 1458402
o 1457642
o 1456744
o 1455329
o 1455290
o 1453772
o 1453012
o 1452050
o 1451290
o 1450943
o 1450904
o 1449386
o 1448626
o 1447271
o 1446511
o 1446270
o 1445510
o 1444325
o 1443565
o 1443211
o 1442210
o 1441450
o 1441396
o 1440395
o 1440344
o 1439635
o 1439063
o 1437939
o 1436938
o 1436421
o 1435420
o 1434660
o 1434306
o 1433305
o 1432545
o 1432262
o 1431465
o 1430705
o 1429743
o 1428983
o 1428920
o 1427573
o 1427260
o 1426977
o 1425538
o 1425255
o 1425145
o 1424862
o 1423423
o 1423140
o 1420170
o 1419887
o 1418055
o 1417772
o 1416333
o 1416050
o 1415940
o 1415430
o 1415147
o 1413708
o 1413425
o 1413315
o 1411593
o 1411310
o 1410408
o 1410125
o 1409959
o 1408520
o 1408237
o 1407727
o 1407444
o 1405612
o 1405329
o 1403890
o 1403607
o 1403130
o 1402847
o 1402493
o 1402210
o 1400771
o 1400488
o 1400378
o 1400095
o 1398656
o 1398373
o 1397753
o 1397470
o 1396031
o 1395748
o 1395638
o 1395355
o 1393916
o 1393633
o 1392731
o 1392448
o 1390050
o 1389767
o 1387935
o 1387652
o 1386213
o 1385930
o 1385453
o 1385170
o 1385137
o 1383305
o 1383022
o 1381583
o 1381300
o 1380823
o 1380540
o 1379743
o 1378983
o 1378400
o 1378125
o 1377842
o 1376285
o 1376120
o 1374563
o 1374268
o 1373045
o 1372750
o 1372285
o 1371990
o 1371549
o 1371537
o 1371254
o 1369885
o 1369602
o 1368367
o 1368084
o 1366645
o 1366362
o 1366067
o 1365255
o 1363737
o 1363454
o 1363250
o 1362015
o 1361732
o 1361720
o 1361437
o 1361255
o 1360972
o 1360960
o 1360677
o 1360175
o 1359880
o 1359415
o 1359120
o 1358935
o 1358803
o 1358693
o 1354063
o 1352878
o 1350990
o 1346360
o 1346065
o 1344842
o 1344547
o 1344343
o 1343120
o 1342825
o 1340126
o 1338561
o 1337043
o 1336839
o 1335321
o 1335026
o 1334743
o 1333481
o 1333186
o 1332911
o 1332628
o 1331366
o 1331071
o 1330606
o 1330311
o 1329743
o 1328983
o 1328929
o 1328796
o 1328656
o 1327239
o 1327046
o 1321945
o 1320528
o 1320388
o 1318971
o 1318806
o 1318666
o 1317249
o 1316659
o 1316101
o 1315134
o 1314544
o 1313703
o 1311981
o 1311391
o 1310424
o 1309834
o 1309276
o 1308309
o 1307719
o 1305904
o 1305627
o 1305314
o 1304347
o 1303757
o 1303512
o 1303199
o 1302232
o 1301642
o 1301477
o 1300510
o 1299920
o 1299717
o 1299159
o 1297915
o 1297602
o 1297437
o 1295880
o 1295290
o 1295213
o 1294623
o 1294167
o 1292647
o 1292482
o 1290925
o 1290335
o 1289887
o 1289574
o 1288330
o 1288017
o 1287852
o 1286295
o 1285705
o 1284180
o 1283590
o 1283513
o 1282923
o 1282662
o 1282072
o 1281995
o 1281405
o 1281312
o 1281235
o 1280645
o 1280606
o 1280311
o 1279743
o 1278983
o 1278211
o 1277621
o 1276693
o 1276103
o 1275933
o 1275343
o 1275266
o 1274989
o 1274676
o 1274381
o 1274211
o 1273621
o 1273544
o 1272954
o 1272309
o 1271549
o 1270882
o 1270292
o 1270130
o 1269683
o 1269370
o 1269016
o 1268703
o 1268426
o 1268113
o 1267648
o 1267058
o 1266981
o 1266391
o 1266367
o 1265700
o 1263849
o 1262331
o 1261571
o 1261217
o 1260904
o 1260609
o 1259849
o 1259182
o 1258592
o 1258123
o 1257822
o 1256971
o 1256211
o 1255544
o 1253859
o 1253192
o 1252341
o 1251581
o 1250914
o 1250324
o 1249952
o 1249859
o 1249192
o 1248602
o 1248112
o 1247942
o 1247352
o 1246980
o 1246390
o 1246220
o 1245630
o 1245157
o 1240989
o 1240322
o 1239471
o 1239117
o 1238804
o 1238711
o 1238044
o 1237767
o 1237454
o 1237427
o 1237350
o 1236760
o 1236499
o 1235909
o 1235832
o 1235242
o 1235149
o 1235072
o 1234482
o 1234187
o 1234110
o 1233520
o 1233427
o 1233350
o 1232760
o 1232367
o 1232072
o 1231995
o 1231405
o 1231312
o 1231235
o 1230645
o 1229743
o 1228983
o 1228439
o 1227772
o 1227182
o 1227084
o 1226417
o 1226324
o 1225657
o 1225067
o 1223014
o 1221496
o 1220829
o 1220239
o 1219381
o 1218714
o 1218124
o 1217954
o 1217364
o 1216992
o 1216899
o 1216232
o 1215642
o 1214074
o 1213484
o 1212556
o 1211796
o 1211206
o 1211129
o 1210539
o 1210074
o 1209484
o 1209407
o 1208817
o 1208348
o 1208053
o 1207883
o 1207293
o 1207216
o 1206626
o 1206530
o 1206319
o 1206242
o 1205652
o 1204084
o 1203494
o 1202566
o 1201976
o 1201806
o 1201216
o 1200844
o 1200254
o 1200084
o 1199494
o 1199417
o 1198827
o 1197872
o 1197205
o 1197112
o 1196445
o 1195855
o 1195822
o 1195618
o 1194767
o 1194100
o 1194007
o 1193340
o 1192750
o 1192576
o 1191816
o 1190989
o 1188017
o 1186499
o 1185739
o 1184777
o 1184017
o 1183427
o 1183350
o 1182760
o 1182662
o 1181902
o 1181312
o 1181235
o 1180645
o 1180568
o 1179808
o 1178453
o 1177693
o 1177103
o 1176412
o 1174287
o 1172769
o 1172009
o 1170654
o 1169894
o 1169304
o 1167462
o 1165347
o 1163829
o 1163069
o 1162479
o 1162402
o 1161812
o 1160584
o 1159824
o 1159234
o 1159157
o 1158567
o 1158469
o 1157709
o 1157042
o 1156452
o 1155954
o 1155194
o 1154527
o 1153839
o 1153079
o 1152412
o 1151822
o 1151079
o 1150482
o 1148964
o 1148297
o 1147707
o 1146769
o 1146102
o 1145512
o 1144254
o 1143657
o 1142139
o 1141549
o 1141472
o 1140882
o 1140789
o 1140712
o 1140122
o 1139827
o 1139750
o 1139160
o 1139067
o 1138990
o 1138400
o 1138339
o 1137672
o 1137579
o 1136912
o 1136224
o 1135464
o 1134797
o 1134207
o 1133912
o 1133742
o 1133152
o 1133075
o 1132485
o 1128657
o 1127525
o 1127139
o 1126007
o 1125247
o 1124580
o 1124285
o 1123618
o 1123525
o 1122858
o 1122389
o 1122175
o 1122082
o 1121415
o 1120647
o 1119515
o 1118667
o 1117535
o 1116868
o 1116017
o 1115257
o 1114590
o 1114295
o 1113628
o 1113535
o 1112868
o 1112278
o 1112166
o 1111204
o 1110444
o 1109235
o 1108055
o 1107825
o 1106645
o 1106537
o 1106307
o 1105127
o 1104367
o 1103405
o 1102645
o 1101978
o 1101388
o 1101307
o 1101259
o 1100127
o 1099741
o 1098609
o 1097942
o 1097849
o 1097182
o 1096592
o 1096127
o 1095460
o 1094870
o 1093979
o 1093219
o 1092552
o 1092257
o 1091590
o 1091497
o 1090830
o 1090240
o 1089657
o 1088990
o 1088400
o 1088372
o 1087705
o 1087115
o 1085682
o 1084502
o 1083742
o 1083075
o 1082485
o 1082353
o 1081763
o 1081593
o 1081003
o 1080926
o 1080336
o 1079184
o 1078594
o 1078424
o 1077834
o 1077757
o 1077167
o 1076589
o 1075922
o 1075829
o 1075162
o 1074572
o 1074307
o 1073794
o 1073127
o 1072537
o 1072233
o 1071566
o 1070976
o 1070562
o 1069972
o 1069707
o 1069194
o 1068527
o 1067937
o 1067779
o 1067112
o 1066599
o 1065932
o 1065342
o 1065077
o 1064564
o 1063897
o 1063307
o 1063137
o 1062547
o 1062161
o 1061494
o 1060904
o 1060811
o 1060734
o 1060144
o 1060046
o 1059379
o 1058789
o 1058619
o 1058029
o 1057735
o 1057565
o 1056975
o 1056877
o 1056210
o 1055620
o 1055450
o 1054860
o 1053427
o 1052760
o 1052247
o 1051657
o 1051580
o 1050990
o 1050820
o 1050230
o 1050056
o 1049389
o 1049296
o 1048629
o 1048039
o 1047400
o 1046887
o 1046220
o 1045630
o 1045460
o 1044870
o 1043437
o 1042770
o 1042257
o 1041590
o 1041497
o 1040830
o 1040240
o 1040237
o 1039528
o 1039233
o 1039120
o 1037781
o 1036623
o 1035666
o 1034508
o 1033748
o 1033039
o 1032619
o 1032568
o 1031859
o 1031564
o 1030635
o 1027050
o 1025640
o 1024880
o 1024482
o 1023722
o 1023302
o 1022542
o 1022247
o 1021607
o 1021585
o 1021187
o 1020427
o 1020132
o 1019718
o 1019423
o 1017971
o 1017891
o 1017374
o 1015856
o 1015096
o 1014698
o 1013938
o 1013916
o 1013518
o 1012758
o 1012463
o 1012049
o 1011754
o 1011470
o 1011175
o 1011021
o 1010726
o 1010312
o 1010017
o 1009966
o 1009552
o 1009257
o 1008961
o 1008371
o 1008294
o 1007704
o 1007534
o 1006944
o 1006814
o 1006142
o 1005509
o 1004884
o 1003474
o 1002807
o 1002294
o 1001627
o 1001534
o 1000867
o 1000495
o 1000402
o 999735
o 999145
o 998208
o 996798
o 995640
o 990192
o 989034
o 986508
o 985098
o 983940
o 980716
o 979558
o 978048
o 976890
o 975551
o 974393
o 973633
o 973014
o 972264
o 971106
o 970346
o 970298
o 969926
o 969166
o 968871
o 968457
o 968162
o 967937
o 967642
o 967539
o 967244
o 966779
o 966484
o 966070
o 965775
o 965479
o 964812
o 964719
o 964052
o 962660
o 962027
o 959992
o 958812
o 957680
o 957013
o 956920
o 956253
o 955663
o 954448
o 953268
o 952110
o 951129
o 949949
o 949152
o 947634
o 946476
o 945344
o 944584
o 943834
o 942676
o 941916
o 941799
o 941773
o 940641
o 939881
o 939302
o 938144
o 937384
o 934566
o 933386
o 932626
o 932411
o 931231
o 930471
o 930099
o 929339
o 928734
o 927974
o 927602
o 926842
o 926444
o 925684
o 925389
o 924975
o 924680
o 923880
o 921845
o 921550
o 921355
o 920223
o 919190
o 918058
o 917155
o 916023
o 914877
o 913745
o 912695
o 912028
o 911438
o 910611
o 909794
o 908384
o 906901
o 905716
o 904623
o 903438
o 902258
o 900466
o 900336
o 899286
o 898418
o 897008
o 896383
o 894973
o 892847
o 892552
o 891711
o 891351
o 890301
o 889668
o 887633
o 887338
o 885355
o 885060
o 885058
o 884008
o 883713
o 883067
o 881882
o 881587
o 880968
o 878933
o 877801
o 877134
o 876891
o 876655
o 875523
o 874856
o 874473
o 873806
o 873216
o 871984
o 869949
o 864699
o 864188
o 862153
o 861064
o 859988
o 858938
o 857953
o 856903
o 856787
o 854661
o 853572
o 851537
o 849411
o 849116
o 847133
o 846838
o 845695
o 845400
o 843660
o 843365
o 843308
o 842128
o 841898
o 840718
o 839835
o 838655
o 837245
o 836950
o 836082
o 834672
o 833917
o 833622
o 830968
o 830301
o 829918
o 829251
o 828786
o 828119
o 828023
o 827640
o 826973
o 826891
o 826508
o 825841
o 825251
o 820584
o 820289
o 817204
o 809712
o 807434
o 805308
o 803961
o 802130
o 801835
o 800945
o 800650
o 797821
o 797526
o 795400
o 781749
o 779623
o 779081
o 776955
o 775905
o 775610
o 775361
o 772488
o 767008
o 765823
o 763535
o 762350
o 760573
o 757100
o 737310
o 730997
o 730567
c 66602 branches 613901 propagates
c total generalized unit propagation = 109889, success = 34.24%
s OPTIMUM FOUND
c Optimal Solution = 730567
v -1 -2 -3 -4 -5 -6 -7 8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 382 383 -384 385 -386 387 -388 389 -390 391 -392 393 -394 -395 396 397 -398 399 -400 401 -402 403 -404 405 -406 407 -408 409 -410 411 -412 413 -414 415 -416 417 -418 420 421 422 423 424 425 426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 496 497 498 499 500 501 502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 515 516 517 518 519 520 521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 534 535 536 537 538 539 540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 553 554 555 556 557 558 559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 591 592 593 594 595 596 597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 610 611 612 613 614 615 616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 800 -802 -804 -806 -808 -810 -812 814 -816 -818 -820 -822 -824 -826 -828 -830 -832 -834 -836 419 438 457 476 495 514 533 552 571 590 609 628 647 666 685 704 723 742 761 780 799 801 803 805 807 809 811 813 815 817 819 821 823 825 827 829 831 833 835
74.511u 0.015s 1:15.07 99.2%	0+0k 0+0io 0pf+0w