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_110_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 63
c lw 1020
c lw 1873
c lw 1977
c lw 2936
c lw 3789
c lw 3895
c lw 4334
c lw 4854
c lw 5707
c lw 5813
c lw 6666
c lw 7117
c lw 7519
c lw 7864
c lw 8372
c lw 8823
c lw 9225
c lw 9913
c lw 10093
c lw 10426
c lw 10601
c lw 11289
c lw 11642
c lw 11956
c lw 12608
c lw 12922
c lw 13852
c lw 14064
c lw 14994
c lw 15537
c lw 15709
c lw 16424
c lw 17139
c lw 17854
c lw 18147
c lw 18289
c lw 18724
c lw 19816
c lw 20021
c lw 20404
c lw 20908
c lw 21979
c lw 22000
c lw 22762
c lw 23305
c lw 23624
c lw 23848
c lw 24347
c lw 24391
c lw 24617
c lw 24861
c lw 25713
c lw 26565
c lw 26810
c lw 26951
c lw 27417
c lw 28269
c lw 28992
c lw 29715
c lw 30394
c lw 30438
c lw 31060
c lw 31387
c lw 32009
c lw 32442
c lw 32793
c lw 33497
c lw 34355
c lw 34552
c lw 34741
c lw 34903
c lw 35085
c lw 35676
c lw 35680
c lw 35934
c lw 36121
c lw 36657
c lw 36940
c lw 37127
c lw 37380
c lw 38080
c lw 38334
c lw 38939
c lw 39034
c lw 39499
c lw 40119
c lw 40236
c lw 40701
c lw 41204
c lw 41449
c lw 42301
c lw 42546
c lw 42650
c lw 42855
c lw 43212
c lw 43535
c lw 43616
c lw 43733
c lw 43986
c lw 44331
c lw 44451
c lw 44638
c lw 44640
c lw 44802
c lw 44989
c lw 44999
c lw 45317
c lw 45600
c lw 45742
c lw 45884
c lw 46245
c lw 46290
c lw 46356
c lw 46649
c lw 46680
c lw 46701
c lw 46818
c lw 47063
c lw 47094
c lw 47201
c lw 47318
c lw 47705
c lw 47772
c lw 47783
c lw 47790
c lw 47948
c lw 47965
c lw 48053
c lw 48123
c lw 48587
c lw 48643
c lw 48823
c lw 49169
c lw 49225
c lw 49620
c lw 49670
c lw 49676
c lw 49996
c lw 50115
c lw 50523
c lw 50664
c lw 51172
c lw 51198
c lw 51215
c lw 51310
c lw 51612
c lw 51656
c lw 51931
c lw 51975
c lw 52155
c lw 52225
c lw 52550
c lw 52735
c lw 52795
c lw 52907
c lw 53131
c lw 53139
c lw 53229
c lw 53234
c lw 53393
c lw 53397
c lw 53460
c lw 53555
c lw 53659
c lw 53788
c lw 53892
c lw 54310
c lw 54522
c lw 54893
c lw 54916
c lw 54952
c lw 55134
c lw 55266
c lw 55347
c lw 55448
c lw 55523
c lw 55679
c lw 55868
c lw 56066
c lw 56073
c lw 56121
c lw 56159
c lw 56186
c lw 56226
c lw 56233
c lw 56257
c lw 56373
c lw 56375
c lw 56401
c lw 56431
c lw 56486
c lw 56665
c lw 56675
c lw 56678
c lw 56686
c lw 56693
c lw 56697
c lw 56792
c lw 56836
c lw 56874
c lw 56880
c lw 56882
c lw 56989
c lw 56994
c lw 57084
c lw 57269
c lw 57409
c lw 57469
c lw 57575
c lw 57581
c lw 57602
c lw 57701
c lw 57709
c lw 57714
c lw 57810
c lw 57900
c lw 57918
c lw 57925
c lw 57942
c lw 58034
c lw 58038
c lw 58057
c lw 58092
c lw 58108
c lw 58127
c lw 58132
c lw 58149
c lw 58172
c lw 58179
c lw 58209
c lw 58224
c lw 58244
c lw 58257
c lw 58260
c lw 58263
c lw 58271
c lw 58272
c lw 58274
c lw 58294
c lw 58299
c lw 58302
c lw 58330
c lw 58331
c lw 58370
c lw 58378
c lw 58393
c lw 58398
c lw 58428
c lw 58456
c lw 58457
c lw 58459
c lw 58463
c lw 58482
c lw 58544
c lw 58593
c lw 58864
c lw 58867
c lw 58870
c lw 59034
c lw 59035
c lw 59045
c lw 59048
c lw 59049
c lw 59051
c lw 59052
c lw 59053
c lw 59054
c lw 59055
c lw 59056
c lw 59057
c lw 59071
c lw 59085
c lw 59095
c lw 59101
c lw 59102
c lw 59106
c lw 59108
c lw 59121
c lw 59140
c lw 59142
c lw 59147
c lw 59149
c lw 59150
c lw 59151
c lw 59152
c lw 59208
c lw 59214
c lw 59217
c lw 59218
c lw 59232
c lw 59294
c lw 59296
c lw 59297
c lw 59299
c lw 59302
c lw 59304
c lw 59308
c lw 59310
c lw 59311
c lw 59313
c lw 59369
c lw 59375
c lw 59423
c lw 59424
c lw 59425
c lw 59426
c lw 59427
c lw 59428
c lw 59444
c lw 59445
c lw 59454
c lw 59463
c lw 59468
c lw 59474
c lw 59490
c lw 59492
c lw 59494
c lw 59495
c lw 59530
c lw 59531
c lw 59532
c lw 59534
c lw 59535
c lw 59536
c lw 59537
c lw 59538
c lw 59539
c lw 59540
c lw 59541
c lw 59542
c lw 59547
c lw 59550
c lw 59551
c lw 59552
c lw 59554
c lw 59555
c lw 59556
c lw 59557
c lw 59558
c lw 59559
c lw 59560
c lw 59561
c lw 59562
c lw 59566
c lw 59567
c lw 59568
c lw 59569
c lw 59570
c lw 59573
c lw 59624
c lw 59668
c lw 59669
c lw 59670
c lw 59671
c lw 59680
c lw 59691
c lw 59692
c lw 59842
c lw 59843
c lw 59845
c lw 59846
c lw 59851
c lw 59920
c lw 59944
c lw 59945
c lw 59946
c lw 59947
c lw 59948
c lw 59949
c lw 59953
c lw 59956
c lw 59960
c lw 59961
c lw 59963
c lw 59965
c lw 59967
c lw 59971
c lw 59991
c lw 59992
c lw 59993
c lw 59995
c lw 59996
c lw 60002
c lw 60007
c lw 60008
c lw 60009
c lw 60010
c lw 60011
c lw 60017
c lw 60019
c lw 60020
c lw 60022
c lw 60074
c lw 60080
c lw 60085
c lw 60086
c lw 60087
c lw 60088
c lw 60089
c lw 60090
c lw 60091
c lw 60092
c lw 60093
c lw 60094
c lw 60095
c lw 60096
c lw 60139
c lw 60140
c lw 60147
c lw 60148
c lw 60149
c lw 60150
c lw 60151
c lw 60153
c lw 60154
c lw 60155
c lw 60156
c lw 60157
c lw 60158
c lw 60159
c lw 60160
c lw 60161
c lw 60162
c lw 60163
c lw 60164
c lw 60165
c lw 60166
c lw 60167
c lw 60168
c lw 60169
c lw 60170
c lw 60171
c lw 60173
c lw 60174
c lw 60180
c lw 60181
c lw 60182
c lw 60183
c lw 60184
c lw 60185
c lw 60186
c lw 60187
c lw 60188
c lw 60192
c lw 60199
c lw 60200
c lw 60202
c lw 60203
c lw 60204
c lw 60205
c lw 60210
c lw 60211
c lw 60212
c lw 60213
c lw 60214
c lw 60215
c lw 60216
c lw 60217
c lw 60218
c lw 60219
c lw 60220
c lw 60221
c lw 60222
c lw 60223
c lw 60224
c lw 60225
c lw 60226
c lw 60227
c lw 60228
c lw 60229
c lw 60230
c lw 60231
c lw 60232
c lw 60233
c lw 60234
c lw 60235
c lw 60236
c lw 60237
c lw 60238
c lw 60239
c lw 60240
c lw 60241
c lw 60242
c lw 60243
c lw 60244
c lw 60246
c lw 60247
c lw 60248
c lw 60249
c lw 60250
c lw 60251
c lw 60254
c lw 60256
c lw 60257
c lw 60258
c lw 60259
c lw 60276
c lw 60280
c lw 60301
c lw 60302
c lw 60303
c lw 60329
c lw 60330
c lw 60331
c lw 60332
c lw 60333
c lw 60334
c lw 60346
c lw 60347
c lw 60348
c lw 60349
c lw 60350
c lw 60351
c lw 60352
c lw 60353
c lw 60354
c lw 60355
c lw 60356
c lw 60357
c lw 60358
c lw 60376
c lw 60377
c lw 60378
c lw 60379
c lw 60380
c lw 60381
c lw 60382
c lw 60383
c lw 60384
c lw 60385
c lw 60386
c lw 60387
c lw 60479
c lw 60480
c lw 60481
c lw 60482
c lw 60483
c lw 60486
c lw 60487
c lw 60489
c lw 60503
c lw 60504
c lw 60505
c lw 60506
c lw 60507
c lw 60508
c lw 60509
c lw 60510
c lw 60511
c lw 60513
c lw 60520
c lw 60535
c lw 60536
c lw 60546
c lw 60547
c lw 60548
c lw 60549
c lw 60570
c lw 60571
c lw 60572
c lw 60573
c lw 60574
c lw 60575
c lw 60576
c lw 60577
c lw 60578
c lw 60579
c lw 60580
c lw 60581
c lw 60582
c lw 60583
c lw 60584
c lw 60585
c lw 60586
c lw 60587
c lw 60588
c lw 60589
c lw 60590
c lw 60591
c lw 60592
c lw 60595
c lw 60596
c lw 60597
c lw 60598
c lw 60665
c lw 60688
c lw 60689
c lw 60690
c lw 60691
c lw 60692
c lw 60693
c lw 60694
c lw 60695
c lw 60696
c lw 60700
c lw 60701
c lw 60702
c lw 60703
c lw 60704
c lw 60705
c lw 60706
c lw 60707
c lw 60708
c lw 60710
c lw 60711
c lw 60713
c lw 60714
c lw 60715
c lw 60716
c lw 60722
c lw 60725
c lw 60726
c lw 60727
c lw 60728
c lw 60732
c lw 60733
c lw 60734
c lw 60735
c lw 60736
c lw 60737
c lw 60738
c lw 60739
c lw 60740
c lw 60741
c lw 60742
c lw 60743
c lw 60744
c lw 60745
c lw 60746
c lw 60747
c lw 60748
c lw 60749
c lw 60750
c lw 60751
c lw 60752
c lw 60753
c lw 60754
c lw 60755
c lw 60756
c lw 60757
c lw 60758
c lw 60759
c lw 60762
c lw 60763
c lw 60764
c lw 60765
c lw 60766
c lw 60767
c lw 60768
c lw 60769
c lw 60770
c lw 60773
c lw 60778
c lw 60780
c lw 60783
c lw 60784
c lw 60785
c lw 60786
c lw 60823
c lw 60824
c lw 60825
c lw 60826
c lw 60827
c lw 60828
c lw 60829
c lw 60830
c lw 60832
c lw 60836
c lw 60837
c lw 60838
c lw 60839
c lw 60840
c lw 60841
c lw 60842
c lw 60843
c lw 60844
c lw 60845
c lw 60846
c lw 60847
c lw 60848
c lw 60849
c lw 60850
c lw 60851
c lw 60852
c lw 60855
c lw 60856
c lw 60857
c lw 60861
c lw 60862
c lw 60863
c lw 60864
c lw 60865
c lw 60866
c lw 60867
c lw 60868
c lw 60869
c lw 60870
c lw 60871
c lw 60872
c lw 60873
c lw 60874
c lw 60875
c lw 60876
c lw 60877
c lw 60878
c lw 60879
c lw 60880
c lw 60881
c lw 60882
c lw 60893
c lw 60895
c lw 60896
c lw 60897
c lw 60898
c lw 60899
c lw 60900
c lw 60901
c lw 60908
c lw 60909
c lw 60910
c lw 60911
c lw 60912
c lw 60913
c lw 60914
c lw 60919
c lw 60933
c lw 60934
c lw 60935
c lw 60936
c lw 60937
c lw 60938
c lw 60943
c lw 60944
c lw 60945
c lw 60947
c lw 60953
c lw 60954
c lw 60955
c lw 60956
c lw 60957
c lw 60958
c lw 60959
c lw 60960
c lw 60961
c lw 60962
c lw 60963
c lw 60964