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_110_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 704
c lw 1137
c lw 1231
c lw 1581
c lw 2139
c lw 2420
c lw 2873
c lw 3755
c lw 4637
c lw 5311
c lw 5519
c lw 5829
c lw 6154
c lw 6754
c lw 7354
c lw 7954
c lw 8441
c lw 9221
c lw 10001
c lw 10393
c lw 10781
c lw 10873
c lw 11462
c lw 11800
c lw 12051
c lw 12727
c lw 13081
c lw 13654
c lw 13989
c lw 14422
c lw 14581
c lw 14831
c lw 15508
c lw 15894
c lw 16152
c lw 16453
c lw 16599
c lw 17329
c lw 18059
c lw 18789
c lw 19058
c lw 19556
c lw 19810
c lw 19921
c lw 20467
c lw 20632
c lw 21378
c lw 22019
c lw 22289
c lw 22546
c lw 23187
c lw 23200
c lw 23503
c lw 24111
c lw 24935
c lw 24986
c lw 25861
c lw 26489
c lw 26502
c lw 26860
c lw 27558
c lw 27684
c lw 28508
c lw 28557
c lw 29120
c lw 29332
c lw 30156
c lw 30758
c lw 30780
c lw 31510
c lw 31532
c lw 32013
c lw 32096
c lw 32284
c lw 33314
c lw 33744
c lw 34344
c lw 34429
c lw 34828
c lw 35348
c lw 36342
c lw 37517
c lw 38367
c lw 38692
c lw 38782
c lw 38941
c lw 39866
c lw 40632
c lw 40701
c lw 40876
c lw 40961
c lw 41044
c lw 41338
c lw 41396
c lw 41615
c lw 41680
c lw 42113
c lw 42379
c lw 42430
c lw 42520
c lw 42704
c lw 43121
c lw 43344
c lw 43413
c lw 43498
c lw 43600
c lw 43622
c lw 43673
c lw 43812
c lw 43980
c lw 44000
c lw 44381
c lw 44466
c lw 44600
c lw 44683
c lw 44894
c lw 45164
c lw 45188
c lw 45197
c lw 45686
c lw 45699
c lw 45734
c lw 45945
c lw 46049
c lw 46056
c lw 46542
c lw 46611
c lw 46666
c lw 46750
c lw 46823
c lw 46872
c lw 46989
c lw 47138
c lw 47264
c lw 47594
c lw 47696
c lw 47827
c lw 48219
c lw 48394
c lw 48473
c lw 48812
c lw 48825
c lw 48977
c lw 49056
c lw 49410
c lw 49711
c lw 49807
c lw 49992
c lw 50014
c lw 50087
c lw 50172
c lw 50230
c lw 50291
c lw 50501
c lw 50641
c lw 50735
c lw 50761
c lw 50941
c lw 51010
c lw 51270
c lw 52050
c lw 52603
c lw 52853
c lw 52926
c lw 52932
c lw 52941
c lw 53024
c lw 53086
c lw 53567
c lw 53999
c lw 54053
c lw 54073
c lw 54170
c lw 54191
c lw 54373
c lw 54520
c lw 54786
c lw 54830
c lw 54858
c lw 54912
c lw 54916
c lw 54923
c lw 54928
c lw 54974
c lw 55064
c lw 55248
c lw 55273
c lw 55307
c lw 55496
c lw 55506
c lw 55528
c lw 55591
c lw 55630
c lw 55650
c lw 55674
c lw 55703
c lw 55705
c lw 55731
c lw 55810
c lw 55962
c lw 55983
c lw 56005
c lw 56018
c lw 56024
c lw 56056
c lw 56097
c lw 56103
c lw 56159
c lw 56237
c lw 56287
c lw 56345
c lw 56424
c lw 56431
c lw 56535
c lw 56563
c lw 56578
c lw 56641
c lw 56645
c lw 56661
c lw 56707
c lw 56712
c lw 56733
c lw 56791
c lw 56798
c lw 56894
c lw 56899
c lw 56918
c lw 56921
c lw 56940
c lw 56942
c lw 56947
c lw 56954
c lw 56965
c lw 56969
c lw 56978
c lw 56983
c lw 56996
c lw 57012
c lw 57019
c lw 57121
c lw 57143
c lw 57165
c lw 57189
c lw 57219
c lw 57235
c lw 57240
c lw 57250
c lw 57256
c lw 57289
c lw 57378
c lw 57474
c lw 57559
c lw 57590
c lw 57605
c lw 57672
c lw 57677
c lw 57678
c lw 57694
c lw 57700
c lw 57701
c lw 57702
c lw 57706
c lw 57717
c lw 57725
c lw 57727
c lw 57732
c lw 57734
c lw 57735
c lw 57736
c lw 57742
c lw 57744
c lw 57755
c lw 57756
c lw 57762
c lw 57766
c lw 57767
c lw 57784
c lw 57786
c lw 57787
c lw 57788
c lw 57793
c lw 57794
c lw 57799
c lw 57802
c lw 57804
c lw 57806
c lw 57810
c lw 57814
c lw 57826
c lw 57831
c lw 57832
c lw 57843
c lw 57851
c lw 57852
c lw 57853
c lw 57854
c lw 57855
c lw 57857
c lw 57858
c lw 57859
c lw 57861
c lw 57862
c lw 57863
c lw 57864
c lw 57865
c lw 57914
c lw 57942
c lw 57987
c lw 58052
c lw 58076
c lw 58089
c lw 58127
c lw 58175
c lw 58184
c lw 58222
c lw 58276
c lw 58277
c lw 58278
c lw 58279
c lw 58280
c lw 58284
c lw 58285
c lw 58287
c lw 58288
c lw 58300
c lw 58302
c lw 58333
c lw 58334
c lw 58335
c lw 58336
c lw 58339
c lw 58341
c lw 58344
c lw 58345
c lw 58348
c lw 58353
c lw 58357
c lw 58367
c lw 58368
c lw 58369
c lw 58370
c lw 58374
c lw 58375
c lw 58376
c lw 58380
c lw 58381
c lw 58382
c lw 58383
c lw 58385
c lw 58386
c lw 58387
c lw 58388
c lw 58389
c lw 58390
c lw 58391
c lw 58392
c lw 58393
c lw 58394
c lw 58398
c lw 58399
c lw 58400
c lw 58401
c lw 58402
c lw 58403
c lw 58404
c lw 58405
c lw 58406
c lw 58407
c lw 58408
c lw 58420
c lw 58421
c lw 58422
c lw 58423
c lw 58445
c lw 58446
c lw 58447
c lw 58448
c lw 58449
c lw 58450
c lw 58455
c lw 58456
c lw 58457
c lw 58462
c lw 58463
c lw 58464
c lw 58465
c lw 58466
c lw 58467
c lw 58468
c lw 58469
c lw 58470
c lw 58471
c lw 58490
c lw 58491
c lw 58492
c lw 58493
c lw 58494
c lw 58495
c lw 58496
c lw 58497
c lw 58498
c lw 58499
c lw 58500
c lw 58501
c lw 58505
c lw 58506
c lw 58507
c lw 58508
c lw 58509
c lw 58510
c lw 58511
c lw 58512
c lw 58513
c lw 58514
c lw 58515
c lw 58516
c lw 58517
c lw 58518
c lw 58519
c lw 58520
c lw 58521
c lw 58522
c lw 58523
c lw 58524
c lw 58525
c lw 58526
c lw 58527
c lw 58528
c lw 58529
c lw 58530
c lw 58531
c lw 58532
c lw 58533
c lw 58534
c lw 58535
c lw 58536
c lw 58537
c lw 58538
c lw 58539
c lw 58540
c lw 58541
c lw 58542
c lw 58543
c lw 58544
c lw 58545
c lw 58546
c lw 58547
c lw 58548
c lw 58549
c lw 58550
c lw 58551
c lw 58552
c lw 58553
c lw 58554
c lw 58555
c lw 58556
c lw 58557
c lw 58558
c lw 58559
c lw 58560
c lw 58561
c lw 58562
c lw 58563
c lw 58564
c lw 58565
c lw 58566
c lw 58567
c lw 58568
c lw 58569
c lw 58570
c lw 58572
c lw 58573
c lw 58574
c lw 58575
c lw 58582
c lw 58586
c lw 58588
c lw 58589
c lw 58590
c lw 58591
c lw 58592
c lw 58593
c lw 58594
c lw 58595
c lw 58596
c lw 58597
c lw 58598
c lw 58599
c lw 58600
c lw 58601
c lw 58602
c lw 58603
c lw 58604
c lw 58605
c lw 58606
c lw 58607
c lw 58608
c lw 58609
c lw 58610
c lw 58611
c lw 58612
c lw 58613
c lw 58614
c lw 58615
c lw 58616
c lw 58617
c lw 58618
c lw 58619
c lw 58620
c lw 58621
c lw 58622
c lw 58623
c lw 58624
c lw 58625
c lw 58628
c lw 58629
c lw 58630
c lw 58632
c lw 58633
c lw 58635
c lw 58636
c lw 58637
c lw 58638
c lw 58639
c lw 58640
c lw 58641
c lw 58642
c lw 58643
c lw 58644
c lw 58645
c lw 58650
c lw 58651
c lw 58652
c lw 58658
c lw 58659
c lw 58661
c lw 58662
c lw 58663
c lw 58664
c lw 58665
c lw 58666
c lw 58667
c lw 58668
c lw 58709
c lw 58710
c lw 58712
c lw 58728
c lw 58729
c lw 58730
c lw 58731
c lw 58732
c lw 58733
c lw 58734
c lw 58735
c lw 58736
c lw 58737
c lw 58738
c lw 58739
c lw 58740
c lw 58787
c lw 58817
c lw 58818
c lw 58819
c lw 58820
c lw 58821
c lw 58822
c lw 58823
c lw 58824
c lw 58825
c lw 58826
c lw 58827
c lw 58828
c lw 58829
c lw 58830
c lw 58831
c lw 58832
c lw 58833
c lw 58837
c lw 58838
c lw 58839
c lw 58840
c lw 58841
c lw 58846
c lw 58847
c lw 58848
c lw 58860
c lw 58861
c lw 58862
c lw 58863
c lw 58864
c lw 58865
c lw 58866
c lw 58867
c lw 58868
c lw 58869
c lw 58870
c lw 58871
c lw 58872
c lw 58873
c lw 58935
c lw 58941
c lw 58948
c lw 58957
c lw 58962
c lw 58964
c lw 59022
c lw 59023
c lw 59024
c lw 59025
c lw 59026
c lw 59027
c lw 59028
c lw 59029
c lw 59030
c lw 59031
c lw 59032
c lw 59033
c lw 59034
c lw 59035
c lw 59038
c lw 59039
c lw 59040
c lw 59041
c lw 59042
c lw 59043
c lw 59048
c lw 59049
c lw 59057
c lw 59058
c lw 59059
c lw 59061
c lw 59062
c lw 59063
c lw 59064
c lw 59065
c lw 59066
c lw 59071
c lw 59072
c lw 59073
c lw 59074
c lw 59075
c lw 59076
c lw 59077
c lw 59078
c lw 59079
c lw 59080
c lw 59081
c lw 59082
c lw 59083
c lw 59084
c lw 59085
c lw 59086
c lw 59087
c lw 59088
c lw 59089
c lw 59090
c lw 59091
c lw 59092
c lw 59093
c lw 59094
c lw 59095
c lw 59097
c lw 59099
c lw 59100
c lw 59101
c lw 59102
c lw 59103
c lw 59104
c lw 59105
c lw 59106
c lw 59107
c lw 59108
c lw 59109
c lw 59110
c lw 59111
c lw 59144
c lw 59145
c lw 59146
c lw 59147
c lw 59148
c lw 59149
c lw 59150
c lw 59151
c lw 59152
c lw 59153
c lw 59154
c lw 59155
c lw 59156
c lw 59157
c lw 59158
c lw 59159
c lw 59160
c lw 59161
c lw 59162
c lw 59163
c lw 59164
c lw 59165
c lw 59166
c lw 59167
c lw 59168
c lw 59169
c lw 59170
c lw 59171
c lw 59172
c lw 59173
c lw 59174
c lw 59175
c lw 59176
c lw 59197
c lw 59198
c lw 59247
c lw 59248
c lw 59249
c lw 59250
c lw 59251
c lw 59252
c lw 59253
c lw 59254
c lw 59255
c lw 59256
c lw 59257
c lw 59258
c lw 59259
c lw 59260
c lw 59261
c lw 59262
c lw 59263
c lw 59264
c lw 59265
c lw 59271
c lw 59272
c lw 59273
c lw 59274
c lw 59275
c lw 59276
c lw 59277
c lw 59278
c lw 59279
c lw 59280
c lw 59281
c lw 59282
c lw 59283
c lw 59284
c lw 59308
c lw 59312
c lw 59334
c lw 59349
c lw 59350
c lw 59351
c lw 59354
c lw 59355
c lw 59362
c lw 59363
c lw 59364
c lw 59365
c lw 59369
c lw 59375
c lw 59376
c lw 59387
c lw 59388
c lw 59392
c lw 59396
c lw 59397
c lw 59398
c lw 59401
c lw 59425
c lw 59428
c lw 59429
c lw 59494
c lw 59495
c lw 59496
Killed
1815.109u 4.649s 30:24.21 99.7%	0+0k 0+0io 0pf+0w