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_satellite02ac.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/satellite02ac.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 95
c lw 195
c lw 295
c lw 395
c lw 485
c lw 491
c lw 500
c lw 505
c lw 605
c lw 610
c lw 625
c lw 630
c lw 635
c lw 636
c lw 655
c lw 656
c lw 661
c lw 666
c lw 715
c lw 730
c lw 731
c lw 735
c lw 739
c lw 740
c lw 745
c lw 749
c lw 750
c lw 751
c lw 755
c lw 760
c lw 761
c lw 765
c lw 780
c lw 785
c lw 800
c lw 805
c lw 860
c lw 864
c lw 865
c lw 866
c lw 867
c lw 870
c lw 885
c lw 888
c lw 889
c lw 890
c lw 891
c lw 892
c lw 893
c lw 895
c lw 896
c lw 897
c lw 899
c lw 900
c lw 901
c lw 906
c lw 911
c lw 912
c lw 915
c lw 916
c lw 917
c lw 919
c lw 920
c lw 921
c lw 922
c lw 923
c lw 924
c lw 925
c lw 926
c lw 930
c lw 931
c lw 932
c lw 934
c lw 935
c lw 936
c lw 937
c lw 938
c lw 939
c lw 940
c lw 943
c lw 944
c lw 945
c lw 959
c lw 960
c lw 961
c lw 962
c lw 963
c lw 965
c lw 966
c lw 967
c lw 968
c lw 969
c lw 970
c lw 971
c lw 972
c lw 973
c lw 974
c lw 975
c lw 976
c lw 977
c lw 978
c lw 979
c lw 980
c lw 981
c lw 982
c lw 983
c lw 984
c lw 985
c lw 986
c lw 988
c lw 990
c lw 1007
c lw 1008
c lw 1009
c lw 1010
c lw 1011
c lw 1012
c lw 1013
c lw 1014
c lw 1015
c lw 1016
c lw 1017
c lw 1018
c lw 1019
c lw 1021
c lw 1022
c lw 1023
c lw 1024
c lw 1025
c lw 1026
c lw 1027
c lw 1028
c lw 1029
c lw 1030
c lw 1031
c lw 1032
c lw 1033
c lw 1034
c lw 1035
c lw 1036
c lw 1037
c lw 1038
c lw 1039
c lw 1040
c lw 1041
c lw 1042
c lw 1043
c lw 1044
c lw 1045
c lw 1046
c lw 1047
c lw 1048
c lw 1049
c lw 1050
c lw 1051
c lw 1052
c lw 1053
c lw 1054
c lw 1055
c lw 1056
c lw 1057
c lw 1058
c lw 1059
c lw 1060
c lw 1061
c lw 1062
c lw 1063
c lw 1064
c lw 1065
c lw 1066
c lw 1067
c lw 1068
c lw 1069
c lw 1070
c lw 1071
c lw 1072
c lw 1073
c lw 1074
c lw 1075
c lw 1076
c lw 1077
Killed
1818.338u 1.427s 46:31.98 65.1%	0+0k 0+0io 0pf+0w