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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 156401
o 154948
o 154388
o 154311
o 153890
o 153330
o 152798
o 152238
o 152037
o 151960
o 151539
o 150979
o 150447
o 149887
o 149559
o 149066
o 148506
o 148305
o 148228
o 147807
o 147247
o 146715
o 146155
o 145827
o 145349
o 145021
o 144531
o 143971
o 143643
o 143150
o 142590
o 142389
o 142312
o 141891
o 141331
o 140799
o 140239
o 139911
o 139433
o 139105
o 139102
o 138542
o 138010
o 137450
o 137122
o 136644
o 136316
o 135805
o 135245
o 134917
o 134439
o 134111
o 133678
o 133350
o 132872
o 132544
o 132306
o 131978
o 131736
o 131498
o 131170
o 131143
o 130815
o 130337
o 130009
o 129771
o 129443
o 129294
o 128966
o 128792
o 128732
o 128404
o 128166
o 127838
o 127763
o 127435
o 127408
o 127080
o 126602
o 126274
o 126036
o 125708
o 125559
o 125231
o 125057
o 124997
o 124669
o 124431
o 124103
o 123994
o 123756
o 123428
o 123279
o 122951
o 122777
o 122717
o 122389
o 122151
o 121823
o 121683
o 121509
o 121449
o 121121
o 120883
o 120555
o 120552
o 120224
o 120050
o 119990
o 119662
o 119424
o 119096
o 119025
o 118916
o 118678
o 118350
o 118201
o 117873
o 117699
o 117639
o 117311
o 117073
o 116745
o 116655
o 116481
o 116421
o 116093
o 115855
o 115527
o 115524
o 115196
o 115022
o 114962
o 114634
o 114396
o 114068
o 113997
o 113888
o 113650
o 113322
o 113173
o 112845
o 112671
o 112611
o 112283
o 112045
o 111717
o 111567
o 111239
o 111099
o 110925
o 110865
o 110537
o 110299
o 109971
o 109968
o 109640
o 109466
o 109406
o 109078
o 108840
o 108512
o 108441
o 108332
o 108094
o 107766
o 107617
o 107289
o 107115
o 107055
o 106727
o 106489
o 106161
o 106149
o 105821
o 105672
o 105344
o 105170
o 105110
o 104782
o 104544
o 104216
o 104066
o 103738
o 103598
o 103424
o 103364
o 103036
o 102798
o 102470
o 102467
o 102139
o 101965
o 101905
o 101577
o 101339
o 101011
o 100940
o 100831
o 100593
o 100265
o 100116
o 99788
o 99614
o 99554
o 99226
o 98988
o 98660
o 98489
o 98251
o 97923
o 97613
o 97564
o 97390
o 97330
o 97002
o 96764
o 96436
o 96365
o 96256
o 96018
o 95690
o 95541
o 95213
o 95039
o 94979
o 94651
o 94413
o 94085
o 93901
o 93727
o 93667
o 93339
o 93101
o 92773
o 92702
o 92593
o 92355
o 92027
o 91878
o 91550
o 91376
o 91316
o 90988
o 90750
o 90422
o 90282
o 89954
o 89783
o 89545
o 89217
o 88907
o 88858
o 88684
o 88624
o 88296
o 88058
o 87730
o 87659
o 87616
o 87288
o 87175
o 86984
o 86835
o 86507
o 86333
o 86273
o 85945
o 85707
o 85379
o 85195
o 85021
o 84961
o 84633
o 84395
o 84067
o 83996
o 83953
o 83625
o 83512
o 83321
o 83172
o 82844
o 82670
o 82610
o 82282
o 82044
o 81716
o 81617
o 81289
o 81218
o 81175
o 80847
o 80734
o 80543
o 80394
o 80066
o 79892
o 79832
o 79504
o 79266
o 78938
o 78781
o 78607
o 78547
o 78219
o 77981
o 77653
o 77469
o 77295
o 77235
o 76907
o 76669
o 76341
o 76270
o 76227
o 75899
o 75786
o 75595
o 75446
o 75118
o 74944
o 74884
o 74556
o 74318
o 73990
o 73891
o 73563
o 73492
o 73449
o 73121
o 73008
o 72817
o 72668
o 72340
o 72166
o 72106
o 71778
o 71540
o 71212
o 71119
o 71006
o 70815
o 70666
o 70338
o 70164
o 70104
o 69776
o 69538
o 69210
o 69170
o 69138
o 69081
o 69041
o 68844
o 68804
o 68772
o 68715
o 68675
o 68468
o 68428
o 68396
o 68339
o 68299
o 68102
o 68062
o 68030
o 67973
o 67933
o 67917
o 67843
o 67803
o 67771
o 67714
o 67674
o 67636
o 67523
o 67454
o 67404
o 67181
o 66621
o 66293
o 66055
o 65727
o 65687
o 65655
o 65598
o 65558
o 65361
o 65321
o 65289
o 65232
o 65192
o 64985
o 64945
o 64913
o 64856
o 64816
o 64619
o 64579
o 64547
o 64490
o 64450
o 64409
o 64352
o 64351
o 64033
o 63976
o 63667
o 63610
o 63585
o 63553
o 63496
o 63456
o 63249
o 63209
o 63177
o 63120
o 63080
o 62883
o 62843
o 62811
o 62754
o 62714
o 62673
o 62616
o 62615
o 62297
o 62240
o 61931
o 61874
o 61849
o 61817
o 61760
o 61720
o 61513
o 61473
o 61441
o 61384
o 61344
o 61147
o 61107
o 61075
o 61018
o 60978
o 60937
o 60880
o 60879
o 60561
o 60504
o 60195
o 60138
o 60036
o 59996
o 59964
o 59907
o 59867
o 59826
o 59769
o 59768
o 59450
o 59393
o 59084
o 59027
o 58813
o 58756
o 58694
o 58654
o 58328
o 58288
o 58249
o 57873
o 57507
o 57472
o 57106
o 56835
o 56553
o 56518
o 56152
o 56040
o 55711
o 55639
o 55310
o 55148
o 55014
o 54685
o 54635
o 54513
o 54184
o 54112
o 53783
o 53465
o 53293
o 53131
o 52997
o 52668
o 52618
o 52496
o 52167
o 52095
o 51766
o 51557
o 51485
o 51156
o 50838
o 50821
o 50645
o 50522
o 50327
o 50311
o 50261
o 50139
o 50005
o 49810
o 49738
o 49604
o 49409
o 49286
o 49091
c 20666 branches 14098 propagates
c total generalized unit propagation = 53223, success = 34.68%
s OPTIMUM FOUND
c Optimal Solution = 49091
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
139.370u 0.008s 2:19.54 99.8%	0+0k 0+0io 0pf+0w