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_170_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1089
c lw 2178
c lw 3248
c lw 3267
c lw 3785
c lw 4303
c lw 4675
c lw 4821
c lw 5313
c lw 6077
c lw 6962
c lw 7847
c lw 8732
c lw 9892
c lw 9903
c lw 10449
c lw 10792
c lw 11115
c lw 11620
c lw 12492
c lw 13546
c lw 14600
c lw 15225
c lw 15654
c lw 16590
c lw 17248
c lw 17526
c lw 17719
c lw 17826
c lw 18197
c lw 18379
c lw 19341
c lw 20300
c lw 20303
c lw 21174
c lw 21370
c lw 21608
c lw 22045
c lw 22444
c lw 22916
c lw 23787
c lw 24610
c lw 25385
c lw 25433
c lw 26208
c lw 26256
c lw 26527
c lw 27040
c lw 27731
c lw 28422
c lw 29113
c lw 29804
c lw 30951
c lw 32098
c lw 33187
c lw 33245
c lw 33774
c lw 33953
c lw 34154
c lw 34585
c lw 35113
c lw 35820
c lw 36527
c lw 37103
c lw 37213
c lw 37531
c lw 37988
c lw 38140
c lw 39076
c lw 39228
c lw 39938
c lw 40316
c lw 40815
c lw 41054
c lw 41547
c lw 41825
c lw 42495
c lw 42596
c lw 43246
c lw 43367
c lw 43374
c lw 43860
c lw 44684
c lw 44835
c lw 45343
c lw 45473
c lw 45949
c lw 46111
c lw 46334
c lw 46720
c lw 47058
c lw 47199
c lw 48084
c lw 48969
c lw 49217
c lw 49854
c lw 50323
c lw 50852
c lw 51158
c lw 51483
c lw 51859
c lw 51960
c lw 52247
c lw 52643
c lw 53234
c lw 53825
c lw 53955
c lw 54411
c lw 54806
c lw 55184
c lw 55846
c lw 56207
c lw 57031
c lw 57392
c lw 58025
c lw 58354
c lw 58552
c lw 58799
c lw 58991
c lw 59316
c lw 60043
c lw 60254
c lw 60278
c lw 61028
c lw 61240
c lw 61747
c lw 61950
c lw 62551
c lw 62660
c lw 62781
c lw 63180
c lw 63408
c lw 63578
c lw 64062
c lw 65305
c lw 65774
c lw 65986
c lw 66579
c lw 66590
c lw 67407
c lw 67913
c lw 68344
c lw 68347
c lw 68391
c lw 68498
c lw 68519
c lw 68722
c lw 69040
c lw 69252
c lw 69360
c lw 69572
c lw 69714
c lw 69788
c lw 69897
c lw 69907
c lw 70005
c lw 70015
c lw 70124
c lw 70216
c lw 70240
c lw 70705
c lw 70756
c lw 70877
c lw 70954
c lw 71164
c lw 71189
c lw 71290
c lw 71350
c lw 71535
c lw 71726
c lw 71896
c lw 71965
c lw 71991
c lw 72183
c lw 72316
c lw 72430
c lw 72538
c lw 72622
c lw 73007
c lw 73098
c lw 73151
c lw 73379
c lw 73476
c lw 73800
c lw 73858
c lw 73910
c lw 73955
c lw 74034
c lw 74423
c lw 74564
c lw 74685
c lw 74812
c lw 74963
c lw 75071
c lw 75184
c lw 75335
c lw 75487
c lw 75713
c lw 75924
c lw 76084
c lw 76120
c lw 76162
c lw 76896
c lw 76937
c lw 76948
c lw 77047
c lw 77066
c lw 77318
c lw 77517
c lw 77679
c lw 78262
c lw 78491
c lw 78640
c lw 78647
c lw 78761
c lw 78837
c lw 78898
c lw 79028
c lw 79197
c lw 79323
c lw 79327
c lw 79601
c lw 79993
c lw 80058
c lw 80227
c lw 80240
c lw 80441
c lw 80489
c lw 80558
c lw 80682
c lw 80822
c lw 80833
c lw 80931
c lw 81019
c lw 81288
c lw 81363
c lw 81454
c lw 81651
c lw 81661
c lw 82188
c lw 82352
c lw 82475
c lw 82894
c lw 83100
c lw 83570
c lw 83834
c lw 83914
c lw 84449
c lw 84452
c lw 84847
c lw 85276
c lw 85427
c lw 85431
c lw 85508
c lw 85553
c lw 85720
c lw 86043
c lw 86185
c lw 86404
c lw 86478
c lw 86549
c lw 86586
c lw 86640
c lw 86690
c lw 86764
c lw 87050
c lw 87132
c lw 87410
c lw 88068
c lw 88183
c lw 88231
c lw 88353
c lw 88444
c lw 88588
c lw 88649
c lw 88774
c lw 88913
c lw 89854
c lw 89874
c lw 90064
c lw 90067
c lw 90108
c lw 90121
c lw 90276
c lw 90281
c lw 90726
c lw 90767
c lw 90844
c lw 90883
c lw 90984
c lw 91005
c lw 91114
c lw 91169
c lw 91187
c lw 91194
c lw 91233
c lw 91333
c lw 91360
c lw 91384
c lw 91436
c lw 91444
c lw 91486
c lw 91492
c lw 91518
c lw 91522
c lw 91533
c lw 91592
c lw 91599
c lw 91653
c lw 91706
c lw 91710
c lw 91722
c lw 91754
c lw 91783
c lw 91822
c lw 91898
c lw 91911
c lw 91931
c lw 91984
c lw 91997
c lw 92127
c lw 92132
c lw 92154
c lw 92167
c lw 92188
c lw 92215
c lw 92252
c lw 92293
c lw 92298
c lw 92372
c lw 92463
c lw 92487
c lw 92495
c lw 92498
c lw 92508
c lw 92515
c lw 92522
c lw 92532
c lw 92534
c lw 92539
c lw 92565
c lw 92611
c lw 92612
c lw 92621
c lw 92624
c lw 92631
c lw 92639
c lw 92640
c lw 92641
c lw 92665
c lw 92668
c lw 92674
c lw 92682
c lw 92685
c lw 92689
c lw 92695
c lw 92702
c lw 92722
c lw 92827
c lw 92829
c lw 92872
c lw 92879
c lw 92880
c lw 92883
c lw 92886
c lw 92907
c lw 92911
c lw 92963
c lw 93002
c lw 93040
c lw 93044
c lw 93143
c lw 93160
c lw 93180
c lw 93191
c lw 93199
c lw 93216
c lw 93224
c lw 93267
c lw 93283
c lw 93291
c lw 93299
c lw 93303
c lw 93326
c lw 93337
c lw 93353
c lw 93354
c lw 93366
c lw 93376
c lw 93379
c lw 93383
c lw 93384
c lw 93392
c lw 93412
c lw 93420
c lw 93472
c lw 93492
c lw 93519
c lw 93526
c lw 93527
c lw 93561
c lw 93565
c lw 93598
c lw 93608
c lw 93615
c lw 93697
c lw 93698
c lw 93700
c lw 93701
c lw 93703
c lw 93705
c lw 93706
c lw 93707
c lw 93891
c lw 93892
c lw 93895
c lw 94026
c lw 94119
c lw 94127
c lw 94128
c lw 94130
c lw 94132
c lw 94133
c lw 94134
c lw 94135
c lw 94142
c lw 94143
c lw 94146
c lw 94148
c lw 94149
c lw 94150
c lw 94161
c lw 94162
c lw 94171
c lw 94172
c lw 94173
c lw 94183
c lw 94184
c lw 94185
c lw 94187
c lw 94188
c lw 94189
c lw 94190
c lw 94191
c lw 94192
c lw 94193
c lw 94198
c lw 94199
c lw 94200
c lw 94201
c lw 94203
c lw 94205
c lw 94206
c lw 94207
c lw 94208
c lw 94209
c lw 94210
c lw 94211
c lw 94212
c lw 94213
c lw 94217
c lw 94218
c lw 94219
c lw 94220
c lw 94221
c lw 94222
c lw 94223
c lw 94224
c lw 94225
c lw 94228
c lw 94230
c lw 94235
c lw 94236
c lw 94239
c lw 94240
c lw 94241
c lw 94242
c lw 94243
c lw 94245
c lw 94246
c lw 94247
c lw 94248
c lw 94276
c lw 94277
c lw 94278
c lw 94279
c lw 94280
c lw 94281
c lw 94282
c lw 94287
c lw 94288
c lw 94289
c lw 94290
c lw 94291
c lw 94292
c lw 94293
c lw 94305
c lw 94306
c lw 94308
c lw 94331
c lw 94332
c lw 94351
c lw 94352
c lw 94355
c lw 94357
c lw 94358
c lw 94359
c lw 94360
c lw 94361
c lw 94362
c lw 94363
c lw 94364
c lw 94365
c lw 94366
c lw 94368
c lw 94416
c lw 94417
c lw 94421
c lw 94422
c lw 94423
c lw 94424
c lw 94434
c lw 94437
c lw 94438
c lw 94461
c lw 94466
c lw 94467
c lw 94471
c lw 94478
c lw 94479
c lw 94480
c lw 94482
c lw 94483
c lw 94484
c lw 94485
c lw 94487
c lw 94488
c lw 94489
c lw 94490
c lw 94491
c lw 94492
c lw 94493
c lw 94494
c lw 94495
c lw 94499
c lw 94500
c lw 94501
c lw 94502
c lw 94508
c lw 94511
c lw 94512
c lw 94513
c lw 94515
c lw 94516
c lw 94517
c lw 94518
c lw 94519
c lw 94520
c lw 94521
c lw 94522
c lw 94523
c lw 94526
c lw 94543
c lw 94544
c lw 94545
c lw 94546
c lw 94547
c lw 94548
c lw 94549
c lw 94550
c lw 94552
c lw 94553
c lw 94555
c lw 94557
c lw 94558
c lw 94561
c lw 94564
c lw 94565
c lw 94566
c lw 94567
c lw 94568
c lw 94569
c lw 94570
c lw 94571
c lw 94572
c lw 94573
c lw 94574
c lw 94575
c lw 94576
c lw 94577
c lw 94579
c lw 94580
c lw 94581
c lw 94582
c lw 94583
c lw 94584
c lw 94585
c lw 94586
c lw 94587
c lw 94588
c lw 94589
c lw 94621
c lw 94622
c lw 94628
c lw 94630
c lw 94633
c lw 94639
c lw 94640
c lw 94687
c lw 94701
c lw 94702
c lw 94703
c lw 94706
c lw 94707
c lw 94708
c lw 94709
c lw 94710
c lw 94711
c lw 94723
c lw 94724
c lw 94730
c lw 94732
c lw 94784
c lw 94796
c lw 94802
c lw 94803
c lw 94804
c lw 94805
c lw 94807
c lw 94808
c lw 94809
c lw 94810
c lw 94811
c lw 94812
c lw 94814
c lw 94815
c lw 94816
c lw 94817
c lw 94818
c lw 94819
c lw 94820
c lw 94821
c lw 94822
c lw 94823
c lw 94824
c lw 94825
c lw 94826
c lw 94827
c lw 94828
c lw 94829
c lw 94830
c lw 94831
c lw 94832
c lw 94833
c lw 94834
c lw 94835
c lw 94836
c lw 94837
c lw 94840
c lw 94841
c lw 94842
c lw 94843
c lw 94844
c lw 94845
c lw 94848
c lw 94849
c lw 94850
c lw 94851
c lw 94852
c lw 94853
c lw 94890
c lw 94891
c lw 94892
c lw 94893
c lw 94894
c lw 94895
c lw 94896
c lw 94897
c lw 94898
c lw 94899
c lw 94906
c lw 94910
c lw 94927
c lw 94930
c lw 94931
c lw 94932
c lw 94935
c lw 94936
c lw 94948
c lw 94949
c lw 94950
c lw 94951
c lw 94968
c lw 94969
c lw 94970
c lw 94972
c lw 94974
c lw 94975
c lw 94976
c lw 94977
c lw 94978
c lw 94979
c lw 94980
c lw 94981
c lw 94982
c lw 94983
c lw 94984
c lw 94985
c lw 94986
c lw 94987
c lw 94989
c lw 94991
c lw 94992
c lw 94993
c lw 94994
c lw 94995
c lw 94996
c lw 94997
c lw 95007
c lw 95008
c lw 95009
c lw 95041
c lw 95042
c lw 95045
c lw 95063
c lw 95064
c lw 95065
c lw 95066
c lw 95067
c lw 95076
c lw 95077
c lw 95078
c lw 95079
c lw 95080
c lw 95081
c lw 95082
c lw 95083
c lw 95084
c lw 95085
c lw 95086
c lw 95087
c lw 95088
c lw 95089
c lw 95090
c lw 95091
c lw 95095
c lw 95096
c lw 95097
c lw 95098
c lw 95099
c lw 95101
c lw 95102
c lw 95103
c lw 95104
c lw 95105
c lw 95106
c lw 95107
c lw 95108
c lw 95109
c lw 95110
c lw 95111
c lw 95158
c lw 95161
c lw 95162
c lw 95163
c lw 95164
c lw 95165
c lw 95166
c lw 95167
c lw 95168
c lw 95169
c lw 95170
c lw 95171
c lw 95172
c lw 95173
c lw 95174
c lw 95177
c lw 95199
c lw 95200
c lw 95203
c lw 95204
c lw 95205
c lw 95206
c lw 95207
c lw 95208
c lw 95209
c lw 95211
c lw 95212
c lw 95213
c lw 95214
c lw 95215
c lw 95216
c lw 95217
c lw 95218
c lw 95219
c lw 95220
c lw 95221
c lw 95222
c lw 95223
c lw 95225
c lw 95226
c lw 95227
c lw 95228
c lw 95229
c lw 95230
c lw 95231
c lw 95232
c lw 95233
c lw 95234
c lw 95235
c lw 95236
c lw 95237
c lw 95238
c lw 95239
c lw 95240
c lw 95241
c lw 95242
c lw 95243
c lw 95244
c lw 95245
c lw 95246
c lw 95247
c lw 95248
c lw 95249
c lw 95250
c lw 95251
c lw 95252
c lw 95253
c lw 95254
c lw 95255
c lw 95256
c lw 95257
c lw 95260
c lw 95261
c lw 95262
c lw 95263
c lw 95264
c lw 95265
c lw 95266
c lw 95267
c lw 95268
c lw 95269
c lw 95270
c lw 95271
c lw 95272
c lw 95273
c lw 95274
c lw 95275
c lw 95280
c lw 95281
c lw 95282
c lw 95283
c lw 95284
c lw 95285
c lw 95286
c lw 95287
c lw 95288
c lw 95289
c lw 95290
c lw 95291
c lw 95292
c lw 95293
c lw 95294
c lw 95295
c lw 95296
c lw 95297
c lw 95312
c lw 95333
c lw 95334
c lw 95335
c lw 95339
c lw 95340
c lw 95341
c lw 95342
c lw 95343
c lw 95344
c lw 95345
c lw 95346
c lw 95347
c lw 95348
c lw 95349
c lw 95350
c lw 95351
c lw 95352
c lw 95353
c lw 95370
c lw 95371
c lw 95372
c lw 95373
c lw 95374
c lw 95375
c lw 95376
c lw 95377
c lw 95379
c lw 95388
c lw 95391
c lw 95392
c lw 95393
c lw 95394
c lw 95395
c lw 95396
c lw 95397
c lw 95406
c lw 95414
c lw 95422
c lw 95423
c lw 95442
c lw 95494
c lw 95495
c lw 95496
c lw 95497
c lw 95498
c lw 95499
c lw 95500
c lw 95501
c lw 95502
c lw 95503
c lw 95504
c lw 95511
c lw 95512
c lw 95513
c lw 95514
c lw 95515
c lw 95516
c lw 95517
c lw 95518
c lw 95519
c lw 95520
c lw 95521
c lw 95522
c lw 95523
c lw 95524
c lw 95525
c lw 95526
c lw 95527
c lw 95528
c lw 95529
c lw 95530
c lw 95531
c lw 95532
c lw 95533
c lw 95534
c lw 95535
c lw 95536
c lw 95538
c lw 95539
c lw 95540
c lw 95541
c lw 95542
c lw 95543
c lw 95544
c lw 95545
c lw 95546
c lw 95547
c lw 95548
c lw 95549
c lw 95550
c lw 95551
c lw 95552
c lw 95554
c lw 95555
c lw 95556
c lw 95557
c lw 95558
c lw 95565
c lw 95566
c lw 95567
c lw 95568
c lw 95569
c lw 95572
c lw 95573
c lw 95574
c lw 95575
c lw 95576
c lw 95578
c lw 95586
c lw 95587
c lw 95588
c lw 95589
c lw 95590
c lw 95591
c lw 95592
c lw 95593
c lw 95594
c lw 95596
c lw 95597
c lw 95598
c lw 95599
c lw 95600
c lw 95601
c lw 95602
c lw 95608
c lw 95609
c lw 95612
c lw 95616
c lw 95633
c lw 95634
c lw 95635
c lw 95636
c lw 95637
c lw 95638
c lw 95639
c lw 95640
c lw 95641
c lw 95642
c lw 95643
c lw 95649
c lw 95650
c lw 95654
c lw 95655
c lw 95656
c lw 95659
c lw 95672
c lw 95673
c lw 95674
c lw 95675
c lw 95676
c lw 95677
c lw 95678
c lw 95679
c lw 95680
c lw 95681
c lw 95682
c lw 95683
c lw 95684
c lw 95685
c lw 95686
c lw 95687
c lw 95688
c lw 95689
c lw 95707
c lw 95769
c lw 95770
c lw 95771
c lw 95772
c lw 95773
c lw 95774
c lw 95775
c lw 95776
c lw 95777
c lw 95778
c lw 95779
c lw 95780
c lw 95781
c lw 95790
c lw 95795
c lw 95820
c lw 95823
c lw 95844
c lw 95845
c lw 95854
c lw 95855
c lw 95856
c lw 95857
c lw 95858
c lw 95864
c lw 95865
c lw 95873
c lw 95874
c lw 95876
c lw 95877
c lw 95878
c lw 95882
c lw 95905
c lw 95906
c lw 95907
c lw 95908
c lw 95909
c lw 95910
c lw 95911
c lw 95912
c lw 95913
c lw 95917
c lw 95928
c lw 95932
c lw 95933
c lw 95934
c lw 95935
c lw 95936
c lw 95937
c lw 95938
c lw 95939
c lw 95940
c lw 95941
c lw 95942
c lw 95943
c lw 95944
c lw 95952
c lw 95998
c lw 95999
c lw 96000
c lw 96001
c lw 96002
c lw 96003
c lw 96004
c lw 96005
c lw 96006
c lw 96007
c lw 96008
c lw 96009
c lw 96010
c lw 96011
c lw 96012
c lw 96013
c lw 96014
c lw 96015
c lw 96022
c lw 96023
c lw 96024
c lw 96025
c lw 96026
c lw 96027
c lw 96028
c lw 96029
c lw 96030
c lw 96031
c lw 96032
c lw 96033
c lw 96034
c lw 96035
c lw 96036
c lw 96061
c lw 96159
c lw 96160
c lw 96161
c lw 96220
c lw 96221
c lw 96222
c lw 96223
c lw 96224
c lw 96225
c lw 96226
c lw 96227
c lw 96228
c lw 96229
c lw 96230
c lw 96231
c lw 96232
c lw 96233
c lw 96234
c lw 96235
c lw 96236
c lw 96237
c lw 96238
c lw 96239
c lw 96240
c lw 96241
c lw 96242
c lw 96243
c lw 96244
c lw 96245
c lw 96246
c lw 96247
c lw 96251
c lw 96252
c lw 96253
c lw 96255
c lw 96256
c lw 96257
c lw 96258
c lw 96259
c lw 96274
c lw 96275
c lw 96276
c lw 96280
c lw 96282
c lw 96283
c lw 96284
c lw 96285
c lw 96286
c lw 96287
c lw 96288
c lw 96289
c lw 96290
c lw 96291
c lw 96292
c lw 96293
c lw 96297
c lw 96298
c lw 96299
c lw 96301
c lw 96302
c lw 96303
c lw 96304
c lw 96305
c lw 96306
c lw 96312
c lw 96313
c lw 96314
c lw 96315
c lw 96316
c lw 96317
c lw 96318
c lw 96319
c lw 96320
c lw 96321
c lw 96322
c lw 96323
c lw 96324
c lw 96325
c lw 96326
c lw 96327
c lw 96328
c lw 96329
c lw 96330
c lw 96331
c lw 96332
c lw 96333
c lw 96334
c lw 96335
c lw 96337
c lw 96338
c lw 96339
c lw 96340
c lw 96341
c lw 96342
c lw 96343
c lw 96344
c lw 96345
c lw 96346
c lw 96347
c lw 96348
c lw 96351
c lw 96352
c lw 96353
c lw 96354
c lw 96363
c lw 96364
c lw 96365
c lw 96366
c lw 96367
c lw 96368
c lw 96369
c lw 96370
c lw 96371
c lw 96372
c lw 96373
c lw 96374
c lw 96375
c lw 96376
c lw 96377
c lw 96378
c lw 96379
c lw 96380
c lw 96381
c lw 96382
c lw 96383
c lw 96384
c lw 96385
c lw 96386
c lw 96387
c lw 96388
c lw 96389
c lw 96390
c lw 96392
c lw 96393
c lw 96394
c lw 96395
c lw 96396
c lw 96397
c lw 96398
c lw 96399
c lw 96400
c lw 96401
c lw 96402
c lw 96403
c lw 96404
c lw 96405
c lw 96406
c lw 96407
c lw 96408
c lw 96409
c lw 96410
c lw 96411
c lw 96412
c lw 96413
c lw 96414
c lw 96415
c lw 96416
c lw 96417
c lw 96418
c lw 96419
c lw 96420
c lw 96421
c lw 96422
c lw 96423
c lw 96424
c lw 96425
c lw 96426
c lw 96427
c lw 96428
c lw 96429
c lw 96430
c lw 96431
c lw 96432
c lw 96435
c lw 96436
c lw 96437
c lw 96438
c lw 96440
c lw 96441
c lw 96442
c lw 96443
c lw 96444
c lw 96445
c lw 96446
c lw 96447
c lw 96448
c lw 96449
c lw 96450
c lw 96505
c lw 96529
c lw 96530
c lw 96531
c lw 96537
c lw 96538
c lw 96539
c lw 96540
c lw 96541
c lw 96542
c lw 96543
c lw 96544
c lw 96545
c lw 96546
c lw 96547
c lw 96548
c lw 96556
c lw 96557
c lw 96558
c lw 96559
c lw 96560
c lw 96561
Killed
1802.145u 17.589s 30:24.28 99.7%	0+0k 0+0io 0pf+0w