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-cracpb1.opb.msat.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 12
c lw 24
c lw 49
c lw 60
c lw 71
c lw 83
c lw 95
c lw 120
c lw 194
c lw 219
c lw 230
c lw 335
c lw 431
c lw 443
c lw 468
c lw 479
c lw 912
c lw 1123
c lw 1449
c lw 1775
c lw 2101
c lw 2427
c lw 2477
c lw 2692
c lw 3155
c lw 3530
c lw 4023
c lw 4470
c lw 5059
c lw 5648
c lw 6237
c lw 6670
c lw 7279
c lw 7888
c lw 8715
c lw 9304
c lw 9570
c lw 9753
c lw 10247
c lw 10720
c lw 10765
c lw 11300
c lw 11889
c lw 11935
c lw 12593
c lw 13447
c lw 13880
c lw 14313
c lw 15285
c lw 15605
c lw 16136
c lw 16583
c lw 17292
c lw 17786
c lw 17835
c lw 17884
c lw 17933
c lw 17964
c lw 18002
c lw 18051
c lw 18062
c lw 18100
c lw 18111
c lw 18160
c lw 18209
c lw 18247
c lw 18296
c lw 18345
c lw 18356
c lw 18383
c lw 18394
c lw 18405
c lw 18416
c lw 18454
c lw 18465
c lw 18481
c lw 18492
c lw 18503
c lw 18504
c lw 18511
c lw 18514
c lw 18519
c lw 18525
c lw 18530
c lw 18533
c lw 18535
c lw 18538
c lw 18541
c lw 18542
c lw 18544
c lw 18545
c lw 18546
c lw 18547
c lw 18549
c lw 18552
c lw 18553
c lw 18554
c lw 18557
c lw 18558
c lw 18559
c lw 18560
c lw 18562
c lw 18563
c lw 18569
c lw 18572
c lw 18587
c lw 18592
c lw 18595
c lw 18596
c lw 18597
c lw 18598
c lw 18599
c lw 18600
c lw 18601
c lw 18602
c lw 18603
c lw 18604
c lw 18609
c lw 18610
c lw 18612
c lw 18613
c lw 18615
c lw 18617
c lw 18652
c lw 18653
c lw 18654
c lw 18658
c lw 18661
c lw 18662
c lw 18664
c lw 18680
c lw 18683
c lw 18684
c lw 18686
c lw 18702
c lw 18704
c lw 18707
c lw 18721
c lw 18752
c lw 18762
c lw 18818
c lw 18820
c lw 18821
c lw 18822
c lw 18823
c lw 18824
c lw 18825
c lw 18826
c lw 18827
c lw 18829
c lw 18835
c lw 18836
c lw 18837
c lw 18838
c lw 18839
c lw 18840
c lw 18841
c lw 18842
c lw 18845
c lw 18846
c lw 18847
c lw 18848
c lw 18849
c lw 18850
c lw 18851
c lw 18852
c lw 18853
c lw 18854
c lw 18855
c lw 18856
c lw 18857
c lw 18858
c lw 18859
c lw 18860
c lw 18861
c lw 18862
c lw 18863
c lw 18864
c lw 18865
c lw 18866
c lw 18867
c lw 18868
c lw 18869
c lw 18870
c lw 18871
c lw 18872
c lw 18873
c lw 18874
c lw 18875
c lw 18876
c lw 18877
c lw 18878
c lw 18879
c lw 18880
c lw 18881
c lw 18882
c lw 18883
c lw 18884
c lw 18885
c lw 18886
c lw 18887
c lw 18888
c lw 18889
c lw 18890
c lw 18891
c lw 18892
c lw 18893
c lw 18894
c lw 18895
c lw 18896
c lw 18897
c lw 18898
c lw 18899
c lw 18900
c lw 18901
c lw 18902
c lw 18903
c lw 18904
c lw 18905
c lw 18906
c lw 18907
c lw 18908
c lw 18909
c lw 18910
c lw 18911
c lw 18912
c lw 18913
c lw 18914
c lw 18915
c lw 18916
c lw 18917
c lw 18918
c lw 18919
c lw 18920
c lw 18921
c lw 18922
c lw 18923
c lw 18924
c lw 18925
c lw 18926
c lw 18927
c lw 18928
c lw 18929
c lw 18930
c lw 18931
c lw 18932
c lw 18933
c lw 18934
c lw 18935
Killed
1817.282u 2.482s 30:20.72 99.9%	0+0k 0+0io 0pf+0w