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