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