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