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_160_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 835
c lw 1670
c lw 2479
c lw 2505
c lw 3643
c lw 4781
c lw 5795
c lw 5919
c lw 6229
c lw 7320
c lw 7435
c lw 8387
c lw 8411
c lw 9025
c lw 9502
c lw 9881
c lw 10493
c lw 11500
c lw 12334
c lw 13168
c lw 13806
c lw 14002
c lw 14468
c lw 14931
c lw 15726
c lw 15879
c lw 16827
c lw 17639
c lw 17842
c lw 18654
c lw 18857
c lw 19826
c lw 19872
c lw 20626
c lw 20887
c lw 20959
c lw 21477
c lw 21902
c lw 22714
c lw 22918
c lw 23469
c lw 23934
c lw 24405
c lw 24681
c lw 24950
c lw 25886
c lw 25966
c lw 26101
c lw 27082
c lw 27314
c lw 27589
c lw 28063
c lw 28558
c lw 29044
c lw 30307
c lw 31570
c lw 32386
c lw 32833
c lw 33841
c lw 34161
c lw 35169
c lw 35705
c lw 36241
c lw 36497
c lw 36817
c lw 37698
c lw 37714
c lw 37867
c lw 38565
c lw 38864
c lw 39878
c lw 40814
c lw 40892
c lw 41163
c lw 41616
c lw 42581
c lw 42687
c lw 43503
c lw 43546
c lw 44480
c lw 44511
c lw 45265
c lw 45887
c lw 46199
c lw 47149
c lw 47207
c lw 48157
c lw 48991
c lw 49378
c lw 49825
c lw 50659
c lw 50972
c lw 51201
c lw 51777
c lw 51794
c lw 52432
c lw 52580
c lw 52582
c lw 52775
c lw 53271
c lw 53319
c lw 53957
c lw 54013
c lw 54706
c lw 55399
c lw 55470
c lw 56391
c lw 56439
c lw 57360
c lw 57378
c lw 57408
c lw 58224
c lw 58760
c lw 58983
c lw 59174
c lw 59729
c lw 60737
c lw 61155
c lw 61687
c lw 61697
c lw 61951
c lw 62506
c lw 62760
c lw 64165
c lw 65214
c lw 65277
c lw 66389
c lw 67375
c lw 67501
c lw 67613
c lw 68613
c lw 68662
c lw 69342
c lw 69598
c lw 70652
c lw 71177
c lw 71625
c lw 72495
c lw 72815
c lw 73503
c lw 73743
c lw 73814
c lw 74267
c lw 74336
c lw 74346
c lw 74377
c lw 74568
c lw 74592
c lw 74598
c lw 74783
c lw 74799
c lw 74967
c lw 75016
c lw 75068
c lw 75245
c lw 75552
c lw 75781
c lw 75893
c lw 75907
c lw 76016
c lw 76088
c lw 76122
c lw 76513
c lw 76559
c lw 76596
c lw 76908
c lw 76959
c lw 77037
c lw 77185
c lw 77445
c lw 77755
c lw 78250
c lw 78287
c lw 78313
c lw 78330
c lw 78332
c lw 78516
c lw 78610
c lw 78621
c lw 78658
c lw 78817
c lw 79154
c lw 79233
c lw 79259
c lw 79302
c lw 79328
c lw 79366
c lw 79369
c lw 79776
c lw 80242
c lw 80266
c lw 80438
c lw 80498
c lw 80517
c lw 80553
c lw 80867
c lw 81121
c lw 81676
c lw 81802
c lw 81803
c lw 81820
c lw 82127
c lw 83004
c lw 83048
c lw 83100
c lw 83376
c lw 83847
c lw 83864
c lw 84134
c lw 84338
c lw 84582
c lw 84599
c lw 84622
c lw 84737
c lw 84880
c lw 84977
c lw 85072
c lw 85459
c lw 85645
c lw 86197
c lw 86326
c lw 86580
c lw 86733
c lw 86857
c lw 87329
c lw 87452
c lw 87470
c lw 87731
c lw 87743
c lw 87987
c lw 88017
c lw 88679
c lw 88700
c lw 88934
c lw 89352
c lw 89366
c lw 89645
c lw 89714
c lw 89785
c lw 89801
c lw 89944
c lw 90313
c lw 90680
c lw 90730
c lw 90951
c lw 91086
c lw 91578
c lw 91588
c lw 91668
c lw 91794
c lw 91961
c lw 92114
c lw 92365
c lw 92881
c lw 93273
c lw 93400
c lw 93741
c lw 93877
c lw 93920
c lw 93941
c lw 93944
c lw 94043
c lw 94360
c lw 94563
c lw 94648
c lw 94732
c lw 94743
c lw 94756
c lw 94808
c lw 94949
c lw 95033
c lw 95049
c lw 95079
c lw 95120
c lw 95161
c lw 95163
c lw 95173
c lw 95204
c lw 95205
c lw 95206
c lw 95236
c lw 95246
c lw 95259
c lw 95270
c lw 95330
c lw 95395
c lw 95411
c lw 95419
c lw 95440
c lw 95445
c lw 95460
c lw 95461
c lw 95472
c lw 95485
c lw 95491
c lw 95501
c lw 95513
c lw 95514
c lw 95525
c lw 95532
c lw 95541
c lw 95569
c lw 95574
c lw 95623
c lw 95640
c lw 95675
c lw 95691
c lw 95721
c lw 95745
c lw 95787
c lw 95797
c lw 95814
c lw 95834
c lw 95840
c lw 95883
c lw 95900
c lw 95909
c lw 95914
c lw 95940
c lw 95941
c lw 95957
c lw 95962
c lw 96010
c lw 96016
c lw 96377
c lw 96379
c lw 96389
c lw 96391
c lw 96394
c lw 96412
c lw 96438
c lw 96441
c lw 96475
c lw 96487
c lw 96493
c lw 96498
c lw 96507
c lw 96515
c lw 96526
c lw 96539
c lw 96549
c lw 96550
c lw 96580
c lw 96592
c lw 96595
c lw 96597
c lw 96598
c lw 96868
c lw 96919
c lw 96985
c lw 97054
c lw 97064
c lw 97066
c lw 97190
c lw 97392
c lw 97572
c lw 97573
c lw 97576
c lw 97579
c lw 97580
c lw 97581
c lw 97605
c lw 97616
c lw 97676
c lw 97702
c lw 97727
c lw 97738
c lw 97755
c lw 97756
c lw 97761
c lw 97762
c lw 97804
c lw 97805
c lw 97838
c lw 97840
c lw 97841
c lw 97860
c lw 97861
c lw 98057
c lw 98094
c lw 98102
c lw 98114
c lw 98150
c lw 98169
c lw 98178
c lw 98284
c lw 98354
c lw 98356
c lw 98364
c lw 98397
c lw 98438
c lw 98454
c lw 98456
c lw 98463
c lw 98484
c lw 98495
c lw 98505
c lw 98506
c lw 98525
c lw 98537
c lw 98561
c lw 98564
c lw 98604
c lw 98697
c lw 98699
c lw 98700
c lw 98902
c lw 98972
c lw 98978
c lw 99006
c lw 99035
c lw 99037
c lw 99043
c lw 99045
c lw 99047
c lw 99055
c lw 99057
c lw 99074
c lw 99085
c lw 99102
c lw 99103
c lw 99105
c lw 99111
c lw 99112
c lw 99310
c lw 99346
c lw 99351
c lw 99358
c lw 99359
c lw 99360
c lw 99402
c lw 99403
c lw 99420
c lw 99423
c lw 99431
c lw 99433
c lw 99444
c lw 99445
c lw 99456
c lw 99457
c lw 99489
c lw 99495
c lw 99497
c lw 99502
c lw 99545
c lw 99546
c lw 99547
c lw 99548
c lw 99549
c lw 99550
c lw 99559
c lw 99560
c lw 99561
c lw 99589
c lw 99590
c lw 99591
c lw 99600
c lw 99660
c lw 99661
c lw 99662
c lw 99665
c lw 99666
c lw 99667
c lw 99669
c lw 99671
c lw 99672
c lw 99673
c lw 99674
c lw 99677
c lw 99678
c lw 99679
c lw 99680
c lw 99683
c lw 99684
c lw 99692
c lw 99695
c lw 99703
c lw 99705
c lw 99710
c lw 99719
c lw 99723
c lw 99724
c lw 99726
c lw 99730
c lw 99732
c lw 99733
c lw 99740
c lw 99755
c lw 99851
c lw 99858
c lw 99887
c lw 99889
c lw 99905
c lw 99923
c lw 99924
c lw 99926
c lw 99927
c lw 99928
c lw 99929
c lw 99930
c lw 99935
c lw 99936
c lw 99937
c lw 99938
c lw 99939
c lw 99940
c lw 99941
c lw 99942
c lw 99947
c lw 99948
c lw 99982
c lw 100059
c lw 100061
c lw 100063
c lw 100076
c lw 100077
c lw 100078
c lw 100079
c lw 100081
c lw 100082
c lw 100083
c lw 100086
c lw 100087
c lw 100088
c lw 100089
c lw 100094
c lw 100095
c lw 100096
c lw 100098
c lw 100099
c lw 100100
c lw 100101
c lw 100103
c lw 100104
c lw 100105
c lw 100121
c lw 100122
c lw 100271
c lw 100272
c lw 100273
c lw 100274
c lw 100285
c lw 100286
c lw 100291
c lw 100293
c lw 100294
c lw 100296
c lw 100297
c lw 100298
c lw 100300
c lw 100307
c lw 100308
c lw 100310
c lw 100311
c lw 100312
c lw 100314
c lw 100315
c lw 100317
c lw 100318
c lw 100319
c lw 100320
c lw 100321
c lw 100322
c lw 100323
c lw 100324
c lw 100328
c lw 100329
c lw 100330
c lw 100331
c lw 100332
c lw 100340
c lw 100341
c lw 100342
c lw 100343
c lw 100344
c lw 100345
c lw 100346
c lw 100347
c lw 100348
c lw 100349
c lw 100350
c lw 100351
c lw 100352
c lw 100353
c lw 100354
c lw 100355
c lw 100356
c lw 100357
c lw 100377
c lw 100378
c lw 100379
c lw 100380
c lw 100381
c lw 100382
c lw 100384
c lw 100385
c lw 100386
c lw 100387
c lw 100388
c lw 100389
c lw 100391
c lw 100405
c lw 100500
c lw 100501
c lw 100502
c lw 100503
c lw 100504
c lw 100505
c lw 100506
c lw 100508
c lw 100509
c lw 100510
c lw 100512
c lw 100521
c lw 100522
c lw 100523
c lw 100524
c lw 100525
c lw 100526
c lw 100527
c lw 100528
c lw 100529
c lw 100530
c lw 100531
c lw 100532
c lw 100533
c lw 100534
c lw 100536
c lw 100538
c lw 100540
c lw 100541
c lw 100542
c lw 100543
c lw 100544
c lw 100545
c lw 100546
c lw 100547
c lw 100548
c lw 100549
c lw 100550
c lw 100551
c lw 100552
c lw 100553
c lw 100554
c lw 100555
c lw 100557
c lw 100558
c lw 100559
c lw 100560
c lw 100561
c lw 100562
c lw 100563
c lw 100564
c lw 100565
c lw 100566
c lw 100567
c lw 100568
c lw 100572
c lw 100573
c lw 100574
c lw 100575
c lw 100576
c lw 100577
c lw 100578
c lw 100579
c lw 100580
c lw 100581
c lw 100582
c lw 100583
c lw 100584
c lw 100585
c lw 100586
c lw 100593
c lw 100597
c lw 100599
c lw 100608
c lw 100613
c lw 100614
c lw 100619
c lw 100620
c lw 100630
c lw 100631
c lw 100638
c lw 100639
c lw 100640
c lw 100641
c lw 100642
c lw 100644
c lw 100645
c lw 100646
c lw 100648
c lw 100649
c lw 100650
c lw 100651
c lw 100652
c lw 100653
c lw 100654
c lw 100655
c lw 100656
c lw 100657
c lw 100658
c lw 100659
c lw 100660
c lw 100661
c lw 100662
c lw 100663
c lw 100664
c lw 100665
c lw 100666
c lw 100668
c lw 100670
c lw 100671
c lw 100672
c lw 100674
c lw 100676
c lw 100677
c lw 100678
c lw 100679
c lw 100680
c lw 100682
c lw 100683
c lw 100684
c lw 100687
c lw 100688
c lw 100689
c lw 100691
c lw 100692
c lw 100693
c lw 100694
c lw 100788
c lw 100789
c lw 100825
c lw 100826
c lw 100831
c lw 100842
c lw 100849
c lw 100855
c lw 100856
c lw 100857
c lw 100859
c lw 100862
c lw 100863
c lw 100881
c lw 100882
c lw 100884
c lw 100886
c lw 100891
c lw 100892
c lw 100893
c lw 100897
c lw 100906
c lw 100908
c lw 100909
c lw 100910
c lw 100912
c lw 100913
c lw 100914
c lw 100920
c lw 100921
c lw 100922
c lw 100923
c lw 100925
c lw 100926
c lw 100927
c lw 100928
c lw 100931
c lw 100932
c lw 100933
c lw 100934
c lw 100935
c lw 100936
c lw 100937
c lw 100938
c lw 100939
c lw 100940
c lw 100941
c lw 100942
c lw 100943
c lw 100944
c lw 100945
c lw 100946
c lw 100947
c lw 100948
c lw 100949
c lw 100951
c lw 100952
c lw 100953
c lw 100954
c lw 100955
c lw 100956
c lw 100957
c lw 100958
c lw 100959
c lw 100960
c lw 100961
c lw 100962
c lw 100963
c lw 100964
c lw 100965
c lw 100966
c lw 100967
c lw 100968
c lw 100969
c lw 100970
c lw 100971
c lw 100972
c lw 100973
c lw 100974
c lw 100975
c lw 100976
c lw 100977
c lw 100978
c lw 100979
c lw 100980
c lw 100981
c lw 100982
c lw 100996
c lw 100997
c lw 101018
c lw 101019
c lw 101020
c lw 101021
c lw 101022
c lw 101023
c lw 101029
c lw 101030
c lw 101031
c lw 101032
c lw 101033
c lw 101034
c lw 101035
c lw 101036
c lw 101037
c lw 101038
c lw 101040
c lw 101041
c lw 101042
c lw 101043
c lw 101044
c lw 101045
c lw 101046
c lw 101080
c lw 101081
c lw 101082
c lw 101083
c lw 101087
c lw 101089
c lw 101109
c lw 101110
c lw 101111
c lw 101112
c lw 101113
c lw 101114
c lw 101115
c lw 101116
c lw 101117
c lw 101118
c lw 101132
c lw 101134
c lw 101135
c lw 101137
c lw 101138
c lw 101139
c lw 101140
c lw 101141
c lw 101142
c lw 101143
c lw 101144
c lw 101150
c lw 101151
c lw 101155
c lw 101156
c lw 101157
c lw 101158
c lw 101159
c lw 101160
c lw 101210
c lw 101211
c lw 101213
c lw 101214
c lw 101215
c lw 101216
c lw 101225
c lw 101226
c lw 101227
c lw 101228
c lw 101229
c lw 101230
c lw 101231
c lw 101232
c lw 101233
c lw 101235
c lw 101236
c lw 101237
c lw 101238
c lw 101241
c lw 101243
c lw 101244
c lw 101245
c lw 101246
c lw 101247
c lw 101248
c lw 101249
c lw 101250
c lw 101251
c lw 101252
c lw 101253
c lw 101254
c lw 101255
c lw 101256
c lw 101257
c lw 101258
c lw 101259
c lw 101260
c lw 101261
c lw 101262
c lw 101263
c lw 101264
c lw 101265
c lw 101266
c lw 101267
c lw 101268
c lw 101269
c lw 101270
c lw 101271
c lw 101272
c lw 101273
c lw 101274
c lw 101275
c lw 101276
c lw 101277
c lw 101278
c lw 101279
c lw 101280
c lw 101281
c lw 101752
c lw 101760
c lw 101763
c lw 101774
c lw 101775
c lw 101777
c lw 101778
c lw 101780
c lw 101781
c lw 101782
c lw 101783
c lw 101784
c lw 101785
c lw 101786
c lw 101787
c lw 101788
c lw 101790
c lw 101791
c lw 101792
c lw 101793
c lw 101794
c lw 101795
c lw 101796
c lw 101797
c lw 101798
c lw 101799
c lw 101800
c lw 101801
c lw 101802
c lw 101803
c lw 101804
c lw 101805
c lw 101806
c lw 101807
c lw 101808
c lw 101809
c lw 101810
c lw 101811
c lw 101839
c lw 101840
c lw 101847
c lw 101849
c lw 101850
c lw 101851
c lw 101852
c lw 101853
c lw 101854
c lw 101855
c lw 101856
c lw 101857
c lw 101858
c lw 101859
c lw 101860
c lw 101861
c lw 101862
c lw 101863
c lw 101864
c lw 101865
c lw 101866
c lw 101867
c lw 101868
c lw 101869
c lw 101872
c lw 101879
c lw 101880
c lw 101881
c lw 101882
c lw 101883
c lw 101884
c lw 101885
c lw 101886
c lw 101887
c lw 101888
c lw 101889
c lw 101890
c lw 101891
c lw 101892
c lw 101893
c lw 101894
c lw 101895
c lw 101897
c lw 101898
c lw 101899
c lw 101900
c lw 101901
c lw 101902
c lw 101903
c lw 101904
c lw 101905
c lw 101906
c lw 101907
c lw 101908
c lw 101909
c lw 101910
c lw 101911
c lw 101912
c lw 101913
c lw 101914
c lw 101915
c lw 101916
c lw 101917
c lw 101918
c lw 101919
c lw 101920
c lw 101921
c lw 101922
c lw 101923
c lw 101924
c lw 101925
c lw 101926
c lw 101927
c lw 101928
c lw 101971
c lw 101999
c lw 102040
c lw 102041
c lw 102042
c lw 102043
c lw 102044
c lw 102045
c lw 102046
c lw 102047
c lw 102048
c lw 102049
c lw 102050
c lw 102051
c lw 102052
c lw 102053
c lw 102054
c lw 102055
c lw 102056
c lw 102057
c lw 102058
c lw 102059
c lw 102060
c lw 102061
c lw 102062
c lw 102063
c lw 102064
c lw 102066
c lw 102067
c lw 102068
c lw 102089
c lw 102146
c lw 102147
c lw 102155
c lw 102156
c lw 102159
c lw 102160
c lw 102277
c lw 102278
c lw 102279
c lw 102330
c lw 102331
c lw 102332
c lw 102333
c lw 102334
c lw 102335
c lw 102336
c lw 102337
c lw 102338
c lw 102339
c lw 102340
c lw 102341
c lw 102342
c lw 102343
c lw 102351
c lw 102352
c lw 102353
c lw 102354
c lw 102358
c lw 102359
c lw 102360
c lw 102361
c lw 102362
c lw 102363
c lw 102364
c lw 102365
c lw 102366
c lw 102367
c lw 102368
c lw 102369
c lw 102370
c lw 102371
c lw 102372
c lw 102373
c lw 102374
c lw 102375
c lw 102376
c lw 102377
c lw 102379
c lw 102380
c lw 102381
c lw 102384
c lw 102385
c lw 102389
c lw 102614
c lw 102615
c lw 102617
c lw 102618
c lw 102619
c lw 102620
c lw 102621
c lw 102622
c lw 102623
c lw 102625
c lw 102626
c lw 102627
c lw 102628
c lw 102637
c lw 102638
c lw 102639
c lw 102640
c lw 102642
c lw 102643
c lw 102644
c lw 102645
c lw 102658
c lw 102662
c lw 102664
c lw 102690
c lw 102729
c lw 102730
c lw 102731
c lw 102732
c lw 102733
c lw 102734
c lw 102735
c lw 102736
c lw 102737
c lw 102738
c lw 102739
c lw 102740
c lw 102741
c lw 102742
c lw 102743
c lw 102744
c lw 102745
c lw 102748
c lw 102749
c lw 102750
c lw 102751
c lw 102752
c lw 102753
c lw 102754
c lw 102755
c lw 102756
c lw 102757
c lw 102758
c lw 102759
c lw 102760
c lw 102761
c lw 102762
c lw 102763
c lw 102764
c lw 102765
c lw 102766
c lw 102767
c lw 102768
c lw 102769
c lw 102770
c lw 102771
c lw 102772
c lw 102773
c lw 102774
c lw 102775
c lw 102776
c lw 102777
c lw 102778
c lw 102779
c lw 102780
c lw 102781
c lw 102782
c lw 102783
c lw 102784
c lw 102785
c lw 102786
c lw 102787
c lw 102788
c lw 102789
c lw 102790
c lw 102791
c lw 102792
c lw 102793
c lw 102794
c lw 102795
c lw 102796
c lw 102797
c lw 102798
c lw 102799
c lw 102800
c lw 102801
c lw 102802
c lw 102803
c lw 102804
c lw 102805
c lw 102806
c lw 102807
c lw 102808
c lw 102809
c lw 102810
c lw 102811
c lw 102812
c lw 102813
c lw 102814
c lw 102815
c lw 102816
c lw 102817
c lw 102818
c lw 102819
c lw 102820
c lw 102821
c lw 102822
c lw 102823
c lw 102827
c lw 102828
c lw 102829
c lw 102830
c lw 102831
c lw 102832
c lw 102840
c lw 102842
c lw 102844
c lw 102853
c lw 102854
c lw 102855
c lw 102856
c lw 102857
c lw 102887
c lw 102888
c lw 102889
c lw 102890
c lw 102891
c lw 102892
c lw 102893
c lw 102894
c lw 102895
c lw 102896
c lw 102897
c lw 102898
c lw 102905
c lw 102928
c lw 102931
c lw 102932
c lw 102933
c lw 102934
c lw 102935
c lw 102936
c lw 102937
c lw 102938
c lw 102939
c lw 102940
c lw 102941
c lw 102942
c lw 102943
c lw 102944
c lw 102945
c lw 102946
c lw 102947
c lw 102948
c lw 102949
c lw 102952
c lw 102954
c lw 102955
c lw 102956
c lw 102957
c lw 102958
c lw 102959
c lw 102960
c lw 102961
c lw 102962
c lw 102963
c lw 102964
c lw 102965
c lw 102966
c lw 102969
c lw 102970
c lw 102971
c lw 102972
c lw 102973
c lw 102975
c lw 102976
c lw 102977
c lw 102978
c lw 102979
c lw 102980
c lw 102981
c lw 102982
c lw 102983
c lw 102984
c lw 102985
c lw 102986
c lw 102987
c lw 102988
c lw 102989
c lw 102992
c lw 102994
c lw 102995
c lw 102996
c lw 102997
c lw 102998
c lw 102999
c lw 103000
c lw 103001
c lw 103002
c lw 103003
c lw 103004
c lw 103006
c lw 103007
c lw 103008
c lw 103009
c lw 103010
c lw 103011
c lw 103012
c lw 103013
c lw 103014
c lw 103015
c lw 103016
c lw 103017
c lw 103018
Killed
1798.754u 20.983s 30:20.36 99.9%	0+0k 0+0io 0pf+0w