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-60-2_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 195297
o 194236
o 193442
o 193430
o 193255
o 193222
o 192161
o 191367
o 190969
o 190175
o 189644
o 189471
o 188677
o 188234
o 187940
o 187409
o 187236
o 186442
o 186332
o 186320
o 186145
o 186112
o 185051
o 184257
o 183859
o 183065
o 182534
o 182361
o 181567
o 181124
o 180830
o 180299
o 180126
o 179332
o 178985
o 178191
o 177660
o 177487
o 176693
o 176250
o 175956
o 175425
o 175252
o 174458
o 173931
o 173485
o 173452
o 172921
o 172748
o 171954
o 171511
o 171250
o 171217
o 170686
o 170513
o 169719
o 169625
o 169600
o 169069
o 168896
o 168102
o 167629
o 166897
o 166656
o 166623
o 166092
o 165919
o 165125
o 164682
o 164662
o 164421
o 164388
o 163857
o 163684
o 162890
o 162796
o 162771
o 162240
o 162067
o 161273
o 161196
o 160402
o 160335
o 160302
o 159771
o 159598
o 158804
o 158733
o 158732
o 157938
o 157495
o 157475
o 157234
o 157201
o 156670
o 156497
o 155703
o 155609
o 155584
o 155053
o 154880
o 154086
o 154009
o 153215
o 152496
o 152402
o 152377
o 151846
o 151673
o 150879
o 150873
o 150079
o 149591
o 149497
o 149472
o 148941
o 148768
o 147974
o 147897
o 147103
o 146920
o 146589
o 146168
o 146162
o 145368
o 144880
o 144786
o 144761
o 144230
o 144057
o 143263
o 143186
o 142392
o 142022
o 141856
o 141222
o 140734
o 140640
o 140545
o 139751
o 139117
o 138880
o 138246
o 138063
o 137732
o 137311
o 137145
o 136511
o 136023
o 135929
o 135834
o 135040
o 134406
o 134169
o 133535
o 133509
o 132875
o 132638
o 132004
o 131469
o 131232
o 130598
o 130299
o 130153
o 129931
o 129297
o 128998
o 128762
o 128463
o 128087
o 127850
o 127216
o 126917
o 126716
o 126417
o 125923
o 125624
o 125388
o 125089
o 124713
o 124476
o 123842
o 123543
o 123205
o 122968
o 122334
o 122035
o 121834
o 121535
o 121160
o 120861
o 120715
o 120493
o 119859
o 119560
o 119324
o 119025
o 118649
o 118412
o 117778
o 117479
o 117278
o 116979
o 116485
o 116186
o 115950
o 115651
o 115275
o 115038
o 114404
o 114105
o 113767
o 113530
o 112896
o 112597
o 112396
o 112097
o 111977
o 111740
o 111106
o 110807
o 110606
o 110307
o 109818
o 109692
o 109519
o 109393
o 109318
o 109192
o 109019
o 108893
o 108877
o 108753
o 108578
o 108454
o 108298
o 107999
o 107879
o 107844
o 107642
o 107008
o 106709
o 106508
o 106209
o 105720
o 105594
o 105421
o 105295
o 105220
o 105094
o 104921
o 104795
o 104779
o 104655
o 104480
o 104356
o 104316
o 104287
o 104163
o 104069
o 103435
o 103136
o 102935
o 102636
o 102516
o 102279
o 101645
o 101346
o 101145
o 100846
o 100357
o 100231
o 100058
o 99932
o 99857
o 99731
o 99558
o 99432
o 99416
o 99292
o 99117
o 98993
o 98837
o 98538
o 98418
o 98383
o 98181
o 97547
o 97248
o 97047
o 96748
o 96259
o 96133
o 95960
o 95834
o 95759
o 95633
o 95460
o 95334
o 95318
o 95194
o 95019
o 94895
o 94855
o 94826
o 94702
o 94670
o 94544
o 94371
o 94245
o 94229
o 94105
o 93930
o 93806
o 93650
o 93351
o 93231
o 93196
o 92994
o 92360
o 92061
o 91860
o 91561
o 91072
o 90946
o 90773
o 90647
o 90572
o 90446
o 90273
o 90147
o 90131
o 90007
o 89832
o 89708
o 89668
o 89639
o 89515
o 89409
o 89110
o 88909
o 88610
o 88121
o 87995
o 87822
o 87696
o 87621
o 87495
o 87322
o 87196
o 87180
o 87056
o 86881
o 86757
o 86601
o 86302
o 86182
o 86147
o 85945
o 85311
o 85012
o 84811
o 84512
o 84023
o 83897
o 83724
o 83598
o 83523
o 83397
o 83224
o 83098
o 83082
o 82958
o 82783
o 82659
o 82619
o 82590
o 82466
o 82434
o 82308
o 82135
o 82009
o 81993
o 81869
o 81694
o 81570
o 81414
o 81115
o 80995
o 80960
o 80758
o 80124
o 79825
o 79624
o 79325
o 78836
o 78710
o 78537
o 78411
o 78336
o 78210
o 78037
o 77911
o 77895
o 77771
o 77596
o 77472
o 77432
o 77403
o 77279
o 77128
o 76829
o 76340
o 76214
o 76041
o 75915
o 75840
o 75714
o 75541
o 75415
o 75399
o 75275
o 75100
o 74976
o 74936
o 74907
o 74783
o 74682
o 74556
o 74540
o 74416
o 74241
o 74117
o 74077
o 74048
o 73924
o 73859
o 73843
o 73719
o 73544
o 73420
o 73380
o 73351
o 73227
o 73190
o 73161
o 73037
o 72900
o 72776
o 72644
o 72518
o 72502
o 72378
o 72203
o 72079
o 72013
o 71889
o 71865
o 71741
o 71636
o 71510
o 71195
o 71071
o 71005
o 70881
o 70857
o 70733
o 70700
o 70676
o 70552
o 70499
o 70475
o 70351
o 70318
o 70294
o 70170
o 70116
o 70050
o 69926
o 69902
o 69778
o 69745
o 69721
o 69597
o 69515
o 69391
o 69325
o 69201
o 69177
o 69053
o 68948
o 68822
o 68796
o 68507
o 68383
o 68317
o 68193
o 68169
o 68045
o 68012
o 67988
o 67864
o 67810
o 67744
o 67620
o 67596
o 67472
o 67439
o 67415
o 67291
o 67042
o 66918
o 66852
o 66728
o 66671
o 66547
o 66469
o 66345
o 66279
o 66155
o 66098
o 65974
o 65970
o 65946
o 65822
o 65810
o 65694
o 65573
o 65441
o 65315
o 65289
o 65250
o 65000
o 64876
o 64810
o 64686
o 64629
o 64505
o 64493
o 64485
o 64369
o 64248
o 64095
o 63969
o 63677
o 63551
o 63487
o 63361
o 63306
o 63180
o 63168
o 63155
o 63150
o 63026
o 62974
o 62964
o 62944
o 62820
o 62774
o 62768
o 62722
o 62639
o 62593
o 62587
o 62541
o 62533
o 62490
o 62198
o 62072
o 62008
o 61882
o 61830
o 61827
o 61701
o 61649
o 61639
o 61621
o 61495
o 61449
o 61443
o 61397
o 61314
o 61268
o 61262
o 61216
o 61174
o 61119
o 60993
o 60891
o 60827
o 60701
o 60646
o 60520
o 60498
o 60422
o 60384
o 60282
o 59908
o 59864
o 59490
o 59309
o 59297
o 59161
o 59067
o 58980
o 58886
o 58883
o 58688
o 58594
o 58507
o 58413
o 58295
o 58147
o 58114
o 57966
o 57940
o 57745
o 57443
o 57399
o 57025
o 56830
o 56649
o 56619
o 56577
o 56396
o 56299
o 56104
o 55923
o 55789
o 55606
o 55425
o 55219
o 55173
o 55038
o 54992
o 54693
o 54385
o 54341
o 53967
o 53786
o 53580
o 53534
o 53399
o 53353
o 53265
o 53219
o 53214
o 53008
o 52962
o 52827
o 52781
o 52693
o 52647
o 52528
o 52511
o 52465
o 52322
o 52276
o 52141
o 52095
o 52007
o 51961
o 51818
o 51733
o 51687
o 51431
o 51385
o 51297
o 51251
o 51246
o 51161
o 51115
o 51102
o 50859
o 50813
o 50725
o 50679
o 50560
o 50475
o 50429
o 50362
o 50316
o 50173
o 50127
o 50039
o 49993
o 49959
o 49913
o 49875
c 44931 branches 31025 propagates
c total generalized unit propagation = 118430, success = 35.86%
s OPTIMUM FOUND
c Optimal Solution = 49875
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 -144 145 -146 -147 -148 149 150 -151 -152 153 -154 155 156 -157 -158 -159 160 -161 162 -163 164 -165 -166 -167 168 -169 -170 -171 -172 173
750.283u 0.006s 12:35.04 99.3%	0+0k 0+0io 0pf+0w