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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 256199
o 254229
o 252889
o 251834
o 250147
o 248807
o 247752
o 247090
o 246035
o 244814
o 243759
o 243680
o 243097
o 242042
o 241963
o 241319
o 241240
o 240657
o 239602
o 239523
o 238938
o 238859
o 238785
o 238706
o 238622
o 237567
o 237488
o 236905
o 235850
o 235771
o 235728
o 234673
o 234594
o 234271
o 233216
o 233137
o 233103
o 232520
o 231465
o 231386
o 231308
o 230253
o 230174
o 230131
o 229076
o 228997
o 228166
o 228087
o 228028
o 227985
o 226930
o 226851
o 226344
o 226265
o 226187
o 225132
o 225053
o 225010
o 223955
o 223876
o 223568
o 223489
o 223350
o 223271
o 222423
o 222344
o 222301
o 221246
o 221167
o 220593
o 220514
o 220375
o 220296
o 220044
o 219965
o 219826
o 219747
o 219160
o 219081
o 218507
o 218428
o 218289
o 218210
o 217832
o 217753
o 217710
o 216655
o 216576
o 216002
o 215923
o 215784
o 215705
o 215415
o 215336
o 215197
o 215118
o 215074
o 214995
o 214856
o 214777
o 214533
o 214454
o 213718
o 213639
o 213131
o 213052
o 212790
o 212711
o 212649
o 212387
o 212308
o 211517
o 211438
o 211395
o 210340
o 210261
o 209753
o 209674
o 209412
o 209333
o 209210
o 209131
o 209025
o 208946
o 208807
o 208728
o 208686
o 207631
o 207552
o 207044
o 206965
o 206703
o 206624
o 206391
o 206312
o 206050
o 205971
o 205832
o 205753
o 205565
o 205486
o 204978
o 204899
o 204637
o 204558
o 203767
o 203688
o 203645
o 202590
o 202511
o 202003
o 201924
o 201662
o 201583
o 201537
o 201275
o 201196
o 201057
o 200978
o 200936
o 199881
o 199802
o 199294
o 199215
o 198953
o 198874
o 198641
o 198562
o 198300
o 198221
o 198082
o 198003
o 197987
o 197196
o 197117
o 197074
o 196019
o 195940
o 195432
o 195353
o 195091
o 195012
o 194966
o 194704
o 194625
o 194486
o 194407
o 194365
o 193310
o 193231
o 192723
o 192644
o 192382
o 192303
o 192070
o 191991
o 191729
o 191650
o 191511
o 191432
o 191414
o 191335
o 191298
o 191287
o 191073
o 190994
o 190957
o 190761
o 190682
o 190645
o 190634
o 190420
o 190341
o 190304
o 190202
o 190123
o 190086
o 190068
o 190031
o 190022
o 189943
o 189888
o 189681
o 189602
o 189547
o 189514
o 189459
o 189300
o 189221
o 189166
o 189129
o 189006
o 188927
o 188872
o 188713
o 188634
o 188579
o 188542
o 188531
o 188372
o 188293
o 188238
o 188201
o 188185
o 187618
o 187539
o 187484
o 187031
o 186952
o 186897
o 186690
o 186611
o 186556
o 186523
o 186468
o 186309
o 186230
o 186175
o 186138
o 186015
o 185936
o 185881
o 185722
o 185643
o 185588
o 185551
o 185540
o 185381
o 185302
o 185247
o 185210
o 184901
o 184822
o 184767
o 184560
o 184481
o 184426
o 184393
o 184338
o 184179
o 184100
o 184045
o 184008
o 183885
o 183806
o 183751
o 183592
o 183513
o 183458
o 183421
o 183410
o 183251
o 183172
o 183117
o 183080
o 183031
o 182976
o 182934
o 182879
o 182842
o 182831
o 182672
o 182593
o 182538
o 182501
o 182360
o 182281
o 182226
o 182189
o 182178
o 182019
o 181940
o 181885
o 181848
o 181801
o 181722
o 181667
o 181630
o 181539
o 181460
o 181405
o 181198
o 181119
o 181064
o 180980
o 180901
o 180846
o 180804
o 180749
o 180712
o 180701
o 180542
o 180463
o 180408
o 180371
o 180230
o 180151
o 180096
o 180059
o 180048
o 179889
o 179810
o 179755
o 179718
o 179671
o 179592
o 179537
o 179500
o 179493
o 179334
o 179255
o 179200
o 179163
o 179022
o 178943
o 178888
o 178851
o 178840
o 178681
o 178602
o 178547
o 178510
o 178463
o 178384
o 178329
o 178292
o 178283
o 178204
o 178149
o 177942
o 177863
o 177808
o 177775
o 177720
o 177561
o 177482
o 177427
o 177390
o 177267
o 177188
o 177133
o 176974
o 176895
o 176840
o 176803
o 176792
o 176633
o 176554
o 176499
o 176462
o 176446
o 176300
o 176221
o 175879
o 175800
o 175745
o 175713
o 175634
o 175292
o 175213
o 175158
o 174951
o 174872
o 174817
o 174784
o 174729
o 174570
o 174491
o 174436
o 174399
o 174276
o 174197
o 174142
o 173983
o 173904
o 173849
o 173812
o 173801
o 173642
o 173563
o 173508
o 173471
o 173162
o 173083
o 173028
o 172821
o 172742
o 172687
o 172654
o 172599
o 172440
o 172361
o 172306
o 172269
o 172146
o 172067
o 172012
o 171853
o 171774
o 171719
o 171682
o 171671
o 171512
o 171433
o 171378
o 171341
o 171292
o 171237
o 171195
o 171140
o 171103
o 171092
o 170933
o 170854
o 170799
o 170762
o 170621
o 170542
o 170487
o 170450
o 170439
o 170280
o 170201
o 170146
o 170109
o 170062
o 169983
o 169928
o 169891
o 169800
o 169721
o 169666
o 169459
o 169380
o 169325
o 169241
o 169162
o 169107
o 169065
o 169010
o 168973
o 168962
o 168803
o 168724
o 168669
o 168632
o 168491
o 168412
o 168357
o 168320
o 168309
o 168150
o 168071
o 168016
o 167979
o 167932
o 167853
o 167798
o 167761
o 167697
o 167618
o 167563
o 167526
o 167515
o 167356
o 167277
o 167222
o 167185
o 167150
o 167113
o 167015
o 166936
o 166881
o 166844
o 166721
o 166642
o 166587
o 166428
o 166349
o 166294
o 166257
o 166246
o 166087
o 166008
o 165953
o 165916
o 165860
o 165781
o 165726
o 165567
o 165488
o 165433
o 165396
o 165385
o 165226
o 165147
o 165092
o 165055
o 165025
o 165014
o 164855
o 164776
o 164721
o 164684
o 164637
o 164558
o 164503
o 164466
o 164335
o 164256
o 164201
o 164164
o 164153
o 163994
o 163915
o 163860
o 163823
o 163776
o 163697
o 163642
o 163605
o 163570
o 163533
o 163378
o 163299
o 163244
o 163207
o 163066
o 162987
o 162932
o 162895
o 162884
o 162725
o 162646
o 162591
o 162554
o 162507
o 162428
o 162373
o 162336
o 162205
o 162126
o 162071
o 162034
o 162023
o 161864
o 161785
o 161730
o 161693
o 161646
o 161567
o 161512
o 161475
o 161373
o 161294
o 161239
o 161202
o 161155
o 161076
o 161021
o 160984
o 160853
o 160774
o 160719
o 160682
o 160671
o 160512
o 160433
o 160378
o 160341
o 160294
o 160215
o 160160
o 160123
o 160068
o 160013
o 159976
o 159965
o 159806
o 159727
o 159672
o 159635
o 159588
o 159509
o 159454
o 159417
o 159302
o 159223
o 159168
o 159131
o 159084
o 159005
o 158950
o 158913
o 158822
o 158743
o 158688
o 158481
o 158402
o 158347
o 158263
o 158184
o 158129
o 158087
o 158032
o 157995
o 157984
o 157825
o 157746
o 157691
o 157654
o 157513
o 157434
o 157379
o 157342
o 157331
o 157172
o 157093
o 157038
o 157001
o 156954
o 156875
o 156820
o 156783
o 156719
o 156640
o 156585
o 156548
o 156537
o 156378
o 156299
o 156244
o 156207
o 156172
o 156135
o 156037
o 155958
o 155903
o 155866
o 155743
o 155664
o 155609
o 155450
o 155371
o 155316
o 155279
o 155268
o 155109
o 155030
o 154975
o 154938
o 154882
o 154803
o 154748
o 154589
o 154510
o 154455
o 154418
o 154407
o 154248
o 154169
o 154114
o 154077
o 154047
o 154036
o 153877
o 153798
o 153743
o 153706
o 153659
o 153580
o 153525
o 153488
o 153357
o 153278
o 153223
o 153186
o 153175
o 153016
o 152937
o 152882
o 152845
o 152798
o 152719
o 152664
o 152627
o 152592
o 152555
o 152400
o 152321
o 152266
o 152229
o 152088
o 152009
o 151954
o 151917
o 151906
o 151747
o 151668
o 151613
o 151576
o 151529
o 151450
o 151395
o 151358
o 151227
o 151148
o 151093
o 151056
o 151045
o 150886
o 150807
o 150752
o 150715
o 150668
o 150589
o 150534
o 150497
o 150489
o 150410
o 150355
o 150148
o 150069
o 150014
o 149930
o 149851
o 149796
o 149754
o 149699
o 149662
o 149651
o 149492
o 149413
o 149358
o 149321
o 149180
o 149101
o 149046
o 149009
o 148998
o 148839
o 148760
o 148705
o 148668
o 148621
o 148542
o 148487
o 148450
o 148386
o 148307
o 148252
o 148215
o 148204
o 148045
o 147966
o 147911
o 147874
o 147839
o 147802
o 147704
o 147625
o 147570
o 147533
o 147410
o 147331
o 147276
o 147117
o 147038
o 146983
o 146946
o 146935
o 146776
o 146697
o 146642
o 146605
o 146549
o 146470
o 146415
o 146256
o 146177
o 146122
o 146085
o 146074
o 145915
o 145836
o 145781
o 145744
o 145714
o 145703
o 145544
o 145465
o 145410
o 145373
o 145326
o 145247
o 145192
o 145155
o 145024
o 144945
o 144890
o 144853
o 144842
o 144683
o 144604
o 144549
o 144512
o 144465
o 144386
o 144331
o 144294
o 144259
o 144222
o 144067
o 143988
o 143933
o 143896
o 143755
o 143676
o 143621
o 143584
o 143573
o 143414
o 143335
o 143280
o 143243
o 143196
o 143117
o 143062
o 143025
o 142894
o 142815
o 142760
o 142723
o 142712
o 142553
o 142474
o 142419
o 142382
o 142335
o 142256
o 142201
o 142164
o 142153
o 142074
o 142019
o 141982
o 141881
o 141802
o 141747
o 141710
o 141654
o 141575
o 141520
o 141361
o 141282
o 141227
o 141190
o 141179
o 141020
o 140941
o 140886
o 140849
o 140805
o 140750
o 140713
o 140657
o 140578
o 140523
o 140364
o 140285
o 140230
o 140193
o 140182
o 140023
o 139944
o 139889
o 139852
o 139788
o 139709
o 139654
o 139617
o 139570
o 139491
o 139436
o 139399
o 139355
o 139300
o 139263
o 139132
o 139053
o 138998
o 138961
o 138950
o 138791
o 138712
o 138657
o 138620
o 138573
o 138494
o 138439
o 138402
o 138385
o 138348
o 138301
o 138222
o 138167
o 138130
o 137999
o 137920
o 137865
o 137828
o 137817
o 137658
o 137579
o 137524
o 137487
o 137440
o 137361
o 137306
o 137269
o 137225
o 137170
o 137133
o 137002
o 136923
o 136868
o 136831
o 136820
o 136661
o 136582
o 136527
o 136490
o 136443
o 136364
o 136309
o 136272
o 136238
o 136183
o 136146
o 136015
o 135936
o 135881
o 135844
o 135833
o 135674
o 135595
o 135540
o 135503
o 135456
o 135377
o 135322
o 135285
o 135183
o 135104
o 135049
o 135012
o 134965
o 134886
o 134831
o 134794
o 134663
o 134584
o 134529
o 134492
o 134481
o 134322
o 134243
o 134188
o 134151
o 134104
o 134025
o 133970
o 133933
o 133878
o 133823
o 133786
o 133775
o 133616
o 133537
o 133482
o 133445
o 133398
o 133319
o 133264
o 133227
o 133112
o 133033
o 132978
o 132941
o 132894
o 132815
o 132760
o 132723
o 132632
o 132553
o 132498
o 132291
o 132212
o 132157
o 132073
o 131994
o 131939
o 131897
o 131842
o 131805
o 131794
o 131635
o 131556
o 131501
o 131464
o 131323
o 131244
o 131189
o 131152
o 131141
o 130982
o 130903
o 130848
o 130811
o 130764
o 130685
o 130630
o 130593
o 130529
o 130450
o 130395
o 130358
o 130347
o 130188
o 130109
o 130054
o 130017
o 129982
o 129945
o 129847
o 129768
o 129713
o 129676
o 129553
o 129474
o 129419
o 129260
o 129181
o 129126
o 129089
o 129078
o 128919
o 128840
o 128785
o 128748
o 128692
o 128613
o 128558
o 128399
o 128320
o 128265
o 128228
o 128217
o 128058
o 127979
o 127924
o 127887
o 127857
o 127846
o 127687
o 127608
o 127553
o 127516
o 127469
o 127390
o 127335
o 127298
o 127167
o 127088
o 127033
o 126996
o 126985
o 126826
o 126747
o 126692
o 126655
o 126608
o 126529
o 126474
o 126437
o 126402
o 126365
o 126210
o 126131
o 126076
o 126039
o 125898
o 125819
o 125764
o 125727
o 125716
o 125557
o 125478
o 125423
o 125386
o 125339
o 125260
o 125205
o 125168
o 125037
o 124958
o 124903
o 124866
o 124855
o 124696
o 124617
o 124562
o 124525
o 124478
o 124399
o 124344
o 124307
o 124289
o 124278
o 124119
o 124040
o 123985
o 123948
o 123872
o 123817
o 123780
o 123739
o 123660
o 123605
o 123568
o 123512
o 123433
o 123378
o 123219
o 123140
o 123085
o 123048
o 123037
o 122878
o 122799
o 122744
o 122707
o 122570
o 122491
o 122436
o 122399
o 122340
o 122261
o 122254
o 122175
o 122120
o 122043
o 122036
o 121957
o 121902
o 121867
o 121812
o 121735
o 121728
o 121649
o 121594
o 121543
o 121516
o 121509
o 121430
o 121375
o 121369
o 121290
o 121235
o 121208
o 121201
o 121122
o 121067
o 120863
o 120784
o 120777
o 120698
o 120643
o 120522
o 120443
o 120436
o 120357
o 120302
o 120214
o 120135
o 120128
o 120049
o 119994
o 119766
o 119687
o 119632
o 119425
o 119346
o 119291
o 119117
o 119038
o 118983
o 118927
o 118872
o 118784
o 118705
o 118698
o 118619
o 118564
o 118336
o 118257
o 118202
o 117995
o 117916
o 117861
o 117687
o 117608
o 117553
o 117521
o 117343
o 117268
o 117213
o 117163
o 117126
o 117073
o 117036
o 116989
o 116910
o 116855
o 116818
o 116804
o 116767
o 116691
o 116636
o 116599
o 116551
o 116496
o 116459
o 116383
o 116328
o 116291
o 116273
o 116262
o 116103
o 116024
o 115969
o 115932
o 115904
o 115867
o 115856
o 115697
o 115618
o 115563
o 115526
o 115389
o 115310
o 115255
o 115218
o 115214
o 115055
o 114976
o 114921
o 114884
o 114873
o 114714
o 114635
o 114580
o 114543
o 114406
o 114327
o 114272
o 114235
o 114223
o 114186
o 114138
o 114083
o 114046
o 114045
o 113970
o 113915
o 113878
o 113839
o 113784
o 113700
o 113621
o 113546
o 113491
o 113454
o 113443
o 113359
o 113280
o 113205
o 113150
o 113113
o 113051
o 112972
o 112897
o 112842
o 112805
o 112773
o 112632
o 112557
o 112502
o 112465
o 112358
o 112279
o 112272
o 112193
o 112138
o 112050
o 111971
o 111964
o 111885
o 111830
o 111781
o 111771
o 111696
o 111641
o 111603
o 111528
o 111473
o 111344
o 111265
o 111258
o 111179
o 111104
o 111049
o 111003
o 110924
o 110917
o 110838
o 110763
o 110708
o 110695
o 110616
o 110609
o 110530
o 110455
o 110400
o 110368
o 110276
o 110190
o 110115
o 110060
o 110038
o 109906
o 109827
o 109752
o 109697
o 109598
o 109519
o 109444
o 109389
o 109357
o 109179
o 109104
o 109049
o 108977
o 108898
o 108823
o 108768
o 108736
o 108558
o 108483
o 108428
o 108384
o 108309
o 108254
o 108222
o 108044
o 107969
o 107914
o 107856
o 107781
o 107749
o 107602
o 107516
o 107441
o 107419
o 107232
o 107153
o 107078
o 106924
o 106845
o 106770
o 106738
o 106505
o 106430
o 106419
o 106303
o 106224
o 106149
o 106117
o 106079
o 105884
o 105809
o 105789
o 105710
o 105635
o 105603
o 105370
o 105295
o 105222
o 105159
o 105080
o 105005
o 104851
o 104772
o 104697
o 104665
o 104432
o 104357
o 104346
o 104230
o 104151
o 104076
o 104044
o 104006
o 103811
o 103736
o 103716
o 103637
o 103562
o 103530
o 103297
o 103222
o 103149
o 103088
o 103009
o 102934
o 102669
o 102594
o 102583
o 102467
o 102388
o 102313
o 102243
o 102048
o 101973
o 101953
o 101874
o 101799
o 101534
o 101459
o 101386
o 101356
o 101277
o 101202
o 101015
o 100936
o 100861
o 100596
o 100521
o 100510
o 100394
o 100315
o 100240
o 100170
o 99975
o 99900
o 99880
o 99801
o 99726
o 99461
o 99386
o 99313
o 99307
o 99212
o 99137
o 99064
o 98863
o 98784
o 98709
o 98444
o 98369
o 98274
o 98199
o 98163
o 98088
o 98018
o 97823
o 97748
o 97653
o 97578
o 97574
o 97309
o 97234
o 97139
o 97064
o 96991
o 96983
o 96908
o 96643
o 96568
o 96557
o 96441
o 96362
o 96287
o 96217
o 96022
o 95947
o 95927
o 95848
o 95773
o 95508
o 95433
o 95360
o 95351
o 95086
o 95011
o 94938
o 94917
o 94842
o 94769
o 94528
o 94453
o 94380
o 94359
o 94284
o 94211
o 94196
o 94121
o 94048
o 94033
o 93963
o 93888
o 93623
o 93548
o 93475
o 93472
o 93447
o 93380
o 93365
o 93100
o 93025
o 92958
o 92952
o 92885
o 92856
o 92789
o 92783
o 92716
o 92542
o 92467
o 92400
o 92394
o 92327
o 92298
o 92231
o 92225
o 92158
o 92135
o 92068
o 92062
o 91995
o 91980
o 91977
o 91902
o 91637
o 91562
o 91495
o 91489
o 91422
o 91366
o 91360
o 91293
o 91264
o 91197
o 91191
o 91124
o 91101
o 91034
o 91028
o 90961
o 90946
o 90943
o 90868
o 90854
o 90779
o 90603
o 90528
o 90461
o 90455
o 90388
o 90385
o 90312
o 90238
o 90165
o 90144
o 90069
o 89996
o 89981
o 89906
o 89833
o 89818
o 89748
o 89673
o 89659
o 89584
o 89408
o 89333
o 89260
o 89250
o 89175
o 88999
o 88924
o 88856
o 88781
o 88708
o 88634
o 88561
o 88540
o 88465
o 88392
o 88377
o 88302
o 88229
o 88214
o 88144
o 88069
o 88055
o 87980
o 87804
o 87729
o 87656
o 87636
o 87542
o 87467
o 87394
o 87373
o 87298
o 87225
o 87210
o 87135
o 87062
o 87010
o 86977
o 86902
o 86888
o 86813
o 86637
o 86562
o 86489
o 86484
o 86478
o 86399
o 86324
o 86310
o 86235
o 86059
o 85984
o 85911
o 85900
o 85827
o 85816
o 85737
o 85662
o 85648
o 85573
o 85397
o 85322
o 85249
o 85219
o 85146
o 85135
o 85056
o 84981
o 84967
o 84892
o 84800
o 84716
o 84641
o 84568
o 84512
o 84437
o 84364
o 84300
o 84240
o 84187
o 84112
o 84020
o 83936
o 83861
o 83788
o 83767
o 83692
o 83619
o 83584
o 83563
o 83488
o 83415
o 83271
o 83187
o 83112
o 83104
o 82849
o 82765
o 82690
o 82617
o 82522
o 82447
o 82374
o 82252
o 82168
o 82084
o 82009
o 81936
o 81925
o 81841
o 81766
o 81693
o 81637
o 81562
o 81489
o 81466
o 81382
o 81307
o 81234
o 81191
o 81178
o 81118
o 81105
o 81103
o 81030
o 80987
o 80974
o 80914
o 80901
o 80863
o 80788
o 80715
o 80659
o 80584
o 80511
o 80485
o 80429
o 80354
o 80281
o 80268
o 80212
o 80137
o 80064
o 80054
o 80023
o 79950
o 79923
o 79850
o 79824
o 79793
o 79720
o 79693
o 79620
Killed
1979.496u 0.202s 33:09.53 99.5%	0+0k 0+0io 0pf+0w