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_test2.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/timetabling/test2.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...wpms_industrial/timetabling/test2.wcnf
c Solving...
o 747
o 710
o 706
o 703
o 701
o 699
o 697
o 696
o 695
o 693
o 692
o 691
o 689
o 675
o 658
o 657
o 655
o 654
o 653
o 652
o 650
o 649
o 647
o 645
o 643
o 641
o 640
o 639
o 637
o 635
o 634
o 633
o 632
o 630
o 628
o 627
o 626
o 625
o 624
o 623
o 621
o 620
o 618
o 617
o 616
o 615
o 614
o 613
o 612
o 610
o 608
o 606
o 605
o 603
o 602
o 600
o 599
o 598
o 597
o 596
o 594
o 593
1979.350u 0.365s 33:01.99 99.8%	0+0k 0+0io 0pf+0w