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_100_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 327
c lw 654
c lw 1124
c lw 1733
c lw 2342
c lw 2985
c lw 3628
c lw 4271
c lw 4788
c lw 5305
c lw 5639
c lw 5822
c lw 6866
c lw 7142
c lw 7688
c lw 7910
c lw 8904
c lw 9898
c lw 10815
c lw 10892
c lw 11361
c lw 11830
c lw 12761
c lw 12939
c lw 13692
c lw 14623
c lw 14801
c lw 15454
c lw 16107
c lw 16760
c lw 17467
c lw 18070
c lw 18174
c lw 18616
c lw 18881
c lw 18936
c lw 19588
c lw 19996
c lw 20141
c lw 20154
c lw 20809
c lw 21743
c lw 22275
c lw 22677
c lw 22817
c lw 23648
c lw 24150
c lw 24290
c lw 24603
c lw 24614
c lw 24724
c lw 24843
c lw 25318
c lw 25605
c lw 26033
c lw 26748
c lw 27742
c lw 28736
c lw 29724
c lw 29730
c lw 30883
c lw 31544
c lw 32036
c lw 32302
c lw 33189
c lw 33374
c lw 33442
c lw 33689
c lw 33707
c lw 33804
c lw 33851
c lw 34768
c lw 35044
c lw 35180
c lw 35225
c lw 35278
c lw 35294
c lw 35307
c lw 35600
c lw 35832
c lw 35983
c lw 36464
c lw 36660
c lw 36873
c lw 36930
c lw 37027
c lw 37049
c lw 37455
c lw 37468
c lw 37613
c lw 37692
c lw 37742
c lw 37802
c lw 37813
c lw 38144
c lw 38167
c lw 38214
c lw 38269
c lw 38465
c lw 38542
c lw 38611
c lw 38655
c lw 38874
c lw 38942
c lw 39010
c lw 39438
c lw 39621
c lw 39751
c lw 39947
c lw 40057
c lw 40064
c lw 40549
c lw 40802
c lw 40835
c lw 40951
c lw 40957
c lw 41055
c lw 41181
c lw 41234
c lw 41288
c lw 41535
c lw 41755
c lw 41977
c lw 41995
c lw 42373
c lw 42375
c lw 42717
c lw 42857
c lw 43245
c lw 43510
c lw 43688
c lw 43964
c lw 44280
c lw 44288
c lw 44290
c lw 44343
c lw 45197
c lw 45337
c lw 45410
c lw 45477
c lw 45529
c lw 45655
c lw 46189
c lw 46282
c lw 46327
c lw 46386
c lw 46402
c lw 46463
c lw 46470
c lw 46550
c lw 46700
c lw 46928
c lw 47001
c lw 47083
c lw 47105
c lw 47209
c lw 47288
c lw 47338
c lw 47398
c lw 47402
c lw 47502
c lw 47532
c lw 47585
c lw 47715
c lw 47734
c lw 47738
c lw 47787
c lw 47788
c lw 47791
c lw 47807
c lw 47809
c lw 47842
c lw 47859
c lw 48327
c lw 48378
c lw 48385
c lw 48437
c lw 48438
c lw 48444
c lw 48445
c lw 48481
c lw 48494
c lw 48514
c lw 48530
c lw 48869
c lw 49134
c lw 49148
c lw 49178
c lw 49193
c lw 49285
c lw 49335
c lw 49353
c lw 49505
c lw 49506
c lw 49507
c lw 49508
c lw 49510
c lw 49528
c lw 49530
c lw 49532
c lw 49533
c lw 49534
c lw 49535
c lw 49537
c lw 49562
c lw 49573
c lw 49585
c lw 49586
c lw 49587
c lw 49591
c lw 49593
c lw 49594
c lw 49595
c lw 49596
c lw 49643
c lw 49655
c lw 49688
c lw 49689
c lw 49690
c lw 49691
c lw 49694
c lw 49706
c lw 49708
c lw 49751
c lw 49753
c lw 49754
c lw 49755
c lw 49764
c lw 49765
c lw 49773
c lw 49774
c lw 49776
c lw 49777
c lw 49787
c lw 49788
c lw 49789
c lw 49790
c lw 49791
c lw 49792
c lw 49793
c lw 49820
c lw 49872
c lw 49873
c lw 49874
c lw 49878
c lw 49879
c lw 49881
c lw 49918
c lw 49919
c lw 49920
c lw 49921
c lw 49922
c lw 49923
c lw 49924
c lw 49929
c lw 49937
c lw 49951
c lw 49958
c lw 49959
c lw 49967
c lw 49974
c lw 49989
c lw 49990
c lw 49991
c lw 49992
c lw 50072
c lw 50843
c lw 50844
c lw 50845
c lw 50863
c lw 50864
c lw 50865
c lw 50866
c lw 50894
c lw 50895
c lw 50896
c lw 50897
c lw 50898
c lw 50899
c lw 50900
c lw 50901
c lw 50910
c lw 50911
c lw 50912
c lw 50913
c lw 50914
c lw 50915
c lw 50916
c lw 50917
c lw 50918
c lw 50919
c lw 50920
c lw 50921
c lw 50922
c lw 50923
c lw 50924
c lw 50926
c lw 50927
c lw 50928
c lw 50929
c lw 50930
c lw 50931
c lw 50932
c lw 50933
c lw 50934
c lw 50935
c lw 50937
c lw 50938
c lw 50940
c lw 50979
c lw 50980
c lw 50981
c lw 50982
c lw 50983
c lw 50984
c lw 50985
c lw 50986
c lw 50987
c lw 50988
c lw 50989
c lw 50990
c lw 50991
c lw 50992
c lw 51001
c lw 51002
c lw 51003
c lw 51004
c lw 51009
c lw 51010
c lw 51011
c lw 51012
c lw 51013
c lw 51014
c lw 51015
c lw 51021
c lw 51058
c lw 51059
c lw 51060
c lw 51061
c lw 51062
c lw 51063
c lw 51064
c lw 51065
c lw 51066
c lw 51067
c lw 51068
c lw 51069
c lw 51072
c lw 51075
c lw 51076
c lw 51079
c lw 51080
c lw 51081
c lw 51094
c lw 51095
c lw 51096
c lw 51097
c lw 51122
c lw 51123
c lw 51149
c lw 51150
c lw 51151
c lw 51162
c lw 51163
c lw 51164
c lw 51165
c lw 51166
c lw 51167
c lw 51201
c lw 51210
c lw 51211
c lw 51212
c lw 51213
c lw 51214
c lw 51215
c lw 51216
c lw 51217
c lw 51218
c lw 51232
c lw 51233
c lw 51234
c lw 51235
c lw 51236
c lw 51239
c lw 51240
c lw 51246
c lw 51248
c lw 51249
c lw 51250
c lw 51251
c lw 51252
c lw 51253
c lw 51254
c lw 51255
c lw 51256
c lw 51257
c lw 51258
c lw 51259
c lw 51260
c lw 51261
c lw 51262
c lw 51263
c lw 51264
c lw 51265
c lw 51266
c lw 51279
c lw 51293
c lw 51298
c lw 51336
c lw 51337
c lw 51338
c lw 51339
c lw 51343
c lw 51344
c lw 51345
c lw 51346
c lw 51347
c lw 51348
c lw 51351
c lw 51360
c lw 51361
c lw 51362
c lw 51363
c lw 51364
c lw 51367
c lw 51368
c lw 51369
c lw 51370
c lw 51371
c lw 51372
c lw 51379
c lw 51422
c lw 51423
c lw 51424
c lw 51425
c lw 51426
c lw 51427
c lw 51428
c lw 51429
c lw 51433
c lw 51446
c lw 51447
c lw 51503
c lw 51552
c lw 51559
c lw 51560
c lw 51561
c lw 51562
c lw 51563
c lw 51564
c lw 51565
c lw 51566
c lw 51568
c lw 51569
c lw 51570
c lw 51571
c lw 51572
c lw 51573
c lw 51574
c lw 51575
c lw 51576
c lw 51577
c lw 51578
c lw 51579
c lw 51580
c lw 51581
c lw 51582
c lw 51583
c lw 51584
c lw 51585
c lw 51586
c lw 51587
c lw 51588
c lw 51589
c lw 51590
c lw 51591
c lw 51592
c lw 51593
c lw 51594
c lw 51595
c lw 51596
c lw 51600
c lw 51601
c lw 51602
c lw 51603
c lw 51604
c lw 51605
c lw 51607
c lw 51608
c lw 51609
c lw 51610
c lw 51611
c lw 51612
c lw 51613
c lw 51614
c lw 51615
c lw 51616
c lw 51617
c lw 51618
c lw 51619
c lw 51620
c lw 51621
c lw 51622
c lw 51631
c lw 51632
c lw 51633
c lw 51782
c lw 51783
c lw 51785
c lw 51786
c lw 51787
c lw 51788
c lw 51789
c lw 51790
c lw 51792
c lw 51793
c lw 51794
c lw 51795
c lw 51796
c lw 51797
c lw 51798
c lw 51799
c lw 51800
c lw 51801
c lw 51802
c lw 51807
c lw 51808
c lw 51809
c lw 51810
c lw 51812
c lw 51813
c lw 51814
c lw 51815
c lw 51816
c lw 51817
c lw 51818
c lw 51819
c lw 51820
c lw 51821
c lw 51822
c lw 51823
c lw 51824
c lw 51825
c lw 51826
c lw 51827
c lw 51828
c lw 51829
c lw 51830
c lw 51831
c lw 51832
c lw 51833
c lw 51834
c lw 51835
c lw 51836
c lw 51837
c lw 51838
c lw 51840
c lw 51841
c lw 51846
c lw 51856
c lw 51863
c lw 51865
c lw 51866
c lw 51867
c lw 51868
c lw 51869
c lw 51870
c lw 51871
c lw 51872
c lw 51873
c lw 51874
c lw 51875
c lw 51876
c lw 51877
c lw 51882
c lw 51883
c lw 51884
c lw 51885
c lw 51886
c lw 51887
c lw 51888
c lw 51889
c lw 51890
c lw 51891
c lw 51898
c lw 51899
c lw 51900
c lw 51901
c lw 51902
c lw 51903
c lw 51904
c lw 51905
c lw 51906
c lw 51907
c lw 51917
c lw 51925
c lw 51926
c lw 51927
c lw 51929
c lw 51930
c lw 51931
c lw 51936
c lw 51946
c lw 51947
c lw 51948
c lw 51949
c lw 51953
c lw 51954
c lw 51955
c lw 51956
c lw 51957
c lw 51958
c lw 51959
c lw 51960
c lw 51961
c lw 51962
c lw 51963
c lw 51964
c lw 51965
c lw 51966
c lw 51967
c lw 51968
c lw 51969
c lw 51970
c lw 51974
c lw 51977
c lw 51992
c lw 51993
c lw 51994
c lw 51995
c lw 51996
c lw 51997
c lw 51998
c lw 51999
c lw 52000
c lw 52001
c lw 52002
c lw 52005
c lw 52008
c lw 52011
c lw 52012
c lw 52013
c lw 52014
c lw 52016
c lw 52017
c lw 52018
c lw 52019