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_140_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 703
c lw 1363
c lw 1674
c lw 2511
c lw 2728
c lw 3069
c lw 4014
c lw 4959
c lw 5904
c lw 6201
c lw 6228
c lw 6432
c lw 6672
c lw 7314
c lw 8297
c lw 8320
c lw 9326
c lw 10305
c lw 10332
c lw 11204
c lw 12076
c lw 12133
c lw 12642
c lw 13140
c lw 13257
c lw 14059
c lw 14861
c lw 15968
c lw 17075
c lw 18182
c lw 19090
c lw 19101
c lw 19998
c lw 20762
c lw 21747
c lw 22495
c lw 22966
c lw 23243
c lw 23991
c lw 24556
c lw 24739
c lw 24749
c lw 24903
c lw 25046
c lw 25414
c lw 25550
c lw 26535
c lw 26671
c lw 27654
c lw 27792
c lw 28695
c lw 29598
c lw 29969
c lw 30184
c lw 30501
c lw 30597
c lw 31193
c lw 31439
c lw 32025
c lw 32898
c lw 33078
c lw 33791
c lw 34504
c lw 34620
c lw 35217
c lw 35684
c lw 36582
c lw 37169
c lw 37240
c lw 37322
c lw 37638
c lw 38031
c lw 38101
c lw 38303
c lw 39470
c lw 39835
c lw 40420
c lw 41028
c lw 41219
c lw 41454
c lw 41892
c lw 42330
c lw 42403
c lw 42768
c lw 43640
c lw 44057
c lw 44248
c lw 44595
c lw 44856
c lw 45229
c lw 45399
c lw 45817
c lw 46526
c lw 46916
c lw 47342
c lw 47876
c lw 48473
c lw 48835
c lw 48869
c lw 48940
c lw 49457
c lw 50000
c lw 50026
c lw 50265
c lw 50808
c lw 51077
c lw 51387
c lw 51570
c lw 51765
c lw 51887
c lw 52004
c lw 52314
c lw 52377
c lw 52742
c lw 52815
c lw 53160
c lw 53406
c lw 53663
c lw 53690
c lw 53816
c lw 53958
c lw 54118
c lw 54216
c lw 54387
c lw 54587
c lw 54723
c lw 55113
c lw 55130
c lw 55300
c lw 55326
c lw 55396
c lw 55430
c lw 55647
c lw 55658
c lw 55685
c lw 55718
c lw 55741
c lw 55758
c lw 55773
c lw 55911
c lw 56144
c lw 56205
c lw 56226
c lw 56417
c lw 56552
c lw 56743
c lw 56974
c lw 57044
c lw 57115
c lw 57466
c lw 57491
c lw 57538
c lw 57681
c lw 57956
c lw 58123
c lw 58293
c lw 58528
c lw 58579
c lw 58625
c lw 59188
c lw 59370
c lw 59371
c lw 59382
c lw 59633
c lw 59791
c lw 60134
c lw 60138
c lw 60411
c lw 60507
c lw 60623
c lw 60730
c lw 60876
c lw 60882
c lw 61488
c lw 61595
c lw 61642
c lw 61728
c lw 61759
c lw 62138
c lw 62490
c lw 62625
c lw 62688
c lw 62698
c lw 62741
c lw 62798
c lw 62978
c lw 63063
c lw 63101
c lw 63228
c lw 63681
c lw 63780
c lw 64347
c lw 64384
c lw 64394
c lw 64588
c lw 64644
c lw 64885
c lw 64933
c lw 64938
c lw 65069
c lw 65249
c lw 65373
c lw 65556
c lw 66356
c lw 66537
c lw 66726
c lw 66780
c lw 67026
c lw 67390
c lw 67449
c lw 67566
c lw 67571
c lw 67629
c lw 67727
c lw 67745
c lw 67761
c lw 67766
c lw 67892
c lw 68081
c lw 68108
c lw 68139
c lw 68171
c lw 68181
c lw 68243
c lw 68379
c lw 68396
c lw 68481
c lw 68647
c lw 68652
c lw 68678
c lw 68686
c lw 68697
c lw 68722
c lw 68724
c lw 68730
c lw 68747
c lw 68753
c lw 68774
c lw 68927
c lw 68943
c lw 68952
c lw 68990
c lw 68998
c lw 69025
c lw 69044
c lw 69168
c lw 69183
c lw 69245
c lw 69255
c lw 69292
c lw 69302
c lw 69306
c lw 69311
c lw 69409
c lw 69437
c lw 69443
c lw 69478
c lw 69487
c lw 69499
c lw 69500
c lw 69508
c lw 69520
c lw 69523
c lw 69576
c lw 69601
c lw 69619
c lw 69632
c lw 69634
c lw 69661
c lw 69678
c lw 69702
c lw 69720
c lw 69722
c lw 69728
c lw 69729
c lw 69731
c lw 69733
c lw 69735
c lw 69738
c lw 69741
c lw 69744
c lw 69746
c lw 69790
c lw 69803
c lw 69811
c lw 69822
c lw 69829
c lw 69873
c lw 69877
c lw 69878
c lw 69879
c lw 69883
c lw 69902
c lw 69904
c lw 69907
c lw 69913
c lw 69917
c lw 69945
c lw 69946
c lw 69950
c lw 69954
c lw 69960
c lw 69963
c lw 69980
c lw 69988
c lw 69989
c lw 70008
c lw 70039
c lw 70041
c lw 70052
c lw 70053
c lw 70054
c lw 70058
c lw 70063
c lw 70090
c lw 70103
c lw 70108
c lw 70110
c lw 70112
c lw 70119
c lw 70168
c lw 70170
c lw 70210
c lw 70216
c lw 70305
c lw 70306
c lw 70476
c lw 70481
c lw 70483
c lw 70489
c lw 70491
c lw 70492
c lw 70497
c lw 70500
c lw 70506
c lw 70510
c lw 70529
c lw 70530
c lw 70531
c lw 70532
c lw 70533
c lw 70535
c lw 70536
c lw 70546
c lw 70565
c lw 70577
c lw 70578
c lw 70580
c lw 70581
c lw 70582
c lw 70583
c lw 70585
c lw 70586
c lw 70587
c lw 70588
c lw 70589
c lw 70590
c lw 70596
c lw 70597
c lw 70598
c lw 70599
c lw 70603
c lw 70604
c lw 70621
c lw 70631
c lw 70660
c lw 70667
c lw 70672
c lw 70677
c lw 70678
c lw 70679
c lw 70718
c lw 70719
c lw 70720
c lw 70721
c lw 70722
c lw 70723
c lw 70724
c lw 70725
c lw 70737
c lw 70743
c lw 70749
c lw 70750
c lw 70751
c lw 70756
c lw 70757
c lw 70760
c lw 70766
c lw 70769
c lw 70771
c lw 70792
c lw 70881
c lw 70885
c lw 70893
c lw 70894
c lw 70897
c lw 70899
c lw 70900
c lw 70904
c lw 70968
c lw 70969
c lw 70970
c lw 70972
c lw 70973
c lw 70974
c lw 70975
c lw 70976
c lw 70977
c lw 70978
c lw 70979
c lw 70980
c lw 70981
c lw 70982
c lw 70983
c lw 70988
c lw 70992
c lw 70993
c lw 71016
c lw 71017
c lw 71018
c lw 71019
c lw 71020
c lw 71021
c lw 71022
c lw 71023
c lw 71024
c lw 71025
c lw 71026
c lw 71027
c lw 71028
c lw 71029
c lw 71033
c lw 71036
c lw 71037
c lw 71038
c lw 71039
c lw 71040
c lw 71041
c lw 71042
c lw 71043
c lw 71044
c lw 71045
c lw 71046
c lw 71049
c lw 71052
c lw 71053
c lw 71054
c lw 71055
c lw 71056
c lw 71072
c lw 71073
c lw 71089
c lw 71090
c lw 71097
c lw 71104
c lw 71106
c lw 71107
c lw 71108
c lw 71109
c lw 71111
c lw 71113
c lw 71114
c lw 71116
c lw 71117
c lw 71118
c lw 71119
c lw 71120
c lw 71121
c lw 71122
c lw 71123
c lw 71124
c lw 71125
c lw 71126
c lw 71127
c lw 71128
c lw 71129
c lw 71133
c lw 71160
c lw 71174
c lw 71175
c lw 71182
c lw 71189
c lw 71190
c lw 71198
c lw 71199
c lw 71200
c lw 71201
c lw 71202
c lw 71203
c lw 71204
c lw 71205
c lw 71206
c lw 71207
c lw 71208
c lw 71209
c lw 71210
c lw 71211
c lw 71212
c lw 71213
c lw 71214
c lw 71215
c lw 71216
c lw 71243
c lw 71244
c lw 71245
c lw 71246
c lw 71247
c lw 71249
c lw 71250
c lw 71251
c lw 71252
c lw 71253
c lw 71254
c lw 71255
c lw 71256
c lw 71257
c lw 71258
c lw 71259
c lw 71260
c lw 71261
c lw 71264
c lw 71267
c lw 71268
c lw 71269
c lw 71274
c lw 71275
c lw 71283
c lw 71284
c lw 71301
c lw 71304
c lw 71310
c lw 71311
c lw 71312
c lw 71314
c lw 71315
c lw 71316
c lw 71318
c lw 71319
c lw 71320
c lw 71327
c lw 71332
c lw 71333
c lw 71334
c lw 71335
c lw 71336
c lw 71337
c lw 71338
c lw 71339
c lw 71340
c lw 71341
c lw 71342
c lw 71343
c lw 71347
c lw 71348
c lw 71349
c lw 71350
c lw 71351
c lw 71352
c lw 71353
c lw 71354
c lw 71355
c lw 71356
c lw 71357
c lw 71358
c lw 71359
c lw 71360
c lw 71361
c lw 71363
c lw 71364
c lw 71365
c lw 71366
c lw 71367
c lw 71370
c lw 71371
c lw 71372
c lw 71373
c lw 71374
c lw 71375
c lw 71376
c lw 71377
c lw 71378
c lw 71379
c lw 71380
c lw 71381
c lw 71382
c lw 71383
c lw 71384
c lw 71385
c lw 71386
c lw 71387
c lw 71388
c lw 71389
c lw 71392
c lw 71398
c lw 71419
c lw 71420
c lw 71421
c lw 71424
c lw 71428
c lw 71429
c lw 71430
c lw 71431
c lw 71432
c lw 71433
c lw 71434
c lw 71435
c lw 71436
c lw 71437
c lw 71439
c lw 71444
c lw 71445
c lw 71448
c lw 71449
c lw 71453
c lw 71454
c lw 71455
c lw 71456
c lw 71457
c lw 71458
c lw 71472
c lw 71473
c lw 71474
c lw 71475
c lw 71476
c lw 71477
c lw 71478
c lw 71479
c lw 71480
c lw 71481
c lw 71483
c lw 71484
c lw 71485
c lw 71488
c lw 71490
c lw 71500
c lw 71501
c lw 71502
c lw 71503
c lw 71504
c lw 71505
c lw 71506
c lw 71513
c lw 71514
c lw 71515
c lw 71516
c lw 71517
c lw 71518
c lw 71519
c lw 71520
c lw 71521
c lw 71522
c lw 71523
c lw 71524
c lw 71525
c lw 71526
c lw 71527
c lw 71528
c lw 71529
c lw 71530
c lw 71531
c lw 71532
c lw 71533
c lw 71534
c lw 71535
c lw 71536
c lw 71537
c lw 71538
c lw 71539
c lw 71540
c lw 71541
c lw 71542
c lw 71543
c lw 71550
c lw 71551
c lw 71552
c lw 71553
c lw 71554
c lw 71555
c lw 71556
c lw 71557
c lw 71558
c lw 71559
c lw 71560
c lw 71561
c lw 71562
c lw 71563
c lw 71564
c lw 71565
c lw 71566
c lw 71567
c lw 71568
c lw 71569
c lw 71571
c lw 71572
c lw 71573
c lw 71575
c lw 71576
c lw 71579
c lw 71580
c lw 71581
c lw 71582
c lw 71583
c lw 71584
c lw 71585
c lw 71586
c lw 71587
c lw 71588
c lw 71589
c lw 71590
c lw 71591
c lw 71592
c lw 71593
c lw 71594
c lw 71595
c lw 71598
c lw 71612
c lw 71613
c lw 71614
c lw 71615
c lw 71616
c lw 71618
c lw 71620
c lw 71621
c lw 71622
c lw 71623
c lw 71641
c lw 71642
c lw 71643
c lw 71644
c lw 71645
c lw 71646
c lw 71647
c lw 71648
c lw 71649
c lw 71650
c lw 71651
c lw 71652
c lw 71653
c lw 71654
c lw 71655
c lw 71656
c lw 71657
c lw 71658
c lw 71659
c lw 71660
c lw 71661
c lw 71662
c lw 71663
c lw 71664
c lw 71665
c lw 71667
c lw 71669
c lw 71670
c lw 71671
c lw 71672
c lw 71676
c lw 71677
c lw 71678
c lw 71679
c lw 71680
c lw 71681
c lw 71682
c lw 71683
c lw 71684
c lw 71685
c lw 71686
c lw 71687
c lw 71688
c lw 71689
c lw 71692
c lw 71697
c lw 71698
c lw 71699
c lw 71700
c lw 71701
c lw 71702
c lw 71703
c lw 71704
c lw 71705
c lw 71706
c lw 71707
c lw 71708
c lw 71709
c lw 71710
c lw 71723
c lw 71724
c lw 71725
c lw 71726
c lw 71727
c lw 71728
c lw 71782
c lw 71783
c lw 71784
c lw 71785
c lw 71786
c lw 71787
c lw 71788
c lw 71789
c lw 71790
c lw 71791
c lw 71792
c lw 71793
c lw 71796
c lw 71797
c lw 71798
c lw 71799
c lw 71800
c lw 71801
c lw 71802
c lw 71803
c lw 71804
c lw 71805
c lw 71806
c lw 71807
c lw 71808
c lw 71809
c lw 71813
c lw 71814
c lw 71815
c lw 71816
c lw 71817
c lw 71818
c lw 71819
c lw 71820
c lw 71821
c lw 71822
c lw 71823
c lw 71824
c lw 71825
c lw 71826
c lw 71827
c lw 71828
c lw 71829
c lw 71830
c lw 71831
c lw 71832
c lw 71833
c lw 71834
c lw 71835
c lw 71836
c lw 71837
c lw 71838
c lw 71839
c lw 71846
c lw 71847
c lw 71848
c lw 71849
c lw 71850
c lw 71851
c lw 71852
c lw 71853
c lw 71854
c lw 71855
c lw 71856
c lw 71857
c lw 71858
c lw 71859
c lw 71860
c lw 71861
c lw 71862
c lw 71863
c lw 71864
c lw 71865
c lw 71866
c lw 71867
c lw 71868
c lw 71869
c lw 71870
c lw 71871
c lw 71872
c lw 71873
c lw 71874
c lw 71875
c lw 71914
c lw 71915
c lw 71916
c lw 71922
c lw 71923
c lw 71924
c lw 71925
c lw 71926
c lw 71927
c lw 71928
c lw 71929
c lw 71930
c lw 71931
c lw 71932
c lw 71933
c lw 71934
c lw 71935
c lw 71936
c lw 71937
c lw 71938
c lw 71939
c lw 71940
c lw 71941
c lw 71942
c lw 71943
c lw 71944
c lw 71945
c lw 71946
c lw 71947
c lw 71948
c lw 71949
c lw 71950
c lw 71951
c lw 71952
c lw 71953
c lw 71954
c lw 71955
c lw 71956
c lw 71957
c lw 71958
c lw 71959
c lw 71960
c lw 71961
c lw 71962
c lw 71963
c lw 71973
c lw 71974
c lw 71975
c lw 71976
c lw 71977
c lw 71978
c lw 71979
c lw 71980
c lw 71981
c lw 71982
c lw 71983
c lw 71984
c lw 71985
c lw 71986
c lw 71987
c lw 71988
c lw 71989
c lw 71997
c lw 71998
c lw 71999
c lw 72000
c lw 72001
c lw 72002
c lw 72003
c lw 72004
c lw 72005
c lw 72006
c lw 72007
c lw 72008
c lw 72015
c lw 72016
c lw 72017
c lw 72020
c lw 72021
c lw 72022
c lw 72023
c lw 72024
c lw 72025
c lw 72026
c lw 72027
c lw 72028
c lw 72029
c lw 72030
c lw 72031
c lw 72032
c lw 72033
c lw 72034
c lw 72035
c lw 72036
c lw 72037
c lw 72038
c lw 72039
c lw 72040
c lw 72041
c lw 72042
c lw 72043
c lw 72044
c lw 72045
c lw 72046
c lw 72047
c lw 72048
c lw 72049
c lw 72050
c lw 72052
c lw 72059
c lw 72060
c lw 72061
c lw 72062
c lw 72063
c lw 72064
c lw 72065
c lw 72066
c lw 72067
c lw 72068
c lw 72069
c lw 72070
c lw 72071
c lw 72072
c lw 72073
c lw 72074
c lw 72075
c lw 72076
c lw 72077
c lw 72078
c lw 72079
c lw 72080
c lw 72081
c lw 72082
c lw 72132
c lw 72133
c lw 72134
c lw 72135
c lw 72136
c lw 72137
c lw 72138
c lw 72139
c lw 72140
c lw 72141
c lw 72142
c lw 72143
c lw 72144
c lw 72145
c lw 72146
c lw 72147
c lw 72148
c lw 72149
c lw 72150
c lw 72161
c lw 72162
c lw 72163
c lw 72164
c lw 72184
c lw 72185
c lw 72186
c lw 72187
c lw 72188
c lw 72189
c lw 72190
c lw 72191
c lw 72192
c lw 72193
c lw 72194
c lw 72195
c lw 72196
c lw 72197
c lw 72198
c lw 72199
c lw 72200
c lw 72201
c lw 72202
Killed
1807.485u 12.275s 30:23.94 99.7%	0+0k 0+0io 0pf+0w