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_satellite01ac.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/satellite01ac.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 100
c lw 200
c lw 300
c lw 350
c lw 450
c lw 600
c lw 605
c lw 675
c lw 900
c lw 925
c lw 950
c lw 975
c lw 1050
c lw 1075
c lw 1100
c lw 1125
c lw 1150
c lw 1155
c lw 1175
c lw 1180
c lw 1200
c lw 1205
c lw 1220
c lw 1225
c lw 1230
c lw 1235
c lw 1240
c lw 1245
c lw 1250
c lw 1255
c lw 1260
c lw 1265
c lw 1270
c lw 1275
c lw 1280
c lw 1285
c lw 1290
c lw 1295
c lw 1300
c lw 1305
c lw 1310
c lw 1315
c lw 1320
c lw 1325
c lw 1330
c lw 1335
c lw 1340
c lw 1345
c lw 1350
c lw 1355
c lw 1360
c lw 1365
c lw 1370
c lw 1375
c lw 1380
c lw 1385