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_120_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 817
c lw 914
c lw 1731
c lw 1754
c lw 2555
c lw 3498
c lw 4410
c lw 4441
c lw 5249
c lw 5384
c lw 6119
c lw 6327
c lw 7241
c lw 7305
c lw 7427
c lw 7677
c lw 7824
c lw 8770
c lw 9716
c lw 10311
c lw 10662
c lw 11114
c lw 11278
c lw 11474
c lw 11724
c lw 12241
c lw 12758
c lw 14134
c lw 15510
c lw 16422
c lw 16796
c lw 16886
c lw 17781
c lw 18460
c lw 18766
c lw 19072
c lw 19999
c lw 20163
c lw 20553
c lw 20836
c lw 20943
c lw 21460
c lw 22124
c lw 22932
c lw 24056
c lw 24499
c lw 25094
c lw 25180
c lw 25250
c lw 26176
c lw 26304
c lw 26434
c lw 27089
c lw 27428
c lw 27662
c lw 28460
c lw 29356
c lw 30469
c lw 31582
c lw 32695
c lw 32710
c lw 33322
c lw 33435
c lw 33838
c lw 33916
c lw 34346
c lw 34634
c lw 35257
c lw 36051
c lw 36168
c lw 36965
c lw 37762
c lw 38413
c lw 38559
c lw 39348
c lw 39813
c lw 40137
c lw 40298
c lw 40581
c lw 40602
c lw 40698
c lw 41391
c lw 42083
c lw 42296
c lw 43010
c lw 43118
c lw 43225
c lw 43617
c lw 44434
c lw 44630
c lw 45257
c lw 45489
c lw 45555
c lw 46269
c lw 46343
c lw 46389
c lw 47012
c lw 47119
c lw 47241
c lw 47280
c lw 47402
c lw 47437
c lw 48184
c lw 48291
c lw 48472
c lw 48902
c lw 48909
c lw 48980
c lw 49037
c lw 49107
c lw 49303
c lw 49339
c lw 49383
c lw 49835
c lw 49943
c lw 50033
c lw 50043
c lw 50173
c lw 50174
c lw 50284
c lw 50335
c lw 50380
c lw 50399
c lw 50723
c lw 50829
c lw 50968
c lw 50989
c lw 51381
c lw 51506
c lw 51592
c lw 51598
c lw 51644
c lw 52295
c lw 52327
c lw 52770
c lw 52870
c lw 52944
c lw 53002
c lw 53252
c lw 53887
c lw 53918
c lw 53939
c lw 54015
c lw 54303
c lw 54582
c lw 54622
c lw 55099
c lw 55234
c lw 55243
c lw 55365
c lw 55404
c lw 55517
c lw 55624
c lw 55681
c lw 55851
c lw 56077
c lw 56223
c lw 56224
c lw 56350
c lw 56598
c lw 56599
c lw 56622
c lw 56688
c lw 56761
c lw 57052
c lw 57165
c lw 57180
c lw 57286
c lw 57453
c lw 57661
c lw 58046
c lw 58172
c lw 58594
c lw 58604
c lw 58613
c lw 59062
c lw 59258
c lw 59419
c lw 59782
c lw 60140
c lw 60186
c lw 60517
c lw 60553
c lw 60597
c lw 60659
c lw 60665
c lw 60666
c lw 60733
c lw 60739
c lw 60774
c lw 60845
c lw 60902
c lw 60972
c lw 61048
c lw 61070
c lw 61085
c lw 61168
c lw 61193
c lw 61204
c lw 61248
c lw 61283
c lw 61293
c lw 61324
c lw 61344
c lw 61436
c lw 61450
c lw 61455
c lw 61468
c lw 61565
c lw 61591
c lw 61612
c lw 62093
c lw 62124
c lw 62162
c lw 62174
c lw 62195
c lw 62202
c lw 62271
c lw 62398
c lw 62400
c lw 62450
c lw 62572
c lw 62596
c lw 62804
c lw 62877
c lw 62878
c lw 62892
c lw 62901
c lw 62925
c lw 62926
c lw 62934
c lw 62936
c lw 62940
c lw 62941
c lw 62948
c lw 62955
c lw 62956
c lw 62957
c lw 62970
c lw 62973
c lw 62974
c lw 62975
c lw 62980
c lw 62984
c lw 62985
c lw 62995
c lw 63029
c lw 63086
c lw 63087
c lw 63126
c lw 63132
c lw 63137
c lw 63157
c lw 63192
c lw 63237
c lw 63252
c lw 63255
c lw 63350
c lw 63359
c lw 63362
c lw 63435
c lw 63445
c lw 63469
c lw 63482
c lw 63554
c lw 63556
c lw 63557
c lw 63558
c lw 63559
c lw 63564
c lw 63577
c lw 63581
c lw 63584
c lw 63585
c lw 63588
c lw 63589
c lw 63590
c lw 63591
c lw 63593
c lw 63594
c lw 63595
c lw 63598
c lw 63599
c lw 63601
c lw 63604
c lw 63605
c lw 63606
c lw 63608
c lw 63609
c lw 63610
c lw 63613
c lw 63644
c lw 63645
c lw 63646
c lw 63647
c lw 63648
c lw 63649
c lw 63650
c lw 63651
c lw 63652
c lw 63653
c lw 63656
c lw 63657
c lw 63686
c lw 63687
c lw 63688
c lw 63689
c lw 63690
c lw 63799
c lw 63881
c lw 63906
c lw 63907
c lw 63909
c lw 63910
c lw 63911
c lw 63915
c lw 63917
c lw 63936
c lw 63937
c lw 63940
c lw 63948
c lw 63952
c lw 63954
c lw 63955
c lw 63958
c lw 63959
c lw 63961
c lw 63963
c lw 63964
c lw 63965
c lw 63967
c lw 63969
c lw 63970
c lw 63971
c lw 63972
c lw 63973
c lw 63974
c lw 63975
c lw 63976
c lw 63977
c lw 63980
c lw 63989
c lw 63995
c lw 63996
c lw 63997
c lw 63999
c lw 64000
c lw 64001
c lw 64003
c lw 64004
c lw 64005
c lw 64006
c lw 64007
c lw 64008
c lw 64009
c lw 64010
c lw 64011
c lw 64012
c lw 64013
c lw 64014
c lw 64015
c lw 64016
c lw 64017
c lw 64018
c lw 64019
c lw 64021
c lw 64022
c lw 64023
c lw 64024
c lw 64025
c lw 64026
c lw 64028
c lw 64030
c lw 64034
c lw 64040
c lw 64042
c lw 64043
c lw 64045
c lw 64062
c lw 64069
c lw 64071
c lw 64072
c lw 64073
c lw 64074
c lw 64075
c lw 64076
c lw 64077
c lw 64078
c lw 64079
c lw 64081
c lw 64085
c lw 64086
c lw 64087
c lw 64088
c lw 64089
c lw 64093
c lw 64124
c lw 64125
c lw 64126
c lw 64127
c lw 64128
c lw 64129
c lw 64130
c lw 64131
c lw 64132
c lw 64133
c lw 64134
c lw 64135
c lw 64136
c lw 64137
c lw 64138
c lw 64139
c lw 64149
c lw 64152
c lw 64153
c lw 64155
c lw 64156
c lw 64157
c lw 64160
c lw 64163
c lw 64164
c lw 64165
c lw 64166
c lw 64167
c lw 64168
c lw 64169
c lw 64170
c lw 64171
c lw 64192
c lw 64198
c lw 64199
c lw 64207
c lw 64211
c lw 64212
c lw 64217
c lw 64228
c lw 64229
c lw 64230
c lw 64231
c lw 64232
c lw 64233
c lw 64234
c lw 64235
c lw 64236
c lw 64237
c lw 64238
c lw 64239
c lw 64240
c lw 64241
c lw 64242
c lw 64243
c lw 64244
c lw 64245
c lw 64260
c lw 64261
c lw 64263
c lw 64264
c lw 64265
c lw 64266
c lw 64267
c lw 64268
c lw 64269
c lw 64270
c lw 64271
c lw 64272
c lw 64273
c lw 64274
c lw 64275
c lw 64276
c lw 64279
c lw 64280
c lw 64282
c lw 64283
c lw 64284
c lw 64285
c lw 64286
c lw 64287
c lw 64289
c lw 64293
c lw 64294
c lw 64418
c lw 64419
c lw 64420
c lw 64421
c lw 64423
c lw 64424
c lw 64425
c lw 64426
c lw 64427
c lw 64437
c lw 64438
c lw 64440
c lw 64441
c lw 64442
c lw 64449
c lw 64450
c lw 64451
c lw 64452
c lw 64453
c lw 64454
c lw 64455
c lw 64456
c lw 64457
c lw 64458
c lw 64459
c lw 64460
c lw 64461
c lw 64462
c lw 64463
c lw 64464
c lw 64465
c lw 64466
c lw 64467
c lw 64468
c lw 64469
c lw 64470
c lw 64471
c lw 64472
c lw 64473
c lw 64474
c lw 64475
c lw 64476
c lw 64477
c lw 64478
c lw 64479
c lw 64480
c lw 64481
c lw 64482
c lw 64483
c lw 64484
c lw 64485
c lw 64486
c lw 64487
c lw 64488
c lw 64489
c lw 64490
c lw 64491
c lw 64492
c lw 64493
c lw 64494
c lw 64495
c lw 64496
c lw 64497
c lw 64498
c lw 64499
c lw 64500
c lw 64501
c lw 64502
c lw 64503
c lw 64504
c lw 64505
c lw 64506
c lw 64507
c lw 64508
c lw 64509
c lw 64510
c lw 64511
c lw 64512
c lw 64513
c lw 64514
c lw 64515
c lw 64516
c lw 64517
c lw 64518
c lw 64519
c lw 64520
c lw 64521
c lw 64522
c lw 64523
c lw 64524
c lw 64525
c lw 64526
c lw 64527
c lw 64528
c lw 64529
c lw 64530
c lw 64531
c lw 64532
c lw 64533
c lw 64534
c lw 64535
c lw 64601
c lw 64602
c lw 64603
c lw 64605
c lw 64606
c lw 64639
c lw 64649
c lw 64651
c lw 64652
c lw 64653
c lw 64654
c lw 64655
c lw 64656
c lw 64657
c lw 64658
c lw 64659
c lw 64660
c lw 64661
c lw 64662
c lw 64663
c lw 64664
c lw 64665
c lw 64666
c lw 64669
c lw 64670
c lw 64671
c lw 64672
c lw 64686
c lw 64687
c lw 64688
c lw 64689
c lw 64690
c lw 64691
c lw 64692
c lw 64693
c lw 64694
c lw 64695
c lw 64696
c lw 64697
c lw 64698
c lw 64699
c lw 64700
c lw 64701
c lw 64702
c lw 64706
c lw 64710
c lw 64733
c lw 64734
c lw 64749
c lw 64750
c lw 64751
c lw 64752
c lw 64759
c lw 64760
c lw 64761
c lw 64795
c lw 64798
c lw 64812
c lw 64814
c lw 64822
c lw 64823
c lw 64824
c lw 64825
c lw 64828
c lw 64830
c lw 64832
c lw 64837
c lw 64838
c lw 64839
c lw 64843
c lw 64844
c lw 64845
c lw 64846
c lw 64847
c lw 64848
c lw 64849
c lw 64850
c lw 64851
c lw 64852
c lw 64853
c lw 64854
c lw 64855
c lw 64856
c lw 64857
c lw 64858
c lw 64859
c lw 64860
c lw 64861
c lw 64862
c lw 64863
c lw 64864
c lw 64865
c lw 64866
c lw 64867
c lw 64868
c lw 64869
c lw 64870
c lw 64871
c lw 64872
c lw 64873
c lw 64874
c lw 64875
c lw 64876
c lw 64877
c lw 64878
c lw 64879
c lw 64880
c lw 64881
c lw 64889
c lw 64890
c lw 64891
c lw 64892
c lw 64893
c lw 64894
c lw 64895
c lw 64896
c lw 64897
c lw 64898
c lw 64899
c lw 64900
c lw 64901
c lw 64902
c lw 64903
c lw 64904
c lw 64905
c lw 64906
c lw 64907
c lw 64908
c lw 64909
c lw 64910
c lw 64911
c lw 64912
c lw 64913
c lw 64914
c lw 64915
c lw 64916
c lw 64917
c lw 64918
c lw 64919
c lw 64920
c lw 64921
c lw 64922
c lw 64930
c lw 64935
c lw 64936
c lw 64937
c lw 64938
c lw 64939
c lw 64943
c lw 64953
c lw 64954
c lw 64955
c lw 64956
c lw 64957
c lw 64958
c lw 64959
c lw 64960
c lw 64961
c lw 64962
c lw 64963
c lw 64964
c lw 64965
c lw 64968
c lw 64969
c lw 64970
c lw 64971
c lw 64972
c lw 64990
c lw 64991
c lw 64992
c lw 65005
c lw 65012
c lw 65013
c lw 65014
c lw 65015
c lw 65016
c lw 65017
c lw 65018
c lw 65019
c lw 65020
c lw 65021
c lw 65022
c lw 65023
c lw 65024
c lw 65025
c lw 65026
c lw 65027
c lw 65028
c lw 65029
c lw 65030
c lw 65031
c lw 65032
c lw 65033
c lw 65034
c lw 65035
c lw 65036
c lw 65037
c lw 65038
c lw 65039
c lw 65040