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