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_110_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1038
c lw 1657
c lw 2076
c lw 3114
c lw 4138
c lw 4152
c lw 4807
c lw 5585
c lw 6240
c lw 6363
c lw 7141
c lw 7819
c lw 7919
c lw 8810
c lw 9471
c lw 9739
c lw 10132
c lw 11082
c lw 11774
c lw 12032
c lw 12396
c lw 12419
c lw 12760
c lw 13780
c lw 14399
c lw 14800
c lw 15216
c lw 15820
c lw 16059
c lw 16115
c lw 16268
c lw 17010
c lw 17409
c lw 17752
c lw 18490
c lw 18494
c lw 18885
c lw 19236
c lw 19456
c lw 19559
c lw 19604
c lw 20044
c lw 20288
c lw 20934
c lw 21433
c lw 21997
c lw 22617
c lw 23072
c lw 23390
c lw 24077
c lw 24147
c lw 25056
c lw 25222
c lw 25960
c lw 26647
c lw 27420
c lw 27546
c lw 28193
c lw 28479
c lw 28832
c lw 29473
c lw 30220
c lw 30234
c lw 30346
c lw 30995
c lw 31078
c lw 31917
c lw 32839
c lw 32894
c lw 33368
c lw 33664
c lw 34072
c lw 34217
c lw 34776
c lw 34833
c lw 35480
c lw 35582
c lw 36070
c lw 36096
c lw 36561
c lw 37094
c lw 37620
c lw 37780
c lw 37906
c lw 38432
c lw 38958
c lw 39613
c lw 40010
c lw 40077
c lw 40620
c lw 41295
c lw 41421
c lw 41738
c lw 42004
c lw 42187
c lw 42237
c lw 42273
c lw 42657
c lw 42761
c lw 42914
c lw 42939
c lw 42995
c lw 43336
c lw 43353
c lw 43594
c lw 43879
c lw 43991
c lw 44230
c lw 44257
c lw 44330
c lw 44390
c lw 44426
c lw 44574
c lw 44927
c lw 45107
c lw 45121
c lw 45393
c lw 45586
c lw 45604
c lw 45612
c lw 45714
c lw 45730
c lw 46145
c lw 46202
c lw 46508
c lw 46634
c lw 46759
c lw 46792
c lw 47039
c lw 47205
c lw 47234
c lw 47304
c lw 47357
c lw 47380
c lw 47912
c lw 47935
c lw 47937
c lw 48114
c lw 48159
c lw 48230
c lw 48234
c lw 48375
c lw 48567
c lw 48721
c lw 49003
c lw 49220
c lw 49275
c lw 49315
c lw 49668
c lw 49702
c lw 49763
c lw 50072
c lw 50473
c lw 50593
c lw 50843
c lw 50891
c lw 50926
c lw 51125
c lw 51237
c lw 51656
c lw 52070
c lw 52084
c lw 52140
c lw 52153
c lw 52275
c lw 52289
c lw 52321
c lw 52358
c lw 52427
c lw 52697
c lw 52917
c lw 53148
c lw 53180
c lw 53437
c lw 53533
c lw 53659
c lw 53763
c lw 53917
c lw 54227
c lw 54414
c lw 54510
c lw 54535
c lw 54558
c lw 54559
c lw 54606
c lw 54688
c lw 54711
c lw 54719
c lw 54736
c lw 54848
c lw 54898
c lw 54956
c lw 54977
c lw 55015
c lw 55068
c lw 55128
c lw 55300
c lw 55341
c lw 55354
c lw 55379
c lw 55546
c lw 55560
c lw 55616
c lw 55658
c lw 55699
c lw 55732
c lw 55863
c lw 55882
c lw 55915
c lw 55922
c lw 55957
c lw 55970
c lw 55974
c lw 56020
c lw 56037
c lw 56052
c lw 56090
c lw 56107
c lw 56118
c lw 56131
c lw 56164
c lw 56201
c lw 56221
c lw 56282
c lw 56321
c lw 56322
c lw 56345
c lw 56377
c lw 56391
c lw 56404
c lw 56418
c lw 56427
c lw 56437
c lw 56451
c lw 56468
c lw 56547
c lw 56556
c lw 56561
c lw 56563
c lw 56570
c lw 56573
c lw 56583
c lw 56589
c lw 56596
c lw 56598
c lw 56599
c lw 56600
c lw 56601
c lw 56603
c lw 56605
c lw 56606
c lw 56607
c lw 56608
c lw 56642
c lw 56677
c lw 56684
c lw 56703
c lw 56732
c lw 56739
c lw 56768
c lw 56770
c lw 56771
c lw 56785
c lw 56791
c lw 56792
c lw 56794
c lw 56795
c lw 56799
c lw 56813
c lw 56821
c lw 56822
c lw 56827
c lw 56828
c lw 56829
c lw 56830
c lw 56845
c lw 56850
c lw 56879
c lw 56880
c lw 56882
c lw 56883
c lw 56888
c lw 56889
c lw 56890
c lw 56891
c lw 56900
c lw 56901
c lw 56902
c lw 56903
c lw 56904
c lw 56905
c lw 56914
c lw 56918
c lw 56919
c lw 56920
c lw 56921
c lw 56926
c lw 56935
c lw 56937
c lw 56938
c lw 56939
c lw 56940
c lw 56943
c lw 56950
c lw 56963
c lw 56964
c lw 56965
c lw 56969
c lw 56970
c lw 56972
c lw 56973
c lw 56974
c lw 56994
c lw 56995
c lw 56996
c lw 56997
c lw 57030
c lw 57031
c lw 57032
c lw 57060
c lw 57061
c lw 57062
c lw 57063
c lw 57064
c lw 57065
c lw 57066
c lw 57067
c lw 57068
c lw 57069
c lw 57076
c lw 57080
c lw 57093
c lw 57094
c lw 57096
c lw 57097
c lw 57098
c lw 57099
c lw 57100
c lw 57101
c lw 57102
c lw 57107
c lw 57109
c lw 57110
c lw 57111
c lw 57112
c lw 57113
c lw 57114
c lw 57115
c lw 57116
c lw 57118
c lw 57119
c lw 57146
c lw 57147
c lw 57148
c lw 57149
c lw 57150
c lw 57151
c lw 57152
c lw 57153
c lw 57154
c lw 57155
c lw 57156
c lw 57157
c lw 57158
c lw 57159
c lw 57160
c lw 57161
c lw 57162
c lw 57163
c lw 57165
c lw 57166
c lw 57167
c lw 57168
c lw 57169
c lw 57170
c lw 57171
c lw 57172
c lw 57173
c lw 57174
c lw 57202
c lw 57203
c lw 57204
c lw 57205
c lw 57206
c lw 57209
c lw 57210
c lw 57211
c lw 57212
c lw 57215
c lw 57228
c lw 57229
c lw 57240
c lw 57241
c lw 57244
c lw 57245
c lw 57246
c lw 57248
c lw 57249
c lw 57254
c lw 57255
c lw 57256
c lw 57257
c lw 57258
c lw 57259
c lw 57260
c lw 57261
c lw 57262
c lw 57263
c lw 57264
c lw 57266
c lw 57267
c lw 57268
c lw 57269
c lw 57270
c lw 57271
c lw 57272
c lw 57274
c lw 57275
c lw 57276
c lw 57278
c lw 57279
c lw 57280
c lw 57281
c lw 57283
c lw 57284
c lw 57285
c lw 57287
c lw 57288
c lw 57289
c lw 57290
c lw 57291
c lw 57292
c lw 57293
c lw 57294
c lw 57295
c lw 57296
c lw 57297
c lw 57298
c lw 57299
c lw 57300
c lw 57301
c lw 57302
c lw 57303
c lw 57304
c lw 57305
c lw 57306
c lw 57307
c lw 57308
c lw 57309
c lw 57310
c lw 57311
c lw 57312
c lw 57313
c lw 57314
c lw 57315
c lw 57322
c lw 57323
c lw 57324
c lw 57325
c lw 57326
c lw 57327
c lw 57328
c lw 57329
c lw 57330
c lw 57331
c lw 57332
c lw 57333
c lw 57334
c lw 57335
c lw 57336
c lw 57337
c lw 57338
c lw 57339
c lw 57340
c lw 57341
c lw 57342
c lw 57343
c lw 57344
c lw 57356
c lw 57357
c lw 57362
c lw 57363
c lw 57364
c lw 57365
c lw 57366
c lw 57367
c lw 57368
c lw 57369
c lw 57370
c lw 57371
c lw 57372
c lw 57373
c lw 57374
c lw 57375
c lw 57376
c lw 57377
c lw 57378
c lw 57379
c lw 57380
c lw 57383
c lw 57384
c lw 57385
c lw 57386
c lw 57387
c lw 57388
c lw 57389
c lw 57390
c lw 57426
c lw 57427
c lw 57429
c lw 57430
c lw 57431
c lw 57432
c lw 57433
c lw 57434
c lw 57437
c lw 57438
c lw 57439
c lw 57440
c lw 57441
c lw 57443
c lw 57445
c lw 57446
c lw 57447
c lw 57449
c lw 57450
c lw 57451
c lw 57453
c lw 57455
c lw 57456
c lw 57457
c lw 57458
c lw 57459
c lw 57460
c lw 57461
c lw 57462
c lw 57463
c lw 57464
c lw 57465
c lw 57466
c lw 57467
c lw 57468
c lw 57469
c lw 57476
c lw 57477
c lw 57478
c lw 57479
c lw 57481
c lw 57482
c lw 57483
c lw 57484
c lw 57485
c lw 57486
c lw 57487
c lw 57488
c lw 57489
c lw 57490
c lw 57491
c lw 57492
c lw 57493
c lw 57510
c lw 57524
c lw 57525
c lw 57526
c lw 57527
c lw 57528
c lw 57529
c lw 57530
c lw 57531
c lw 57537
c lw 57538
c lw 57539
c lw 57540
c lw 57541
c lw 57542
c lw 57543
c lw 57544
c lw 57545
c lw 57546
c lw 57547
c lw 57548
c lw 57549
c lw 57550
c lw 57551
c lw 57565
c lw 57566
c lw 57567
c lw 57568
c lw 57569
c lw 57570
c lw 57574
c lw 57575
c lw 57576
c lw 57577
c lw 57578
c lw 57579
c lw 57580
c lw 57581
c lw 57582
c lw 57583
c lw 57584
c lw 57585
c lw 57586
c lw 57622
c lw 57630
c lw 57631
c lw 57632
c lw 57633
c lw 57634
c lw 57635
c lw 57636
c lw 57646
c lw 57649
c lw 57650
c lw 57653
c lw 57654
c lw 57655
c lw 57656
c lw 57657
c lw 57658
c lw 57659
c lw 57660
c lw 57661
c lw 57662
c lw 57663
c lw 57664
c lw 57665
c lw 57666
c lw 57667
c lw 57668
c lw 57669
c lw 57673
c lw 57674
c lw 57675
c lw 57676
c lw 57677
c lw 57678
c lw 57679
c lw 57680
c lw 57681
c lw 57682
c lw 57683
c lw 57684
c lw 57685
c lw 57687
c lw 57689
c lw 57690
c lw 57691
c lw 57692
c lw 57693
c lw 57694
c lw 57695
c lw 57696
c lw 57697
c lw 57698
c lw 57699
c lw 57700
c lw 57701
c lw 57702
c lw 57703
c lw 57704
c lw 57705
c lw 57706
c lw 57707
c lw 57708
c lw 57709
c lw 57710
c lw 57711
c lw 57712
c lw 57713
c lw 57714
c lw 57715
c lw 57716
c lw 57717
c lw 57718
c lw 57719
c lw 57720
c lw 57721
c lw 57722
c lw 57723
c lw 57739
c lw 57782
c lw 57784
c lw 58018
c lw 58019
c lw 58020
c lw 58021
c lw 58022
c lw 58023
c lw 58024
c lw 58044
c lw 58045
c lw 58046
c lw 58047
c lw 58048
c lw 58049
c lw 58050
c lw 58051
c lw 58077
c lw 58134
c lw 58135
c lw 58136
c lw 58137
c lw 58138
c lw 58139
c lw 58140
c lw 58141
c lw 58142
c lw 58143
c lw 58144
c lw 58145
c lw 58146
c lw 58147
c lw 58148
c lw 58149
c lw 58150
c lw 58153
c lw 58154
c lw 58155
c lw 58156
c lw 58157
c lw 58158
c lw 58159
c lw 58160
c lw 58163
c lw 58164
c lw 58165
c lw 58166
c lw 58181
c lw 58185
c lw 58186
c lw 58187
c lw 58188
c lw 58189
c lw 58194
c lw 58195
c lw 58196
c lw 58197
c lw 58198
c lw 58199
c lw 58200
c lw 58201
c lw 58204
c lw 58205
c lw 58206
c lw 58207
c lw 58208
c lw 58209
c lw 58210
c lw 58211
c lw 58212
c lw 58213
c lw 58214
c lw 58215
c lw 58216
c lw 58217
c lw 58218
c lw 58219
c lw 58220
c lw 58221
c lw 58222
c lw 58223
c lw 58224
c lw 58225
c lw 58226
c lw 58228
c lw 58261
c lw 58283
c lw 58284
c lw 58285
c lw 58286
c lw 58287
c lw 58288
c lw 58289
c lw 58290
c lw 58291
c lw 58292
c lw 58293
c lw 58294
c lw 58295
c lw 58296
c lw 58297
c lw 58298
c lw 58299
c lw 58300
c lw 58301
c lw 58302
c lw 58303
c lw 58324
c lw 58325
c lw 58327
c lw 58328
c lw 58336
c lw 58337
c lw 58338
c lw 58339
c lw 58340
c lw 58341
c lw 58342
c lw 58343
c lw 58344
c lw 58345
c lw 58346
c lw 58347
c lw 58348
c lw 58349
c lw 58350
c lw 58351
c lw 58352
c lw 58353
c lw 58354
c lw 58355
c lw 58356
c lw 58357
c lw 58362
c lw 58363
c lw 58364
c lw 58365
c lw 58366
c lw 58368
c lw 58369
c lw 58372
c lw 58373
c lw 58374
c lw 58375
c lw 58376
c lw 58377
c lw 58378
c lw 58379
c lw 58380
c lw 58382
c lw 58392
c lw 58395
c lw 58400
c lw 58401
c lw 58402
c lw 58403
c lw 58404
c lw 58405
c lw 58406
c lw 58414
c lw 58415
c lw 58418
c lw 58422
c lw 58424
c lw 58425
c lw 58426
c lw 58427
c lw 58436
c lw 58437
c lw 58438
c lw 58439
c lw 58440
c lw 58441
c lw 58442
c lw 58443
c lw 58444
c lw 58445
c lw 58446
c lw 58447
c lw 58448
c lw 58449
c lw 58450
c lw 58451
c lw 58452
c lw 58453
c lw 58454
c lw 58455
c lw 58456
c lw 58457
c lw 58458
c lw 58459
c lw 58460
c lw 58461
c lw 58462
c lw 58463
c lw 58464
c lw 58465
c lw 58466
c lw 58467
c lw 58468
c lw 58469
c lw 58470
c lw 58471
c lw 58472
c lw 58473
c lw 58474
c lw 58475
c lw 58476
c lw 58477
c lw 58478
c lw 58479
c lw 58480
c lw 58481
c lw 58482
c lw 58483
c lw 58484
c lw 58485
c lw 58486
c lw 58487
c lw 58488
c lw 58489
c lw 58490
c lw 58491
c lw 58492
c lw 58493
c lw 58494
c lw 58495
c lw 58496
c lw 58499
c lw 58500
c lw 58501
c lw 58502
c lw 58503
c lw 58504
c lw 58505
c lw 58506
c lw 58507
c lw 58508
c lw 58509
c lw 58510
c lw 58511
c lw 58512
c lw 58513
c lw 58514
c lw 58515
c lw 58516
c lw 58517
c lw 58518
c lw 58519
c lw 58520
c lw 58521
c lw 58522
c lw 58523
c lw 58524
c lw 58525
c lw 58526
c lw 58527
c lw 58543
c lw 58544
c lw 58545
c lw 58546
c lw 58547
c lw 58548
c lw 58549
c lw 58550
c lw 58551
c lw 58552
c lw 58555
c lw 58556
c lw 58574
c lw 58579
c lw 58580
c lw 58581
c lw 58582
c lw 58583
c lw 58584
c lw 58585
c lw 58586
c lw 58594
c lw 58595
Killed
1807.783u 11.969s 30:20.33 99.9%	0+0k 0+0io 0pf+0w