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_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 355
c lw 492
c lw 726
c lw 1776
c lw 1913
c lw 2963
c lw 3890
c lw 4150
c lw 4287
c lw 4472
c lw 5438
c lw 5496
c lw 6404
c lw 7370
c lw 7941
c lw 8336
c lw 9302
c lw 10139
c lw 11124
c lw 12109
c lw 12167
c lw 13094
c lw 13954
c lw 14353
c lw 14814
c lw 15674
c lw 15733
c lw 16534
c lw 16869
c lw 17226
c lw 17761
c lw 17889
c lw 17947
c lw 18424
c lw 19339
c lw 20254
c lw 20812
c lw 21069
c lw 21878
c lw 22536
c lw 22656
c lw 23451
c lw 23728
c lw 25008
c lw 25935
c lw 26288
c lw 26767
c lw 27568
c lw 27684
c lw 27781
c lw 28549
c lw 28685
c lw 28810
c lw 29247
c lw 29802
c lw 30161
c lw 30919
c lw 31040
c lw 31919
c lw 32036
c lw 32595
c lw 33892
c lw 35189
c lw 35226
c lw 35822
c lw 36348
c lw 36486
c lw 37413
c lw 37987
c lw 38105
c lw 38654
c lw 39007
c lw 39465
c lw 39808
c lw 40151
c lw 40453
c lw 40755
c lw 40780
c lw 40881
c lw 41213
c lw 41324
c lw 41545
c lw 41656
c lw 41884
c lw 42052
c lw 42227
c lw 42347
c lw 42735
c lw 42903
c lw 43020
c lw 43079
c lw 43481
c lw 43592
c lw 43813
c lw 43880
c lw 43924
c lw 44001
c lw 44112
c lw 44118
c lw 44267
c lw 44610
c lw 44748
c lw 44876
c lw 44886
c lw 45235
c lw 45313
c lw 45438
c lw 45482
c lw 45519
c lw 45574
c lw 45790
c lw 46078
c lw 46335
c lw 46342
c lw 46439
c lw 46555
c lw 46636
c lw 46870
c lw 46913
c lw 46971
c lw 47309
c lw 47367
c lw 47410
c lw 47712
c lw 47718
c lw 47846
c lw 47985
c lw 48626
c lw 48684
c lw 49041
c lw 49079
c lw 49255
c lw 49373
c lw 49608
c lw 49746
c lw 49804
c lw 50064
c lw 50233
c lw 50366
c lw 50372
c lw 50396
c lw 50401
c lw 50840
c lw 51030
c lw 51322
c lw 51328
c lw 51353
c lw 51706
c lw 52154
c lw 52410
c lw 52788
c lw 52882
c lw 52892
c lw 52969
c lw 53070
c lw 53237
c lw 53424
c lw 53639
c lw 53725
c lw 53749
c lw 54080
c lw 54130
c lw 54250
c lw 54315
c lw 54361
c lw 54634
c lw 54676
c lw 54798
c lw 54865
c lw 55086
c lw 55089
c lw 55197
c lw 55200
c lw 55256
c lw 55259
c lw 55289
c lw 55426
c lw 55427
c lw 55501
c lw 55538
c lw 55567
c lw 55654
c lw 55697
c lw 55891
c lw 55957
c lw 55999
c lw 56041
c lw 56091
c lw 56097
c lw 56281
c lw 56536
c lw 56541
c lw 56565
c lw 56623
c lw 56646
c lw 56661
c lw 56685
c lw 56755
c lw 56799
c lw 56805
c lw 56806
c lw 56821
c lw 56862
c lw 56863
c lw 56905
c lw 56947
c lw 56948
c lw 56971
c lw 56977
c lw 56978
c lw 56988
c lw 57067
c lw 57076
c lw 57078
c lw 57087
c lw 57088
c lw 57124
c lw 57190
c lw 57236
c lw 57271
c lw 57278
c lw 57287
c lw 57308
c lw 57311
c lw 57329
c lw 57346
c lw 57357
c lw 57374
c lw 57432
c lw 57457
c lw 57467
c lw 57468
c lw 57469
c lw 57492
c lw 57493
c lw 57495
c lw 57496
c lw 57497
c lw 57498
c lw 57499
c lw 57500
c lw 57504
c lw 57505
c lw 57506
c lw 57507
c lw 57508
c lw 57510
c lw 57511
c lw 57512
c lw 57513
c lw 57514
c lw 57515
c lw 57524
c lw 57527
c lw 57554
c lw 57555
c lw 57567
c lw 57568
c lw 57570
c lw 57577
c lw 57578
c lw 57579
c lw 57584
c lw 57586
c lw 57592
c lw 57594
c lw 57595
c lw 57596
c lw 57597
c lw 57604
c lw 57617
c lw 57637
c lw 57647
c lw 57653
c lw 57671
c lw 57724
c lw 57745
c lw 57751
c lw 57752
c lw 57761
c lw 57792
c lw 57812
c lw 57813
c lw 57818
c lw 57823
c lw 57824
c lw 57844
c lw 57852
c lw 57853
c lw 57854
c lw 57859
c lw 57863
c lw 57879
c lw 57880
c lw 57882
c lw 57886
c lw 57893
c lw 57894
c lw 57895
c lw 57897
c lw 57898
c lw 57899
c lw 57900
c lw 57901
c lw 57902
c lw 57903
c lw 57904
c lw 57915
c lw 57917
c lw 57922
c lw 57923
c lw 57925
c lw 57926
c lw 57927
c lw 57928
c lw 57943
c lw 57944
c lw 57945
c lw 57947
c lw 57948
c lw 57949
c lw 57950
c lw 57951
c lw 57952
c lw 57953
c lw 57954
c lw 57960
c lw 58002
c lw 58003
c lw 58004
c lw 58008
c lw 58009
c lw 58010
c lw 58011
c lw 58012
c lw 58014
c lw 58015
c lw 58016
c lw 58017
c lw 58018
c lw 58019
c lw 58020
c lw 58021
c lw 58031
c lw 58032
c lw 58033
c lw 58034
c lw 58035
c lw 58036
c lw 58037
c lw 58038
c lw 58039
c lw 58040
c lw 58041
c lw 58043
c lw 58044
c lw 58046
c lw 58307
c lw 58414
c lw 58440
c lw 58442
c lw 58443
c lw 58444
c lw 58445
c lw 58446
c lw 58447
c lw 58448
c lw 58449
c lw 58450
c lw 58451
c lw 58452
c lw 58453
c lw 58454
c lw 58455
c lw 58480
c lw 58485
c lw 58486
c lw 58506
c lw 58534
c lw 58706
c lw 58709
c lw 58714
c lw 58715
c lw 58716
c lw 58722
c lw 58723
c lw 58724
c lw 58725
c lw 58728
c lw 58730
c lw 58731
c lw 58736
c lw 58739
c lw 58740
c lw 58741
c lw 58742
c lw 58743
c lw 58744
c lw 58745
c lw 58746
c lw 58747
c lw 58748
c lw 58749
c lw 58750
c lw 58751
c lw 58752
c lw 58786
c lw 58787
c lw 58788
c lw 58789
c lw 58801
c lw 58817
c lw 58834
c lw 58835
c lw 58836
c lw 58837
c lw 58838
c lw 58839
c lw 58840
c lw 58841
c lw 58842
c lw 58843
c lw 58844
c lw 58845
c lw 58857
c lw 58858
c lw 58859
c lw 58860
c lw 58863
c lw 58915
c lw 58916
c lw 58990
c lw 58991
c lw 58992
c lw 58993
c lw 59157
c lw 59348
c lw 59351
c lw 59379
c lw 59380
c lw 59419
c lw 59423
c lw 59424
c lw 59425
c lw 59426
c lw 59427
c lw 59428
c lw 59429
c lw 59437
c lw 59517
c lw 59518
c lw 59519
c lw 59520
c lw 59521
c lw 59522
c lw 59528
c lw 59529
c lw 59530
c lw 59531
c lw 59532
c lw 59533
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 59543
c lw 59544
c lw 59562
c lw 59563
c lw 59564
c lw 59565
c lw 59566
c lw 59567
c lw 59568
c lw 59576
c lw 59577
c lw 59578
c lw 59579
c lw 59580
c lw 59581
c lw 59582
c lw 59587
c lw 59588
c lw 59589
c lw 59590
c lw 59591
c lw 59592
c lw 59593
c lw 59594
c lw 59596
c lw 59597
c lw 59713
c lw 59714
c lw 59715
c lw 59716
c lw 59717
c lw 59718
c lw 59719
c lw 59720
c lw 59721
c lw 59722
c lw 59724
c lw 59725
c lw 59733
c lw 59734
c lw 59735
c lw 59736
c lw 59737
c lw 59738
c lw 59739
c lw 59740
c lw 59785
c lw 59786
c lw 59787
c lw 59789
c lw 59796
c lw 59797
c lw 59798
c lw 59799
c lw 59800
c lw 59801
c lw 59802
c lw 59803
c lw 59804
c lw 59805
c lw 59806
c lw 59807
c lw 59808
c lw 59809
c lw 59810
c lw 59811
c lw 59812
c lw 59842
c lw 59843
c lw 59844
c lw 59845
c lw 59846
c lw 59848
c lw 59849
c lw 59850
c lw 59853
c lw 59854
c lw 59855
c lw 59861
c lw 59862
c lw 59869
c lw 59870
c lw 59871
c lw 59872
c lw 59873
c lw 59874
c lw 59918
c lw 60000
c lw 60001
c lw 60023
c lw 60024
c lw 60025
c lw 60027
c lw 60032
c lw 60033
c lw 60034
c lw 60035
c lw 60036
c lw 60037
c lw 60038
c lw 60039
c lw 60040
c lw 60041
c lw 60042
c lw 60043
c lw 60044
c lw 60047
c lw 60048
c lw 60119
c lw 60120
c lw 60167
c lw 60168
c lw 60169
c lw 60170
c lw 60171
c lw 60173
c lw 60220
c lw 60221
c lw 60222
c lw 60224
c lw 60225
c lw 60226
c lw 60227
c lw 60228
c lw 60229
c lw 60233
c lw 60239
c lw 60240
c lw 60241
c lw 60264
c lw 60268
c lw 60269
c lw 60274
c lw 60275
c lw 60277
c lw 60282
c lw 60283
c lw 60284
c lw 60285
c lw 60286
c lw 60287
c lw 60288
c lw 60289
c lw 60290
c lw 60291
c lw 60292
c lw 60293
c lw 60294
c lw 60295
c lw 60296
c lw 60297
c lw 60298
c lw 60299
c lw 60301
c lw 60302
c lw 60303
c lw 60304
c lw 60305
c lw 60306
c lw 60307