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_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 475
c lw 1039
c lw 1414
c lw 2353
c lw 3292
c lw 3455
c lw 4231
c lw 5167
c lw 5170
c lw 6198
c lw 6927
c lw 7226
c lw 7906
c lw 8254
c lw 9398
c lw 10542
c lw 11366
c lw 11686
c lw 12010
c lw 12644
c lw 12964
c lw 13918
c lw 14552
c lw 14749
c lw 14829
c lw 15822
c lw 16815
c lw 17808
c lw 18398
c lw 18689
c lw 18801
c lw 19397
c lw 19426
c lw 20283
c lw 21140
c lw 21631
c lw 21997
c lw 22652
c lw 22689
c lw 23196
c lw 23837
c lw 24395
c lw 25331
c lw 25594
c lw 25609
c lw 26286
c lw 26939
c lw 27592
c lw 27847
c lw 28539
c lw 28746
c lw 29231
c lw 29501
c lw 30508
c lw 31515
c lw 32293
c lw 32359
c lw 33496
c lw 33626
c lw 34006
c lw 34334
c lw 34763
c lw 35338
c lw 35484
c lw 35671
c lw 36425
c lw 36471
c lw 37179
c lw 37933
c lw 38266
c lw 38882
c lw 39308
c lw 39498
c lw 40114
c lw 41250
c lw 41286
c lw 42386
c lw 42422
c lw 42782
c lw 43418
c lw 43867
c lw 44037
c lw 44520
c lw 44656
c lw 44744
c lw 45104
c lw 46099
c lw 47094
c lw 48089
c lw 48293
c lw 48730
c lw 49154
c lw 50122
c lw 50163
c lw 50172
c lw 50242
c lw 51090
c lw 51125
c lw 52181
c lw 52227
c lw 52488
c lw 52523
c lw 52567
c lw 52737
c lw 52790
c lw 52860
c lw 52869
c lw 52910
c lw 53659
c lw 54437
c lw 54509
c lw 54946
c lw 55150
c lw 55445
c lw 55920
c lw 55960
c lw 56006
c lw 56052
c lw 56105
c lw 56171
c lw 56529
c lw 56719
c lw 56953
c lw 56988
c lw 57083
c lw 57249
c lw 57275
c lw 57332
c lw 57556
c lw 57591
c lw 57680
c lw 57950
c lw 58013
c lw 58040
c lw 58818
c lw 58861
c lw 58870
c lw 58911
c lw 58940
c lw 58947
c lw 59135
c lw 59307
c lw 60040
c lw 60360
c lw 60816
c lw 60904
c lw 61040
c lw 61121
c lw 61353
c lw 61563
c lw 61658
c lw 62006
c lw 62089
c lw 62344
c lw 62485
c lw 62551
c lw 62768
c lw 62840
c lw 62976
c lw 62977
c lw 62986
c lw 63268
c lw 63471
c lw 63500
c lw 63551
c lw 63682
c lw 63774
c lw 63794
c lw 63858
c lw 63894
c lw 64157
c lw 64160
c lw 64528
c lw 64830
c lw 64848
c lw 64897
c lw 65043
c lw 65130
c lw 65262
c lw 65504
c lw 65604
c lw 65630
c lw 65645
c lw 65767
c lw 65784
c lw 66083
c lw 66150
c lw 66514
c lw 66551
c lw 66656
c lw 66882
c lw 66886
c lw 66899
c lw 66982
c lw 67072
c lw 67112
c lw 67261
c lw 67516
c lw 67844
c lw 67927
c lw 68224
c lw 68607
c lw 68705
c lw 68886
c lw 69083
c lw 69122
c lw 69132
c lw 69185
c lw 69231
c lw 69233
c lw 69619
c lw 69823
c lw 69843
c lw 69900
c lw 69926
c lw 70967
c lw 71011
c lw 71083
c lw 71111
c lw 71136
c lw 71153
c lw 71155
c lw 71199
c lw 71254
c lw 71257
c lw 71263
c lw 71298
c lw 71387
c lw 71487
c lw 71523
c lw 71550
c lw 71599
c lw 71650
c lw 71722
c lw 71730
c lw 71734
c lw 71838
c lw 72045
c lw 72070
c lw 72129
c lw 72165
c lw 72212
c lw 72245
c lw 72255
c lw 72321
c lw 72538
c lw 72610
c lw 72628
c lw 72648
c lw 72712
c lw 72720
c lw 72756
c lw 72769
c lw 72823
c lw 73017
c lw 73032
c lw 73071
c lw 73078
c lw 73084
c lw 73111
c lw 73127
c lw 73130
c lw 73136
c lw 73138
c lw 73140
c lw 73141
c lw 73145
c lw 73153
c lw 73225
c lw 73229
c lw 73247
c lw 73272
c lw 73285
c lw 73314
c lw 73325
c lw 73374
c lw 73423
c lw 73429
c lw 73440
c lw 73465
c lw 73475
c lw 73479
c lw 73486
c lw 73491
c lw 73492
c lw 73514
c lw 73525
c lw 73528
c lw 73540
c lw 73557
c lw 73570
c lw 73605
c lw 73609
c lw 73611
c lw 73612
c lw 73621
c lw 73622
c lw 73638
c lw 73639
c lw 73640
c lw 73641
c lw 73642
c lw 73644
c lw 73647
c lw 73650
c lw 73651
c lw 73652
c lw 73653
c lw 73656
c lw 73657
c lw 73664
c lw 73665
c lw 73667
c lw 73669
c lw 73671
c lw 73675
c lw 73676
c lw 73679
c lw 73680
c lw 73681
c lw 73688
c lw 73689
c lw 73691
c lw 73692
c lw 73693
c lw 73711
c lw 73713
c lw 73714
c lw 73715
c lw 73716
c lw 73717
c lw 73718
c lw 73719
c lw 73720
c lw 73721
c lw 73722
c lw 73723
c lw 73724
c lw 73725
c lw 73726
c lw 73727
c lw 73729
c lw 73730
c lw 73731
c lw 73732
c lw 73735
c lw 73737
c lw 73738
c lw 73739
c lw 73740
c lw 73741
c lw 73742
c lw 73743
c lw 73744
c lw 73745
c lw 73746
c lw 73747
c lw 73748
c lw 73749
c lw 73802
c lw 73863
c lw 73867
c lw 73871
c lw 73880
c lw 73893
c lw 73899
c lw 73900
c lw 73901
c lw 73902
c lw 73904
c lw 73905
c lw 73906
c lw 73907
c lw 73908
c lw 73919
c lw 73936
c lw 73961
c lw 73976
c lw 73978
c lw 74065
c lw 74066
c lw 74068
c lw 74069
c lw 74121
c lw 74179
c lw 74180
c lw 74181
c lw 74187
c lw 74190
c lw 74272
c lw 74273
c lw 74274
c lw 74287
c lw 74321
c lw 74322
c lw 74324
c lw 74325
c lw 74326
c lw 74327
c lw 74328
c lw 74330
c lw 74331
c lw 74332
c lw 74333
c lw 74334
c lw 74335
c lw 74341
c lw 74346
c lw 74349
c lw 74415
c lw 74423
c lw 74429
c lw 74432
c lw 74437
c lw 74445
c lw 74446
c lw 74447
c lw 74453
c lw 74463
c lw 74464
c lw 74466
c lw 74467
c lw 74513
c lw 74569
c lw 74572
c lw 74573
c lw 74576
c lw 74577
c lw 74579
c lw 74580
c lw 74582
c lw 74583
c lw 74584
c lw 74586
c lw 74589
c lw 74590
c lw 74591
c lw 74592
c lw 74593
c lw 74617
c lw 74618
c lw 74620
c lw 74621
c lw 74633
c lw 74634
c lw 74647
c lw 74648
c lw 74649
c lw 74708
c lw 74709
c lw 74721
c lw 74799
c lw 74800
c lw 74948
c lw 74949
c lw 74959
c lw 74968
c lw 74978
c lw 74979
c lw 74980
c lw 74981
c lw 74982
c lw 74983
c lw 74989
c lw 74993
c lw 75072
c lw 75093
c lw 75094
c lw 75095
c lw 75096
c lw 75097
c lw 75098
c lw 75099
c lw 75100
c lw 75101
c lw 75102
c lw 75103
c lw 75104
c lw 75119
c lw 75120
c lw 75121
c lw 75122
c lw 75123
c lw 75124
c lw 75125
c lw 75126
c lw 75127
c lw 75128
c lw 75129
c lw 75134
c lw 75135
c lw 75136
c lw 75139
c lw 75327
c lw 75328
c lw 75329
c lw 75330
c lw 75331
c lw 75332
c lw 75333
c lw 75334
c lw 75335
c lw 75336
c lw 75337
c lw 75340
c lw 75341
c lw 75342
c lw 75344
c lw 75345
c lw 75346
c lw 75352
c lw 75354
c lw 75355
c lw 75356
c lw 75357
c lw 75359
c lw 75364
c lw 75365
c lw 75366
c lw 75367
c lw 75368
c lw 75369
c lw 75370
c lw 75371
c lw 75372
c lw 75373
c lw 75374
c lw 75375
c lw 75376
c lw 75378
c lw 75379
c lw 75380
c lw 75381
c lw 75404
c lw 75406
c lw 75429
c lw 75430
c lw 75438
c lw 75439
c lw 75440
c lw 75441
c lw 75442
c lw 75443
c lw 75444
c lw 75445
c lw 75446
c lw 75447
c lw 75448
c lw 75449
c lw 75450
c lw 75451
c lw 75452
c lw 75453
c lw 75454
c lw 75455
c lw 75456
c lw 75457
c lw 75458
c lw 75459
c lw 75460
c lw 75461
c lw 75463
c lw 75464
c lw 75465
c lw 75466
c lw 75467
c lw 75468
c lw 75469
c lw 75470
c lw 75471
c lw 75472
c lw 75473
c lw 75513
c lw 75517
c lw 75520
c lw 75521
c lw 75522
c lw 75524
c lw 75527
c lw 75529
c lw 75530
c lw 75536
c lw 75537
c lw 75538
c lw 75547
c lw 75548
c lw 75549
c lw 75550
c lw 75551
c lw 75552
c lw 75563
c lw 75574
c lw 75575
c lw 75579
c lw 75591
c lw 75592
c lw 75593
c lw 75594
c lw 75595
c lw 75596
c lw 75597
c lw 75598
c lw 75599
c lw 75600
c lw 75601
c lw 75626
c lw 75639
c lw 75640
c lw 75641
c lw 75644
c lw 75645
c lw 75646
c lw 75647
c lw 75650
c lw 75655
c lw 75656
c lw 75659
c lw 75663
c lw 75667
c lw 75668
c lw 75669
c lw 75670
c lw 75674
c lw 75675
c lw 75678
c lw 75679
c lw 75681
c lw 75682
c lw 75683
c lw 75688
c lw 75690
c lw 75691
c lw 75693
c lw 75694
c lw 75695
c lw 75696
c lw 75697
c lw 75698
c lw 75699
c lw 75700
c lw 75701
c lw 75702
c lw 75703
c lw 75704
c lw 75705
c lw 75706
c lw 75707
c lw 75708
c lw 75709
c lw 75710
c lw 75712
c lw 75713
c lw 75714
c lw 75716
c lw 75717
c lw 75718
c lw 75719
c lw 75727
c lw 75728
c lw 75729
c lw 75778
c lw 75779
c lw 75782
c lw 75784
c lw 75785
c lw 75786
c lw 75787
c lw 75788
c lw 75791
c lw 75792
c lw 75794
c lw 75795
c lw 75796
c lw 75797
c lw 75798
c lw 75799
c lw 75800
c lw 75801
c lw 75802
c lw 75803
c lw 75804
c lw 75805
c lw 75806
c lw 75807
c lw 75808
c lw 75809
c lw 75810
c lw 75811
c lw 75812
c lw 75813
c lw 75814
c lw 75815
c lw 75817
c lw 75818
c lw 75819
c lw 75820
c lw 75821
c lw 75822
c lw 75823
c lw 75824
c lw 75825
c lw 75826
c lw 75827
c lw 75828
c lw 75829
c lw 75834
c lw 75835
c lw 75836
c lw 75840
c lw 75841
c lw 75842
c lw 75843
c lw 75844
c lw 75845
c lw 75846
c lw 75847
c lw 75848
c lw 75849
c lw 75850
c lw 75851
c lw 75852
c lw 75853
c lw 75854
c lw 75856
c lw 75881
c lw 75882
c lw 75883
c lw 75884
c lw 75885
c lw 75886
c lw 75887
c lw 75898
c lw 75899
c lw 75900
c lw 75903
c lw 75904
c lw 75905
c lw 75906
c lw 75907
c lw 75908
c lw 75909
c lw 75910
c lw 75911
c lw 75917
c lw 75918
c lw 75921
c lw 75922
c lw 75923
c lw 75925
c lw 75926
c lw 75928
c lw 75929
c lw 75930
c lw 75931
c lw 75932
c lw 75933
c lw 75934
c lw 75935
c lw 75936
c lw 75948
c lw 75965
c lw 75967
c lw 75972
c lw 75973
c lw 75974
c lw 75975
c lw 75976
c lw 75977
c lw 75978
c lw 75979
c lw 75980
c lw 75981
c lw 75982
c lw 75986
c lw 75987
c lw 75988
c lw 75989
c lw 75990
c lw 75991
c lw 75992
c lw 75993
c lw 75994
c lw 76021
c lw 76022
c lw 76023
c lw 76024
c lw 76025
c lw 76026
c lw 76028
c lw 76029
c lw 76030
c lw 76031
c lw 76032
c lw 76033
c lw 76034
c lw 76035
c lw 76036
c lw 76037
c lw 76038
c lw 76039
c lw 76042
c lw 76043
c lw 76044
c lw 76045
c lw 76046
c lw 76047
c lw 76048
c lw 76052
c lw 76053
c lw 76054
c lw 76055
c lw 76056
c lw 76057
c lw 76058
c lw 76059
c lw 76060
c lw 76061
c lw 76062
c lw 76063
c lw 76064
c lw 76065
c lw 76066
c lw 76067
c lw 76068
c lw 76069
c lw 76071
c lw 76072
c lw 76073
c lw 76074
c lw 76075
c lw 76133
c lw 76134
c lw 76135
c lw 76136
c lw 76137
c lw 76138
c lw 76139
c lw 76141
c lw 76142
c lw 76143
c lw 76144
c lw 76146
c lw 76155
c lw 76156
c lw 76157
c lw 76158
c lw 76159
c lw 76160
c lw 76164
c lw 76165
c lw 76166
c lw 76167
c lw 76168
c lw 76169
c lw 76172
c lw 76173
c lw 76174
c lw 76184
c lw 76185
c lw 76186
c lw 76195
c lw 76196
c lw 76197
c lw 76198
c lw 76207
c lw 76211
c lw 76212
c lw 76213
c lw 76214
c lw 76215
c lw 76216
c lw 76217
c lw 76218
c lw 76219
c lw 76220
c lw 76221
c lw 76222
c lw 76223
c lw 76224
c lw 76225
c lw 76226
c lw 76227
c lw 76228
c lw 76229
c lw 76230
c lw 76231
c lw 76242
c lw 76243
c lw 76244
c lw 76245
c lw 76246
c lw 76247
c lw 76248
c lw 76249
c lw 76250
c lw 76251
c lw 76252
c lw 76253
c lw 76254
c lw 76255
c lw 76256
c lw 76257
c lw 76258
c lw 76270
c lw 76271
c lw 76272
c lw 76273
c lw 76274
c lw 76275
c lw 76276
c lw 76277
c lw 76278
c lw 76279
c lw 76280
c lw 76281
c lw 76282
c lw 76283
c lw 76284
c lw 76285
c lw 76286
c lw 76287
c lw 76288
c lw 76289
c lw 76290
c lw 76291
c lw 76292
c lw 76293
c lw 76294
c lw 76295
c lw 76296
c lw 76297
c lw 76298
c lw 76299
c lw 76300
c lw 76301
c lw 76302
c lw 76303
c lw 76305
c lw 76306
c lw 76318
c lw 76319
c lw 76320
c lw 76321
c lw 76322
c lw 76323
c lw 76324
c lw 76334
c lw 76335
c lw 76336
c lw 76337
c lw 76338
c lw 76341
c lw 76342
c lw 76343
c lw 76344
c lw 76345
c lw 76346
c lw 76347
c lw 76348
c lw 76349
c lw 76350
c lw 76351
c lw 76352
c lw 76353
c lw 76354
c lw 76358
c lw 76359
c lw 76360
c lw 76361
c lw 76362
c lw 76363
c lw 76364
c lw 76365
c lw 76366
c lw 76367
c lw 76368
c lw 76369
c lw 76370
c lw 76371
c lw 76443
c lw 76444
c lw 76445
c lw 76446
c lw 76460
c lw 76461
c lw 76462
c lw 76463
c lw 76465
c lw 76466
c lw 76467
c lw 76468
c lw 76469
c lw 76470
c lw 76471
c lw 76472
c lw 76473
c lw 76474
c lw 76475
c lw 76477
c lw 76478
c lw 76479
c lw 76480
c lw 76481
c lw 76482
c lw 76483
c lw 76484
c lw 76485
c lw 76486
c lw 76487
c lw 76488
c lw 76489
c lw 76490
c lw 76491
c lw 76492
c lw 76493
c lw 76494
c lw 76496
c lw 76499
c lw 76501
c lw 76502
c lw 76503
c lw 76504
c lw 76505
c lw 76506
c lw 76507
c lw 76508
c lw 76509
c lw 76512
c lw 76513
c lw 76514
c lw 76515
c lw 76516
c lw 76517
c lw 76518
c lw 76519
c lw 76520
c lw 76521
c lw 76522
c lw 76523
c lw 76524
c lw 76525
c lw 76526
c lw 76527
c lw 76529
c lw 76530
c lw 76531
c lw 76532
c lw 76538
c lw 76539
c lw 76544
c lw 76546
c lw 76547
c lw 76548
c lw 76549
c lw 76550
c lw 76551
c lw 76552
c lw 76553
c lw 76554
c lw 76555
c lw 76556
c lw 76557
c lw 76558
c lw 76559
c lw 76560
c lw 76561
c lw 76562
c lw 76587
c lw 76588
c lw 76589
c lw 76590
c lw 76591
c lw 76592
c lw 76593
c lw 76594
c lw 76595
c lw 76596
c lw 76597
c lw 76598
c lw 76599
c lw 76600
c lw 76601
c lw 76602
c lw 76603
c lw 76604
c lw 76605
c lw 76606
c lw 76607
c lw 76608
c lw 76609
c lw 76610
c lw 76611
c lw 76612
c lw 76613
c lw 76614
c lw 76615
c lw 76616
c lw 76617
c lw 76618
c lw 76620
c lw 76621
c lw 76623
c lw 76624
c lw 76625
c lw 76626
c lw 76627
c lw 76628
c lw 76629
c lw 76630
c lw 76632
c lw 76633
c lw 76634
c lw 76635
c lw 76637
c lw 76638
c lw 76642
c lw 76643
c lw 76644
c lw 76645
c lw 76655
c lw 76656
c lw 76657
c lw 76658
c lw 76659
c lw 76660
c lw 76661
c lw 76662
c lw 76663
c lw 76665
c lw 76666
c lw 76667
c lw 76668
c lw 76669
c lw 76670
c lw 76671
c lw 76672
c lw 76673
c lw 76674
c lw 76675
c lw 76676
c lw 76677
c lw 76678
c lw 76679
c lw 76680
c lw 76681
c lw 76682
c lw 76683
c lw 76685
c lw 76686
c lw 76687
c lw 76688
c lw 76689
c lw 76690
c lw 76691
c lw 76692
c lw 76693
c lw 76694
c lw 76695
c lw 76696
c lw 76697
c lw 76698
c lw 76699
c lw 76700
c lw 76701
c lw 76702
c lw 76703
c lw 76704
c lw 76705
c lw 76706
c lw 76707
c lw 76708
c lw 76709
c lw 76710
c lw 76711
c lw 76712
c lw 76713
c lw 76714
c lw 76715
c lw 76716
c lw 76717
c lw 76718
c lw 76719
c lw 76720
c lw 76721
c lw 76722
c lw 76723
c lw 76724
c lw 76725
c lw 76726
c lw 76727
c lw 76728
c lw 76729
c lw 76730
c lw 76731
c lw 76732
c lw 76733
c lw 76734
c lw 76735
c lw 76736
c lw 76737
c lw 76738
c lw 76739
c lw 76740
c lw 76741
c lw 76742
c lw 76743
c lw 76744
c lw 76745
c lw 76746
c lw 76747
c lw 76748
c lw 76749
c lw 76750
c lw 76751
c lw 76752
c lw 76753
c lw 76754
c lw 76755
c lw 76756
c lw 76757
c lw 76758
c lw 76759
c lw 76760
c lw 76761
c lw 76762
c lw 76763
c lw 76764
c lw 76765
c lw 76766
c lw 76767
c lw 76768
c lw 76769
c lw 76770
c lw 76771
c lw 76772
c lw 76773
c lw 76774
c lw 76775
c lw 76776
c lw 76777
c lw 76778
c lw 76779
c lw 76780
c lw 76781
c lw 76782
c lw 76783
c lw 76784
c lw 76785
c lw 76786
c lw 76787
c lw 76788
c lw 76789
c lw 76790
c lw 76791
c lw 76792
c lw 76793
c lw 76794
c lw 76795
c lw 76796
c lw 76797
c lw 76798
c lw 76799
c lw 76800
c lw 76801
c lw 76802
c lw 76803
c lw 76804
c lw 76805
c lw 76806
c lw 76807
c lw 76808
c lw 76809
Killed
1803.124u 16.620s 30:23.24 99.8%	0+0k 0+0io 0pf+0w