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_satellite01bc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/satellite01bc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 140
c lw 270
c lw 420
c lw 495
c lw 745
c lw 795
c lw 802
c lw 845
c lw 1045
c lw 1070
c lw 1095
c lw 1120
c lw 1195
c lw 1270
c lw 1295
c lw 1302
c lw 1320
c lw 1345
c lw 1363
c lw 1370
c lw 1395
c lw 1420
c lw 1445
c lw 1452
c lw 1459
c lw 1463
c lw 1470
c lw 1474
c lw 1477
c lw 1480
c lw 1481
c lw 1484
c lw 1487
c lw 1488
c lw 1491
c lw 1492
c lw 1495
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
c lw 1519
c lw 1520
c lw 1521
c lw 1522
c lw 1523
c lw 1524
c lw 1525
c lw 1526
c lw 1527
c lw 1528
c lw 1529
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 1560
c lw 1561
c lw 1562
c lw 1563
c lw 1564
c lw 1565
c lw 1566
c lw 1567
c lw 1568
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 1582
c lw 1583
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
c lw 1596
c lw 1597
c lw 1598
c lw 1599
c lw 1600