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_random-net_random-net-80-2_network-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 216522
o 215953
o 215138
o 215116
o 214547
o 214515
o 213732
o 213347
o 212977
o 212877
o 212721
o 212098
o 211315
o 210746
o 210714
o 209931
o 209850
o 209480
o 209380
o 209224
o 208601
o 207818
o 207249
o 207217
o 206434
o 206284
o 206252
o 205469
o 205321
o 204905
o 204336
o 204304
o 203521
o 203371
o 203339
o 202556
o 201907
o 201757
o 201725
o 200942
o 200478
o 200446
o 199663
o 199513
o 199481
o 198698
o 198049
o 197899
o 197867
o 197084
o 196680
o 196530
o 196498
o 196179
o 195715
o 195530
o 195066
o 194916
o 194884
o 194565
o 194101
o 194072
o 193922
o 193890
o 193571
o 193107
o 192862
o 192712
o 192680
o 192361
o 191897
o 191749
o 191321
o 191159
o 191009
o 190977
o 190658
o 190194
o 189949
o 189799
o 189767
o 189448
o 188984
o 188580
o 188335
o 188185
o 188153
o 187834
o 187370
o 187330
o 186969
o 186929
o 186565
o 186525
o 186320
o 186170
o 186138
o 185819
o 185355
o 185315
o 185209
o 185169
o 184915
o 184875
o 184769
o 184729
o 184511
o 184471
o 184365
o 184325
o 184266
o 184116
o 184084
o 183765
o 183301
o 183261
o 183155
o 183115
o 183003
o 182539
o 182499
o 182293
o 181829
o 181789
o 181683
o 181643
o 181584
o 181434
o 181402
o 181083
o 180619
o 180579
o 180473
o 180433
o 180215
o 180175
o 180069
o 180029
o 179970
o 179820
o 179788
o 179469
o 179005
o 178965
o 178859
o 178819
o 178779
o 178673
o 178633
o 178287
o 178247
o 178141
o 178101
o 177989
o 177525
o 177485
o 177279
o 176815
o 176775
o 176669
o 176629
o 176570
o 176420
o 176388
o 176069
o 175605
o 175565
o 175459
o 175419
o 175201
o 175161
o 175055
o 175015
o 174956
o 174806
o 174774
o 174455
o 173991
o 173951
o 173845
o 173805
o 173481
o 173441
o 173335
o 173295
o 173236
o 173086
o 173054
o 172735
o 172271
o 172231
o 172125
o 172085
o 171867
o 171827
o 171721
o 171681
o 171622
o 171472
o 171440
o 171121
o 170657
o 170617
o 170511
o 170471
o 170403
o 170363
o 170257
o 170217
o 170116
o 170076
o 169970
o 169930
o 169893
o 169853
o 169747
o 169707
o 169648
o 169498
o 169466
o 169147
o 168683
o 168643
o 168537
o 168497
o 168396
o 168356
o 168250
o 168210
o 168133
o 168093
o 168034
o 167884
o 167852
o 167533
o 167069
o 167029
o 166923
o 166883
o 166782
o 166742
o 166636
o 166596
o 166585
o 166545
o 166444
o 166404
o 166298
o 166258
o 166181
o 166141
o 166082
o 165932
o 165900
o 165581
o 165117
o 165077
o 164971
o 164931
o 164830
o 164790
o 164684
o 164644
o 164590
o 164550
o 164449
o 164409
o 164303
o 164263
o 164186
o 164146
o 164087
o 163937
o 163905
o 163586
o 163122
o 163082
o 162976
o 162936
o 162835
o 162795
o 162689
o 162649
o 162411
o 161947
o 161907
o 161801
o 161761
o 161660
o 161620
o 161514
o 161474
o 161420
o 161380
o 161279
o 161239
o 161133
o 161093
o 161016
o 160976
o 160917
o 160767
o 160735
o 160416
o 159952
o 159912
o 159806
o 159766
o 159665
o 159625
o 159519
o 159479
o 159449
o 159409
o 159308
o 159268
o 159162
o 159122
o 159110
o 159004
o 158964
o 158887
o 158847
o 158788
o 158638
o 158606
o 158287
o 157823
o 157783
o 157677
o 157637
o 157536
o 157496
o 157390
o 157350
o 157322
o 157282
o 157271
o 157231
o 157172
o 157022
o 156990
o 156671
o 156207
o 156167
o 156061
o 156021
o 155920
o 155880
o 155774
o 155734
o 155478
o 155014
o 154974
o 154868
o 154828
o 154727
o 154687
o 154581
o 154541
o 154520
o 154480
o 154452
o 154412
o 154401
o 154361
o 154302
o 154152
o 154120
o 153801
o 153337
o 153297
o 153191
o 153151
o 153050
o 153010
o 152904
o 152864
o 152863
o 152823
o 152795
o 152755
o 152744
o 152704
o 152645
o 152495
o 152463
o 152144
o 151680
o 151640
o 151534
o 151494
o 151393
o 151353
o 151247
o 151207
o 150992
o 150754
o 150714
o 150608
o 150568
o 150467
o 150427
o 150321
o 150281
o 150277
o 150250
o 150237
o 150144
o 150131
o 150104
o 150091
o 150071
o 150031
o 150003
o 149963
o 149952
o 149912
o 149853
o 149529
o 149126
o 148888
o 148848
o 148742
o 148702
o 148601
o 148561
o 148455
o 148415
o 148414
o 148374
o 148346
o 148306
o 148295
o 148255
o 148196
o 147872
o 147469
o 147231
o 147191
o 147085
o 147045
o 146944
o 146904
o 146798
o 146758
o 146754
o 146727
o 146714
o 146621
o 146608
o 146581
o 146568
o 146556
o 146552
o 146525
o 146512
o 146419
o 146406
o 146379
o 146366
o 146325
o 146285
o 146179
o 146139
o 146135
o 146108
o 146095
o 146002
o 145989
o 145962
o 145949
o 145921
o 145815
o 145775
o 145763
o 145657
o 145617
o 145516
o 145476
o 145370
o 145330
o 145326
o 145299
o 145286
o 145193
o 145180
o 145153
o 145140
o 145122
o 145021
o 144981
o 144875
o 144835
o 144823
o 144717
o 144677
o 144576
o 144536
o 144430
o 144390
o 144389
o 144349
o 144321
o 144281
o 144115
o 143651
o 143611
o 143505
o 143465
o 143364
o 143324
o 143218
o 143178
o 143166
o 143060
o 143020
o 142919
o 142879
o 142773
o 142733
o 142725
o 142685
o 142579
o 142539
o 142438
o 142398
o 142292
o 142252
o 142240
o 142134
o 142094
o 141993
o 141953
o 141847
o 141807
o 141803
o 141776
o 141763
o 141670
o 141657
o 141630
o 141617
o 141605
o 141601
o 141574
o 141561
o 141468
o 141455
o 141428
o 141415
o 141408
o 141396
o 141290
o 141250
o 141149
o 141109
o 141003
o 140963
o 140955
o 140915
o 140809
o 140769
o 140668
o 140628
o 140522
o 140482
o 140470
o 140364
o 140324
o 140223
o 140183
o 140077
o 140037
o 140033
o 140006
o 139993
o 139900
o 139887
o 139860
o 139847
o 139835
o 139831
o 139804
o 139791
o 139698
o 139685
o 139658
o 139645
o 139350
o 139310
o 139204
o 139164
o 139063
o 139023
o 138917
o 138877
o 138865
o 138759
o 138719
o 138618
o 138578
o 138472
o 138432
o 138431
o 138391
o 138363
o 138323
o 138157
o 137693
o 137653
o 137547
o 137507
o 137406
o 137366
o 137260
o 137220
o 137208
o 137102
o 137062
o 136961
o 136921
o 136815
o 136775
o 136767
o 136727
o 136621
o 136581
o 136480
o 136440
o 136334
o 136294
o 136282
o 136176
o 136136
o 136035
o 135995
o 135889
o 135849
o 135845
o 135818
o 135805
o 135712
o 135699
o 135672
o 135659
o 135631
o 135525
o 135485
o 135473
o 135367
o 135327
o 135226
o 135186
o 135080
o 135040
o 135036
o 135009
o 134996
o 134903
o 134890
o 134863
o 134850
o 134832
o 134731
o 134691
o 134585
o 134545
o 134533
o 134427
o 134387
o 134286
o 134246
o 134140
o 134100
o 134099
o 134059
o 134031
o 133991
o 133825
o 133361
o 133321
o 133215
o 133175
o 133074
o 133034
o 132928
o 132888
o 132876
o 132770
o 132730
o 132629
o 132589
o 132483
o 132443
o 132435
o 132395
o 132289
o 132249
o 132148
o 132108
o 132002
o 131962
o 131950
o 131844
o 131804
o 131703
o 131663
o 131557
o 131517
o 131513
o 131486
o 131473
o 131380
o 131367
o 131340
o 131327
o 131315
o 131311
o 131284
o 131271
o 131178
o 131165
o 131138
o 131125
o 131080
o 131049
o 131036
o 130903
o 130890
o 130862
o 130716
o 130704
o 130558
o 130417
o 130271
o 130240
o 130227
o 130094
o 130081
o 130063
o 129922
o 129776
o 129764
o 129618
o 129477
o 129331
o 129290
o 129222
o 129016
o 128552
o 128406
o 128265
o 128119
o 128107
o 127961
o 127820
o 127674
o 127626
o 127480
o 127339
o 127193
o 127181
o 127035
o 126894
o 126748
o 126717
o 126704
o 126571
o 126558
o 126546
o 126515
o 126502
o 126369
o 126356
o 126319
o 126306
o 126294
o 126263
o 126250
o 126117
o 126104
o 126059
o 125913
o 125882
o 125869
o 125736
o 125723
o 125711
o 125680
o 125667
o 125534
o 125521
o 125493
o 125480
o 125452
o 125306
o 125294
o 125148
o 125007
o 124861
o 124830
o 124817
o 124684
o 124671
o 124653
o 124512
o 124366
o 124354
o 124208
o 124067
o 123921
o 123880
o 123812
o 123606
o 123142
o 122996
o 122855
o 122709
o 122697
o 122551
o 122410
o 122264
o 122216
o 122070
o 121929
o 121783
o 121771
o 121625
o 121484
o 121338
o 121307
o 121294
o 121161
o 121148
o 121136
o 121105
o 121092
o 120959
o 120946
o 120909
o 120896
o 120884
o 120853
o 120840
o 120707
o 120694
o 120649
o 120503
o 120472
o 120459
o 120326
o 120313
o 120301
o 120270
o 120257
o 120124
o 120111
o 120089
o 119948
o 119802
o 119771
o 119758
o 119625
o 119612
o 119600
o 119569
o 119556
o 119423
o 119410
o 119373
o 119360
o 119348
o 119317
o 119304
o 119171
o 119158
o 119113
o 118967
o 118936
o 118923
o 118790
o 118777
o 118765
o 118734
o 118721
o 118588
o 118575
o 118157
o 118011
o 117870
o 117724
o 117712
o 117566
o 117425
o 117279
o 117231
o 117085
o 116944
o 116798
o 116786
o 116640
o 116499
o 116353
o 116322
o 116309
o 116176
o 116163
o 116151
o 116120
o 116107
o 115974
o 115961
o 115924
o 115911
o 115899
o 115868
o 115855
o 115722
o 115709
o 115664
o 115518
o 115487
o 115474
o 115341
o 115328
o 115316
o 115285
o 115272
o 115139
o 115126
o 115098
o 115085
o 115057
o 114911
o 114899
o 114753
o 114612
o 114466
o 114435
o 114422
o 114289
o 114276
o 114137
o 113996
o 113850
o 113838
o 113692
o 113551
o 113405
o 113211
o 112747
o 112601
o 112460
o 112314
o 112302
o 112156
o 112015
o 111869
o 111821
o 111675
o 111534
o 111388
o 111376
o 111230
o 111089
o 110943
o 110912
o 110899
o 110766
o 110753
o 110741
o 110710
o 110697
o 110564
o 110551
o 110514
o 110501
o 110489
o 110458
o 110445
o 110312
o 110299
o 110254
o 110108
o 110077
o 110064
o 109931
o 109918
o 109906
o 109875
o 109862
o 109729
o 109716
o 109464
o 109306
o 109019
o 108825
o 108776
o 108538
o 108380
o 108331
o 108093
o 107916
o 107903
o 107891
o 107714
o 107701
o 107664
o 107651
o 107639
o 107462
o 107449
o 107258
o 107081
o 107068
o 107056
o 106879
o 106866
o 106777
o 106619
o 106570
o 106332
o 106155
o 106142
o 106130
o 105953
o 105940
o 105903
o 105890
o 105878
o 105701
o 105688
o 105497
o 105320
o 105307
o 105295
o 105118
o 105105
o 105098
o 105078
o 105065
o 105061
o 105048
o 105028
o 105015
o 105003
o 104859
o 104846
o 104826
o 104813
o 104655
o 104622
o 104478
o 104465
o 104445
o 104432
o 104420
o 104276
o 104263
o 104243
o 104230
o 104137
o 104016
o 103967
o 103729
o 103696
o 103552
o 103539
o 103519
o 103506
o 103494
o 103350
o 103337
o 103317
o 103304
o 103300
o 103287
o 103267
o 103254
o 103242
o 103098
o 103085
o 103065
o 103052
o 102894
o 102861
o 102717
o 102704
o 102684
o 102671
o 102659
o 102515
o 102502
o 102482
o 102469
o 102235
o 102202
o 102058
o 102045
o 102025
o 102012
o 102004
o 101955
o 101717
o 101596
o 101547
o 101309
o 101276
o 101132
o 101119
o 101099
o 101086
o 101057
o 101024
o 100880
o 100867
o 100847
o 100834
o 100712
o 100474
o 100441
o 100297
o 100284
o 100264
o 100251
o 100233
o 100220
o 100178
o 100165
o 100145
o 100132
o 100114
o 100101
o 99866
o 99833
o 99689
o 99676
o 99656
o 99643
o 99614
o 99581
o 99437
o 99424
o 99404
o 99391
o 99269
o 99031
o 98998
o 98854
o 98841
o 98821
o 98808
o 98735
o 98722
o 98702
o 98689
o 98486
o 98453
o 98309
o 98296
o 98276
o 98263
o 98190
o 98177
o 98157
o 98144
o 98137
o 98030
o 97792
o 97777
o 97759
o 97744
o 97615
o 97602
o 97600
o 97587
o 97582
o 97569
o 97567
o 97554
o 97496
o 97483
o 97481
o 97468
o 97463
o 97450
o 97448
o 97435
o 97222
o 97207
o 97189
o 97174
o 97045
o 97032
o 97030
o 97017
o 97012
o 96999
o 96997
o 96984
o 96926
o 96913
o 96911
o 96898
o 96893
o 96880
o 96878
o 96865
o 96863
o 96845
o 96830
o 96701
o 96688
o 96686
o 96673
o 96668
o 96655
o 96653
o 96640
o 96637
o 96624
o 96622
o 96609
o 96546
o 96308
o 96293
o 96275
o 96260
o 96131
o 96118
o 96116
o 96103
o 96098
o 96085
o 96083
o 96070
o 96067
o 96054
o 96052
o 96039
o 95927
o 95914
o 95894
o 95881
o 95797
o 95559
o 95526
o 95382
o 95369
o 95349
o 95336
o 95258
o 95245
o 95243
o 95230
o 95225
o 95212
o 95210
o 95197
o 95103
o 94865
o 94850
o 94832
o 94817
o 94688
o 94675
o 94673
o 94660
o 94655
o 94642
o 94640
o 94627
o 94471
o 94438
o 94294
o 94281
o 94261
o 94248
o 94230
o 94217
o 94210
o 94181
o 94148
o 94004
o 93991
o 93971
o 93958
o 93836
o 93598
o 93565
o 93421
o 93408
o 93388
o 93375
o 93278
o 93265
o 93245
o 93232
o 93231
o 93028
o 92995
o 92851
o 92838
o 92818
o 92805
o 92750
o 92573
o 92560
o 92405
o 92167
o 91990
o 91977
o 91835
o 91597
o 91420
o 91407
o 91276
o 91099
o 91086
o 91068
o 91055
o 90944
o 90706
o 90529
o 90516
o 90498
o 90485
o 90478
o 90416
o 90239
o 90226
o 90071
o 89833
o 89656
o 89643
o 89501
o 89263
o 89086
o 89073
o 88896
o 88883
o 88781
o 88768
o 88626
o 88388
o 88211
o 88198
o 88021
o 88008
o 87852
o 87839
o 87662
o 87649
o 87634
o 87621
o 87604
o 87591
o 87444
o 87431
o 87262
o 87249
o 87072
o 87059
o 86978
o 86965
o 86799
o 86622
o 86609
o 86585
o 86408
o 86395
o 86393
o 86380
o 86356
o 86179
o 86166
o 85989
o 85976
o 85924
o 85747
o 85734
o 85710
o 85533
o 85520
o 85343
o 85330
o 85285
o 85272
o 85095
o 85082
o 84975
o 84798
o 84785
o 84761
o 84584
o 84571
o 84394
o 84381
o 84311
o 84298
o 84215
o 83977
o 83800
o 83787
o 83610
o 83597
o 83568
o 83555
o 83477
o 83300
o 83287
o 83155
o 82978
o 82965
o 82910
o 82897
o 82890
o 82877
o 82735
o 82497
o 82320
o 82307
o 82305
o 82292
o 82150
o 81912
o 81735
o 81722
o 81637
o 81624
o 81511
o 81371
o 81174
o 81117
o 80852
o 80830
o 80682
o 80542
o 80477
o 80442
o 80307
o 80302
o 80167
o 80024
o 79884
o 79786
o 79737
o 79597
o 79499
o 79484
o 79344
o 79246
o 79142
o 79134
o 79120
o 78972
o 78832
o 78831
o 78734
o 78684
o 78649
o 78625
o 78384
o 78210
o 78188
o 78040
o 77900
o 77840
o 77753
o 77573
o 77308
o 77293
o 77225
o 76988
o 76723
o 76701
o 76553
o 76413
o 76353
o 76315
o 76255
o 76153
o 76142
o 76109
o 75949
o 75855
o 75810
o 75595
o 75507
o 75347
o 75314
o 75154
o 75101
o 74908
o 74848
o 74810
o 74750
o 74718
o 74620
o 74605
o 74508
o 74452
o 74399
o 74398
o 74206
o 74108
o 74058
o 73992
o 73904
o 73744
o 73711
o 73551
o 73518
o 73485
o 73325
o 73305
o 73272
o 73079
o 72981
o 72895
o 72761
o 72649
o 72515
o 72417
o 72386
o 72226
o 72193
o 72033
o 71980
o 71787
o 71689
o 71629
Killed
1979.692u 0.006s 33:11.77 99.3%	0+0k 0+0io 0pf+0w