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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 257968
o 256794
o 255528
o 255233
o 254976
o 253474
o 252300
o 251034
o 250739
o 250502
o 249719
o 249236
o 248453
o 248158
o 247571
o 247276
o 246844
o 246061
o 245766
o 245634
o 245377
o 244658
o 243875
o 243827
o 243532
o 242945
o 242650
o 242218
o 241435
o 241140
o 240905
o 240495
o 240186
o 240159
o 239712
o 239403
o 239355
o 239060
o 238782
o 238473
o 238178
o 238055
o 237746
o 237719
o 237272
o 236963
o 236668
o 236517
o 236222
o 236099
o 235790
o 235763
o 235316
o 235007
o 234712
o 234439
o 234391
o 234096
o 233818
o 233509
o 233214
o 233091
o 232782
o 232755
o 232308
o 231999
o 231704
o 231564
o 231269
o 231146
o 230837
o 230810
o 230363
o 230054
o 229759
o 229563
o 229254
o 228959
o 228836
o 228527
o 228500
o 228053
o 227744
o 227449
o 227361
o 227334
o 226887
o 226578
o 226283
o 226236
o 225941
o 225919
o 225892
o 225445
o 225136
o 224841
o 224753
o 224726
o 224279
o 223970
o 223675
o 223465
o 223377
o 223350
o 222903
o 222594
o 222299
o 222076
o 222049
o 221602
o 221293
o 220998
o 220910
o 220883
o 220436
o 220127
o 219832
o 219785
o 219490
o 219468
o 219441
o 218994
o 218685
o 218390
o 218302
o 218275
o 217828
o 217519
o 217224
o 217014
o 216926
o 216899
o 216452
o 216143
o 215848
o 215756
o 215347
o 215038
o 214743
o 214656
o 214568
o 214541
o 214094
o 213785
o 213490
o 213367
o 213280
o 213192
o 213165
o 212718
o 212409
o 212114
o 212047
o 212020
o 211573
o 211264
o 210969
o 210934
o 210625
o 210330
o 210120
o 210032
o 210005
o 209558
o 209249
o 208954
o 208781
o 208759
o 208732
o 208285
o 207976
o 207681
o 207593
o 207566
o 207119
o 206810
o 206515
o 206305
o 206217
o 206190
o 205743
o 205434
o 205139
o 205071
o 204776
o 204514
o 204219
o 204217
o 204131
o 204104
o 203657
o 203348
o 203053
o 202985
o 202690
o 202643
o 202348
o 202215
o 201906
o 201611
o 201609
o 201523
o 201496
o 201049
o 200740
o 200445
o 200377
o 200082
o 199673
o 199364
o 199069
o 199001
o 198706
o 198507
o 198212
o 197962
o 197960
o 197874
o 197847
o 197400
o 197091
o 196796
o 196728
o 196433
o 196386
o 196091
o 195899
o 195604
o 195354
o 195352
o 195266
o 195239
o 194792
o 194483
o 194188
o 194120
o 193825
o 193416
o 193107
o 192812
o 192744
o 192449
o 192448
o 192153
o 192085
o 191790
o 191743
o 191448
o 191256
o 190961
o 190942
o 190633
o 190338
o 190170
o 190149
o 189840
o 189545
o 189477
o 189182
o 188962
o 188794
o 188773
o 188464
o 188169
o 188101
o 187806
o 187786
o 187491
o 187423
o 187128
o 186908
o 186740
o 186719
o 186410
o 186115
o 186047
o 185752
o 185706
o 185687
o 185378
o 185083
o 184915
o 184894
o 184585
o 184290
o 184222
o 183927
o 183707
o 183539
o 183518
o 183209
o 182914
o 182846
o 182551
o 182549
o 182522
o 182075
o 181766
o 181471
o 181403
o 181108
o 181061
o 180766
o 180581
o 180286
o 180279
o 180029
o 180027
o 179941
o 179914
o 179467
o 179158
o 178863
o 178795
o 178500
o 178091
o 177782
o 177487
o 177419
o 177124
o 177123
o 176828
o 176760
o 176465
o 176418
o 176123
o 175938
o 175643
o 175636
o 175617
o 175308
o 175013
o 174845
o 174824
o 174515
o 174220
o 174152
o 173857
o 173637
o 173469
o 173448
o 173139
o 172844
o 172776
o 172481
o 172469
o 172174
o 172145
o 172127
o 171832
o 171665
o 171647
o 171352
o 171345
o 171330
o 171035
o 171017
o 170722
o 170554
o 170537
o 170242
o 170224
o 169929
o 169879
o 169861
o 169566
o 169346
o 169178
o 169161
o 168866
o 168848
o 168553
o 168503
o 168485
o 168190
o 168025
o 167975
o 167957
o 167662
o 167633
o 167615
o 167320
o 167153
o 167135
o 166840
o 166748
o 166523
o 166505
o 166210
o 166042
o 166025
o 165730
o 165712
o 165417
o 165367
o 165349
o 165054
o 164834
o 164666
o 164649
o 164354
o 164336
o 164041
o 163991
o 163973
o 163678
o 163577
o 163326
o 163031
o 163013
o 162718
o 162668
o 162650
o 162355
o 162354
o 162059
o 162009
o 161991
o 161696
o 161667
o 161649
o 161354
o 161187
o 161169
o 160874
o 160782
o 160557
o 160539
o 160244
o 160076
o 160059
o 159764
o 159746
o 159451
o 159401
o 159383
o 159088
o 158868
o 158700
o 158683
o 158388
o 158370
o 158075
o 158025
o 158007
o 157712
o 157704
o 157686
o 157391
o 157341
o 157323
o 157028
o 156989
o 156939
o 156921
o 156626
o 156406
o 156238
o 156221
o 155926
o 155908
o 155613
o 155563
o 155545
o 155250
o 155121
o 155097
o 155071
o 155053
o 154758
o 154734
o 154729
o 154711
o 154416
o 154392
o 154249
o 154231
o 153936
o 153912
o 153844
o 153820
o 153619
o 153601
o 153306
o 153138
o 153121
o 152826
o 152808
o 152513
o 152489
o 152463
o 152445
o 152150
o 152126
o 151930
o 151762
o 151745
o 151450
o 151432
o 151137
o 151113
o 151087
o 151069
o 150774
o 150750
o 150748
o 150453
o 150429
o 150403
o 150385
o 150090
o 150066
o 150051
o 150027
o 150001
o 149983
o 149688
o 149664
o 149468
o 149300
o 149283
o 148988
o 148970
o 148675
o 148651
o 148625
o 148607
o 148312
o 148288
o 148218
o 148194
o 148168
o 148150
o 147855
o 147831
o 147635
o 147467
o 147450
o 147155
o 147137
o 146842
o 146818
o 146792
o 146774
o 146479
o 146455
o 146453
o 146158
o 146134
o 146108
o 146090
o 145795
o 145771
o 145756
o 145732
o 145706
o 145688
o 145393
o 145369
o 145173
o 145005
o 144988
o 144693
o 144675
o 144380
o 144356
o 144330
o 144312
o 144017
o 143993
o 143815
o 143791
o 143595
o 143427
o 143410
o 143115
o 143097
o 142802
o 142778
o 142752
o 142734
o 142439
o 142415
o 142413
o 142118
o 142094
o 142068
o 142050
o 141755
o 141731
o 141716
o 141692
o 141666
o 141648
o 141353
o 141329
o 141133
o 140965
o 140948
o 140653
o 140635
o 140340
o 140316
o 140290
o 140272
o 139977
o 139953
o 139721
o 139703
o 139408
o 139384
o 139358
o 139340
o 139045
o 139021
o 138825
o 138657
o 138640
o 138345
o 138327
o 138032
o 138008
o 137982
o 137964
o 137669
o 137645
o 137643
o 137348
o 137324
o 137298
o 137280
o 136985
o 136961
o 136946
o 136922
o 136896
o 136878
o 136583
o 136559
o 136363
o 136195
o 136178
o 135883
o 135865
o 135570
o 135546
o 135520
o 135502
o 135207
o 135183
o 135002
o 134834
o 134817
o 134522
o 134504
o 134209
o 134185
o 134150
o 134133
o 133838
o 133820
o 133525
o 133501
o 133436
o 133418
o 133123
o 133099
o 133078
o 133054
o 132853
o 132835
o 132540
o 132372
o 132355
o 132060
o 132042
o 131747
o 131723
o 131473
o 131449
o 131414
o 131397
o 131102
o 131084
o 130789
o 130765
o 130700
o 130682
o 130387
o 130363
o 130342
o 130318
o 130117
o 130099
o 129804
o 129636
o 129619
o 129324
o 129306
o 129011
o 128987
o 128755
o 128731
o 128666
o 128648
o 128353
o 128329
o 128308
o 128284
o 128083
o 128065
o 127770
o 127602
o 127585
o 127290
o 127272
o 126977
o 126953
o 126816
o 126798
o 126503
o 126479
o 126213
o 126195
o 125900
o 125876
o 125811
o 125793
o 125498
o 125474
o 125453
o 125429
o 125228
o 125210
o 124915
o 124747
o 124730
o 124435
o 124417
o 124122
o 124098
o 123961
o 123943
o 123648
o 123624
o 123535
o 123517
o 123222
o 123198
o 122965
o 122797
o 122780
o 122485
o 122467
o 122172
o 122148
o 122060
o 122036
o 122011
o 121993
o 121698
o 121674
o 121586
o 121562
o 121430
o 121412
o 121117
o 120998
o 120974
o 120956
o 120938
o 120643
o 120524
o 120500
o 120217
o 120098
o 120074
o 119795
o 119746
o 119722
o 119538
o 119489
o 119370
o 119321
o 119058
o 119040
o 118745
o 118696
o 118672
o 118633
o 118584
o 118560
o 118271
o 118222
o 118198
o 118159
o 118110
o 118086
o 118003
o 117985
o 117690
o 117571
o 117522
o 117498
o 117216
o 117097
o 117048
o 117024
o 116790
o 116671
o 116622
o 116598
o 116576
o 116551
o 116533
o 116238
o 116214
o 116126
o 116102
o 115970
o 115952
o 115657
o 115538
o 115514
o 115496
o 115478
o 115183
o 115064
o 115040
o 114757
o 114638
o 114614
o 114611
o 114316
o 114292
o 114204
o 114180
o 114155
o 114137
o 113842
o 113818
o 113730
o 113706
o 113574
o 113556
o 113261
o 113142
o 113118
o 113100
o 113082
o 112787
o 112668
o 112644
o 112361
o 112242
o 112218
o 111939
o 111890
o 111866
o 111682
o 111633
o 111514
o 111465
o 111202
o 111184
o 110889
o 110840
o 110816
o 110777
o 110728
o 110704
o 110415
o 110366
o 110342
o 110303
o 110254
o 110230
o 110147
o 110129
o 109834
o 109715
o 109666
o 109642
o 109360
o 109241
o 109192
o 109168
o 108934
o 108815
o 108766
o 108742
o 108720
o 108695
o 108677
o 108382
o 108358
o 108270
o 108246
o 108114
o 108096
o 107801
o 107682
o 107658
o 107640
o 107622
o 107327
o 107208
o 107184
o 106901
o 106782
o 106758
o 106616
o 106592
o 106504
o 106480
o 106348
o 106330
o 106035
o 105916
o 105892
o 105874
o 105856
o 105561
o 105442
o 105418
o 105135
o 105016
o 104992
o 104902
o 104878
o 104790
o 104766
o 104634
o 104630
o 104321
o 104202
o 104178
o 104160
o 104156
o 103847
o 103728
o 103704
o 103421
o 103302
o 103278
o 102999
o 102950
o 102926
o 102742
o 102693
o 102574
o 102525
o 102262
o 102258
o 101949
o 101900
o 101876
o 101837
o 101788
o 101764
o 101475
o 101426
o 101402
o 101363
o 101314
o 101290
o 101207
o 101203
o 100894
o 100775
o 100726
o 100702
o 100420
o 100301
o 100252
o 100228
o 99994
o 99875
o 99826
o 99802
o 99780
o 99755
o 99751
o 99442
o 99418
o 99330
o 99306
o 99174
o 99170
o 98861
o 98742
o 98718
o 98700
o 98696
o 98387
o 98268
o 98244
o 97961
o 97842
o 97818
o 97807
o 97783
o 97695
o 97671
o 97539
o 97535
o 97226
o 97107
o 97083
o 97065
o 97061
o 96752
o 96633
o 96609
o 96326
o 96207
o 96183
o 96077
o 96053
o 95770
o 95651
o 95627
o 95616
o 95592
o 95504
o 95480
o 95348
o 95344
o 95035
o 94916
o 94892
o 94874
o 94870
o 94561
o 94442
o 94418
o 94135
o 94016
o 93992
o 93979
o 93943
o 93919
o 93842
o 93723
o 93699
o 93589
o 93565
o 93528
o 93504
o 93394
o 93370
o 93335
o 93311
o 93241
o 93217
o 93165
o 93046
o 93022
o 93009
o 92973
o 92949
o 92948
o 92924
o 92872
o 92753
o 92729
o 92694
o 92670
o 92619
o 92595
o 92560
o 92536
o 92528
o 92493
o 92469
o 92271
o 92152
o 91887
o 91768
o 91496
o 91377
o 91310
o 91251
o 91237
o 91178
o 91084
o 91017
o 90958
o 90950
o 90883
o 90824
o 90822
o 90798
o 90763
o 90739
o 90731
o 90688
o 90664
o 90629
o 90605
o 90572
o 90548
o 90540
o 90497
o 90473
o 90438
o 90414
o 90407
o 90288
o 90202
o 90083
o 90023
o 89904
o 89811
o 89692
o 89632
o 89513
o 89446
o 89387
o 89373
o 89314
o 89220
o 89153
o 89094
o 89086
o 89019
o 88960
o 88903
o 88895
o 88828
o 88769
o 88651
o 88584
o 88578
o 88571
o 88511
o 88358
o 88291
o 88224
o 88157
o 88098
o 88041
o 88033
o 87966
o 87907
o 87837
o 87770
o 87703
o 87636
o 87577
o 87520
o 87512
o 87445
o 87386
o 87254
o 87187
o 87120
o 87053
o 86994
o 86937
o 86929
o 86862
o 86803
o 86752
o 86728
o 86685
o 86661
o 86626
o 86602
o 86588
o 86553
o 86529
o 86459
o 86435
o 86392
o 86368
o 86333
o 86309
o 86301
o 86258
o 86234
o 86199
o 86175
o 86164
o 86140
o 86105
o 86081
o 85995
o 85783
o 85604
o 85537
o 85521
o 85474
o 85262
o 85083
o 85016
o 85010
o 85003
o 84943
o 84790
o 84723
o 84656
o 84589
o 84530
o 84495
o 84436
o 84429
o 84276
o 84209
o 84142
o 84075
o 84016
o 83981
o 83922
o 83876
o 83809
o 83803
o 83796
o 83736
o 83583
o 83516
o 83457
o 83449
o 83382
o 83323
o 83288
o 83229
o 83222
o 83069
o 83002
o 82943
o 82935
o 82868
o 82809
o 82774
o 82715
o 82696
o 82637
o 82629
o 82562
o 82503
o 82468
o 82409
o 82392
o 82333
o 82298
o 82239
o 82153
o 82086
o 82027
o 81992
o 81933
o 81917
o 81878
o 81844
o 81827
o 81807
o 81768
o 81661
o 81622
o 81594
o 81555
o 81535
o 81496
o 81461
o 81441
o 81402
o 81368
Killed
1979.635u 0.063s 33:00.07 99.9%	0+0k 0+0io 0pf+0w