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_AUCTIONS_AUC_PATHS_cat_paths_60_70_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_70_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 908
c lw 1816
c lw 2724
c lw 3296
c lw 3525
c lw 4409
c lw 4468
c lw 5352
c lw 5411
c lw 6295
c lw 6354
c lw 6670
c lw 6986
c lw 7134
c lw 7914
c lw 8584
c lw 8694
c lw 9195
c lw 9474
c lw 10254
c lw 10266
c lw 10754
c lw 10766
c lw 11273
c lw 11752
c lw 12044
c lw 12070
c lw 12523
c lw 12672
c lw 13300
c lw 13911
c lw 13928
c lw 14484
c lw 14963
c lw 15391
c lw 15819
c lw 16098
c lw 16670
c lw 17066
c lw 17101
c lw 17812
c lw 17976
c lw 18815
c lw 18851
c lw 19691
c lw 19818
c lw 20731
c lw 20738
c lw 20840
c lw 20942
c lw 20984
c lw 21282
c lw 21595
c lw 22508
c lw 22612
c lw 22716
c lw 23008
c lw 23437
c lw 24084
c lw 24567
c lw 24738
c lw 24902
c lw 25130
c lw 25234
c lw 25251
c lw 25263
c lw 25305
c lw 25407
c lw 25547
c lw 25559
c lw 25576
c lw 25651
c lw 25747
c lw 25849
c lw 25949
c lw 26028
c lw 26087
c lw 26297
c lw 26304
c lw 26336
c lw 26446
c lw 26452
c lw 26762
c lw 26768
c lw 26794
c lw 26857
c lw 26899
c lw 27073
c lw 27092
c lw 27219
c lw 27254
c lw 27574
c lw 27650
c lw 27684
c lw 28075
c lw 28134
c lw 28196
c lw 28684
c lw 29042
c lw 29436
c lw 29448
c lw 29484
c lw 29555
c lw 29677
c lw 30077
c lw 30230
c lw 30356
c lw 30414
c lw 30810
c lw 30984
c lw 31002
c lw 31003
c lw 31482
c lw 31485
c lw 31513
c lw 31516
c lw 31533
c lw 31620
c lw 31632
c lw 31665
c lw 31707
c lw 31734
c lw 31760
c lw 31772
c lw 31789
c lw 31830
c lw 31834
c lw 31896
c lw 32384
c lw 32730
c lw 32766
c lw 32806
c lw 32837
c lw 32861
c lw 32924
c lw 32956
c lw 32959
c lw 32976
c lw 32977
c lw 32985
c lw 32986
c lw 33012
c lw 33021
c lw 33024
c lw 33048
c lw 33088
c lw 33097
c lw 33110
c lw 33112
c lw 33255
c lw 33263
c lw 33281
c lw 33289
c lw 33290
c lw 33291
c lw 33292
c lw 33298
c lw 33301
c lw 33307
c lw 33308
c lw 33312
c lw 33314
c lw 33315
c lw 33316
c lw 33324
c lw 33326
c lw 33327
c lw 33330
c lw 33472
c lw 33473
c lw 33478
c lw 33479
c lw 33480
c lw 33481
c lw 33482
c lw 33598
c lw 33619
c lw 33627
c lw 33678
c lw 33695
c lw 33731
c lw 33732
c lw 33834
c lw 33870
c lw 33897
c lw 33921
c lw 33929
c lw 33932
c lw 33933
c lw 33934
c lw 33935
c lw 33936
c lw 33937
c lw 33938
c lw 33939
c lw 33940
c lw 33941
c lw 33942
c lw 33943
c lw 33944
c lw 33946
c lw 33947
c lw 33948
c lw 33949
c lw 33950
c lw 33951
c lw 33952
c lw 33953
c lw 33954
c lw 33963
c lw 33977
c lw 33979
c lw 33980
c lw 33981
c lw 33982
c lw 33984
c lw 33985
c lw 33986
c lw 33993
c lw 33994
c lw 33995
c lw 33996
c lw 33997
c lw 33998
c lw 33999
c lw 34001
c lw 34006
c lw 34007
c lw 34008
c lw 34018
c lw 34019
c lw 34035
c lw 34036
c lw 34037
c lw 34038
c lw 34039
c lw 34040
c lw 34041
c lw 34047
c lw 34050
c lw 34051
c lw 34064
c lw 34072
c lw 34107
c lw 34108
c lw 34109
c lw 34110
c lw 34121
c lw 34153
c lw 34155
c lw 34156
c lw 34157
c lw 34158
c lw 34159
c lw 34160
c lw 34161
c lw 34162
c lw 34163
c lw 34168
c lw 34188
c lw 34189
c lw 34190
c lw 34191
c lw 34192
c lw 34194
c lw 34196
c lw 34197
c lw 34198
c lw 34278
c lw 34279
c lw 34280
c lw 34281
c lw 34282
c lw 34283
c lw 34284
c lw 34285
c lw 34286
c lw 34287
c lw 34317
c lw 34318
c lw 34319
c lw 34320
c lw 34321
c lw 34322
c lw 34323
c lw 34324
c lw 34325
c lw 34326
c lw 34327
c lw 34328
c lw 34329
c lw 34330
c lw 34331
c lw 34332
c lw 34333
c lw 34334
c lw 34335
c lw 34336
c lw 34337
c lw 34338
c lw 34339
c lw 34340
c lw 34341
c lw 34342
c lw 34351
c lw 34352
c lw 34353
c lw 34354
c lw 34355
c lw 34356
c lw 34357
c lw 34358
c lw 34359
c lw 34360
c lw 34376
c lw 34377
c lw 34378
c lw 34379
c lw 34380
c lw 34381
c lw 34382
c lw 34383
c lw 34386
c lw 34388
c lw 34389
c lw 34393
c lw 34397
c lw 34398
c lw 34399
c lw 34400
c lw 34401
c lw 34402
c lw 34403
c lw 34404
c lw 34405
c lw 34406
c lw 34407
c lw 34408
c lw 34409
c lw 34410
c lw 34411
c lw 34412
c lw 34413
c lw 34414
c lw 34418
c lw 34419
c lw 34420
c lw 34421
c lw 34422
c lw 34563
c lw 34579
c lw 34580
c lw 34589
c lw 34590
c lw 34591
c lw 34592
c lw 34593
c lw 34615
c lw 34616
c lw 34617
c lw 34618
c lw 34619
c lw 34620
c lw 34621
c lw 34623
c lw 34624
c lw 34627
c lw 34629
c lw 34630
c lw 34631
c lw 34632
c lw 34637
c lw 34638
c lw 34639
c lw 34640
c lw 34641
c lw 34642
c lw 34643
c lw 34644
c lw 34645
c lw 34646
c lw 34677
c lw 34678
c lw 34679
c lw 34680
c lw 34681
c lw 34682
c lw 34683
c lw 34684
c lw 34685
c lw 34686
c lw 34687
c lw 34694
c lw 34695
c lw 34696
c lw 34699
c lw 34700
c lw 34702
c lw 34703
c lw 34704
c lw 34705
c lw 34711
c lw 34712
c lw 34713
c lw 34714
c lw 34715
c lw 34716
c lw 34717
c lw 34718
c lw 34719
c lw 34720
c lw 34721
c lw 34722
c lw 34723
c lw 34724
c lw 34725
c lw 34726
c lw 34727
c lw 34728
c lw 34729
c lw 34730
c lw 34731
c lw 34732
c lw 34733
c lw 34734
c lw 34735
c lw 34736
c lw 34737
c lw 34738
c lw 34739
c lw 34740
c lw 34741
c lw 34742
c lw 34743
c lw 34744
c lw 34745
c lw 34746
c lw 34747
c lw 34748
c lw 34749
c lw 34752
c lw 34753
c lw 34754
c lw 34755
c lw 34756
c lw 34757
c lw 34758
c lw 34759
c lw 34760
c lw 34761
c lw 34762
c lw 34763
c lw 34770
c lw 34771
c lw 34772
c lw 34773
c lw 34774
c lw 34775
c lw 34776
c lw 34777
c lw 34778
c lw 34779
c lw 34780
c lw 34791
c lw 34792
c lw 34793
c lw 34795
c lw 34796
c lw 34797
c lw 34808
c lw 34809
c lw 34810
c lw 34811
c lw 34812
c lw 34813
c lw 34814
c lw 34815
c lw 34816
c lw 34818
c lw 34819
c lw 34820
c lw 34821
c lw 34822
c lw 34823
c lw 34824
c lw 34825
c lw 34826
c lw 34827
c lw 34828
c lw 34829
c lw 34830
c lw 34831
c lw 34832
c lw 34835
c lw 34848
c lw 34849
c lw 34861
c lw 34880
c lw 34881
c lw 34882
c lw 34883
c lw 34884
c lw 34885
c lw 34886
c lw 34887
c lw 34888
c lw 34889
c lw 34891
c lw 34892
c lw 34893
c lw 34894
c lw 34895
c lw 34896
c lw 34897
c lw 34898
c lw 34899
c lw 34900
c lw 34901
c lw 34902
c lw 34903
c lw 34904
c lw 34905
c lw 34906
c lw 34907
c lw 34908
c lw 34909
c lw 34910
c lw 34911
c lw 34912
c lw 34913
c lw 34915
c lw 34916
c lw 34917
c lw 34918
c lw 34919
c lw 34920
c lw 34921
c lw 34922
c lw 34923
c lw 34924
Killed
1816.581u 3.191s 30:21.33 99.9%	0+0k 0+0io 0pf+0w