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_100_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 104
c lw 248
c lw 1062
c lw 1181
c lw 1995
c lw 2114
c lw 2882
c lw 3047
c lw 3815
c lw 3980
c lw 4702
c lw 4913
c lw 5916
c lw 7042
c lw 8203
c lw 9017
c lw 9364
c lw 9636
c lw 9921
c lw 10478
c lw 10698
c lw 11035
c lw 11255
c lw 11812
c lw 12378
c lw 12582
c lw 13228
c lw 13352
c lw 13968
c lw 14122
c lw 15184
c lw 16246
c lw 16738
c lw 16972
c lw 17835
c lw 18264
c lw 18587
c lw 18693
c lw 18897
c lw 19122
c lw 19757
c lw 19834
c lw 20784
c lw 21671
c lw 21734
c lw 22597
c lw 22684
c lw 23522
c lw 23634
c lw 24036
c lw 24640
c lw 24874
c lw 25249
c lw 25807
c lw 26521
c lw 26740
c lw 27191
c lw 27673
c lw 28267
c lw 28606
c lw 28647
c lw 29014
c lw 29539
c lw 30184
c lw 30829
c lw 31104
c lw 31474
c lw 32378
c lw 32401
c lw 32500
c lw 32862
c lw 33224
c lw 33543
c lw 34292
c lw 34320
c lw 34447
c lw 35247
c lw 35351
c lw 35493
c lw 36024
c lw 37271
c lw 37438
c lw 37776
c lw 38946
c lw 39361
c lw 39388
c lw 39417
c lw 39429
c lw 39727
c lw 39790
c lw 39911
c lw 39942
c lw 39971
c lw 40251
c lw 40505
c lw 40617
c lw 40724
c lw 40965
c lw 41175
c lw 41262
c lw 41340
c lw 41372
c lw 41465
c lw 41493
c lw 41803
c lw 41968
c lw 42150
c lw 42159
c lw 42235
c lw 42446
c lw 43037
c lw 43049
c lw 43771
c lw 44539
c lw 44668
c lw 44704
c lw 44787
c lw 44810
c lw 45030
c lw 45041
c lw 45160
c lw 45832
c lw 45868
c lw 46093
c lw 46174
c lw 46191
c lw 46295
c lw 46307
c lw 46358
c lw 46607
c lw 46630
c lw 46707
c lw 46730
c lw 46772
c lw 46878
c lw 46980
c lw 47079
c lw 47252
c lw 47313
c lw 47600
c lw 47654
c lw 47708
c lw 47812
c lw 48000
c lw 48041
c lw 48316
c lw 48574
c lw 48873
c lw 49337
c lw 49460
c lw 49504
c lw 49537
c lw 49902
c lw 50004
c lw 50098
c lw 50468
c lw 50493
c lw 50528
c lw 50592
c lw 50744
c lw 50773
c lw 50802
c lw 50814
c lw 50826
c lw 51007
c lw 51043
c lw 51136
c lw 51155
c lw 51242
c lw 51262
c lw 51340
c lw 51355
c lw 51360
c lw 51377
c lw 51388
c lw 51521
c lw 51571
c lw 51588
c lw 51611
c lw 51613
c lw 51694
c lw 51705
c lw 51723
c lw 51777
c lw 51881
c lw 51896
c lw 51922
c lw 51939
c lw 52299
c lw 52304
c lw 52341
c lw 52354
c lw 52381
c lw 52393
c lw 52495
c lw 52520
c lw 52566
c lw 52586
c lw 52609
c lw 52692
c lw 52703
c lw 52723
c lw 52759
c lw 52822
c lw 53352
c lw 53500
c lw 53527
c lw 53532
c lw 53539
c lw 53554
c lw 53609
c lw 53621
c lw 53629
c lw 53634
c lw 53710
c lw 53716
c lw 53719
c lw 53741
c lw 53754
c lw 53759
c lw 53766
c lw 53769
c lw 53774
c lw 53778
c lw 53800
c lw 53822
c lw 53858
c lw 53880
c lw 53924
c lw 53929
c lw 53975
c lw 54270
c lw 54274
c lw 54277
c lw 54373
c lw 54402
c lw 54414
c lw 54426
c lw 54466
c lw 54467
c lw 54477
c lw 54513
c lw 54553
c lw 54557
c lw 54565
c lw 54566
c lw 54567
c lw 54569
c lw 54570
c lw 54574
c lw 54576
c lw 54582
c lw 54602
c lw 54615
c lw 54641
c lw 54651
c lw 54659
c lw 54661
c lw 54668
c lw 54674
c lw 54679
c lw 54731
c lw 54742
c lw 54744
c lw 54745
c lw 54746
c lw 54747
c lw 54748
c lw 54749
c lw 54760
c lw 54772
c lw 54796
c lw 54800
c lw 54963
c lw 54980
c lw 54990
c lw 54991
c lw 55055
c lw 55056
c lw 55090
c lw 55091
c lw 55100
c lw 55101
c lw 55110
c lw 55112
c lw 55116
c lw 55121
c lw 55122
c lw 55123
c lw 55124
c lw 55127
c lw 55128
c lw 55129
c lw 55130
c lw 55134
c lw 55138
c lw 55139
c lw 55140
c lw 55141
c lw 55142
c lw 55143
c lw 55148
c lw 55155
c lw 55158
c lw 55159
c lw 55161
c lw 55162
c lw 55163
c lw 55164
c lw 55165
c lw 55166
c lw 55167
c lw 55170
c lw 55174
c lw 55184
c lw 55185
c lw 55186
c lw 55188
c lw 55189
c lw 55190
c lw 55204
c lw 55205
c lw 55206
c lw 55207
c lw 55219
c lw 55220
c lw 55221
c lw 55222
c lw 55223
c lw 55224
c lw 55225
c lw 55226
c lw 55227
c lw 55228
c lw 55229
c lw 55231
c lw 55238
c lw 55239
c lw 55240
c lw 55241
c lw 55242
c lw 55250
c lw 55251
c lw 55252
c lw 55253
c lw 55254
c lw 55255
c lw 55256
c lw 55257
c lw 55258
c lw 55259
c lw 55261
c lw 55262
c lw 55263
c lw 55264
c lw 55267
c lw 55268
c lw 55271
c lw 55272
c lw 55273
c lw 55274
c lw 55275
c lw 55276
c lw 55277
c lw 55278
c lw 55279
c lw 55281
c lw 55282
c lw 55283
c lw 55284
c lw 55285
c lw 55286
c lw 55289
c lw 55290
c lw 55291
c lw 55292
c lw 55301
c lw 55302
c lw 55303
c lw 55304
c lw 55305
c lw 55306
c lw 55307
c lw 55308
c lw 55309
c lw 55310
c lw 55311
c lw 55312
c lw 55313
c lw 55314
c lw 55315
c lw 55316
c lw 55317
c lw 55319
c lw 55320
c lw 55321
c lw 55322
c lw 55323
c lw 55324
c lw 55325
c lw 55326