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_170_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 927
c lw 1044
c lw 1854
c lw 2088
c lw 2549
c lw 2781
c lw 3552
c lw 4323
c lw 5368
c lw 5741
c lw 6094
c lw 6358
c lw 6413
c lw 7457
c lw 7458
c lw 8323
c lw 8503
c lw 8740
c lw 8949
c lw 9395
c lw 10354
c lw 11123
c lw 11217
c lw 11313
c lw 12173
c lw 12934
c lw 13695
c lw 14614
c lw 15222
c lw 15533
c lw 16148
c lw 16452
c lw 16612
c lw 16798
c lw 16849
c lw 17316
c lw 18323
c lw 18676
c lw 19407
c lw 20181
c lw 20216
c lw 20651
c lw 21259
c lw 21425
c lw 22442
c lw 23074
c lw 23458
c lw 23696
c lw 24347
c lw 24643
c lw 25172
c lw 25579
c lw 25986
c lw 26013
c lw 26717
c lw 27057
c lw 27706
c lw 27761
c lw 28573
c lw 28778
c lw 29625
c lw 30161
c lw 30490
c lw 30842
c lw 30978
c lw 31072
c lw 31932
c lw 32026
c lw 32033
c lw 32288
c lw 32677
c lw 32886
c lw 32966
c lw 33831
c lw 34696
c lw 35561
c lw 36047
c lw 36551
c lw 36933
c lw 37112
c lw 37270
c lw 37876
c lw 38446
c lw 38534
c lw 39173
c lw 39812
c lw 40451
c lw 40607
c lw 40824
c lw 41177
c lw 41636
c lw 42167
c lw 42360
c lw 42798
c lw 42938
c lw 43894
c lw 44663
c lw 44850
c lw 45286
c lw 45369
c lw 45739
c lw 46014
c lw 46182
c lw 46888
c lw 47134
c lw 47146
c lw 47578
c lw 48529
c lw 48815
c lw 49480
c lw 49562
c lw 49958
c lw 49963
c lw 50148
c lw 50434
c lw 51042
c lw 51215
c lw 52251
c lw 53287
c lw 53354
c lw 54207
c lw 54452
c lw 55550
c lw 55635
c lw 56242
c lw 56308
c lw 57233
c lw 58153
c lw 58158
c lw 58737
c lw 58814
c lw 59083
c lw 59946
c lw 60008
c lw 60154
c lw 60473
c lw 60580
c lw 60783
c lw 61332
c lw 61386
c lw 62006
c lw 62254
c lw 62255
c lw 62861
c lw 63427
c lw 63576
c lw 63581
c lw 63749
c lw 63897
c lw 64037
c lw 64473
c lw 64661
c lw 64994
c lw 65059
c lw 65076
c lw 65113
c lw 65324
c lw 65360
c lw 65378
c lw 65440
c lw 65502
c lw 65629
c lw 65927
c lw 66034
c lw 66237
c lw 66314
c lw 66365
c lw 66370
c lw 66893
c lw 66960
c lw 67066
c lw 67290
c lw 67568
c lw 67587
c lw 67670
c lw 67714
c lw 67777
c lw 68129
c lw 68209
c lw 68361
c lw 68499
c lw 68500
c lw 68565
c lw 68636
c lw 68758
c lw 68888
c lw 68891
c lw 68895
c lw 68989
c lw 69198
c lw 69396
c lw 69490
c lw 69492
c lw 69531
c lw 69724
c lw 69817
c lw 69890
c lw 69953
c lw 70089
c lw 70187
c lw 70252
c lw 70257
c lw 70431
c lw 70764
c lw 70781
c lw 70822
c lw 70863
c lw 71351
c lw 71388
c lw 71633
c lw 72068
c lw 72080
c lw 72326
c lw 72397
c lw 72604
c lw 72785
c lw 73022
c lw 73052
c lw 73138
c lw 73260
c lw 73477
c lw 73600
c lw 73633
c lw 73779
c lw 73791
c lw 73964
c lw 74049
c lw 74104
c lw 74116
c lw 74124
c lw 74199
c lw 74698
c lw 74753
c lw 74758
c lw 74803
c lw 74836
c lw 74863
c lw 75094
c lw 75174
c lw 75540
c lw 75844
c lw 76297
c lw 76459
c lw 76473
c lw 77112
c lw 77234
c lw 77286
c lw 77545
c lw 78044
c lw 78079
c lw 78147
c lw 78894
c lw 78972
c lw 79292
c lw 79356
c lw 79377
c lw 79398
c lw 79660
c lw 79828
c lw 79935
c lw 79976
c lw 80001
c lw 80055
c lw 80242
c lw 80720
c lw 80984
c lw 80985
c lw 81139
c lw 81167
c lw 81204
c lw 81379
c lw 81761
c lw 82048
c lw 82150
c lw 82156
c lw 82207
c lw 82287
c lw 82378
c lw 82443
c lw 82467
c lw 82477
c lw 82562
c lw 82606
c lw 82647
c lw 82668
c lw 82729
c lw 82766
c lw 82817
c lw 82919
c lw 82977
c lw 82997
c lw 83013
c lw 83015
c lw 83029
c lw 83038
c lw 83066
c lw 83128
c lw 83179
c lw 83188
c lw 83205
c lw 83255
c lw 83264
c lw 83315
c lw 83318
c lw 83322
c lw 83343
c lw 83421
c lw 83440
c lw 83459
c lw 83460
c lw 83461
c lw 83496
c lw 83506
c lw 83509
c lw 83540
c lw 83558
c lw 83613
c lw 83676
c lw 83678
c lw 83769
c lw 83779
c lw 83786
c lw 83861
c lw 83875
c lw 83946
c lw 83955
c lw 83962
c lw 83964
c lw 83966
c lw 83969
c lw 83997
c lw 84000
c lw 84006
c lw 84023
c lw 84025
c lw 84053
c lw 84073
c lw 84093
c lw 84103
c lw 84156
c lw 84194
c lw 84221
c lw 84231
c lw 84237
c lw 84289
c lw 84299
c lw 84328
c lw 84347
c lw 84446
c lw 84447
c lw 84537
c lw 84823
c lw 84829
c lw 84830
c lw 84831
c lw 84857
c lw 84903
c lw 84992
c lw 85003
c lw 85055
c lw 85080
c lw 85096
c lw 85098
c lw 85150
c lw 85231
c lw 85248
c lw 85535
c lw 85634
c lw 85671
c lw 85692
c lw 85716
c lw 85815
c lw 85827
c lw 85830
c lw 85831
c lw 85832
c lw 85850
c lw 85856
c lw 85861
c lw 85873
c lw 85917
c lw 85925
c lw 85955
c lw 85956
c lw 85985
c lw 85989
c lw 85992
c lw 86010
c lw 86019
c lw 86020
c lw 86071
c lw 86072
c lw 86073
c lw 86074
c lw 86075
c lw 86076
c lw 86077
c lw 86083
c lw 86108
c lw 86109
c lw 86117
c lw 86129
c lw 86181
c lw 86207
c lw 86216
c lw 86306
c lw 86307
c lw 86311
c lw 86382
c lw 86524
c lw 86525
c lw 86532
c lw 86533
c lw 86534
c lw 86535
c lw 86540
c lw 86546
c lw 86547
c lw 86555
c lw 86558
c lw 86571
c lw 86572
c lw 86577
c lw 86580
c lw 86581
c lw 86589
c lw 86590
c lw 86596
c lw 86598
c lw 86606
c lw 86607
c lw 86608
c lw 86609
c lw 86612
c lw 86614
c lw 86615
c lw 86616
c lw 86617
c lw 86618
c lw 86619
c lw 86622
c lw 86625
c lw 86626
c lw 86627
c lw 86628
c lw 86632
c lw 86633
c lw 86636
c lw 86637
c lw 86641
c lw 86642
c lw 86643
c lw 86644
c lw 86645
c lw 86656
c lw 86657
c lw 86658
c lw 86659
c lw 86663
c lw 86665
c lw 86669
c lw 86671
c lw 86675
c lw 86682
c lw 86683
c lw 86684
c lw 86685
c lw 86693
c lw 86695
c lw 86697
c lw 86701
c lw 86702
c lw 86703
c lw 86704
c lw 86705
c lw 86707
c lw 86717
c lw 86718
c lw 86719
c lw 86720
c lw 86721
c lw 86722
c lw 86723
c lw 86724
c lw 86725
c lw 86726
c lw 86732
c lw 86734
c lw 86739
c lw 86750
c lw 86756
c lw 86757
c lw 86758
c lw 86759
c lw 86760
c lw 86761
c lw 86762
c lw 86775
c lw 86777
c lw 86778
c lw 86780
c lw 86784
c lw 86788
c lw 86789
c lw 86791
c lw 86795
c lw 86796
c lw 86802
c lw 86804
c lw 86805
c lw 86807
c lw 86808
c lw 86810
c lw 86811
c lw 86812
c lw 86813
c lw 86814
c lw 86815
c lw 86816
c lw 86823
c lw 86829
c lw 86832
c lw 86833
c lw 86834
c lw 86835
c lw 86836
c lw 86837
c lw 86838
c lw 86839
c lw 86840
c lw 86841
c lw 86842
c lw 86843
c lw 86873
c lw 86874
c lw 86875
c lw 86877
c lw 86880
c lw 86881
c lw 86882
c lw 86883
c lw 86887
c lw 86888
c lw 86894
c lw 86895
c lw 86896
c lw 86897
c lw 86898
c lw 86899
c lw 86900
c lw 86901
c lw 86903
c lw 86904
c lw 86911
c lw 86970
c lw 86971
c lw 86972
c lw 86987
c lw 86988
c lw 86989
c lw 86990
c lw 86991
c lw 86992
c lw 86993
c lw 86994
c lw 86995
c lw 86996
c lw 86997
c lw 86998
c lw 86999
c lw 87000
c lw 87001
c lw 87002
c lw 87013
c lw 87014
c lw 87015
c lw 87016
c lw 87017
c lw 87023
c lw 87024
c lw 87025
c lw 87032
c lw 87042
c lw 87043
c lw 87060
c lw 87065
c lw 87072
c lw 87073
c lw 87074
c lw 87075
c lw 87076
c lw 87077
c lw 87078
c lw 87079
c lw 87105
c lw 87106
c lw 87136
c lw 87155
c lw 87156
c lw 87157
c lw 87176
c lw 87187
c lw 87190
c lw 87198
c lw 87199
c lw 87217
c lw 87218
c lw 87219
c lw 87226
c lw 87239
c lw 87240
c lw 87349
c lw 87354
c lw 87355
c lw 87356
c lw 87357
c lw 87358
c lw 87359
c lw 87360
c lw 87361
c lw 87362
c lw 87363
c lw 87368
c lw 87369
c lw 87372
c lw 87373
c lw 87374
c lw 87376
c lw 87377
c lw 87380
c lw 87383
c lw 87384
c lw 87385
c lw 87386
c lw 87387
c lw 87388
c lw 87389
c lw 87390
c lw 87391
c lw 87395
c lw 87396
c lw 87397
c lw 87398
c lw 87399
c lw 87400
c lw 87401
c lw 87402
c lw 87403
c lw 87404
c lw 87405
c lw 87406
c lw 87407
c lw 87408
c lw 87409
c lw 87410
c lw 87411
c lw 87412
c lw 87413
c lw 87414
c lw 87415
c lw 87416
c lw 87417
c lw 87418
c lw 87419
c lw 87420
c lw 87421
c lw 87422
c lw 87423
c lw 87424
c lw 87429
c lw 87434
c lw 87439
c lw 87441
c lw 87448
c lw 87453
c lw 87454
c lw 87456
c lw 87458
c lw 87459
c lw 87461
c lw 87462
c lw 87463
c lw 87464
c lw 87465
c lw 87466
c lw 87467
c lw 87468
c lw 87469
c lw 87470
c lw 87471
c lw 87472
c lw 87473
c lw 87474
c lw 87475
c lw 87476
c lw 87477
c lw 87478
c lw 87479
c lw 87480
c lw 87489
c lw 87495
c lw 87496
c lw 87497
c lw 87498
c lw 87499
c lw 87506
c lw 87507
c lw 87508
c lw 87549
c lw 87550
c lw 87551
c lw 87552
c lw 87553
c lw 87556
c lw 87557
c lw 87558
c lw 87566
c lw 87567
c lw 87568
c lw 87791
c lw 87792
c lw 87793
c lw 87794
c lw 87796
c lw 87797
c lw 87799
c lw 87800
c lw 87803
c lw 87804
c lw 87805
c lw 87806
c lw 87807
c lw 87809
c lw 87810
c lw 87835
c lw 87836
c lw 87837
c lw 87838
c lw 87839
c lw 87840
c lw 87841
c lw 87844
c lw 87848
c lw 87849
c lw 87850
c lw 87851
c lw 87852
c lw 87853
c lw 87854
c lw 87855
c lw 87856
c lw 87857
c lw 87858
c lw 87859
c lw 87860
c lw 87861
c lw 87862
c lw 87863
c lw 87864
c lw 87865
c lw 87867
c lw 87868
c lw 87869
c lw 87870
c lw 87871
c lw 87872
c lw 87873
c lw 87874
c lw 87875
c lw 87876
c lw 87877
c lw 87878
c lw 87879
c lw 87880
c lw 87881
c lw 87882
c lw 87883
c lw 87884
c lw 87885
c lw 87886
c lw 87887
c lw 87888
c lw 87889
c lw 87890
c lw 87891
c lw 87892
c lw 87893
c lw 87894
c lw 87895
c lw 87896
c lw 87897
c lw 87898
c lw 87899
c lw 87900
c lw 87901
c lw 87902
c lw 87903
c lw 87904
c lw 87905
c lw 87906
c lw 87907
c lw 87908
c lw 87909
c lw 87910
c lw 87911
c lw 87929
c lw 87930
c lw 87931
c lw 87932
c lw 87933
c lw 87934
c lw 87935
c lw 87936
c lw 87937
c lw 87938
c lw 87939
c lw 87940
c lw 87941
c lw 87942
c lw 87943
c lw 87944
c lw 87945
c lw 87946
c lw 87947
c lw 87955
c lw 87956
c lw 87957
c lw 87958
c lw 87964
c lw 87965
c lw 87967
c lw 87968
c lw 87969
c lw 87970
c lw 87971
c lw 87972
c lw 87973
c lw 87974
c lw 87978
c lw 87979
c lw 87980
c lw 87981
c lw 87982
c lw 87988
c lw 87989
c lw 87990
c lw 87991
c lw 87995
c lw 88000
c lw 88001
c lw 88002
c lw 88004
c lw 88005
c lw 88006
c lw 88007
c lw 88009
c lw 88010
c lw 88011
c lw 88014
c lw 88015
c lw 88016
c lw 88017
c lw 88018
c lw 88019
c lw 88020
c lw 88021
c lw 88022
c lw 88023
c lw 88024
c lw 88025
c lw 88026
c lw 88027
c lw 88028
c lw 88029
c lw 88030
c lw 88031
c lw 88103
c lw 88104
c lw 88105
c lw 88106
c lw 88107
Killed
1814.526u 5.240s 30:23.82 99.7%	0+0k 0+0io 0pf+0w