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_PSEUDO_miplib_normalized-mps-v2-20-10-lseu.opb.msat.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-lseu.opb.msat.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 78
c lw 156
c lw 234
c lw 241
c lw 248
c lw 249
c lw 250
c lw 256
c lw 263
c lw 333
c lw 334
c lw 403
c lw 408
c lw 411
c lw 415
c lw 416
c lw 422
c lw 461
c lw 468
c lw 481
c lw 490
c lw 491
c lw 497
c lw 498
c lw 499
c lw 500
c lw 501
c lw 503
c lw 504
c lw 505
c lw 506
c lw 507
c lw 508
c lw 509
c lw 510
c lw 511
c lw 512
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 522
c lw 523
c lw 524
c lw 526
c lw 527
c lw 528
c lw 543
c lw 544
c lw 561
c lw 562
c lw 563
c lw 564
c lw 565
c lw 566
c lw 567
c lw 569
c lw 576
c lw 590
c lw 591
c lw 592
c lw 593
c lw 594
c lw 595
c lw 596
c lw 597
c lw 598
c lw 599
c lw 600
c lw 601
c lw 602
c lw 603
c lw 604
c lw 605
c lw 606
c lw 607
c lw 608
c lw 609
c lw 610
c lw 611
c lw 612
c lw 613
c lw 614
c lw 615
c lw 616
c lw 617
c lw 618
c lw 619
c lw 620
c lw 621
c lw 622
c lw 623
c lw 624
c lw 625
c lw 626
c lw 627
c lw 628
c lw 629
c lw 630
c lw 631
c lw 632
c lw 633
c lw 634
c lw 635
c lw 636
c lw 637
c lw 638
c lw 639
c lw 640
c lw 641
c lw 642
c lw 643
c lw 644
c lw 645
c lw 646
c lw 647