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_80_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 278
c lw 724
c lw 1170
c lw 1568
c lw 1722
c lw 2725
c lw 3548
c lw 3728
c lw 4152
c lw 4576
c lw 4731
c lw 5593
c lw 5734
c lw 6060
c lw 6468
c lw 6571
c lw 6958
c lw 6974
c lw 7049
c lw 7567
c lw 8397
c lw 9227
c lw 9492
c lw 9853
c lw 10057
c lw 10451
c lw 10887
c lw 11658
c lw 11717
c lw 12117
c lw 12159
c lw 12601
c lw 12772
c lw 13264
c lw 13614
c lw 13640
c lw 14667
c lw 15694
c lw 15939
c lw 16721
c lw 17011
c lw 17112
c lw 17374
c lw 17619
c lw 17969
c lw 18386
c lw 18642
c lw 19311
c lw 20134
c lw 20174
c lw 20772
c lw 20957
c lw 21479
c lw 21780
c lw 22311
c lw 22383
c lw 23089
c lw 23259
c lw 23516
c lw 23629
c lw 24492
c lw 25242
c lw 25660
c lw 26075
c lw 26493
c lw 26657
c lw 26908
c lw 27679
c lw 27741
c lw 28199
c lw 28270
c lw 28333
c lw 28446
c lw 28458
c lw 28479
c lw 28643
c lw 29312
c lw 29443
c lw 29464
c lw 29505
c lw 29523
c lw 29756
c lw 29822
c lw 30067
c lw 30174
c lw 30204
c lw 30460
c lw 30630
c lw 30714
c lw 30975
c lw 31160
c lw 31273
c lw 31315
c lw 31387
c lw 31557
c lw 31667
c lw 32014
c lw 32077
c lw 32281
c lw 32315
c lw 32360
c lw 32400
c lw 32472
c lw 32734
c lw 32958
c lw 32962
c lw 32974
c lw 33077
c lw 33117
c lw 33297
c lw 33349
c lw 33371
c lw 33557
c lw 33732
c lw 33777
c lw 33849
c lw 33873
c lw 34140
c lw 34152
c lw 34558
c lw 34884
c lw 34896
c lw 34901
c lw 35014
c lw 35017
c lw 35042
c lw 35105
c lw 35140
c lw 35241
c lw 35311
c lw 35395
c lw 35879
c lw 36196
c lw 36279
c lw 36314
c lw 36350
c lw 36449
c lw 36470
c lw 36488
c lw 36652
c lw 36669
c lw 36673
c lw 36736
c lw 36739
c lw 36790
c lw 36831
c lw 36841
c lw 36846
c lw 36849
c lw 36879
c lw 37031
c lw 37135
c lw 37144
c lw 37186
c lw 37229
c lw 37258
c lw 37270
c lw 37275
c lw 37298
c lw 37342
c lw 37346
c lw 37358
c lw 37423
c lw 37455
c lw 37479
c lw 37482
c lw 37491
c lw 37496
c lw 37501
c lw 37504
c lw 37516
c lw 37521
c lw 37527
c lw 37533
c lw 37538
c lw 37540
c lw 37543
c lw 37545
c lw 37547
c lw 37550
c lw 37552
c lw 37555
c lw 37556
c lw 37597
c lw 37599
c lw 37604
c lw 37605
c lw 37619
c lw 37641
c lw 37681
c lw 37683
c lw 37706
c lw 37710
c lw 37761
c lw 37771
c lw 37793
c lw 37805
c lw 37806
c lw 37809
c lw 37812
c lw 37813
c lw 37816
c lw 37821
c lw 37830
c lw 37847
c lw 37886
c lw 37898
c lw 38002
c lw 38003
c lw 38006
c lw 38011
c lw 38023
c lw 38036
c lw 38064
c lw 38101
c lw 38105
c lw 38196
c lw 38197
c lw 38199
c lw 38200
c lw 38201
c lw 38204
c lw 38213
c lw 38214
c lw 38215
c lw 38217
c lw 38218
c lw 38219
c lw 38220
c lw 38221
c lw 38296
c lw 38298
c lw 38299
c lw 38300
c lw 38323
c lw 38324
c lw 38327
c lw 38346
c lw 38381
c lw 38382
c lw 38383
c lw 38384
c lw 38385
c lw 38386
c lw 38389
c lw 38390
c lw 38391
c lw 38392
c lw 38393
c lw 38394
c lw 38395
c lw 38396
c lw 38397
c lw 38398
c lw 38400
c lw 38401
c lw 38402
c lw 38591
c lw 38592
c lw 38593
c lw 38594
c lw 38595
c lw 38596
c lw 38597
c lw 38598
c lw 38599
c lw 38600
c lw 38601
c lw 38602
c lw 38603
c lw 38604
c lw 38606
c lw 38607
c lw 38609
c lw 38661
c lw 38662
c lw 38681
c lw 38697
c lw 38768
c lw 38769
c lw 38770
c lw 38772
c lw 38773
c lw 38794
c lw 38796
c lw 38798
c lw 38802
c lw 38804
c lw 38805
c lw 38808
c lw 38809
c lw 38810
c lw 38811
c lw 38812
c lw 38813
c lw 38814
c lw 38815
c lw 38816
c lw 38817
c lw 38819
c lw 38820
c lw 38821
c lw 38822
c lw 38823
c lw 38824
c lw 38825
c lw 38826
c lw 38827
c lw 38833
c lw 38834
c lw 38836
c lw 38837
c lw 38841
c lw 38842
c lw 38843
c lw 38844
c lw 38845
c lw 38846
c lw 38847
c lw 38848
c lw 38849
c lw 38850
c lw 38851
c lw 38852
c lw 38853
c lw 38854
c lw 38914
c lw 38922
c lw 39041
c lw 39042
c lw 39043
c lw 39044
c lw 39045
c lw 39046
c lw 39047
c lw 39048
c lw 39049
c lw 39050
c lw 39051
c lw 39052
c lw 39064
c lw 39065
c lw 39066
c lw 39067
c lw 39068
c lw 39097
c lw 39098
c lw 39099
c lw 39100
c lw 39101
c lw 39104
c lw 39109
c lw 39110
c lw 39111
c lw 39112
c lw 39114
c lw 39115
c lw 39116
c lw 39117
c lw 39159
c lw 39160
c lw 39161
c lw 39162
c lw 39163
c lw 39175
c lw 39178
c lw 39179
c lw 39188
c lw 39189
c lw 39196
c lw 39197
c lw 39209
c lw 39210
c lw 39215
c lw 39220
c lw 39221
c lw 39222
c lw 39223
c lw 39224
c lw 39227
c lw 39228
c lw 39232
c lw 39233
c lw 39234
c lw 39238
c lw 39239
c lw 39240
c lw 39241
c lw 39242
c lw 39243
c lw 39244
c lw 39245
c lw 39246
c lw 39247
c lw 39248
c lw 39249
c lw 39250
c lw 39253
c lw 39254
c lw 39255
c lw 39257
c lw 39258
c lw 39259
c lw 39260
c lw 39262
c lw 39263
c lw 39264
c lw 39265
c lw 39266
c lw 39267
c lw 39295
c lw 39296
c lw 39299
c lw 39303
c lw 39317
c lw 39320
c lw 39321
c lw 39322
c lw 39338
c lw 39345
c lw 39350
c lw 39372
c lw 39375
c lw 39379
c lw 39383
c lw 39385
c lw 39387
c lw 39388
c lw 39389
c lw 39390
c lw 39391
c lw 39392
c lw 39393
c lw 39394
c lw 39422
c lw 39434
c lw 39435
c lw 39436
c lw 39437
c lw 39438
c lw 39439
c lw 39440
c lw 39441
c lw 39442
c lw 39443
c lw 39453
c lw 39457
c lw 39459
c lw 39460
c lw 39461
c lw 39462
c lw 39463
c lw 39464
c lw 39465
c lw 39466
c lw 39467
c lw 39486
c lw 39487
c lw 39489
c lw 39490
c lw 39491
c lw 39492
c lw 39493
c lw 39494
c lw 39495
c lw 39496
c lw 39498
c lw 39499
c lw 39500
c lw 39501
c lw 39502
c lw 39503
c lw 39504
c lw 39505
c lw 39506
c lw 39507
c lw 39508
c lw 39509
c lw 39510
c lw 39511
c lw 39512
c lw 39513
c lw 39514
c lw 39516
c lw 39517
c lw 39518
c lw 39519
c lw 39520
c lw 39527
c lw 39528
c lw 39529
c lw 39530
c lw 39534
c lw 39535
c lw 39536
c lw 39540
c lw 39541
c lw 39542
c lw 39543
c lw 39544
c lw 39545
c lw 39546
c lw 39549
c lw 39552
c lw 39553
c lw 39554
c lw 39555
c lw 39557
c lw 39559
c lw 39560
c lw 39561
c lw 39562
c lw 39563
c lw 39564
c lw 39565
c lw 39566
c lw 39567
c lw 39568
c lw 39569
c lw 39570
c lw 39571
c lw 39572
c lw 39573
c lw 39574
c lw 39575
c lw 39576
c lw 39577
c lw 39578
c lw 39579
c lw 39580
c lw 39581
c lw 39582
c lw 39583
c lw 39584
c lw 39585
c lw 39586
c lw 39587
c lw 39588
c lw 39593
c lw 39594
c lw 39595
c lw 39596
c lw 39597
c lw 39598
c lw 39599
c lw 39600
c lw 39601
c lw 39602
c lw 39603
c lw 39604
c lw 39607
c lw 39608
c lw 39609
c lw 39610
c lw 39611
c lw 39612
c lw 39613
c lw 39614
c lw 39615
c lw 39616
c lw 39617
c lw 39618
c lw 39619
c lw 39621
c lw 39622
c lw 39623
c lw 39624
c lw 39625
c lw 39626
c lw 39627
c lw 39628
c lw 39629
c lw 39630
c lw 39631
c lw 39632
c lw 39633
c lw 39634
c lw 39635
c lw 39636
c lw 39637
c lw 39638
c lw 39639
c lw 39640
c lw 39641
c lw 39642
c lw 39643
c lw 39644
c lw 39645
c lw 39646
c lw 39647
c lw 39651
c lw 39652
c lw 39653
c lw 39654
c lw 39655
c lw 39656
c lw 39657
c lw 39658
c lw 39659
c lw 39660
c lw 39661
c lw 39662
c lw 39663
c lw 39664
c lw 39665
c lw 39666
c lw 39667
c lw 39668
c lw 39669
c lw 39670
c lw 39671
c lw 39683
c lw 39684
c lw 39685
c lw 39686
c lw 39687
c lw 39688
c lw 39689
c lw 39690
c lw 39691
c lw 39692
c lw 39693
c lw 39694
c lw 39695
c lw 39696
c lw 39697
c lw 39698
c lw 39699
c lw 39700
c lw 39701
c lw 39702
c lw 39703
c lw 39704
c lw 39705
c lw 39706
c lw 39707
c lw 39708
c lw 39709
c lw 39710
c lw 39711
c lw 39712
c lw 39713
c lw 39714
c lw 39715
c lw 39716
c lw 39717
c lw 39718
c lw 39719
c lw 39720
c lw 39721
c lw 39722
c lw 39723
c lw 39724
c lw 39725
c lw 39726
c lw 39727
c lw 39728
c lw 39729
c lw 39730
c lw 39731
c lw 39732
c lw 39733
c lw 39734
c lw 39735
c lw 39736
c lw 39737
c lw 39738
c lw 39739
c lw 39740
c lw 39741
c lw 39742
c lw 39743
c lw 39744
c lw 39745
c lw 39746
c lw 39747
c lw 39748
c lw 39749
c lw 39750
c lw 39751
c lw 39752
c lw 39753
c lw 39754
c lw 39755
c lw 39756
c lw 39759
c lw 39760
c lw 39761
c lw 39762
c lw 39763
c lw 39764
c lw 39765
c lw 39766
c lw 39767
c lw 39768
c lw 39769
c lw 39770
c lw 39771
c lw 39772
c lw 39773
c lw 39774
c lw 39775
Killed
1815.101u 4.651s 30:23.94 99.7%	0+0k 0+0io 0pf+0w