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_130_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 138
c lw 1118
c lw 2098
c lw 2522
c lw 3078
c lw 3838
c lw 4598
c lw 5181
c lw 5358
c lw 6139
c lw 7167
c lw 7435
c lw 8195
c lw 8823
c lw 9349
c lw 9451
c lw 9875
c lw 10079
c lw 10605
c lw 10611
c lw 10851
c lw 11143
c lw 11572
c lw 12001
c lw 12430
c lw 12670
c lw 13325
c lw 14305
c lw 15285
c lw 15709
c lw 16265
c lw 17212
c lw 18159
c lw 18333
c lw 19106
c lw 19670
c lw 19678
c lw 19763
c lw 20743
c lw 21423
c lw 21723
c lw 22307
c lw 22896
c lw 23485
c lw 24253
c lw 24682
c lw 24726
c lw 25021
c lw 25450
c lw 25789
c lw 26109
c lw 26303
c lw 26557
c lw 26751
c lw 27556
c lw 28176
c lw 28177
c lw 28798
c lw 29250
c lw 30256
c lw 31262
c lw 31537
c lw 32268
c lw 33097
c lw 33926
c lw 34355
c lw 34481
c lw 34755
c lw 35007
c lw 35584
c lw 36101
c lw 36520
c lw 36755
c lw 37184
c lw 38139
c lw 38180
c lw 38439
c lw 38510
c lw 39374
c lw 39435
c lw 39594
c lw 39716
c lw 40013
c lw 40227
c lw 40421
c lw 41117
c lw 41138
c lw 41548
c lw 42118
c lw 42392
c lw 42830
c lw 43236
c lw 43806
c lw 43901
c lw 43996
c lw 44051
c lw 44066
c lw 44374
c lw 44415
c lw 45596
c lw 46777
c lw 46805
c lw 46900
c lw 46951
c lw 46959
c lw 47056
c lw 47475
c lw 47734
c lw 48013
c lw 48029
c lw 48154
c lw 48188
c lw 48215
c lw 48607
c lw 48672
c lw 49853
c lw 50023
c lw 50038
c lw 50067
c lw 50161
c lw 50216
c lw 50473
c lw 50608
c lw 50654
c lw 50659
c lw 50675
c lw 50703
c lw 50731
c lw 50869
c lw 51371
c lw 51425
c lw 51565
c lw 51639
c lw 51650
c lw 51772
c lw 51796
c lw 52000
c lw 52041
c lw 52112
c lw 52514
c lw 52739
c lw 52759
c lw 53039
c lw 53072
c lw 53121
c lw 53261
c lw 53346
c lw 53392
c lw 53455
c lw 53683
c lw 53719
c lw 53775
c lw 53901
c lw 53971
c lw 54266
c lw 54508
c lw 54669
c lw 54670
c lw 54995
c lw 55039
c lw 55099
c lw 55164
c lw 55198
c lw 55225
c lw 55283
c lw 55371
c lw 55654
c lw 55807
c lw 55813
c lw 55880
c lw 56023
c lw 56200
c lw 56346
c lw 56463
c lw 56665
c lw 56755
c lw 56924
c lw 57075
c lw 57092
c lw 57414
c lw 57484
c lw 57829
c lw 57917
c lw 58003
c lw 58112
c lw 58344
c lw 58395
c lw 58540
c lw 58986
c lw 59002
c lw 59050
c lw 59109
c lw 59496
c lw 59548
c lw 59610
c lw 59721
c lw 59740
c lw 59767
c lw 59910
c lw 60020
c lw 60027
c lw 60361
c lw 60367
c lw 60388
c lw 60396
c lw 60648
c lw 60785
c lw 61250
c lw 61376
c lw 61382
c lw 61384
c lw 61397
c lw 61398
c lw 61448
c lw 61454
c lw 61521
c lw 61523
c lw 61557
c lw 61584
c lw 61589
c lw 61606
c lw 61635
c lw 61647
c lw 61867
c lw 61965
c lw 61976
c lw 62004
c lw 62030
c lw 62047
c lw 62071
c lw 62080
c lw 62105
c lw 62114
c lw 62118
c lw 62122
c lw 62130
c lw 62134
c lw 62143
c lw 62254
c lw 62261
c lw 62325
c lw 62326
c lw 62382
c lw 62391
c lw 62418
c lw 62447
c lw 62479
c lw 62505
c lw 62520
c lw 62559
c lw 62625
c lw 62634
c lw 62650
c lw 62651
c lw 62659
c lw 62683
c lw 62700
c lw 62709
c lw 62710
c lw 62723
c lw 62725
c lw 62742
c lw 62776
c lw 62778
c lw 62785
c lw 62791
c lw 62841
c lw 62901
c lw 62928
c lw 62934
c lw 62943
c lw 62986
c lw 63002
c lw 63096
c lw 63105
c lw 63112
c lw 63114
c lw 63118
c lw 63124
c lw 63129
c lw 63130
c lw 63132
c lw 63134
c lw 63153
c lw 63159
c lw 63179
c lw 63185
c lw 63190
c lw 63191
c lw 63342
c lw 63419
c lw 63428
c lw 63448
c lw 63547
c lw 63708
c lw 63717
c lw 63742
c lw 63751
c lw 63752
c lw 63757
c lw 63759
c lw 63763
c lw 63764
c lw 63765
c lw 63767
c lw 63769
c lw 63771
c lw 63772
c lw 63774
c lw 63777
c lw 63783
c lw 63810
c lw 63817
c lw 63818
c lw 63820
c lw 63853
c lw 63862
c lw 63948
c lw 63981
c lw 63990
c lw 63995
c lw 63998
c lw 64000
c lw 64056
c lw 64069
c lw 64145
c lw 64146
c lw 64147
c lw 64148
c lw 64150
c lw 64151
c lw 64152
c lw 64153
c lw 64154
c lw 64156
c lw 64157
c lw 64158
c lw 64159
c lw 64160
c lw 64161
c lw 64162
c lw 64223
c lw 64231
c lw 64234
c lw 64239
c lw 64241
c lw 64243
c lw 64244
c lw 64272
c lw 64276
c lw 64319
c lw 64355
c lw 64364
c lw 64370
c lw 64372
c lw 64373
c lw 64374
c lw 64375
c lw 64376
c lw 64377
c lw 64378
c lw 64379
c lw 64380
c lw 64410
c lw 64411
c lw 64412
c lw 64413
c lw 64414
c lw 64415
c lw 64416
c lw 64417
c lw 64418
c lw 64419
c lw 64420
c lw 64421
c lw 64422
c lw 64423
c lw 64424
c lw 64425
c lw 64426
c lw 64427
c lw 64428
c lw 64430
c lw 64432
c lw 64435
c lw 64436
c lw 64438
c lw 64439
c lw 64440
c lw 64442
c lw 64443
c lw 64444
c lw 64445
c lw 64446
c lw 64447
c lw 64448
c lw 64449
c lw 64450
c lw 64451
c lw 64452
c lw 64453
c lw 64454
c lw 64455
c lw 64456
c lw 64457
c lw 64464
c lw 64466
c lw 64479
c lw 64480
c lw 64482
c lw 64483
c lw 64486
c lw 64487
c lw 64488
c lw 64489
c lw 64513
c lw 64514
c lw 64515
c lw 64516
c lw 64517
c lw 64518
c lw 64519
c lw 64520
c lw 64521
c lw 64522
c lw 64523
c lw 64524
c lw 64525
c lw 64526
c lw 64527
c lw 64528
c lw 64529
c lw 64530
c lw 64531
c lw 64532
c lw 64533
c lw 64534
c lw 64535
c lw 64536
c lw 64537
c lw 64538
c lw 64539
c lw 64540
c lw 64541
c lw 64547
c lw 64548
c lw 64549
c lw 64550
c lw 64560
c lw 64563
c lw 64564
c lw 64571
c lw 64572
c lw 64580
c lw 64582
c lw 64596
c lw 64656
c lw 64658
c lw 64659
c lw 64660
c lw 64672
c lw 64679
c lw 64681
c lw 64682
c lw 64693
c lw 64694
c lw 64695
c lw 64697
c lw 64699
c lw 64702
c lw 64704
c lw 64705
c lw 64726
c lw 64727
c lw 64735
c lw 64736
c lw 64738
c lw 64742
c lw 64746
c lw 64750
c lw 64754
c lw 64755
c lw 64758
c lw 64759
c lw 64761
c lw 64762
c lw 64763
c lw 64764
c lw 64765
c lw 64768
c lw 64769
c lw 64770
c lw 64772
c lw 64773
c lw 64776
c lw 64778
c lw 64779
c lw 64780
c lw 64781
c lw 64782
c lw 64783
c lw 64784
c lw 64785
c lw 64799
c lw 64801
c lw 64802
c lw 64803
c lw 64811
c lw 64812
c lw 64813
c lw 64814
c lw 64815
c lw 64817
c lw 64822
c lw 64823
c lw 64825
c lw 64830
c lw 64831
c lw 64832
c lw 64833
c lw 64835
c lw 64837
c lw 64838
c lw 64839
c lw 64840
c lw 64841
c lw 64842
c lw 64843
c lw 64845
c lw 64882
c lw 64883
c lw 64884
c lw 64885
c lw 64911
c lw 64914
c lw 64967
c lw 64968
c lw 64981
c lw 64999
c lw 65000
c lw 65001
c lw 65002
c lw 65003
c lw 65004
c lw 65005
c lw 65006
c lw 65007
c lw 65013
c lw 65019
c lw 65021
c lw 65031
c lw 65033
c lw 65039
c lw 65045
c lw 65054
c lw 65071
c lw 65072
c lw 65073
c lw 65081
c lw 65082
c lw 65093
c lw 65094
c lw 65095
c lw 65096
c lw 65097
c lw 65098
c lw 65099
c lw 65100
c lw 65101
c lw 65102
c lw 65103
c lw 65104
c lw 65105
c lw 65106
c lw 65107
c lw 65108
c lw 65109
c lw 65110
c lw 65111
c lw 65112
c lw 65115
c lw 65116
c lw 65117
c lw 65118
c lw 65119
c lw 65120
c lw 65121
c lw 65122
c lw 65123
c lw 65124
c lw 65125
c lw 65126
c lw 65127
c lw 65128
c lw 65129
c lw 65130
c lw 65132
c lw 65134
c lw 65136
c lw 65139
c lw 65140
c lw 65166
c lw 65167
c lw 65168
c lw 65169
c lw 65170
c lw 65171
c lw 65172
c lw 65173
c lw 65174
c lw 65175
c lw 65176
c lw 65177
c lw 65178
c lw 65179
c lw 65181
c lw 65201
c lw 65202
c lw 65203
c lw 65209
c lw 65210
c lw 65234
c lw 65235
c lw 65236
c lw 65237
c lw 65238
c lw 65239
c lw 65240
c lw 65241
c lw 65242
c lw 65243
c lw 65244
c lw 65245
c lw 65246
c lw 65247
c lw 65248
c lw 65249
c lw 65250
c lw 65251
c lw 65253
c lw 65254
c lw 65255
c lw 65256
c lw 65257
c lw 65258
c lw 65259
c lw 65260
c lw 65261
c lw 65262
c lw 65263
c lw 65264
c lw 65265
c lw 65266
c lw 65267
c lw 65268
c lw 65269
c lw 65270
c lw 65271
c lw 65272
c lw 65273
c lw 65274
c lw 65275
c lw 65276
c lw 65277
c lw 65278
c lw 65279
c lw 65280
c lw 65281
c lw 65282
c lw 65283
c lw 65284
c lw 65285
c lw 65286
c lw 65287
c lw 65288
c lw 65289
c lw 65290
c lw 65291
c lw 65292
c lw 65297
c lw 65301
c lw 65308
c lw 65309
c lw 65310
c lw 65312
c lw 65313
c lw 65314
c lw 65317
c lw 65318
c lw 65319
c lw 65320
c lw 65321
c lw 65322
c lw 65323
c lw 65324
c lw 65325
c lw 65327
c lw 65328
c lw 65329
c lw 65330
c lw 65331
c lw 65332
c lw 65333
c lw 65334
c lw 65335
c lw 65336
c lw 65337
c lw 65338
c lw 65339
c lw 65340
c lw 65341
c lw 65342
c lw 65343
c lw 65344
c lw 65345
c lw 65346
c lw 65347
c lw 65352
c lw 65353
c lw 65354
c lw 65355
c lw 65356
c lw 65357
c lw 65358
c lw 65359
c lw 65365
c lw 65396
c lw 65397
c lw 65398
c lw 65404
c lw 65405
c lw 65411
c lw 65412
c lw 65413
c lw 65414
c lw 65415
c lw 65416
c lw 65417
c lw 65418
c lw 65420
c lw 65422
c lw 65425
c lw 65426
c lw 65427
c lw 65428
c lw 65429
c lw 65430
c lw 65431
c lw 65432
c lw 65433
c lw 65435
c lw 65438
c lw 65439
c lw 65471
c lw 65472
c lw 65473
c lw 65475
c lw 65476
c lw 65489
c lw 65490
c lw 65491
c lw 65492
c lw 65493
c lw 65494
c lw 65495
c lw 65496
c lw 65497
c lw 65498
c lw 65499
c lw 65500
c lw 65508
c lw 65509
c lw 65510
c lw 65511
c lw 65512
c lw 65513
c lw 65514
c lw 65515
c lw 65516
c lw 65547
c lw 65548
c lw 65549
c lw 65550
c lw 65551
c lw 65552
c lw 65553
c lw 65554
c lw 65555
c lw 65556
c lw 65557
c lw 65558
c lw 65559
c lw 65560
c lw 65561
c lw 65562
c lw 65563
c lw 65564
c lw 65565
c lw 65566
c lw 65567
c lw 65568
c lw 65569
c lw 65570
c lw 65571
c lw 65575
c lw 65576
c lw 65577
c lw 65578
c lw 65579
c lw 65580
c lw 65581
c lw 65582
c lw 65583
c lw 65584
c lw 65585
c lw 65586
c lw 65587
c lw 65588
c lw 65589
c lw 65590
c lw 65591
c lw 65592
c lw 65593
c lw 65594
c lw 65595
c lw 65596
c lw 65597
c lw 65598
c lw 65599
c lw 65600
c lw 65601
c lw 65602
c lw 65685
c lw 65686
c lw 65687
c lw 65688
c lw 65689
c lw 65690
c lw 65691
c lw 65692
c lw 65693
c lw 65694
c lw 65695
c lw 65696
c lw 65697
c lw 65698
c lw 65699
c lw 65700
c lw 65701
c lw 65702
c lw 65703
c lw 65704
c lw 65705
c lw 65711
c lw 65712
c lw 65713
c lw 65714
c lw 65715
c lw 65716
c lw 65728
c lw 65731
c lw 65736
c lw 65737
c lw 65740
c lw 65741
c lw 65742
c lw 65743
c lw 65744
c lw 65745
c lw 65746
c lw 65747
c lw 65748
c lw 65749
c lw 65750
c lw 65751
c lw 65752
c lw 65753
c lw 65756
c lw 65765
c lw 65786
c lw 65787
c lw 65788
c lw 65789
c lw 65790
c lw 65791
c lw 65792
c lw 65793
c lw 65794
c lw 65795
c lw 65796
c lw 65797
c lw 65798
c lw 65799
c lw 65800
c lw 65801
c lw 65802
c lw 65803
c lw 65804
c lw 65805
c lw 65806
c lw 65808
c lw 65809
c lw 65810
c lw 65811
c lw 65812
c lw 65813
c lw 65814
c lw 65815
c lw 65816
c lw 65818
c lw 65819
c lw 65820
c lw 65821
c lw 65822
c lw 65823
c lw 65824
c lw 65825
c lw 65826
c lw 65827
c lw 65828
c lw 65829
c lw 65830
c lw 65831
c lw 65832
c lw 65833
c lw 65834
c lw 65835
c lw 65836
c lw 65837
c lw 65838
c lw 65839
c lw 65840
c lw 65841
c lw 65842
c lw 65843
c lw 65844
c lw 65845
c lw 65846
c lw 65847
c lw 65848
c lw 65849
c lw 65850
c lw 65851
c lw 65852
c lw 65853
c lw 65854
c lw 65855
c lw 65856
c lw 65857
c lw 65858
c lw 65859
c lw 65860
c lw 65861
c lw 65862
c lw 65863
c lw 65864
c lw 65865
c lw 65866
c lw 65867
c lw 65868
c lw 65869
c lw 65870
c lw 65871
c lw 65872
c lw 65873
c lw 65881
c lw 65933
c lw 65934
c lw 65935
c lw 65936
c lw 65937
c lw 65938
c lw 65939
c lw 65940
c lw 65941
c lw 65942
c lw 65943
c lw 65944
c lw 65945
c lw 65946
c lw 65947
c lw 65948
c lw 65949
c lw 65950
c lw 65951
c lw 65952
c lw 65953
c lw 65954
c lw 65955
c lw 65956
c lw 65957
c lw 65958
c lw 65959
c lw 65960
c lw 65961
c lw 65962
c lw 65963
c lw 65964
c lw 65965
c lw 65966
c lw 65967
c lw 65968
c lw 65969
c lw 65970
c lw 65971
c lw 65972
c lw 65973
c lw 65974
c lw 65976
c lw 65977
c lw 66006
c lw 66007
c lw 66008
c lw 66009
c lw 66010
c lw 66011
c lw 66012
c lw 66013
c lw 66014
c lw 66015
Killed
1812.964u 6.785s 30:20.39 99.9%	0+0k 0+0io 0pf+0w