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_150_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 728
c lw 1705
c lw 2682
c lw 3346
c lw 3659
c lw 4668
c lw 5677
c lw 6659
c lw 6686
c lw 7481
c lw 8276
c lw 8560
c lw 8977
c lw 10004
c lw 11031
c lw 11217
c lw 12058
c lw 12952
c lw 12997
c lw 13599
c lw 14742
c lw 15524
c lw 15885
c lw 17028
c lw 17261
c lw 18124
c lw 18171
c lw 18566
c lw 19065
c lw 19709
c lw 19925
c lw 20852
c lw 21023
c lw 21273
c lw 21653
c lw 22166
c lw 23094
c lw 24022
c lw 24125
c lw 24950
c lw 25730
c lw 26449
c lw 26510
c lw 27290
c lw 28070
c lw 28371
c lw 28734
c lw 28831
c lw 29398
c lw 29832
c lw 30859
c lw 31886
c lw 32386
c lw 32913
c lw 33881
c lw 34849
c lw 35557
c lw 35618
c lw 36326
c lw 36387
c lw 36576
c lw 36981
c lw 37156
c lw 38019
c lw 38169
c lw 38888
c lw 39198
c lw 39607
c lw 40105
c lw 40326
c lw 41107
c lw 41825
c lw 41888
c lw 41957
c lw 42669
c lw 43450
c lw 44068
c lw 44937
c lw 45806
c lw 45894
c lw 46876
c lw 47345
c lw 47831
c lw 47901
c lw 48412
c lw 48619
c lw 48993
c lw 49574
c lw 50155
c lw 50587
c lw 50736
c lw 51596
c lw 52456
c lw 53697
c lw 54574
c lw 54938
c lw 55451
c lw 56179
c lw 56642
c lw 57107
c lw 57695
c lw 58039
c lw 58586
c lw 58601
c lw 59304
c lw 59434
c lw 59552
c lw 59897
c lw 60518
c lw 60841
c lw 61499
c lw 61785
c lw 62026
c lw 62692
c lw 62933
c lw 63378
c lw 63840
c lw 64069
c lw 64178
c lw 64452
c lw 65110
c lw 65255
c lw 65670
c lw 66564
c lw 66579
c lw 66649
c lw 66737
c lw 66966
c lw 67361
c lw 67620
c lw 67738
c lw 67750
c lw 67965
c lw 68236
c lw 68239
c lw 68303
c lw 68705
c lw 68732
c lw 68924
c lw 68939
c lw 69048
c lw 69313
c lw 69505
c lw 69510
c lw 69581
c lw 69650
c lw 69713
c lw 69990
c lw 70016
c lw 70334
c lw 70450
c lw 70516
c lw 70666
c lw 70781
c lw 70940
c lw 70970
c lw 71016
c lw 71049
c lw 71191
c lw 71406
c lw 71587
c lw 71768
c lw 72064
c lw 72167
c lw 72187
c lw 72228
c lw 72254
c lw 72271
c lw 72492
c lw 72769
c lw 72802
c lw 72823
c lw 72863
c lw 73191
c lw 73550
c lw 73565
c lw 73971
c lw 74001
c lw 74028
c lw 74242
c lw 74347
c lw 74545
c lw 75015
c lw 75112
c lw 75263
c lw 75449
c lw 75776
c lw 75834
c lw 76104
c lw 76315
c lw 76405
c lw 76457
c lw 76576
c lw 76655
c lw 76682
c lw 76729
c lw 76910
c lw 77305
c lw 77326
c lw 77347
c lw 77708
c lw 77830
c lw 78676
c lw 78733
c lw 78850
c lw 78911
c lw 78956
c lw 79127
c lw 79376
c lw 79642
c lw 79826
c lw 79955
c lw 80269
c lw 80782
c lw 80811
c lw 80933
c lw 81155
c lw 81397
c lw 81874
c lw 81935
c lw 82611
c lw 83180
c lw 83197
c lw 83267
c lw 83355
c lw 83514
c lw 83629
c lw 83659
c lw 83717
c lw 83847
c lw 83887
c lw 83957
c lw 84071
c lw 84108
c lw 84735
c lw 85717
c lw 85744
c lw 85777
c lw 86163
c lw 86275
c lw 86464
c lw 86653
c lw 86711
c lw 86772
c lw 86845
c lw 86856
c lw 86868
c lw 86874
c lw 86908
c lw 86947
c lw 86954
c lw 87023
c lw 87063
c lw 87094
c lw 87099
c lw 87146
c lw 87172
c lw 87180
c lw 87293
c lw 87444
c lw 87504
c lw 87531
c lw 87556
c lw 87601
c lw 87610
c lw 87624
c lw 87625
c lw 87632
c lw 87663
c lw 87742
c lw 87775
c lw 87796
c lw 87923
c lw 87950
c lw 88112
c lw 88170
c lw 88336
c lw 88466
c lw 88494
c lw 88500
c lw 88506
c lw 88507
c lw 88513
c lw 88518
c lw 88530
c lw 88536
c lw 88618
c lw 88646
c lw 88675
c lw 88685
c lw 88702
c lw 88706
c lw 88712
c lw 88713
c lw 88718
c lw 88723
c lw 88739
c lw 88775
c lw 88789
c lw 88800
c lw 88805
c lw 88838
c lw 88856
c lw 88863
c lw 88872
c lw 88917
c lw 88922
c lw 88923
c lw 88936
c lw 88959
c lw 88979
c lw 88989
c lw 88992
c lw 89014
c lw 89072
c lw 89122
c lw 89149
c lw 89157
c lw 89207
c lw 89212
c lw 89213
c lw 89219
c lw 89227
c lw 89229
c lw 89237
c lw 89283
c lw 89370
c lw 89371
c lw 89375
c lw 89376
c lw 89377
c lw 89382
c lw 89388
c lw 89392
c lw 89393
c lw 89397
c lw 89432
c lw 89546
c lw 89567
c lw 89571
c lw 89668
c lw 89674
c lw 89695
c lw 89707
c lw 89744
c lw 89761
c lw 89791
c lw 89795
c lw 89801
c lw 89817
c lw 89819
c lw 89832
c lw 89838
c lw 89866
c lw 89899
c lw 89900
c lw 89901
c lw 89902
c lw 89904
c lw 89906
c lw 89910
c lw 89912
c lw 89922
c lw 89928
c lw 90078
c lw 90079
c lw 90080
c lw 90089
c lw 90093
c lw 90094
c lw 90096
c lw 90097
c lw 90098
c lw 90099
c lw 90101
c lw 90102
c lw 90103
c lw 90104
c lw 90105
c lw 90110
c lw 90111
c lw 90121
c lw 90122
c lw 90123
c lw 90124
c lw 90125
c lw 90126
c lw 90127
c lw 90128
c lw 90129
c lw 90130
c lw 90131
c lw 90132
c lw 90133
c lw 90134
c lw 90135
c lw 90161
c lw 90163
c lw 90164
c lw 90181
c lw 90182
c lw 90183
c lw 90189
c lw 90200
c lw 90206
c lw 90208
c lw 90213
c lw 90215
c lw 90216
c lw 90242
c lw 90246
c lw 90279
c lw 90280
c lw 90281
c lw 90287
c lw 90288
c lw 90289
c lw 90290
c lw 90291
c lw 90292
c lw 90293
c lw 90294
c lw 90295
c lw 90298
c lw 90299
c lw 90300
c lw 90316
c lw 90318
c lw 90320
c lw 90332
c lw 90333
c lw 90334
c lw 90335
c lw 90336
c lw 90337
c lw 90338
c lw 90339
c lw 90350
c lw 90352
c lw 90357
c lw 90358
c lw 90359
c lw 90360
c lw 90361
c lw 90362
c lw 90363
c lw 90364
c lw 90365
c lw 90366
c lw 90369
c lw 90370
c lw 90371
c lw 90372
c lw 90373
c lw 90374
c lw 90376
c lw 90377
c lw 90378
c lw 90379
c lw 90380
c lw 90381
c lw 90383
c lw 90386
c lw 90396
c lw 90397
c lw 90400
c lw 90403
c lw 90418
c lw 90423
c lw 90424
c lw 90425
c lw 90426
c lw 90427
c lw 90432
c lw 90433
c lw 90434
c lw 90438
c lw 90439
c lw 90441
c lw 90442
c lw 90443
c lw 90444
c lw 90445
c lw 90446
c lw 90447
c lw 90470
c lw 90471
c lw 90472
c lw 90487
c lw 90488
c lw 90489
c lw 90493
c lw 90494
c lw 90495
c lw 90496
c lw 90497
c lw 90498
c lw 90499
c lw 90500
c lw 90501
c lw 90503
c lw 90505
c lw 90507
c lw 90508
c lw 90509
c lw 90510
c lw 90511
c lw 90512
c lw 90513
c lw 90514
c lw 90515
c lw 90516
c lw 90517
c lw 90518
c lw 90519
c lw 90520
c lw 90521
c lw 90522
c lw 90523
c lw 90524
c lw 90525
c lw 90526
c lw 90527
c lw 90542
c lw 90544
c lw 90545
c lw 90546
c lw 90547
c lw 90548
c lw 90549
c lw 90585
c lw 90586
c lw 90587
c lw 90588
c lw 90589
c lw 90590
c lw 90591
c lw 90592
c lw 90593
c lw 90594
c lw 90595
c lw 90596
c lw 90597
c lw 90598
c lw 90599
c lw 90611
c lw 90615
c lw 90616
c lw 90617
c lw 90618
c lw 90619
c lw 90620
c lw 90621
c lw 90622
c lw 90623
c lw 90628
c lw 90638
c lw 90639
c lw 90643
c lw 90644
c lw 90645
c lw 90646
c lw 90647
c lw 90648
c lw 90649
c lw 90650
c lw 90652
c lw 90653
c lw 90654
c lw 90655
c lw 90656
c lw 90657
c lw 90658
c lw 90661
c lw 90662
c lw 90663
c lw 90664
c lw 90667
c lw 90681
c lw 90682
c lw 90683
c lw 90684
c lw 90685
c lw 90686
c lw 90692
c lw 90695
c lw 90699
c lw 90702
c lw 90711
c lw 90764
c lw 90765
c lw 90767
c lw 90768
c lw 90769
c lw 90770
c lw 90790
c lw 90811
c lw 90816
c lw 90820
c lw 90845
c lw 90851
c lw 90881
c lw 90907
c lw 90913
c lw 91009
c lw 91010
c lw 91019
c lw 91021
c lw 91022
c lw 91023
c lw 91024
c lw 91025
c lw 91026
c lw 91027
c lw 91028
c lw 91029
c lw 91032
c lw 91047
c lw 91068
c lw 91070
c lw 91071
c lw 91099
c lw 91100
c lw 91101
c lw 91103
c lw 91104
c lw 91106
c lw 91111
c lw 91124
c lw 91131
c lw 91142
c lw 91163
c lw 91166
c lw 91180
c lw 91181
c lw 91184
c lw 91187
c lw 91194
c lw 91271
c lw 91276
c lw 91277
c lw 91278
c lw 91279
c lw 91280
c lw 91281
c lw 91290
c lw 91291
c lw 91292
c lw 91293
c lw 91294
c lw 91295
c lw 91296
c lw 91297
c lw 91298
c lw 91299
c lw 91300
c lw 91301
c lw 91303
c lw 91304
c lw 91305
c lw 91306
c lw 91307
c lw 91309
c lw 91310
c lw 91311
c lw 91312
c lw 91313
c lw 91321
c lw 91322
c lw 91327
c lw 91329
c lw 91332
c lw 91335
c lw 91336
c lw 91340
c lw 91341
c lw 91342
c lw 91343
c lw 91344
c lw 91345
c lw 91346
c lw 91347
c lw 91348
c lw 91349
c lw 91351
c lw 91352
c lw 91353
c lw 91354
c lw 91355
c lw 91356
c lw 91357
c lw 91358
c lw 91369
c lw 91370
c lw 91371
c lw 91372
c lw 91374
c lw 91377
c lw 91378
c lw 91379
c lw 91380
c lw 91381
c lw 91382
c lw 91383
c lw 91384
c lw 91386
c lw 91388
c lw 91390
c lw 91391
c lw 91392
c lw 91396
c lw 91397
c lw 91399
c lw 91411
c lw 91412
c lw 91413
c lw 91414
c lw 91416
c lw 91419
c lw 91420
c lw 91421
c lw 91422
c lw 91423
c lw 91424
c lw 91425
c lw 91426
c lw 91427
c lw 91428
c lw 91429
c lw 91430
c lw 91431
c lw 91432
c lw 91433
c lw 91434
c lw 91435
c lw 91436
c lw 91437
c lw 91438
c lw 91439
c lw 91440
c lw 91441
c lw 91442
c lw 91443
c lw 91444
c lw 91445
c lw 91446
c lw 91447
c lw 91465
c lw 91466
c lw 91467
c lw 91468
c lw 91469
c lw 91470
c lw 91471
c lw 91472
c lw 91473
c lw 91474
c lw 91475
c lw 91476
c lw 91478
c lw 91479
c lw 91480
c lw 91481
c lw 91482
c lw 91483
c lw 91484
c lw 91485
c lw 91486
c lw 91487
c lw 91488
c lw 91489
c lw 91499
c lw 91502
c lw 91507
c lw 91508
c lw 91509
c lw 91510
c lw 91511
c lw 91512
c lw 91513
c lw 91514
c lw 91515
c lw 91516
c lw 91517
c lw 91518
c lw 91519
c lw 91520
c lw 91521
c lw 91522
c lw 91523
c lw 91524
c lw 91526
c lw 91532
c lw 91533
c lw 91534
c lw 91535
c lw 91536
c lw 91537
c lw 91538
c lw 91541
c lw 91542
c lw 91543
c lw 91544
c lw 91545
c lw 91546
c lw 91547
c lw 91569
c lw 91744
c lw 91761
c lw 91762
c lw 91763
c lw 91764
c lw 91765
c lw 91766
c lw 91767
c lw 91768
c lw 91769
c lw 91770
c lw 91771
c lw 91772
c lw 91773
c lw 91774
c lw 91775
c lw 91795
c lw 91796
c lw 91802
c lw 91803
c lw 91804
c lw 91805
c lw 91806
c lw 91807
c lw 91836
c lw 91837
c lw 91838
c lw 91839
c lw 91840
c lw 91841
c lw 91842
c lw 91843
c lw 91844
c lw 91845
c lw 91846
c lw 91847
c lw 91850
c lw 91851
c lw 91853
c lw 91854
c lw 91855
c lw 91856
c lw 91858
c lw 91859
c lw 91860
c lw 91909
c lw 91910
c lw 91911
c lw 91912
c lw 91913
c lw 91914
c lw 91915
c lw 91916
c lw 91917
c lw 91918
c lw 91919
c lw 91920
c lw 91921
c lw 91940
c lw 91941
c lw 91942
c lw 91943
c lw 91944
c lw 91945
c lw 91946
c lw 91947
c lw 91948
c lw 91949
c lw 91950
c lw 91951
c lw 91952
c lw 91953
c lw 91954
c lw 91955
c lw 91956
c lw 91957
c lw 91958
c lw 91959
c lw 91963
c lw 91964
c lw 91965
c lw 91966
c lw 91967
c lw 91968
c lw 91969
c lw 91970
c lw 91971
c lw 91972
c lw 91973
c lw 91974
c lw 91975
c lw 91976
c lw 91977
c lw 91978
c lw 91979
c lw 91980
c lw 91981
c lw 91982
c lw 91983
c lw 91984
c lw 91985
c lw 91986
c lw 91987
c lw 91988
c lw 91989
c lw 91990
c lw 91991
c lw 91992
c lw 91993
c lw 91994
c lw 91995
c lw 91996
c lw 91997
c lw 91998
c lw 91999
c lw 92000
c lw 92001
c lw 92002
c lw 92003
c lw 92004
c lw 92005
c lw 92006
c lw 92007
c lw 92008
c lw 92009
c lw 92064
c lw 92065
c lw 92066
c lw 92067
c lw 92068
c lw 92085
c lw 92086
c lw 92087
c lw 92105
c lw 92106
c lw 92107
c lw 92167
c lw 92168
c lw 92169
c lw 92170
c lw 92171
c lw 92172
c lw 92173
c lw 92174
c lw 92175
c lw 92176
c lw 92177
c lw 92178
c lw 92179
c lw 92195
c lw 92244
c lw 92245
c lw 92246
c lw 92247
c lw 92436
c lw 92437
c lw 92438
c lw 92439
c lw 92440
c lw 92441
c lw 92442
c lw 92443
c lw 92446
c lw 92447
c lw 92448
c lw 92449
c lw 92450
c lw 92451
c lw 92452
c lw 92464
c lw 92465
c lw 92466
c lw 92467
c lw 92468
c lw 92469
c lw 92470
c lw 92471
c lw 92472
c lw 92473
c lw 92474
c lw 92475
c lw 92476
c lw 92477
c lw 92478
c lw 92479
c lw 92480
c lw 92481
c lw 92482
c lw 92483
c lw 92484
c lw 92485
c lw 92486
c lw 92487
c lw 92488
c lw 92489
c lw 92490
c lw 92491
c lw 92492
c lw 92493
c lw 92498
c lw 92499
c lw 92500
c lw 92501
c lw 92502
c lw 92503
c lw 92504
c lw 92505
c lw 92512
c lw 92513
c lw 92514
c lw 92515
c lw 92516
c lw 92517
c lw 92518
c lw 92519
c lw 92520
c lw 92521
c lw 92522
c lw 92523
c lw 92524
c lw 92529
c lw 92530
c lw 92560
c lw 92582
c lw 92583
c lw 92584
c lw 92585
c lw 92590
c lw 92591
c lw 92592
c lw 92605
c lw 92618
c lw 92619
c lw 92625
c lw 92658
c lw 92659
c lw 92660
c lw 92661
c lw 92662
c lw 92663
c lw 92664
c lw 92665
c lw 92666
c lw 92667
c lw 92668
c lw 92669
c lw 92671
c lw 92672
c lw 92673
c lw 92674
c lw 92675
c lw 92676
c lw 92677
c lw 92678
c lw 92679
c lw 92680
c lw 92681
c lw 92682
c lw 92683
c lw 92684
c lw 92685
c lw 92686
c lw 92687
c lw 92688
c lw 92689
c lw 92690
c lw 92691
Killed
1809.946u 9.804s 30:24.21 99.7%	0+0k 0+0io 0pf+0w