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_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_70_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 865
c lw 875
c lw 923
c lw 1750
c lw 2605
c lw 2625
c lw 3500
c lw 3790
c lw 3864
c lw 4375
c lw 5232
c lw 6125
c lw 6313
c lw 7178
c lw 7216
c lw 7394
c lw 8199
c lw 8305
c lw 9004
c lw 9095
c lw 9809
c lw 10599
c lw 10614
c lw 11241
c lw 11377
c lw 11790
c lw 12203
c lw 12616
c lw 13509
c lw 13597
c lw 13681
c lw 14096
c lw 14886
c lw 14944
c lw 15629
c lw 16603
c lw 17577
c lw 18526
c lw 18551
c lw 19351
c lw 19738
c lw 20151
c lw 20356
c lw 20845
c lw 21503
c lw 21708
c lw 21794
c lw 22743
c lw 23379
c lw 23899
c lw 24015
c lw 24535
c lw 25256
c lw 26228
c lw 26845
c lw 26892
c lw 26978
c lw 27143
c lw 27201
c lw 27494
c lw 27699
c lw 27783
c lw 27907
c lw 28196
c lw 28210
c lw 28415
c lw 28440
c lw 28526
c lw 28564
c lw 28648
c lw 28663
c lw 28739
c lw 28785
c lw 28813
c lw 29103
c lw 29484
c lw 29978
c lw 29998
c lw 30111
c lw 30853
c lw 31183
c lw 31270
c lw 31299
c lw 31511
c lw 31654
c lw 31789
c lw 32060
c lw 32123
c lw 32238
c lw 32909
c lw 32919
c lw 33007
c lw 33045
c lw 33619
c lw 33785
c lw 33807
c lw 33865
c lw 33920
c lw 33927
c lw 34030
c lw 34235
c lw 34283
c lw 34319
c lw 34399
c lw 34435
c lw 34559
c lw 34732
c lw 34746
c lw 34771
c lw 34875
c lw 34951
c lw 34963
c lw 34991
c lw 35001
c lw 35011
c lw 35031
c lw 35089
c lw 35092
c lw 35117
c lw 35128
c lw 35148
c lw 35164
c lw 35167
c lw 35170
c lw 35178
c lw 35180
c lw 35183
c lw 35218
c lw 35232
c lw 35255
c lw 35265
c lw 35282
c lw 35292
c lw 35670
c lw 35675
c lw 35680
c lw 35690
c lw 35697
c lw 35701
c lw 35708
c lw 35754
c lw 35806
c lw 35816
c lw 35819
c lw 35824
c lw 35826
c lw 35827
c lw 35829
c lw 35836
c lw 35884
c lw 35915
c lw 35925
c lw 36019
c lw 36022
c lw 36029
c lw 36032
c lw 36045
c lw 36046
c lw 36047
c lw 36048
c lw 36053
c lw 36060
c lw 36061
c lw 36062
c lw 36063
c lw 36065
c lw 36066
c lw 36067
c lw 36068
c lw 36069
c lw 36070
c lw 36071
c lw 36072
c lw 36073
c lw 36074
c lw 36075
c lw 36076
c lw 36078
c lw 36079
c lw 36080
c lw 36081
c lw 36082
c lw 36083
c lw 36084
c lw 36085
c lw 36086
c lw 36087
c lw 36088
c lw 36089
c lw 36090
c lw 36091
c lw 36092
c lw 36093
c lw 36095
c lw 36096
c lw 36097
c lw 36099
c lw 36100
c lw 36101
c lw 36107
c lw 36108
c lw 36109
c lw 36110
c lw 36112
c lw 36116
c lw 36126
c lw 36127
c lw 36128
c lw 36129
c lw 36131
c lw 36132
c lw 36133
c lw 36134
c lw 36135
c lw 36136
c lw 36137
c lw 36155
c lw 36160
c lw 36296
c lw 36297
c lw 36298
c lw 36301
c lw 36302
c lw 36305
c lw 36306
c lw 36308
c lw 36309
c lw 36310
c lw 36311
c lw 36319
c lw 36320
c lw 36331
c lw 36332
c lw 36333
c lw 36334
c lw 36335
c lw 36374
c lw 36395
c lw 36397
c lw 36399
c lw 36400
c lw 36436
c lw 36438
c lw 36446
c lw 36451
c lw 36453
c lw 36457
c lw 36458
c lw 36461
c lw 36485
c lw 36486
c lw 36487
c lw 36488
c lw 36489
c lw 36490
c lw 36491
c lw 36495
c lw 36498
c lw 36499
c lw 36500
c lw 36501
c lw 36504
c lw 36507
c lw 36508
c lw 36509
c lw 36532
c lw 36533
c lw 36534
c lw 36535
c lw 36537
c lw 36538
c lw 36539
c lw 36540
c lw 36541
c lw 36542
c lw 36543
c lw 36544
c lw 36545
c lw 36546
c lw 36547
c lw 36548
c lw 36549
c lw 36551
c lw 36552
c lw 36553
c lw 36554
c lw 36555
c lw 36556
c lw 36593
c lw 36600
c lw 36614
c lw 36631
c lw 36632
c lw 36633
c lw 36634
c lw 36635
c lw 36636
c lw 36637
c lw 36638
c lw 36639
c lw 36640
c lw 36642
c lw 36655
c lw 36662
c lw 36666
c lw 36668
c lw 36669
c lw 36697
c lw 36698
c lw 36699
c lw 36700
c lw 36701
c lw 36702
c lw 36703
c lw 36704
c lw 36705
c lw 36706
c lw 36707
c lw 36708
c lw 36709
c lw 36710
c lw 36711
c lw 36712
c lw 36713
c lw 36714
c lw 36715
c lw 36716
c lw 36717
c lw 36718
c lw 36719
c lw 36720
c lw 36721
c lw 36793
c lw 36794
c lw 36818
c lw 36819
c lw 36821
c lw 36822
c lw 36823
c lw 36824
c lw 36825
c lw 36826
c lw 36827
c lw 36828
c lw 36829
c lw 36830
c lw 36831
c lw 36832
c lw 36833
c lw 36834
c lw 36835
c lw 36838
c lw 36839
c lw 36840
c lw 36842
c lw 36843
c lw 36845
c lw 36846
c lw 36847
c lw 36848
c lw 36849
c lw 36850
c lw 36856
c lw 36857
c lw 36858
c lw 36859
c lw 36860
c lw 36861
c lw 36862
c lw 36865
c lw 36868
c lw 36877
c lw 36878
c lw 36879
c lw 36883
c lw 36884
c lw 36885
c lw 36886
c lw 36887
c lw 36888
c lw 36889
c lw 36890
c lw 36891
c lw 36892
c lw 36893
c lw 36894
c lw 36914
c lw 36915
c lw 36916
c lw 36917
c lw 36939
c lw 36940
c lw 36941
c lw 36943
c lw 36944
c lw 36945
c lw 36946
c lw 36947
c lw 36948
c lw 36949
c lw 36953
c lw 36955
c lw 36956
c lw 36957
c lw 36958
c lw 36959
c lw 36961
c lw 36962
c lw 36963
c lw 36965
c lw 36966
c lw 36968
c lw 36969
c lw 36971
c lw 36972
c lw 36974
c lw 36980
c lw 36981
c lw 36982
c lw 36983
c lw 36986
c lw 36987
c lw 36988
c lw 36989
c lw 36995
c lw 36996
c lw 36997
c lw 36998
c lw 36999
c lw 37000
c lw 37001
c lw 37002
c lw 37003
c lw 37004
c lw 37005
c lw 37006
c lw 37007
c lw 37009
c lw 37019
c lw 37022
c lw 37023
c lw 37024
c lw 37025
c lw 37026
c lw 37027
c lw 37028
c lw 37029
c lw 37030
c lw 37034
c lw 37035
c lw 37036
c lw 37037
c lw 37040
c lw 37041
c lw 37042
c lw 37043
c lw 37044
c lw 37051
c lw 37052
c lw 37053
c lw 37054
c lw 37055
c lw 37056
c lw 37057
c lw 37058
c lw 37060
c lw 37063
c lw 37064
c lw 37067
c lw 37068
c lw 37070
c lw 37071
c lw 37072
c lw 37073
c lw 37074
c lw 37075
c lw 37077
c lw 37078
c lw 37079
c lw 37080
c lw 37081
c lw 37082
c lw 37083
c lw 37084
c lw 37085
c lw 37086
c lw 37087
c lw 37088
c lw 37089
c lw 37090
c lw 37091
c lw 37092
c lw 37093