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_150_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 769
c lw 1538
c lw 2307
c lw 3032
c lw 3039
c lw 3730
c lw 3766
c lw 4493
c lw 5245
c lw 5997
c lw 6416
c lw 6890
c lw 7080
c lw 7214
c lw 8287
c lw 8343
c lw 9176
c lw 10009
c lw 10734
c lw 10842
c lw 11263
c lw 11675
c lw 12511
c lw 13347
c lw 14050
c lw 14183
c lw 14838
c lw 14853
c lw 15587
c lw 15787
c lw 16637
c lw 17392
c lw 17487
c lw 18250
c lw 19013
c lw 19776
c lw 21024
c lw 21439
c lw 22272
c lw 22687
c lw 23233
c lw 23779
c lw 24313
c lw 24325
c lw 24962
c lw 25691
c lw 25953
c lw 25978
c lw 26483
c lw 26988
c lw 27493
c lw 27695
c lw 28049
c lw 28056
c lw 28376
c lw 28821
c lw 29531
c lw 29593
c lw 29895
c lw 30365
c lw 31137
c lw 31871
c lw 31909
c lw 32766
c lw 33623
c lw 34071
c lw 34600
c lw 35128
c lw 35853
c lw 36132
c lw 36185
c lw 36714
c lw 37235
c lw 37236
c lw 37396
c lw 37683
c lw 38292
c lw 38625
c lw 38740
c lw 38766
c lw 39582
c lw 39761
c lw 40398
c lw 41240
c lw 41398
c lw 41734
c lw 42497
c lw 43011
c lw 43596
c lw 43747
c lw 44013
c lw 44310
c lw 44695
c lw 45031
c lw 45240
c lw 45330
c lw 45508
c lw 45544
c lw 45984
c lw 46058
c lw 46222
c lw 46751
c lw 46836
c lw 47265
c lw 47688
c lw 48423
c lw 48540
c lw 49067
c lw 49246
c lw 49952
c lw 50151
c lw 50479
c lw 51050
c lw 51236
c lw 51797
c lw 52253
c lw 52469
c lw 52870
c lw 53115
c lw 53214
c lw 53970
c lw 54123
c lw 54309
c lw 54319
c lw 54470
c lw 54798
c lw 54997
c lw 55176
c lw 55202
c lw 55383
c lw 55557
c lw 55656
c lw 55694
c lw 55742
c lw 55895
c lw 56335
c lw 56379
c lw 56496
c lw 56558
c lw 56583
c lw 56720
c lw 56747
c lw 57101
c lw 57127
c lw 57300
c lw 57338
c lw 57398
c lw 57455
c lw 57456
c lw 57607
c lw 57721
c lw 57786
c lw 57843
c lw 57855
c lw 58118
c lw 58249
c lw 58285
c lw 58369
c lw 58463
c lw 58581
c lw 58811
c lw 58914
c lw 58971
c lw 58972
c lw 59190
c lw 59243
c lw 59435
c lw 59739
c lw 59918
c lw 60003
c lw 60347
c lw 60385
c lw 60518
c lw 60601
c lw 60608
c lw 60664
c lw 60674
c lw 60822
c lw 61124
c lw 61134
c lw 61186
c lw 61663
c lw 61714
c lw 61844
c lw 61935
c lw 62125
c lw 62371
c lw 62386
c lw 62488
c lw 62587
c lw 62733
c lw 62769
c lw 62869
c lw 63149
c lw 63205
c lw 63282
c lw 63356
c lw 63367
c lw 63498
c lw 63505
c lw 63654
c lw 63741
c lw 64066
c lw 64070
c lw 64490
c lw 64497
c lw 64577
c lw 64865
c lw 65224
c lw 65302
c lw 65417
c lw 65527
c lw 65730
c lw 66281
c lw 66290
c lw 66326
c lw 66535
c lw 66612
c lw 67086
c lw 67194
c lw 67499
c lw 67565
c lw 67714
c lw 67904
c lw 67999
c lw 68033
c lw 68072
c lw 68172
c lw 68374
c lw 68698
c lw 68826
c lw 68872
c lw 69113
c lw 69528
c lw 69531
c lw 69672
c lw 70040
c lw 70191
c lw 70405
c lw 70505
c lw 70590
c lw 70799
c lw 70919
c lw 71018
c lw 71134
c lw 71211
c lw 71227
c lw 71251
c lw 71254
c lw 71265
c lw 71273
c lw 71380
c lw 71392
c lw 71399
c lw 71424
c lw 71425
c lw 71471
c lw 71473
c lw 71500
c lw 71521
c lw 71522
c lw 71530
c lw 71533
c lw 71638
c lw 71674
c lw 71703
c lw 71756
c lw 71769
c lw 71825
c lw 71861
c lw 71927
c lw 71936
c lw 71951
c lw 72007
c lw 72041
c lw 72087
c lw 72139
c lw 72182
c lw 72189
c lw 72265
c lw 72341
c lw 72360
c lw 72364
c lw 72403
c lw 72437
c lw 72460
c lw 72511
c lw 72549
c lw 72574
c lw 72577
c lw 72582
c lw 72585
c lw 72588
c lw 72596
c lw 72607
c lw 72610
c lw 72615
c lw 72620
c lw 72624
c lw 72629
c lw 72641
c lw 72646
c lw 72658
c lw 72662
c lw 72667
c lw 72672
c lw 72675
c lw 72680
c lw 72681
c lw 72682
c lw 72683
c lw 72699
c lw 72700
c lw 72701
c lw 72703
c lw 72706
c lw 72707
c lw 72708
c lw 72709
c lw 72711
c lw 72712
c lw 72714
c lw 72715
c lw 72716
c lw 72717
c lw 72718
c lw 72719
c lw 72720
c lw 72721
c lw 72722
c lw 72723
c lw 72724
c lw 72725
c lw 72726
c lw 72727
c lw 72728
c lw 72729
c lw 72730
c lw 72731
c lw 72732
c lw 72733
c lw 72734
c lw 72735
c lw 72736
c lw 72737
c lw 72738
c lw 72739
c lw 72740
c lw 72741
c lw 72742
c lw 72743
c lw 72744
c lw 72745
c lw 72746
c lw 72747
c lw 72748
c lw 72749
c lw 72757
c lw 72761
c lw 72762
c lw 72763
c lw 72764
c lw 72765
c lw 72766
c lw 72767
c lw 72768
c lw 72769
c lw 72770
c lw 72771
c lw 72772
c lw 72774
c lw 72776
c lw 72777
c lw 72778
c lw 72779
c lw 72780
c lw 72781
c lw 72782
c lw 72783
c lw 72784
c lw 72785
c lw 72786
c lw 72787
c lw 72788
c lw 72789
c lw 72790
c lw 72791
c lw 72792
c lw 72793
c lw 72794
c lw 72795
c lw 72796
c lw 72797
c lw 72798
c lw 72799
c lw 72800
c lw 72801
c lw 72802
c lw 72804
c lw 72806
c lw 72807
c lw 72810
c lw 72841
c lw 72877
c lw 72882
c lw 72915
c lw 72916
c lw 72924
c lw 72935
c lw 72951
c lw 73028
c lw 73144
c lw 73160
c lw 73169
c lw 73263
c lw 73331
c lw 73416
c lw 73450
c lw 73711
c lw 73720
c lw 73763
c lw 73770
c lw 73796
c lw 73817
c lw 73844
c lw 73847
c lw 73860
c lw 73864
c lw 73912
c lw 73916
c lw 73929
c lw 73932
c lw 73933
c lw 74006
c lw 74008
c lw 74010
c lw 74013
c lw 74077
c lw 74114
c lw 74115
c lw 74117
c lw 74121
c lw 74123
c lw 74124
c lw 74141
c lw 74172
c lw 74173
c lw 74178
c lw 74181
c lw 74186
c lw 74188
c lw 74190
c lw 74191
c lw 74192
c lw 74193
c lw 74195
c lw 74196
c lw 74197
c lw 74198
c lw 74199
c lw 74200
c lw 74201
c lw 74202
c lw 74203
c lw 74205
c lw 74206
c lw 74207
c lw 74208
c lw 74209
c lw 74211
c lw 74215
c lw 74216
c lw 74218
c lw 74229
c lw 74231
c lw 74232
c lw 74238
c lw 74244
c lw 74245
c lw 74246
c lw 74247
c lw 74248
c lw 74249
c lw 74250
c lw 74251
c lw 74253
c lw 74254
c lw 74255
c lw 74256
c lw 74257
c lw 74258
c lw 74296
c lw 74307
c lw 74317
c lw 74348
c lw 74349
c lw 74350
c lw 74413
c lw 74437
c lw 74438
c lw 74442
c lw 74451
c lw 74455
c lw 74456
c lw 74457
c lw 74458
c lw 74459
c lw 74460
c lw 74461
c lw 74467
c lw 74468
c lw 74475
c lw 74476
c lw 74477
c lw 74478
c lw 74479
c lw 74480
c lw 74481
c lw 74482
c lw 74483
c lw 74484
c lw 74485
c lw 74486
c lw 74487
c lw 74488
c lw 74489
c lw 74490
c lw 74491
c lw 74492
c lw 74493
c lw 74494
c lw 74495
c lw 74502
c lw 74514
c lw 74529
c lw 74530
c lw 74537
c lw 74587
c lw 74601
c lw 74602
c lw 74603
c lw 74604
c lw 74605
c lw 74606
c lw 74607
c lw 74608
c lw 74632
c lw 74768
c lw 74769
c lw 74770
c lw 74771
c lw 74772
c lw 74773
c lw 74774
c lw 74775
c lw 74801
c lw 74802
c lw 74811
c lw 74812
c lw 74814
c lw 74819
c lw 74820
c lw 74832
c lw 74889
c lw 74890
c lw 74891
c lw 74892
c lw 74893
c lw 74894
c lw 74897
c lw 74901
c lw 74916
c lw 74945
c lw 75004
c lw 75006
c lw 75011
c lw 75012
c lw 75013
c lw 75014
c lw 75016
c lw 75017
c lw 75020
c lw 75021
c lw 75022
c lw 75023
c lw 75024
c lw 75026
c lw 75027
c lw 75028
c lw 75029
c lw 75030
c lw 75036
c lw 75037
c lw 75038
c lw 75041
c lw 75042
c lw 75043
c lw 75044
c lw 75045
c lw 75046
c lw 75047
c lw 75048
c lw 75058
c lw 75060
c lw 75061
c lw 75062
c lw 75063
c lw 75064
c lw 75079
c lw 75080
c lw 75081
c lw 75082
c lw 75083
c lw 75084
c lw 75085
c lw 75086
c lw 75087
c lw 75088
c lw 75089
c lw 75090
c lw 75094
c lw 75095
c lw 75096
c lw 75097
c lw 75098
c lw 75099
c lw 75100
c lw 75101
c lw 75102
c lw 75103
c lw 75104
c lw 75105
c lw 75106
c lw 75107
c lw 75108
c lw 75109
c lw 75110
c lw 75111
c lw 75112
c lw 75113
c lw 75114
c lw 75115
c lw 75116
c lw 75117
c lw 75118
c lw 75119
c lw 75120
c lw 75121
c lw 75122
c lw 75123
c lw 75124
c lw 75125
c lw 75126
c lw 75127
c lw 75128
c lw 75149
c lw 75150
c lw 75151
c lw 75152
c lw 75153
c lw 75154
c lw 75155
c lw 75156
c lw 75157
c lw 75158
c lw 75159
c lw 75160
c lw 75161
c lw 75162
c lw 75163
c lw 75164
c lw 75165
c lw 75166
c lw 75167
c lw 75168
c lw 75169
c lw 75172
c lw 75173
c lw 75174
c lw 75175
c lw 75176
c lw 75177
c lw 75178
c lw 75179
c lw 75180
c lw 75181
c lw 75182
c lw 75183
c lw 75184
c lw 75188
c lw 75189
c lw 75190
c lw 75191
c lw 75194
c lw 75195
c lw 75196
c lw 75197
c lw 75198
c lw 75199
c lw 75200
c lw 75215
c lw 75216
c lw 75217
c lw 75218
c lw 75222
c lw 75240
c lw 75253
c lw 75254
c lw 75255
c lw 75256
c lw 75257
c lw 75258
c lw 75263
c lw 75292
c lw 75297
c lw 75298
c lw 75301
c lw 75311
c lw 75312
c lw 75313
c lw 75314
c lw 75315
c lw 75317
c lw 75318
c lw 75319
c lw 75320
c lw 75321
c lw 75322
c lw 75323
c lw 75327
c lw 75331
c lw 75332
c lw 75333
c lw 75334
c lw 75345
c lw 75346
c lw 75347
c lw 75348
c lw 75349
c lw 75350
c lw 75351
c lw 75352
c lw 75353
c lw 75354
c lw 75355
c lw 75356
c lw 75357
c lw 75358
c lw 75359
c lw 75360
c lw 75361
c lw 75362
c lw 75363
c lw 75386
c lw 75387
c lw 75388
c lw 75389
c lw 75390
c lw 75391
c lw 75392
c lw 75399
c lw 75408
c lw 75409
c lw 75410
c lw 75411
c lw 75412
c lw 75413
c lw 75414
c lw 75415
c lw 75416
c lw 75417
c lw 75418
c lw 75419
c lw 75420
c lw 75427
c lw 75430
c lw 75432
c lw 75436
c lw 75437
c lw 75438
c lw 75439
c lw 75442
c lw 75469
c lw 75470
c lw 75471
c lw 75472
c lw 75473
c lw 75474
c lw 75475
c lw 75494
c lw 75495
c lw 75505
c lw 75506
c lw 75507
c lw 75510
c lw 75511
c lw 75515
c lw 75516
c lw 75517
c lw 75518
c lw 75520
c lw 75521
c lw 75528
c lw 75529
c lw 75530
c lw 75532
c lw 75533
c lw 75534
c lw 75535
c lw 75542
c lw 75543
c lw 75550
c lw 75551
c lw 75588
c lw 75623
c lw 75634
c lw 75635
c lw 75636
c lw 75637
c lw 75639
c lw 75640
c lw 75641
c lw 75642
c lw 75645
c lw 75646
c lw 75647
c lw 75648
c lw 75649
c lw 75651
c lw 75654
c lw 75656
c lw 75659
c lw 75661
c lw 75662
c lw 75663
c lw 75664
c lw 75665
c lw 75666
c lw 75667
c lw 75668
c lw 75669
c lw 75670
c lw 75672
c lw 75673
c lw 75674
c lw 75675
c lw 75676
c lw 75677
c lw 75678
c lw 75679
c lw 75680
c lw 75681
c lw 75682
c lw 75683
c lw 75684
c lw 75685
c lw 75686
c lw 75687
c lw 75688
c lw 75689
c lw 75690
c lw 75691
c lw 75692
c lw 75693
c lw 75694
c lw 75695
c lw 75696
c lw 75697
c lw 75698
c lw 75699
c lw 75700
c lw 75701
c lw 75702
c lw 75703
c lw 75704
c lw 75732
c lw 75733
c lw 75734
c lw 75735
c lw 75736
c lw 75737
c lw 75738
c lw 75739
c lw 75740
c lw 75741
c lw 75771
c lw 75773
c lw 75797
c lw 75798
c lw 75799
c lw 75801
c lw 75802
c lw 75803
c lw 75804
c lw 75805
c lw 75806
c lw 75807
c lw 75808
c lw 75809
c lw 75810
c lw 75811
c lw 75812
c lw 75813
c lw 75814
c lw 75815
c lw 75816
c lw 75817
c lw 75818
c lw 75819
c lw 75820
c lw 75821
c lw 75822
c lw 75823
c lw 75824
c lw 75825
c lw 75826
c lw 75827
c lw 75828
c lw 75829
c lw 75830
c lw 75831
c lw 75832
c lw 75833
c lw 75834
c lw 75835
c lw 75836
c lw 75837
c lw 75838
c lw 75839
c lw 75840
c lw 75841
c lw 75842
c lw 75843
c lw 75844
c lw 75845
c lw 75847
c lw 75850
c lw 75852
c lw 75853
c lw 75854
c lw 75855
c lw 75857
c lw 75858
c lw 75859
c lw 75860
c lw 75861
c lw 75862
c lw 75863
c lw 75869
c lw 75870
c lw 75871
c lw 75872
c lw 75873
c lw 75874
c lw 75875
c lw 75876
c lw 75877
c lw 75878
c lw 75879
c lw 75880
c lw 75881
c lw 75882
c lw 75883