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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 267563
o 265197
o 265044
o 263267
o 263114
o 262376
o 260010
o 259857
o 259205
o 259052
o 258785
o 258632
o 258042
o 257889
o 257820
o 257667
o 257076
o 256923
o 256656
o 256503
o 255913
o 255760
o 255418
o 255265
o 254674
o 254521
o 254254
o 254101
o 253511
o 253358
o 252862
o 252709
o 252442
o 252289
o 251699
o 251546
o 251353
o 251200
o 251176
o 250524
o 250371
o 250178
o 250025
o 249780
o 249627
o 249360
o 249207
o 248617
o 248464
o 248271
o 248118
o 247969
o 247816
o 247164
o 247011
o 246818
o 246665
o 246420
o 246267
o 246000
o 245847
o 245257
o 245104
o 244911
o 244758
o 244609
o 244416
o 244263
o 244018
o 243865
o 243598
o 243445
o 243420
o 243267
o 242855
o 242702
o 242509
o 242356
o 242245
o 242092
o 241680
o 241527
o 241334
o 241181
o 240936
o 240783
o 240516
o 240363
o 240338
o 240185
o 239773
o 239620
o 239427
o 239274
o 238885
o 238732
o 238320
o 238167
o 237974
o 237821
o 237576
o 237423
o 237156
o 237003
o 236978
o 236825
o 236413
o 236260
o 236067
o 235914
o 235724
o 235571
o 235546
o 235393
o 234981
o 234828
o 234635
o 234482
o 234339
o 234314
o 234161
o 233749
o 233596
o 233403
o 233250
o 233220
o 233027
o 232874
o 232629
o 232476
o 232209
o 232056
o 232031
o 231878
o 231466
o 231313
o 231120
o 230967
o 230954
o 230801
o 230556
o 230403
o 230136
o 229983
o 229958
o 229805
o 229393
o 229240
o 229047
o 228894
o 228704
o 228551
o 228526
o 228373
o 227961
o 227808
o 227615
o 227462
o 227319
o 227294
o 227141
o 226729
o 226576
o 226383
o 226230
o 226200
o 226007
o 225854
o 225609
o 225456
o 225189
o 225036
o 225011
o 224858
o 224446
o 224293
o 224100
o 223947
o 223607
o 223454
o 223261
o 223108
o 222965
o 222940
o 222787
o 222375
o 222222
o 222029
o 221876
o 221846
o 221653
o 221500
o 221255
o 221102
o 220835
o 220682
o 220657
o 220504
o 220092
o 219939
o 219746
o 219593
o 219446
o 219421
o 219268
o 218856
o 218703
o 218510
o 218357
o 218314
o 217902
o 217749
o 217556
o 217403
o 217373
o 217180
o 217027
o 216782
o 216629
o 216362
o 216209
o 216184
o 216031
o 215619
o 215466
o 215273
o 215120
o 215064
o 214652
o 214499
o 214306
o 214153
o 214123
o 213930
o 213777
o 213532
o 213379
o 213112
o 212959
o 212934
o 212781
o 212369
o 212216
o 212023
o 211870
o 211802
o 211557
o 211404
o 211137
o 210984
o 210959
o 210806
o 210394
o 210241
o 210048
o 209895
o 209705
o 209552
o 209527
o 209374
o 208962
o 208809
o 208616
o 208463
o 208320
o 208295
o 208142
o 207730
o 207577
o 207384
o 207231
o 207201
o 207008
o 206855
o 206610
o 206457
o 206190
o 206037
o 206012
o 205859
o 205447
o 205294
o 205101
o 204948
o 204586
o 204433
o 204240
o 204087
o 204057
o 203864
o 203711
o 203466
o 203313
o 203046
o 202893
o 202868
o 202715
o 202303
o 202150
o 201957
o 201804
o 201437
o 201284
o 201091
o 200938
o 200795
o 200770
o 200617
o 200205
o 200052
o 199859
o 199706
o 199676
o 199483
o 199330
o 199085
o 198932
o 198665
o 198512
o 198487
o 198334
o 197922
o 197769
o 197576
o 197423
o 197403
o 197250
o 197103
o 197057
o 196904
o 196757
o 196714
o 196561
o 196414
o 196383
o 195971
o 195818
o 195671
o 195625
o 195472
o 195325
o 195182
o 195151
o 194739
o 194586
o 194439
o 194393
o 194240
o 194093
o 194063
o 194017
o 193864
o 193717
o 193619
o 193466
o 193319
o 193199
o 193046
o 192899
o 192868
o 192456
o 192303
o 192156
o 192110
o 191957
o 191810
o 191809
o 191662
o 191616
o 191463
o 191316
o 191286
o 191240
o 191087
o 190940
o 190842
o 190689
o 190542
o 190422
o 190269
o 190122
o 190091
o 189679
o 189526
o 189379
o 189333
o 189180
o 189033
o 188905
o 188762
o 188731
o 188319
o 188166
o 188019
o 187973
o 187820
o 187673
o 187643
o 187597
o 187444
o 187297
o 187199
o 187046
o 186899
o 186779
o 186626
o 186479
o 186448
o 186036
o 185883
o 185736
o 185690
o 185537
o 185390
o 185289
o 185142
o 185112
o 185107
o 185066
o 184913
o 184766
o 184709
o 184668
o 184515
o 184368
o 184289
o 184248
o 184095
o 183948
o 183846
o 183693
o 183546
o 183505
o 183352
o 183205
o 183200
o 183159
o 183006
o 182859
o 182810
o 182769
o 182616
o 182469
o 182464
o 182423
o 182270
o 182123
o 181995
o 181852
o 181750
o 181597
o 181450
o 181409
o 181256
o 181109
o 181104
o 181063
o 180910
o 180763
o 180733
o 180728
o 180687
o 180534
o 180387
o 180330
o 180289
o 180136
o 179989
o 179910
o 179869
o 179716
o 179569
o 179467
o 179314
o 179167
o 179126
o 178973
o 178826
o 178821
o 178780
o 178627
o 178480
o 178444
o 178439
o 178398
o 178245
o 178098
o 178058
o 178053
o 178012
o 177859
o 177712
o 177676
o 177671
o 177630
o 177477
o 177330
o 177291
o 177144
o 177114
o 176967
o 176926
o 176773
o 176626
o 176621
o 176580
o 176427
o 176280
o 176137
o 176035
o 175882
o 175735
o 175694
o 175541
o 175394
o 175389
o 175348
o 175195
o 175048
o 175018
o 175013
o 174972
o 174819
o 174672
o 174615
o 174574
o 174421
o 174274
o 174195
o 174154
o 174001
o 173854
o 173752
o 173599
o 173452
o 173411
o 173258
o 173111
o 173106
o 173065
o 172912
o 172765
o 172729
o 172724
o 172683
o 172530
o 172383
o 172271
o 172241
o 172236
o 172195
o 172042
o 171895
o 171838
o 171797
o 171644
o 171497
o 171418
o 171377
o 171224
o 171077
o 170975
o 170822
o 170675
o 170634
o 170481
o 170334
o 170329
o 170288
o 170135
o 169988
o 169952
o 169947
o 169906
o 169753
o 169606
o 169462
o 169315
o 169274
o 169121
o 168974
o 168969
o 168928
o 168775
o 168628
o 168598
o 168593
o 168552
o 168399
o 168252
o 168195
o 168154
o 168001
o 167854
o 167775
o 167734
o 167581
o 167434
o 167332
o 167179
o 167032
o 166991
o 166838
o 166691
o 166686
o 166645
o 166492
o 166345
o 166309
o 166304
o 166263
o 166110
o 165963
o 165936
o 165789
o 165753
o 165748
o 165707
o 165554
o 165407
o 165368
o 165221
o 165191
o 165044
o 165003
o 164850
o 164703
o 164698
o 164657
o 164504
o 164357
o 164214
o 164112
o 163959
o 163812
o 163771
o 163618
o 163471
o 163466
o 163425
o 163272
o 163125
o 163095
o 163090
o 163049
o 162896
o 162749
o 162692
o 162651
o 162498
o 162351
o 162272
o 162231
o 162078
o 161931
o 161829
o 161676
o 161529
o 161488
o 161335
o 161188
o 161183
o 161142
o 160989
o 160842
o 160806
o 160801
o 160760
o 160607
o 160460
o 160348
o 160318
o 160313
o 160272
o 160119
o 159972
o 159915
o 159874
o 159721
o 159574
o 159495
o 159454
o 159301
o 159154
o 159052
o 158899
o 158752
o 158711
o 158558
o 158411
o 158406
o 158365
o 158212
o 158065
o 158029
o 158024
o 157983
o 157830
o 157683
o 157539
o 157392
o 157351
o 157198
o 157051
o 157046
o 157005
o 156852
o 156705
o 156675
o 156670
o 156629
o 156476
o 156329
o 156272
o 156231
o 156078
o 155931
o 155852
o 155811
o 155658
o 155511
o 155409
o 155256
o 155109
o 155068
o 154915
o 154768
o 154763
o 154722
o 154569
o 154422
o 154386
o 154381
o 154340
o 154187
o 154040
o 153991
o 153844
o 153839
o 153798
o 153645
o 153498
o 153462
o 153457
o 153416
o 153263
o 153116
o 153049
o 152902
o 152897
o 152856
o 152703
o 152556
o 152520
o 152515
o 152474
o 152321
o 152174
o 152138
o 152108
o 152103
o 152062
o 151909
o 151762
o 151705
o 151664
o 151511
o 151364
o 151285
o 151244
o 151091
o 150944
o 150842
o 150689
o 150542
o 150501
o 150348
o 150201
o 150196
o 150155
o 150002
o 149855
o 149819
o 149814
o 149773
o 149620
o 149473
o 149435
o 149288
o 149231
o 149190
o 149037
o 148890
o 148811
o 148770
o 148617
o 148470
o 148368
o 148215
o 148068
o 148027
o 147874
o 147727
o 147722
o 147681
o 147528
o 147381
o 147345
o 147340
o 147299
o 147146
o 146999
o 146952
o 146911
o 146758
o 146611
o 146532
o 146491
o 146338
o 146191
o 146089
o 145936
o 145789
o 145748
o 145595
o 145448
o 145443
o 145402
o 145249
o 145102
o 145066
o 145061
o 145020
o 144867
o 144720
o 144626
o 144600
o 144595
o 144554
o 144401
o 144254
o 144197
o 144156
o 144003
o 143856
o 143777
o 143736
o 143583
o 143436
o 143334
o 143181
o 143034
o 142993
o 142840
o 142693
o 142688
o 142647
o 142494
o 142347
o 142311
o 142306
o 142265
o 142112
o 141965
o 141849
o 141823
o 141818
o 141777
o 141624
o 141477
o 141420
o 141379
o 141226
o 141079
o 141000
o 140959
o 140806
o 140659
o 140557
o 140404
o 140257
o 140216
o 140063
o 139916
o 139911
o 139870
o 139717
o 139570
o 139534
o 139529
o 139488
o 139335
o 139188
o 139040
o 138893
o 138852
o 138699
o 138552
o 138547
o 138506
o 138353
o 138206
o 138180
o 138175
o 138134
o 137981
o 137834
o 137777
o 137736
o 137583
o 137436
o 137357
o 137316
o 137163
o 137016
o 136914
o 136761
o 136614
o 136573
o 136420
o 136273
o 136268
o 136227
o 136074
o 135927
o 135891
o 135886
o 135845
o 135692
o 135545
o 135527
o 135522
o 135481
o 135328
o 135181
o 135145
o 135140
o 135099
o 134946
o 134799
o 134747
o 134600
o 134564
o 134559
o 134518
o 134365
o 134218
o 134195
o 134042
o 133895
o 133816
o 133775
o 133622
o 133475
o 133373
o 133220
o 133073
o 133032
o 132879
o 132732
o 132727
o 132686
o 132533
o 132386
o 132350
o 132345
o 132304
o 132151
o 132004
o 131910
o 131893
o 131746
o 131685
o 131538
o 131481
o 131440
o 131287
o 131140
o 131061
o 131020
o 130867
o 130720
o 130618
o 130465
o 130318
o 130277
o 130124
o 129977
o 129972
o 129931
o 129778
o 129631
o 129595
o 129590
o 129549
o 129396
o 129249
o 129133
o 129116
o 128969
o 128908
o 128761
o 128704
o 128663
o 128510
o 128363
o 128284
o 128243
o 128090
o 127943
o 127841
o 127688
o 127541
o 127500
o 127347
o 127200
o 127195
o 127154
o 127001
o 126854
o 126818
o 126813
o 126772
o 126619
o 126472
o 126324
o 126177
o 126136
o 125983
o 125836
o 125831
o 125790
o 125637
o 125490
o 125473
o 125326
o 125265
o 125118
o 125061
o 125020
o 124867
o 124720
o 124641
o 124600
o 124447
o 124300
o 124198
o 124045
o 123898
o 123857
o 123704
o 123557
o 123552
o 123511
o 123358
o 123211
o 123175
o 123170
o 123129
o 122976
o 122829
o 122811
o 122806
o 122765
o 122612
o 122465
o 122429
o 122424
o 122383
o 122230
o 122083
o 121693
o 121540
o 121393
o 121352
o 121199
o 121052
o 121051
o 121010
o 120857
o 120710
o 120706
o 120705
o 120664
o 120511
o 120364
o 120328
o 120324
o 120323
o 120282
o 120129
o 119982
o 119964
o 119960
o 119959
o 119918
o 119765
o 119618
o 119582
o 119578
o 119577
o 119536
o 119383
o 119236
o 119227
o 119222
o 119181
o 119028
o 118881
o 118863
o 118858
o 118817
o 118664
o 118517
o 118481
o 118476
o 118435
o 118282
o 118135
o 118114
o 117943
o 117796
o 117760
o 117755
o 117561
o 117414
o 117393
o 117253
o 117232
o 117142
o 116995
o 116959
o 116954
o 116913
o 116760
o 116613
o 116599
o 116452
o 116421
o 116274
o 116238
o 116233
o 116228
o 116039
o 115892
o 115878
o 115731
o 115710
o 115706
o 115701
o 115507
o 115360
o 115346
o 115199
o 115178
o 115088
o 114941
o 114905
o 114900
o 114859
o 114706
o 114559
o 114545
o 114398
o 114367
o 114220
o 114184
o 114179
o 114174
o 113985
o 113838
o 113824
o 113677
o 113656
o 113594
o 113558
o 113553
o 113359
o 113212
o 113191
o 113051
o 113030
o 112940
o 112793
o 112757
o 112752
o 112711
o 112558
o 112411
o 112390
o 112250
o 112229
o 112219
o 112072
o 112036
o 112031
o 112026
o 111837
o 111690
o 111669
o 111529
o 111508
o 111489
o 111468
o 111438
o 111328
o 111307
o 111297
o 111260
o 111150
o 111114
o 111025
o 110915
o 110878
o 110768
o 110747
o 110717
o 110607
o 110586
o 110578
o 110557
o 110547
o 110400
o 110364
o 110359
o 110354
o 110165
o 110018
o 109997
o 109857
o 109836
o 109817
o 109796
o 109766
o 109656
o 109635
o 109625
o 109588
o 109478
o 109442
o 109353
o 109243
o 109206
o 109096
o 109075
o 109045
o 108935
o 108914
o 108891
o 108738
o 108591
o 108570
o 108430
o 108409
o 108399
o 108252
o 108216
o 108211
o 108206
o 108017
o 107870
o 107849
o 107709
o 107688
o 107669
o 107648
o 107618
o 107508
o 107487
o 107477
o 107440
o 107330
o 107294
o 107205
o 107095
o 107058
o 106948
o 106927
o 106897
o 106787
o 106766
o 106708
o 106687
o 106657
o 106547
o 106526
o 106506
o 106396
o 106359
o 106249
o 106228
o 106198
o 106088
o 106067
o 106035
o 105998
o 105888
o 105852
o 105763
o 105653
o 105616
o 105506
o 105485
o 105455
o 105345
o 105324
o 105314
o 105277
o 105167
o 105131
o 105042
o 104932
o 104895
o 104785
o 104764
o 104734
o 104624
o 104603
o 104531
o 104510
o 104499
o 104462
o 104352
o 104334
o 104245
o 104135
o 104098
o 103988
o 103952
o 103863
o 103753
o 103716
o 103606
o 103585
o 103555
o 103445
o 103424
o 103380
o 103329
o 103219
o 103198
o 103126
o 103105
o 103057
o 102947
o 102929
o 102693
o 102583
o 102547
o 102311
o 102201
o 102180
o 102150
o 102040
o 102019
o 101918
o 101867
o 101757
o 101736
o 101676
o 101659
o 101623
o 101549
o 101478
o 101404
o 101368
o 101294
o 101243
o 101207
o 101133
o 101112
o 101085
o 100975
o 100939
o 100892
o 100703
o 100593
o 100542
o 100432
o 100411
o 100329
o 100308
o 100278
o 100168
o 100147
o 100004
o 99894
o 99843
o 99733
o 99712
o 99630
o 99609
o 99579
o 99469
o 99448
o 99355
o 99334
o 99286
o 99176
o 99158
o 98922
o 98812
o 98776
o 98540
o 98430
o 98379
o 98269
o 98248
o 98166
o 98145
o 98115
o 98005
o 97984
o 97965
o 97905
o 97888
o 97852
o 97778
o 97707
o 97633
o 97597
o 97523
o 97472
o 97436
o 97362
o 97341
o 97333
o 97259
o 97208
o 97172
o 97098
o 97077
o 97052
o 97031
o 96972
o 96898
o 96862
o 96788
o 96767
o 96705
o 96669
o 96595
o 96574
o 96468
o 96447
o 96314
o 96204
o 96183
o 96151
o 96115
o 95879
o 95769
o 95748
o 95615
o 95505
o 95484
o 95143
o 95033
o 94797
o 94687
o 94651
o 94415
o 94305
o 94284
o 94151
o 94041
o 94020
o 93958
o 93848
o 93827
o 93780
o 93763
o 93727
o 93653
o 93582
o 93508
o 93472
o 93398
o 93377
o 93318
o 93244
o 93208
o 93134
o 93113
o 93051
o 93015
o 92941
o 92920
o 92883
o 92773
o 92752
o 92619
o 92509
o 92488
o 92231
o 92210
o 92147
o 92037
o 91801
o 91691
o 91655
o 91419
o 91309
o 91288
o 91155
o 91045
o 91024
o 90962
o 90852
o 90831
o 90784
o 90767
o 90731
o 90657
o 90586
o 90512
o 90476
o 90402
o 90381
o 90322
o 90248
o 90212
o 90138
o 90117
o 90055
o 90019
o 89945
o 89924
o 89832
o 89722
o 89701
o 89639
o 89529
o 89508
o 89461
o 89444
o 89408
o 89334
o 89263
o 89189
o 89153
o 89079
o 89058
o 88999
o 88925
o 88889
o 88815
o 88794
o 88732
o 88696
o 88622
o 88601
o 88557
o 88403
o 88293
o 88257
o 88210
o 88100
o 88064
o 88063
o 88032
o 88015
o 87979
o 87905
o 87834
o 87760
o 87724
o 87650
o 87641
o 87570
o 87496
o 87460
o 87386
o 87350
o 87303
o 87267
o 87193
o 87157
o 87151
o 87140
o 87066
o 87030
o 86956
o 86900
o 86887
o 86876
o 86802
o 86766
o 86692
o 86636
o 86600
o 86573
o 86499
o 86443
o 86407
o 86386
o 86328
o 86272
o 86251
o 86212
o 86156
o 86135
o 86043
o 86005
o 85895
o 85889
o 85779
o 85712
o 85602
o 85468
o 85358
o 85352
o 85242
o 85204
o 85094
o 85088
o 84978
o 84899
o 84843
o 84783
o 84727
o 84691
o 84650
o 84590
o 84534
o 84498
o 84462
o 84426
o 84339
o 84229
o 84223
o 84113
o 84034
o 83978
o 83918
o 83862
o 83849
o 83770
o 83714
o 83654
o 83598
o 83577
o 83521
o 83461
o 83405
o 83389
o 83333
o 83253
o 82992
o 82882
o 82728
o 82618
o 82435
o 82325
o 82191
o 82081
o 82061
o 81927
o 81817
o 81732
o 81622
o 81566
o 81505
o 81499
o 81389
o 81351
o 81241
o 81235
o 81125
o 81058
o 80948
o 80814
o 80704
o 80698
o 80588
o 80550
o 80440
o 80434
o 80324
o 80245
o 80189
o 80129
o 80073
o 80066
o 80028
o 79918
o 79912
o 79802
o 79735
o 79625
o 79491
o 79381
o 79375
o 79265
o 79227
o 79117
o 79111
o 79001
o 78922
o 78866
o 78806
o 78750
o 78734
o 78678
o 78673
o 78667
o 78557
o 78485
o 78438
o 78432
o 78322
o 78284
o 78174
o 78168
o 78058
o 77979
o 77923
o 77863
o 77807
o 77791
o 77735
o 77630
o 77520
o 77366
o 77256
o 77250
o 77140
o 77068
o 77049
o 76980
o 76908
o 76868
o 76796
Killed
1979.641u 0.057s 33:08.82 99.5%	0+0k 0+0io 0pf+0w