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_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1069
c lw 1887
c lw 2138
c lw 3144
c lw 3207
c lw 3827
c lw 4276
c lw 4918
c lw 5647
c lw 5710
c lw 6502
c lw 7294
c lw 7637
c lw 8597
c lw 9557
c lw 9882
c lw 10517
c lw 11049
c lw 11377
c lw 11646
c lw 12116
c lw 12736
c lw 13660
c lw 13723
c lw 13918
c lw 14647
c lw 14767
c lw 14905
c lw 15640
c lw 15903
c lw 16117
c lw 16901
c lw 17805
c lw 17899
c lw 18709
c lw 18740
c lw 18897
c lw 19091
c lw 19525
c lw 19895
c lw 20657
c lw 20985
c lw 21044
c lw 21528
c lw 21568
c lw 22327
c lw 22536
c lw 22645
c lw 22679
c lw 22962
c lw 23063
c lw 23771
c lw 24692
c lw 24849
c lw 25043
c lw 25916
c lw 25997
c lw 26054
c lw 26306
c lw 26380
c lw 27065
c lw 27159
c lw 27391
c lw 28349
c lw 29347
c lw 29387
c lw 29407
c lw 29553
c lw 30474
c lw 30791
c lw 31023
c lw 31218
c lw 31257
c lw 31475
c lw 31877
c lw 32014
c lw 32162
c lw 32182
c lw 32247
c lw 32265
c lw 32366
c lw 32414
c lw 32623
c lw 32699
c lw 32773
c lw 32793
c lw 32850
c lw 32893
c lw 32956
c lw 33107
c lw 33145
c lw 33339
c lw 33433
c lw 33598
c lw 33744
c lw 33901
c lw 33932
c lw 34164
c lw 34358
c lw 34479
c lw 34968
c lw 35188
c lw 35297
c lw 35308
c lw 35367
c lw 35522
c lw 35633
c lw 35669
c lw 35759
c lw 35896
c lw 35990
c lw 36569
c lw 36707
c lw 36770
c lw 37091
c lw 37201
c lw 37239
c lw 37263
c lw 37357
c lw 37376
c lw 37940
c lw 38560
c lw 38595
c lw 38769
c lw 38824
c lw 38848
c lw 38906
c lw 38946
c lw 38986
c lw 39055
c lw 39332
c lw 39449
c lw 39644
c lw 39679
c lw 39827
c lw 40046
c lw 40099
c lw 40117
c lw 40119
c lw 40160
c lw 40184
c lw 40210
c lw 40215
c lw 40235
c lw 40273
c lw 40309
c lw 40337
c lw 40367
c lw 40405
c lw 40512
c lw 40543
c lw 40623
c lw 40662
c lw 40732
c lw 40775
c lw 40791
c lw 40854
c lw 40885
c lw 40896
c lw 40905
c lw 40913
c lw 40989
c lw 41011
c lw 41035
c lw 41042
c lw 41073
c lw 41090
c lw 41130
c lw 41159
c lw 41177
c lw 41194
c lw 41264
c lw 41283
c lw 41307
c lw 41365
c lw 41377
c lw 41382
c lw 41389
c lw 41393
c lw 41456
c lw 41532
c lw 41575
c lw 41602
c lw 41604
c lw 41613
c lw 41623
c lw 41654
c lw 41672
c lw 41677
c lw 41694
c lw 41697
c lw 41698
c lw 41720
c lw 41744
c lw 41778
c lw 41805
c lw 41807
c lw 41811
c lw 41815
c lw 41832
c lw 41842
c lw 41850
c lw 41854
c lw 41858
c lw 41865
c lw 41870
c lw 41872
c lw 41875
c lw 41876
c lw 41878
c lw 41881
c lw 41885
c lw 41887
c lw 41888
c lw 41889
c lw 41895
c lw 41896
c lw 41898
c lw 41904
c lw 41906
c lw 41907
c lw 41910
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 41923
c lw 41924
c lw 41925
c lw 41926
c lw 41927
c lw 41928
c lw 41936
c lw 41944
c lw 41945
c lw 41952
c lw 41955
c lw 41956
c lw 41959
c lw 41960
c lw 41961
c lw 41964
c lw 41966
c lw 41967
c lw 41970
c lw 41971
c lw 41972
c lw 41976
c lw 41981
c lw 41983
c lw 41984
c lw 41985
c lw 41986
c lw 41987
c lw 41988
c lw 41989
c lw 41990
c lw 41991
c lw 41992
c lw 41993
c lw 41994
c lw 41995
c lw 41996
c lw 41997
c lw 41998
c lw 41999
c lw 42000
c lw 42001
c lw 42002
c lw 42003
c lw 42004
c lw 42005
c lw 42006
c lw 42007
c lw 42009
c lw 42010
c lw 42011
c lw 42012
c lw 42013
c lw 42014
c lw 42015
c lw 42016
c lw 42017
c lw 42018
c lw 42019
c lw 42020
c lw 42021
c lw 42022
c lw 42023
c lw 42024
c lw 42025
c lw 42026
c lw 42027
c lw 42028
c lw 42029
c lw 42030
c lw 42031
c lw 42032
c lw 42033
c lw 42034
c lw 42035
c lw 42036
c lw 42041
c lw 42044
c lw 42047
c lw 42048
c lw 42049
c lw 42050
c lw 42051
c lw 42052
c lw 42053
c lw 42054
c lw 42055
c lw 42056
c lw 42057
c lw 42058
c lw 42059
c lw 42060
c lw 42061
c lw 42062
c lw 42063
c lw 42064
c lw 42065
c lw 42068
c lw 42069
c lw 42072
c lw 42073
c lw 42074
c lw 42075
c lw 42076
c lw 42077
c lw 42078
c lw 42080
c lw 42083
c lw 42088
c lw 42089
c lw 42093
c lw 42103
c lw 42104
c lw 42105
c lw 42106
c lw 42107
c lw 42108
c lw 42111
c lw 42114
c lw 42115
c lw 42116
c lw 42117
c lw 42119
c lw 42120
c lw 42121
c lw 42122
c lw 42123
c lw 42124
c lw 42125
c lw 42183
c lw 42184
c lw 42185
c lw 42186
c lw 42187
c lw 42188
c lw 42189
c lw 42191
c lw 42192
c lw 42193
c lw 42194
c lw 42195
c lw 42196
c lw 42197
c lw 42198
c lw 42199
c lw 42200
c lw 42201
c lw 42202
c lw 42203
c lw 42204
c lw 42205
c lw 42206
c lw 42207
c lw 42208
c lw 42209
c lw 42210
c lw 42211
c lw 42212
c lw 42213
c lw 42214
c lw 42215
c lw 42216
c lw 42217
c lw 42218
c lw 42219
c lw 42220
c lw 42221
c lw 42222
c lw 42223
c lw 42224
c lw 42225
c lw 42226
c lw 42228
c lw 42230
c lw 42231
c lw 42232
c lw 42233
c lw 42234
c lw 42235
c lw 42236
c lw 42237
c lw 42250
c lw 42266
c lw 42282
c lw 42286
c lw 42291
c lw 42298
c lw 42301
c lw 42325
c lw 42345
c lw 42351
c lw 42354
c lw 42357
c lw 42361
c lw 42367
c lw 42378
c lw 42383
c lw 42390
c lw 42392
c lw 42393
c lw 42394
c lw 42398
c lw 42399
c lw 42405
c lw 42406
c lw 42423
c lw 42424
c lw 42425
c lw 42426
c lw 42427
c lw 42429
c lw 42430
c lw 42431
c lw 42432
c lw 42433
c lw 42434
c lw 42435
c lw 42438
c lw 42439
c lw 42440
c lw 42441
c lw 42442
c lw 42443
c lw 42444
c lw 42445
c lw 42446
c lw 42447
c lw 42448
c lw 42449
c lw 42450
c lw 42451
c lw 42464
c lw 42465
c lw 42466
c lw 42467
c lw 42468
c lw 42469
c lw 42470
c lw 42471
c lw 42472
c lw 42483
c lw 42484