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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 263180
o 262531
o 260449
o 260347
o 258382
o 258280
o 256714
o 256612
o 255427
o 255325
o 254246
o 254144
o 252867
o 252765
o 251813
o 251711
o 251492
o 251390
o 251294
o 251192
o 250973
o 250871
o 250499
o 250397
o 250178
o 250076
o 249980
o 249878
o 249659
o 249557
o 249180
o 249078
o 248859
o 248757
o 248661
o 248559
o 248340
o 248238
o 248151
o 248136
o 248040
o 247938
o 247719
o 247617
o 247240
o 247138
o 246919
o 246817
o 246721
o 246619
o 246400
o 246298
o 246211
o 246178
o 246076
o 245857
o 245755
o 245668
o 245455
o 245353
o 245215
o 245113
o 244894
o 244792
o 244788
o 243836
o 243734
o 243515
o 243413
o 243293
o 243191
o 242972
o 242870
o 242774
o 242672
o 242453
o 242351
o 242201
o 242099
o 241979
o 241877
o 241658
o 241556
o 241460
o 241358
o 241139
o 241037
o 240882
o 240780
o 240660
o 240558
o 240339
o 240237
o 240141
o 240039
o 239820
o 239718
o 239631
o 239447
o 239345
o 239258
o 239185
o 238966
o 238864
o 238860
o 238627
o 238525
o 238281
o 238179
o 237908
o 237806
o 237587
o 237485
o 237365
o 237263
o 237044
o 236942
o 236846
o 236744
o 236525
o 236423
o 236273
o 236171
o 236051
o 235949
o 235730
o 235628
o 235532
o 235430
o 235211
o 235109
o 234954
o 234852
o 234732
o 234630
o 234411
o 234309
o 234213
o 234111
o 233892
o 233790
o 233703
o 233602
o 233383
o 233281
o 233161
o 233059
o 232840
o 232738
o 232574
o 232472
o 232334
o 232232
o 232013
o 231911
o 231907
o 231674
o 231572
o 231328
o 231226
o 230955
o 230853
o 230634
o 230532
o 230412
o 230310
o 230091
o 229989
o 229893
o 229791
o 229572
o 229470
o 229320
o 229218
o 229098
o 228996
o 228777
o 228675
o 228579
o 228477
o 228258
o 228156
o 228001
o 227899
o 227779
o 227677
o 227458
o 227356
o 227260
o 227158
o 226939
o 226837
o 226750
o 226665
o 226545
o 226443
o 226224
o 226122
o 225958
o 225856
o 225718
o 225616
o 225397
o 225295
o 225291
o 225058
o 224956
o 224712
o 224610
o 224339
o 224237
o 224018
o 223916
o 223796
o 223694
o 223475
o 223373
o 223277
o 223175
o 222956
o 222854
o 222704
o 222602
o 222482
o 222380
o 222161
o 222059
o 221963
o 221861
o 221642
o 221540
o 221385
o 221283
o 221163
o 221061
o 220842
o 220740
o 220644
o 220542
o 220323
o 220221
o 220134
o 220114
o 220012
o 219848
o 219746
o 219608
o 219506
o 219287
o 219185
o 219181
o 218948
o 218846
o 218602
o 218500
o 218229
o 218127
o 217908
o 217806
o 217686
o 217584
o 217365
o 217263
o 217167
o 217065
o 216846
o 216744
o 216594
o 216492
o 216372
o 216270
o 216051
o 215949
o 215853
o 215751
o 215532
o 215430
o 215275
o 215173
o 215053
o 214951
o 214732
o 214630
o 214534
o 214432
o 214213
o 214111
o 214024
o 213876
o 213774
o 213770
o 213537
o 213435
o 213191
o 213089
o 212818
o 212716
o 212497
o 212395
o 212275
o 212173
o 211954
o 211852
o 211688
o 211586
o 211448
o 211346
o 211127
o 211025
o 211021
o 210788
o 210686
o 210442
o 210340
o 210069
o 209967
o 209748
o 209646
o 209526
o 209424
o 209205
o 209103
o 209007
o 208905
o 208686
o 208584
o 208494
o 208392
o 208121
o 208019
o 207800
o 207698
o 207578
o 207476
o 207257
o 207155
o 207059
o 206957
o 206738
o 206636
o 206572
o 206470
o 206374
o 206272
o 206053
o 205951
o 205864
o 205841
o 205745
o 205643
o 205424
o 205322
o 205167
o 205065
o 204945
o 204843
o 204624
o 204522
o 204426
o 204324
o 204105
o 204003
o 203916
o 203828
o 203609
o 203507
o 203417
o 203315
o 203044
o 202942
o 202723
o 202621
o 202501
o 202399
o 202180
o 202078
o 201982
o 201880
o 201661
o 201559
o 201495
o 201393
o 201297
o 201195
o 200976
o 200874
o 200787
o 200764
o 200668
o 200566
o 200347
o 200245
o 200090
o 199988
o 199868
o 199766
o 199547
o 199445
o 199349
o 199247
o 199028
o 198926
o 198839
o 198831
o 198729
o 198633
o 198531
o 198312
o 198210
o 198123
o 198100
o 198004
o 197902
o 197683
o 197581
o 197426
o 197324
o 197204
o 197102
o 196883
o 196781
o 196685
o 196583
o 196364
o 196262
o 196175
o 196121
o 196098
o 195885
o 195783
o 195681
o 195579
o 195526
o 195406
o 195304
o 195085
o 194983
o 194881
o 194779
o 194566
o 194464
o 194362
o 194260
o 194173
o 194073
o 193971
o 193758
o 193656
o 193554
o 193452
o 193193
o 193091
o 192872
o 192770
o 192650
o 192548
o 192329
o 192227
o 192125
o 192023
o 191810
o 191708
o 191606
o 191504
o 191440
o 191338
o 191125
o 191023
o 190921
o 190819
o 190732
o 190709
o 190496
o 190394
o 190292
o 190190
o 190137
o 190017
o 189915
o 189696
o 189594
o 189492
o 189390
o 189177
o 189075
o 188973
o 188871
o 188784
o 188767
o 188665
o 188563
o 188476
o 188377
o 188275
o 188056
o 187954
o 187834
o 187732
o 187513
o 187411
o 187211
o 187109
o 186996
o 186894
o 186650
o 186548
o 186277
o 186175
o 185956
o 185854
o 185734
o 185632
o 185413
o 185311
o 185209
o 185107
o 185105
o 185003
o 184901
o 184799
o 184792
o 184690
o 184588
o 184586
o 184484
o 184382
o 184280
o 184227
o 184008
o 183906
o 183786
o 183684
o 183465
o 183363
o 183261
o 183159
o 183157
o 183055
o 182953
o 182851
o 182844
o 182742
o 182640
o 182638
o 182536
o 182434
o 182332
o 182268
o 182166
o 182159
o 182057
o 181955
o 181953
o 181851
o 181749
o 181647
o 181560
o 181537
o 181530
o 181428
o 181326
o 181324
o 181222
o 181120
o 181018
o 180832
o 180730
o 180628
o 180526
o 180524
o 180422
o 180320
o 180218
o 180211
o 180109
o 180007
o 180005
o 179903
o 179801
o 179699
o 179612
o 179588
o 179486
o 179348
o 179246
o 179027
o 178925
o 178921
o 178688
o 178586
o 178342
o 178240
o 177969
o 177867
o 177648
o 177546
o 177426
o 177324
o 177105
o 177003
o 176803
o 176701
o 176588
o 176486
o 176242
o 176140
o 175869
o 175767
o 175548
o 175446
o 175326
o 175224
o 175005
o 174903
o 174801
o 174699
o 174697
o 174595
o 174493
o 174391
o 174384
o 174282
o 174180
o 174178
o 174076
o 173974
o 173872
o 173798
o 173696
o 173594
o 173492
o 173490
o 173388
o 173286
o 173184
o 173177
o 173075
o 172973
o 172971
o 172869
o 172767
o 172665
o 172555
o 172453
o 172234
o 172132
o 172030
o 171928
o 171913
o 171694
o 171592
o 171428
o 171326
o 171188
o 171086
o 170867
o 170765
o 170761
o 170528
o 170426
o 170182
o 170080
o 169809
o 169707
o 169488
o 169386
o 169266
o 169164
o 168945
o 168843
o 168643
o 168541
o 168428
o 168326
o 168082
o 167980
o 167709
o 167607
o 167388
o 167286
o 167166
o 167064
o 166845
o 166743
o 166641
o 166539
o 166537
o 166435
o 166333
o 166231
o 166224
o 166122
o 166020
o 166018
o 165916
o 165814
o 165712
o 165659
o 165440
o 165338
o 165218
o 165116
o 164897
o 164795
o 164693
o 164591
o 164589
o 164487
o 164385
o 164283
o 164276
o 164174
o 164072
o 164070
o 163968
o 163866
o 163764
o 163700
o 163598
o 163591
o 163489
o 163387
o 163385
o 163283
o 163181
o 163079
o 162992
o 162969
o 162962
o 162860
o 162758
o 162756
o 162654
o 162552
o 162450
o 162264
o 162162
o 162060
o 161958
o 161956
o 161854
o 161752
o 161650
o 161643
o 161541
o 161439
o 161437
o 161335
o 161233
o 161131
o 161044
o 160968
o 160966
o 160864
o 160762
o 160660
o 160653
o 160551
o 160449
o 160447
o 160345
o 160243
o 160141
o 160077
o 159975
o 159968
o 159866
o 159764
o 159762
o 159660
o 159558
o 159456
o 159369
o 159346
o 159339
o 159237
o 159135
o 159133
o 159031
o 158929
o 158827
o 158641
o 158539
o 158437
o 158335
o 158333
o 158231
o 158129
o 158027
o 158020
o 157918
o 157816
o 157814
o 157712
o 157610
o 157508
o 157421
o 157388
o 157286
o 157184
o 157182
o 157080
o 156978
o 156876
o 156869
o 156767
o 156665
o 156663
o 156561
o 156459
o 156357
o 156270
o 156181
o 156066
o 155964
o 155745
o 155643
o 155585
o 155366
o 155264
o 155162
o 155060
o 155058
o 154956
o 154854
o 154752
o 154745
o 154643
o 154541
o 154539
o 154437
o 154335
o 154233
o 154169
o 154067
o 154060
o 153958
o 153856
o 153854
o 153752
o 153650
o 153548
o 153461
o 153438
o 153431
o 153329
o 153227
o 153225
o 153123
o 153021
o 152919
o 152733
o 152631
o 152529
o 152427
o 152425
o 152323
o 152221
o 152119
o 152112
o 152010
o 151908
o 151906
o 151804
o 151702
o 151600
o 151513
o 151424
o 151322
o 151320
o 151218
o 151116
o 151014
o 150927
o 150897
o 150795
o 150708
o 150640
o 150538
o 150319
o 150217
o 150159
o 149940
o 149838
o 149736
o 149634
o 149632
o 149530
o 149428
o 149326
o 149255
o 149153
o 149051
o 148949
o 148947
o 148845
o 148743
o 148641
o 148554
o 148524
o 148422
o 148320
o 148318
o 148216
o 148114
o 148012
o 148007
o 147905
o 147686
o 147584
o 147526
o 147307
o 147205
o 147103
o 147001
o 146999
o 146897
o 146795
o 146693
o 146606
o 146584
o 146482
o 146480
o 146378
o 146276
o 146174
o 146087
o 146057
o 145955
o 145868
o 145792
o 145690
o 145588
o 145501
o 145471
o 145369
o 145282
o 145220
o 145118
o 145047
o 144945
o 144843
o 144741
o 144739
o 144637
o 144535
o 144433
o 144346
o 144316
o 144214
o 144112
o 144110
o 144008
o 143906
o 143804
o 143799
o 143697
o 143478
o 143376
o 143318
o 143099
o 142997
o 142895
o 142793
o 142791
o 142689
o 142587
o 142485
o 142398
o 142376
o 142274
o 142272
o 142170
o 142068
o 141966
o 141879
o 141849
o 141747
o 141660
o 141584
o 141482
o 141380
o 141293
o 141263
o 141161
o 141074
o 140972
o 140970
o 140868
o 140766
o 140664
o 140659
o 140557
o 140338
o 140236
o 140178
o 139959
o 139857
o 139755
o 139653
o 139651
o 139549
o 139447
o 139345
o 139258
o 139236
o 139134
o 139132
o 139030
o 138928
o 138826
o 138739
o 138709
o 138607
o 138520
o 138444
o 138342
o 138240
o 138153
o 138123
o 138021
o 137934
o 137839
o 137737
o 137650
o 137620
o 137518
o 137431
o 137342
o 137255
o 137179
o 137077
o 136975
o 136888
o 136858
o 136756
o 136669
o 136567
o 136565
o 136463
o 136361
o 136259
o 136199
o 135933
o 135831
o 135820
o 135554
o 135452
o 135350
o 135248
o 135246
o 135144
o 135042
o 134940
o 134853
o 134831
o 134729
o 134727
o 134625
o 134523
o 134421
o 134334
o 134304
o 134202
o 134115
o 134039
o 133937
o 133835
o 133748
o 133718
o 133616
o 133529
o 133434
o 133332
o 133245
o 133215
o 133113
o 133026
o 132953
o 132851
o 132749
o 132747
o 132645
o 132543
o 132441
o 132354
o 132265
o 132163
o 132161
o 132059
o 131957
o 131855
o 131768
o 131762
o 131660
o 131658
o 131556
o 131454
o 131352
o 131265
o 131187
o 131085
o 130983
o 130881
o 130879
o 130777
o 130675
o 130573
o 130486
o 130397
o 130295
o 130293
o 130191
o 130089
o 129987
o 129900
o 129894
o 129792
o 129790
o 129688
o 129586
o 129484
o 129397
o 129324
o 129222
o 129120
o 129118
o 129016
o 128914
o 128812
o 128725
o 128636
o 128534
o 128532
o 128430
o 128328
o 128226
o 128139
o 128133
o 128031
o 128029
o 127927
o 127825
o 127723
o 127636
o 127598
o 127511
o 127422
o 127320
o 127318
o 127216
o 127114
o 127012
o 126925
o 126918
o 126816
o 126714
o 126712
o 126610
o 126508
o 126406
o 126319
o 126289
o 126187
o 126085
o 126083
o 125981
o 125879
o 125777
o 125717
o 125451
o 125349
o 125338
o 125072
o 124970
o 124868
o 124766
o 124764
o 124662
o 124560
o 124458
o 124371
o 124282
o 124180
o 124178
o 124076
o 123974
o 123872
o 123785
o 123779
o 123677
o 123675
o 123573
o 123471
o 123369
o 123282
o 123209
o 123107
o 123005
o 123003
o 122901
o 122799
o 122697
o 122610
o 122521
o 122419
o 122417
o 122315
o 122213
o 122111
o 122024
o 122018
o 121916
o 121914
o 121812
o 121710
o 121608
o 121521
o 121443
o 121341
o 121239
o 121137
o 121135
o 121033
o 120931
o 120829
o 120742
o 120653
o 120551
o 120549
o 120447
o 120345
o 120243
o 120156
o 120150
o 120048
o 120046
o 119944
o 119842
o 119740
o 119653
o 119580
o 119478
o 119376
o 119374
o 119272
o 119170
o 119068
o 118981
o 118892
o 118790
o 118788
o 118686
o 118584
o 118482
o 118395
o 118389
o 118287
o 118285
o 118183
o 118081
o 117979
o 117892
o 117813
o 117811
o 117709
o 117607
o 117505
o 117418
o 117329
o 117227
o 117225
o 117123
o 117021
o 116919
o 116832
o 116826
o 116724
o 116722
o 116620
o 116518
o 116416
o 116329
o 116245
o 116158
o 116079
o 116077
o 115975
o 115873
o 115771
o 115684
o 115595
o 115493
o 115491
o 115389
o 115287
o 115185
o 115098
o 115092
o 114990
o 114988
o 114886
o 114784
o 114682
o 114595
o 114581
o 114479
o 114377
o 114290
o 114217
o 114115
o 114013
o 114011
o 113909
o 113807
o 113705
o 113618
o 113529
o 113427
o 113425
o 113323
o 113221
o 113119
o 113032
o 113026
o 112924
o 112922
o 112820
o 112718
o 112616
o 112529
o 112450
o 112448
o 112346
o 112244
o 112142
o 112055
o 111966
o 111864
o 111862
o 111760
o 111658
o 111556
o 111469
o 111463
o 111361
o 111359
o 111257
o 111155
o 111053
o 110966
o 110945
o 110858
o 110852
o 110750
o 110748
o 110646
o 110544
o 110442
o 110355
o 110276
o 110274
o 110172
o 110070
o 109968
o 109881
o 109792
o 109690
o 109688
o 109586
o 109484
o 109382
o 109295
o 109289
o 109187
o 109185
o 109083
o 108981
o 108879
o 108792
o 108619
o 108532
o 108453
o 108349
o 108145
o 108058
o 107867
o 107763
o 107559
o 107472
o 107364
o 107260
o 107056
o 106969
o 106967
o 106914
o 106810
o 106606
o 106519
o 106517
o 106484
o 106397
o 106382
o 106074
o 105987
o 105932
o 105624
o 105537
o 105461
o 105374
o 105372
o 105345
o 105258
o 105252
o 105150
o 105148
o 105046
o 104944
o 104842
o 104755
o 104734
o 104647
o 104641
o 104539
o 104537
o 104435
o 104333
o 104231
o 104144
o 104065
o 104063
o 103961
o 103859
o 103757
o 103670
o 103581
o 103479
o 103477
o 103375
o 103273
o 103171
o 103084
o 103078
o 102976
o 102974
o 102872
o 102770
o 102668
o 102581
o 102526
o 102524
o 102422
o 102320
o 102218
o 102131
o 101934
o 101847
o 101656
o 101552
o 101348
o 101261
o 101153
o 101049
o 100845
o 100758
o 100740
o 100703
o 100599
o 100395
o 100308
o 100306
o 100273
o 100186
o 100184
o 100171
o 99863
o 99776
o 99721
o 99413
o 99326
o 99324
o 99250
o 99163
o 99161
o 99112
o 99010
o 98949
o 98847
o 98823
o 98619
o 98477
o 98373
o 98169
o 98167
o 98047
o 97945
o 97637
o 97495
o 97187
o 97024
o 97022
o 96777
o 96675
o 96573
o 96471
o 96469
o 96367
o 96265
o 96163
o 96068
o 95968
o 95966
o 95864
o 95762
o 95660
o 95565
o 95518
o 95516
o 95414
o 95312
o 95210
o 95115
o 95088
o 94993
o 94986
o 94780
o 94678
o 94583
o 94565
o 94536
o 94330
o 94228
o 94133
o 94065
o 93970
o 93837
o 93742
o 93695
o 93591
o 93387
o 93292
o 93290
o 93265
o 93170
o 93168
o 93163
o 92855
o 92760
o 92713
o 92405
o 92310
o 92308
o 92242
o 92147
o 92145
o 91906
o 91811
o 91809
o 91743
o 91648
o 91646
o 91643
o 91641
o 91575
o 91480
o 91478
o 91402
o 91355
o 91251
o 91047
o 90952
o 90950
o 90903
o 90885
o 90856
o 90752
o 90548
o 90453
o 90451
o 90380
o 90285
o 90283
o 90258
o 90163
o 90161
o 90065
o 89970
o 89968
o 89921
o 89874
o 89566
o 89471
o 89469
o 89398
o 89303
o 89301
o 89235
o 89140
o 89138
o 88985
o 88890
o 88888
o 88817
o 88722
o 88720
o 88695
o 88600
o 88598
o 88502
o 88407
o 88405
o 88358
o 88311
o 88003
o 87908
o 87906
o 87835
o 87740
o 87738
o 87672
o 87577
o 87575
o 87527
o 87432
o 87359
o 87264
o 87262
o 87196
o 87101
o 87099
o 87089
o 87087
o 87046
o 86951
o 86949
o 86883
o 86788
o 86786
o 86738
o 86643
o 86641
o 86570
o 86475
o 86473
o 86407
o 86312
o 86310
o 86300
o 86298
o 86292
o 86219
o 86197
o 86160
o 86155
o 86065
o 86053
o 85995
o 85927
o 85922
o 85832
o 85782
o 85777
o 85687
o 85614
o 85609
o 85519
o 85451
o 85446
o 85356
o 85344
o 85305
o 85232
o 85227
o 85137
o 85072
o 85067
o 84977
o 84904
o 84899
o 84809
o 84712
o 84622
o 84617
o 84527
o 84454
o 84449
o 84359
o 84317
o 84268
o 84003
o 83913
o 83908
o 83818
o 83745
o 83740
o 83650
o 83574
o 83558
o 83553
o 83463
o 83414
o 83367
o 83149
o 83059
o 83054
o 82964
o 82891
o 82886
o 82796
o 82795
o 82705
o 82632
o 82627
o 82537
o 82440
o 82350
o 82345
o 82255
o 82182
o 82177
o 82087
o 82063
o 81990
o 81985
o 81895
o 81874
o 81809
o 81804
o 81714
o 81641
o 81636
o 81546
o 81449
o 81359
o 81354
o 81264
o 81191
o 81186
o 81096
o 81095
o 81005
o 80932
o 80927
o 80837
o 80740
o 80650
o 80645
o 80555
o 80482
o 80477
o 80387
o 80363
o 80290
o 80285
o 80195
o 80134
o 80106
o 80016
o 80011
o 79921
o 79778
o 79688
o 79683
o 79593
o 79546
o 79328
o 79238
o 79233
o 79143
o 79069
o 78979
o 78974
o 78884
o 78619
o 78529
o 78524
o 78434
o 78427
o 78337
o 78332
o 78242
o 78239
o 78149
o 78144
o 78054
o 78026
o 77936
o 77931
o 77841
o 77698
o 77608
o 77603
o 77513
o 77466
o 77248
o 77158
o 77153
o 77063
o 76989
o 76899
o 76894
o 76804
o 76539
o 76449
o 76444
o 76354
o 76280
o 76190
o 76185
o 76095
o 76046
o 75956
o 75938
o 75720
o 75630
o 75461
o 75371
o 75353
o 75350
o 75334
o 75331
o 75011
o 74921
o 74752
o 74662
o 74597
o 74532
o 74496
Killed
1979.685u 0.013s 33:11.89 99.3%	0+0k 0+0io 0pf+0w