Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-pms_random-_home_maxsat_benchmarks_pms_random_pmax3sat_lo_file_rpms_wcnf_L3_V100_C300_H100_9.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax3sat/lo/file_rpms_wcnf_L3_V100_C300_H100_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 0
o 0
c 0 branches 0 propagates
c total generalized unit propagation = 0, success = nan%
s OPTIMUM FOUND
c Optimal Solution = 0
v -14 28 -46 -83 52 -7 -24 -71 94 -34 -32 -86 -78 12 -15 29 -38 74 -91 -77 -58 -75 -10 -57 -65 2 -20 -26 -90 61 3 53 54 1 49 93 -92 -36 -97 -50 27 -37 -73 21 4 -31 76 33 82 -69 -88 59 72 -42 48 55 62 96 51 -70 79 87 -17 -30 -44 -6 81 8 35 -5 -13 19 64 -41 40 -63 80 43 -39 -100 11 -66 -16 -89 -56 -22 -47 -95 -99 84 -23 18 -67 -85 -60 98 -45 -9 25 68
0.007u 0.006s 0:00.01 0.0%	0+0k 0+0io 0pf+0w