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_70_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_70_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1064
c lw 2128
c lw 3116
c lw 3192
c lw 3883
c lw 3992
c lw 4792
c lw 5374
c lw 5592
c lw 6432
c lw 6955
c lw 7173
c lw 7914
c lw 8058
c lw 8655
c lw 9178
c lw 9737
c lw 9849
c lw 10314
c lw 10682
c lw 10999
c lw 11627
c lw 11944
c lw 12318
c lw 12521
c lw 12679
c lw 13516
c lw 13722
c lw 14353
c lw 14890
c lw 15190
c lw 15585
c lw 16027
c lw 16825
c lw 17623
c lw 18421
c lw 19098
c lw 19775
c lw 20452
c lw 21217
c lw 21304
c lw 21438
c lw 21526
c lw 21615
c lw 21763
c lw 22632
c lw 22840
c lw 23501
c lw 23725
c lw 24370
c lw 24639
c lw 25239
c lw 25350
c lw 26153
c lw 26848
c lw 27392
c lw 27414
c lw 27667
c lw 27750
c lw 28397
c lw 28486
c lw 28508
c lw 28777
c lw 29108
c lw 29153
c lw 29200
c lw 29217
c lw 29665
c lw 29668
c lw 29740
c lw 29828
c lw 29886
c lw 29985
c lw 30063
c lw 30089
c lw 30198
c lw 30457
c lw 30533
c lw 30605
c lw 30761
c lw 31224
c lw 31249
c lw 31257
c lw 31465
c lw 31718
c lw 31892
c lw 31907
c lw 32134
c lw 32451
c lw 32723
c lw 32857
c lw 32967
c lw 33165
c lw 33252
c lw 33309
c lw 33570
c lw 33609
c lw 33617
c lw 34052
c lw 34210
c lw 34428
c lw 34643
c lw 34700
c lw 34733
c lw 34828
c lw 34962
c lw 35034
c lw 35396
c lw 35480
c lw 35951
c lw 35973
c lw 36013
c lw 36041
c lw 36138
c lw 36146
c lw 36235
c lw 36407
c lw 36504
c lw 36566
c lw 36835
c lw 36843
c lw 36868
c lw 36880
c lw 36889
c lw 36915
c lw 36918
c lw 36940
c lw 37095
c lw 37112
c lw 37184
c lw 37272
c lw 37330
c lw 37366
c lw 37381
c lw 37392
c lw 37419
c lw 37457
c lw 37565
c lw 37573
c lw 37591
c lw 37731
c lw 37826
c lw 37865
c lw 37909
c lw 37942
c lw 37999
c lw 38007
c lw 38010
c lw 38015
c lw 38023
c lw 38080
c lw 38089
c lw 38091
c lw 38103
c lw 38120
c lw 38122
c lw 38124
c lw 38127
c lw 38134
c lw 38141
c lw 38142
c lw 38143
c lw 38150
c lw 38151
c lw 38152
c lw 38153
c lw 38154
c lw 38155
c lw 38156
c lw 38158
c lw 38159
c lw 38160
c lw 38161
c lw 38163
c lw 38164
c lw 38167
c lw 38169
c lw 38173
c lw 38183
c lw 38185
c lw 38186
c lw 38187
c lw 38188
c lw 38189
c lw 38190
c lw 38191
c lw 38192
c lw 38193
c lw 38194
c lw 38195
c lw 38196
c lw 38198
c lw 38199
c lw 38201
c lw 38202
c lw 38203
c lw 38205
c lw 38206
c lw 38207
c lw 38208
c lw 38209
c lw 38211
c lw 38212
c lw 38213
c lw 38214
c lw 38215
c lw 38216
c lw 38217
c lw 38218
c lw 38219
c lw 38220
c lw 38221
c lw 38222
c lw 38223
c lw 38226
c lw 38228
c lw 38229
c lw 38231
c lw 38232
c lw 38233
c lw 38235
c lw 38236
c lw 38237
c lw 38238
c lw 38239
c lw 38240
c lw 38241
c lw 38242
c lw 38243
c lw 38244
c lw 38245
c lw 38246
c lw 38247
c lw 38248
c lw 38249
c lw 38250
c lw 38251
c lw 38252
c lw 38253
c lw 38254
c lw 38255
c lw 38256
c lw 38257
c lw 38258
c lw 38259
c lw 38277
c lw 38278
c lw 38279
c lw 38280
c lw 38281
c lw 38282
c lw 38283
c lw 38284
c lw 38285
c lw 38299
c lw 38301
c lw 38302
c lw 38303
c lw 38304
c lw 38305
c lw 38306
c lw 38307
c lw 38308
c lw 38309
c lw 38310
c lw 38311
c lw 38312
c lw 38313
c lw 38314
c lw 38317
c lw 38318
c lw 38319
c lw 38320
c lw 38321
c lw 38326
c lw 38327
c lw 38328
c lw 38330
c lw 38332
c lw 38336
c lw 38357
c lw 38358
c lw 38359
c lw 38360
c lw 38361
c lw 38362
c lw 38363
c lw 38364
c lw 38365
c lw 38366
c lw 38367
c lw 38368
c lw 38369
c lw 38370
c lw 38371
c lw 38372
c lw 38373
c lw 38374
c lw 38375
c lw 38376
c lw 38377
c lw 38378
c lw 38379
c lw 38380
c lw 38382
c lw 38383
c lw 38384
c lw 38385
c lw 38386
c lw 38387
c lw 38388
c lw 38389
c lw 38390
c lw 38391
c lw 38392
c lw 38393
c lw 38394
c lw 38395
c lw 38396
c lw 38397
c lw 38398
c lw 38399
c lw 38405
c lw 38406
c lw 38407
c lw 38408
c lw 38409
c lw 38410
c lw 38411
c lw 38412
c lw 38413
c lw 38414
c lw 38415
c lw 38416
c lw 38417
c lw 38424
c lw 38429
c lw 38437
c lw 38438
c lw 38442
c lw 38443
c lw 38464
c lw 38465
c lw 38471
c lw 38485
c lw 38488
c lw 38489
c lw 38491
c lw 38492
c lw 38493
c lw 38494
c lw 38495
c lw 38496
c lw 38497
c lw 38498
c lw 38499
c lw 38500
c lw 38501
c lw 38502
c lw 38503
c lw 38504
c lw 38505
c lw 38515
c lw 38516
c lw 38517
c lw 38520
c lw 38521
c lw 38526
c lw 38527
c lw 38529
c lw 38546
c lw 38547
c lw 38548
c lw 38549
c lw 38550
c lw 38551
c lw 38552
c lw 38553
c lw 38554
c lw 38555
c lw 38556
c lw 38557
c lw 38558
c lw 38559
c lw 38560
c lw 38561
c lw 38562
c lw 38563
c lw 38564
c lw 38572
c lw 38573
c lw 38574
c lw 38575
c lw 38576
c lw 38577
c lw 38578
c lw 38579
c lw 38580
c lw 38581
c lw 38582
c lw 38583
c lw 38584
c lw 38585
c lw 38586
c lw 38587
c lw 38592
c lw 38593
c lw 38594
c lw 38595
c lw 38596
c lw 38597
c lw 38599
c lw 38600
c lw 38602
c lw 38603
c lw 38610
c lw 38622
c lw 38623
c lw 38624
c lw 38625
c lw 38626
c lw 38627
c lw 38628
c lw 38629
c lw 38630
c lw 38631
c lw 38632
c lw 38633
c lw 38634
c lw 38635
c lw 38636
c lw 38637
c lw 38638
c lw 38639
c lw 38640
c lw 38641
c lw 38642
c lw 38643
c lw 38644
c lw 38645
c lw 38646
c lw 38647
c lw 38648
c lw 38649
c lw 38650
c lw 38651
c lw 38652
c lw 38653
c lw 38654
c lw 38655
c lw 38656
c lw 38657
c lw 38658
c lw 38659
c lw 38660
c lw 38661
c lw 38662
c lw 38663
c lw 38664
c lw 38665
c lw 38666
c lw 38667
c lw 38670
c lw 38671
c lw 38672
c lw 38673
c lw 38675
c lw 38676
c lw 38677
c lw 38678
c lw 38679
c lw 38680
c lw 38681
c lw 38682
c lw 38683
c lw 38684
c lw 38685
c lw 38686
c lw 38687
c lw 38688
c lw 38693
c lw 38694
c lw 38695
c lw 38696
c lw 38697
c lw 38701
c lw 38702
c lw 38703
c lw 38706
c lw 38716
c lw 38760
c lw 38761
c lw 38762
c lw 38763
c lw 38814
c lw 38815
c lw 38816
c lw 38839
c lw 38840
c lw 38841
c lw 38842
c lw 38910
c lw 38911
c lw 38912
c lw 38913
c lw 38914
c lw 38915
c lw 38916
c lw 38917
c lw 38918
c lw 38919
c lw 38920
c lw 38943
c lw 38951
c lw 38952
c lw 38953
c lw 38954
c lw 38955
c lw 38956
c lw 38957
c lw 38958
c lw 38959
c lw 38960
c lw 38961
c lw 38962
c lw 38963
c lw 38964
c lw 38965
c lw 38966
c lw 38967
c lw 38968
c lw 38969
c lw 38970
c lw 38971
c lw 38992
c lw 38993
c lw 38995
c lw 38996
c lw 39000
c lw 39001
c lw 39002
c lw 39003