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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 242749
o 241578
o 239366
o 239337
o 238166
o 235954
o 235525
o 235097
o 233904
o 233475
o 233295
o 232866
o 232763
o 232334
o 232154
o 231725
o 231545
o 231116
o 231000
o 230571
o 230238
o 230058
o 229629
o 229449
o 229020
o 228621
o 228441
o 228012
o 227839
o 227410
o 227230
o 226801
o 226373
o 225962
o 225789
o 225360
o 225180
o 224751
o 224571
o 224142
o 223875
o 223702
o 223273
o 223093
o 222664
o 222484
o 222055
o 221924
o 221513
o 221340
o 220911
o 220731
o 220302
o 220122
o 219693
o 219542
o 219362
o 218933
o 218753
o 218324
o 218291
o 218118
o 217689
o 217509
o 217080
o 216900
o 216471
o 216340
o 215929
o 215756
o 215327
o 215147
o 214718
o 214538
o 214109
o 214093
o 213913
o 213484
o 213304
o 212875
o 212475
o 212295
o 211866
o 211686
o 211257
o 211002
o 210875
o 210695
o 210266
o 210086
o 209657
o 209514
o 209334
o 208905
o 208608
o 208296
o 207999
o 207896
o 207716
o 207287
o 206990
o 206678
o 206381
o 206126
o 206116
o 205687
o 205390
o 205078
o 204781
o 204632
o 204335
o 204023
o 203726
o 203595
o 203481
o 203308
o 202879
o 202699
o 202270
o 201973
o 201661
o 201364
o 201261
o 201081
o 200652
o 200355
o 200043
o 199746
o 199491
o 199481
o 199052
o 198755
o 198443
o 198146
o 197964
o 197667
o 197412
o 197402
o 196973
o 196676
o 196364
o 196067
o 196030
o 195733
o 195630
o 195450
o 195021
o 194724
o 194412
o 194115
o 193860
o 193850
o 193421
o 193124
o 192812
o 192515
o 192221
o 191909
o 191612
o 191439
o 191328
o 191031
o 190719
o 190422
o 190291
o 190177
o 190004
o 189575
o 189395
o 188966
o 188669
o 188357
o 188060
o 187887
o 187777
o 187348
o 187051
o 186739
o 186442
o 186269
o 186187
o 186014
o 185748
o 185451
o 185139
o 184842
o 184669
o 184619
o 184322
o 184010
o 183713
o 183540
o 183458
o 183285
o 183019
o 182722
o 182410
o 182113
o 181940
o 181823
o 181511
o 181214
o 181041
o 180959
o 180786
o 180520
o 180223
o 179911
o 179614
o 179441
o 179357
o 179184
o 178793
o 178613
o 178184
o 177887
o 177575
o 177278
o 177105
o 176994
o 176697
o 176385
o 176088
o 175957
o 175843
o 175670
o 175241
o 175061
o 174632
o 174335
o 174023
o 173726
o 173553
o 173443
o 173014
o 172717
o 172405
o 172108
o 171935
o 171853
o 171680
o 171414
o 171117
o 170805
o 170508
o 170335
o 170146
o 169849
o 169718
o 169604
o 169431
o 169002
o 168822
o 168393
o 168096
o 167784
o 167487
o 167314
o 167204
o 166775
o 166478
o 166166
o 165869
o 165696
o 165614
o 165441
o 165175
o 164878
o 164566
o 164269
o 164096
o 163877
o 163580
o 163407
o 163314
o 163141
o 162994
o 162682
o 162385
o 162212
o 161993
o 161696
o 161523
o 161441
o 161268
o 161082
o 160785
o 160612
o 160393
o 160096
o 159923
o 159912
o 159615
o 159442
o 159414
o 158985
o 158688
o 158376
o 158079
o 157906
o 157687
o 157390
o 157217
o 157049
o 156752
o 156579
o 156360
o 156063
o 155890
o 155772
o 155599
o 155517
o 155344
o 155158
o 154861
o 154688
o 154469
o 154172
o 153999
o 153831
o 153534
o 153361
o 153142
o 152845
o 152672
o 152427
o 152254
o 152035
o 151738
o 151565
o 151397
o 151100
o 150927
o 150708
o 150411
o 150238
o 150028
o 149731
o 149558
o 149440
o 149267
o 149185
o 149012
o 148826
o 148529
o 148356
o 148137
o 147840
o 147667
o 147499
o 147202
o 147029
o 146810
o 146513
o 146340
o 146279
o 145982
o 145809
o 145590
o 145293
o 145120
o 144952
o 144655
o 144482
o 144263
o 143966
o 143793
o 143675
o 143502
o 143420
o 143247
o 143061
o 142764
o 142591
o 142372
o 142075
o 141902
o 141734
o 141437
o 141264
o 141045
o 140748
o 140575
o 140519
o 140437
o 140264
o 140078
o 139781
o 139608
o 139389
o 139092
o 138919
o 138751
o 138454
o 138281
o 138062
o 137765
o 137592
o 137495
o 137198
o 137025
o 136806
o 136509
o 136336
o 136168
o 135871
o 135698
o 135479
o 135182
o 135009
o 134971
o 134798
o 134630
o 134582
o 134333
o 134160
o 133941
o 133893
o 133644
o 133471
o 133451
o 133249
o 133076
o 132857
o 132809
o 132560
o 132387
o 132150
o 131977
o 131852
o 131555
o 131382
o 131145
o 130972
o 130935
o 130686
o 130513
o 130294
o 130246
o 129997
o 129824
o 129587
o 129414
o 129394
o 129228
o 129055
o 129035
o 129008
o 128759
o 128586
o 128349
o 128176
o 128156
o 127954
o 127781
o 127562
o 127514
o 127265
o 127092
o 126855
o 126682
o 126557
o 126260
o 126087
o 125850
o 125677
o 125640
o 125391
o 125218
o 124999
o 124951
o 124702
o 124529
o 124292
o 124119
o 124099
o 123933
o 123760
o 123740
o 123722
o 123300
o 123127
o 122890
o 122717
o 122680
o 122431
o 122258
o 122194
o 122179
o 121991
o 121742
o 121569
o 121332
o 121159
o 121139
o 120973
o 120800
o 120780
o 120692
o 120672
o 120658
o 120581
o 120566
o 120378
o 120129
o 119956
o 119719
o 119546
o 119526
o 119360
o 119187
o 119167
o 119079
o 119059
o 119045
o 118855
o 118835
o 118620
o 118556
o 118463
o 118448
o 118260
o 118011
o 117850
o 117601
o 117581
o 117491
o 117242
o 117222
o 117134
o 117114
o 117100
o 116991
o 116971
o 116883
o 116863
o 116849
o 116828
o 116724
o 116551
o 116447
o 116378
o 116274
o 116141
o 116037
o 115968
o 115864
o 115855
o 115827
o 115682
o 115578
o 115509
o 115405
o 115270
o 115166
o 115138
o 114993
o 114889
o 114820
o 114716
o 114583
o 114479
o 114410
o 114306
o 114286
o 114224
o 114120
o 114051
o 113947
o 113927
o 113885
o 113821
o 113802
o 113657
o 113553
o 113525
o 113380
o 113276
o 113207
o 113103
o 112970
o 112866
o 112797
o 112693
o 112673
o 112611
o 112507
o 112438
o 112334
o 112314
o 112279
o 112251
o 112106
o 112002
o 111982
o 111871
o 111767
o 111703
o 111684
o 111539
o 111435
o 111407
o 111262
o 111158
o 111129
o 111025
o 110997
o 110852
o 110748
o 110728
o 110666
o 110638
o 110493
o 110389
o 110369
o 110281
o 110261
o 110247
o 110238
o 110134
o 110114
o 110026
o 110006
o 109992
o 109918
o 109849
o 109745
o 109725
o 109663
o 109594
o 109490
o 109470
o 109416
o 109312
o 109243
o 109139
o 109119
o 109057
o 108988
o 108884
o 108864
o 108818
o 108673
o 108569
o 108512
o 108408
o 108263
o 108159
o 108139
o 108049
o 107904
o 107800
o 107780
o 107649
o 107545
o 107525
o 107443
o 107298
o 107194
o 107174
o 107043
o 106939
o 106919
o 106831
o 106811
o 106797
o 106790
o 106770
o 106639
o 106535
o 106515
o 106427
o 106407
o 106393
o 106389
o 106369
o 106238
o 106134
o 106114
o 106026
o 106006
o 105992
o 105898
o 105794
o 105774
o 105692
o 105547
o 105443
o 105423
o 105292
o 105188
o 105168
o 105080
o 105060
o 105046
o 105042
o 105022
o 104891
o 104787
o 104767
o 104679
o 104659
o 104645
o 104642
o 104638
o 104618
o 104487
o 104383
o 104363
o 104275
o 104255
o 104241
o 104213
o 104193
o 104146
o 104042
o 104022
o 103940
o 103795
o 103691
o 103671
o 103540
o 103436
o 103416
o 103343
o 103198
o 103094
o 103074
o 103043
o 103023
o 102933
o 102788
o 102684
o 102664
o 102533
o 102429
o 102409
o 102327
o 102182
o 102078
o 102058
o 101927
o 101823
o 101803
o 101781
o 101677
o 101657
o 101526
o 101422
o 101402
o 101399
o 101377
o 101273
o 101253
o 101122
o 101018
o 100998
o 100978
o 100958
o 100827
o 100723
o 100703
o 100631
o 100527
o 100507
o 100476
o 100372
o 100352
o 100221
o 100117
o 100097
o 100075
o 99971
o 99951
o 99820
o 99716
o 99696
o 99668
o 99648
o 99626
o 99522
o 99502
o 99371
o 99267
o 99247
o 99173
o 99153
o 99071
o 98926
o 98822
o 98802
o 98671
o 98567
o 98547
o 98525
o 98421
o 98401
o 98270
o 98166
o 98146
o 98118
o 98098
o 98076
o 97972
o 97952
o 97821
o 97717
o 97697
o 97615
o 97574
o 97470
o 97419
o 97378
o 97274
o 97222
o 97131
o 97111
o 97029
o 96975
o 96884
o 96833
o 96779
o 96688
o 96681
o 96577
o 96572
o 96566
o 96421
o 96317
o 96232
o 96128
o 96091
o 96086
o 96080
o 95935
o 95831
o 95746
o 95642
o 95633
o 95542
o 95505
o 95500
o 95440
o 95336
o 95245
o 95147
o 95056
o 95005
o 94985
o 94945
o 94841
o 94750
o 94730
o 94648
o 94594
o 94503
o 94452
o 94398
o 94307
o 94280
o 94229
o 94175
o 94084
o 94078
o 93987
o 93890
o 93799
o 93716
o 93696
o 93688
o 93584
o 93493
o 93473
o 93469
o 93418
o 93364
o 93273
o 93246
o 93195
o 93141
o 93050
o 93044
o 92953
o 92936
o 92922
o 92899
o 92733
o 92713
o 92523
o 92503
o 92471
o 92268
o 92248
o 92122
o 92102
o 92070
o 92033
o 91867
o 91847
o 91819
o 91799
o 91673
o 91653
o 91621
o 91584
o 91418
o 91398
o 91361
o 91195
o 91175
o 91061
o 91041
o 91027
o 91004
o 90838
o 90818
o 90583
o 90563
o 90531
o 90328
o 90308
o 90182
o 90162
o 90130
o 90093
o 89927
o 89907
o 89904
o 89778
o 89758
o 89726
o 89689
o 89523
o 89503
o 89466
o 89300
o 89280
o 89272
o 89240
o 89203
o 89037
o 89017
o 88980
o 88814
o 88794
o 88714
o 88694
o 88686
o 88542
o 88451
o 88431
o 88319
o 88228
o 88208
o 88204
o 88153
o 88099
o 88008
o 87981
o 87930
o 87876
o 87785
o 87637
o 87617
o 87609
o 87577
o 87540
o 87374
o 87354
o 87317
o 87151
o 87131
o 87051
o 87031
o 87023
o 86879
o 86788
o 86768
o 86656
o 86565
o 86545
o 86541
o 86490
o 86436
o 86345
o 86318
o 86267
o 86213
o 86122
o 86112
o 85946
o 85926
o 85889
o 85723
o 85703
o 85695
o 85663
o 85626
o 85460
o 85440
o 85403
o 85237
o 85217
o 85137
o 85117
o 85109
o 84965
o 84874
o 84854
o 84742
o 84651
o 84631
o 84627
o 84576
o 84522
o 84431
o 84404
o 84353
o 84299
o 84208
o 84112
o 84021
o 83987
o 83889
o 83798
o 83715
o 83695
o 83583
o 83492
o 83472
o 83468
o 83417
o 83363
o 83272
o 83245
o 83194
o 83140
o 83049
o 82981
o 82961
o 82959
o 82881
o 82861
o 82853
o 82709
o 82618
o 82598
o 82486
o 82395
o 82375
o 82371
o 82320
o 82266
o 82175
o 82148
o 82097
o 82043
o 81952
o 81887
o 81796
o 81776
o 81772
o 81721
o 81667
o 81576
o 81549
o 81498
o 81444
o 81353
o 81257
o 81166
o 81132
o 81034
o 80943
o 80860
o 80840
o 80728
o 80637
o 80617
o 80613
o 80562
o 80508
o 80417
o 80390
o 80339
o 80285
o 80194
o 80126
o 80106
o 80026
o 80006
o 79998
o 79854
o 79763
o 79743
o 79631
o 79540
o 79520
o 79516
o 79465
o 79411
o 79320
o 79293
o 79242
o 79188
o 79097
o 79083
o 79029
o 78938
o 78911
o 78860
o 78806
o 78715
o 78673
o 78582
o 78528
o 78504
o 78450
o 78359
o 78345
o 78291
o 78200
o 78146
o 78122
o 78068
o 77977
o 77928
o 77908
o 77874
o 77854
o 77796
o 77705
o 77685
o 77654
o 77630
o 77576
o 77485
o 77431
o 77407
o 77353
o 77262
o 77248
o 77194
o 77103
o 77049
o 77025
o 76971
o 76880
o 76862
o 76808
o 76717
o 76691
o 76671
o 76613
o 76522
o 76502
o 76471
o 76444
o 76393
o 76339
o 76248
o 76224
o 76170
o 76079
o 76064
o 75973
o 75949
o 75895
o 75804
o 75778
o 75760
o 75706
o 75615
o 75589
o 75569
o 75511
o 75420
o 75400
o 75326
o 75291
o 75237
o 75146
o 75122
o 75068
o 74977
o 74967
o 74913
o 74822
o 74798
o 74708
o 74684
o 74630
o 74539
o 74529
o 74475
o 74384
o 74335
o 74294
o 74244
o 74226
o 74222
o 74172
o 74131
o 74081
o 74055
o 74035
o 74027
o 73977
o 73936
o 73886
o 73866
o 73835
o 73808
o 73807
o 73757
o 73753
o 73703
o 73662
o 73612
o 73588
o 73584
o 73534
o 73493
o 73443
o 73433
o 73429
o 73379
o 73338
o 73288
o 73276
o 73226
o 73202
o 73198
o 73148
o 73107
o 73057
o 73047
o 73043
o 72993
o 72952
o 72902
o 72900
o 72848
o 72828
o 72799
o 72758
o 72708
o 72688
o 72686
o 72636
o 72595
o 72545
o 72525
o 72508
o 72488
o 72440
o 72390
o 72349
o 72299
o 72279
o 72217
o 72167
o 72126
o 72076
o 72056
o 72048
o 71998
o 71957
o 71907
o 71887
o 71843
o 71802
o 71752
o 71732
o 71690
o 71670
o 71662
o 71612
o 71571
o 71521
o 71501
o 71457
o 71416
o 71366
o 71346
o 71344
Killed
1979.616u 0.082s 33:11.07 99.4%	0+0k 0+0io 0pf+0w