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_90_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 268
c lw 1335
c lw 2402
c lw 2950
c lw 3469
c lw 4300
c lw 4536
c lw 5327
c lw 6102
c lw 6118
c lw 6430
c lw 6909
c lw 7862
c lw 8833
c lw 9061
c lw 10260
c lw 10837
c lw 11459
c lw 12446
c lw 12658
c lw 13206
c lw 13235
c lw 13797
c lw 14864
c lw 15716
c lw 15931
c lw 16508
c lw 16998
c lw 17575
c lw 17793
c lw 18524
c lw 18530
c lw 19473
c lw 19479
c lw 19822
c lw 20428
c lw 21415
c lw 22174
c lw 22402
c lw 23192
c lw 23982
c lw 25284
c lw 25796
c lw 26308
c lw 27098
c lw 27549
c lw 27553
c lw 28029
c lw 28058
c lw 28363
c lw 29194
c lw 30025
c lw 30156
c lw 30193
c lw 30799
c lw 31442
c lw 32395
c lw 32508
c lw 32568
c lw 32708
c lw 32940
c lw 33053
c lw 33731
c lw 33820
c lw 34076
c lw 34378
c lw 34552
c lw 34695
c lw 34700
c lw 34797
c lw 34960
c lw 35119
c lw 35124
c lw 35267
c lw 35441
c lw 35743
c lw 35832
c lw 35874
c lw 35892
c lw 36019
c lw 36132
c lw 36601
c lw 36693
c lw 36911
c lw 37008
c lw 37167
c lw 37264
c lw 37269
c lw 37310
c lw 37326
c lw 37369
c lw 37571
c lw 37613
c lw 37789
c lw 38094
c lw 38273
c lw 38310
c lw 38395
c lw 38603
c lw 38777
c lw 39093
c lw 39405
c lw 39498
c lw 39726
c lw 40093
c lw 40257
c lw 40561
c lw 40565
c lw 40638
c lw 40725
c lw 40838
c lw 40856
c lw 40965
c lw 40987
c lw 41045
c lw 41484
c lw 41490
c lw 41609
c lw 42022
c lw 42090
c lw 42559
c lw 42576
c lw 42764
c lw 42880
c lw 43092
c lw 43254
c lw 43260
c lw 43330
c lw 43546
c lw 43558
c lw 43616
c lw 44193
c lw 44252
c lw 44361
c lw 44679
c lw 44915
c lw 45024
c lw 45055
c lw 45084
c lw 45095
c lw 45128
c lw 45387
c lw 45442
c lw 45690
c lw 45900
c lw 45906
c lw 46369
c lw 46656
c lw 46685
c lw 46736
c lw 46896
c lw 46913
c lw 46929
c lw 46988
c lw 47021
c lw 47059
c lw 47147
c lw 47219
c lw 47316
c lw 47332
c lw 47336
c lw 47365
c lw 47432
c lw 47454
c lw 47458
c lw 47529
c lw 47593
c lw 47655
c lw 47706
c lw 47713
c lw 47764
c lw 47871
c lw 47878
c lw 47922
c lw 47929
c lw 47935
c lw 47940
c lw 47947
c lw 47953
c lw 47982
c lw 47984
c lw 47998
c lw 47999
c lw 48023
c lw 48029
c lw 48034
c lw 48045
c lw 48067
c lw 48087
c lw 48088
c lw 48092
c lw 48098
c lw 48103
c lw 48106
c lw 48119
c lw 48132
c lw 48165
c lw 48178
c lw 48211
c lw 48212
c lw 48215
c lw 48216
c lw 48223
c lw 48235
c lw 48236
c lw 48244
c lw 48273
c lw 48274
c lw 48275
c lw 48289
c lw 48290
c lw 48291
c lw 48293
c lw 48294
c lw 48300
c lw 48302
c lw 48324
c lw 48330
c lw 48336
c lw 48346
c lw 48351
c lw 48354
c lw 48355
c lw 48364
c lw 48368
c lw 48369
c lw 48389
c lw 48398
c lw 48401
c lw 48424
c lw 48433
c lw 48434
c lw 48436
c lw 48438
c lw 48439
c lw 48441
c lw 48442
c lw 48443
c lw 48444
c lw 48447
c lw 48451
c lw 48454
c lw 48455
c lw 48456
c lw 48457
c lw 48459
c lw 48460
c lw 48461
c lw 48462
c lw 48463
c lw 48465
c lw 48466
c lw 48467
c lw 48468
c lw 48469
c lw 48470
c lw 48476
c lw 48498
c lw 48509
c lw 48510
c lw 48514
c lw 48517
c lw 48518
c lw 48519
c lw 48520
c lw 48521
c lw 48572
c lw 48576
c lw 48580
c lw 48585
c lw 48591
c lw 48592
c lw 48593
c lw 48594
c lw 48595
c lw 48596
c lw 48599
c lw 48600
c lw 48601
c lw 48602
c lw 48603
c lw 48604
c lw 48605
c lw 48607
c lw 48612
c lw 48614
c lw 48615
c lw 48616
c lw 48623
c lw 48624
c lw 48625
c lw 48626
c lw 48628
c lw 48632
c lw 48633
c lw 48634
c lw 48635
c lw 48636
c lw 48637
c lw 48697
c lw 48702
c lw 48710
c lw 48711
c lw 48712
c lw 48716
c lw 48717
c lw 48719
c lw 48722
c lw 48724
c lw 48725
c lw 48726
c lw 48727
c lw 48728
c lw 48729
c lw 48730
c lw 48731
c lw 48732
c lw 48733
c lw 48734
c lw 48735
c lw 48736
c lw 48737
c lw 48738
c lw 48739
c lw 48740
c lw 48741
c lw 48742
c lw 48743
c lw 48744
c lw 48745
c lw 48746
c lw 48747
c lw 48748
c lw 48749
c lw 48750
c lw 48751
c lw 48752
c lw 48753
c lw 48754
c lw 48755
c lw 48756
c lw 48757
c lw 48758
c lw 48782
c lw 48783
c lw 48789
c lw 48793
c lw 48796
c lw 48798
c lw 48806
c lw 48894
c lw 48918
c lw 48924
c lw 48934
c lw 48935
c lw 48936
c lw 48938
c lw 48939
c lw 48940
c lw 48941
c lw 48942
c lw 48947
c lw 48948
c lw 48949
c lw 48950
c lw 48951
c lw 48952
c lw 48960
c lw 48961
c lw 48962
c lw 48966
c lw 48967
c lw 48968
c lw 48969
c lw 48972
c lw 48973
c lw 48974
c lw 48975
c lw 48976
c lw 48977
c lw 48978
c lw 48979
c lw 48980
c lw 48981
c lw 48982
c lw 48983
c lw 48984
c lw 48985
c lw 48986
c lw 48987
c lw 48988
c lw 48989
c lw 48990
c lw 48991
c lw 48992
c lw 48993
c lw 48994
c lw 48995
c lw 48996
c lw 48997
c lw 48998
c lw 48999
c lw 49001
c lw 49002
c lw 49003
c lw 49004
c lw 49005
c lw 49006
c lw 49007
c lw 49008
c lw 49009
c lw 49010
c lw 49011
c lw 49012
c lw 49013
c lw 49014
c lw 49015
c lw 49016
c lw 49017
c lw 49018
c lw 49019
c lw 49038
c lw 49039
c lw 49040
c lw 49041
c lw 49042
c lw 49043
c lw 49044
c lw 49045
c lw 49047
c lw 49048
c lw 49049
c lw 49050
c lw 49052
c lw 49053
c lw 49054
c lw 49140
c lw 49141
c lw 49142
c lw 49143
c lw 49144
c lw 49145
c lw 49146
c lw 49147
c lw 49148
c lw 49149
c lw 49150
c lw 49151
c lw 49152
c lw 49153
c lw 49154
c lw 49155
c lw 49182
c lw 49186
c lw 49187
c lw 49188
c lw 49189
c lw 49190
c lw 49191
c lw 49192
c lw 49193
c lw 49194
c lw 49195
c lw 49196
c lw 49197
c lw 49198
c lw 49199
c lw 49200
c lw 49201
c lw 49202
c lw 49203
c lw 49204
c lw 49205
c lw 49206
c lw 49207
c lw 49208
c lw 49209
c lw 49210
c lw 49211
c lw 49212
c lw 49213
c lw 49214
c lw 49215
c lw 49216
c lw 49217
c lw 49218
c lw 49219
c lw 49283
c lw 49331
c lw 49334
c lw 49335
c lw 49336
c lw 49337
c lw 49338
c lw 49339
c lw 49340
c lw 49341
c lw 49342
c lw 49343
c lw 49344
c lw 49345
c lw 49346
c lw 49347
c lw 49348
c lw 49349
c lw 49357
c lw 49358
c lw 49359
c lw 49360
c lw 49361
c lw 49362
c lw 49365
c lw 49366
c lw 49370
c lw 49371
c lw 49372
c lw 49373
c lw 49374
c lw 49375
c lw 49376
c lw 49377
c lw 49378
c lw 49379
c lw 49380
c lw 49381
c lw 49387
c lw 49388
c lw 49393
c lw 49398
c lw 49399
c lw 49400
c lw 49402
c lw 49404
c lw 49415
c lw 49416
c lw 49417
c lw 49421
c lw 49425
c lw 49426
c lw 49429
c lw 49430
c lw 49431
c lw 49432
c lw 49433
c lw 49434
c lw 49435
c lw 49436
c lw 49437
c lw 49438
c lw 49439
c lw 49440
c lw 49441
c lw 49442
c lw 49443
c lw 49444
c lw 49445
c lw 49446
c lw 49447
c lw 49448
c lw 49449
c lw 49450
c lw 49451
c lw 49452
c lw 49453
c lw 49454
c lw 49455
c lw 49456
c lw 49457
c lw 49458
c lw 49459
c lw 49460
c lw 49461
c lw 49465
c lw 49466
c lw 49467
c lw 49468
c lw 49469
c lw 49470
c lw 49471
c lw 49472
c lw 49473
c lw 49474
c lw 49475
c lw 49476
c lw 49483
c lw 49484
c lw 49485
c lw 49486
c lw 49487
c lw 49488
c lw 49489
c lw 49490
c lw 49491
c lw 49492
c lw 49493
c lw 49494
c lw 49495
c lw 49496
c lw 49497
c lw 49498
c lw 49499
c lw 49500
c lw 49501
c lw 49502
c lw 49503
c lw 49504
c lw 49505
c lw 49506
c lw 49507
c lw 49508
c lw 49509
c lw 49510
c lw 49511
c lw 49512
c lw 49513
c lw 49514
c lw 49515
c lw 49516
c lw 49517
c lw 49518
c lw 49519
c lw 49520
c lw 49521
c lw 49522
c lw 49523
c lw 49524
c lw 49525
c lw 49526
c lw 49527
c lw 49528
c lw 49529
c lw 49530
c lw 49531
c lw 49532
c lw 49535
c lw 49563
c lw 49564
c lw 49565
c lw 49566
c lw 49567
c lw 49572
c lw 49573
c lw 49574
c lw 49575
c lw 49576
c lw 49577
c lw 49578
c lw 49579
c lw 49580
c lw 49581
c lw 49582
c lw 49583
c lw 49584
c lw 49585
c lw 49586
c lw 49587
c lw 49588
c lw 49589
c lw 49590
c lw 49591
c lw 49592
c lw 49593
c lw 49594
c lw 49597
c lw 49598
c lw 49599
c lw 49600
c lw 49601
c lw 49602
c lw 49603
c lw 49604
c lw 49605
c lw 49606
c lw 49607
c lw 49608
c lw 49609
c lw 49610
c lw 49611
c lw 49612
c lw 49613
c lw 49614
c lw 49615
c lw 49679
c lw 49689
c lw 49720
c lw 49721
c lw 49722
c lw 49723
c lw 49724
c lw 49725
c lw 49726
c lw 49727
c lw 49738
c lw 49749
c lw 49750
c lw 49751
c lw 49752
c lw 49778
c lw 49779
c lw 49784
c lw 49785
c lw 49786
c lw 49788
c lw 49789
c lw 49790
c lw 49791
c lw 49794
c lw 49795
c lw 49796
c lw 49797
c lw 49801
c lw 49804
c lw 49805
c lw 49806
c lw 49807
c lw 49808
c lw 49809
c lw 49810
c lw 49814
c lw 49815
c lw 49816
c lw 49817
c lw 49818
c lw 49819
c lw 49820
c lw 49821
c lw 49822
c lw 49823
c lw 49824
c lw 49825
c lw 49826
c lw 49827
c lw 49828
c lw 49829
c lw 49830
c lw 49831
c lw 49832
c lw 49833
c lw 49834
c lw 49842
c lw 49843
c lw 49844
c lw 49845
c lw 49867
c lw 49868
c lw 49869
c lw 49870
c lw 49871
c lw 49872
c lw 49873
c lw 49874
c lw 49875
c lw 49876
c lw 49877
c lw 49878
c lw 49879
c lw 49880
c lw 49881
c lw 49891
c lw 49892
c lw 49912
c lw 49913
c lw 49914
c lw 49915
c lw 49916
c lw 49917
c lw 49918
c lw 49919
c lw 49927
c lw 49928
c lw 49929
c lw 49930
c lw 49931
c lw 49932
c lw 49933
c lw 49934
c lw 49935
c lw 49936
c lw 49937
c lw 49938
c lw 49939
c lw 49940
c lw 49942
c lw 49943
c lw 49945
c lw 49948
c lw 49949
c lw 49950
c lw 49951
c lw 49952
c lw 49953
c lw 49954
c lw 49955
c lw 49956
c lw 49957
c lw 49958
c lw 49959
c lw 49960
c lw 49961
c lw 49962
c lw 49963
c lw 49964
c lw 49965
c lw 49966
c lw 49967
c lw 49968
c lw 49969
c lw 49973
c lw 49976
c lw 49978
c lw 49979
c lw 49980
c lw 49981
c lw 49982
c lw 49983
c lw 49984
c lw 49985
c lw 49986
c lw 49987
c lw 49988
c lw 49990
c lw 49991
c lw 49992
c lw 49993
c lw 49994
c lw 49995
c lw 49996
c lw 49997
c lw 49998
c lw 49999
c lw 50000
c lw 50001
c lw 50003
c lw 50004
c lw 50009
c lw 50010
c lw 50011
c lw 50012
c lw 50013
c lw 50014
c lw 50015
c lw 50016
c lw 50017
c lw 50018
c lw 50019
c lw 50020
c lw 50021
c lw 50022
c lw 50023
c lw 50024
c lw 50025
c lw 50026
c lw 50027
c lw 50028
c lw 50071
c lw 50072
c lw 50073
c lw 50074
c lw 50075
c lw 50076
c lw 50077
c lw 50078
c lw 50079
c lw 50080
c lw 50081
c lw 50082
c lw 50083
c lw 50084
c lw 50085
c lw 50086
Killed
1811.038u 8.722s 30:23.81 99.7%	0+0k 0+0io 0pf+0w