Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wpm1-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C4000_H150_4.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_4.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 2
c lw 7
c lw 9
c lw 12
c lw 13
c lw 14
c lw 15
c lw 17
c lw 18
c lw 23
c lw 25
c lw 28
c lw 32
c lw 34
c lw 37
c lw 39
c lw 40
c lw 41
c lw 42
c lw 43
c lw 46
c lw 51
c lw 54
c lw 62
c lw 63
c lw 64
c lw 68
c lw 71
c lw 74
c lw 76
c lw 78
c lw 79
c lw 80
c lw 84
c lw 88
c lw 89
c lw 92
c lw 94
c lw 95
c lw 96
c lw 98
c lw 99
c lw 101
c lw 102
c lw 104
c lw 105
c lw 106
c lw 108
c lw 109
c lw 114
c lw 115
c lw 117
c lw 118
c lw 119
c lw 125
c lw 126
c lw 127
c lw 128
c lw 129
c lw 130
c lw 131
c lw 133
c lw 134
c lw 136
c lw 138
c lw 139
c lw 142
c lw 143
c lw 147
c lw 151
c lw 152
c lw 153
c lw 154
c lw 155
c lw 156
c lw 157
c lw 161
c lw 162
c lw 166
c lw 167
c lw 169
c lw 170
c lw 171
c lw 172
c lw 173
c lw 175
c lw 178
c lw 180
c lw 186
c lw 189
c lw 190
c lw 192
c lw 194
c lw 195
c lw 196
c lw 197
c lw 198
c lw 200
c lw 201
c lw 202
c lw 204
c lw 205
c lw 207
c lw 211
c lw 212
c lw 214
c lw 215
c lw 216
c lw 218
c lw 219
c lw 221
c lw 223
c lw 224
c lw 227
c lw 228
c lw 229
c lw 232
c lw 236
c lw 237
c lw 239
c lw 240
c lw 241
c lw 247
c lw 250
c lw 253
c lw 257
c lw 258
c lw 261
c lw 262
c lw 263
c lw 264
c lw 268
c lw 270
c lw 273
c lw 275
c lw 277
c lw 279
c lw 281
c lw 282
c lw 286
c lw 287
c lw 289
c lw 291
c lw 293
c lw 294
c lw 296
c lw 297
c lw 301
c lw 303
c lw 304
c lw 307
c lw 309
c lw 312
c lw 314
c lw 317
c lw 320
c lw 322
c lw 325
c lw 330
c lw 334
c lw 335
c lw 338
c lw 340
c lw 341
c lw 345
c lw 350
c lw 352
c lw 353
c lw 354
c lw 356
c lw 357
c lw 360
c lw 361
c lw 362
c lw 363
c lw 366
c lw 368
c lw 369
c lw 370
c lw 372
c lw 373
c lw 374
c lw 376
c lw 377
c lw 378
c lw 381
c lw 383
c lw 385
c lw 388
c lw 390
c lw 392
c lw 393
c lw 394
c lw 400
c lw 401
c lw 405
c lw 406
c lw 407
c lw 408
c lw 410
c lw 412
c lw 415
c lw 418
c lw 419
c lw 420
c lw 421
c lw 422
c lw 423
c lw 424
c lw 425
c lw 426
c lw 427
c lw 429
c lw 430
c lw 431
c lw 433
c lw 434
c lw 437
c lw 438
c lw 439
c lw 443
c lw 444
c lw 445
c lw 449
c lw 450
c lw 452
c lw 455
c lw 456
c lw 457
c lw 459
c lw 460
c lw 464
c lw 466
c lw 467
c lw 470
c lw 473
c lw 474
c lw 479
c lw 482
c lw 483
c lw 484
c lw 488
c lw 489
c lw 492
c lw 493
c lw 495
c lw 496
c lw 498
c lw 500
c lw 501
c lw 504
c lw 506
c lw 507
c lw 511
c lw 514
c lw 516
c lw 517
c lw 520
c lw 526
c lw 527
c lw 528
c lw 529
c lw 532
c lw 535
c lw 536
c lw 538
c lw 539
c lw 541
c lw 542
c lw 543
c lw 544
c lw 547
c lw 548
c lw 551
c lw 553
c lw 554
c lw 555
c lw 556
c lw 557
c lw 558
c lw 562
c lw 563
c lw 568
c lw 569
c lw 570
c lw 572
c lw 573
c lw 574
c lw 576
c lw 578
c lw 580
c lw 581
c lw 583
c lw 584
c lw 585
c lw 586
c lw 591
c lw 593
c lw 595
c lw 597
c lw 598
c lw 600
c lw 601
c lw 602
c lw 603
c lw 604
c lw 608
c lw 610
c lw 611
c lw 612
c lw 614
c lw 615
c lw 617
c lw 618
c lw 619
c lw 621
c lw 623
c lw 626
c lw 627
c lw 628
c lw 631
c lw 632
c lw 633
c lw 637
c lw 638
c lw 640
c lw 647
c lw 648
c lw 650
c lw 651
c lw 652
c lw 655
c lw 657
c lw 659
c lw 660
c lw 661
c lw 666
c lw 668
c lw 671
c lw 672
c lw 675
c lw 678
c lw 682
c lw 684
c lw 690
c lw 693
c lw 695
c lw 697
c lw 699
c lw 700
c lw 706
c lw 708
c lw 712
c lw 714
c lw 721
c lw 722
c lw 723
c lw 725
c lw 728
c lw 731
c lw 732
c lw 733
c lw 739
c lw 742
c lw 746
c lw 753
c lw 756
c lw 762
c lw 763
c lw 764
c lw 765
c lw 769
c lw 770
c lw 773
c lw 775
c lw 776
c lw 778
c lw 781
c lw 782
c lw 784
c lw 785
c lw 786
c lw 788
c lw 793
c lw 795
c lw 796
c lw 798
c lw 799
c lw 802
c lw 803
c lw 804
c lw 806
c lw 807
c lw 808
c lw 809
c lw 811
c lw 812
c lw 813
c lw 814
c lw 817
c lw 818
c lw 820
c lw 822
c lw 823
c lw 824
c lw 826
c lw 827
c lw 829
c lw 832
c lw 833
c lw 835
c lw 836
c lw 837
c lw 840
c lw 844
c lw 846
c lw 848
c lw 849
c lw 852
c lw 853
c lw 856
c lw 857
c lw 858
c lw 859
c lw 861
c lw 862
c lw 863
c lw 864
c lw 867
c lw 869
c lw 870
c lw 875
c lw 876
c lw 880
c lw 882
c lw 883
c lw 884
c lw 885
c lw 886
c lw 887
c lw 889
c lw 893
c lw 894
c lw 896
c lw 898
c lw 900
c lw 901
c lw 903
c lw 907
c lw 908
c lw 910
c lw 912
c lw 914
c lw 916
c lw 919
c lw 922
c lw 926
c lw 929
c lw 930
c lw 931
c lw 934
c lw 936
c lw 938
c lw 939
c lw 940
c lw 942
c lw 943
c lw 944
c lw 947
c lw 951
c lw 955
c lw 956
c lw 958
c lw 960
c lw 962
c lw 964
c lw 965
c lw 967
c lw 968
c lw 969
c lw 970
c lw 975
c lw 977
c lw 978
c lw 982
c lw 983
c lw 984
c lw 985
c lw 988
c lw 989
c lw 993
c lw 996
c lw 997
c lw 998
c lw 1003
c lw 1004
c lw 1005
c lw 1006
c lw 1009
c lw 1011
c lw 1012
c lw 1015
c lw 1017
c lw 1018
c lw 1019
c lw 1022
c lw 1025
c lw 1027
c lw 1029
c lw 1030
c lw 1031
c lw 1033
c lw 1034
c lw 1039
c lw 1040
c lw 1041
c lw 1044
c lw 1045
c lw 1047
c lw 1048
c lw 1052
c lw 1056
c lw 1057
c lw 1059
c lw 1064
c lw 1065
c lw 1066
c lw 1069
c lw 1070
c lw 1073
c lw 1075
c lw 1076
c lw 1081
c lw 1085
c lw 1088
c lw 1090
c lw 1091
c lw 1094
c lw 1096
c lw 1097
c lw 1099
c lw 1102
c lw 1105
c lw 1106
c lw 1108
c lw 1109
c lw 1111
c lw 1114
c lw 1115
c lw 1116
c lw 1117
c lw 1118
c lw 1124
c lw 1125
c lw 1128
c lw 1129
c lw 1133
c lw 1134
c lw 1136
c lw 1139
c lw 1140
c lw 1144
c lw 1145
c lw 1147
c lw 1148
c lw 1149
c lw 1150
c lw 1151
c lw 1157
c lw 1158
c lw 1162
c lw 1163
c lw 1164
c lw 1165
c lw 1170
c lw 1171
c lw 1174
c lw 1176
c lw 1180
c lw 1181
c lw 1184
c lw 1187
c lw 1188
c lw 1189
c lw 1190
c lw 1192
c lw 1193
c lw 1196
c lw 1200
c lw 1201
c lw 1207
c lw 1209
c lw 1210
c lw 1214
c lw 1215
c lw 1216
c lw 1219
c lw 1220
c lw 1221
c lw 1222
c lw 1224
c lw 1225
c lw 1226
c lw 1230
c lw 1231
c lw 1234
c lw 1235
c lw 1237
c lw 1240
c lw 1242
c lw 1243
c lw 1244
c lw 1245
c lw 1247
c lw 1252
c lw 1254
c lw 1256
c lw 1257
c lw 1259
c lw 1260
c lw 1264
c lw 1265
c lw 1268
c lw 1270
c lw 1272
c lw 1273
c lw 1275
c lw 1279
c lw 1285
c lw 1286
c lw 1287
c lw 1289
c lw 1292
c lw 1294
c lw 1295
c lw 1296
c lw 1299
c lw 1300
c lw 1301
c lw 1302
c lw 1305
c lw 1308
c lw 1312
c lw 1313
c lw 1314
c lw 1315
c lw 1317
c lw 1319
c lw 1320
c lw 1321
c lw 1323
c lw 1324
c lw 1325
c lw 1326
c lw 1327
c lw 1329
c lw 1330
c lw 1331
c lw 1332
c lw 1334
c lw 1336
c lw 1337
c lw 1338
c lw 1342
c lw 1344
c lw 1345
c lw 1346
c lw 1348
c lw 1352
c lw 1353
c lw 1354
c lw 1357
c lw 1362
c lw 1363
c lw 1364
c lw 1365
c lw 1366
c lw 1367
c lw 1368
c lw 1370
c lw 1371
c lw 1372
c lw 1373
c lw 1374
c lw 1375
c lw 1376
c lw 1380
c lw 1382
c lw 1384
c lw 1385
c lw 1386
c lw 1388
c lw 1390
c lw 1391
c lw 1393
c lw 1395
c lw 1397
c lw 1398
c lw 1400
c lw 1402
c lw 1404
c lw 1406
c lw 1407
c lw 1408
c lw 1409
c lw 1410
c lw 1413
c lw 1414
c lw 1415
c lw 1417
c lw 1418
c lw 1419
c lw 1420
c lw 1421
c lw 1422
c lw 1423
c lw 1424
c lw 1427
c lw 1429
c lw 1430
c lw 1431
c lw 1434
c lw 1435
c lw 1436
c lw 1438
c lw 1439
c lw 1440
c lw 1441
c lw 1442
c lw 1444
c lw 1445
c lw 1446
c lw 1447
c lw 1449
c lw 1451
c lw 1452
c lw 1453
c lw 1454
c lw 1456
c lw 1458
c lw 1460
c lw 1461
c lw 1463
c lw 1464
c lw 1465
c lw 1466
c lw 1471
c lw 1472
c lw 1474
c lw 1477
c lw 1479
c lw 1480
c lw 1481
c lw 1482
c lw 1483
c lw 1484
c lw 1489
c lw 1490
c lw 1491
c lw 1492
c lw 1493
c lw 1495
c lw 1496
c lw 1497
c lw 1498
c lw 1499
c lw 1500
c lw 1501
c lw 1502
c lw 1503
c lw 1504
c lw 1508
c lw 1510
c lw 1511
c lw 1512
c lw 1513
c lw 1515
c lw 1516
c lw 1518
c lw 1519
c lw 1520
c lw 1521
c lw 1522
c lw 1523
c lw 1524
c lw 1526
c lw 1527
c lw 1528
c lw 1530
c lw 1531
c lw 1534
c lw 1535
c lw 1536
c lw 1539
c lw 1541
c lw 1542
c lw 1543
c lw 1544
c lw 1545
c lw 1547
c lw 1548
c lw 1550
c lw 1551
c lw 1552
c lw 1555
c lw 1556
c lw 1557
c lw 1558
c lw 1559
c lw 1560
c lw 1561
c lw 1564
c lw 1565
c lw 1566
c lw 1567
c lw 1569
c lw 1570
c lw 1571
c lw 1575
c lw 1576
c lw 1578
c lw 1579
c lw 1582
c lw 1583
c lw 1585
c lw 1586
c lw 1588
c lw 1592
c lw 1594
c lw 1595
c lw 1596
c lw 1599
c lw 1601
c lw 1602
c lw 1603
c lw 1604
c lw 1605
c lw 1608
c lw 1609
c lw 1611
c lw 1612
c lw 1613
c lw 1614
c lw 1615
c lw 1616
c lw 1617
c lw 1618
c lw 1619
c lw 1622
c lw 1624
c lw 1626
c lw 1627
c lw 1630
c lw 1632
c lw 1633
c lw 1634
c lw 1638
c lw 1639
c lw 1641
c lw 1642
c lw 1643
c lw 1645
c lw 1647
c lw 1649
c lw 1650
c lw 1652
c lw 1653
c lw 1654
c lw 1657
c lw 1658
c lw 1659
c lw 1661
c lw 1662
c lw 1663
c lw 1666
c lw 1667
c lw 1668
c lw 1669
c lw 1670
c lw 1672
c lw 1673
c lw 1674
c lw 1675
c lw 1676
c lw 1677
c lw 1685
c lw 1687
c lw 1688
c lw 1690
c lw 1691
c lw 1692
c lw 1693
c lw 1696
c lw 1697
c lw 1698
c lw 1699
c lw 1700
c lw 1701
c lw 1702
c lw 1703
c lw 1704
c lw 1705
c lw 1706
c lw 1707
c lw 1708
c lw 1709
c lw 1710
c lw 1711
c lw 1712
c lw 1713
c lw 1714
c lw 1715
c lw 1717
c lw 1718
c lw 1721
c lw 1722
c lw 1724
c lw 1728
c lw 1729
c lw 1730
c lw 1731
c lw 1732
c lw 1735
c lw 1737
c lw 1738
c lw 1739
c lw 1740
c lw 1741
c lw 1746
c lw 1748
c lw 1749
c lw 1750
c lw 1752
c lw 1753
c lw 1754
c lw 1755
c lw 1756
c lw 1757
c lw 1759
c lw 1760
c lw 1762
c lw 1765
c lw 1766
c lw 1767
c lw 1771
c lw 1772
c lw 1773
c lw 1775
c lw 1776
c lw 1778
c lw 1782
c lw 1783
c lw 1786
c lw 1787
c lw 1788
c lw 1789
c lw 1790
c lw 1791
c lw 1792
c lw 1793
c lw 1800
c lw 1802
c lw 1803
c lw 1804
c lw 1806
c lw 1810
c lw 1813
c lw 1814
c lw 1815
c lw 1816
c lw 1817
c lw 1819
c lw 1820
c lw 1821
c lw 1822
c lw 1824
c lw 1825
c lw 1826
c lw 1827
c lw 1828
c lw 1830
c lw 1831
c lw 1832
c lw 1833
c lw 1835
c lw 1838
c lw 1839
c lw 1840
c lw 1841
c lw 1842
c lw 1846
c lw 1848
c lw 1849
c lw 1853
c lw 1854
c lw 1855
c lw 1856
c lw 1861
c lw 1863
c lw 1864
c lw 1865
c lw 1867
c lw 1868
c lw 1869
c lw 1871
c lw 1872
c lw 1873
c lw 1875
c lw 1876
c lw 1877
c lw 1878
c lw 1880
c lw 1881
c lw 1882
c lw 1885
c lw 1887
c lw 1891
c lw 1893
c lw 1894
c lw 1897
c lw 1899
c lw 1901
c lw 1902
c lw 1903
c lw 1904
c lw 1905
c lw 1907
c lw 1910
c lw 1914
c lw 1915
c lw 1916
c lw 1918
c lw 1919
c lw 1922
c lw 1924
c lw 1925
c lw 1928
c lw 1929
c lw 1930
c lw 1931
c lw 1932
c lw 1933
c lw 1934
c lw 1936
c lw 1937
c lw 1938
c lw 1939
c lw 1940
c lw 1941
c lw 1942
c lw 1943
c lw 1944
c lw 1945
c lw 1948
c lw 1950
c lw 1953
c lw 1954
c lw 1955
c lw 1956
c lw 1960
c lw 1961
c lw 1962
c lw 1965
c lw 1966
c lw 1968
c lw 1969
c lw 1970
c lw 1971
c lw 1973
c lw 1975
c lw 1977
c lw 1978
c lw 1979
c lw 1980
c lw 1982
c lw 1983
c lw 1985
c lw 1987
c lw 1988
c lw 1989
c lw 1992
c lw 1993
c lw 1995
c lw 1996
c lw 1997
c lw 1998
c lw 1999
c lw 2000
c lw 2002
c lw 2004
c lw 2006
c lw 2007
c lw 2008
c lw 2009
c lw 2010
c lw 2012
c lw 2013
c lw 2014
c lw 2015
c lw 2018
c lw 2019
c lw 2020
c lw 2023
c lw 2026
c lw 2027
c lw 2028
c lw 2031
c lw 2032
c lw 2035
c lw 2038
c lw 2040
c lw 2041
c lw 2042
c lw 2043
c lw 2045
c lw 2048
c lw 2049
c lw 2051
c lw 2052
c lw 2053
c lw 2055
c lw 2056
c lw 2058
c lw 2060
c lw 2061
c lw 2062
c lw 2064
c lw 2065
c lw 2067
c lw 2069
c lw 2070
c lw 2071
c lw 2072
c lw 2073
c lw 2075
c lw 2077
c lw 2078
c lw 2081
c lw 2083
c lw 2086
c lw 2087
c lw 2092
c lw 2093
c lw 2095
c lw 2097
c lw 2101
c lw 2102
c lw 2103
c lw 2106
c lw 2107
c lw 2108
c lw 2110
c lw 2113
c lw 2114
c lw 2116
c lw 2117
c lw 2118
c lw 2119
c lw 2123
c lw 2125
c lw 2127
c lw 2128
c lw 2129
c lw 2130
c lw 2132
c lw 2133
c lw 2137
c lw 2141
c lw 2142
c lw 2143
c lw 2144
c lw 2146
c lw 2147
c lw 2148
c lw 2149
c lw 2150
c lw 2151
c lw 2153
c lw 2154
c lw 2155
c lw 2156
c lw 2157
c lw 2158
c lw 2159
c lw 2160
c lw 2161
c lw 2162
c lw 2164
c lw 2165
c lw 2166
c lw 2167
c lw 2169
c lw 2170
c lw 2171
c lw 2172
c lw 2173
c lw 2174
c lw 2175
c lw 2177
c lw 2180
c lw 2182
c lw 2183
c lw 2185
c lw 2187
c lw 2188
c lw 2189
c lw 2190
c lw 2194
c lw 2195
c lw 2196
c lw 2197
c lw 2198
c lw 2199
c lw 2201
c lw 2203
c lw 2204
c lw 2205
c lw 2206
c lw 2209
c lw 2210
c lw 2211
c lw 2214
c lw 2215
c lw 2216
c lw 2217
c lw 2218
c lw 2219
c lw 2225
c lw 2227
c lw 2229
c lw 2232
c lw 2233
c lw 2234
c lw 2235
c lw 2238
c lw 2239
c lw 2240
c lw 2241
c lw 2242
c lw 2244
c lw 2246
c lw 2248
c lw 2249
c lw 2250
c lw 2251
c lw 2253
c lw 2258
c lw 2259
c lw 2261
c lw 2262
c lw 2263
c lw 2264
c lw 2265
c lw 2266
c lw 2271
c lw 2272
c lw 2274
c lw 2276
c lw 2277
c lw 2278
c lw 2279
c lw 2281
c lw 2283
c lw 2284
c lw 2285
c lw 2286
c lw 2287
c lw 2288
c lw 2291
c lw 2293
c lw 2294
c lw 2295
c lw 2296
c lw 2297
c lw 2298
c lw 2299
c lw 2300
c lw 2301
c lw 2302
c lw 2303
c lw 2305
c lw 2306
c lw 2307
c lw 2312
c lw 2313
c lw 2314
c lw 2315
c lw 2316
c lw 2317
c lw 2318
c lw 2319
c lw 2320
c lw 2322
c lw 2323
c lw 2325
c lw 2326
c lw 2327
c lw 2330
c lw 2333
c lw 2334
c lw 2335
c lw 2336
c lw 2338
c lw 2339
c lw 2340
c lw 2341
c lw 2344
c lw 2346
c lw 2348
c lw 2350
c lw 2351
c lw 2352
c lw 2353
c lw 2354
c lw 2355
c lw 2357
c lw 2358
c lw 2359
c lw 2360
c lw 2363
c lw 2364
c lw 2365
c lw 2366
c lw 2367
c lw 2368
c lw 2369
c lw 2370
c lw 2371
c lw 2372
c lw 2373
c lw 2375
c lw 2377
c lw 2378
c lw 2379
c lw 2382
c lw 2383
c lw 2384
c lw 2385
c lw 2386
c lw 2387
c lw 2388
c lw 2389
c lw 2390
c lw 2392
c lw 2393
c lw 2395
c lw 2397
c lw 2398
c lw 2400
c lw 2401
c lw 2402
c lw 2403
c lw 2404
c lw 2405
c lw 2406
c lw 2408
c lw 2410
c lw 2411
c lw 2413
c lw 2414
c lw 2415
c lw 2416
c lw 2417
c lw 2418
c lw 2419
c lw 2420
c lw 2421
c lw 2422
c lw 2423
c lw 2425
c lw 2426
c lw 2428
c lw 2429
c lw 2430
c lw 2432
c lw 2434
c lw 2436
c lw 2437
c lw 2438
c lw 2439
c lw 2440
c lw 2441
c lw 2442
c lw 2443
c lw 2444
c lw 2446
c lw 2447
c lw 2448
c lw 2449
c lw 2450
c lw 2451
c lw 2452
c lw 2453
c lw 2454
c lw 2455
c lw 2456
c lw 2457
c lw 2458
c lw 2460
c lw 2461
c lw 2462
c lw 2463
c lw 2464
c lw 2465
c lw 2466
c lw 2467
c lw 2472
c lw 2473
c lw 2474
c lw 2475
c lw 2477
c lw 2478
c lw 2482
c lw 2483
c lw 2484
c lw 2486
c lw 2487
c lw 2490
c lw 2491
c lw 2492
c lw 2497
c lw 2499
c lw 2501
c lw 2502
c lw 2503
c lw 2505
c lw 2506
c lw 2508
c lw 2510
c lw 2512
c lw 2513
c lw 2516
c lw 2517
c lw 2518
c lw 2519
c lw 2520
c lw 2526
c lw 2528
c lw 2529
c lw 2530
c lw 2531
c lw 2534
c lw 2535
c lw 2536
c lw 2538
c lw 2540
c lw 2541
c lw 2542
c lw 2543
c lw 2544
c lw 2545
c lw 2548
c lw 2549
c lw 2550
c lw 2552
c lw 2554
c lw 2556
c lw 2557
c lw 2558
c lw 2560
c lw 2561
c lw 2562
c lw 2563
c lw 2564
c lw 2566
c lw 2568
c lw 2569
c lw 2570
c lw 2571
c lw 2572
c lw 2573
c lw 2575
c lw 2576
c lw 2579
c lw 2582
c lw 2583
c lw 2584
c lw 2585
c lw 2586
c lw 2589
c lw 2590
c lw 2591
c lw 2593
c lw 2595
c lw 2596
c lw 2597
c lw 2598
c lw 2599
c lw 2600
c lw 2602
c lw 2603
c lw 2604
c lw 2605
c lw 2606
c lw 2608
c lw 2609
c lw 2610
c lw 2611
c lw 2612
c lw 2613
c lw 2614
c lw 2615
c lw 2616
c lw 2618
c lw 2619
c lw 2620
c lw 2621
c lw 2622
c lw 2623
c lw 2625
c lw 2626
c lw 2628
c lw 2629
c lw 2630
c lw 2631
c lw 2632
c lw 2633
c lw 2634
c lw 2635
c lw 2636
c lw 2637
c lw 2638
c lw 2639
c lw 2640
c lw 2641
c lw 2644
c lw 2646
c lw 2647
c lw 2648
c lw 2649
c lw 2650
c lw 2651
c lw 2653
c lw 2654
c lw 2655
c lw 2656
c lw 2657
c lw 2658
c lw 2659
c lw 2660
c lw 2661
c lw 2662
c lw 2663
c lw 2664
c lw 2665
c lw 2666
c lw 2667
c lw 2668
c lw 2669
c lw 2670
c lw 2672
c lw 2673
c lw 2674
c lw 2675
c lw 2677
c lw 2678
c lw 2679
c lw 2681
c lw 2682
c lw 2683
c lw 2684
c lw 2686
c lw 2687
c lw 2690
c lw 2692
c lw 2694
c lw 2695
c lw 2697
c lw 2698
c lw 2699
c lw 2701
c lw 2702
c lw 2703
c lw 2704
c lw 2705
c lw 2706
c lw 2707
c lw 2708
c lw 2712
c lw 2715
c lw 2716
c lw 2718
c lw 2719
c lw 2720
c lw 2723
c lw 2724
c lw 2725
c lw 2726
c lw 2727
c lw 2728
c lw 2729
c lw 2730
c lw 2731
c lw 2732
c lw 2733
c lw 2734
c lw 2735
c lw 2736
c lw 2737
c lw 2738
c lw 2739
c lw 2740
c lw 2741
c lw 2743
c lw 2745
c lw 2746
c lw 2747
c lw 2749
c lw 2750
c lw 2751
c lw 2752
c lw 2753
c lw 2754
c lw 2755
c lw 2756
c lw 2757
c lw 2758
c lw 2759
c lw 2761
c lw 2762
c lw 2764
c lw 2765
c lw 2767
c lw 2768
c lw 2769
c lw 2770
c lw 2771
c lw 2772
c lw 2773
c lw 2774
c lw 2775
c lw 2776
c lw 2777
c lw 2778
c lw 2779
c lw 2780
c lw 2781
c lw 2782
c lw 2783
c lw 2784
c lw 2785
c lw 2786
c lw 2788
c lw 2789
c lw 2790
c lw 2791
c lw 2792
c lw 2793
c lw 2794
c lw 2795
c lw 2796
c lw 2797
c lw 2798
c lw 2799
c lw 2800
c lw 2801
c lw 2802
c lw 2803
c lw 2804
c lw 2805
c lw 2806
c lw 2807
c lw 2808
c lw 2809
c lw 2810
c lw 2811
c lw 2812
c lw 2813
c lw 2814
c lw 2815
c lw 2816
c lw 2817
c lw 2818
c lw 2819
c lw 2820
c lw 2821
c lw 2822
c lw 2823
c lw 2824
c lw 2825
c lw 2826
c lw 2827
c lw 2828
c lw 2830
c lw 2831
c lw 2832
c lw 2833
c lw 2834
c lw 2835
c lw 2836
c lw 2837
c lw 2838
c lw 2839
c lw 2840
c lw 2841
c lw 2842
c lw 2843
c lw 2844
c lw 2845
c lw 2846
c lw 2847
c lw 2848
c lw 2849
c lw 2850
c lw 2851
c lw 2852
c lw 2853
c lw 2854
c lw 2855
c lw 2856
c lw 2857
c lw 2858
c lw 2859
c lw 2861
c lw 2862
c lw 2863
c lw 2864
c lw 2865
c lw 2866
c lw 2867
c lw 2868
c lw 2869
c lw 2870
c lw 2871
c lw 2872
c lw 2873
c lw 2874
c lw 2875
c lw 2876
c lw 2877
c lw 2879
c lw 2880
c lw 2881
c lw 2882
c lw 2883
c lw 2884
c lw 2885
c lw 2886
c lw 2887
c lw 2888
c lw 2889
c lw 2890
c lw 2891
c lw 2892
c lw 2893
c lw 2894
c lw 2895
c lw 2896
c lw 2897
c lw 2898
c lw 2899
c lw 2900
c lw 2901
c lw 2902
c lw 2903
c lw 2904
c lw 2905
c lw 2906
c lw 2907
c lw 2908
c lw 2909
c lw 2910
c lw 2913
c lw 2914
c lw 2915
c lw 2917
c lw 2919
c lw 2920
c lw 2921
c lw 2924
c lw 2925
c lw 2926
c lw 2927
c lw 2928
c lw 2929
c lw 2930
c lw 2931
c lw 2932
c lw 2933
c lw 2934
c lw 2935
c lw 2936
c lw 2937
c lw 2938
c lw 2939
c lw 2940
c lw 2941
c lw 2942
c lw 2943
c lw 2944
c lw 2945
c lw 2946
c lw 2947
c lw 2948
c lw 2949
c lw 2950
c lw 2951
c lw 2952
c lw 2953
c lw 2954
c lw 2955
c lw 2956
c lw 2957
c lw 2958
c lw 2959
c lw 2960
c lw 2961
c lw 2962
c lw 2963
c lw 2964
c lw 2965
c lw 2966
c lw 2967
c lw 2968
c lw 2970
c lw 2971
c lw 2972
c lw 2973
c lw 2974
c lw 2975
c lw 2976
c lw 2977
c lw 2978
c lw 2979
c lw 2980
c lw 2981
c lw 2982
c lw 2983
c lw 2984
c lw 2985
c lw 2986
c lw 2987
c lw 2988
c lw 2989
c lw 2990
c lw 2991
c lw 2992
c lw 2993
c lw 2995
c lw 2996
c lw 2997
c lw 2998
c lw 2999
c lw 3000
c lw 3001
c lw 3002
c lw 3003
c lw 3004
c lw 3005
c lw 3006
c lw 3007
c lw 3008
c lw 3009
c lw 3010
c lw 3011
c lw 3012
c lw 3013
c lw 3014
c lw 3015
c lw 3016
c lw 3017
c lw 3018
c lw 3019
c lw 3020
c lw 3021
c lw 3022
c lw 3023
c lw 3024
c lw 3025
c lw 3026
c lw 3027
c lw 3028
c lw 3029
c lw 3030
c lw 3031
c lw 3032
c lw 3033
c lw 3034
c lw 3035
c lw 3036
c lw 3037
c lw 3038
c lw 3039
c lw 3040
c lw 3041
c lw 3042
c lw 3043
c lw 3044
c lw 3045
c lw 3046
c lw 3047
c lw 3048
c lw 3049
c lw 3050
c lw 3051
c lw 3052
c lw 3053
c lw 3054
c lw 3055
c lw 3056
c lw 3057
c lw 3058
c lw 3059
c lw 3060
c lw 3061
c lw 3062
c lw 3063
c lw 3064
c lw 3065
c lw 3066
c lw 3067
c lw 3068
c lw 3069
c lw 3070
c lw 3071
c lw 3072
c lw 3073
c lw 3074
c lw 3075
c lw 3076
c lw 3077
c lw 3078
c lw 3079
c lw 3080
c lw 3081
c lw 3082
c lw 3083
c lw 3084
c lw 3085
c lw 3086
c lw 3087
c lw 3088
c lw 3089
c lw 3090
c lw 3091
c lw 3092
c lw 3093
c lw 3094
c lw 3095
c lw 3096
c lw 3097
c lw 3098
c lw 3099
c lw 3100
c lw 3101
c lw 3102
c lw 3103
c lw 3104
c lw 3105
c lw 3106
c lw 3107
c lw 3108
c lw 3109
c lw 3110
c lw 3111
c lw 3112
c lw 3113
c lw 3114
c lw 3115
c lw 3116
c lw 3117
c lw 3118
c lw 3119
c lw 3120
c lw 3121
c lw 3122
c lw 3123
c lw 3124
c lw 3125
c lw 3126
c lw 3127
c lw 3128
c lw 3129
c lw 3130
c lw 3131
c lw 3132
c lw 3133
c lw 3134
c lw 3135
c lw 3136
c lw 3137
c lw 3138
c lw 3139
c lw 3140
c lw 3141
c lw 3142
c lw 3143
c lw 3144
c lw 3145
c lw 3146
c lw 3147
c lw 3148
c lw 3149
c lw 3150
c lw 3151
c lw 3152
c lw 3153
Killed
1811.318u 8.458s 30:19.84 99.9%	0+0k 0+0io 0pf+0w