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_comp03.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/timetabling/comp03.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...pms_industrial/timetabling/comp03.wcnf
c Solving...
o 1036
o 1035
o 1033
o 1032
o 1030
o 1028
o 1027
o 1026
o 1024
o 1022
o 1021
o 1020
o 1019
o 950
o 712
o 711
o 710
o 709
o 708
o 706
o 705
o 704
o 703
o 702
o 701
o 699
o 698
o 697
o 695
o 694
o 693
o 692
o 691
o 689
o 688
o 686
o 685
o 683
o 682
o 681
o 679
o 678
o 676
o 674
o 673
o 672
o 671
o 669
o 668
o 667
o 666
o 664
o 662
o 660
o 659
o 657
o 655
o 653
o 628
o 627
o 625
o 623
o 621
o 486
o 484
o 482
o 480
o 479
o 477
o 475
o 473
o 471
o 469
o 467
o 465
o 464
o 462
o 461
o 460
o 458
o 457
o 456
o 454
o 453
o 451
o 449
o 447
o 446
o 444
o 443
o 442
o 440
o 439
o 437
o 436
o 432
o 430
o 429
o 428
o 426
o 304
1979.117u 0.608s 34:12.87 96.4%	0+0k 0+0io 0pf+0w