Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wms_industrial-_home_maxsat_benchmarks_wms_industrial_aes_mul_8_3.wcnf
Job file: /home/maxsat/benchmarks/wms_industrial/aes/mul_8_3.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...hmarks/wms_industrial/aes/mul_8_3.wcnf
c Solving...
o 952
o 951
o 950
o 949
o 948
o 947
o 946
o 945
o 944
o 943
o 942
o 941
o 940
o 939
o 938
o 937
o 936
o 935
o 934
o 933
o 932
o 931
o 930
o 929
o 928
o 927
o 926
o 925
o 924
o 910
o 684
o 557
o 556
o 555
o 554
o 553
o 521
o 520
o 519
o 518
o 504
o 501
o 500
o 496
o 495
o 494
o 493
o 492