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_C600_H100_1.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C600_H100_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 130
o 128
o 125
o 120
o 119
o 117
o 115
o 113
o 108
o 105
o 103
o 102
o 101
o 98
o 96
o 94
o 93
o 92
o 90
o 89
o 88
o 85
o 84
o 80
o 79
o 75
o 74
o 73
o 72
o 69
o 68
o 67
o 66
o 65
o 64
o 63
o 62
o 60
o 59
o 57
o 56
o 54
o 53
o 52
o 50
o 47
o 45
o 41
o 39
o 37
o 36
o 35
o 34
o 32
o 30
o 28
o 27
o 24
o 22
o 19
o 18
o 17
o 15
c 6520 branches 6502 propagates
c total generalized unit propagation = 19366, success = 32.76%
s OPTIMUM FOUND
c Optimal Solution = 15
v 25 -11 64 -9 73 -81 -37 -17 24 -59 -80 94 -56 29 58 -40 16 -71 -41 -50 96 -51 -6 21 -100 87 -38 39 68 20 -18 85 95 93 91 79 -67 -33 -19 -47 -90 -23 54 -63 -99 -3 82 -61 44 -13 8 -62 14 1 70 74 27 -7 -12 30 -43 -28 32 -98 65 22 -48 -84 -55 45 -88 77 97 75 10 53 66 -52 -34 2 -89 -42 -15 69 4 -26 -36 -46 60 -31 49 83 -76 78 -5 86 57 92 -35 72
9.658u 0.001s 0:09.72 99.2%	0+0k 0+0io 0pf+0w