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_logistics01bc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/logistics01bc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 20
c lw 55
c lw 110
c lw 705
c lw 740
c lw 745
c lw 770
c lw 830
c lw 1005
c lw 1105
c lw 1130
c lw 1175
c lw 1205
c lw 1225
c lw 1250
c lw 1800
c lw 1812
c lw 1820
c lw 1835
c lw 1870
c lw 1875
c lw 1905
c lw 1915
c lw 1970
c lw 4470
c lw 4475
c lw 5070
c lw 5090
c lw 5115
c lw 5125
c lw 5155
c lw 5160
c lw 7790
c lw 7845
c lw 7850
c lw 7865
c lw 7885
c lw 7910
c lw 7918
c lw 7925
c lw 7930
c lw 7935
c lw 7945
c lw 7950
c lw 7955
c lw 7958
c lw 7960
c lw 7965
c lw 7967
c lw 7975
c lw 7978
c lw 7980
c lw 7983
c lw 7985
c lw 7990
c lw 7995
c lw 7998
c lw 8000
c lw 8002
c lw 8004
c lw 8005
c lw 8006
c lw 8007
c lw 8008
c lw 8010
c lw 8011
c lw 8012
c lw 8013
c lw 8014
c lw 8015
c lw 8016
c lw 8017
c lw 8018
Abort
339.455u 0.623s 7:31.79 75.2%	0+0k 0+0io 0pf+0w