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_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_70_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 217
c lw 1029
c lw 1841
c lw 2128
c lw 2653
c lw 3290
c lw 3927
c lw 3938
c lw 4564
c lw 5235
c lw 5724
c lw 5906
c lw 6720
c lw 7534
c lw 7601
c lw 8348
c lw 8892
c lw 9585
c lw 10278
c lw 10440
c lw 11098
c lw 11756
c lw 12414
c lw 13497
c lw 14219
c lw 14580
c lw 14830
c lw 15191
c lw 15663
c lw 16340
c lw 16746
c lw 16825
c lw 17468
c lw 18190
c lw 18440
c lw 18454
c lw 18573
c lw 19628
c lw 20090
c lw 20138
c lw 20683
c lw 20981
c lw 20993
c lw 21512
c lw 21738
c lw 22567
c lw 22697
c lw 22862
c lw 22912
c lw 23067
c lw 23868
c lw 24144
c lw 24669
c lw 24940
c lw 25282
c lw 25733
c lw 26559
c lw 26797
c lw 27023
c lw 27153
c lw 27414
c lw 27416
c lw 27758
c lw 27791
c lw 27973
c lw 28041
c lw 28089
c lw 28168
c lw 28180
c lw 28915
c lw 29321
c lw 29439
c lw 29629
c lw 29840
c lw 29867
c lw 29900
c lw 29990
c lw 30195
c lw 30291
c lw 30549
c lw 30633
c lw 30917
c lw 30931
c lw 31096
c lw 31167
c lw 31373
c lw 31560
c lw 32079
c lw 32091
c lw 32211
c lw 32278
c lw 32289
c lw 32614
c lw 33076
c lw 33276
c lw 33278
c lw 33550
c lw 33552
c lw 33602
c lw 33852
c lw 33863
c lw 33982
c lw 34019
c lw 34086
c lw 34545
c lw 34701
c lw 34753
c lw 34767
c lw 35166
c lw 35203
c lw 35290
c lw 35357
c lw 35379
c lw 35462
c lw 35471
c lw 35697
c lw 35815
c lw 35879
c lw 35888
c lw 36423
c lw 36431
c lw 36479
c lw 36491
c lw 36502
c lw 36504
c lw 36514
c lw 36525
c lw 36634
c lw 36661
c lw 36670
c lw 36766
c lw 36833
c lw 36883
c lw 36886
c lw 36895
c lw 37051
c lw 37378
c lw 37380
c lw 37422
c lw 37442
c lw 37472
c lw 37478
c lw 37515
c lw 37545
c lw 37597
c lw 37611
c lw 37649
c lw 37663
c lw 37815
c lw 37936
c lw 38020
c lw 38058
c lw 38060
c lw 38067
c lw 38073
c lw 38088
c lw 38090
c lw 38099
c lw 38101
c lw 38104
c lw 38110
c lw 38111
c lw 38112
c lw 38114
c lw 38120
c lw 38121
c lw 38123
c lw 38125
c lw 38131
c lw 38135
c lw 38138
c lw 38139
c lw 38141
c lw 38144
c lw 38146
c lw 38148
c lw 38152
c lw 38153
c lw 38155
c lw 38171
c lw 38172
c lw 38173
c lw 38174
c lw 38182
c lw 38191
c lw 38221
c lw 38360
c lw 38387
c lw 38389
c lw 38408
c lw 38410
c lw 38411
c lw 38412
c lw 38415
c lw 38416
c lw 38417
c lw 38418
c lw 38429
c lw 38431
c lw 38435
c lw 38515
c lw 38661
c lw 38663
c lw 38664
c lw 38737
c lw 38745
c lw 38747
c lw 38849
c lw 38853
c lw 38854
c lw 38864
c lw 38892
c lw 38894
c lw 38941
c lw 38978
c lw 38980
c lw 38992
c lw 39015
c lw 39024
c lw 39038
c lw 39061
c lw 39076
c lw 39078
c lw 39080
c lw 39082
c lw 39091
c lw 39128
c lw 39131
c lw 39159
c lw 39182
c lw 39193
c lw 39196
c lw 39197
c lw 39198
c lw 39201
c lw 39205
c lw 39206
c lw 39209
c lw 39214
c lw 39226
c lw 39227
c lw 39228
c lw 39229
c lw 39230
c lw 39231
c lw 39232
c lw 39233
c lw 39234
c lw 39235
c lw 39236
c lw 39237
c lw 39238
c lw 39239
c lw 39240
c lw 39241
c lw 39242
c lw 39243
c lw 39244
c lw 39245
c lw 39246
c lw 39247
c lw 39248
c lw 39249
c lw 39250
c lw 39251
c lw 39252
c lw 39253
c lw 39254
c lw 39255
c lw 39256
c lw 39257
c lw 39258
c lw 39259
c lw 39260
c lw 39261
c lw 39262
c lw 39282
c lw 39328
c lw 39330
c lw 39335
c lw 39336
c lw 39337
c lw 39338
c lw 39339
c lw 39340
c lw 39341
c lw 39342
c lw 39343
c lw 39344
c lw 39345
c lw 39346
c lw 39347
c lw 39348
c lw 39349
c lw 39350
c lw 39351
c lw 39352
c lw 39353
c lw 39365
c lw 39430
c lw 39431
c lw 39432
c lw 39433
c lw 39434
c lw 39435
c lw 39436
c lw 39437
c lw 39438
c lw 39439
c lw 39440
c lw 39441
c lw 39442
c lw 39443
c lw 39444
c lw 39445
c lw 39446
c lw 39447
c lw 39448
c lw 39449
c lw 39450
c lw 39451
c lw 39452
c lw 39453
c lw 39454
c lw 39455