Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_timetabling_comp08.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/timetabling/comp08.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...pms_industrial/timetabling/comp08.wcnf
c Solving...
o 1070
o 1062
o 1060
o 1058
o 1048
o 1047
o 1046
o 1044
o 1042
o 1041
o 1039
o 1038
o 1036
o 1035
o 1033
o 1032
o 1031
o 1029
o 1028
o 1027
o 1026
o 1025
o 1024
o 1023
o 1022
o 1020
o 1018
o 1017
o 1015
o 1014
o 1013
o 1011
o 1010
o 1009
o 1008
o 1007
o 1005
o 1004
o 1003
o 1001
o 999
o 997
o 996
o 994
o 992
o 991
o 990
o 988
o 987
o 985
o 983
o 981
o 979
o 978
o 976
o 975
o 973
o 971
o 970
o 968
o 967
o 966
o 964
o 963
o 961
o 960
o 959
o 958
o 956
o 954
o 953
o 952
o 951
o 949
o 948
o 947
o 946
o 945
o 944
o 942
o 940
o 939
o 937
o 935
o 934
o 933
o 932
o 930
o 929
o 927
o 926
o 925
o 923
o 922
o 920
o 919
o 917
o 916
o 914
o 913
o 912
o 911
o 910
o 909
o 907
o 906
o 904
o 903
o 901
o 899
o 897
o 895
o 894
o 893
o 891
o 889
o 888
o 886
o 884
o 882
o 880
o 878
o 877
o 875
o 874
o 873
o 872
o 871
o 870
o 869
o 868
o 866
o 864
o 863
o 862
o 860
o 858
o 857
o 856
o 855
o 854
o 853
o 852
o 850
o 849
o 848
o 847
o 845
o 844
o 843
o 842
o 840
o 839
o 838
o 836
o 835
o 833
o 832
o 830
o 828
o 827
o 825
o 823
o 821
o 820
o 819
o 818
o 816
o 814
o 813
o 812
o 810
o 809
o 807
o 806
o 805
o 803
o 801
o 800
o 799
o 797
o 796
o 794
o 792
o 791
o 789
o 788
o 787
o 786
o 784
o 783
o 782
o 781
o 780
o 779
o 778
o 776
o 774
o 772
o 770
o 768
o 766
o 765
o 763
o 762
o 760
o 759
o 758
o 757
o 755
o 754
o 753
o 752
o 750
o 748
o 747
o 746
o 745
o 743
o 742
o 740
o 739
o 738
o 736
o 734
o 732
o 731
o 730
o 728
o 727
o 725
o 723
o 721
o 720
o 718
o 716
o 714
o 713
o 712
o 711
o 710
o 708
o 707
o 406
o 404
o 402
1979.030u 0.700s 33:03.53 99.8%	0+0k 0+0io 0pf+0w