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_90_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 825
c lw 1650
c lw 2404
c lw 2475
c lw 2925
c lw 3229
c lw 3517
c lw 4023
c lw 4399
c lw 4719
c lw 4955
c lw 5281
c lw 5641
c lw 6669
c lw 7697
c lw 8676
c lw 8725
c lw 8884
c lw 9382
c lw 9800
c lw 10039
c lw 10189
c lw 10657
c lw 10696
c lw 11125
c lw 11465
c lw 11928
c lw 12391
c lw 12854
c lw 13145
c lw 13317
c lw 14144
c lw 14231
c lw 14971
c lw 14974
c lw 15368
c lw 15691
c lw 15798
c lw 16072
c lw 16493
c lw 16625
c lw 17544
c lw 18057
c lw 18463
c lw 18976
c lw 19263
c lw 19382
c lw 19839
c lw 20818
c lw 21748
c lw 21797
c lw 22619
c lw 22799
c lw 22929
c lw 23435
c lw 23441
c lw 24006
c lw 24122
c lw 24263
c lw 24555
c lw 24783
c lw 25251
c lw 25440
c lw 26097
c lw 26239
c lw 26988
c lw 27227
c lw 27236
c lw 27875
c lw 27924
c lw 28437
c lw 28831
c lw 29571
c lw 29576
c lw 29994
c lw 30082
c lw 30721
c lw 30997
c lw 31129
c lw 31348
c lw 31370
c lw 31450
c lw 31456
c lw 31913
c lw 31956
c lw 32032
c lw 32035
c lw 32087
c lw 32259
c lw 32453
c lw 32550
c lw 32740
c lw 32838
c lw 32847
c lw 32916
c lw 32938
c lw 33157
c lw 33379
c lw 33461
c lw 33592
c lw 33620
c lw 33733
c lw 33912
c lw 33913
c lw 33944
c lw 33969
c lw 34110
c lw 34221
c lw 34253
c lw 34356
c lw 34443
c lw 34507
c lw 34516
c lw 34519
c lw 34587
c lw 35032
c lw 35049
c lw 35057
c lw 35482
c lw 35531
c lw 36453
c lw 36461
c lw 36821
c lw 37286
c lw 37295
c lw 37304
c lw 37578
c lw 37691
c lw 37730
c lw 37850
c lw 37905
c lw 38047
c lw 38089
c lw 38140
c lw 38228
c lw 38232
c lw 38281
c lw 38470
c lw 38481
c lw 38646
c lw 38709
c lw 38749
c lw 39025
c lw 39075
c lw 39081
c lw 39155
c lw 39157
c lw 39160
c lw 39212
c lw 39213
c lw 39216
c lw 39262
c lw 39268
c lw 39371
c lw 39441
c lw 39565
c lw 39575
c lw 39617
c lw 39626
c lw 39690
c lw 39777
c lw 39778
c lw 39836
c lw 39838
c lw 39843
c lw 39864
c lw 39871
c lw 39936
c lw 39944
c lw 39993
c lw 40907
c lw 40915
c lw 40923
c lw 40962
c lw 40973
c lw 41042
c lw 41051
c lw 41075
c lw 41078
c lw 41134
c lw 41241
c lw 41244
c lw 41290
c lw 41292
c lw 41293
c lw 41296
c lw 41298
c lw 41299
c lw 41301
c lw 41305
c lw 41309
c lw 41311
c lw 41316
c lw 41336
c lw 41337
c lw 41340
c lw 41342
c lw 41351
c lw 41352
c lw 41353
c lw 41358
c lw 41367
c lw 41368
c lw 41383
c lw 41387
c lw 41388
c lw 41389
c lw 41390
c lw 41399
c lw 41400
c lw 41403
c lw 41408
c lw 41409
c lw 41410
c lw 41411
c lw 41412
c lw 41413
c lw 41414
c lw 41415
c lw 41416
c lw 41417
c lw 41418
c lw 41420
c lw 41421
c lw 41422
c lw 41423
c lw 41424
c lw 41425
c lw 41426
c lw 41427
c lw 41461
c lw 41462
c lw 41463
c lw 41465
c lw 41466
c lw 41468
c lw 41469
c lw 41474
c lw 41494
c lw 41498
c lw 41519
c lw 41521
c lw 41522
c lw 41524
c lw 41584
c lw 41611
c lw 41631
c lw 41637
c lw 41715
c lw 41717
c lw 41724
c lw 41731
c lw 41732
c lw 41733
c lw 41734
c lw 41735
c lw 41738
c lw 41739
c lw 41740
c lw 41741
c lw 41742
c lw 41743
c lw 41744
c lw 41745
c lw 41746
c lw 41747
c lw 41748
c lw 41751
c lw 41754
c lw 41755
c lw 41756
c lw 41757
c lw 41758
c lw 41760
c lw 41761
c lw 41762
c lw 41810
c lw 41814
c lw 41815
c lw 41862
c lw 41864
c lw 41867
c lw 41873
c lw 41876
c lw 41881
c lw 41888
c lw 41889
c lw 41890
c lw 41891
c lw 41892
c lw 41893
c lw 41903
c lw 41953
c lw 41971
c lw 41972
c lw 41973
c lw 41974
c lw 41975
c lw 41976
c lw 41977
c lw 41978
c lw 41979
c lw 42019
c lw 42139
c lw 42140
c lw 42158
c lw 42170
c lw 42185
c lw 42187
c lw 42188
c lw 42195
c lw 42196
c lw 42197
c lw 42208
c lw 42209
c lw 42210
c lw 42213
c lw 42215
c lw 42219
c lw 42244
c lw 42245
c lw 42246
c lw 42249
c lw 42251
c lw 42252
c lw 42253
c lw 42254
c lw 42255
c lw 42256
c lw 42257
c lw 42258
c lw 42259
c lw 42261
c lw 42293
c lw 42294
c lw 42295
c lw 42299
c lw 42300
c lw 42324
c lw 42325
c lw 42326
c lw 42327
c lw 42328
c lw 42329
c lw 42330
c lw 42331
c lw 42332
c lw 42333
c lw 42334
c lw 42335
c lw 42336
c lw 42337
c lw 42338
c lw 42339
c lw 42340
c lw 42341
c lw 42342
c lw 42343
c lw 42344
c lw 42345
c lw 42346
c lw 42347
c lw 42348
c lw 42349
c lw 42350
c lw 42351
c lw 42352
c lw 42353
c lw 42354
c lw 42355
c lw 42356
c lw 42374
c lw 42375
c lw 42376
c lw 42377
c lw 42378
c lw 42379
c lw 42380
c lw 42381
c lw 42382
c lw 42383
c lw 42384
c lw 42387
c lw 42388
c lw 42389
c lw 42392
c lw 42393
c lw 42394
c lw 42395
c lw 42396
c lw 42397
c lw 42398
c lw 42399
c lw 42400
c lw 42401
c lw 42402
c lw 42403
c lw 42404
c lw 42405
c lw 42406
c lw 42408
c lw 42410
c lw 42411
c lw 42413
c lw 42414
c lw 42419
c lw 42425
c lw 42426
c lw 42428
c lw 42434
c lw 42435
c lw 42436
c lw 42437
c lw 42438
c lw 42443
c lw 42444
c lw 42445
c lw 42446
c lw 42447
c lw 42449
c lw 42450
c lw 42451
c lw 42452
c lw 42453
c lw 42454
c lw 42455
c lw 42456
c lw 42457
c lw 42458
c lw 42459
c lw 42460
c lw 42461
c lw 42462
c lw 42463
c lw 42464
c lw 42465
c lw 42466
c lw 42482
c lw 42493
c lw 42497
c lw 42498
c lw 42499
c lw 42500
c lw 42501
c lw 42502
c lw 42503
c lw 42504
c lw 42505
c lw 42506
c lw 42507
c lw 42508
c lw 42509
c lw 42510
c lw 42511
c lw 42512
c lw 42513
c lw 42514
c lw 42515
c lw 42516
c lw 42517
c lw 42518
c lw 42552
c lw 42553
c lw 42554
c lw 42555
c lw 42556
c lw 42557
c lw 42558
c lw 42559
c lw 42563
c lw 42564
c lw 42565
c lw 42566
c lw 42627
c lw 42628
c lw 42629
c lw 42643
c lw 42645
c lw 42646
c lw 42647
c lw 42648
c lw 42649
c lw 42650
c lw 42651
c lw 42652
c lw 42653
c lw 42654
c lw 42655
c lw 42656
c lw 42657
c lw 42658
c lw 42659
c lw 42660
c lw 42661
c lw 42662
c lw 42663
c lw 42664
c lw 42665
c lw 42666
c lw 42667
c lw 42668
c lw 42669
c lw 42670
c lw 42671
c lw 42672
c lw 42673
c lw 42674
c lw 42676
c lw 42677
c lw 42678
c lw 42742
c lw 42744
c lw 42745
c lw 42746
c lw 42747
c lw 42748
c lw 42749
c lw 42750
c lw 42751
c lw 42752
c lw 42753
c lw 42754
c lw 42757
c lw 42758
c lw 42759
c lw 42760
c lw 42761
c lw 42762
c lw 42763
c lw 42764
c lw 42765
c lw 42766
c lw 42767
c lw 42768
c lw 42769
c lw 42770
c lw 42772
c lw 42775
c lw 42776
c lw 42777
c lw 42778
c lw 42779
c lw 42780
c lw 42781
c lw 42782
c lw 42783
c lw 42784
c lw 42785
c lw 42786
c lw 42787
c lw 42788
c lw 42789
c lw 42790
c lw 42791
c lw 42792
c lw 42793
c lw 42794
c lw 42795
c lw 42796
c lw 42843
c lw 42889
c lw 42895
c lw 42897
c lw 42898
c lw 42899
c lw 42900
c lw 42901
c lw 42903
c lw 42904
c lw 42905
c lw 42906
c lw 42910
c lw 42911
c lw 42912
c lw 42913
c lw 42914
c lw 42915
c lw 42916
c lw 42917
c lw 42918
c lw 42919
c lw 42920
c lw 42921
c lw 42922
c lw 42923
c lw 42924
c lw 42925
c lw 42926
c lw 42927
c lw 42928
c lw 42929
c lw 42930
c lw 42931
c lw 42932
c lw 42933
c lw 42934
c lw 42935
c lw 42936
c lw 42937
c lw 42938
c lw 42939
c lw 42940
c lw 42941
c lw 42942
c lw 42943
c lw 42944
c lw 42945
c lw 42946
c lw 42947
c lw 42948
c lw 42949
c lw 42950
c lw 42951
c lw 42952
c lw 42953
c lw 42954
c lw 42955
c lw 42956
c lw 42957
c lw 42958
c lw 42960
c lw 42978
c lw 42980
c lw 42981
c lw 42982
c lw 42983
c lw 42984
c lw 42985
c lw 42986
c lw 42987