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-50-2_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 150033
o 148519
o 148492
o 148038
o 147306
o 147215
o 146524
o 145792
o 145765
o 145084
o 145057
o 144876
o 144849
o 144168
o 144141
o 144104
o 144077
o 144067
o 143992
o 143901
o 143210
o 142478
o 142451
o 142109
o 141377
o 141350
o 141340
o 140669
o 140642
o 140632
o 140461
o 140434
o 140424
o 139753
o 139726
o 139716
o 139456
o 139429
o 139419
o 139414
o 139404
o 138733
o 138706
o 138696
o 138525
o 138498
o 138488
o 137817
o 137790
o 137780
o 137751
o 137724
o 137714
o 137043
o 137016
o 137006
o 136557
o 136530
o 136520
o 136260
o 136233
o 136223
o 136218
o 136208
o 135537
o 135510
o 135500
o 135329
o 135302
o 135292
o 134621
o 134594
o 134584
o 134555
o 134528
o 134518
o 133847
o 133820
o 133810
o 133631
o 133604
o 133594
o 133423
o 133396
o 133386
o 132715
o 132688
o 132678
o 132418
o 132391
o 132381
o 132376
o 132366
o 131695
o 131668
o 131658
o 131487
o 131460
o 131450
o 130779
o 130752
o 130742
o 130713
o 130686
o 130676
o 130005
o 129978
o 129968
o 129837
o 129810
o 129800
o 129629
o 129602
o 129592
o 128921
o 128894
o 128884
o 128855
o 128828
o 128818
o 128147
o 128120
o 128110
o 127689
o 127662
o 127652
o 127651
o 127641
o 126979
o 126952
o 126942
o 126521
o 126494
o 126484
o 126483
o 126473
o 126359
o 126332
o 126322
o 126321
o 126311
o 125649
o 125622
o 125612
o 125191
o 125164
o 125154
o 125153
o 125143
o 124754
o 124727
o 124717
o 124716
o 124706
o 124044
o 124017
o 124007
o 123586
o 123559
o 123549
o 123548
o 123538
o 123036
o 123009
o 122999
o 122578
o 122551
o 122541
o 122540
o 122530
o 122416
o 122389
o 122379
o 122378
o 122368
o 121706
o 121679
o 121669
o 121248
o 121221
o 121211
o 121210
o 121200
o 120811
o 120784
o 120774
o 120773
o 120763
o 120101
o 120074
o 120064
o 119643
o 119616
o 119606
o 119605
o 119595
o 119544
o 119517
o 119507
o 119506
o 119496
o 118834
o 118807
o 118797
o 118376
o 118349
o 118339
o 118338
o 118328
o 118214
o 118187
o 118177
o 118176
o 118166
o 117504
o 117477
o 117467
o 117046
o 117019
o 117009
o 117008
o 116998
o 116609
o 116582
o 116572
o 116571
o 116561
o 115899
o 115872
o 115862
o 115441
o 115414
o 115404
o 115403
o 115393
o 115160
o 115133
o 115123
o 115122
o 115112
o 114723
o 114696
o 114686
o 114685
o 114675
o 114013
o 113986
o 113976
o 113555
o 113528
o 113518
o 113517
o 113507
o 113456
o 113429
o 113419
o 113418
o 113408
o 112746
o 112719
o 112709
o 112288
o 112261
o 112251
o 112250
o 112240
o 112126
o 112099
o 112089
o 112088
o 112078
o 111416
o 111389
o 111379
o 110958
o 110931
o 110921
o 110920
o 110910
o 110521
o 110494
o 110484
o 110483
o 110473
o 109811
o 109784
o 109774
o 109353
o 109326
o 109316
o 109315
o 109305
o 109193
o 109166
o 109156
o 108735
o 108708
o 108698
o 108697
o 108687
o 108087
o 108060
o 108050
o 107629
o 107602
o 107592
o 107591
o 107581
o 107467
o 107440
o 107430
o 107429
o 107419
o 106757
o 106730
o 106720
o 106299
o 106272
o 106262
o 106261
o 106251
o 105862
o 105835
o 105825
o 105824
o 105814
o 105152
o 105125
o 105115
o 104694
o 104667
o 104657
o 104656
o 104646
o 104252
o 104225
o 104215
o 104214
o 104204
o 103794
o 103767
o 103757
o 103336
o 103309
o 103299
o 103298
o 103288
o 102899
o 102872
o 102862
o 102861
o 102851
o 102189
o 102162
o 102152
o 101731
o 101704
o 101694
o 101693
o 101683
o 101503
o 101476
o 101466
o 101465
o 101455
o 101113
o 101086
o 101076
o 101075
o 101065
o 100885
o 100858
o 100848
o 100847
o 100837
o 100465
o 100438
o 100428
o 100007
o 99980
o 99970
o 99969
o 99959
o 99845
o 99818
o 99808
o 99807
o 99797
o 99135
o 99108
o 99098
o 98677
o 98650
o 98640
o 98639
o 98629
o 98240
o 98213
o 98203
o 98202
o 98192
o 97530
o 97503
o 97493
o 97072
o 97045
o 97035
o 97034
o 97024
o 96844
o 96817
o 96807
o 96806
o 96796
o 96630
o 96603
o 96593
o 96592
o 96582
o 96402
o 96375
o 96365
o 96364
o 96354
o 96271
o 96244
o 96234
o 96233
o 96223
o 95561
o 95534
o 95524
o 95103
o 95076
o 95066
o 95065
o 95055
o 94666
o 94639
o 94629
o 94628
o 94618
o 93956
o 93929
o 93919
o 93498
o 93471
o 93461
o 93460
o 93450
o 93270
o 93243
o 93233
o 93232
o 93222
o 93056
o 93029
o 93019
o 93018
o 93008
o 92828
o 92801
o 92791
o 92790
o 92780
o 92662
o 92635
o 92625
o 92624
o 92614
o 91952
o 91925
o 91915
o 91494
o 91467
o 91457
o 91456
o 91446
o 91266
o 91239
o 91229
o 91228
o 91218
o 91052
o 91025
o 91015
o 91014
o 91004
o 90824
o 90797
o 90787
o 90786
o 90776
o 90693
o 90666
o 90656
o 90655
o 90645
o 89983
o 89956
o 89946
o 89525
o 89498
o 89488
o 89487
o 89477
o 89088
o 89061
o 89051
o 89050
o 89040
o 88378
o 88351
o 88341
o 87920
o 87893
o 87883
o 87882
o 87872
o 87692
o 87665
o 87655
o 87654
o 87644
o 87478
o 87451
o 87441
o 87440
o 87430
o 87250
o 87223
o 87213
o 87212
o 87202
o 87082
o 87055
o 87045
o 87044
o 87034
o 86645
o 86618
o 86608
o 86607
o 86597
o 85935
o 85908
o 85898
o 85477
o 85450
o 85440
o 85439
o 85429
o 85249
o 85222
o 85212
o 85211
o 85201
o 85035
o 85008
o 84998
o 84997
o 84987
o 84807
o 84780
o 84770
o 84769
o 84759
o 84676
o 84649
o 84639
o 84638
o 84628
o 83966
o 83939
o 83929
o 83508
o 83481
o 83471
o 83470
o 83460
o 83071
o 83044
o 83034
o 83033
o 83023
o 82361
o 82334
o 82324
o 81903
o 81876
o 81866
o 81865
o 81855
o 81675
o 81648
o 81638
o 81637
o 81627
o 81461
o 81434
o 81424
o 81423
o 81413
o 81233
o 81206
o 81196
o 81195
o 81185
o 81067
o 81040
o 81030
o 81029
o 81019
o 80357
o 80330
o 80320
o 79899
o 79872
o 79862
o 79861
o 79851
o 79671
o 79644
o 79634
o 79633
o 79623
o 79457
o 79430
o 79420
o 79419
o 79409
o 79229
o 79202
o 79192
o 79191
o 79181
o 79098
o 79071
o 79061
o 79060
o 79050
o 78388
o 78361
o 78351
o 77930
o 77903
o 77893
o 77892
o 77882
o 77493
o 77466
o 77456
o 77455
o 77445
o 76783
o 76756
o 76746
o 76325
o 76298
o 76288
o 76287
o 76277
o 76097
o 76070
o 76060
o 76059
o 76049
o 75883
o 75856
o 75846
o 75845
o 75835
o 75655
o 75628
o 75618
o 75617
o 75607
o 75605
o 75604
o 75594
o 75476
o 75449
o 75439
o 75438
o 75428
o 74766
o 74739
o 74729
o 74308
o 74281
o 74271
o 74270
o 74260
o 74080
o 74053
o 74043
o 74042
o 74032
o 73866
o 73839
o 73829
o 73828
o 73818
o 73638
o 73611
o 73601
o 73600
o 73590
o 73507
o 73480
o 73470
o 73469
o 73459
o 72797
o 72770
o 72760
o 72339
o 72312
o 72302
o 72301
o 72291
o 71902
o 71875
o 71865
o 71864
o 71854
o 71192
o 71165
o 71155
o 70734
o 70707
o 70697
o 70696
o 70686
o 70506
o 70479
o 70469
o 70468
o 70458
o 70292
o 70265
o 70255
o 70254
o 70244
o 70064
o 70037
o 70027
o 70026
o 70016
o 69630
o 69603
o 69593
o 69592
o 69582
o 69481
o 69454
o 69444
o 69273
o 69246
o 69236
o 68565
o 68538
o 68528
o 68337
o 68310
o 68300
o 68123
o 68096
o 68086
o 67895
o 67868
o 67858
o 67461
o 67434
o 67424
o 67384
o 67343
o 67316
o 67306
o 67156
o 67115
o 67088
o 67078
o 66722
o 66681
o 66654
o 66644
o 66372
o 66345
o 66335
o 66312
o 66285
o 66275
o 66254
o 66227
o 66217
o 66194
o 66167
o 66157
o 66067
o 66026
o 65999
o 65989
o 65966
o 65939
o 65929
o 65633
o 65592
o 65565
o 65555
o 65532
o 65505
o 65495
o 65448
o 65407
o 65380
o 65370
o 65014
o 64973
o 64946
o 64936
o 64925
o 64915
o 64724
o 64697
o 64687
o 64510
o 64483
o 64473
o 64282
o 64255
o 64245
o 63848
o 63821
o 63811
o 63771
o 63730
o 63703
o 63693
o 63543
o 63502
o 63475
o 63465
o 63109
o 63068
o 63041
o 63031
o 62759
o 62732
o 62722
o 62699
o 62672
o 62662
o 62641
o 62614
o 62604
o 62581
o 62554
o 62544
o 62454
o 62413
o 62386
o 62376
o 62353
o 62326
o 62316
o 62020
o 61979
o 61952
o 61942
o 61919
o 61892
o 61882
o 61835
o 61794
o 61767
o 61757
o 61401
o 61360
o 61333
o 61323
o 61317
o 61270
o 61229
o 61202
o 61192
o 60836
o 60795
o 60768
o 60758
o 60509
o 60482
o 60472
o 60466
o 60378
o 60351
o 60341
o 59944
o 59917
o 59907
o 59734
o 59693
o 59666
o 59656
o 59407
o 59380
o 59370
o 59364
o 59276
o 59249
o 59239
o 58842
o 58815
o 58805
o 58755
o 58714
o 58704
o 58428
o 58418
o 58412
o 58297
o 58287
o 58212
o 57863
o 57853
o 57594
o 57567
o 57557
o 57384
o 57343
o 57316
o 57306
o 57057
o 57030
o 57020
o 57014
o 56934
o 56907
o 56897
o 56492
o 56465
o 56455
o 56405
o 56364
o 56354
o 56078
o 56068
o 56062
o 55955
o 55945
o 55862
o 55513
o 55503
o 55478
o 55468
o 55418
o 55408
o 55407
o 55397
o 55293
o 55283
o 54973
o 54963
o 54859
o 54849
o 54704
o 54677
o 54667
o 54590
o 54563
o 54553
o 54494
o 54453
o 54426
o 54416
o 54380
o 54339
o 54312
o 54302
o 54277
o 54250
o 54240
o 54163
o 54136
o 54126
o 54107
o 54080
o 54070
o 54047
o 54020
o 54010
o 54007
o 53930
o 53903
o 53893
o 53602
o 53575
o 53565
o 53488
o 53461
o 53451
o 53401
o 53360
o 53350
o 53242
o 53232
o 53128
o 53118
o 53068
o 53058
o 53055
o 52951
o 52941
o 52623
o 52613
o 52509
o 52499
o 52432
o 52405
o 52318
o 52291
o 52263
o 52236
o 52225
o 52138
o 52111
o 52078
o 52051
o 52048
o 51961
o 51934
o 51633
o 51606
o 51519
o 51492
o 51453
o 51339
o 51284
o 51215
o 51159
o 51099
o 51096
o 50982
o 50654
o 50540
o 50236
o 50217
o 50181
o 50067
o 50058
o 49739
o 49625
o 49321
o 49302
o 49109
o 49082
o 48995
o 48968
o 48854
o 48740
o 48546
o 48479
o 48130
o 48016
o 47940
o 47837
o 47518
o 47404
o 47355
o 47038
o 46924
c 13496 branches 8310 propagates
c total generalized unit propagation = 31747, success = 31.31%
s OPTIMUM FOUND
c Optimal Solution = 46924
v -1 2 -3 4 -5 6 -7 -8 9 -10 -11 12 13 -14 -15 16 -17 18 -19 20 -21 -22 -23 24 -25 26 -27 -28 29 -30 -31 -32 33 -34 -35 -36 37 38 -39 -40 -41 -42 43 -44 45 -46 -47 48 -49 50 -51 52 -53 54 -55 -56 -57 -58 59 -60 61 -62 -63 -64 -65 66 -67 -68 69 -70 -71 72 -73 -74 -75 76 -77 -78 79 -80 81 -82 -83 84 -85 -86 -87 88 -89 90 -91 -92 -93 -94 95 96 -97 -98 -99 100 -101 102 -103 -104 -105 -106 -107 108 -109 -110 111 -112 -113 114 115 -116 -117 -118 119 -120 121 122 -123 -124 125
22.570u 0.005s 0:22.70 99.4%	0+0k 0+0io 0pf+0w