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_80_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 459
c lw 1193
c lw 1927
c lw 2090
c lw 2661
c lw 2761
c lw 3557
c lw 4353
c lw 5124
c lw 5149
c lw 6108
c lw 7067
c lw 7785
c lw 8026
c lw 8056
c lw 8236
c lw 9104
c lw 9200
c lw 9497
c lw 10164
c lw 10988
c lw 11128
c lw 11912
c lw 12092
c lw 12407
c lw 12722
c lw 13790
c lw 14534
c lw 14714
c lw 15638
c lw 16562
c lw 16989
c lw 17306
c lw 17589
c lw 18372
c lw 18573
c lw 18649
c lw 18793
c lw 19036
c lw 19155
c lw 19875
c lw 20595
c lw 21519
c lw 22283
c lw 22291
c lw 22926
c lw 23047
c lw 23811
c lw 23965
c lw 24032
c lw 24449
c lw 24575
c lw 25238
c lw 25258
c lw 26137
c lw 26157
c lw 26316
c lw 27081
c lw 27110
c lw 27246
c lw 27433
c lw 28111
c lw 28528
c lw 28595
c lw 28749
c lw 28769
c lw 29489
c lw 29894
c lw 29923
c lw 30626
c lw 30651
c lw 30659
c lw 31078
c lw 31165
c lw 31345
c lw 31423
c lw 31440
c lw 31559
c lw 31607
c lw 31751
c lw 31827
c lw 31850
c lw 32028
c lw 32147
c lw 32155
c lw 32438
c lw 32601
c lw 32762
c lw 32949
c lw 33079
c lw 33259
c lw 33354
c lw 33362
c lw 33534
c lw 33919
c lw 34059
c lw 34608
c lw 34637
c lw 34923
c lw 35082
c lw 35150
c lw 35351
c lw 35391
c lw 35441
c lw 35471
c lw 35472
c lw 35538
c lw 35692
c lw 35955
c lw 36010
c lw 36230
c lw 36330
c lw 36701
c lw 37177
c lw 37749
c lw 37990
c lw 38010
c lw 38086
c lw 38165
c lw 38324
c lw 38565
c lw 38653
c lw 38673
c lw 38698
c lw 38718
c lw 38738
c lw 38748
c lw 38764
c lw 38772
c lw 38939
c lw 38947
c lw 38987
c lw 39004
c lw 39026
c lw 39092
c lw 39123
c lw 39260
c lw 39291
c lw 39301
c lw 39420
c lw 39428
c lw 39435
c lw 39440
c lw 39458
c lw 39529
c lw 39624
c lw 39628
c lw 39657
c lw 39716
c lw 39782
c lw 39870
c lw 40005
c lw 40030
c lw 40060
c lw 40219
c lw 40242
c lw 40255
c lw 40260
c lw 40429
c lw 40437
c lw 40438
c lw 40468
c lw 40469
c lw 40483
c lw 40488
c lw 40495
c lw 40496
c lw 40503
c lw 40520
c lw 40526
c lw 40551
c lw 40559
c lw 40561
c lw 40563
c lw 40571
c lw 40579
c lw 40581
c lw 40583
c lw 40604
c lw 40632
c lw 40647
c lw 40656
c lw 40678
c lw 40698
c lw 40721
c lw 40739
c lw 40744
c lw 40745
c lw 40748
c lw 40751
c lw 40759
c lw 40779
c lw 40826
c lw 40831
c lw 40836
c lw 40847
c lw 40904
c lw 40906
c lw 40911
c lw 40912
c lw 40917
c lw 40920
c lw 40986
c lw 41001
c lw 41003
c lw 41004
c lw 41006
c lw 41007
c lw 41008
c lw 41011
c lw 41015
c lw 41017
c lw 41018
c lw 41019
c lw 41020
c lw 41021
c lw 41023
c lw 41024
c lw 41025
c lw 41026
c lw 41027
c lw 41028
c lw 41029
c lw 41030
c lw 41031
c lw 41032
c lw 41062
c lw 41072
c lw 41083
c lw 41095
c lw 41096
c lw 41101
c lw 41103
c lw 41107
c lw 41108
c lw 41112
c lw 41118
c lw 41121
c lw 41166
c lw 41234
c lw 41235
c lw 41236
c lw 41237
c lw 41238
c lw 41239
c lw 41240
c lw 41241
c lw 41242
c lw 41243
c lw 41244
c lw 41245
c lw 41246
c lw 41252
c lw 41258
c lw 41259
c lw 41260
c lw 41266
c lw 41267
c lw 41268
c lw 41275
c lw 41276
c lw 41278
c lw 41279
c lw 41289
c lw 41299
c lw 41302
c lw 41303
c lw 41309
c lw 41313
c lw 41316
c lw 41334
c lw 41335
c lw 41338
c lw 41339
c lw 41340
c lw 41341
c lw 41343
c lw 41346
c lw 41347
c lw 41348
c lw 41350
c lw 41352
c lw 41353
c lw 41354
c lw 41355
c lw 41356
c lw 41357
c lw 41358
c lw 41359
c lw 41362
c lw 41370
c lw 41376
c lw 41377
c lw 41378
c lw 41379
c lw 41380
c lw 41381
c lw 41383
c lw 41384
c lw 41385
c lw 41388
c lw 41389
c lw 41390
c lw 41391
c lw 41392
c lw 41393
c lw 41394
c lw 41395
c lw 41398
c lw 41414
c lw 41415
c lw 41418
c lw 41420
c lw 41421
c lw 41422
c lw 41423
c lw 41424
c lw 41426
c lw 41427
c lw 41428
c lw 41429
c lw 41430
c lw 41431
c lw 41432
c lw 41433
c lw 41434
c lw 41435
c lw 41436
c lw 41437
c lw 41438
c lw 41439
c lw 41440
c lw 41441
c lw 41442
c lw 41443
c lw 41444
c lw 41445
c lw 41446
c lw 41447
c lw 41448
c lw 41449
c lw 41450
c lw 41451
c lw 41452
c lw 41453
c lw 41454
c lw 41455
c lw 41456
c lw 41490
c lw 41492
c lw 41494
c lw 41496
c lw 41510
c lw 41511
c lw 41512
c lw 41513
c lw 41518
c lw 41521
c lw 41522
c lw 41523
c lw 41524
c lw 41525
c lw 41526
c lw 41527
c lw 41528
c lw 41531
c lw 41532
c lw 41573
c lw 41574
c lw 41575
c lw 41576
c lw 41577
c lw 41578
c lw 41579
c lw 41580
c lw 41581
c lw 41582
c lw 41583
c lw 41591
c lw 41612
c lw 41613
c lw 41614
c lw 41615
c lw 41616
c lw 41617
c lw 41618
c lw 41619
c lw 41620
c lw 41621
c lw 41686
c lw 41687
c lw 41688
c lw 41689
c lw 41692
c lw 41693
c lw 41694
c lw 41695
c lw 41696
c lw 41697
c lw 41698
c lw 41699
c lw 41704
c lw 41705
c lw 41706
c lw 41707
c lw 41708
c lw 41709
c lw 41710
c lw 41711
c lw 41712
c lw 41713
c lw 41714
c lw 41715
c lw 41716
c lw 41717
c lw 41718
c lw 41719
c lw 41720
c lw 41745
c lw 41748
c lw 41754
c lw 41755
c lw 41756
c lw 41757
c lw 41758
c lw 41759
c lw 41760
c lw 41761
c lw 41762
c lw 41763
c lw 41764
c lw 41765
c lw 41766
c lw 41767
c lw 41768
c lw 41769
c lw 41770
c lw 41771
c lw 41772
c lw 41773
c lw 41774
c lw 41815
c lw 41817
c lw 41818
c lw 41819
c lw 41820
c lw 41821
c lw 41822
c lw 41823
c lw 41824
c lw 41825
c lw 41832
c lw 41853
c lw 41854
c lw 41855
c lw 41856
c lw 41859
c lw 41860
c lw 41867
c lw 41868
c lw 41869
c lw 41870
c lw 41871
c lw 41872
c lw 41873
c lw 41874
c lw 41875
c lw 41876
c lw 41877
c lw 41878
c lw 41879
c lw 41880
c lw 41881
c lw 41882
c lw 41883
c lw 41885
c lw 41886
c lw 41887
c lw 41888
c lw 41889
c lw 41890
c lw 41891
c lw 41892
c lw 41893
c lw 41894
c lw 41895
c lw 41896
c lw 41897
c lw 41898
c lw 41899
c lw 41900
c lw 41901
c lw 41902
c lw 41903
c lw 41904
c lw 41905
c lw 41906
c lw 41907
c lw 41908
c lw 41909
c lw 41910
c lw 41911
c lw 41912
c lw 41913
c lw 41914
c lw 41915
c lw 41916
c lw 41917
c lw 41918
c lw 41919
c lw 41920
c lw 41921
c lw 41922
c lw 41923
c lw 41924
c lw 41925
c lw 41926
c lw 41927
c lw 41928
c lw 41929
c lw 41930
c lw 41931
c lw 41932
c lw 41933
c lw 41934
c lw 41935
c lw 41936
c lw 41937
c lw 41938
c lw 41939
c lw 41940
c lw 41941
c lw 41942
c lw 41943
c lw 41944
c lw 41945
c lw 41946
c lw 41947
c lw 41948
c lw 41949
c lw 41950
c lw 41951
c lw 41952
c lw 41953
c lw 41954
c lw 41955
c lw 41956
c lw 41957
c lw 41958
c lw 41959
c lw 41960
c lw 41961
c lw 41962
c lw 41963
c lw 41964
c lw 41965
c lw 41966
c lw 41967
c lw 41968
c lw 41969
c lw 41970
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 41980
c lw 41981
c lw 41982
c lw 41983
c lw 41984
c lw 41985
c lw 41986
c lw 41990
c lw 41991
c lw 41992
c lw 41993
c lw 42001
c lw 42002
c lw 42003
c lw 42004
c lw 42005
c lw 42006
c lw 42007
c lw 42008
c lw 42009
c lw 42010
c lw 42011
Killed
1816.080u 3.691s 30:20.05 99.9%	0+0k 0+0io 0pf+0w