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-lp4l.opb.msat.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-lp4l.opb.msat.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 40
c lw 52
c lw 80
c lw 108
c lw 138
c lw 168
c lw 215
c lw 248
c lw 283
c lw 323
c lw 346
c lw 365
c lw 378
c lw 417
c lw 442
c lw 465
c lw 486
c lw 527
c lw 528
c lw 553
c lw 594
c lw 633
c lw 649
c lw 660
c lw 687
c lw 703
c lw 729
c lw 744
c lw 755
c lw 760
c lw 762
c lw 788
c lw 808
c lw 813
c lw 814
c lw 825
c lw 841
c lw 871
c lw 934
c lw 938
c lw 955
c lw 971
c lw 972
c lw 984
c lw 995
c lw 998
c lw 1022
c lw 1043
c lw 1047
c lw 1073
c lw 1079
c lw 1081
c lw 1084
c lw 1086
c lw 1087
c lw 1088
c lw 1091
c lw 1092
c lw 1098
c lw 1118
c lw 1119
c lw 1122
c lw 1123
c lw 1124
c lw 1130
c lw 1131
c lw 1132
c lw 1134
c lw 1135
c lw 1142
c lw 1147
c lw 1169
c lw 1173
c lw 1174
c lw 1175
c lw 1176
c lw 1177
c lw 1179
c lw 1181
c lw 1182
c lw 1183
c lw 1186
c lw 1188
c lw 1189
c lw 1190
c lw 1191
c lw 1192
c lw 1193
c lw 1194
c lw 1197
c lw 1198
c lw 1201
c lw 1202
c lw 1203
c lw 1205
c lw 1206
c lw 1207
c lw 1208
c lw 1210
c lw 1211
c lw 1212
c lw 1213
c lw 1214
c lw 1215
c lw 1216
c lw 1217
c lw 1218
c lw 1219
c lw 1220
c lw 1222
c lw 1223
c lw 1224
c lw 1225
c lw 1227
c lw 1228
c lw 1230
c lw 1232
c lw 1244
c lw 1245
c lw 1246
c lw 1250
c lw 1251
c lw 1252
c lw 1253
c lw 1254
c lw 1255
c lw 1256
c lw 1257
c lw 1258
c lw 1259
c lw 1260
c lw 1261
c lw 1262
c lw 1263
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
c lw 1305
c lw 1306
c lw 1307
c lw 1308
c lw 1309
c lw 1310
c lw 1311
c lw 1312
c lw 1313
c lw 1314
c lw 1315
c lw 1316
c lw 1317
c lw 1318
c lw 1319
c lw 1320
c lw 1321
c lw 1322
c lw 1323
c lw 1324
c lw 1325
c lw 1326
c lw 1327
c lw 1328
c lw 1329
c lw 1330
c lw 1331
c lw 1332
c lw 1333
c lw 1334
c lw 1335
c lw 1336
c lw 1337
c lw 1338
c lw 1339
c lw 1340
c lw 1341
c lw 1342
c lw 1343
c lw 1344
c lw 1345
c lw 1346
c lw 1347
c lw 1348
c lw 1349
Killed
1816.906u 2.863s 30:23.70 99.7%	0+0k 0+0io 0pf+0w