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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 162732
o 161019
o 158793
o 156789
o 156699
o 154473
o 154106
o 153490
o 151486
o 151396
o 149170
o 147170
o 146302
o 146055
o 145833
o 145743
o 144604
o 143739
o 143517
o 142604
o 141739
o 141517
o 140871
o 140649
o 140552
o 139687
o 139465
o 138552
o 137687
o 137465
o 136819
o 136597
o 135729
o 134864
o 134642
o 133996
o 133774
o 133556
o 133334
o 132525
o 132303
o 131556
o 131334
o 130688
o 130466
o 129702
o 129480
o 128733
o 128511
o 127865
o 127643
o 127474
o 126727
o 126505
o 125859
o 125637
o 125443
o 124797
o 124575
o 124193
o 123971
o 123717
o 123495
o 123329
o 123207
o 122985
o 122238
o 122016
o 121370
o 121148
o 120894
o 120672
o 120232
o 120010
o 119364
o 119142
o 118888
o 118666
o 118302
o 118080
o 117826
o 117604
o 117599
o 117377
o 116937
o 116715
o 116069
o 115847
o 115593
o 115371
o 115007
o 114785
o 114531
o 114309
o 114292
o 114070
o 113763
o 113541
o 113287
o 113065
o 113060
o 112838
o 112770
o 112516
o 112294
o 112099
o 111530
o 111308
o 111054
o 110832
o 110468
o 110246
o 109992
o 109770
o 109753
o 109531
o 109373
o 109119
o 108897
o 108892
o 108670
o 108462
o 108240
o 107986
o 107764
o 107639
o 107417
o 107362
o 107140
o 106886
o 106664
o 106577
o 106355
o 106300
o 106078
o 105824
o 105602
o 105585
o 105363
o 105218
o 104996
o 104742
o 104520
o 104503
o 104281
o 104123
o 103869
o 103647
o 103445
o 103404
o 103182
o 102928
o 102706
o 102619
o 102397
o 102342
o 102120
o 101866
o 101644
o 101636
o 101414
o 101327
o 101105
o 101050
o 100828
o 100574
o 100352
o 100335
o 100113
o 100059
o 99837
o 99583
o 99361
o 99344
o 99122
o 98964
o 98710
o 98488
o 98363
o 98308
o 98086
o 97832
o 97610
o 97574
o 97352
o 97344
o 97122
o 97035
o 96813
o 96758
o 96536
o 96282
o 96060
o 95946
o 95891
o 95669
o 95415
o 95193
o 95176
o 94954
o 94735
o 94680
o 94458
o 94204
o 93982
o 93972
o 93885
o 93663
o 93608
o 93386
o 93132
o 92910
o 92893
o 92671
o 92617
o 92395
o 92141
o 91919
o 91902
o 91680
o 91522
o 91268
o 91046
o 90921
o 90866
o 90644
o 90390
o 90168
o 90166
o 89912
o 89690
o 89680
o 89593
o 89371
o 89316
o 89094
o 88840
o 88618
o 88504
o 88449
o 88227
o 87973
o 87751
o 87734
o 87512
o 87327
o 87325
o 87071
o 86849
o 86839
o 86752
o 86530
o 86475
o 86253
o 85999
o 85777
o 85663
o 85608
o 85386
o 85132
o 84910
o 84893
o 84671
o 84593
o 84371
o 84316
o 84094
o 83840
o 83618
o 83504
o 83449
o 83227
o 82973
o 82751
o 82734
o 82512
o 82424
o 82170
o 81948
o 81931
o 81709
o 81631
o 81409
o 81354
o 81132
o 80878
o 80656
o 80542
o 80487
o 80265
o 80011
o 79789
o 79772
o 79550
o 79408
o 79353
o 79131
o 78877
o 78655
o 78541
o 78486
o 78264
o 78010
o 77788
o 77771
o 77549
o 77428
o 77393
o 77376
o 77154
o 77009
o 76755
o 76533
o 76364
o 76142
o 75888
o 75666
o 75649
o 75427
o 75392
o 75375
o 75153
o 75072
o 74850
o 74833
o 74611
o 74576
o 74559
o 74337
o 74226
o 74174
o 73952
o 73924
o 73702
o 73685
o 73463
o 73428
o 73411
o 73189
o 73108
o 72886
o 72869
o 72647
o 72612
o 72595
o 72373
o 72262
o 72210
o 71988
o 71973
o 71921
o 71699
o 71696
o 71585
o 71548
o 71533
o 71311
o 71279
o 71057
o 71042
o 70990
o 70768
o 70654
o 70617
o 70602
o 70380
o 70280
o 70273
o 70104
o 69882
o 69628
o 69406
o 69354
o 69132
o 69066
o 68812
o 68590
o 68538
o 68316
o 68301
o 68249
o 68027
o 67913
o 67876
o 67861
o 67639
o 67482
o 67280
o 67208
o 67006
o 66942
o 66870
o 66668
o 66663
o 66626
o 66611
o 66389
o 66358
o 66306
o 66084
o 65972
o 65966
o 65744
o 65675
o 65669
o 65447
o 65436
o 65430
o 65208
o 65173
o 65162
o 65156
o 64934
o 64781
o 64712
o 64706
o 64484
o 64473
o 64467
o 64245
o 64210
o 64199
o 64193
o 63971
o 63957
o 63860
o 63814
o 63808
o 63586
o 63572
o 63286
o 63064
o 62952
o 62825
o 62713
o 62678
o 62551
o 62439
o 62328
o 62166
o 62054
o 61994
o 61968
o 61896
o 61850
o 61844
o 61622
o 61608
o 61322
o 61100
o 60988
o 60861
o 60749
o 60714
o 60587
o 60475
o 60364
o 60202
o 60090
o 60030
o 60004
o 59913
o 59801
o 59741
o 59715
o 59687
o 59650
o 59525
o 59413
o 59353
o 59327
o 59271
o 59159
o 59099
o 59073
o 58982
o 58870
o 58810
o 58784
o 58756
o 58719
o 58594
o 58482
o 58422
o 58396
o 58382
o 58322
o 58296
o 58224
o 58178
o 58172
o 57950
o 57936
o 57893
o 57671
o 57559
o 57448
o 57026
o 56804
o 56692
o 56530
o 56418
o 56358
o 56332
o 56241
o 56129
o 56069
o 56043
o 56015
o 55978
o 55853
o 55741
o 55681
o 55655
o 55584
o 55494
o 55382
o 55310
o 55220
o 55108
o 55048
o 55022
o 54972
o 54882
o 54770
o 54710
o 54684
o 54572
o 54460
o 54298
o 54186
o 54126
o 54100
o 54037
o 53925
o 53865
o 53839
o 53833
o 53812
o 53773
o 53747
o 53726
o 53713
o 53641
o 53551
o 53439
o 53379
o 53353
o 53303
o 53213
o 53101
o 53041
o 53015
o 52903
o 52791
o 52629
o 52517
o 52457
o 52431
o 52368
o 52256
o 52196
o 52170
o 52164
o 52143
o 52104
o 52078
o 52057
o 51840
o 51748
o 51727
o 51666
o 51644
o 51623
o 51588
o 51564
o 51543
o 51486
o 51465
o 51460
o 51439
o 51404
o 51382
o 51361
o 51254
o 51193
o 51158
o 51117
o 51096
o 51056
o 51035
o 51013
o 50992
o 50974
o 50952
o 50931
o 50910
o 50838
o 50748
o 50636
o 50576
o 50550
o 50509
o 50347
o 50235
o 50131
o 50019
o 49959
o 49933
o 49914
o 49888
o 49870
o 49758
o 49698
o 49672
o 49663
o 49637
o 49621
o 49600
o 49592
o 49561
o 49535
o 49514
o 49342
o 49307
o 49283
o 49262
o 49205
o 49184
o 49179
o 49158
o 49123
o 49101
o 49080
o 48983
o 48976
o 48919
o 48898
o 48879
o 48872
o 48837
o 48815
o 48794
o 48791
o 48756
o 48734
o 48713
o 48690
o 48634
o 48608
o 48586
o 48552
o 48530
o 48527
o 48505
o 48471
o 48449
o 48447
o 48320
o 48264
o 48239
o 48183
c 25175 branches 17005 propagates
c total generalized unit propagation = 65277, success = 35.38%
s OPTIMUM FOUND
c Optimal Solution = 48183
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 -126 127 -128 -129 -130
86.897u 0.006s 1:27.29 99.5%	0+0k 0+0io 0pf+0w