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