Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wpm1-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_min-enc_planning_driverlog08c.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/driverlog08c.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 25
c lw 60
c lw 100
c lw 130
c lw 185
c lw 285
c lw 385
c lw 390
c lw 395
c lw 435
c lw 440
c lw 445
c lw 460
c lw 480
c lw 485
c lw 490
c lw 495
c lw 500
c lw 505
c lw 525
c lw 530
c lw 535
c lw 540
c lw 565
c lw 570
c lw 575
c lw 580
c lw 585
c lw 590
c lw 595
c lw 600
c lw 605
c lw 610
c lw 615
c lw 620
c lw 625
c lw 630
c lw 635
c lw 640
c lw 645
c lw 650
c lw 655
c lw 660
c lw 665
c lw 670
c lw 680
c lw 695
c lw 700
c lw 705
c lw 710
c lw 715
c lw 720
c lw 725
c lw 730
c lw 735
c lw 740
c lw 745
c lw 750
c lw 755
c lw 760
c lw 765
c lw 770
c lw 775
c lw 780
c lw 785
c lw 790
c lw 795
c lw 800
c lw 805
c lw 810
c lw 815
c lw 820
c lw 825
c lw 830
c lw 840
c lw 845
c lw 850
c lw 855
c lw 860
c lw 875
c lw 895
c lw 900
c lw 955
c lw 965
c lw 970
c lw 975
c lw 980
c lw 985
c lw 990
c lw 995
c lw 1000
c lw 1005
c lw 1010
c lw 1015
c lw 1020
c lw 1025
c lw 1030
c lw 1035
c lw 1040
c lw 1045
c lw 1050
c lw 1055
c lw 1060
c lw 1065
c lw 1070
c lw 1075
c lw 1080
c lw 1085
c lw 1090
c lw 1095
c lw 1100
c lw 1105
c lw 1110
c lw 1115
c lw 1120
c lw 1125
c lw 1130
Killed
1818.703u 1.059s 30:21.13 99.9%	0+0k 0+0io 0pf+0w