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_zenotravel04cc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/zenotravel04cc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 41
c lw 207
c lw 313
c lw 325
c lw 338
c lw 576
c lw 594
c lw 628
c lw 635
c lw 713
c lw 841
c lw 863
c lw 867
c lw 909
c lw 910
c lw 914
c lw 919
c lw 935
c lw 939
c lw 940
c lw 945
c lw 946
c lw 949
c lw 951
c lw 953
c lw 954
c lw 956
c lw 958
c lw 959
c lw 960
c lw 965
c lw 970
c lw 976
c lw 980
c lw 981
c lw 983
c lw 988
c lw 995
c lw 1000
c lw 1004
c lw 1010
c lw 1011
c lw 1012
c lw 1013
c lw 1019
c lw 1021
c lw 1022
c lw 1024
c lw 1026
c lw 1031
c lw 1032
c lw 1036
c lw 1039
c lw 1041
c lw 1042
c lw 1045
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 1062
c lw 1063
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
c lw 1078
c lw 1079
c lw 1080
c lw 1081
c lw 1082
c lw 1083
c lw 1084
c lw 1085
c lw 1086
c lw 1087
c lw 1088
c lw 1089
c lw 1090
c lw 1091
c lw 1093
c lw 1094
c lw 1097
c lw 1098
c lw 1101
c lw 1102
c lw 1103
c lw 1110
c lw 1114
c lw 1117
c lw 1121
c lw 1122
c lw 1123
c lw 1124
c lw 1125
c lw 1126
c lw 1129
c lw 1130
c lw 1131
c lw 1132
c lw 1133
c lw 1134
c lw 1135
c lw 1136
c lw 1137
c lw 1138
c lw 1139
c lw 1140
c lw 1141
c lw 1142
c lw 1143
c lw 1144
c lw 1145
c lw 1146
c lw 1147
c lw 1148
c lw 1149
c lw 1150
c lw 1151
c lw 1152
c lw 1153
c lw 1154
c lw 1155
c lw 1156
c lw 1157
c lw 1158
c lw 1159
c lw 1160
c lw 1161
c lw 1162
c lw 1163
c lw 1164
c lw 1165
c lw 1166
c lw 1167
c lw 1168
c lw 1169
c lw 1170
c lw 1171
c lw 1172
c lw 1173
c lw 1174
c lw 1175
c lw 1176
c lw 1177
c lw 1178
c lw 1179
c lw 1180
c lw 1181
c lw 1182
c lw 1183
c lw 1184
c lw 1185
c lw 1186
c lw 1187
c lw 1188
c lw 1189
c lw 1190
c lw 1191
c lw 1192
c lw 1193
c lw 1194
c lw 1195
c lw 1196
c lw 1197
c lw 1198
c lw 1199
c lw 1200
c lw 1201
c lw 1202
c lw 1203
c lw 1204
c lw 1205
c lw 1206
c lw 1207
c lw 1208
c lw 1209
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 1221
c lw 1222
c lw 1223
c lw 1224
c lw 1225
c lw 1226
c lw 1227
c lw 1228
c lw 1229
c lw 1230
c lw 1231
c lw 1232
c lw 1233
c lw 1234
c lw 1235
c lw 1236
c lw 1237
c lw 1238
c lw 1239
c lw 1240
c lw 1241
c lw 1242
c lw 1243
c lw 1244
c lw 1245
c lw 1246
c lw 1247
c lw 1248
c lw 1249
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 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
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
c lw 1350
c lw 1351
c lw 1352
c lw 1353
c lw 1354
c lw 1355
c lw 1356
c lw 1357
c lw 1358
c lw 1359
c lw 1360
c lw 1361
c lw 1362
c lw 1363
c lw 1364
c lw 1365
c lw 1366
c lw 1367
c lw 1368
c lw 1369
c lw 1370
c lw 1371
c lw 1372
Killed
1816.321u 3.446s 30:22.88 99.8%	0+0k 0+0io 0pf+0w