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_rovers02cc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/rovers02cc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 102
c lw 112
c lw 252
c lw 261
c lw 271
c lw 521
c lw 531
c lw 575
c lw 585
c lw 601
c lw 611
c lw 796
c lw 806
c lw 862
c lw 1059
c lw 1069
c lw 1079
c lw 1085
c lw 1108
c lw 1118
c lw 1123
c lw 1127
c lw 1133
c lw 1147
c lw 1151
c lw 1189
c lw 1278
c lw 1329
c lw 1340
c lw 1342
c lw 1344
c lw 1346
c lw 1349
c lw 1350
c lw 1351
c lw 1352
c lw 1353
c lw 1355
c lw 1356
c lw 1358
c lw 1366
c lw 1368
c lw 1369
c lw 1370
c lw 1371
c lw 1373
c lw 1375
c lw 1379
c lw 1385
c lw 1387
c lw 1388
c lw 1389
c lw 1392
c lw 1393
c lw 1394
c lw 1395
c lw 1396
c lw 1397
c lw 1398
c lw 1399
c lw 1401
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 1417
c lw 1418
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 1493
c lw 1516
c lw 1530
c lw 1531
c lw 1532
c lw 1533
c lw 1534
c lw 1535
c lw 1536
c lw 1537
c lw 1538
c lw 1539
c lw 1540
c lw 1541
c lw 1542
c lw 1543
c lw 1544
c lw 1545
c lw 1546
c lw 1547
c lw 1548
c lw 1549
c lw 1550
c lw 1551
c lw 1552
c lw 1553
c lw 1554
c lw 1555
c lw 1556
c lw 1557
c lw 1558
c lw 1559
c lw 1563
c lw 1564
c lw 1565
c lw 1566
c lw 1567
c lw 1569
c lw 1570
c lw 1571
c lw 1572
c lw 1573
c lw 1574
c lw 1575
c lw 1576
c lw 1577
c lw 1578
c lw 1579
c lw 1580
c lw 1581
c lw 1584
c lw 1585
c lw 1586
c lw 1587
c lw 1588
c lw 1589
c lw 1590
c lw 1591
c lw 1592
c lw 1593
c lw 1594
c lw 1595