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