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_150_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 347
c lw 1163
c lw 1979
c lw 2754
c lw 2795
c lw 3406
c lw 4017
c lw 4628
c lw 5196
c lw 5267
c lw 5830
c lw 5906
c lw 6545
c lw 7319
c lw 7822
c lw 8325
c lw 8828
c lw 9243
c lw 9551
c lw 10412
c lw 11273
c lw 12167
c lw 12198
c lw 12986
c lw 13061
c lw 13574
c lw 13955
c lw 14857
c lw 15256
c lw 15759
c lw 16246
c lw 16809
c lw 16885
c lw 16964
c lw 16983
c lw 17447
c lw 17911
c lw 18388
c lw 18401
c lw 18663
c lw 19123
c lw 19295
c lw 19684
c lw 19927
c lw 20559
c lw 20965
c lw 21585
c lw 22043
c lw 22242
c lw 22384
c lw 22899
c lw 23174
c lw 23556
c lw 23689
c lw 24040
c lw 24213
c lw 24517
c lw 24586
c lw 25134
c lw 25804
c lw 26020
c lw 26880
c lw 26906
c lw 27576
c lw 27792
c lw 28246
c lw 28678
c lw 29218
c lw 29523
c lw 29981
c lw 30439
c lw 30467
c lw 30584
c lw 30897
c lw 31282
c lw 31303
c lw 31686
c lw 32188
c lw 32690
c lw 32838
c lw 33300
c lw 34049
c lw 34632
c lw 34824
c lw 34988
c lw 35137
c lw 35358
c lw 36012
c lw 36666
c lw 36681
c lw 36784
c lw 37007
c lw 38038
c lw 38194
c lw 39069
c lw 39225
c lw 40082
c lw 41013
c lw 41023
c lw 41442
c lw 41894
c lw 41944
c lw 42600
c lw 42793
c lw 43103
c lw 43759
c lw 44211
c lw 44262
c lw 44679
c lw 44942
c lw 45001
c lw 45459
c lw 45518
c lw 45636
c lw 45715
c lw 45814
c lw 46513
c lw 47043
c lw 47117
c lw 47212
c lw 47257
c lw 47491
c lw 47705
c lw 47802
c lw 47999
c lw 48065
c lw 48448
c lw 48499
c lw 48617
c lw 48700
c lw 49124
c lw 49338
c lw 49637
c lw 49669
c lw 49721
c lw 49885
c lw 50033
c lw 50224
c lw 50238
c lw 50313
c lw 50344
c lw 50447
c lw 50657
c lw 50662
c lw 50736
c lw 50757
c lw 50991
c lw 51052
c lw 51102
c lw 51315
c lw 51504
c lw 51514
c lw 51711
c lw 51732
c lw 51848
c lw 51850
c lw 52042
c lw 52093
c lw 52159
c lw 52204
c lw 52235
c lw 52343
c lw 52504
c lw 52619
c lw 52648
c lw 52692
c lw 52705
c lw 52919
c lw 52938
c lw 53017
c lw 53025
c lw 53073
c lw 53094
c lw 53098
c lw 53400
c lw 53499
c lw 53720
c lw 53837
c lw 53862
c lw 54078
c lw 54318
c lw 54331
c lw 54394
c lw 54466
c lw 54545
c lw 54748
c lw 54761
c lw 54980
c lw 55082
c lw 55179
c lw 55248
c lw 55298
c lw 55381
c lw 55440
c lw 55476
c lw 55517
c lw 55700
c lw 55715
c lw 55790
c lw 56051
c lw 56831
c lw 56857
c lw 57003
c lw 57580
c lw 57717
c lw 57857
c lw 58204
c lw 58283
c lw 58418
c lw 58570
c lw 58689
c lw 58833
c lw 58842
c lw 58921
c lw 58960
c lw 59273
c lw 59459
c lw 59846
c lw 59962
c lw 60028
c lw 60351
c lw 60440
c lw 60582
c lw 60606
c lw 60667
c lw 60740
c lw 60790
c lw 61405
c lw 61481
c lw 61573
c lw 61831
c lw 61884
c lw 61968
c lw 62065
c lw 62074
c lw 62447
c lw 62473
c lw 62475
c lw 62602
c lw 62837
c lw 63439
c lw 63873
c lw 64014
c lw 64370
c lw 64393
c lw 64417
c lw 64452
c lw 64453
c lw 65028
c lw 65118
c lw 65206
c lw 65209
c lw 65275
c lw 65365
c lw 65370
c lw 65427
c lw 65504
c lw 65556
c lw 65567
c lw 65579
c lw 65580
c lw 65587
c lw 65611
c lw 65612
c lw 65623
c lw 65641
c lw 65643
c lw 65644
c lw 65657
c lw 65658
c lw 65718
c lw 65723
c lw 65739
c lw 65779
c lw 65792
c lw 65805
c lw 65807
c lw 65810
c lw 65956
c lw 65973
c lw 65981
c lw 66028
c lw 66034
c lw 66052
c lw 66063
c lw 66107
c lw 66149
c lw 66218
c lw 66237
c lw 66239
c lw 66241
c lw 66242
c lw 66255
c lw 66340
c lw 66341
c lw 66343
c lw 66431
c lw 66436
c lw 66456
c lw 66462
c lw 66487
c lw 66495
c lw 66509
c lw 66515
c lw 66516
c lw 66535
c lw 66536
c lw 66539
c lw 66540
c lw 66541
c lw 66551
c lw 66556
c lw 66557
c lw 66562
c lw 66567
c lw 66574
c lw 66578
c lw 66581
c lw 66582
c lw 66583
c lw 66585
c lw 66613
c lw 66616
c lw 66617
c lw 66628
c lw 66629
c lw 66632
c lw 66636
c lw 66638
c lw 66639
c lw 66647
c lw 66648
c lw 66651
c lw 66653
c lw 66654
c lw 66655
c lw 66657
c lw 66674
c lw 66675
c lw 66676
c lw 66677
c lw 66678
c lw 66679
c lw 66724
c lw 66729
c lw 66769
c lw 66771
c lw 66772
c lw 66802
c lw 66803
c lw 66834
c lw 66835
c lw 66896
c lw 66920
c lw 66940
c lw 66943
c lw 66944
c lw 66945
c lw 66946
c lw 66947
c lw 66950
c lw 66952
c lw 66953
c lw 66954
c lw 66955
c lw 66956
c lw 66957
c lw 66958
c lw 66959
c lw 66961
c lw 66962
c lw 66963
c lw 66964
c lw 66965
c lw 66966
c lw 66967
c lw 66968
c lw 66969
c lw 66970
c lw 66971
c lw 66972
c lw 66973
c lw 66974
c lw 67034
c lw 67035
c lw 67036
c lw 67077
c lw 67176
c lw 67214
c lw 67222
c lw 67241
c lw 67302
c lw 67304
c lw 67318
c lw 67320
c lw 67321
c lw 67323
c lw 67349
c lw 67351
c lw 67357
c lw 67363
c lw 67365
c lw 67385
c lw 67387
c lw 67389
c lw 67390
c lw 67392
c lw 67393
c lw 67397
c lw 67399
c lw 67400
c lw 67401
c lw 67402
c lw 67404
c lw 67405
c lw 67406
c lw 67417
c lw 67418
c lw 67426
c lw 67428
c lw 67434
c lw 67436
c lw 67437
c lw 67439
c lw 67440
c lw 67443
c lw 67445
c lw 67446
c lw 67447
c lw 67448
c lw 67453
c lw 67454
c lw 67482
c lw 67489
c lw 67490
c lw 67524
c lw 67526
c lw 67529
c lw 67530
c lw 67532
c lw 67533
c lw 67536
c lw 67537
c lw 67538
c lw 67539
c lw 67557
c lw 67558
c lw 67559
c lw 67560
c lw 67570
c lw 67573
c lw 67574
c lw 67575
c lw 67576
c lw 67577
c lw 67578
c lw 67579
c lw 67580
c lw 67581
c lw 67582
c lw 67583
c lw 67584
c lw 67585
c lw 67586
c lw 67587
c lw 67588
c lw 67591
c lw 67592
c lw 67600
c lw 67608
c lw 67609
c lw 67610
c lw 67611
c lw 67612
c lw 67613
c lw 67614
c lw 67615
c lw 67616
c lw 67617
c lw 67618
c lw 67619
c lw 67620
c lw 67621
c lw 67623
c lw 67625
c lw 67626
c lw 67627
c lw 67628
c lw 67634
c lw 67635
c lw 67636
c lw 67637
c lw 67638
c lw 67639
c lw 67640
c lw 67641
c lw 67642
c lw 67643
c lw 67644
c lw 67647
c lw 67648
c lw 67649
c lw 67650
c lw 67651
c lw 67652
c lw 67669
c lw 67671
c lw 67672
c lw 67674
c lw 67676
c lw 67678
c lw 67681
c lw 67683
c lw 67684
c lw 67685
c lw 67686
c lw 67687
c lw 67690
c lw 67692
c lw 67693
c lw 67694
c lw 67695
c lw 67697
c lw 67698
c lw 67701
c lw 67702
c lw 67704
c lw 67706
c lw 67710
c lw 67714
c lw 67722
c lw 67723
c lw 67724
c lw 67725
c lw 67726
c lw 67727
c lw 67728
c lw 67729
c lw 67731
c lw 67733
c lw 67734
c lw 67735
c lw 67736
c lw 67737
c lw 67739
c lw 67741
c lw 67743
c lw 67744
c lw 67745
c lw 67746
c lw 67748
c lw 67749
c lw 67750
c lw 67751
c lw 67752
c lw 67753
c lw 67754
c lw 67755
c lw 67756
c lw 67757
c lw 67758
c lw 67759
c lw 67760
c lw 67761
c lw 67762
c lw 67763
c lw 67764
c lw 67765
c lw 67766
c lw 67767
c lw 67768
c lw 67769
c lw 67776
c lw 67777
c lw 67778
c lw 67779
c lw 67792
c lw 67864
c lw 67878
c lw 67883
c lw 67889
c lw 67892
c lw 67906
c lw 67914
c lw 67915
c lw 67916
c lw 67917
c lw 67918
c lw 67919
c lw 67920
c lw 67921
c lw 67922
c lw 67923
c lw 67924
c lw 67925
c lw 67926
c lw 67927
c lw 67928
c lw 67929
c lw 67930
c lw 67932
c lw 67933
c lw 67934
c lw 67981
c lw 67982
c lw 67983
c lw 67990
c lw 67991
c lw 67992
c lw 67997
c lw 67998
c lw 67999
c lw 68000
c lw 68001
c lw 68002
c lw 68003
c lw 68004
c lw 68005
c lw 68006
c lw 68007
c lw 68010
c lw 68011
c lw 68023
c lw 68028
c lw 68029
c lw 68037
c lw 68038
c lw 68039
c lw 68040
c lw 68041
c lw 68042
c lw 68043
c lw 68044
c lw 68045
c lw 68046
c lw 68047
c lw 68048
c lw 68049
c lw 68050
c lw 68051
c lw 68052
c lw 68053
c lw 68054
c lw 68055
c lw 68056
c lw 68057
c lw 68058
c lw 68059
c lw 68060
c lw 68061
c lw 68062
c lw 68063
c lw 68064
c lw 68065
c lw 68066
c lw 68067
c lw 68068
c lw 68069
c lw 68070
c lw 68071
c lw 68072
c lw 68073
c lw 68074
c lw 68075
c lw 68076
c lw 68077
c lw 68078
c lw 68079
c lw 68080
c lw 68081
c lw 68082
c lw 68083
c lw 68085
c lw 68086
c lw 68097
c lw 68102
c lw 68107
c lw 68115
c lw 68116
c lw 68117
c lw 68118
c lw 68119
c lw 68120
c lw 68121
c lw 68122
c lw 68123
c lw 68124
c lw 68125
c lw 68126
c lw 68127
c lw 68128
c lw 68129
c lw 68130
c lw 68155
c lw 68158
c lw 68159
c lw 68160
c lw 68161
c lw 68162
c lw 68163
c lw 68164
c lw 68165
c lw 68194
c lw 68195
c lw 68197
c lw 68198
c lw 68199
c lw 68200
c lw 68201
c lw 68202
c lw 68203
c lw 68204
c lw 68205
c lw 68206
c lw 68207
c lw 68208
c lw 68209
c lw 68210
c lw 68211
c lw 68212
c lw 68213
c lw 68214
c lw 68215
c lw 68216
c lw 68218
c lw 68226
c lw 68237
c lw 68238
c lw 68239
c lw 68240
c lw 68241
c lw 68242
c lw 68243
c lw 68244
c lw 68245
c lw 68246
c lw 68247
c lw 68248
c lw 68253
c lw 68254
c lw 68255
c lw 68256
c lw 68257
c lw 68258
c lw 68259
c lw 68260
c lw 68261
c lw 68262
c lw 68263
c lw 68264
c lw 68265
c lw 68266
c lw 68267
c lw 68268
c lw 68269
c lw 68270
c lw 68271
c lw 68272
c lw 68273
c lw 68274
c lw 68275
c lw 68276
c lw 68277
c lw 68278
c lw 68279
c lw 68281
c lw 68282
c lw 68283
c lw 68284
c lw 68285
c lw 68286
c lw 68287
c lw 68376
c lw 68565
c lw 68566
c lw 68567
c lw 68568
c lw 68569
c lw 68570
c lw 68615
c lw 68617
c lw 68618
c lw 68619
c lw 68620
c lw 68621
c lw 68622
c lw 68625
c lw 68626
c lw 68628
c lw 68640
c lw 68641
c lw 68642
c lw 68646
c lw 68647
c lw 68650
c lw 68651
c lw 68652
c lw 68653
c lw 68658
c lw 68659
c lw 68660
c lw 68661
c lw 68662
c lw 68663
c lw 68664
c lw 68665
c lw 68666
c lw 68667
c lw 68668
c lw 68669
c lw 68670
c lw 68671
c lw 68674
c lw 68675
c lw 68676
c lw 68679
c lw 68680
c lw 68681
c lw 68682
c lw 68683
c lw 68684
c lw 68685
c lw 68686
c lw 68687
c lw 68688
c lw 68689
c lw 68690
c lw 68692
c lw 68693
c lw 68694
c lw 68695
c lw 68696
c lw 68697
c lw 68698
c lw 68699
c lw 68700
c lw 68701
c lw 68702
c lw 68703
c lw 68704
c lw 68705
c lw 68706
c lw 68707
c lw 68708
c lw 68709
c lw 68710
c lw 68711
c lw 68712
c lw 68713
c lw 68742
c lw 68743
c lw 68744
c lw 68745
c lw 68746
c lw 68747
c lw 68748
c lw 68749
c lw 68750
c lw 68751
c lw 68752
c lw 68753
c lw 68754
c lw 68755
c lw 68756
c lw 68757
c lw 68758
c lw 68759
c lw 68765
c lw 68766
c lw 68767
c lw 68768
c lw 68769
c lw 68770
c lw 68771
c lw 68772
c lw 68773
c lw 68774
c lw 68775
c lw 68776
c lw 68777
c lw 68778
c lw 68779
c lw 68780
c lw 68781
c lw 68782
c lw 68783
c lw 68784
c lw 68785
c lw 68786
c lw 68787
c lw 68788
c lw 68789
c lw 68790
c lw 68792
c lw 68793
c lw 68794
c lw 68795
c lw 68796
c lw 68797
c lw 68798
c lw 68799
c lw 68800
c lw 68801
c lw 68802
c lw 68803
c lw 68804
c lw 68805
c lw 68806
c lw 68807
c lw 68808
c lw 68809
c lw 68810
c lw 68811
c lw 68816
c lw 68817
c lw 68818
c lw 68819
c lw 68820
c lw 68821
c lw 68822
c lw 68823
c lw 68824
c lw 68825
c lw 68826
c lw 68827
c lw 68828
c lw 68829
c lw 68830
c lw 68831
c lw 68832
c lw 68833
c lw 68834
c lw 68835
c lw 68836
c lw 68837
c lw 68838
c lw 68839
c lw 68840
c lw 68841
c lw 68842
c lw 68843
c lw 68844
c lw 68845
c lw 68846
c lw 68847
c lw 68848
c lw 68851
c lw 68852
c lw 68853
c lw 68854
c lw 68855
c lw 68856
c lw 68857
c lw 68858
c lw 68859
c lw 68860
c lw 68861
c lw 68862
c lw 68863
c lw 68864
c lw 68865
c lw 68866
c lw 68867
c lw 68869
c lw 68872
c lw 68873
c lw 68874
c lw 68878
c lw 68879
c lw 68880
c lw 68881
c lw 68882
c lw 68892
c lw 68893
c lw 68897
c lw 68902
c lw 68903
c lw 68904
c lw 68905
c lw 68906
c lw 68907
c lw 68908
c lw 68909
c lw 68910
c lw 68911
c lw 68912
c lw 68913
c lw 68914
c lw 68918
c lw 68919
c lw 68920
c lw 68921
c lw 68922
c lw 68946
c lw 68947
c lw 68948
c lw 68949
c lw 68951
c lw 68952
c lw 68953
c lw 68954
c lw 68955
c lw 68956
c lw 68957
c lw 68958
c lw 68959
c lw 68960
c lw 68964
c lw 68965
c lw 68966
c lw 68967
c lw 68968
c lw 68969
c lw 68970
c lw 68971
c lw 68972
c lw 68981
c lw 68982
c lw 69011
c lw 69012
c lw 69029
c lw 69030
c lw 69031
c lw 69032
c lw 69033
c lw 69034
c lw 69035
c lw 69036
c lw 69037
c lw 69038
c lw 69039
c lw 69040
c lw 69041
c lw 69042
c lw 69043
c lw 69044
c lw 69045
c lw 69046
c lw 69047
c lw 69048
c lw 69049
c lw 69061
c lw 69062
c lw 69063
c lw 69064
c lw 69065
c lw 69066
Killed
1807.449u 12.325s 30:19.88 99.9%	0+0k 0+0io 0pf+0w