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_90_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 103
c lw 200
c lw 1073
c lw 1946
c lw 2174
c lw 2819
c lw 3050
c lw 3219
c lw 4131
c lw 4252
c lw 4306
c lw 4456
c lw 4845
c lw 4911
c lw 5615
c lw 5660
c lw 5789
c lw 6145
c lw 6501
c lw 6694
c lw 6857
c lw 7050
c lw 7213
c lw 7775
c lw 7918
c lw 8712
c lw 9175
c lw 9597
c lw 9881
c lw 10488
c lw 11379
c lw 11663
c lw 12367
c lw 13071
c lw 13620
c lw 14462
c lw 15472
c lw 15837
c lw 16482
c lw 16572
c lw 17354
c lw 17492
c lw 17720
c lw 17948
c lw 18185
c lw 18878
c lw 19066
c lw 19759
c lw 20640
c lw 21342
c lw 22190
c lw 22312
c lw 23160
c lw 23282
c lw 23463
c lw 23654
c lw 23845
c lw 24693
c lw 25263
c lw 25540
c lw 25547
c lw 25600
c lw 25714
c lw 25809
c lw 26004
c lw 26437
c lw 26453
c lw 26479
c lw 26675
c lw 27319
c lw 28159
c lw 28167
c lw 28297
c lw 28584
c lw 28772
c lw 29026
c lw 29254
c lw 29423
c lw 29586
c lw 29594
c lw 29988
c lw 30150
c lw 30381
c lw 30407
c lw 30765
c lw 30886
c lw 31017
c lw 31099
c lw 31124
c lw 31315
c lw 31322
c lw 31327
c lw 31402
c lw 31418
c lw 31425
c lw 31489
c lw 31513
c lw 31515
c lw 31590
c lw 31704
c lw 31872
c lw 31937
c lw 31988
c lw 32102
c lw 32149
c lw 32265
c lw 32271
c lw 32287
c lw 32295
c lw 32425
c lw 32531
c lw 32564
c lw 32958
c lw 33151
c lw 33196
c lw 33480
c lw 33603
c lw 33669
c lw 33677
c lw 33956
c lw 33976
c lw 34075
c lw 34092
c lw 34126
c lw 34289
c lw 34319
c lw 34375
c lw 34401
c lw 34482
c lw 34997
c lw 35178
c lw 35186
c lw 35239
c lw 35293
c lw 35460
c lw 35622
c lw 35850
c lw 35876
c lw 36064
c lw 36087
c lw 36224
c lw 36355
c lw 36366
c lw 36476
c lw 36690
c lw 36704
c lw 36706
c lw 37048
c lw 37327
c lw 37417
c lw 37539
c lw 37659
c lw 37767
c lw 37871
c lw 38141
c lw 38470
c lw 38613
c lw 38973
c lw 38980
c lw 39018
c lw 39025
c lw 39027
c lw 39030
c lw 39063
c lw 39105
c lw 39109
c lw 39111
c lw 39129
c lw 39179
c lw 39218
c lw 39244
c lw 39367
c lw 39412
c lw 39430
c lw 39437
c lw 39453
c lw 39519
c lw 39585
c lw 39622
c lw 39645
c lw 39704
c lw 39711
c lw 39749
c lw 39850
c lw 39857
c lw 39869
c lw 39874
c lw 39891
c lw 40001
c lw 40021
c lw 40061
c lw 40081
c lw 40143
c lw 40233
c lw 40280
c lw 40288
c lw 40313
c lw 40321
c lw 40359
c lw 40406
c lw 40443
c lw 40465
c lw 40472
c lw 40503
c lw 40566
c lw 40570
c lw 40572
c lw 40579
c lw 40592
c lw 40595
c lw 40641
c lw 40644
c lw 40661
c lw 40664
c lw 40667
c lw 40684
c lw 40687
c lw 40694
c lw 40705
c lw 40715
c lw 40716
c lw 40718
c lw 40721
c lw 40723
c lw 40727
c lw 40730
c lw 40731
c lw 40732
c lw 40734
c lw 40737
c lw 40749
c lw 40750
c lw 40753
c lw 40760
c lw 40766
c lw 40767
c lw 40773
c lw 40776
c lw 40777
c lw 40783
c lw 40784
c lw 40787
c lw 40801
c lw 40804
c lw 40805
c lw 40806
c lw 40816
c lw 40823
c lw 40824
c lw 40836
c lw 40866
c lw 40868
c lw 40870
c lw 40894
c lw 40908
c lw 40918
c lw 40919
c lw 40920
c lw 40921
c lw 40922
c lw 40925
c lw 40926
c lw 40933
c lw 40936
c lw 40937
c lw 40938
c lw 40939
c lw 40940
c lw 40941
c lw 40942
c lw 40943
c lw 40944
c lw 40945
c lw 40946
c lw 40947
c lw 40948
c lw 40949
c lw 40950
c lw 40951
c lw 40952
c lw 40953
c lw 40954
c lw 41005
c lw 41073
c lw 41076
c lw 41078
c lw 41079
c lw 41080
c lw 41115
c lw 41234
c lw 41245
c lw 41246
c lw 41247
c lw 41248
c lw 41256
c lw 41257
c lw 41258
c lw 41263
c lw 41265
c lw 41266
c lw 41272
c lw 41273
c lw 41276
c lw 41277
c lw 41278
c lw 41283
c lw 41291
c lw 41292
c lw 41305
c lw 41306
c lw 41307
c lw 41308
c lw 41309
c lw 41310
c lw 41315
c lw 41316
c lw 41319
c lw 41330
c lw 41331
c lw 41333
c lw 41334
c lw 41339
c lw 41341
c lw 41342
c lw 41343
c lw 41345
c lw 41347
c lw 41348
c lw 41349
c lw 41350
c lw 41351
c lw 41352
c lw 41353
c lw 41355
c lw 41356
c lw 41357
c lw 41358
c lw 41359
c lw 41360
c lw 41361
c lw 41362
c lw 41363
c lw 41364
c lw 41365
c lw 41384
c lw 41387
c lw 41395
c lw 41412
c lw 41413
c lw 41414
c lw 41415
c lw 41416
c lw 41417
c lw 41423
c lw 41424
c lw 41425
c lw 41426
c lw 41444
c lw 41445
c lw 41446
c lw 41447
c lw 41448
c lw 41449
c lw 41450
c lw 41451
c lw 41452
c lw 41453
c lw 41454
c lw 41455
c lw 41456
c lw 41457
c lw 41467
c lw 41470
c lw 41472
c lw 41473
c lw 41474
c lw 41475
c lw 41476
c lw 41477
c lw 41478
c lw 41479
c lw 41483
c lw 41484
c lw 41487
c lw 41488
c lw 41489
c lw 41497
c lw 41529
c lw 41531
c lw 41532
c lw 41533
c lw 41562
c lw 41572
c lw 41573
c lw 41574
c lw 41575
c lw 41576
c lw 41577
c lw 41578
c lw 41579
c lw 41580
c lw 41583
c lw 41584
c lw 41585
c lw 41586
c lw 41594
c lw 41595
c lw 41596
c lw 41597
c lw 41598
c lw 41599
c lw 41600
c lw 41602
c lw 41603
c lw 41604
c lw 41605
c lw 41606
c lw 41607
c lw 41608
c lw 41609
c lw 41610
c lw 41611
c lw 41612
c lw 41613
c lw 41614
c lw 41615
c lw 41616
c lw 41617
c lw 41618
c lw 41619
c lw 41620
c lw 41621
c lw 41622
c lw 41623
c lw 41624
c lw 41625
c lw 41626
c lw 41627
c lw 41628
c lw 41635
c lw 41643
c lw 41646
c lw 41649
c lw 41651
c lw 41652
c lw 41653
c lw 41654
c lw 41655
c lw 41656
c lw 41657
c lw 41658
c lw 41659
c lw 41660
c lw 41661
c lw 41662
c lw 41663
c lw 41664
c lw 41665
c lw 41666
c lw 41667
c lw 41668
c lw 41669
c lw 41670
c lw 41671
c lw 41672
c lw 41673
c lw 41674
c lw 41675
c lw 41676
c lw 41677
c lw 41678
c lw 41679
c lw 41680
c lw 41681
c lw 41682
c lw 41683
c lw 41684
c lw 41685
c lw 41687
c lw 41688
c lw 41689
c lw 41690
c lw 41691
c lw 41692
c lw 41693
c lw 41696
c lw 41697
c lw 41710
c lw 41711
c lw 41712
c lw 41713
c lw 41714
c lw 41715
c lw 41732
c lw 41772
c lw 41773
c lw 41774
c lw 41775
c lw 41776
c lw 41777
c lw 41780
c lw 41782
c lw 41785
c lw 41786
c lw 41788
c lw 41789
c lw 41802
c lw 41805
c lw 41806
c lw 41807
c lw 41808
c lw 41809
c lw 41810
c lw 41812
c lw 41813
c lw 41814
c lw 41815
c lw 41816
c lw 41817
c lw 41818
c lw 41819
c lw 41820
c lw 41821
c lw 41822
c lw 41823
c lw 41824
c lw 41825
c lw 41827
c lw 41829
c lw 41830
c lw 41831
c lw 41832
c lw 41833
c lw 41834
c lw 41835
c lw 41836
c lw 41837
c lw 41838
c lw 41839
c lw 41840
c lw 41841
c lw 41842
c lw 41845
c lw 41849
c lw 41850
c lw 41851
c lw 41852
c lw 41854
c lw 41859
c lw 41860
c lw 41861
c lw 41862
c lw 41864
c lw 41865
c lw 41866
c lw 41870
c lw 41871
c lw 41872
c lw 41873
c lw 41874
c lw 41875
c lw 41876
c lw 41877
c lw 41878
c lw 41879
c lw 41880
c lw 41881
c lw 41882
c lw 41883
c lw 41884
c lw 41885
c lw 41886
c lw 41887
c lw 41888
c lw 41889
c lw 41890
c lw 41891
c lw 41892
c lw 41893
c lw 41894
c lw 41895
c lw 41896
c lw 41897
c lw 41898
c lw 41899
c lw 41900
c lw 41901
c lw 41902
c lw 41903
c lw 41904
c lw 41905
c lw 41906
c lw 41907
c lw 41908
c lw 41909
c lw 41910
c lw 41911
c lw 41912
c lw 41913
c lw 41914
c lw 41915
c lw 41916
c lw 41917
c lw 41918
c lw 41919
c lw 41920
c lw 41921
c lw 41922
c lw 41923
c lw 41924
c lw 41925
c lw 41926
c lw 41927
c lw 41928
c lw 41929
c lw 41930
c lw 41931
c lw 41932
c lw 41933
c lw 41934
c lw 41935
c lw 41936
c lw 41937
c lw 41938
c lw 41939
c lw 41940
c lw 41941
c lw 41942
c lw 41943
c lw 41944
c lw 41945
c lw 41946
c lw 41947
c lw 41948
c lw 41949
c lw 41950
c lw 41951
c lw 41952
c lw 41953
c lw 41954
c lw 41955
c lw 41956
c lw 41957
c lw 41958
c lw 41959
c lw 41960
c lw 41961
c lw 41962
c lw 41963
c lw 41964
c lw 41965
c lw 41966
c lw 41967
c lw 41968
c lw 41969
c lw 41970
c lw 41971
c lw 41972
c lw 41973
c lw 41974
c lw 41975
c lw 41976
c lw 42011
c lw 42012
c lw 42013
c lw 42014
c lw 42015
c lw 42016
c lw 42017
c lw 42021
c lw 42022
c lw 42023
c lw 42024
c lw 42025
c lw 42027
c lw 42028
c lw 42032
c lw 42033
c lw 42034
c lw 42035
c lw 42036
c lw 42037
c lw 42038
c lw 42039
c lw 42040