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_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 325
c lw 409
c lw 548
c lw 1154
c lw 1710
c lw 1760
c lw 2216
c lw 2672
c lw 3128
c lw 3949
c lw 4464
c lw 4770
c lw 5211
c lw 5591
c lw 6108
c lw 6412
c lw 7445
c lw 8478
c lw 8928
c lw 9378
c lw 9808
c lw 10238
c lw 10668
c lw 11098
c lw 11861
c lw 12624
c lw 13387
c lw 14367
c lw 15347
c lw 16327
c lw 16768
c lw 17331
c lw 17887
c lw 18258
c lw 18388
c lw 18440
c lw 19021
c lw 19966
c lw 20021
c lw 20966
c lw 20990
c lw 21021
c lw 21966
c lw 22021
c lw 22209
c lw 22446
c lw 22577
c lw 22866
c lw 23846
c lw 24826
c lw 25806
c lw 26654
c lw 27502
c lw 27597
c lw 28350
c lw 28707
c lw 29198
c lw 29319
c lw 29544
c lw 29689
c lw 29993
c lw 30195
c lw 30442
c lw 30679
c lw 30865
c lw 30970
c lw 31772
c lw 31828
c lw 32575
c lw 32679
c lw 33198
c lw 33586
c lw 34742
c lw 35898
c lw 36756
c lw 37054
c lw 38185
c lw 38860
c lw 39294
c lw 39316
c lw 39785
c lw 40316
c lw 40884
c lw 41109
c lw 41249
c lw 41408
c lw 41435
c lw 42022
c lw 42882
c lw 43074
c lw 43223
c lw 43516
c lw 44526
c lw 44744
c lw 45536
c lw 45592
c lw 45812
c lw 46263
c lw 46537
c lw 46927
c lw 48048
c lw 48863
c lw 48885
c lw 49142
c lw 49351
c lw 49602
c lw 50211
c lw 50371
c lw 50794
c lw 50896
c lw 51643
c lw 51917
c lw 52664
c lw 52938
c lw 52990
c lw 53340
c lw 53364
c lw 54206
c lw 54324
c lw 55116
c lw 55278
c lw 55764
c lw 56002
c lw 56373
c lw 56522
c lw 57099
c lw 57354
c lw 57704
c lw 57735
c lw 58577
c lw 58699
c lw 58858
c lw 58885
c lw 59044
c lw 59096
c lw 59219
c lw 59800
c lw 59993
c lw 60114
c lw 60124
c lw 60250
c lw 60361
c lw 60410
c lw 60549
c lw 60578
c lw 60600
c lw 61256
c lw 61283
c lw 61374
c lw 61398
c lw 61583
c lw 61814
c lw 61870
c lw 61884
c lw 61926
c lw 62052
c lw 62093
c lw 62115
c lw 62299
c lw 62360
c lw 62552
c lw 62634
c lw 62738
c lw 62748
c lw 62850
c lw 62945
c lw 62955
c lw 62990
c lw 63011
c lw 63727
c lw 64371
c lw 64623
c lw 64801
c lw 64887
c lw 64989
c lw 65500
c lw 65725
c lw 65732
c lw 65934
c lw 65969
c lw 66036
c lw 66114
c lw 66403
c lw 66497
c lw 66916
c lw 67149
c lw 67255
c lw 67355
c lw 67411
c lw 67492
c lw 67610
c lw 67791
c lw 67928
c lw 67942
c lw 68006
c lw 68109
c lw 68136
c lw 68180
c lw 68267
c lw 68541
c lw 68693
c lw 68723
c lw 68912
c lw 69071
c lw 69131
c lw 69215
c lw 69233
c lw 69622
c lw 69851
c lw 69865
c lw 69907
c lw 70194
c lw 70390
c lw 70621
c lw 70908
c lw 70918
c lw 71201
c lw 71202
c lw 71229
c lw 71279
c lw 71366
c lw 71397
c lw 71565
c lw 71577
c lw 71659
c lw 71683
c lw 71690
c lw 71750
c lw 71805
c lw 71876
c lw 71959
c lw 71990
c lw 72264
c lw 72346
c lw 72366
c lw 72476
c lw 72840
c lw 72892
c lw 72895
c lw 72896
c lw 72926
c lw 73048
c lw 73181
c lw 73320
c lw 73457
c lw 73468
c lw 73600
c lw 73661
c lw 73725
c lw 73803
c lw 73902
c lw 74174
c lw 74197
c lw 74261
c lw 74275
c lw 74286
c lw 74303
c lw 74371
c lw 74510
c lw 74716
c lw 74768
c lw 74782
c lw 74903
c lw 74913
c lw 75039
c lw 75088
c lw 75227
c lw 75256
c lw 75278
c lw 75283
c lw 75293
c lw 75334
c lw 75356
c lw 75419
c lw 75442
c lw 75501
c lw 75523
c lw 75533
c lw 75628
c lw 75649
c lw 75874
c lw 75881
c lw 76083
c lw 76118
c lw 76150
c lw 76170
c lw 76174
c lw 76181
c lw 76307
c lw 76325
c lw 76369
c lw 76406
c lw 76417
c lw 76429
c lw 76522
c lw 76573
c lw 76583
c lw 76638
c lw 76658
c lw 76693
c lw 76716
c lw 76720
c lw 76721
c lw 76731
c lw 76766
c lw 76913
c lw 76974
c lw 76982
c lw 76994
c lw 76999
c lw 77009
c lw 77026
c lw 77044
c lw 77053
c lw 77065
c lw 77069
c lw 77077
c lw 77080
c lw 77085
c lw 77089
c lw 77092
c lw 77094
c lw 77097
c lw 77115
c lw 77120
c lw 77121
c lw 77122
c lw 77123
c lw 77128
c lw 77132
c lw 77133
c lw 77135
c lw 77137
c lw 77138
c lw 77139
c lw 77142
c lw 77144
c lw 77145
c lw 77146
c lw 77147
c lw 77148
c lw 77149
c lw 77150
c lw 77151
c lw 77152
c lw 77154
c lw 77155
c lw 77158
c lw 77163
c lw 77189
c lw 77190
c lw 77193
c lw 77195
c lw 77226
c lw 77229
c lw 77251
c lw 77261
c lw 77262
c lw 77264
c lw 77276
c lw 77300
c lw 77360
c lw 77394
c lw 77472
c lw 77478
c lw 77480
c lw 77482
c lw 77484
c lw 77516
c lw 77526
c lw 77530
c lw 77533
c lw 77534
c lw 77535
c lw 77536
c lw 77537
c lw 77596
c lw 77614
c lw 77675
c lw 77676
c lw 77677
c lw 77708
c lw 77722
c lw 77733
c lw 77764
c lw 77767
c lw 77769
c lw 77770
c lw 77774
c lw 77776
c lw 77777
c lw 77780
c lw 77781
c lw 77783
c lw 77785
c lw 77788
c lw 77789
c lw 77790
c lw 77791
c lw 77809
c lw 77810
c lw 77811
c lw 77812
c lw 77819
c lw 77830
c lw 77894
c lw 77908
c lw 77909
c lw 77910
c lw 77911
c lw 77912
c lw 77913
c lw 77914
c lw 77916
c lw 77917
c lw 77918
c lw 77919
c lw 77920
c lw 77921
c lw 77922
c lw 78011
c lw 78014
c lw 78015
c lw 78016
c lw 78017
c lw 78018
c lw 78019
c lw 78020
c lw 78021
c lw 78022
c lw 78023
c lw 78024
c lw 78053
c lw 78054
c lw 78055
c lw 78058
c lw 78066
c lw 78090
c lw 78147
c lw 78228
c lw 78229
c lw 78238
c lw 78240
c lw 78241
c lw 78293
c lw 78315
c lw 78346
c lw 78347
c lw 78349
c lw 78350
c lw 78390
c lw 78391
c lw 78394
c lw 78396
c lw 78399
c lw 78400
c lw 78402
c lw 78408
c lw 78410
c lw 78416
c lw 78418
c lw 78419
c lw 78420
c lw 78421
c lw 78422
c lw 78425
c lw 78426
c lw 78427
c lw 78428
c lw 78429
c lw 78431
c lw 78445
c lw 78446
c lw 78447
c lw 78448
c lw 78450
c lw 78453
c lw 78454
c lw 78460
c lw 78461
c lw 78462
c lw 78463
c lw 78464
c lw 78466
c lw 78468
c lw 78469
c lw 78471
c lw 78472
c lw 78480
c lw 78481
c lw 78482
c lw 78483
c lw 78484
c lw 78485
c lw 78486
c lw 78487
c lw 78489
c lw 78490
c lw 78491
c lw 78492
c lw 78493
c lw 78494
c lw 78495
c lw 78496
c lw 78497
c lw 78498
c lw 78499
c lw 78500
c lw 78502
c lw 78503
c lw 78504
c lw 78505
c lw 78506
c lw 78507
c lw 78508
c lw 78509
c lw 78514
c lw 78524
c lw 78527
c lw 78529
c lw 78530
c lw 78531
c lw 78532
c lw 78534
c lw 78535
c lw 78536
c lw 78537
c lw 78539
c lw 78540
c lw 78541
c lw 78542
c lw 78544
c lw 78545
c lw 78546
c lw 78547
c lw 78548
c lw 78554
c lw 78555
c lw 78556
c lw 78578
c lw 78579
c lw 78580
c lw 78581
c lw 78585
c lw 78586
c lw 78587
c lw 78588
c lw 78590
c lw 78591
c lw 78592
c lw 78593
c lw 78594
c lw 78595
c lw 78596
c lw 78597
c lw 78598
c lw 78599
c lw 78600
c lw 78601
c lw 78602
c lw 78603
c lw 78604
c lw 78605
c lw 78606
c lw 78607
c lw 78608
c lw 78609
c lw 78610
c lw 78617
c lw 78620
c lw 78642
c lw 78643
c lw 78657
c lw 78715
c lw 78734
c lw 78737
c lw 78741
c lw 78756
c lw 78758
c lw 78830
c lw 78831
c lw 78839
c lw 78840
c lw 78842
c lw 78845
c lw 78846
c lw 78848
c lw 78849
c lw 78851
c lw 78877
c lw 78878
c lw 78879
c lw 78880
c lw 78881
c lw 78883
c lw 78885
c lw 78886
c lw 78887
c lw 78888
c lw 78889
c lw 78901
c lw 79014
c lw 79015
c lw 79016
c lw 79025
c lw 79026
c lw 79027
c lw 79028
c lw 79029
c lw 79030
c lw 79031
c lw 79032
c lw 79052
c lw 79053
c lw 79054
c lw 79055
c lw 79056
c lw 79057
c lw 79058
c lw 79059
c lw 79060
c lw 79061
c lw 79062
c lw 79063
c lw 79064
c lw 79065
c lw 79066
c lw 79067
c lw 79068
c lw 79070
c lw 79071
c lw 79072
c lw 79073
c lw 79086
c lw 79090
c lw 79091
c lw 79092
c lw 79093
c lw 79094
c lw 79095
c lw 79096
c lw 79097
c lw 79118
c lw 79119
c lw 79120
c lw 79121
c lw 79122
c lw 79127
c lw 79128
c lw 79129
c lw 79130
c lw 79195
c lw 79196
c lw 79197
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 79219
c lw 79220
c lw 79221
c lw 79223
c lw 79224
c lw 79225
c lw 79226
c lw 79227
c lw 79228
c lw 79229
c lw 79230
c lw 79231
c lw 79232
c lw 79233
c lw 79234
c lw 79235
c lw 79236
c lw 79237
c lw 79238
c lw 79239
c lw 79240
c lw 79241
c lw 79242
c lw 79243
c lw 79244
c lw 79245
c lw 79246
c lw 79247
c lw 79248
c lw 79249
c lw 79250
c lw 79251
c lw 79252
c lw 79253
c lw 79254
c lw 79255
c lw 79256
c lw 79257
c lw 79258
c lw 79259
c lw 79260
c lw 79265
c lw 79266
c lw 79267
c lw 79268
c lw 79269
c lw 79284
c lw 79285
c lw 79287
c lw 79289
c lw 79290
c lw 79296
c lw 79298
c lw 79299
c lw 79300
c lw 79301
c lw 79307
c lw 79310
c lw 79314
c lw 79315
c lw 79316
c lw 79317
c lw 79318
c lw 79327
c lw 79328
c lw 79329
c lw 79330
c lw 79331
c lw 79332
c lw 79337
c lw 79339
c lw 79341
c lw 79346
c lw 79348
c lw 79349
c lw 79350
c lw 79351
c lw 79352
c lw 79358
c lw 79361
c lw 79362
c lw 79363
c lw 79364
c lw 79365
c lw 79366
c lw 79367
c lw 79368
c lw 79369
c lw 79370
c lw 79371
c lw 79372
c lw 79373
c lw 79374
c lw 79375
c lw 79376
c lw 79377
c lw 79378
c lw 79379
c lw 79380
c lw 79390
c lw 79391
c lw 79392
c lw 79393
c lw 79394
c lw 79395
c lw 79396
c lw 79397
c lw 79398
c lw 79399
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 79423
c lw 79424
c lw 79425
c lw 79426
c lw 79427
c lw 79428
c lw 79431
c lw 79432
c lw 79433
c lw 79439
c lw 79442
c lw 79443
c lw 79444
c lw 79445
c lw 79446
c lw 79447
c lw 79448
c lw 79449
c lw 79450
c lw 79461
c lw 79462
c lw 79463
c lw 79464
c lw 79465
c lw 79466
c lw 79467
c lw 79468
c lw 79469
c lw 79470
c lw 79471
c lw 79472
c lw 79473
c lw 79474
c lw 79475
c lw 79476
c lw 79477
c lw 79478
c lw 79479
c lw 79480
c lw 79481
c lw 79482
c lw 79483
c lw 79484
c lw 79485
c lw 79486
c lw 79487
c lw 79488
c lw 79489
c lw 79490
c lw 79491
c lw 79492
c lw 79493
c lw 79494
c lw 79495
c lw 79496
c lw 79497
c lw 79498
c lw 79499
c lw 79500
c lw 79501
c lw 79502
c lw 79503
c lw 79504
c lw 79506
c lw 79507
c lw 79508
c lw 79509
c lw 79510
c lw 79511
c lw 79512
c lw 79513
c lw 79514
c lw 79515
c lw 79516
c lw 79517
c lw 79518
c lw 79519
c lw 79520
c lw 79521
c lw 79522
c lw 79523
c lw 79524
c lw 79525
c lw 79526
c lw 79527
c lw 79528
c lw 79529
c lw 79530
c lw 79531
c lw 79532
c lw 79533
c lw 79534
c lw 79535
c lw 79536
c lw 79537
c lw 79538
c lw 79539
c lw 79540
c lw 79541
c lw 79542
c lw 79543
c lw 79544
c lw 79545
c lw 79546
c lw 79547
c lw 79548
c lw 79549
c lw 79550
c lw 79551
c lw 79552
c lw 79553
c lw 79554
c lw 79555
c lw 79556
c lw 79557
c lw 79558
c lw 79559
c lw 79560
c lw 79561
c lw 79562
c lw 79563
c lw 79564
c lw 79565
c lw 79566
c lw 79567
c lw 79568
c lw 79569
c lw 79570
c lw 79571
c lw 79572
c lw 79573
c lw 79574
c lw 79575
c lw 79576
c lw 79577
c lw 79578
c lw 79579
c lw 79580
c lw 79581
c lw 79582
c lw 79583
c lw 79584
c lw 79585
c lw 79586
c lw 79587
c lw 79766
c lw 79767
c lw 79768
c lw 79769
c lw 79770
c lw 79771
c lw 79772
c lw 79773
c lw 79784
c lw 79790
c lw 79792
c lw 79796
c lw 79797
c lw 79864
c lw 79905
c lw 79915
c lw 79916
c lw 79917
c lw 79919
c lw 79920
c lw 79922
c lw 79923
c lw 79924
c lw 79927
c lw 79928
c lw 79930
c lw 79931
c lw 79932
c lw 79933
c lw 79944
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 80054
c lw 80055
c lw 80056
c lw 80058
c lw 80059
c lw 80062
c lw 80063
c lw 80064
c lw 80065
c lw 80066
c lw 80067
c lw 80068
c lw 80069
c lw 80070
c lw 80071
c lw 80072
c lw 80082
c lw 80083
c lw 80084
c lw 80094
c lw 80095
c lw 80096
c lw 80097
c lw 80098
c lw 80099
c lw 80100
c lw 80101
c lw 80102
c lw 80103
c lw 80134
c lw 80135
c lw 80136
c lw 80137
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 80148
c lw 80149
c lw 80150
c lw 80151
c lw 80152
c lw 80153
c lw 80154
c lw 80155
c lw 80158
c lw 80159
c lw 80160
c lw 80161
c lw 80162
c lw 80163
c lw 80164
c lw 80165
c lw 80166
c lw 80167
c lw 80168
c lw 80169
c lw 80170
c lw 80171
c lw 80172
c lw 80173
c lw 80174
c lw 80175
c lw 80176
c lw 80177
c lw 80178
c lw 80179
c lw 80180
c lw 80181
c lw 80182
c lw 80183
c lw 80184
c lw 80185
c lw 80186
c lw 80187
c lw 80188
c lw 80189
c lw 80209
c lw 80210
c lw 80211
c lw 80212
c lw 80213
c lw 80214
c lw 80215
c lw 80216
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 80230
c lw 80231
c lw 80232
c lw 80233
c lw 80234
c lw 80235
c lw 80236
c lw 80237
c lw 80238
c lw 80239
c lw 80240
c lw 80241
c lw 80242
c lw 80243
c lw 80244
c lw 80245
c lw 80246
c lw 80247
c lw 80248
c lw 80249
c lw 80250
c lw 80251
c lw 80252
c lw 80256
c lw 80257
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 80335
c lw 80336
c lw 80349
c lw 80358
c lw 80360
c lw 80361
c lw 80362
c lw 80363
c lw 80364
c lw 80365
c lw 80366
c lw 80367
c lw 80374
c lw 80375
c lw 80376
c lw 80377
c lw 80380
c lw 80381
c lw 80382
c lw 80383
c lw 80384
c lw 80412
c lw 80413
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 80424
c lw 80425
c lw 80427
c lw 80428
c lw 80429
c lw 80430
c lw 80431
c lw 80432
c lw 80433
c lw 80434
c lw 80435
c lw 80436
Killed
1800.048u 19.699s 30:20.10 99.9%	0+0k 0+0io 0pf+0w