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_130_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 381
c lw 584
c lw 1010
c lw 1096
c lw 1827
c lw 2558
c lw 3289
c lw 3960
c lw 4631
c lw 5108
c lw 6159
c lw 7210
c lw 7930
c lw 8261
c lw 8803
c lw 9953
c lw 11103
c lw 12154
c lw 12253
c lw 12333
c lw 12471
c lw 12689
c lw 13268
c lw 13354
c lw 13516
c lw 13933
c lw 14814
c lw 15927
c lw 17040
c lw 17748
c lw 18153
c lw 18453
c lw 19048
c lw 19348
c lw 19824
c lw 19943
c lw 20618
c lw 20838
c lw 21511
c lw 21733
c lw 22379
c lw 23025
c lw 23659
c lw 24064
c lw 24698
c lw 25524
c lw 26004
c lw 26523
c lw 26653
c lw 27172
c lw 27197
c lw 27302
c lw 27821
c lw 27951
c lw 28470
c lw 28600
c lw 29249
c lw 29819
c lw 30389
c lw 30775
c lw 30896
c lw 30959
c lw 31810
c lw 32224
c lw 32781
c lw 33095
c lw 33338
c lw 34020
c lw 34206
c lw 34417
c lw 35419
c lw 36520
c lw 36619
c lw 36809
c lw 37009
c lw 37158
c lw 37293
c lw 37577
c lw 38375
c lw 38530
c lw 39387
c lw 40244
c lw 40943
c lw 41101
c lw 41686
c lw 41798
c lw 42366
c lw 43010
c lw 43267
c lw 43835
c lw 43914
c lw 44713
c lw 44966
c lw 45355
c lw 45497
c lw 46070
c lw 46475
c lw 47326
c lw 47529
c lw 47772
c lw 47916
c lw 48037
c lw 48423
c lw 48448
c lw 49020
c lw 49287
c lw 49318
c lw 49398
c lw 49429
c lw 49629
c lw 49748
c lw 49771
c lw 50137
c lw 50292
c lw 50308
c lw 50438
c lw 50457
c lw 50520
c lw 50543
c lw 50648
c lw 50655
c lw 50688
c lw 51008
c lw 51169
c lw 51292
c lw 51307
c lw 51386
c lw 51577
c lw 51780
c lw 51938
c lw 51981
c lw 52080
c lw 52475
c lw 52479
c lw 52500
c lw 52568
c lw 52747
c lw 52948
c lw 53241
c lw 53248
c lw 53264
c lw 53461
c lw 53467
c lw 53943
c lw 54136
c lw 54157
c lw 54348
c lw 54375
c lw 54537
c lw 54592
c lw 54849
c lw 55006
c lw 55419
c lw 55617
c lw 55670
c lw 55736
c lw 55761
c lw 55995
c lw 56075
c lw 56284
c lw 56488
c lw 56563
c lw 56575
c lw 56753
c lw 56908
c lw 56929
c lw 56937
c lw 56953
c lw 57766
c lw 57816
c lw 58867
c lw 58900
c lw 59314
c lw 59517
c lw 59631
c lw 59745
c lw 60036
c lw 60220
c lw 60601
c lw 60760
c lw 60826
c lw 61004
c lw 61053
c lw 61395
c lw 61636
c lw 61921
c lw 61945
c lw 61952
c lw 62069
c lw 62250
c lw 62415
c lw 62464
c lw 62711
c lw 62825
c lw 62850
c lw 62937
c lw 62972
c lw 63003
c lw 63089
c lw 63175
c lw 63182
c lw 63293
c lw 63326
c lw 63425
c lw 63454
c lw 63468
c lw 63494
c lw 63515
c lw 63520
c lw 63528
c lw 63536
c lw 63704
c lw 63843
c lw 63856
c lw 63889
c lw 63925
c lw 63941
c lw 64003
c lw 64080
c lw 64154
c lw 64157
c lw 64206
c lw 64209
c lw 64233
c lw 64259
c lw 64277
c lw 64325
c lw 64326
c lw 64388
c lw 64406
c lw 64439
c lw 64442
c lw 64458
c lw 64459
c lw 64461
c lw 64494
c lw 64506
c lw 64507
c lw 64512
c lw 64520
c lw 64568
c lw 64601
c lw 64613
c lw 64688
c lw 64719
c lw 64723
c lw 64731
c lw 64736
c lw 64747
c lw 64750
c lw 64761
c lw 64762
c lw 64767
c lw 64807
c lw 64823
c lw 64846
c lw 64938
c lw 64949
c lw 64954
c lw 65109
c lw 65114
c lw 65120
c lw 65146
c lw 65149
c lw 65153
c lw 65160
c lw 65164
c lw 65173
c lw 65176
c lw 65185
c lw 65188
c lw 65191
c lw 65197
c lw 65201
c lw 65202
c lw 65203
c lw 65204
c lw 65205
c lw 65206
c lw 65207
c lw 65210
c lw 65211
c lw 65217
c lw 65218
c lw 65220
c lw 65223
c lw 65233
c lw 65236
c lw 65247
c lw 65248
c lw 65265
c lw 65273
c lw 65339
c lw 65358
c lw 65419
c lw 65435
c lw 65531
c lw 65601
c lw 65611
c lw 65637
c lw 65662
c lw 65664
c lw 65668
c lw 65682
c lw 65685
c lw 65688
c lw 65692
c lw 65748
c lw 65762
c lw 65770
c lw 65785
c lw 65864
c lw 65872
c lw 65888
c lw 65889
c lw 65892
c lw 65893
c lw 65894
c lw 65895
c lw 65898
c lw 65899
c lw 65900
c lw 65902
c lw 65903
c lw 65904
c lw 65905
c lw 65906
c lw 65907
c lw 65908
c lw 65910
c lw 65911
c lw 65916
c lw 65924
c lw 65925
c lw 65926
c lw 65927
c lw 65928
c lw 65929
c lw 65930
c lw 65931
c lw 65932
c lw 65933
c lw 65934
c lw 65935
c lw 65936
c lw 65937
c lw 65939
c lw 65940
c lw 65941
c lw 65942
c lw 65948
c lw 65957
c lw 65958
c lw 65964
c lw 65965
c lw 65968
c lw 65977
c lw 66002
c lw 66003
c lw 66004
c lw 66006
c lw 66007
c lw 66008
c lw 66011
c lw 66015
c lw 66016
c lw 66017
c lw 66018
c lw 66020
c lw 66025
c lw 66033
c lw 66036
c lw 66037
c lw 66052
c lw 66053
c lw 66063
c lw 66064
c lw 66067
c lw 66109
c lw 66113
c lw 66120
c lw 66123
c lw 66124
c lw 66126
c lw 66149
c lw 66152
c lw 66155
c lw 66166
c lw 66169
c lw 66183
c lw 66205
c lw 66206
c lw 66208
c lw 66209
c lw 66210
c lw 66227
c lw 66230
c lw 66232
c lw 66233
c lw 66234
c lw 66235
c lw 66277
c lw 66278
c lw 66279
c lw 66280
c lw 66281
c lw 66285
c lw 66286
c lw 66287
c lw 66323
c lw 66329
c lw 66330
c lw 66332
c lw 66335
c lw 66338
c lw 66341
c lw 66358
c lw 66361
c lw 66420
c lw 66421
c lw 66423
c lw 66424
c lw 66427
c lw 66428
c lw 66429
c lw 66430
c lw 66431
c lw 66433
c lw 66434
c lw 66435
c lw 66436
c lw 66455
c lw 66456
c lw 66612
c lw 66613
c lw 66676
c lw 66677
c lw 66678
c lw 66679
c lw 66680
c lw 66681
c lw 66682
c lw 66683
c lw 66684
c lw 66685
c lw 66686
c lw 66687
c lw 66688
c lw 66689
c lw 66690
c lw 66691
c lw 66692
c lw 66693
c lw 66694
c lw 66695
c lw 66696
c lw 66699
c lw 66700
c lw 66701
c lw 66702
c lw 66703
c lw 66704
c lw 66705
c lw 66706
c lw 66707
c lw 66708
c lw 66709
c lw 66710
c lw 66711
c lw 66712
c lw 66713
c lw 66714
c lw 66715
c lw 66719
c lw 66720
c lw 66721
c lw 66722
c lw 66723
c lw 66724
c lw 66725
c lw 66726
c lw 66732
c lw 66733
c lw 66734
c lw 66739
c lw 66740
c lw 66741
c lw 66757
c lw 66759
c lw 66760
c lw 66763
c lw 66765
c lw 66766
c lw 66767
c lw 66778
c lw 66779
c lw 66780
c lw 66781
c lw 66782
c lw 66789
c lw 66823
c lw 66824
c lw 66825
c lw 66827
c lw 66829
c lw 66830
c lw 66832
c lw 66834
c lw 66848
c lw 66849
c lw 66850
c lw 66852
c lw 66855
c lw 66856
c lw 66857
c lw 66858
c lw 66859
c lw 66860
c lw 66861
c lw 66862
c lw 66863
c lw 66864
c lw 66865
c lw 66866
c lw 66867
c lw 66868
c lw 66869
c lw 66870
c lw 66871
c lw 66872
c lw 66873
c lw 66874
c lw 66876
c lw 66879
c lw 66880
c lw 66899
c lw 66900
c lw 66901
c lw 66902
c lw 66903
c lw 66904
c lw 66905
c lw 66906
c lw 66907
c lw 66908
c lw 66909
c lw 66910
c lw 66911
c lw 66912
c lw 66913
c lw 66914
c lw 66915
c lw 66916
c lw 66917
c lw 66918
c lw 66919
c lw 66920
c lw 66921
c lw 66922
c lw 66923
c lw 66924
c lw 66925
c lw 66926
c lw 66927
c lw 66928
c lw 66929
c lw 66960
c lw 66961
c lw 66962
c lw 66963
c lw 66964
c lw 66965
c lw 66966
c lw 66967
c lw 66968
c lw 66969
c lw 66970
c lw 66971
c lw 66972
c lw 66973
c lw 66974
c lw 66975
c lw 66976
c lw 66977
c lw 66978
c lw 66979
c lw 66980
c lw 66981
c lw 66982
c lw 66983
c lw 66991
c lw 66992
c lw 66993
c lw 66994
c lw 66995
c lw 66996
c lw 66997
c lw 66998
c lw 66999
c lw 67000
c lw 67001
c lw 67002
c lw 67003
c lw 67004
c lw 67005
c lw 67006
c lw 67007
c lw 67008
c lw 67015
c lw 67022
c lw 67023
c lw 67024
c lw 67025
c lw 67026
c lw 67027
c lw 67028
c lw 67029
c lw 67030
c lw 67031
c lw 67032
c lw 67033
c lw 67034
c lw 67035
c lw 67036
c lw 67037
c lw 67038
c lw 67039
c lw 67040
c lw 67043
c lw 67044
c lw 67045
c lw 67046
c lw 67047
c lw 67053
c lw 67054
c lw 67055
c lw 67056
c lw 67057
c lw 67058
c lw 67059
c lw 67060
c lw 67061
c lw 67062
c lw 67063
c lw 67064
c lw 67065
c lw 67066
c lw 67067
c lw 67068
c lw 67069
c lw 67070
c lw 67071
c lw 67072
c lw 67073
c lw 67074
c lw 67084
c lw 67085
c lw 67086
c lw 67087
c lw 67089
c lw 67090
c lw 67091
c lw 67092
c lw 67093
c lw 67094
c lw 67096
c lw 67097
c lw 67098
c lw 67099
c lw 67100
c lw 67101
c lw 67102
c lw 67103
c lw 67104
c lw 67105
c lw 67106
c lw 67107
c lw 67115
c lw 67118
c lw 67119
c lw 67120
c lw 67121
c lw 67122
c lw 67123
c lw 67124
c lw 67125
c lw 67126
c lw 67127
c lw 67128
c lw 67129
c lw 67130
c lw 67131
c lw 67132
c lw 67133
c lw 67134
c lw 67135
c lw 67136
c lw 67137
c lw 67138
c lw 67139
c lw 67140
c lw 67141
c lw 67142
c lw 67143
c lw 67144
c lw 67145
c lw 67146
c lw 67147
c lw 67148
c lw 67149
c lw 67150
c lw 67151
c lw 67152
c lw 67153
c lw 67154
c lw 67155
c lw 67156
c lw 67157
c lw 67158
c lw 67159
c lw 67160
c lw 67161
c lw 67162
c lw 67169
c lw 67170
c lw 67171
c lw 67172
c lw 67173
c lw 67176
c lw 67179
c lw 67190
c lw 67191
c lw 67192
c lw 67193
c lw 67194
c lw 67195
c lw 67196
c lw 67197
c lw 67198
c lw 67199
c lw 67200
c lw 67201
c lw 67208
c lw 67209
c lw 67210
c lw 67211
c lw 67212
c lw 67213
c lw 67214
c lw 67228
c lw 67232
c lw 67233
c lw 67234
c lw 67236
c lw 67237
c lw 67238
c lw 67239
c lw 67240
c lw 67241
c lw 67242
c lw 67243
c lw 67244
c lw 67245
c lw 67246
c lw 67247
c lw 67248
c lw 67249
c lw 67250
c lw 67251
c lw 67252
c lw 67253
c lw 67285
c lw 67286
c lw 67287
c lw 67288
c lw 67289
c lw 67290
c lw 67291
c lw 67292
c lw 67293
c lw 67294
c lw 67295
c lw 67296
c lw 67303
c lw 67304
c lw 67305
c lw 67306
c lw 67307
c lw 67308
c lw 67309
c lw 67324
c lw 67447
c lw 67506
c lw 67507
c lw 67508
c lw 67509
c lw 67510
c lw 67511
c lw 67512
c lw 67513
c lw 67514
c lw 67515
c lw 67516
c lw 67517
c lw 67518
c lw 67519
c lw 67520
c lw 67521
c lw 67522
c lw 67523
c lw 67527
c lw 67528
c lw 67529
c lw 67530
c lw 67531
c lw 67532
c lw 67533
c lw 67534
c lw 67535
c lw 67536
c lw 67537
c lw 67538
c lw 67539
c lw 67540
c lw 67541
c lw 67542
c lw 67543
c lw 67544
c lw 67545
c lw 67546
c lw 67547
c lw 67550
c lw 67551
c lw 67562
c lw 67563
c lw 67564
c lw 67565
c lw 67566
c lw 67567
c lw 67568
c lw 67569
c lw 67570
c lw 67578
c lw 67585
c lw 67586
c lw 67590
c lw 67591
c lw 67592
c lw 67593
c lw 67594
c lw 67595
c lw 67596
c lw 67597
c lw 67598
c lw 67599
c lw 67600
c lw 67601
c lw 67602
c lw 67603
c lw 67610
c lw 67611
c lw 67614
c lw 67618
c lw 67619
c lw 67620
c lw 67621
c lw 67622
c lw 67623
c lw 67624
c lw 67625
c lw 67626
c lw 67627
c lw 67628
c lw 67629
c lw 67630
c lw 67631
c lw 67632
c lw 67633
c lw 67634
c lw 67635
c lw 67636
c lw 67637
c lw 67638
c lw 67640
c lw 67643
c lw 67644
c lw 67645
c lw 67646
c lw 67647
c lw 67648
c lw 67649
c lw 67650
c lw 67651
c lw 67652
c lw 67653
c lw 67654
c lw 67655
c lw 67656
c lw 67657
c lw 67658
c lw 67659
c lw 67660
c lw 67661
c lw 67662
c lw 67663
c lw 67664
c lw 67665
c lw 67666
c lw 67667
c lw 67668
c lw 67669
c lw 67670
c lw 67671
c lw 67672
c lw 67673
c lw 67674
c lw 67675
c lw 67676
c lw 67677
c lw 67678
c lw 67679
c lw 67680
c lw 67681
c lw 67682
c lw 67683
c lw 67684
c lw 67685