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_150_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0003.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 111926
o 111922
o 111812
o 111808
o 111783
o 111779
o 111649
o 111645
o 111535
o 111531
o 111506
o 111502
o 110854
o 110850
o 110740
o 110736
o 110711
o 110707
o 110577
o 110573
o 110463
o 110459
o 110434
o 110430
o 110371
o 110367
o 110342
o 110338
o 110291
o 110287
o 110262
o 110258
o 110185
o 110071
o 110042
o 109908
o 109794
o 109765
o 109702
o 109673
o 109622
o 109593
o 109547
o 109433
o 109270
o 109156
o 109064
o 108984
o 108875
o 108761
o 108669
o 108477
o 108385
o 108162
o 108070
o 108063
o 108056
o 108016
o 108014
o 108009
o 108007
o 107990
o 107983
o 107976
o 107936
o 107934
o 107929
o 107927
o 107895
o 107888
o 107841
o 107839
o 107815
o 107808
o 107761
o 107759
o 107735
o 107733
o 107730
o 107692
o 107679
o 107650
o 107612
o 107599
o 107586
o 107573
o 107556
o 107490
o 107464
o 107457
o 107427
o 107385
o 107347
o 107345
o 107307
o 107304
o 107297
o 107291
o 107253
o 107116
o 107078
o 107071
o 107049
o 107035
o 106997
o 106834
o 106796
o 106770
o 106607
o 106569
o 106558
o 106520
o 106514
o 106476
o 106469
o 106419
o 106381
o 106374
o 106339
o 106301
o 106294
c 13026 branches 37185 propagates
c total generalized unit propagation = 62853, success = 20.11%
s OPTIMUM FOUND
c Optimal Solution = 106294
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
66.745u 0.002s 1:06.81 99.8%	0+0k 0+0io 0pf+0w