Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C2500_H150_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_6.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...e_rwpms_wcnf_L2_V150_C2500_H150_6.wcnf
c Solving...
o 3264
o 3247
o 3238
o 3067
o 3062
o 3055
o 3052
o 3040
o 3036
o 3030
o 3024
o 3023
o 3009
o 2940
o 2932
o 2929
o 2922
o 2919
o 2913
o 2912
o 2908
o 2907
o 2906
o 2902
o 2895
o 2891
o 2889
o 2877
o 2876
o 2871
o 2866
o 2861
o 2860
o 2858
o 2847
o 2846
o 2843
o 2842
o 2841
1979.535u 0.168s 33:11.88 99.3%	0+0k 0+0io 0pf+0w