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_140_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 854
c lw 1708
c lw 2562
c lw 3001
c lw 3269
c lw 3976
c lw 4095
c lw 4683
c lw 5316
c lw 5390
c lw 5639
c lw 6097
c lw 7033
c lw 7969
c lw 8901
c lw 8905
c lw 9082
c lw 9766
c lw 9935
c lw 10788
c lw 11609
c lw 11641
c lw 12377
c lw 13236
c lw 14095
c lw 14954
c lw 15941
c lw 15999
c lw 16452
c lw 16928
c lw 17194
c lw 17915
c lw 18704
c lw 18902
c lw 19341
c lw 19552
c lw 20259
c lw 20470
c lw 21371
c lw 21388
c lw 21850
c lw 22095
c lw 23044
c lw 23993
c lw 24511
c lw 24942
c lw 25714
c lw 25891
c lw 26187
c lw 26263
c lw 27077
c lw 27922
c lw 28408
c lw 28767
c lw 29761
c lw 29896
c lw 30828
c lw 30890
c lw 31774
c lw 31884
c lw 32768
c lw 33475
c lw 34297
c lw 35384
c lw 35564
c lw 35889
c lw 36042
c lw 36702
c lw 37117
c lw 37482
c lw 37638
c lw 37777
c lw 38348
c lw 38437
c lw 39074
c lw 39097
c lw 39856
c lw 40615
c lw 41374
c lw 41397
c lw 42365
c lw 42494
c lw 42738
c lw 43333
c lw 43804
c lw 44013
c lw 45055
c lw 45835
c lw 46097
c lw 46165
c lw 46178
c lw 46420
c lw 47114
c lw 47231
c lw 47749
c lw 48039
c lw 48063
c lw 48163
c lw 48401
c lw 49012
c lw 49479
c lw 49696
c lw 49939
c lw 50952
c lw 51502
c lw 51965
c lw 52978
c lw 53734
c lw 53747
c lw 53964
c lw 54265
c lw 54770
c lw 54774
c lw 55026
c lw 55840
c lw 56092
c lw 56484
c lw 56553
c lw 56702
c lw 56865
c lw 57190
c lw 57332
c lw 57428
c lw 58065
c lw 58172
c lw 58230
c lw 58244
c lw 58267
c lw 58320
c lw 58529
c lw 58766
c lw 58791
c lw 58930
c lw 58996
c lw 59079
c lw 59125
c lw 59148
c lw 59197
c lw 59562
c lw 59651
c lw 59669
c lw 60428
c lw 60442
c lw 60932
c lw 61201
c lw 61212
c lw 61231
c lw 61255
c lw 61392
c lw 61399
c lw 61545
c lw 61793
c lw 61885
c lw 61889
c lw 62190
c lw 62244
c lw 62453
c lw 62470
c lw 62587
c lw 62600
c lw 62648
c lw 62825
c lw 62934
c lw 63153
c lw 63222
c lw 63391
c lw 63491
c lw 63587
c lw 63833
c lw 63952
c lw 64014
c lw 64018
c lw 64030
c lw 64031
c lw 64137
c lw 64151
c lw 64328
c lw 64523
c lw 64612
c lw 64658
c lw 64727
c lw 65239
c lw 65249
c lw 65471
c lw 65699
c lw 65938
c lw 66181
c lw 66391
c lw 66867
c lw 66903
c lw 66997
c lw 67133
c lw 67378
c lw 67410
c lw 67595
c lw 67891
c lw 68155
c lw 68324
c lw 68398
c lw 68403
c lw 68526
c lw 68652
c lw 69002
c lw 69031
c lw 69208
c lw 69590
c lw 69807
c lw 70004
c lw 70261
c lw 70272
c lw 70494
c lw 70613
c lw 70784
c lw 70995
c lw 71215
c lw 71446
c lw 71868
c lw 71937
c lw 71968
c lw 72069
c lw 72322
c lw 72500
c lw 72533
c lw 72596
c lw 73195
c lw 73381
c lw 73554
c lw 73575
c lw 73607
c lw 74092
c lw 74256
c lw 74508
c lw 74604
c lw 74606
c lw 74624
c lw 74702
c lw 74704
c lw 74720
c lw 74728
c lw 74742
c lw 74761
c lw 74766
c lw 74786
c lw 74789
c lw 74806
c lw 74836
c lw 74854
c lw 74960
c lw 74983
c lw 75006
c lw 75089
c lw 75155
c lw 75169
c lw 75229
c lw 75237
c lw 75266
c lw 75331
c lw 75429
c lw 75440
c lw 75532
c lw 75664
c lw 75688
c lw 75712
c lw 75725
c lw 75743
c lw 75914
c lw 75986
c lw 76033
c lw 76037
c lw 76045
c lw 76050
c lw 76052
c lw 76057
c lw 76061
c lw 76064
c lw 76066
c lw 76067
c lw 76070
c lw 76072
c lw 76074
c lw 76090
c lw 76098
c lw 76100
c lw 76103
c lw 76107
c lw 76176
c lw 76207
c lw 76273
c lw 76338
c lw 76364
c lw 76428
c lw 76451
c lw 76472
c lw 76594
c lw 76600
c lw 76602
c lw 76604
c lw 76619
c lw 76627
c lw 76753
c lw 76754
c lw 76755
c lw 76762
c lw 76784
c lw 76790
c lw 76792
c lw 76807
c lw 76810
c lw 76811
c lw 76816
c lw 76903
c lw 76953
c lw 76956
c lw 76957
c lw 77004
c lw 77012
c lw 77015
c lw 77125
c lw 77143
c lw 77146
c lw 77212
c lw 77312
c lw 77314
c lw 77324
c lw 77350
c lw 77368
c lw 77371
c lw 77377
c lw 77379
c lw 77386
c lw 77387
c lw 77390
c lw 77391
c lw 77393
c lw 77420
c lw 77423
c lw 77497
c lw 77517
c lw 77518
c lw 77536
c lw 77541
c lw 77571
c lw 77572
c lw 77573
c lw 77575
c lw 77576
c lw 77580
c lw 77581
c lw 77582
c lw 77583
c lw 77584
c lw 77585
c lw 77587
c lw 77594
c lw 77646
c lw 77713
c lw 77714
c lw 77719
c lw 77720
c lw 77721
c lw 77736
c lw 77737
c lw 77738
c lw 77739
c lw 77740
c lw 77743
c lw 77745
c lw 77798
c lw 77832
c lw 77833
c lw 77843
c lw 77844
c lw 77845
c lw 77846
c lw 77850
c lw 77851
c lw 77852
c lw 77853
c lw 77857
c lw 77865
c lw 77866
c lw 77868
c lw 77869
c lw 77872
c lw 77873
c lw 77876
c lw 77877
c lw 77880
c lw 77881
c lw 77883
c lw 77884
c lw 77919
c lw 77920
c lw 78006
c lw 78007
c lw 78012
c lw 78013
c lw 78014
c lw 78017
c lw 78032
c lw 78037
c lw 78045
c lw 78050
c lw 78051
c lw 78052
c lw 78053
c lw 78056
c lw 78060
c lw 78066
c lw 78084
c lw 78134
c lw 78147
c lw 78174
c lw 78176
c lw 78177
c lw 78178
c lw 78179
c lw 78181
c lw 78182
c lw 78183
c lw 78184
c lw 78186
c lw 78187
c lw 78188
c lw 78202
c lw 78271
c lw 78281
c lw 78301
c lw 78304
c lw 78305
c lw 78328
c lw 78329
c lw 78331
c lw 78332
c lw 78339
c lw 78340
c lw 78341
c lw 78344
c lw 78345
c lw 78346
c lw 78350
c lw 78373
c lw 78374
c lw 78375
c lw 78376
c lw 78377
c lw 78378
c lw 78379
c lw 78380
c lw 78381
c lw 78382
c lw 78383
c lw 78384
c lw 78385
c lw 78386
c lw 78388
c lw 78389
c lw 78390
c lw 78391
c lw 78393
c lw 78394
c lw 78395
c lw 78488
c lw 78495
c lw 78508
c lw 78509
c lw 78510
c lw 78519
c lw 78520
c lw 78522
c lw 78523
c lw 78526
c lw 78527
c lw 78528
c lw 78529
c lw 78542
c lw 78543
c lw 78544
c lw 78545
c lw 78546
c lw 78547
c lw 78550
c lw 78551
c lw 78552
c lw 78553
c lw 78554
c lw 78555
c lw 78556
c lw 78557
c lw 78558
c lw 78559
c lw 78560
c lw 78565
c lw 78581
c lw 78582
c lw 78583
c lw 78584
c lw 78585
c lw 78586
c lw 78587
c lw 78588
c lw 78634
c lw 78636
c lw 78637
c lw 78638
c lw 78639
c lw 78640
c lw 78641
c lw 78642
c lw 78643
c lw 78644
c lw 78645
c lw 78653
c lw 78654
c lw 78655
c lw 78656
c lw 78657
c lw 78661
c lw 78663
c lw 78664
c lw 78665
c lw 78666
c lw 78671
c lw 78672
c lw 78673
c lw 78674
c lw 78675
c lw 78676
c lw 78677
c lw 78678
c lw 78679
c lw 78680
c lw 78681
c lw 78682
c lw 78686
c lw 78695
c lw 78696
c lw 78697
c lw 78698
c lw 78699
c lw 78700
c lw 78701
c lw 78702
c lw 78703
c lw 78704
c lw 78705
c lw 78706
c lw 78707
c lw 78709
c lw 78710
c lw 78711
c lw 78712
c lw 78721
c lw 78722
c lw 78723
c lw 78725
c lw 78729
c lw 78730
c lw 78731
c lw 78732
c lw 78733
c lw 78734
c lw 78750
c lw 78829
c lw 78830
c lw 78838
c lw 78839
c lw 78840
c lw 78841
c lw 78842
c lw 78843
c lw 78844
c lw 78845
c lw 78846
c lw 78847
c lw 78848
c lw 78849
c lw 78852
c lw 78853
c lw 78854
c lw 78855
c lw 78856
c lw 78857
c lw 78858
c lw 78859
c lw 78860
c lw 78861
c lw 78862
c lw 78863
c lw 78864
c lw 78865
c lw 78866
c lw 78867
c lw 78868
c lw 78869
c lw 78870
c lw 78871
c lw 78902
c lw 78904
c lw 78905
c lw 78906
c lw 78907
c lw 78908
c lw 78909
c lw 78910
c lw 78911
c lw 78912
c lw 78913
c lw 78914
c lw 78915
c lw 78916
c lw 78918
c lw 78919
c lw 78920
c lw 78947
c lw 78948
c lw 78949
c lw 78950
c lw 78987
c lw 79000
c lw 79002
c lw 79003
c lw 79005
c lw 79006
c lw 79007
c lw 79008
c lw 79009
c lw 79010
c lw 79020
c lw 79021
c lw 79022
c lw 79023
c lw 79024
c lw 79025
c lw 79027
c lw 79035
c lw 79036
c lw 79037
c lw 79038
c lw 79040
c lw 79041
c lw 79042
c lw 79043
c lw 79048
c lw 79062
c lw 79071
c lw 79073
c lw 79074
c lw 79075
c lw 79076
c lw 79077
c lw 79078
c lw 79079
c lw 79091
c lw 79092
c lw 79093
c lw 79123
c lw 79127
c lw 79129
c lw 79130
c lw 79131
c lw 79133
c lw 79138
c lw 79139
c lw 79140
c lw 79141
c lw 79142
c lw 79143
c lw 79144
c lw 79145
c lw 79146
c lw 79147
c lw 79148
c lw 79149
c lw 79150
c lw 79151
c lw 79152
c lw 79153
c lw 79154
c lw 79155
c lw 79156
c lw 79157
c lw 79158
c lw 79159
c lw 79160
c lw 79163
c lw 79164
c lw 79172
c lw 79173
c lw 79174
c lw 79175
c lw 79176
c lw 79180
c lw 79194
c lw 79198
c lw 79199
c lw 79200
c lw 79201
c lw 79202
c lw 79203
c lw 79204
c lw 79205
c lw 79206
c lw 79207
c lw 79208
c lw 79209
c lw 79210
c lw 79211
c lw 79212
c lw 79213
c lw 79214
c lw 79215
c lw 79216
c lw 79217
c lw 79218
c lw 79223
c lw 79224
c lw 79225
c lw 79226
c lw 79227
c lw 79228
c lw 79274
c lw 79275
c lw 79283
c lw 79284
c lw 79285
c lw 79286
c lw 79287
c lw 79288
c lw 79289
c lw 79290
c lw 79291
c lw 79292
c lw 79306
c lw 79307
c lw 79320
c lw 79326
c lw 79400
c lw 79401
c lw 79402
c lw 79403
c lw 79404
c lw 79405
c lw 79406
c lw 79407
c lw 79408
c lw 79409
c lw 79410
c lw 79411
c lw 79412
c lw 79413
c lw 79414
c lw 79415
c lw 79416
c lw 79417
c lw 79418
c lw 79419
c lw 79420
c lw 79421
c lw 79422
c lw 79588
c lw 79752
c lw 79753
c lw 79754
c lw 79804
c lw 79805
c lw 79806
c lw 79807
c lw 79808
c lw 79809
c lw 79810
c lw 79811
c lw 79812
c lw 79813
c lw 79818
c lw 79819
c lw 79820
c lw 79821
c lw 79822
c lw 79828
c lw 79830
c lw 79851
c lw 79853
c lw 79860
c lw 79862
c lw 79863
c lw 79864
c lw 79865
c lw 79866
c lw 79867
c lw 79868
c lw 79873
c lw 79881
c lw 79882
c lw 79883
c lw 79884
c lw 79885
c lw 79886
c lw 79887
c lw 79888
c lw 79889
c lw 79890
c lw 79892
c lw 79901
c lw 79905
c lw 79918
c lw 79919
c lw 79920
c lw 79921
c lw 79922
c lw 79927
c lw 79928
c lw 79929
c lw 79930
c lw 79931
c lw 79932
c lw 79933
c lw 79934
c lw 79935
c lw 79937
c lw 79939
c lw 79940
c lw 79941
c lw 79942
c lw 79943
c lw 79944
c lw 79945
c lw 79946
c lw 79947
c lw 79948
c lw 79949
c lw 79950
c lw 79951
c lw 79952
c lw 79953
c lw 79954
c lw 79955
c lw 79956
c lw 79957
c lw 79958
c lw 79959
c lw 79960
c lw 79961
c lw 79962
c lw 79963
c lw 79964
c lw 79965
c lw 79966
c lw 79967
c lw 79968
c lw 79969
c lw 79970
c lw 79971
c lw 79972
c lw 79973
c lw 79974
c lw 79975
c lw 79976
c lw 79977
c lw 79978
c lw 79979
c lw 79980
c lw 79981
c lw 79982
c lw 79983
c lw 79984
c lw 79985
c lw 79986
c lw 79987
c lw 79988
c lw 79989
c lw 79990
c lw 79991
c lw 79992
c lw 79993
c lw 79994
c lw 79995
c lw 79996
c lw 79997
c lw 79998
c lw 79999
c lw 80000
c lw 80001
c lw 80002
c lw 80003
c lw 80004
c lw 80005
c lw 80014
c lw 80015
c lw 80016
c lw 80017
c lw 80018
c lw 80019
c lw 80020
c lw 80021
c lw 80022
c lw 80023
c lw 80024
c lw 80025
c lw 80026
c lw 80027
c lw 80028
c lw 80043
c lw 80044
c lw 80045
c lw 80046
c lw 80047
c lw 80048
c lw 80049
c lw 80050
c lw 80051
c lw 80052
c lw 80053
c lw 80054
c lw 80055
c lw 80056
c lw 80057
c lw 80058
c lw 80059
c lw 80060
c lw 80061
c lw 80062
c lw 80064
c lw 80069
c lw 80070
c lw 80071
c lw 80072
c lw 80073
c lw 80074
c lw 80079
c lw 80080
c lw 80081
c lw 80082
c lw 80083
c lw 80084
c lw 80085
c lw 80086
c lw 80087
c lw 80088
c lw 80101
c lw 80103
c lw 80110
c lw 80115
c lw 80119
c lw 80134
c lw 80135
c lw 80136
c lw 80138
c lw 80139
c lw 80140
c lw 80141
c lw 80142
c lw 80143
c lw 80144
c lw 80145
c lw 80146
c lw 80147
c lw 80164
c lw 80172
c lw 80173
c lw 80174
c lw 80175
c lw 80176
c lw 80177
c lw 80178
c lw 80180
c lw 80181
c lw 80182
c lw 80194
c lw 80195
c lw 80196
c lw 80197
c lw 80198
c lw 80199
c lw 80201
c lw 80202
c lw 80203
c lw 80204
c lw 80205
c lw 80206
c lw 80207
c lw 80208
c lw 80209
c lw 80210
c lw 80211
c lw 80212
c lw 80213
c lw 80217
c lw 80218
c lw 80219
c lw 80220
c lw 80221
c lw 80222
c lw 80223
c lw 80224
c lw 80225
c lw 80226
c lw 80227
c lw 80228
c lw 80229
c lw 80239
c lw 80240
c lw 80242
c lw 80243
c lw 80245
c lw 80246
c lw 80258
c lw 80259
c lw 80260
c lw 80261
c lw 80262
c lw 80263
c lw 80264
c lw 80265
c lw 80266
c lw 80267
c lw 80268
c lw 80269
c lw 80270
c lw 80271
c lw 80272
c lw 80273
c lw 80274
c lw 80275
c lw 80276
c lw 80277
c lw 80278
c lw 80279
c lw 80280
c lw 80281
c lw 80282
c lw 80283
c lw 80284
c lw 80285
c lw 80286
c lw 80287
c lw 80288
c lw 80289
c lw 80290
c lw 80291
c lw 80329
c lw 80344
c lw 80345
c lw 80346
c lw 80347
c lw 80348
c lw 80349
c lw 80350
c lw 80351
c lw 80352
c lw 80353
c lw 80354
c lw 80367
c lw 80368
c lw 80369
c lw 80370
c lw 80371
c lw 80372
c lw 80373
c lw 80374
c lw 80375
c lw 80376
c lw 80377
c lw 80378
c lw 80379
c lw 80380
c lw 80381
c lw 80382
c lw 80383
c lw 80384
c lw 80385
c lw 80386
c lw 80387
c lw 80388
c lw 80389
c lw 80393
c lw 80397
c lw 80399
c lw 80400
c lw 80401
c lw 80402
c lw 80403
c lw 80404
c lw 80405
c lw 80406
c lw 80407
c lw 80408
c lw 80409
c lw 80410
c lw 80411
c lw 80412
c lw 80414
c lw 80415
c lw 80416
c lw 80417
c lw 80418
c lw 80419
c lw 80420
c lw 80421
c lw 80422
c lw 80423
Killed
1807.062u 12.691s 30:20.23 99.9%	0+0k 0+0io 0pf+0w