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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 217035
o 216007
o 215966
o 214457
o 213216
o 212453
o 212188
o 212147
o 210638
o 210467
o 210426
o 209899
o 209629
o 208917
o 208423
o 208153
o 207441
o 207395
o 207125
o 206413
o 206372
o 205845
o 205575
o 204863
o 204269
o 203769
o 203697
o 202985
o 202741
o 202669
o 201957
o 201916
o 201691
o 201191
o 201119
o 200407
o 200143
o 200102
o 199877
o 199746
o 199377
o 199131
o 198962
o 198593
o 198472
o 198303
o 197934
o 197809
o 197440
o 197376
o 197340
o 197215
o 196846
o 196840
o 196715
o 196346
o 196056
o 195931
o 195562
o 195318
o 195028
o 194903
o 194534
o 194493
o 194268
o 194262
o 194137
o 193768
o 193478
o 193353
o 192984
o 192939
o 192570
o 192326
o 192036
o 191911
o 191542
o 191501
o 191276
o 191270
o 191145
o 190776
o 190486
o 190361
o 189992
o 189734
o 189444
o 189319
o 188950
o 188759
o 188634
o 188265
o 188021
o 187731
o 187606
o 187237
o 187196
o 186971
o 186965
o 186840
o 186471
o 186181
o 186056
o 185687
o 185330
o 185086
o 184796
o 184671
o 184302
o 184261
o 184036
o 184030
o 183905
o 183536
o 183246
o 183121
o 182752
o 182457
o 182228
o 182104
o 181979
o 181610
o 181253
o 181009
o 180719
o 180594
o 180225
o 180184
o 179959
o 179953
o 179828
o 179459
o 179169
o 179044
o 178675
o 178380
o 178041
o 177751
o 177626
o 177257
o 176962
o 176916
o 176791
o 176422
o 176127
o 175788
o 175498
o 175373
o 175004
o 174709
o 174393
o 174103
o 173978
o 173609
o 173314
o 173021
o 172682
o 172392
o 172267
o 171898
o 171603
o 171602
o 171477
o 171108
o 170813
o 170692
o 170353
o 170063
o 169938
o 169569
o 169274
o 169272
o 168933
o 168643
o 168518
o 168149
o 167854
o 167678
o 167388
o 167263
o 166894
o 166599
o 166470
o 166180
o 166055
o 165686
o 165391
o 165163
o 164868
o 164762
o 164637
o 164268
o 163973
o 163745
o 163450
o 163183
o 162955
o 162660
o 162539
o 162433
o 162308
o 161939
o 161644
o 161416
o 161121
o 161119
o 161013
o 160888
o 160519
o 160224
o 159996
o 159701
o 159638
o 159513
o 159144
o 158849
o 158621
o 158326
o 158324
o 158218
o 158093
o 157724
o 157429
o 157201
o 156906
o 156659
o 156534
o 156165
o 155870
o 155741
o 155451
o 155326
o 154957
o 154662
o 154434
o 154139
o 154033
o 153908
o 153539
o 153244
o 153016
o 152721
o 152454
o 152226
o 151931
o 151810
o 151704
o 151579
o 151210
o 150915
o 150687
o 150392
o 150390
o 150284
o 150159
o 149790
o 149495
o 149267
o 148972
o 148964
o 148736
o 148441
o 148341
o 148113
o 147818
o 147816
o 147668
o 147544
o 147316
o 147021
o 146921
o 146693
o 146398
o 146360
o 146065
o 145941
o 145713
o 145418
o 145318
o 145090
o 144795
o 144604
o 144479
o 144110
o 143815
o 143587
o 143292
o 143186
o 143061
o 142692
o 142397
o 142169
o 141874
o 141864
o 141636
o 141341
o 141241
o 141013
o 140718
o 140570
o 140446
o 140218
o 139923
o 139823
o 139595
o 139300
o 139133
o 139033
o 138805
o 138510
o 138389
o 138241
o 138117
o 137889
o 137594
o 137494
o 137266
o 136971
o 136969
o 136821
o 136697
o 136469
o 136174
o 136074
o 135846
o 135551
o 135514
o 135414
o 135186
o 134891
o 134724
o 134624
o 134396
o 134101
o 133980
o 133832
o 133708
o 133480
o 133185
o 133085
o 132857
o 132562
o 132560
o 132412
o 132288
o 132060
o 131765
o 131665
o 131437
o 131142
o 130941
o 130841
o 130613
o 130318
o 130228
o 130128
o 129900
o 129605
o 129484
o 129336
o 129212
o 128984
o 128689
o 128589
o 128361
o 128066
o 128064
o 127916
o 127792
o 127564
o 127269
o 127169
o 126941
o 126646
o 126609
o 126509
o 126281
o 125986
o 125819
o 125719
o 125491
o 125196
o 125075
o 124927
o 124803
o 124575
o 124280
o 124180
o 123952
o 123657
o 123655
o 123507
o 123383
o 123155
o 122860
o 122760
o 122532
o 122237
o 122036
o 121936
o 121708
o 121413
o 121406
o 121111
o 121109
o 120961
o 120837
o 120609
o 120314
o 120214
o 119986
o 119691
o 119514
o 119219
o 119119
o 118891
o 118596
o 118456
o 118161
o 118067
o 117772
o 117632
o 117337
o 117309
o 117270
o 116975
o 116874
o 116835
o 116540
o 116522
o 116494
o 116455
o 116160
o 116059
o 116020
o 115725
o 115613
o 115512
o 115473
o 115178
o 115160
o 115132
o 115093
o 114798
o 114697
o 114658
o 114363
o 114162
o 114107
o 114075
o 114036
o 114011
o 113998
o 113741
o 113723
o 113695
o 113656
o 113631
o 113618
o 113361
o 113260
o 113221
o 113196
o 113183
o 112926
o 112725
o 112670
o 112385
o 112284
o 112245
o 111950
o 111749
o 111694
o 111515
o 111414
o 111375
o 111350
o 111337
o 111080
o 110919
o 110901
o 110873
o 110834
o 110539
o 110438
o 110399
o 110104
o 110010
o 109909
o 109870
o 109845
o 109832
o 109575
o 109463
o 109362
o 109323
o 109298
o 109285
o 109028
o 109010
o 108982
o 108943
o 108918
o 108905
o 108648
o 108547
o 108508
o 108483
o 108470
o 108213
o 108012
o 107957
o 107672
o 107571
o 107532
o 107237
o 107036
o 106981
o 106802
o 106701
o 106662
o 106637
o 106624
o 106367
o 106206
o 106188
o 106160
o 106121
o 105826
o 105725
o 105686
o 105391
o 105236
o 105218
o 105190
o 105151
o 104856
o 104755
o 104716
o 104421
o 104210
o 104109
o 104070
o 104045
o 104032
o 103775
o 103574
o 103519
o 103234
o 103133
o 103094
o 102799
o 102598
o 102543
o 102364
o 102263
o 102224
o 102199
o 102186
o 101929
o 101768
o 101750
o 101722
o 101683
o 101388
o 101287
o 101248
o 100953
o 100798
o 100780
o 100752
o 100713
o 100418
o 100317
o 100278
o 99983
o 99741
o 99728
o 99689
o 99394
o 99196
o 99095
o 99056
o 98761
o 98758
o 98719
o 98424
o 98226
o 98125
o 98086
o 97791
o 97789
o 97726
o 97680
o 97641
o 97346
o 97245
o 97206
o 96911
o 96675
o 96662
o 96623
o 96598
o 96585
o 96328
o 96134
o 96033
o 95994
o 95699
o 95686
o 95647
o 95352
o 95154
o 95053
o 95014
o 94719
o 94716
o 94677
o 94382
o 94184
o 94083
o 94044
o 93749
o 93747
o 93713
o 93712
o 93515
o 93514
o 93414
o 93413
o 93375
o 93374
o 93080
o 93079
o 93047
o 93046
o 92752
o 92751
o 92643
o 92632
o 92599
o 92545
o 92304
o 92113
o 92102
o 92069
o 92015
o 91774
o 91480
o 91469
o 91436
o 91382
o 91141
o 91093
o 91019
o 91008
o 90975
o 90754
o 90680
o 90510
o 90499
o 90466
o 90412
o 90171
o 90123
o 90049
o 90038
o 90005
o 89784
o 89710
o 89666
o 89655
o 89622
o 89568
o 89327
o 89325
o 89115
o 89041
o 89040
o 88997
o 88996
o 88986
o 88985
o 88953
o 88952
o 88899
o 88658
o 88657
o 88609
o 88608
o 88439
o 88438
o 88428
o 88427
o 88402
o 88401
o 88341
o 88100
o 88099
o 88052
o 87978
o 87977
o 87967
o 87966
o 87941
o 87940
o 87713
o 87639
o 87638
o 87595
o 87594
o 87584
o 87583
o 87558
o 87557
o 87497
o 87256
o 87255
o 87233
o 87070
o 86992
o 86991
o 86951
o 86950
o 86921
o 86847
o 86846
o 86695
o 86621
o 86620
o 86593
o 86519
o 86518
o 86442
o 86441
o 86338
o 86337
o 86320
o 86319
o 86290
o 86216
o 86215
o 86055
o 85981
o 85980
o 85951
o 85877
o 85876
o 85725
o 85651
o 85650
o 85623
o 85549
o 85548
o 85539
o 85461
o 85387
o 85386
o 85359
o 85285
o 85284
o 85175
o 85101
o 85086
o 85012
o 85011
o 84997
o 84982
o 84908
o 84907
o 84837
o 84822
o 84748
o 84747
o 84733
o 84718
o 84644
o 84643
o 84617
o 84543
o 84513
o 84439
o 84392
o 84286
o 84212
o 84138
o 84064
o 84034
o 83960
o 83894
o 83883
o 83703
o 83555
o 83451
o 83433
o 83422
o 83316
o 83242
o 83168
o 83094
o 83064
o 82990
o 82978
o 82904
o 82830
o 82800
o 82726
o 82690
o 82675
o 82601
o 82542
o 82527
o 82453
o 82438
o 82423
o 82349
o 82337
o 82278
o 82263
o 82189
o 82174
o 82159
o 82085
o 82049
o 81975
o 81901
o 81871
o 81797
o 81735
o 81688
o 81644
o 81570
o 81496
o 81422
o 81392
o 81318
o 81241
o 81205
o 81061
o 81057
o 80913
o 80854
o 80780
o 80674
o 80600
o 80526
o 80452
o 80422
o 80348
o 80286
o 80272
o 80257
o 80168
o 80139
o 80122
o 80048
o 80033
o 79959
o 79900
o 79885
o 79811
o 79796
o 79781
o 79707
o 79645
o 79626
o 79611
o 79596
o 79522
o 79460
o 79411
o 79403
o 79349
o 79340
o 79325
o 79310
o 79236
o 79174
o 79125
o 79117
o 79063
o 79051
o 78989
o 78940
o 78932
o 78878
o 78858
o 78809
o 78801
o 78747
o 78705
o 78643
o 78594
o 78586
o 78532
o 78520
o 78458
o 78409
o 78401
o 78347
o 78332
o 78318
o 78303
o 78214
o 78185
o 78168
o 78094
o 78079
o 78005
o 77946
o 77931
o 77857
o 77842
o 77827
o 77753
o 77691
o 77642
o 77634
o 77580
o 77568
o 77494
o 77481
o 77407
o 77333
o 77259
o 77229
o 77155
o 77093
o 77079
o 77064
o 76975
o 76952
o 76929
o 76855
o 76840
o 76766
o 76707
o 76692
o 76618
o 76603
o 76588
o 76514
o 76452
o 76403
o 76395
o 76341
o 76329
o 76267
o 76218
o 76210
o 76156
o 76138
o 76130
o 76076
o 76018
o 76014
o 75993
o 75870
o 75766
o 75704
o 75652
o 75563
o 75466
o 75377
o 75318
o 75229
o 75214
o 75125
o 75063
o 75014
o 75006
o 74952
o 74940
o 74878
o 74829
o 74821
o 74767
o 74766
o 74717
o 74709
o 74655
o 74637
o 74629
o 74575
o 74560
o 74542
o 74534
o 74480
Killed
1979.623u 0.075s 33:06.86 99.6%	0+0k 0+0io 0pf+0w