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_80_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1151
c lw 2302
c lw 3453
c lw 4443
c lw 5116
c lw 5433
c lw 6307
c lw 6423
c lw 7134
c lw 7174
c lw 7413
c lw 7625
c lw 8577
c lw 8816
c lw 9652
c lw 10204
c lw 10756
c lw 11373
c lw 12108
c lw 13223
c lw 13788
c lw 14338
c lw 14552
c lw 14663
c lw 15113
c lw 15453
c lw 15510
c lw 15611
c lw 16061
c lw 17074
c lw 17538
c lw 18010
c lw 18567
c lw 18946
c lw 19882
c lw 20593
c lw 20818
c lw 21137
c lw 21851
c lw 22090
c lw 22565
c lw 22801
c lw 23279
c lw 23446
c lw 23993
c lw 24166
c lw 24361
c lw 24487
c lw 25320
c lw 25727
c lw 26153
c lw 26492
c lw 26986
c lw 27001
c lw 27825
c lw 27971
c lw 28489
c lw 28670
c lw 29009
c lw 29160
c lw 29512
c lw 29751
c lw 29919
c lw 30131
c lw 30341
c lw 30360
c lw 30506
c lw 30620
c lw 30660
c lw 31002
c lw 31024
c lw 31183
c lw 31309
c lw 31422
c lw 31460
c lw 31538
c lw 31696
c lw 31891
c lw 31894
c lw 32089
c lw 32111
c lw 32256
c lw 32344
c lw 32661
c lw 32770
c lw 32862
c lw 33093
c lw 33234
c lw 33480
c lw 33637
c lw 33709
c lw 33747
c lw 33862
c lw 33972
c lw 34029
c lw 34051
c lw 34197
c lw 34237
c lw 34458
c lw 34477
c lw 34537
c lw 34778
c lw 34876
c lw 34892
c lw 34918
c lw 35073
c lw 35098
c lw 35433
c lw 35772
c lw 35906
c lw 36187
c lw 36257
c lw 36288
c lw 36467
c lw 36500
c lw 36598
c lw 36640
c lw 36806
c lw 36891
c lw 36980
c lw 37091
c lw 37146
c lw 37257
c lw 37276
c lw 37317
c lw 37335
c lw 37374
c lw 37414
c lw 37530
c lw 37545
c lw 37684
c lw 37745
c lw 37913
c lw 38045
c lw 38423
c lw 38582
c lw 38599
c lw 38600
c lw 38618
c lw 38632
c lw 38639
c lw 38662
c lw 38687
c lw 38692
c lw 38727
c lw 38730
c lw 38788
c lw 38808
c lw 38814
c lw 38817
c lw 38966
c lw 38971
c lw 38988
c lw 38997
c lw 39013
c lw 39052
c lw 39120
c lw 39136
c lw 39157
c lw 39166
c lw 39174
c lw 39175
c lw 39180
c lw 39181
c lw 39187
c lw 39191
c lw 39193
c lw 39201
c lw 39289
c lw 39292
c lw 39322
c lw 39325
c lw 39363
c lw 39478
c lw 39521
c lw 39524
c lw 39564
c lw 39568
c lw 39584
c lw 39606
c lw 39613
c lw 39652
c lw 39671
c lw 39698
c lw 39713
c lw 39752
c lw 39759
c lw 39768
c lw 39786
c lw 39832
c lw 39836
c lw 39845
c lw 39849
c lw 39863
c lw 39891
c lw 39903
c lw 39975
c lw 39984
c lw 39989
c lw 39993
c lw 39998
c lw 40003
c lw 40006
c lw 40010
c lw 40011
c lw 40012
c lw 40017
c lw 40019
c lw 40020
c lw 40024
c lw 40027
c lw 40028
c lw 40029
c lw 40030
c lw 40057
c lw 40091
c lw 40121
c lw 40122
c lw 40124
c lw 40125
c lw 40127
c lw 40128
c lw 40129
c lw 40158
c lw 40212
c lw 40251
c lw 40253
c lw 40286
c lw 40288
c lw 40301
c lw 40302
c lw 40304
c lw 40305
c lw 40306
c lw 40307
c lw 40312
c lw 40313
c lw 40314
c lw 40326
c lw 40327
c lw 40328
c lw 40331
c lw 40340
c lw 40349
c lw 40350
c lw 40351
c lw 40419
c lw 40432
c lw 40433
c lw 40434
c lw 40435
c lw 40436
c lw 40437
c lw 40441
c lw 40442
c lw 40443
c lw 40445
c lw 40447
c lw 40448
c lw 40449
c lw 40450
c lw 40459
c lw 40460
c lw 40462
c lw 40465
c lw 40466
c lw 40467
c lw 40468
c lw 40471
c lw 40473
c lw 40474
c lw 40475
c lw 40476
c lw 40477
c lw 40478
c lw 40479
c lw 40480
c lw 40482
c lw 40483
c lw 40484
c lw 40485
c lw 40487
c lw 40488
c lw 40489
c lw 40490
c lw 40491
c lw 40492
c lw 40493
c lw 40494
c lw 40495
c lw 40496
c lw 40497
c lw 40498
c lw 40499
c lw 40500
c lw 40503
c lw 40504
c lw 40505
c lw 40506
c lw 40507
c lw 40508
c lw 40510
c lw 40511
c lw 40512
c lw 40513
c lw 40514
c lw 40515
c lw 40516
c lw 40517
c lw 40551
c lw 40552
c lw 40553
c lw 40554
c lw 40555
c lw 40556
c lw 40565
c lw 40566
c lw 40567
c lw 40568
c lw 40569
c lw 40572
c lw 40573
c lw 40581
c lw 40582
c lw 40583
c lw 40584
c lw 40585
c lw 40587
c lw 40588
c lw 40591
c lw 40592
c lw 40593
c lw 40595
c lw 40596
c lw 40597
c lw 40598
c lw 40599
c lw 40604
c lw 40606
c lw 40607
c lw 40608
c lw 40609
c lw 40610
c lw 40611
c lw 40612
c lw 40613
c lw 40614
c lw 40615
c lw 40616
c lw 40617
c lw 40636
c lw 40637
c lw 40638
c lw 40639
c lw 40640
c lw 40641
c lw 40642
c lw 40643
c lw 40656
c lw 40657
c lw 40658
c lw 40661
c lw 40675
c lw 40676
c lw 40677
c lw 40688
c lw 40723
c lw 40725
c lw 40743
c lw 40749
c lw 40750
c lw 40751
c lw 40759
c lw 40767
c lw 40768
c lw 40769
c lw 40770
c lw 40771
c lw 40773
c lw 40774
c lw 40777
c lw 40778
c lw 40780
c lw 40782
c lw 40783
c lw 40784
c lw 40785
c lw 40786
c lw 40788
c lw 40789
c lw 40790
c lw 40840
c lw 40841
c lw 40842
c lw 40843
c lw 40844
c lw 40845
c lw 40846
c lw 40847
c lw 40848
c lw 40849
c lw 40850
c lw 40851
c lw 40855
c lw 40856
c lw 40857
c lw 40858
c lw 40859
c lw 40860
c lw 40861
c lw 40862
c lw 40863
c lw 40864
c lw 40865
c lw 40866
c lw 40867
c lw 40868
c lw 40869
c lw 40870
c lw 40871
c lw 40872
c lw 40873
c lw 40874
c lw 40875
c lw 40876
c lw 40877
c lw 40878
c lw 40879
c lw 40880
c lw 40882
c lw 40886
c lw 40891
c lw 40892
c lw 40893
c lw 40894
c lw 40895
c lw 40896
c lw 40897
c lw 40898
c lw 40899
c lw 40900
c lw 40901
c lw 40902
c lw 40903
c lw 40904
c lw 40905
c lw 40906
c lw 40907
c lw 40908
c lw 40909
c lw 40910
c lw 40911
c lw 40912
c lw 40913
c lw 40914
c lw 40915
c lw 40916
c lw 40917
c lw 40918
c lw 40920
c lw 40921
c lw 40922
c lw 40923
c lw 40924
c lw 40925
c lw 40926
c lw 40927
c lw 40929
c lw 40930
c lw 40931
c lw 40932
c lw 40933
c lw 40934
c lw 40938
c lw 40941
c lw 40942
c lw 40943
c lw 40944
c lw 40945
c lw 40951
c lw 40952
c lw 40953
c lw 40954
c lw 40955
c lw 40956
c lw 40957
c lw 40958
c lw 40959
c lw 40960
c lw 40961
c lw 40962
c lw 40963
c lw 40964
c lw 40965
c lw 40966
c lw 40967
c lw 40968
c lw 40969
c lw 40970
c lw 40971
c lw 40972
c lw 40973
c lw 40974
c lw 40975
c lw 40976
c lw 40977
c lw 40978
c lw 40979
c lw 40980
c lw 40981
c lw 40982
c lw 40983
c lw 40984
c lw 40985
c lw 40986
c lw 40987
c lw 40988
c lw 40989
c lw 40990
c lw 40991
c lw 40992
c lw 40993
c lw 40994
c lw 40995
c lw 40996
c lw 40997
c lw 40998
c lw 40999
c lw 41000
c lw 41001
c lw 41003
c lw 41004
c lw 41005
c lw 41006
c lw 41007
c lw 41008
c lw 41009
c lw 41010
c lw 41011
c lw 41012
c lw 41013
c lw 41014
c lw 41017
c lw 41023
c lw 41029
c lw 41034
c lw 41035
c lw 41036
c lw 41037
c lw 41038
c lw 41039
c lw 41040
c lw 41041
c lw 41042
c lw 41072
c lw 41073
c lw 41074
c lw 41075
c lw 41076
c lw 41077
c lw 41078
c lw 41079
c lw 41080
c lw 41081
c lw 41082
c lw 41083
c lw 41084
c lw 41085
c lw 41086
c lw 41087
c lw 41088
c lw 41089
c lw 41090
c lw 41091
c lw 41092
c lw 41093
c lw 41094
c lw 41095
c lw 41096
c lw 41097
c lw 41098
c lw 41099
c lw 41100
c lw 41101
c lw 41102
c lw 41103
c lw 41104
c lw 41105
c lw 41106
c lw 41107
c lw 41108
c lw 41109
c lw 41110
c lw 41111
c lw 41112
c lw 41113
c lw 41114
c lw 41115
c lw 41116
c lw 41117
c lw 41118
c lw 41119
c lw 41120
c lw 41121
c lw 41122
c lw 41123
c lw 41124
c lw 41125
c lw 41126
c lw 41127
c lw 41128
c lw 41129
c lw 41130
c lw 41131
c lw 41132
c lw 41133
c lw 41134
c lw 41135
c lw 41136
c lw 41137
c lw 41138
c lw 41139
c lw 41140
c lw 41141
c lw 41142
c lw 41143
c lw 41144
c lw 41145
c lw 41146
c lw 41147
c lw 41148
c lw 41149
c lw 41150
c lw 41151
c lw 41152
c lw 41153
c lw 41154
c lw 41155
c lw 41156
c lw 41157
c lw 41158
c lw 41159
c lw 41160
c lw 41161
c lw 41162
c lw 41163
c lw 41164
c lw 41165
c lw 41166
c lw 41167
c lw 41168
c lw 41169
c lw 41170
c lw 41171
c lw 41172
c lw 41173
c lw 41174
c lw 41175
c lw 41176
c lw 41177
c lw 41178
c lw 41179
c lw 41180
c lw 41181
c lw 41182
c lw 41183
c lw 41184
c lw 41185
c lw 41186
c lw 41187
c lw 41188
c lw 41193
c lw 41202