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_comp19.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/timetabling/comp19.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...pms_industrial/timetabling/comp19.wcnf
c Solving...
o 1070
o 1068
o 1066
o 1065
o 951
o 950
o 948
o 946
o 944
o 943
o 941
o 939
o 938
o 937
o 935
o 934
o 933
o 931
o 930
o 928
o 926
o 924
o 923
o 922
o 920
o 918
o 916
o 914
o 913
o 911
o 910
o 909
o 907
o 906
o 905
o 903
o 807
o 805
o 803
o 802
o 801
o 800
o 798
o 796
o 794
o 793
o 792
o 791
o 790
o 789
o 787
o 786
o 784
o 782
o 781
o 779
o 778
o 776
o 775
o 774
o 773
o 772
o 770
o 769
o 768
o 767
o 765
o 763
o 762
o 761
o 759
o 757
o 755
o 753
o 751
o 750
o 749
o 748
o 746
o 745
o 743
o 741
o 740
o 739
o 738
o 737
o 736
o 735
o 734
o 733
o 732
o 730
o 729
o 728
o 727
o 725
o 724
o 722
o 720
o 719
o 717
o 715
o 713
o 712
o 711
o 709
o 707
o 706
o 705
o 703
o 702
o 701
o 700
o 699
o 698
o 696
o 694
o 693
o 692
o 691
o 690
o 689
o 688
o 687
o 686
o 685
o 684
o 682
o 681
o 679
o 677
o 676
o 674
o 672
o 670
o 669
o 668
o 666
o 664
o 663
o 662
o 661
o 659
o 657
o 655
o 654
o 652
o 650
o 626
o 625
o 623
o 622
o 620
o 618
o 617
o 615
o 614
o 612
o 611
o 562
o 560
o 558
o 556
o 555
o 554
o 552
o 550
o 490
o 489
o 478
o 477
o 476
o 475
o 473
o 471
o 467
o 450
o 449
o 448
o 446
o 443
o 441
o 440
o 438
o 436
o 435
o 434
o 432
o 431
o 429
o 390
o 389
o 388
1979.163u 0.559s 33:04.32 99.7%	0+0k 0+0io 0pf+0w