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_PSEUDO_miplib_normalized-mps-v2-20-10-p0201.opb.msat.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-p0201.opb.msat.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 40
c lw 50
c lw 80
c lw 120
c lw 130
c lw 160
c lw 280
c lw 310
c lw 370
c lw 430
c lw 510
c lw 590
c lw 660
c lw 730
c lw 790
c lw 850
c lw 900
c lw 950
c lw 990
c lw 1030
c lw 1060
c lw 1090
c lw 1110
c lw 1130
c lw 1140
c lw 1150
c lw 1155
c lw 1160
c lw 1165
c lw 1170
c lw 1180
c lw 1190
c lw 1195
c lw 1200
c lw 1205
c lw 1210
c lw 1215
c lw 1220
c lw 1225
c lw 1227
c lw 1230
c lw 1232
c lw 1235
c lw 1245
c lw 1247
c lw 1257
c lw 1259
c lw 1260
c lw 1261
c lw 1262
c lw 1264
c lw 1265
c lw 1266
c lw 1267
c lw 1268
c lw 1269
c lw 1270
c lw 1271
c lw 1272
c lw 1273
c lw 1274
c lw 1275
c lw 1276
c lw 1277
c lw 1278
c lw 1279
c lw 1280
c lw 1281
c lw 1282
c lw 1283
c lw 1284
c lw 1285
c lw 1286
c lw 1287
c lw 1288
c lw 1289
c lw 1290
c lw 1291
c lw 1292
c lw 1293
c lw 1294
c lw 1295
c lw 1296
c lw 1297
c lw 1298
c lw 1299
c lw 1300
c lw 1301
c lw 1302
c lw 1303
c lw 1304