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_mprime01cc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/mprime01cc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 19
c lw 58
c lw 72
c lw 112
c lw 119
c lw 163
c lw 219
c lw 242
c lw 249
c lw 276
c lw 279
c lw 285
c lw 306
c lw 315
c lw 337
c lw 343
c lw 346
c lw 354
c lw 361
c lw 372
c lw 381
c lw 386
c lw 387
c lw 388
c lw 394
c lw 396
c lw 402
c lw 405
c lw 406
c lw 407
c lw 408
c lw 410
c lw 418
c lw 422
c lw 426
c lw 429
c lw 435
c lw 439
c lw 442
c lw 443
c lw 445
c lw 446
c lw 448
c lw 450
c lw 455
c lw 456
c lw 457
c lw 459
c lw 460
c lw 462
c lw 463
c lw 467
c lw 468
c lw 469
c lw 470
c lw 471
c lw 472
c lw 473
c lw 475
c lw 476
c lw 477
c lw 478
c lw 480
c lw 481
c lw 483
c lw 487
c lw 488
c lw 489
c lw 490
c lw 491
c lw 493
c lw 496
c lw 498
c lw 499
c lw 500
c lw 501
c lw 503
c lw 507
c lw 508
c lw 510
c lw 513
c lw 514
c lw 515
c lw 516
c lw 517
c lw 518
c lw 519
c lw 520
c lw 521
c lw 522
c lw 523
c lw 524
c lw 525
c lw 526
c lw 527
c lw 528
c lw 529
c lw 530
c lw 531
c lw 532
c lw 533
c lw 534
c lw 535
c lw 536
c lw 537
c lw 538
c lw 539
c lw 540
c lw 541
c lw 542
c lw 543
c lw 544
c lw 545
c lw 546
c lw 547
c lw 548
c lw 549
c lw 550
c lw 551
c lw 552
c lw 553
c lw 554
c lw 555
c lw 556
c lw 557
c lw 558
c lw 559
c lw 560
c lw 561
c lw 562
c lw 563
c lw 564
c lw 565
c lw 566
c lw 567
c lw 568
c lw 569
c lw 570
c lw 571
c lw 572
c lw 573
c lw 574
c lw 575
c lw 576
c lw 577
c lw 578
c lw 579
c lw 580
c lw 581
c lw 582
c lw 583
c lw 584
c lw 585
c lw 586
c lw 587