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_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_90_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 392
c lw 1575
c lw 2309
c lw 2758
c lw 2873
c lw 3579
c lw 4285
c lw 4991
c lw 5736
c lw 6246
c lw 6444
c lw 6609
c lw 7009
c lw 7459
c lw 8109
c lw 8451
c lw 8863
c lw 9499
c lw 9617
c lw 10585
c lw 11337
c lw 11553
c lw 11946
c lw 12417
c lw 12658
c lw 12950
c lw 13788
c lw 14755
c lw 15722
c lw 16689
c lw 17892
c lw 19095
c lw 19875
c lw 20298
c lw 21404
c lw 21440
c lw 22061
c lw 22546
c lw 22896
c lw 22981
c lw 23021
c lw 23812
c lw 23921
c lw 24771
c lw 24819
c lw 25671
c lw 25826
c lw 26002
c lw 26245
c lw 27037
c lw 27132
c lw 27252
c lw 27470
c lw 27820
c lw 27914
c lw 28600
c lw 28694
c lw 28957
c lw 30005
c lw 30109
c lw 31157
c lw 31261
c lw 31824
c lw 32558
c lw 33119
c lw 33360
c lw 33393
c lw 33921
c lw 34792
c lw 34921
c lw 35214
c lw 35561
c lw 35665
c lw 36046
c lw 36222
c lw 36829
c lw 36914
c lw 37264
c lw 37330
c lw 37438
c lw 37474
c lw 37766
c lw 37884
c lw 38014
c lw 38017
c lw 38175
c lw 38285
c lw 38304
c lw 38468
c lw 38572
c lw 38575
c lw 38601
c lw 38649
c lw 38727
c lw 38906
c lw 39021
c lw 39064
c lw 39167
c lw 39313
c lw 39349
c lw 39382
c lw 39408
c lw 39592
c lw 39632
c lw 39686
c lw 39795
c lw 39834
c lw 39881
c lw 39960
c lw 40397
c lw 40409
c lw 41059
c lw 41220
c lw 41521
c lw 41737
c lw 41810
c lw 41928
c lw 42309
c lw 42413
c lw 42446
c lw 42477
c lw 42819
c lw 42858
c lw 42927
c lw 43190
c lw 43384
c lw 43581
c lw 43898
c lw 43952
c lw 44117
c lw 44188
c lw 44195
c lw 44364
c lw 44472
c lw 44526
c lw 45263
c lw 45295
c lw 45338
c lw 45357
c lw 45489
c lw 45508
c lw 46141
c lw 46201
c lw 46321
c lw 46387
c lw 46428
c lw 46453
c lw 46472
c lw 46479
c lw 46501
c lw 46520
c lw 46523
c lw 46702
c lw 46866
c lw 46885
c lw 46941
c lw 46967
c lw 46977
c lw 47025
c lw 47055
c lw 47080
c lw 47098
c lw 47110
c lw 47189
c lw 47214
c lw 47228
c lw 47247
c lw 47275
c lw 47294
c lw 47318
c lw 47349
c lw 47426
c lw 47429
c lw 47432
c lw 47626
c lw 47658
c lw 47661
c lw 47664
c lw 47734
c lw 47741
c lw 47763
c lw 47780
c lw 47799
c lw 47809
c lw 47863
c lw 47903
c lw 47932
c lw 47936
c lw 47951
c lw 47964
c lw 47971
c lw 47986
c lw 48024
c lw 48040
c lw 48071
c lw 48074
c lw 48078
c lw 48090
c lw 48095
c lw 48099
c lw 48102
c lw 48112
c lw 48146
c lw 48157
c lw 48176
c lw 48179
c lw 48182
c lw 48183
c lw 48186
c lw 48195
c lw 48199
c lw 48224
c lw 48225
c lw 48228
c lw 48229
c lw 48255
c lw 48302
c lw 48303
c lw 48309
c lw 48313
c lw 48346
c lw 48347
c lw 48349
c lw 48371
c lw 48372
c lw 48374
c lw 48375
c lw 48377
c lw 48378
c lw 48380
c lw 48381
c lw 48389
c lw 48412
c lw 48413
c lw 48414
c lw 48426
c lw 48576
c lw 48579
c lw 48580
c lw 48629
c lw 48677
c lw 48678
c lw 48679
c lw 48680
c lw 48681
c lw 48684
c lw 48687
c lw 48690
c lw 48691
c lw 48692
c lw 48716
c lw 48721
c lw 48722
c lw 48723
c lw 48724
c lw 48728
c lw 48729
c lw 48730
c lw 48731
c lw 48733
c lw 48735
c lw 48738
c lw 48746
c lw 48748
c lw 48776
c lw 48777
c lw 48778
c lw 48779
c lw 48780
c lw 48781
c lw 48782
c lw 48783
c lw 48784
c lw 48785
c lw 48786
c lw 48787
c lw 48788
c lw 48789
c lw 48838
c lw 48839
c lw 48840
c lw 48841
c lw 48842
c lw 48843
c lw 48844
c lw 48845
c lw 48846
c lw 48847
c lw 48848
c lw 48849
c lw 48850
c lw 48851
c lw 48852
c lw 48853
c lw 48854
c lw 48855
c lw 48857
c lw 48858
c lw 48894
c lw 48895
c lw 48896
c lw 48897
c lw 48898
c lw 48899
c lw 48900
c lw 48901
c lw 48902
c lw 48903
c lw 48904
c lw 48905
c lw 48906
c lw 48909
c lw 48910
c lw 48911
c lw 48912
c lw 48913
c lw 48914
c lw 48915
c lw 48916
c lw 48917
c lw 48918
c lw 48919
c lw 48920
c lw 48921
c lw 48923
c lw 48924
c lw 48925
c lw 48926
c lw 48927
c lw 48928
c lw 48929
c lw 48930
c lw 48931
c lw 48932
c lw 48933
c lw 48934
c lw 48935
c lw 48936
c lw 48949
c lw 48953
c lw 48961
c lw 48964
c lw 48965
c lw 48971
c lw 48974
c lw 48979
c lw 48985
c lw 48986
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 49000
c lw 49001
c lw 49007
c lw 49031
c lw 49034
c lw 49035
c lw 49037
c lw 49038
c lw 49057
c lw 49075
c lw 49079
c lw 49090
c lw 49091
c lw 49093
c lw 49215
c lw 49216
c lw 49217
c lw 49218
c lw 49219
c lw 49220
c lw 49222
c lw 49223
c lw 49224
c lw 49225
c lw 49226
c lw 49265
c lw 49269
c lw 49288
c lw 49291
c lw 49292
c lw 49293
c lw 49294
c lw 49295
c lw 49296
c lw 49297
c lw 49298
c lw 49299
c lw 49300
c lw 49302
c lw 49303
c lw 49304
c lw 49305
c lw 49306
c lw 49307
c lw 49308
c lw 49309
c lw 49311
c lw 49312
c lw 49313
c lw 49314
c lw 49315
c lw 49316
c lw 49317
c lw 49318
c lw 49319
c lw 49320
c lw 49321
c lw 49323
c lw 49324
c lw 49325
c lw 49326
c lw 49327
c lw 49328
c lw 49329
c lw 49330
c lw 49359
c lw 49360
c lw 49362
c lw 49363
c lw 49364
c lw 49365
c lw 49366
c lw 49367
c lw 49368
c lw 49369
c lw 49370
c lw 49371
c lw 49372
c lw 49373
c lw 49374
c lw 49375
c lw 49377
c lw 49378
c lw 49379
c lw 49380
c lw 49381
c lw 49382
c lw 49383
c lw 49384
c lw 49385
c lw 49386
c lw 49387
c lw 49389
c lw 49390
c lw 49391
c lw 49392
c lw 49393
c lw 49394
c lw 49395
c lw 49396
c lw 49397
c lw 49402
c lw 49403
c lw 49404
c lw 49405
c lw 49406
c lw 49407
c lw 49408
c lw 49409
c lw 49410
c lw 49412
c lw 49413
c lw 49414
c lw 49415
c lw 49416
c lw 49418
c lw 49419
c lw 49420
c lw 49421
c lw 49422
c lw 49423
c lw 49424
c lw 49425
c lw 49426
c lw 49427
c lw 49430
c lw 49431
c lw 49432
c lw 49433
c lw 49434
c lw 49435
c lw 49436
c lw 49440
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 49462
c lw 49463
c lw 49464
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 49477
c lw 49478
c lw 49479
c lw 49480
c lw 49481
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 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 49533
c lw 49534
c lw 49535
c lw 49536
c lw 49537
c lw 49538
c lw 49559
c lw 49560
c lw 49561
c lw 49610
c lw 49611
c lw 49612
c lw 49613
c lw 49614
c lw 49615
c lw 49616
c lw 49617
c lw 49618
c lw 49619
c lw 49620
c lw 49621
c lw 49622
c lw 49624
c lw 49625
c lw 49626
c lw 49628
c lw 49629
c lw 49632
c lw 49634
c lw 49635
c lw 49636
c lw 49637
c lw 49665
c lw 49666
c lw 49667
c lw 49668
c lw 49669
c lw 49670
c lw 49671
c lw 49672
c lw 49673
c lw 49674
c lw 49675
c lw 49676
c lw 49677
c lw 49678
c lw 49679
c lw 49680
c lw 49681
c lw 49682
c lw 49683
c lw 49684
c lw 49685
c lw 49686
c lw 49687
c lw 49688
c lw 49689
c lw 49690
c lw 49691
c lw 49694
c lw 49702
c lw 49703
c lw 49704
c lw 49705
c lw 49706
c lw 49707
c lw 49708
c lw 49709
c lw 49710
c lw 49711
c lw 49712
c lw 49713
c lw 49714
c lw 49715
c lw 49716
c lw 49717
c lw 49718
c lw 49719
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 49728
c lw 49729
c lw 49730
c lw 49731
c lw 49732
c lw 49733
c lw 49734
c lw 49735
c lw 49736
c lw 49737
c lw 49738
c lw 49739
c lw 49740
c lw 49741
c lw 49742
c lw 49743
c lw 49744
c lw 49745
c lw 49746
c lw 49747
c lw 49748
c lw 49749
c lw 49750
c lw 49751
c lw 49752
c lw 49753
c lw 49754
c lw 49755
c lw 49756
c lw 49757
c lw 49758
c lw 49759
c lw 49760
c lw 49761
c lw 49762
c lw 49763
c lw 49764
c lw 49765
c lw 49766
c lw 49767
c lw 49768
c lw 49769
c lw 49770
c lw 49771
c lw 49772
c lw 49773
c lw 49774
c lw 49775
c lw 49776
c lw 49777
c lw 49778
c lw 49779
c lw 49780
c lw 49781
c lw 49787
c lw 49788
c lw 49789
c lw 49790
c lw 49791
c lw 49792
c lw 49793
c lw 49794
c lw 49795
c lw 49796
c lw 49797
c lw 49798
c lw 49799
c lw 49800
c lw 49801
c lw 49802
c lw 49804
c lw 49805
c lw 49806
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 49835
c lw 49836
c lw 49837
c lw 49838
c lw 49841
c lw 49842
c lw 49843
c lw 49844
c lw 49845
c lw 49846
c lw 49847
c lw 49848
c lw 49849
c lw 49850
c lw 49851
c lw 49852
c lw 49853
c lw 49854
c lw 49855
c lw 49856
c lw 49857
c lw 49858
c lw 49859
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 49882
c lw 49883
c lw 49884
c lw 49885
c lw 49886
c lw 49887
c lw 49888
c lw 49889
c lw 49890
c lw 49891
c lw 49892
c lw 49893
c lw 49990
c lw 50169
c lw 50170
c lw 50176
c lw 50177
c lw 50178
c lw 50179
c lw 50180
c lw 50181
c lw 50182
c lw 50183
c lw 50184
c lw 50186
c lw 50187
c lw 50205
c lw 50208
c lw 50225
c lw 50226
c lw 50227
c lw 50228
c lw 50229
c lw 50230
c lw 50231
c lw 50232
c lw 50233
c lw 50234
c lw 50235
c lw 50236
Killed
1812.204u 7.565s 30:23.50 99.7%	0+0k 0+0io 0pf+0w