Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax3sat_hi_file_rwpms_wcnf_L3_V100_C700_H100_9.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C700_H100_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 169
o 152
o 144
o 142
o 135
o 134
o 133
o 129
o 121
o 112
o 111
o 110
o 109
o 98
o 97
o 90
o 88
o 84
o 83
o 82
o 81
o 79
o 78
o 77
o 73
o 70
o 68
o 67
o 64
o 61
o 57
o 56
o 54
o 53
o 47
o 45
c 16451 branches 12944 propagates
c total generalized unit propagation = 45753, success = 35.75%
s OPTIMUM FOUND
c Optimal Solution = 45
v -22 53 88 -48 32 -98 92 96 12 20 -69 -62 -47 -4 25 -90 -33 1 -75 36 41 58 -26 -37 -71 70 60 93 78 -39 -11 7 80 43 85 -31 57 81 84 -83 74 89 -5 49 2 94 91 -38 -86 21 -9 -77 10 -97 99 -40 -44 82 16 -45 87 -73 -19 -42 8 23 79 -14 -6 -100 28 35 -72 -29 24 67 34 -64 76 95 52 -55 63 3 -13 15 54 -17 -61 18 66 68 51 -56 -50 -30 59 -65 27 46
40.072u 0.000s 0:40.09 99.9%	0+0k 0+0io 0pf+0w