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_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 652
c lw 982
c lw 1304
c lw 1956
c lw 2608
c lw 3195
c lw 4050
c lw 4538
c lw 4905
c lw 6191
c lw 7477
c lw 8441
c lw 8763
c lw 9414
c lw 9950
c lw 9967
c lw 10279
c lw 10508
c lw 10969
c lw 11021
c lw 12011
c lw 12065
c lw 12213
c lw 13106
c lw 13109
c lw 14096
c lw 14153
c lw 14492
c lw 15197
c lw 16224
c lw 16241
c lw 17111
c lw 17516
c lw 17853
c lw 18591
c lw 18959
c lw 19329
c lw 20022
c lw 20715
c lw 20863
c lw 21138
c lw 21682
c lw 22833
c lw 23984
c lw 24087
c lw 24431
c lw 25115
c lw 25135
c lw 26371
c lw 27607
c lw 27951
c lw 28579
c lw 28843
c lw 28892
c lw 29398
c lw 29895
c lw 29920
c lw 31263
c lw 32227
c lw 32606
c lw 32744
c lw 33637
c lw 33949
c lw 34609
c lw 35386
c lw 35796
c lw 36273
c lw 36404
c lw 36682
c lw 36928
c lw 37265
c lw 37424
c lw 37709
c lw 38184
c lw 39150
c lw 40000
c lw 40116
c lw 40641
c lw 41082
c lw 41638
c lw 41789
c lw 42722
c lw 43303
c lw 43806
c lw 44075
c lw 44890
c lw 45658
c lw 46446
c lw 46661
c lw 46959
c lw 47130
c lw 47647
c lw 48120
c lw 48151
c lw 48481
c lw 48895
c lw 48987
c lw 49460
c lw 49554
c lw 49933
c lw 50385
c lw 51299
c lw 51667
c lw 52213
c lw 52570
c lw 52654
c lw 52889
c lw 53022
c lw 53114
c lw 53680
c lw 53863
c lw 54340
c lw 54681
c lw 54710
c lw 55462
c lw 55528
c lw 55980
c lw 56019
c lw 56732
c lw 56815
c lw 57510
c lw 57628
c lw 58560
c lw 59110
c lw 59972
c lw 60424
c lw 60557
c lw 60792
c lw 60936
c lw 61054
c lw 61185
c lw 61449
c lw 61676
c lw 61715
c lw 61799
c lw 62167
c lw 62222
c lw 62314
c lw 62316
c lw 62457
c lw 62540
c lw 63084
c lw 63200
c lw 63225
c lw 63272
c lw 63380
c lw 63425
c lw 63703
c lw 63854
c lw 63883
c lw 64027
c lw 64160
c lw 64395
c lw 64612
c lw 64704
c lw 65016
c lw 65154
c lw 65285
c lw 65339
c lw 65533
c lw 65597
c lw 65725
c lw 66497
c lw 66517
c lw 66620
c lw 66642
c lw 66734
c lw 66848
c lw 67186
c lw 67249
c lw 67284
c lw 67525
c lw 67869
c lw 67926
c lw 67935
c lw 68401
c lw 68452
c lw 68667
c lw 68686
c lw 68896
c lw 69455
c lw 69472
c lw 69528
c lw 69625
c lw 69699
c lw 69808
c lw 70106
c lw 70123
c lw 70131
c lw 70323
c lw 70474
c lw 70934
c lw 70983
c lw 71180
c lw 71209
c lw 71328
c lw 71530
c lw 71568
c lw 72009
c lw 72056
c lw 72385
c lw 72795
c lw 72954
c lw 73132
c lw 73239
c lw 73278
c lw 73609
c lw 73673
c lw 73902
c lw 73921
c lw 73933
c lw 74081
c lw 74251
c lw 74261
c lw 74456
c lw 74683
c lw 74713
c lw 74947
c lw 75212
c lw 75343
c lw 75361
c lw 75380
c lw 75524
c lw 75559
c lw 75846
c lw 76059
c lw 76102
c lw 76119
c lw 77225
c lw 77314
c lw 77324
c lw 77423
c lw 77639
c lw 77707
c lw 77933
c lw 78187
c lw 78190
c lw 78636
c lw 78648
c lw 78663
c lw 78700
c lw 78702
c lw 78792
c lw 78905
c lw 78933
c lw 78955
c lw 78973
c lw 78988
c lw 79080
c lw 79104
c lw 79129
c lw 79133
c lw 79158
c lw 79174
c lw 79282
c lw 79302
c lw 79329
c lw 79373
c lw 79435
c lw 79452
c lw 79474
c lw 79612
c lw 79637
c lw 79649
c lw 79654
c lw 79659
c lw 79713
c lw 79729
c lw 79996
c lw 80055
c lw 80100
c lw 80157
c lw 80164
c lw 80171
c lw 80177
c lw 80189
c lw 80209
c lw 80211
c lw 80246
c lw 80251
c lw 80253
c lw 80256
c lw 80265
c lw 80289
c lw 80291
c lw 80292
c lw 80297
c lw 80300
c lw 80307
c lw 80317
c lw 80319
c lw 80334
c lw 80335
c lw 80345
c lw 80361
c lw 80387
c lw 80402
c lw 80430
c lw 80460
c lw 80498
c lw 80519
c lw 80629
c lw 80631
c lw 80634
c lw 80638
c lw 80639
c lw 80664
c lw 80827
c lw 80828
c lw 80829
c lw 80830
c lw 80831
c lw 80832
c lw 80833
c lw 80836
c lw 80837
c lw 80838
c lw 80839
c lw 80840
c lw 80841
c lw 80842
c lw 80844
c lw 80845
c lw 80853
c lw 80855
c lw 80858
c lw 80860
c lw 80861
c lw 80862
c lw 80864
c lw 80865
c lw 80866
c lw 80867
c lw 80868
c lw 80869
c lw 80870
c lw 80871
c lw 80872
c lw 80873
c lw 80874
c lw 80875
c lw 80877
c lw 80887
c lw 81084
c lw 81085
c lw 81086
c lw 81087
c lw 81088
c lw 81102
c lw 81217
c lw 81218
c lw 81219
c lw 81220
c lw 81221
c lw 81222
c lw 81225
c lw 81226
c lw 81234
c lw 81236
c lw 81237
c lw 81251
c lw 81255
c lw 81256
c lw 81257
c lw 81259
c lw 81260
c lw 81261
c lw 81262
c lw 81263
c lw 81264
c lw 81265
c lw 81267
c lw 81268
c lw 81269
c lw 81280
c lw 81410
c lw 81411
c lw 81412
c lw 81481
c lw 81490
c lw 81566
c lw 81571
c lw 81572
c lw 81573
c lw 81574
c lw 81576
c lw 81577
c lw 81578
c lw 81579
c lw 81588
c lw 81596
c lw 81598
c lw 81601
c lw 81608
c lw 81610
c lw 81611
c lw 81616
c lw 81617
c lw 81638
c lw 81639
c lw 81740
c lw 81741
c lw 81743
c lw 81751
c lw 81789
c lw 81803
c lw 81832
c lw 81866
c lw 81867
c lw 81868
c lw 81869
c lw 81870
c lw 81871
c lw 81872
c lw 81940
c lw 81941
c lw 81942
c lw 81943
c lw 81944
c lw 81945
c lw 81946
c lw 81947
c lw 81948
c lw 81949
c lw 81950
c lw 81951
c lw 81953
c lw 81960
c lw 81961
c lw 81973
c lw 81974
c lw 81975
c lw 81976
c lw 81977
c lw 81983
c lw 81986
c lw 81991
c lw 81995
c lw 82007
c lw 82008
c lw 82009
c lw 82010
c lw 82011
c lw 82027
c lw 82028
c lw 82029
c lw 82030
c lw 82031
c lw 82032
c lw 82033
c lw 82034
c lw 82035
c lw 82036
c lw 82038
c lw 82041
c lw 82042
c lw 82046
c lw 82047
c lw 82048
c lw 82049
c lw 82107
c lw 82108
c lw 82109
c lw 82111
c lw 82112
c lw 82113
c lw 82114
c lw 82116
c lw 82117
c lw 82122
c lw 82123
c lw 82127
c lw 82128
c lw 82129
c lw 82130
c lw 82132
c lw 82134
c lw 82135
c lw 82136
c lw 82137
c lw 82138
c lw 82139
c lw 82140
c lw 82141
c lw 82142
c lw 82143
c lw 82144
c lw 82145
c lw 82146
c lw 82147
c lw 82148
c lw 82149
c lw 82150
c lw 82151
c lw 82154
c lw 82155
c lw 82156
c lw 82157
c lw 82158
c lw 82160
c lw 82186
c lw 82187
c lw 82191
c lw 82192
c lw 82263
c lw 82284
c lw 82287
c lw 82289
c lw 82290
c lw 82291
c lw 82292
c lw 82347
c lw 82348
c lw 82349
c lw 82350
c lw 82351
c lw 82352
c lw 82353
c lw 82379
c lw 82392
c lw 82393
c lw 82394
c lw 82395
c lw 82396
c lw 82397
c lw 82412
c lw 82413
c lw 82416
c lw 82417
c lw 82419
c lw 82420
c lw 82424
c lw 82425
c lw 82429
c lw 82430
c lw 82431
c lw 82465
c lw 82468
c lw 82469
c lw 82470
c lw 82471
c lw 82472
c lw 82473
c lw 82474
c lw 82475
c lw 82476
c lw 82477
c lw 82478
c lw 82479
c lw 82480
c lw 82481
c lw 82482
c lw 82484
c lw 82490
c lw 82507
c lw 82508
c lw 82509
c lw 82510
c lw 82511
c lw 82512
c lw 82513
c lw 82514
c lw 82515
c lw 82516
c lw 82517
c lw 82518
c lw 82519
c lw 82520
c lw 82522
c lw 82523
c lw 82524
c lw 82525
c lw 82526
c lw 82527
c lw 82529
c lw 82530
c lw 82531
c lw 82532
c lw 82533
c lw 82534
c lw 82535
c lw 82536
c lw 82537
c lw 82538
c lw 82539
c lw 82540
c lw 82541
c lw 82542
c lw 82543
c lw 82544
c lw 82545
c lw 82546
c lw 82547
c lw 82548
c lw 82549
c lw 82550
c lw 82551
c lw 82552
c lw 82553
c lw 82554
c lw 82555
c lw 82556
c lw 82557
c lw 82558
c lw 82591
c lw 82592
c lw 82593
c lw 82594
c lw 82595
c lw 82596
c lw 82597
c lw 82598
c lw 82599
c lw 82600
c lw 82601
c lw 82602
c lw 82603
c lw 82604
c lw 82605
c lw 82606
c lw 82607
c lw 82608
c lw 82609
c lw 82610
c lw 82611
c lw 82612
c lw 82613
c lw 82614
c lw 82615
c lw 82616
c lw 82617
c lw 82618
c lw 82619
c lw 82620
c lw 82621
c lw 82622
c lw 82623
c lw 82624
c lw 82625
c lw 82626
c lw 82627
c lw 82630
c lw 82631
c lw 82632
c lw 82633
c lw 82634
c lw 82635
c lw 82636
c lw 82651
c lw 82652
c lw 82653
c lw 82654
c lw 82655
c lw 82656
c lw 82657
c lw 82658
c lw 82659
c lw 82660
c lw 82661
c lw 82662
c lw 82663
c lw 82664
c lw 82665
c lw 82666
c lw 82667
c lw 82668
c lw 82669
c lw 82670
c lw 82671
c lw 82672
c lw 82673
c lw 82674
c lw 82675
c lw 82676
c lw 82677
c lw 82678
c lw 82679
c lw 82680
c lw 82681
c lw 82682
c lw 82691
c lw 82716
c lw 82718
c lw 82719
c lw 82720
c lw 82721
c lw 82722
c lw 82723
c lw 82724
c lw 82725
c lw 82726
c lw 82727
c lw 82728
c lw 82729
c lw 82730
c lw 82731
c lw 82732
c lw 82733
c lw 82734
c lw 82735
c lw 82744
c lw 82747
c lw 82749
c lw 82754
c lw 82755
c lw 82757
c lw 82758
c lw 82759
c lw 82760
c lw 82763
c lw 82765
c lw 82767
c lw 82770
c lw 82775
c lw 82779
c lw 82782
c lw 82783
c lw 82784
c lw 82785
c lw 82786
c lw 82787
c lw 82788
c lw 82789
c lw 82790
c lw 82791
c lw 82792
c lw 82793
c lw 82794
c lw 82795
c lw 82796
c lw 82797
c lw 82798
c lw 82799
c lw 82800
c lw 82801
c lw 82802
c lw 82803
c lw 82804
c lw 82805
c lw 82806
c lw 82807
c lw 82808
c lw 82809
c lw 82810
c lw 82811
c lw 82862
c lw 82868
c lw 82869
c lw 82883
c lw 82885
c lw 82886
c lw 82895
c lw 82911
c lw 82912
c lw 83003
c lw 83004
c lw 83005
c lw 83006
c lw 83007
c lw 83008
c lw 83009
c lw 83021
c lw 83029
c lw 83130
c lw 83131
c lw 83132
c lw 83141
c lw 83142
c lw 83159
c lw 83160
c lw 83181
c lw 83182
c lw 83187
c lw 83202
c lw 83204
c lw 83255
c lw 83284
c lw 83285
c lw 83286
c lw 83287
c lw 83288
c lw 83290
c lw 83395
c lw 83396
c lw 83397
c lw 83414
c lw 83415
c lw 83418
c lw 83419
c lw 83420
c lw 83424
c lw 83425
c lw 83426
c lw 83427
c lw 83428
c lw 83440
c lw 83441
c lw 83442
c lw 83443
c lw 83494
c lw 83496
c lw 83497
c lw 83498
c lw 83499
c lw 83500
c lw 83501
c lw 83502
c lw 83503
c lw 83504
c lw 83505
c lw 83507
c lw 83508
c lw 83509
c lw 83510
c lw 83511
c lw 83512
c lw 83513
c lw 83514
c lw 83515
c lw 83516
c lw 83517
c lw 83518
c lw 83519
c lw 83520
c lw 83521
c lw 83522
c lw 83561
c lw 83562
c lw 83563
c lw 83566
c lw 83567
c lw 83606
c lw 83607
c lw 83608
c lw 83618
c lw 83761
c lw 83762
c lw 83934
c lw 83936
c lw 84001
c lw 84002
c lw 84003
c lw 84008
c lw 84020
c lw 84023
c lw 84024
c lw 84025
c lw 84026
c lw 84027
c lw 84028
c lw 84029
c lw 84030
c lw 84031
c lw 84032
c lw 84033
c lw 84034
c lw 84035
c lw 84036
c lw 84037
c lw 84038
c lw 84039
c lw 84040
c lw 84041
c lw 84042
c lw 84052
c lw 84074
c lw 84075
c lw 84076
c lw 84077
c lw 84078
c lw 84079
c lw 84080
c lw 84081
c lw 84082
c lw 84083
c lw 84084
c lw 84085
c lw 84086
c lw 84087
c lw 84088
c lw 84089
c lw 84090
c lw 84091
c lw 84092
c lw 84093
c lw 84094
c lw 84096
c lw 84097
c lw 84099
c lw 84100
c lw 84101
c lw 84102
c lw 84103
c lw 84104
c lw 84105
c lw 84106
c lw 84107
c lw 84108
c lw 84109
c lw 84110
c lw 84111
c lw 84112
c lw 84113
c lw 84114
c lw 84115
c lw 84116
c lw 84117
c lw 84118
c lw 84119
c lw 84120
c lw 84121
c lw 84122
c lw 84123
c lw 84124
c lw 84125
c lw 84126
c lw 84127
c lw 84128
c lw 84129
c lw 84186
c lw 84301
c lw 84318
c lw 84324
c lw 84325
c lw 84326
c lw 84327
c lw 84328
c lw 84329
c lw 84330
c lw 84331
c lw 84332
c lw 84333
c lw 84334
c lw 84335
c lw 84336
c lw 84337
c lw 84338
c lw 84339
c lw 84340
c lw 84341
c lw 84342
c lw 84343
c lw 84344
c lw 84345
c lw 84346
c lw 84347
c lw 84348
c lw 84349
c lw 84350
c lw 84351
c lw 84352
c lw 84355
c lw 84356
c lw 84358
c lw 84359
c lw 84360
c lw 84361
c lw 84362
c lw 84363
c lw 84364
c lw 84365
c lw 84366
c lw 84367
c lw 84368
c lw 84369
c lw 84370
c lw 84371
c lw 84489
c lw 84490
c lw 84491
c lw 84492
c lw 84493
c lw 84494
c lw 84495
c lw 84496
c lw 84497
c lw 84498
c lw 84499
c lw 84500
c lw 84501
c lw 84503
c lw 84505
c lw 84506
c lw 84507
c lw 84508
c lw 84567
c lw 84568
c lw 84569
c lw 84570
c lw 84571
c lw 84572
c lw 84573
c lw 84574
c lw 84575
c lw 84576
c lw 84577
c lw 84578
c lw 84579
c lw 84580
c lw 84581
c lw 84582
c lw 84583
c lw 84584
c lw 84585
c lw 84586
c lw 84587
c lw 84588
c lw 84589
c lw 84591
c lw 84592
c lw 84593
c lw 84594
c lw 84595
c lw 84596
c lw 84597
c lw 84598
c lw 84599
c lw 84600
c lw 84601
c lw 84602
c lw 84603
c lw 84604
c lw 84605
c lw 84613
c lw 84614
c lw 84615
c lw 84616
c lw 84618
c lw 84619
c lw 84620
c lw 84621
c lw 84622
c lw 84623
c lw 84624
c lw 84625
c lw 84626
c lw 84627
c lw 84628
c lw 84629
c lw 84630
c lw 84631
c lw 84632
c lw 84633
c lw 84635
c lw 84636
c lw 84637
c lw 84638
c lw 84639
c lw 84640
c lw 84641
c lw 84642
c lw 84643
c lw 84644
c lw 84645
c lw 84646
c lw 84648
c lw 84655
c lw 84656
c lw 84657
c lw 84658
c lw 84659
c lw 84660
c lw 84661
c lw 84662
c lw 84663
c lw 84664
c lw 84675
c lw 84676
c lw 84677
c lw 84678
c lw 84679
c lw 84680
c lw 84681
c lw 84682
c lw 84683
c lw 84684
c lw 84687
c lw 84691
c lw 84692
c lw 84693
Killed
1809.159u 10.597s 54:45.91 55.3%	0+0k 0+0io 0pf+0w