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_comp14.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/timetabling/comp14.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...pms_industrial/timetabling/comp14.wcnf
c Solving...
o 1197
o 1176
o 1175
o 1029
o 1028
o 1026
o 1006
o 1005
o 1003
o 1001
o 999
o 803
o 802
o 801
o 750
o 686
o 685
o 684
o 683
o 681
o 680
o 678
o 677
o 676
o 675
o 673
o 671
o 669
o 668
o 667
o 665
o 663
o 662
o 661
o 660
o 658
o 657
o 656
o 655
o 653
o 652
o 651
o 649
o 648
o 647
o 646
o 645
o 643
o 641
o 640
o 639
o 638
o 637
o 636
o 635
o 633
o 631
o 630
o 629
o 628
o 626
o 625
o 624
o 622
o 621
o 620
o 618
o 616
o 614
o 613
o 612
o 611
o 610
o 608
o 606
o 604
o 603
o 601
o 600
o 599
o 598
o 597
o 570
o 569
o 567
o 565
o 564
o 554
o 522
o 520
o 519
o 518
o 517
o 516
o 514
o 513
o 512
o 511
o 509
o 508
o 507
o 506
o 504
o 502
o 501
o 500
o 496
o 472
o 470
o 468
o 466
o 465
o 464
o 440
o 439
o 438
o 437
o 435
o 433
o 431
o 430
o 429
o 428
o 426
o 406
o 404
o 402
o 401
o 400
o 399
1979.224u 0.495s 33:19.84 98.9%	0+0k 0+0io 0pf+0w