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_AUCTIONS_AUC_PATHS_cat_paths_60_120_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0003.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 80354
o 80262
o 80036
o 79944
o 79935
o 79898
o 79806
o 79580
o 79488
o 79479
o 79199
o 79107
o 78881
o 78789
o 78780
o 78743
o 78651
o 78425
o 78333
o 78324
o 78272
o 78180
o 78125
o 78116
o 78078
o 78069
o 78048
o 78039
o 78001
o 77992
o 77936
o 77881
o 77872
o 77834
o 77825
o 77804
o 77795
o 77757
o 77748
o 77491
o 77399
o 77390
o 77283
o 77191
o 77182
o 77144
o 77135
o 77114
o 77105
o 77067
o 77058
o 77039
o 76947
o 76938
o 76900
o 76891
o 76870
o 76861
o 76823
o 76814
o 76805
o 76713
o 76704
o 76666
o 76657
o 76636
o 76627
o 76589
o 76580
o 76546
o 76537
o 76518
o 76426
o 76417
o 76379
o 76370
o 76349
o 76340
o 76302
o 76293
o 76284
o 76192
o 76183
o 76145
o 76136
o 76115
o 76106
o 76068
o 76059
o 76042
o 76033
o 76025
o 76016
o 75983
o 75974
o 75969
o 75936
o 75927
o 75906
o 75897
o 75892
o 75859
o 75850
o 75833
o 75800
o 75791
o 75782
o 75749
o 75740
o 75735
o 75702
o 75693
o 75672
o 75663
o 75658
o 75625
o 75616
o 75603
o 75570
o 75561
o 75556
o 75523
o 75514
o 75513
o 75504
o 75495
o 75462
o 75453
o 75448
o 75415
o 75406
o 75385
o 75376
o 75371
o 75338
o 75329
o 75312
o 75279
o 75270
o 75261
o 75228
o 75219
o 75214
o 75181
o 75172
o 75151
o 75142
o 75137
o 75104
o 75095
o 75078
o 75069
o 75036
o 75027
o 75010
o 74977
o 74968
o 74959
o 74926
o 74917
o 74912
o 74879
o 74870
o 74849
o 74840
o 74835
o 74802
o 74793
o 74694
o 74661
o 74652
o 74647
o 74614
o 74605
o 74601
o 74596
o 74563
o 74554
o 74475
o 74442
o 74433
o 74428
o 74395
o 74386
o 74382
o 74377
o 74344
o 74335
c 721 branches 2421 propagates
c total generalized unit propagation = 3445, success = 8.80%
s OPTIMUM FOUND
c Optimal Solution = 74335
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
1.701u 0.006s 0:01.72 98.8%	0+0k 0+0io 0pf+0w