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