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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 177283
o 177230
o 176079
o 174782
o 174729
o 173578
o 173089
o 173036
o 171885
o 171122
o 170631
o 170580
o 169429
o 169240
o 168508
o 168017
o 167966
o 166815
o 166508
o 165745
o 165254
o 165203
o 164052
o 163863
o 163131
o 162640
o 162589
o 161438
o 161248
o 161197
o 160046
o 159291
o 159237
o 159186
o 158035
o 157944
o 157754
o 157703
o 156552
o 156348
o 156257
o 156067
o 156016
o 154865
o 154125
o 154034
o 153844
o 153793
o 152642
o 152009
o 151980
o 151929
o 150778
o 150463
o 150293
o 150242
o 149091
o 148240
o 148070
o 148019
o 146868
o 146235
o 145988
o 145355
o 145204
o 144889
o 144719
o 144668
o 143517
o 142666
o 142496
o 142445
o 141294
o 140214
o 139581
o 138960
o 138819
o 138649
o 138598
o 137447
o 136367
o 135734
o 135186
o 134856
o 134333
o 133776
o 133253
o 133143
o 132620
o 132522
o 131999
o 131858
o 131009
o 130486
o 129929
o 129406
o 129296
o 128773
o 128748
o 128225
o 127979
o 127456
o 126899
o 126376
o 126266
o 125743
o 125718
o 125195
o 124883
o 124742
o 123893
o 123370
o 122813
o 122290
o 122180
o 121657
o 121632
o 121109
o 120475
o 119952
o 119395
o 118872
o 118762
o 118239
o 118214
o 117691
o 117164
o 116641
o 116531
o 116008
o 115983
o 115460
o 114983
o 114829
o 114808
o 114698
o 114175
o 114150
o 113627
o 113454
o 113429
o 112906
o 112577
o 112467
o 111944
o 111919
o 111396
o 110919
o 110765
o 110376
o 110351
o 109828
o 109351
o 109197
o 109176
o 109066
o 108543
o 108518
o 107995
o 107822
o 107797
o 107274
o 106945
o 106835
o 106312
o 106287
o 105764
o 105287
o 105133
o 104744
o 104590
o 104493
o 104016
o 103862
o 103473
o 103448
o 102925
o 102448
o 102294
o 102273
o 102163
o 101640
o 101615
o 101092
o 100919
o 100894
o 100371
o 100042
o 99932
o 99409
o 99384
o 98861
o 98384
o 98230
o 97841
o 97687
o 97611
o 97134
o 96980
o 96591
o 96437
o 96125
o 95971
o 95895
o 95418
o 95264
o 94875
o 94721
o 94554
o 94359
o 94205
o 93730
o 93705
o 93182
o 93009
o 92984
o 92461
o 92132
o 92022
o 91499
o 91474
o 90951
o 90474
o 90320
o 89931
o 89777
o 89701
o 89224
o 89070
o 88681
o 88527
o 88215
o 88061
o 87985
o 87508
o 87354
o 86965
o 86811
o 86644
o 86449
o 86295
o 86216
o 86159
o 86134
o 85732
o 85611
o 85403
o 85282
o 85172
o 84770
o 84649
o 84624
o 84222
o 84101
o 83745
o 83624
o 83591
o 83470
o 83202
o 83081
o 83048
o 82927
o 82851
o 82495
o 82374
o 82341
o 82220
o 81952
o 81831
o 81798
o 81677
o 81631
o 81510
o 81436
o 81315
o 81282
o 81161
o 81082
o 81050
o 80929
o 80661
o 80540
o 80507
o 80386
o 80340
o 80219
o 80145
o 80024
o 79991
o 79870
o 79758
o 79725
o 79604
o 79528
o 79373
o 79252
o 79172
o 79051
o 79018
o 78897
o 78830
o 78709
o 78629
o 78508
o 78475
o 78354
o 78308
o 78187
o 78113
o 77992
o 77959
o 77838
o 77759
o 77665
o 77585
o 77464
o 77437
o 77243
o 77122
o 77042
o 76921
o 76894
o 76863
o 76742
o 76662
o 76541
o 76514
o 76405
o 76378
o 76341
o 76220
o 76146
o 76025
o 75998
o 75946
o 75919
o 75519
o 75398
o 75379
o 75354
o 75153
o 75032
o 74952
o 74831
o 74811
o 74610
o 74489
o 74409
o 74288
o 74231
o 74110
o 74030
o 73909
o 73889
o 73688
o 73567
o 73487
o 73366
o 73246
o 73166
o 73045
o 72971
o 72850
o 72771
o 72740
o 72700
o 72579
o 72540
o 72419
o 72345
o 72224
o 72145
o 72116
o 72037
o 72006
o 71966
o 71845
o 71806
o 71685
o 71611
o 71490
o 71411
o 71396
o 71275
o 71273
o 71201
o 71080
o 71078
o 71001
o 70999
o 70970
o 70968
o 70930
o 70809
o 70807
o 70770
o 70649
o 70647
o 70575
o 70454
o 70452
o 70375
o 70373
o 70346
o 70344
o 70267
o 70265
o 70236
o 70234
o 70196
o 70075
o 70073
o 70036
o 69915
o 69913
o 69841
o 69720
o 69718
o 69641
o 69639
o 69539
o 69537
o 69465
o 69344
o 69342
o 69265
o 69263
o 69245
o 69243
o 69214
o 69212
o 69174
o 69053
o 69051
o 69014
o 68893
o 68891
o 68819
o 68698
o 68696
o 68619
o 68617
o 68589
o 68468
o 68466
o 68394
o 68273
o 68271
o 68194
o 68192
o 68092
o 68090
o 68018
o 67897
o 67895
o 67818
o 67816
o 67798
o 67796
o 67767
o 67765
o 67727
o 67606
o 67604
o 67567
o 67446
o 67444
o 67372
o 67251
o 67249
o 67172
o 67170
o 67116
o 67114
o 67042
o 66921
o 66919
o 66842
o 66840
o 66740
o 66738
o 66666
o 66545
o 66543
o 66466
o 66464
o 66446
o 66444
o 66415
o 66413
o 66375
o 66254
o 66252
o 66215
o 66094
o 66092
o 66020
o 65899
o 65897
o 65820
o 65818
o 65812
o 65810
o 65701
o 65699
o 65652
o 65650
o 65541
o 65539
o 65457
o 65455
o 65346
o 65344
o 65267
o 65265
o 65238
o 65236
o 65159
o 65157
o 65128
o 65126
o 65078
o 65076
o 64967
o 64965
o 64918
o 64916
o 64807
o 64805
o 64723
o 64721
o 64612
o 64610
o 64533
o 64531
o 64431
o 64429
o 64347
o 64345
o 64236
o 64234
o 64157
o 64155
o 64137
o 64135
o 64106
o 64104
o 64056
o 64054
o 63945
o 63943
o 63896
o 63894
o 63785
o 63783
o 63701
o 63699
o 63590
o 63588
o 63511
o 63509
o 63492
o 63468
o 63347
o 63345
o 63236
o 63234
o 63157
o 63155
o 63099
o 63097
o 63025
o 62904
o 62902
o 62881
o 62831
o 62720
o 62671
o 62560
o 62476
o 62365
o 62351
o 62349
o 62243
o 62241
o 62133
o 62131
o 62083
o 62081
o 61972
o 61970
o 61923
o 61921
o 61812
o 61810
o 61728
o 61726
o 61617
o 61615
o 61547
o 61545
o 61436
o 61434
o 61352
o 61350
o 61241
o 61239
o 61221
o 61219
o 61111
o 61109
o 61061
o 61059
o 60950
o 60948
o 60901
o 60899
o 60790
o 60788
o 60706
o 60704
o 60595
o 60593
o 60497
o 60473
o 60352
o 60350
o 60241
o 60239
o 60232
o 60121
o 60051
o 59940
o 59856
o 59745
o 59725
o 59615
o 59565
o 59454
o 59405
o 59294
o 59210
o 59099
o 59057
o 59001
o 58977
o 58856
o 58745
o 58675
o 58633
o 58577
o 58553
o 58432
o 58321
o 58303
o 58261
o 58205
o 58181
o 58060
o 57949
o 57946
o 57889
o 57833
o 57809
o 57688
o 57592
o 57574
o 57517
o 57461
o 57437
o 57316
o 57220
o 57140
o 57122
o 57114
o 57090
o 56969
o 56913
o 56889
o 56768
o 56683
o 56650
o 56626
o 56505
o 56409
o 56395
o 56299
o 56279
o 56158
o 56102
o 56078
o 55957
o 55847
o 55762
o 55651
o 55555
o 55458
o 55425
o 55304
o 55224
o 55103
o 54993
o 54908
o 54859
o 54796
o 54663
o 54567
o 54449
o 54316
o 54248
o 54115
o 54005
o 53920
o 53868
o 53839
o 53706
o 53644
o 53505
o 53372
o 53304
o 53171
o 53061
o 52979
o 52896
c 35361 branches 27349 propagates
c total generalized unit propagation = 95866, success = 34.59%
s OPTIMUM FOUND
c Optimal Solution = 52896
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
330.215u 0.004s 5:30.54 99.9%	0+0k 0+0io 0pf+0w