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_comp13.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/timetabling/comp13.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...pms_industrial/timetabling/comp13.wcnf
c Solving...
o 1037
o 1016
o 1015
o 1014
o 1013
o 1011
o 1010
o 1008
o 1006
o 1004
o 1003
o 1002
o 1001
o 999
o 998
o 997
o 995
o 994
o 993
o 992
o 990
o 988
o 986
o 985
o 983
o 982
o 980
o 979
o 978
o 976
o 975
o 974
o 972
o 971
o 969
o 968
o 967
o 965
o 963
o 961
o 960
o 959
o 958
o 956
o 955
o 953
o 952
o 951
o 950
o 949
o 948
o 947
o 946
o 945
o 944
o 942
o 941
o 940
o 938
o 936
o 935
o 934
o 932
o 930
o 929
o 927
o 925
o 923
o 921
o 919
o 918
o 916
o 915
o 913
o 911
o 910
o 909
o 907
o 905
o 904
o 902
o 901
o 900
o 898
o 896
o 895
o 893
o 891
o 889
o 888
o 887
o 885
o 883
o 882
o 881
o 880
o 878
o 876
o 874
o 872
o 870
o 868
o 866
o 865
o 864
o 862
o 860
o 858
o 856
o 855
o 854
o 852
o 850
o 849
o 848
o 846
o 844
o 842
o 840
o 838
o 837
o 836
o 835
o 834
o 833
o 831
o 830
o 828
o 826
o 825
o 823
o 821
o 820
o 819
o 818
o 817
o 815
o 814
o 812
o 810
o 809
o 808
o 806
o 805
o 804
o 802
o 801
o 799
o 797
o 795
o 793
o 792
o 791
o 790
o 788
o 786
o 784
o 782
o 780
o 779
o 777
o 776
o 775
o 773
o 771
o 769
o 767
o 765
o 764
o 762
o 761
o 759
o 757
o 756
o 754
o 753
o 752
o 751
o 749
o 748
o 747
o 746
o 745
o 744
o 743
o 742
o 741
o 739
o 738
o 737
o 736
o 735
o 733
o 731
o 729
o 728
o 726
o 725
o 724
o 722
o 721
o 720
o 718
o 717
o 715
o 714
o 713
o 712
o 710
o 709
o 708
o 706
o 705
o 704
o 702
o 701
o 700
o 699
o 698
o 697
o 696
o 694
o 692
o 691
o 689
o 688
o 687
o 685
o 684
o 682
o 680
o 679
o 678
o 677
o 676
o 674
o 673
o 672
o 670
o 668
o 667
o 666
o 664
o 663
o 661
o 660
o 658
o 657
o 656
o 655
o 654
o 653
o 652
o 650
o 504
o 503
o 502
o 500
o 498
o 496
o 480
o 478
o 476
o 475
o 474
o 472
o 471
o 470
o 468
o 466
o 464
o 462
o 461
1979.229u 0.487s 33:02.74 99.8%	0+0k 0+0io 0pf+0w