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