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_comp04.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/timetabling/comp04.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...pms_industrial/timetabling/comp04.wcnf
c Solving...
o 872
o 871
o 870
o 869
o 867
o 865
o 864
o 863
o 861
o 860
o 858
o 857
o 855
o 854
o 853
o 851
o 849
o 847
o 845
o 843
o 842
o 841
o 839
o 837
o 836
o 834
o 833
o 831
o 829
o 828
o 827
o 825
o 824
o 823
o 822
o 821
o 819
o 818
o 817
o 816
o 814
o 812
o 810
o 808
o 807
o 805
o 804
o 803
o 802
o 801
o 800
o 799
o 798
o 796
o 795
o 793
o 792
o 790
o 788
o 787
o 786
o 785
o 784
o 783
o 782
o 780
o 779
o 778
o 777
o 776
o 775
o 773
o 771
o 770
o 769
o 768
o 766
o 765
o 763
o 762
o 760
o 759
o 758
o 757
o 756
o 755
o 754
o 752
o 750
o 748
o 746
o 745
o 744
o 742
o 740
o 739
o 738
o 736
o 734
o 732
o 731
o 729
o 728
o 727
o 725
o 724
o 723
o 722
o 721
o 720
o 719
o 718
o 717
o 715
o 713
o 712
o 711
o 710
o 709
o 708
o 707
o 705
o 704
o 703
o 702
o 701
o 700
o 699
o 698
o 696
o 695
o 694
o 692
o 691
o 690
o 689
o 687
o 685
o 684
o 682
o 680
o 679
o 677
o 676
o 674
o 672
o 670
o 668
o 667
o 666
o 664
o 663
o 661
o 659
o 657
o 656
o 655
o 654
o 652
o 651
o 649
o 648
o 647
o 646
o 645
o 644
o 643
o 642
o 640
o 638
o 637
o 636
o 635
o 634
o 632
o 631
o 630
o 629
o 627
o 625
o 624
o 623
o 621
o 619
o 617
o 615
o 614
o 613
o 612
o 610
o 609
o 607
o 606
o 604
o 603
o 602
o 601
o 600
o 599
o 597
o 595
o 593
o 592
o 590
o 588
o 587
o 586
o 584
o 582
o 580
o 579
o 578
o 577
o 576
o 575
o 574
o 573
o 572
o 571
o 570
o 569
o 567
o 566
o 565
o 564
o 563
o 562
o 561
o 560
o 559
o 557
o 556
o 555
o 553
o 551
o 550
o 549
o 420
o 408
o 406
o 405
o 404
o 403
o 401
o 400
o 364
o 362
o 356
o 296
o 222
1979.315u 0.403s 33:02.07 99.8%	0+0k 0+0io 0pf+0w