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
c first lower bound: 45625
o 211618
o 209614
o 207799
o 207161
o 206891
o 206179
o 205985
o 205885
o 205615
o 204903
o 204734
o 204365
o 204249
o 204169
o 203899
o 203187
o 202993
o 202973
o 202893
o 202623
o 201911
o 201742
o 201373
o 201251
o 201082
o 200713
o 200108
o 199939
o 199570
o 199530
o 199361
o 198992
o 198387
o 198218
o 197849
o 197412
o 197218
o 197198
o 197118
o 196848
o 196136
o 195967
o 195598
o 195476
o 195307
o 194938
o 194333
o 194164
o 193795
o 193543
o 192938
o 192769
o 192400
o 192370
o 192201
o 191832
o 191227
o 191058
o 190689
o 190360
o 190191
o 189822
o 189792
o 189623
o 189254
o 188649
o 188480
o 188111
o 187754
o 187425
o 187256
o 186887
o 186857
o 186688
o 186319
o 185714
o 185545
o 185176
o 184881
o 184585
o 184416
o 184047
o 184034
o 183777
o 183752
o 183739
o 183482
o 183377
o 183208
o 182839
o 182826
o 182569
o 182544
o 182531
o 182274
o 182046
o 182021
o 182008
o 181751
o 181441
o 181112
o 180943
o 180574
o 180543
o 180375
o 180006
o 179401
o 179232
o 178863
o 178568
o 178272
o 178103
o 177734
o 177721
o 177464
o 177439
o 177426
o 177169
o 177064
o 176895
o 176526
o 176513
o 176256
o 176231
o 176218
o 175961
o 175733
o 175708
o 175695
o 175438
o 175425
o 175256
o 174887
o 174874
o 174617
o 174592
o 174579
o 174322
o 174217
o 174048
o 173679
o 173666
o 173409
o 173384
o 173371
o 173114
o 172886
o 172861
o 172848
o 172591
o 172458
o 172163
o 171867
o 171698
o 171329
o 171316
o 171059
o 171034
o 171021
o 170764
o 170659
o 170490
o 170121
o 170108
o 169851
o 169826
o 169813
o 169556
o 169328
o 169303
o 169290
o 169033
o 169020
o 168851
o 168482
o 168469
o 168212
o 168187
o 168174
o 167917
o 167812
o 167643
o 167274
o 167261
o 167004
o 166979
o 166966
o 166709
o 166481
o 166456
o 166443
o 166186
o 166147
o 166122
o 166109
o 165852
o 165710
o 165663
o 165638
o 165625
o 165368
o 165254
o 165159
o 165146
o 164889
o 164864
o 164851
o 164594
o 164489
o 164320
o 163951
o 163938
o 163681
o 163656
o 163643
o 163386
o 163158
o 163133
o 163120
o 162863
o 162816
o 162791
o 162778
o 162521
o 162482
o 162457
o 162444
o 162187
o 162082
o 161854
o 161829
o 161816
o 161559
o 161435
o 161207
o 161182
o 161169
o 160912
o 160812
o 160584
o 160559
o 160546
o 160289
o 160242
o 160217
o 160204
o 159947
o 159908
o 159883
o 159870
o 159613
o 159340
o 159327
o 159070
o 159045
o 159032
o 158775
o 158547
o 158522
o 158509
o 158252
o 158213
o 158188
o 158175
o 157918
o 157776
o 157729
o 157704
o 157691
o 157434
o 157320
o 157225
o 157212
o 156955
o 156930
o 156917
o 156660
o 156555
o 156386
o 156017
o 156004
o 155747
o 155722
o 155709
o 155452
o 155224
o 155199
o 155186
o 154929
o 154882
o 154857
o 154844
o 154587
o 154548
o 154523
o 154510
o 154253
o 154148
o 153920
o 153895
o 153882
o 153625
o 153501
o 153273
o 153248
o 153235
o 152978
o 152878
o 152650
o 152625
o 152612
o 152355
o 152308
o 152283
o 152270
o 152013
o 151974
o 151949
o 151936
o 151679
o 151460
o 151187
o 151174
o 150917
o 150892
o 150879
o 150622
o 150394
o 150369
o 150356
o 150099
o 150060
o 150035
o 150022
o 149765
o 149623
o 149576
o 149551
o 149538
o 149281
o 149167
o 149072
o 149059
o 148802
o 148777
o 148764
o 148507
o 148402
o 148233
o 147864
o 147851
o 147594
o 147569
o 147556
o 147299
o 147071
o 147046
o 147033
o 146776
o 146729
o 146704
o 146691
o 146434
o 146395
o 146370
o 146357
o 146100
o 145995
o 145767
o 145742
o 145729
o 145472
o 145348
o 145120
o 145095
o 145082
o 144825
o 144725
o 144497
o 144472
o 144459
o 144202
o 144155
o 144130
o 144117
o 143860
o 143821
o 143796
o 143783
o 143526
o 143412
o 143365
o 143340
o 143327
o 143070
o 143031
o 143006
o 142993
o 142736
o 142496
o 142396
o 142168
o 142143
o 142130
o 141873
o 141826
o 141801
o 141788
o 141531
o 141492
o 141467
o 141454
o 141197
o 141076
o 140976
o 140748
o 140723
o 140710
o 140453
o 140406
o 140381
o 140368
o 140111
o 140072
o 140047
o 140034
o 139777
o 139746
o 139721
o 139708
o 139451
o 139412
o 139387
o 139374
o 139117
o 139003
o 138956
o 138931
o 138918
o 138661
o 138622
o 138597
o 138584
o 138327
o 138087
o 137987
o 137759
o 137734
o 137721
o 137464
o 137417
o 137392
o 137379
o 137122
o 137083
o 137058
o 137045
o 136788
o 136667
o 136567
o 136339
o 136314
o 136301
o 136044
o 135997
o 135972
o 135959
o 135702
o 135663
o 135638
o 135625
o 135368
o 135220
o 135173
o 135148
o 135135
o 134878
o 134839
o 134814
o 134801
o 134544
o 134477
o 134249
o 134224
o 134211
o 133954
o 133907
o 133882
o 133869
o 133612
o 133573
o 133548
o 133535
o 133278
o 133130
o 133083
o 133058
o 133045
o 132788
o 132749
o 132724
o 132711
o 132454
o 132403
o 132356
o 132331
o 132318
o 132061
o 132022
o 131997
o 131984
o 131727
o 131626
o 131587
o 131562
o 131549
o 131292
o 131237
o 131198
o 131173
o 131160
o 130903
o 130802
o 130763
o 130738
o 130725
o 130468
o 130313
o 130266
o 130241
o 130228
o 129971
o 129932
o 129907
o 129894
o 129637
o 129536
o 129497
o 129472
o 129459
o 129202
o 129147
o 129108
o 129083
o 129070
o 128813
o 128712
o 128673
o 128648
o 128635
o 128378
o 128217
o 128178
o 128153
o 128140
o 127883
o 127762
o 127662
o 127434
o 127409
o 127396
o 127139
o 127092
o 127067
o 127054
o 126797
o 126758
o 126733
o 126720
o 126463
o 126315
o 126268
o 126243
o 126230
o 125973
o 125934
o 125909
o 125896
o 125639
o 125572
o 125344
o 125319
o 125306
o 125049
o 125002
o 124977
o 124964
o 124707
o 124668
o 124643
o 124630
o 124373
o 124225
o 124178
o 124153
o 124140
o 123883
o 123844
o 123819
o 123806
o 123549
o 123498
o 123451
o 123426
o 123413
o 123156
o 123117
o 123092
o 123079
o 122822
o 122721
o 122682
o 122657
o 122644
o 122387
o 122332
o 122293
o 122268
o 122255
o 121998
o 121897
o 121858
o 121833
o 121820
o 121563
o 121408
o 121361
o 121336
o 121323
o 121066
o 121027
o 121002
o 120989
o 120732
o 120631
o 120592
o 120567
o 120554
o 120297
o 120242
o 120203
o 120178
o 120165
o 119908
o 119807
o 119768
o 119743
o 119730
o 119473
o 119466
o 119419
o 119394
o 119381
o 119124
o 119085
o 119060
o 119047
o 118790
o 118689
o 118650
o 118625
o 118612
o 118355
o 118300
o 118261
o 118236
o 118223
o 117966
o 117865
o 117826
o 117801
o 117788
o 117531
o 117370
o 117331
o 117306
o 117293
o 117036
o 116915
o 116815
o 116587
o 116562
o 116549
o 116292
o 116245
o 116220
o 116207
o 115950
o 115911
o 115886
o 115873
o 115616
o 115468
o 115421
o 115396
o 115383
o 115126
o 115087
o 115062
o 115049
o 114792
o 114725
o 114497
o 114472
o 114459
o 114202
o 114155
o 114130
o 114117
o 113860
o 113821
o 113796
o 113783
o 113526
o 113378
o 113331
o 113306
o 113293
o 113036
o 112997
o 112972
o 112959
o 112702
o 112651
o 112604
o 112579
o 112566
o 112309
o 112270
o 112245
o 112232
o 111975
o 111874
o 111835
o 111810
o 111797
o 111540
o 111485
o 111446
o 111421
o 111408
o 111151
o 111050
o 111011
o 110986
o 110973
o 110716
o 110561
o 110514
o 110489
o 110476
o 110219
o 110180
o 110155
o 110142
o 109885
o 109784
o 109745
o 109720
o 109707
o 109450
o 109395
o 109356
o 109331
o 109318
o 109061
o 108960
o 108921
o 108896
o 108883
o 108626
o 108580
o 108541
o 108516
o 108503
o 108246
o 108145
o 108106
o 108081
o 108068
o 107811
o 107699
o 107598
o 107559
o 107534
o 107521
o 107264
o 107218
o 107179
o 107154
o 107141
o 106884
o 106783
o 106744
o 106719
o 106706
o 106449
o 106248
o 106193
o 106156
o 106001
o 105954
o 105929
o 105916
o 105659
o 105620
o 105595
o 105582
o 105325
o 105224
o 105185
o 105160
o 105147
o 104890
o 104835
o 104796
o 104771
o 104758
o 104501
o 104400
o 104361
o 104336
o 104323
o 104066
o 104020
o 103981
o 103956
o 103943
o 103686
o 103585
o 103546
o 103521
o 103508
o 103251
o 103139
o 103038
o 102999
o 102974
o 102961
o 102704
o 102658
o 102619
o 102594
o 102581
o 102324
o 102223
o 102184
o 102159
o 102146
o 101889
o 101688
o 101633
o 101348
o 101247
o 101208
o 100913
o 100712
o 100657
o 100478
o 100377
o 100338
o 100313
o 100300
o 100043
o 99882
o 99836
o 99797
o 99502
o 99401
o 99362
o 99067
o 98831
o 98818
o 98779
o 98754
o 98741
o 98484
o 98290
o 98189
o 98150
o 97855
o 97842
o 97803
o 97508
o 97310
o 97209
o 97170
o 96875
o 96692
o 96679
o 96640
o 96345
o 96147
o 96046
o 96007
o 95712
o 95686
o 95659
o 95585
o 95546
o 95325
o 95251
o 95249
o 95175
o 95071
o 95035
o 94740
o 94636
o 94557
o 94453
o 94210
o 94106
o 94012
o 93908
o 93872
o 93577
o 93473
o 93447
o 93411
o 93190
o 93116
o 93086
o 93012
o 93010
o 92860
o 92786
o 92758
o 92684
o 92682
o 92607
o 92503
o 92477
o 92441
o 92220
o 92146
o 92116
o 92042
o 91890
o 91816
o 91788
o 91714
o 91712
o 91551
o 91477
o 91476
o 91447
o 91373
o 91372
o 91221
o 91147
o 91146
o 91119
o 91045
o 91044
o 90949
o 90948
o 90901
o 90827
o 90826
o 90822
o 90821
o 90783
o 90782
o 90562
o 90488
o 90487
o 90316
o 90315
o 90212
o 90211
o 89977
o 89976
o 89873
o 89872
o 89786
o 89785
o 89682
o 89681
o 89447
o 89446
o 89343
o 89342
o 89153
o 89152
o 89049
o 89048
o 88814
o 88813
o 88710
o 88709
o 88692
o 88691
o 88662
o 88588
o 88587
o 88427
o 88353
o 88352
o 88323
o 88249
o 88248
o 88097
o 88023
o 88022
o 87995
o 87921
o 87920
o 87844
o 87843
o 87740
o 87739
o 87722
o 87721
o 87692
o 87618
o 87617
o 87457
o 87383
o 87382
o 87353
o 87279
o 87278
o 87127
o 87053
o 87052
o 87025
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 85279
o 85278
o 85202
o 85201
o 85098
o 85097
o 85080
o 85079
o 85050
o 84976
o 84975
o 84959
o 84815
o 84741
o 84740
o 84711
o 84637
o 84636
o 84629
o 84485
o 84411
o 84410
o 84383
o 84309
o 84308
o 84247
o 84246
o 84205
o 84204
o 84197
o 84053
o 83979
o 83978
o 83951
o 83877
o 83876
o 83800
o 83799
o 83696
o 83695
o 83678
o 83677
o 83648
o 83574
o 83573
o 83557
o 83413
o 83339
o 83338
o 83309
o 83235
o 83234
o 83227
o 83083
o 83009
o 83008
o 82981
o 82907
o 82906
o 82845
o 82844
o 82828
o 82800
o 82726
o 82720
o 82643
o 82539
o 82521
o 82491
o 82417
o 82404
o 82330
o 82256
o 82182
o 82152
o 82078
o 82074
o 82000
o 81926
o 81852
o 81824
o 81750
o 81688
o 81646
o 81642
o 81568
o 81494
o 81420
o 81392
o 81318
o 81241
o 81137
o 81119
o 81089
o 81015
o 81002
o 80928
o 80854
o 80780
o 80750
o 80676
o 80672
o 80598
o 80524
o 80450
o 80422
o 80348
o 80286
o 80228
o 80213
o 80139
o 80124
o 80109
o 80035
o 80031
o 79957
o 79898
o 79883
o 79809
o 79796
o 79781
o 79707
o 79645
o 79596
o 79588
o 79534
Killed
1979.681u 0.017s 33:11.73 99.3%	0+0k 0+0io 0pf+0w