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_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_70_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 196
c lw 879
c lw 1014
c lw 1282
c lw 2293
c lw 2829
c lw 3004
c lw 3743
c lw 4482
c lw 4621
c lw 4817
c lw 5373
c lw 5452
c lw 5669
c lw 6709
c lw 7749
c lw 8506
c lw 8789
c lw 9550
c lw 10311
c lw 11439
c lw 12449
c lw 12567
c lw 13459
c lw 13695
c lw 14823
c lw 15268
c lw 15713
c lw 15851
c lw 15977
c lw 16227
c lw 16477
c lw 17301
c lw 17307
c lw 18125
c lw 18470
c lw 19035
c lw 19666
c lw 19734
c lw 20044
c lw 20299
c lw 20678
c lw 21097
c lw 21240
c lw 21997
c lw 22754
c lw 23472
c lw 24190
c lw 24517
c lw 24601
c lw 25304
c lw 25362
c lw 25629
c lw 26048
c lw 26427
c lw 26446
c lw 26481
c lw 27184
c lw 27268
c lw 27274
c lw 27524
c lw 27613
c lw 27849
c lw 27923
c lw 27938
c lw 28014
c lw 28258
c lw 28316
c lw 28491
c lw 28497
c lw 29025
c lw 29093
c lw 29168
c lw 29187
c lw 29261
c lw 29640
c lw 29680
c lw 30036
c lw 30080
c lw 30348
c lw 30483
c lw 30601
c lw 30650
c lw 31090
c lw 31105
c lw 31223
c lw 31375
c lw 31501
c lw 31737
c lw 31894
c lw 31968
c lw 32189
c lw 32192
c lw 32482
c lw 32488
c lw 32748
c lw 32831
c lw 33714
c lw 33720
c lw 33877
c lw 33898
c lw 33961
c lw 34037
c lw 34121
c lw 34595
c lw 34637
c lw 34845
c lw 34851
c lw 34857
c lw 34858
c lw 34860
c lw 35528
c lw 35550
c lw 35551
c lw 35557
c lw 35563
c lw 35621
c lw 35689
c lw 35697
c lw 35778
c lw 35823
c lw 35836
c lw 35838
c lw 35841
c lw 35915
c lw 35918
c lw 35926
c lw 35942
c lw 35948
c lw 35998
c lw 35999
c lw 36001
c lw 36002
c lw 36004
c lw 36005
c lw 36006
c lw 36007
c lw 36008
c lw 36042
c lw 36074
c lw 36313
c lw 36314
c lw 36317
c lw 36319
c lw 36337
c lw 36339
c lw 36340
c lw 36349
c lw 36357
c lw 36361
c lw 36366
c lw 36367
c lw 36370
c lw 36371
c lw 36373
c lw 36374
c lw 36378
c lw 36379
c lw 36380
c lw 36381
c lw 36383
c lw 36384
c lw 36385
c lw 36386
c lw 36387
c lw 36388
c lw 36389
c lw 36390
c lw 36391
c lw 36392
c lw 36393
c lw 36394
c lw 36395
c lw 36396
c lw 36397
c lw 36398
c lw 36400
c lw 36401
c lw 36402
c lw 36406
c lw 36408
c lw 36409
c lw 36449
c lw 36453
c lw 36455
c lw 36456
c lw 36457
c lw 36458
c lw 36459
c lw 36460
c lw 36461
c lw 36462
c lw 36467
c lw 36471
c lw 36482
c lw 36485
c lw 36486
c lw 36487
c lw 36488
c lw 36489
c lw 36490
c lw 36491
c lw 36492
c lw 36493
c lw 36494
c lw 36495
c lw 36496
c lw 36497
c lw 36498
c lw 36499
c lw 36500
c lw 36501
c lw 36502
c lw 36503
c lw 36504
c lw 36505
c lw 36506
c lw 36507
c lw 36508
c lw 36509
c lw 36510
c lw 36511
c lw 36560
c lw 36646
c lw 36678
c lw 36690
c lw 36758
c lw 36764
c lw 36765
c lw 36766
c lw 36767
c lw 36768
c lw 36819
c lw 36821
c lw 36822
c lw 36823
c lw 36824
c lw 36827
c lw 36838
c lw 36843
c lw 36844
c lw 36845
c lw 36846
c lw 36847
c lw 36848
c lw 36849
c lw 36850
c lw 36852
c lw 36853
c lw 36859
c lw 36863
c lw 36874
c lw 36875
c lw 36876
c lw 36877
c lw 36878
c lw 36880
c lw 36881
c lw 36882
c lw 36883
c lw 36884
c lw 36891
c lw 36917
c lw 36943
c lw 36953
c lw 36954
c lw 36957
c lw 36958
c lw 36959
c lw 36960
c lw 36961
c lw 36962
c lw 36964
c lw 36965
c lw 36966
c lw 36967
c lw 36968
c lw 36969
c lw 36970
c lw 36971
c lw 36972
c lw 36973
c lw 36974
c lw 36975
c lw 36976
c lw 36977
c lw 36978
c lw 36979
c lw 36980
c lw 36981
c lw 36982
c lw 36983
c lw 36984
c lw 36985
c lw 36986
c lw 36987
c lw 36988
c lw 36989
c lw 36990
c lw 36991
c lw 36992
c lw 36993
c lw 36994
c lw 36995
c lw 36996
c lw 36997
c lw 36998
c lw 36999
c lw 37000
c lw 37001
c lw 37002
c lw 37003
c lw 37004
c lw 37005
c lw 37006
c lw 37007
c lw 37008
c lw 37009
c lw 37017
c lw 37054
c lw 37059
c lw 37085
c lw 37090
c lw 37091
c lw 37092
c lw 37098
c lw 37101
c lw 37102
c lw 37103
c lw 37108
c lw 37113
c lw 37114
c lw 37115
c lw 37116
c lw 37117
c lw 37118
c lw 37120
c lw 37124
c lw 37129
c lw 37130
c lw 37131
c lw 37132
c lw 37133
c lw 37135
c lw 37136
c lw 37137
c lw 37138
c lw 37139
c lw 37140
c lw 37141
c lw 37142
c lw 37143
c lw 37144
c lw 37145
c lw 37146
c lw 37151
c lw 37152
c lw 37153
c lw 37160
c lw 37177
c lw 37178
c lw 37179
c lw 37180
c lw 37181
c lw 37182
c lw 37183
c lw 37184
c lw 37185
c lw 37186
c lw 37187
c lw 37188
c lw 37189
c lw 37190
c lw 37191
c lw 37192
c lw 37193
c lw 37194
c lw 37195
c lw 37197
c lw 37201
c lw 37202
c lw 37203
c lw 37204
c lw 37206
c lw 37207
c lw 37209
c lw 37210
c lw 37211
c lw 37212
c lw 37213
c lw 37214
c lw 37215
c lw 37216
c lw 37217
c lw 37220
c lw 37221
c lw 37222
c lw 37223
c lw 37224
c lw 37227
c lw 37230
c lw 37231
c lw 37232
c lw 37233
c lw 37234
c lw 37235
c lw 37236
c lw 37237
c lw 37238
c lw 37239
c lw 37240
c lw 37241
c lw 37242
c lw 37243
c lw 37244
c lw 37245
c lw 37246
c lw 37248
c lw 37249
c lw 37250
c lw 37251
c lw 37252
c lw 37253
c lw 37254
c lw 37255
c lw 37258
c lw 37259
c lw 37260
c lw 37261
c lw 37262
c lw 37266
c lw 37268
c lw 37269
c lw 37270
c lw 37272
c lw 37273
c lw 37274
c lw 37275
c lw 37276
c lw 37277
c lw 37278
c lw 37279
c lw 37280
c lw 37281
c lw 37282
c lw 37283
c lw 37284
c lw 37285
c lw 37286
c lw 37287
c lw 37288
c lw 37289
c lw 37298
c lw 37299
c lw 37300
c lw 37301
c lw 37320
c lw 37321
c lw 37322
c lw 37323
c lw 37324
c lw 37325
c lw 37327
c lw 37328
c lw 37329
c lw 37330
c lw 37332
c lw 37333
c lw 37356
c lw 37362
c lw 37363
c lw 37364
c lw 37368
c lw 37369
c lw 37370
c lw 37371
c lw 37372
c lw 37373
c lw 37374
c lw 37375
c lw 37376
c lw 37377
c lw 37378
c lw 37379
c lw 37382
c lw 37383