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_satellite02bc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/satellite02bc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 80
c lw 180
c lw 280
c lw 390
c lw 480
c lw 505
c lw 522
c lw 537
c lw 762
c lw 770
c lw 785
c lw 795
c lw 797
c lw 812
c lw 922
c lw 939
c lw 956
c lw 972
c lw 995
c lw 997
c lw 1045
c lw 1052
c lw 1059
c lw 1060
c lw 1062
c lw 1095
c lw 1128
c lw 1134
c lw 1136
c lw 1137
c lw 1138
c lw 1140
c lw 1141
c lw 1144
c lw 1145
c lw 1147
c lw 1153
c lw 1154
c lw 1156
c lw 1157
c lw 1158
c lw 1160
c lw 1161
c lw 1162
c lw 1166
c lw 1168
c lw 1170
c lw 1178
c lw 1182
c lw 1190
c lw 1191
c lw 1192
c lw 1198
c lw 1200
c lw 1201
c lw 1202
c lw 1204
c lw 1205
c lw 1207
c lw 1208
c lw 1215
c lw 1216
c lw 1218
c lw 1224
c lw 1225
c lw 1228
c lw 1229
c lw 1232
c lw 1233
c lw 1235
c lw 1236
c lw 1241
c lw 1242
c lw 1243
c lw 1251
c lw 1260
c lw 1285
c lw 1286
c lw 1287
c lw 1288
c lw 1289
c lw 1290
c lw 1292
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 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 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 1355
c lw 1381
c lw 1387
c lw 1388
c lw 1389
c lw 1390
c lw 1391
c lw 1394
c lw 1395
c lw 1396
c lw 1397
c lw 1398
c lw 1399
c lw 1400
c lw 1401
c lw 1402
c lw 1403
c lw 1404
c lw 1405
c lw 1406
c lw 1407
c lw 1408
c lw 1409
c lw 1410
c lw 1411
c lw 1412
c lw 1413
c lw 1414
c lw 1415
c lw 1416
c lw 1417
c lw 1418
c lw 1419
c lw 1420
c lw 1421
c lw 1422
c lw 1423
c lw 1424
c lw 1425
c lw 1426
c lw 1427
c lw 1428
c lw 1429
c lw 1430
c lw 1431
c lw 1432
c lw 1433
c lw 1434
c lw 1435
c lw 1436
c lw 1437
c lw 1438
c lw 1439
c lw 1440
c lw 1441
c lw 1442
c lw 1443
c lw 1444
c lw 1445
c lw 1446
c lw 1447
c lw 1448
c lw 1449
c lw 1450
c lw 1451
c lw 1452
c lw 1453
c lw 1454
c lw 1455
c lw 1456
c lw 1457
c lw 1458
c lw 1459
c lw 1460
c lw 1461
c lw 1462
c lw 1463
c lw 1464
c lw 1465
c lw 1466
c lw 1467
c lw 1468
c lw 1469
c lw 1470
c lw 1471
c lw 1472
c lw 1473
c lw 1474
c lw 1475
c lw 1476
c lw 1477
c lw 1478
c lw 1479
c lw 1480
c lw 1481
c lw 1482
c lw 1483
c lw 1484
c lw 1485
c lw 1486
c lw 1487
c lw 1488
c lw 1489
c lw 1490
c lw 1491
c lw 1492
c lw 1493
c lw 1494
c lw 1495
c lw 1496
c lw 1497
c lw 1498
c lw 1499
c lw 1500
c lw 1501
c lw 1502
c lw 1503
c lw 1504
c lw 1505
c lw 1506
c lw 1507
c lw 1508
c lw 1509
c lw 1510
c lw 1511
c lw 1512
c lw 1513
c lw 1514
c lw 1515
c lw 1516
c lw 1517
Killed
1815.341u 4.416s 30:22.23 99.8%	0+0k 0+0io 0pf+0w