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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 166056
o 165833
o 165377
o 161864
o 160212
o 157021
o 156774
o 156623
o 154971
o 151780
o 151533
o 148997
o 148750
o 148298
o 148051
o 147401
o 147154
o 145515
o 145268
o 144618
o 144371
o 144276
o 144183
o 143824
o 143577
o 142927
o 142680
o 142587
o 141041
o 140794
o 140144
o 139897
o 139804
o 139647
o 139554
o 138008
o 137761
o 137111
o 136864
o 136771
o 136143
o 135896
o 135803
o 135166
o 134919
o 134826
o 133280
o 133033
o 132383
o 132136
o 132043
o 131886
o 131793
o 130247
o 130000
o 129350
o 129103
o 129010
o 128382
o 128135
o 128042
o 127089
o 126842
o 126192
o 125945
o 125852
o 125695
o 125602
o 124056
o 123809
o 123159
o 122912
o 122819
o 122191
o 121944
o 121851
o 121313
o 121066
o 120973
o 120965
o 120337
o 120090
o 119997
o 119880
o 119633
o 119540
o 118912
o 118665
o 118572
o 117790
o 117543
o 116893
o 116646
o 116553
o 115925
o 115678
o 115585
o 115047
o 114800
o 114707
o 114210
o 113963
o 113870
o 113242
o 112995
o 112902
o 112364
o 112117
o 112024
o 111878
o 111228
o 110981
o 110888
o 110260
o 110013
o 109920
o 109382
o 109135
o 109042
o 108905
o 108658
o 108565
o 107937
o 107690
o 107597
o 107059
o 106812
o 106719
o 106222
o 105975
o 105882
o 105254
o 105007
o 104914
o 104376
o 104129
o 104036
o 103890
o 103240
o 102993
o 102900
o 102272
o 102025
o 101932
o 101394
o 101147
o 101054
o 100921
o 100674
o 100581
o 100043
o 99796
o 99703
o 99557
o 98907
o 98660
o 98567
o 97939
o 97692
o 97599
o 97061
o 96814
o 96721
o 96584
o 96337
o 96244
o 95616
o 95369
o 95276
o 94738
o 94491
o 94398
o 93901
o 93654
o 93561
o 92933
o 92686
o 92593
o 92055
o 91808
o 91715
o 91569
o 90919
o 90672
o 90579
o 89951
o 89704
o 89611
o 89073
o 88826
o 88733
o 88694
o 88606
o 88359
o 88266
o 87638
o 87391
o 87298
o 86760
o 86513
o 86420
o 86351
o 86104
o 86011
o 85923
o 85676
o 85583
o 84955
o 84708
o 84615
o 84077
o 83830
o 83737
o 83369
o 83122
o 83029
o 82941
o 82694
o 82601
o 81973
o 81726
o 81633
o 81095
o 80848
o 80755
o 80663
o 80570
o 80032
o 79785
o 79692
o 79653
o 79565
o 79318
o 79225
o 78597
o 78350
o 78257
o 77719
o 77472
o 77379
o 77310
o 77063
o 76970
o 76882
o 76635
o 76542
o 75914
o 75667
o 75574
o 75036
o 74789
o 74696
o 74328
o 74081
o 73988
o 73900
o 73653
o 73560
o 72932
o 72685
o 72592
o 72054
o 71807
o 71714
o 71467
o 71220
o 71127
o 71058
o 70811
o 70718
o 70630
o 70383
o 70290
o 69662
o 69415
o 69322
o 68784
o 68537
o 68444
o 68076
o 67829
o 67736
o 67648
o 67401
o 67308
o 66680
o 66433
o 66340
o 65802
o 65555
o 65462
o 65370
o 65317
o 65070
o 65015
o 64609
o 64362
o 64181
o 63934
o 63619
o 63213
o 62966
o 62741
o 62335
o 62088
o 61996
o 61990
o 61871
o 61465
o 61218
o 61126
o 61120
o 61038
o 60946
o 60940
o 60934
o 60528
o 59966
o 59560
o 59088
o 58682
o 58590
o 58584
o 58218
o 57812
o 57720
o 57714
o 57632
o 57540
o 57534
o 57517
o 57370
o 57348
o 57201
o 57111
o 56964
o 56853
o 56847
o 56784
o 56673
o 56667
o 56614
o 56608
o 56542
o 56536
o 56473
o 56362
o 56356
o 56303
o 56297
o 56258
o 56252
o 56214
o 56103
o 56097
o 56034
o 55923
o 55917
o 55864
o 55858
o 55738
o 55708
o 55686
o 55539
o 55449
o 55302
o 55191
o 55185
o 55122
o 55011
o 55005
o 54952
o 54946
o 54884
o 54878
o 54774
o 54682
o 54676
o 54673
o 54651
o 54504
o 54414
o 54267
o 54156
o 54150
o 54073
o 53926
o 53815
o 53809
o 53700
o 53608
o 53561
o 53414
o 53340
o 53193
o 53082
o 53073
o 52999
o 52852
o 52741
o 52662
o 52441
o 52321
o 52100
o 51918
o 51887
o 51767
o 51546
o 51355
o 51349
o 51235
o 51014
o 51008
o 50798
o 50792
o 50678
o 50457
o 50451
o 50425
o 50309
c 159347 branches 145391 propagates
c total generalized unit propagation = 461951, success = 34.03%
s OPTIMUM FOUND
c Optimal Solution = 50309
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 -131 -132 133 -134 -135 136 137 -138 -139 -140 -141 142 -143
1732.287u 0.066s 29:02.61 99.4%	0+0k 0+0io 0pf+0w