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_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 307
c lw 403
c lw 844
c lw 1984
c lw 2986
c lw 3124
c lw 4264
c lw 5313
c lw 5404
c lw 6215
c lw 6474
c lw 6544
c lw 7497
c lw 7684
c lw 8520
c lw 9073
c lw 9687
c lw 9809
c lw 10607
c lw 11405
c lw 12096
c lw 12919
c lw 13742
c lw 14565
c lw 15405
c lw 16407
c lw 17377
c lw 17409
c lw 18273
c lw 18411
c lw 18894
c lw 19326
c lw 19758
c lw 20448
c lw 20470
c lw 21169
c lw 21868
c lw 22567
c lw 23533
c lw 24499
c lw 25465
c lw 26128
c lw 27200
c lw 28272
c lw 29344
c lw 30329
c lw 30416
c lw 31352
c lw 31556
c lw 31760
c lw 32002
c lw 32818
c lw 32956
c lw 33636
c lw 34326
c lw 34590
c lw 35509
c lw 35544
c lw 35558
c lw 35642
c lw 35718
c lw 36601
c lw 37686
c lw 38771
c lw 39060
c lw 39856
c lw 39956
c lw 40212
c lw 40248
c lw 40968
c lw 41260
c lw 41980
c lw 42251
c lw 42992
c lw 43324
c lw 43675
c lw 44731
c lw 44786
c lw 45297
c lw 45787
c lw 46557
c lw 46825
c lw 46843
c lw 47533
c lw 47923
c lw 48223
c lw 48413
c lw 48909
c lw 48913
c lw 49962
c lw 51011
c lw 51469
c lw 51963
c lw 52915
c lw 53044
c lw 53120
c lw 53265
c lw 53493
c lw 53892
c lw 53994
c lw 54019
c lw 54606
c lw 54789
c lw 54800
c lw 54808
c lw 54991
c lw 55785
c lw 55976
c lw 56061
c lw 56334
c lw 57300
c lw 57308
c lw 57455
c lw 58512
c lw 58676
c lw 59773
c lw 59891
c lw 60259
c lw 61153
c lw 61171
c lw 61335
c lw 62301
c lw 62337
c lw 62369
c lw 62380
c lw 62563
c lw 63049
c lw 63057
c lw 63093
c lw 63187
c lw 63259
c lw 63515
c lw 63719
c lw 63909
c lw 64209
c lw 64244
c lw 64379
c lw 64383
c lw 64508
c lw 64875
c lw 65333
c lw 65365
c lw 65441
c lw 65494
c lw 65502
c lw 65693
c lw 66083
c lw 66188
c lw 66787
c lw 66793
c lw 66883
c lw 67245
c lw 67263
c lw 67337
c lw 67417
c lw 67622
c lw 67935
c lw 68133
c lw 68155
c lw 68173
c lw 68762
c lw 68849
c lw 69036
c lw 69178
c lw 69262
c lw 69276
c lw 69309
c lw 69312
c lw 69644
c lw 70125
c lw 70130
c lw 70571
c lw 70662
c lw 70739
c lw 70890
c lw 71263
c lw 71333
c lw 71403
c lw 71503
c lw 71534
c lw 71692
c lw 71814
c lw 72214
c lw 72247
c lw 72283
c lw 72352
c lw 72374
c lw 72532
c lw 72658
c lw 72703
c lw 72710
c lw 72848
c lw 72996
c lw 73044
c lw 73071
c lw 73156
c lw 73360
c lw 73685
c lw 73754
c lw 74072
c lw 74526
c lw 74570
c lw 74708
c lw 74712
c lw 74970
c lw 75174
c lw 75265
c lw 75411
c lw 75673
c lw 75690
c lw 76019
c lw 76055
c lw 76587
c lw 76642
c lw 76821
c lw 77007
c lw 77077
c lw 77143
c lw 77491
c lw 77509
c lw 77572
c lw 77580
c lw 78565
c lw 78644
c lw 78762
c lw 78785
c lw 78810
c lw 78948
c lw 79326
c lw 79438
c lw 79474
c lw 79546
c lw 79640
c lw 79642
c lw 79676
c lw 79684
c lw 79695
c lw 79716
c lw 79783
c lw 79878
c lw 80111
c lw 80158
c lw 80193
c lw 80293
c lw 80297
c lw 80332
c lw 80376
c lw 80422
c lw 80435
c lw 80467
c lw 80472
c lw 80490
c lw 80525
c lw 80551
c lw 80587
c lw 80657
c lw 80682
c lw 80690
c lw 80707
c lw 80717
c lw 80721
c lw 80738
c lw 80752
c lw 80753
c lw 80757
c lw 80761
c lw 80765
c lw 80766
c lw 80788
c lw 80791
c lw 80793
c lw 80848
c lw 80851
c lw 80860
c lw 80865
c lw 80891
c lw 80912
c lw 80917
c lw 80919
c lw 80941
c lw 80995
c lw 81001
c lw 81013
c lw 81081
c lw 81085
c lw 81243
c lw 81265
c lw 81310
c lw 81331
c lw 81340
c lw 81343
c lw 81407
c lw 81412
c lw 81459
c lw 81489
c lw 81526
c lw 81534
c lw 81540
c lw 81557
c lw 81571
c lw 81615
c lw 81629
c lw 81658
c lw 81662
c lw 81666
c lw 81673
c lw 81675
c lw 81676
c lw 81677
c lw 81687
c lw 81688
c lw 81691
c lw 81698
c lw 81699
c lw 81702
c lw 81706
c lw 81707
c lw 81708
c lw 81709
c lw 81710
c lw 81711
c lw 81712
c lw 81714
c lw 81716
c lw 81717
c lw 81720
c lw 81722
c lw 81767
c lw 81772
c lw 81797
c lw 81803
c lw 81816
c lw 81821
c lw 81824
c lw 81828
c lw 81834
c lw 81837
c lw 81838
c lw 81871
c lw 81873
c lw 81877
c lw 81878
c lw 81881
c lw 81882
c lw 81883
c lw 81972
c lw 82282
c lw 82308
c lw 82354
c lw 82376
c lw 82381
c lw 82424
c lw 82460
c lw 82462
c lw 82463
c lw 82464
c lw 82465
c lw 82477
c lw 82478
c lw 82482
c lw 82484
c lw 82488
c lw 82490
c lw 82491
c lw 82492
c lw 82494
c lw 82497
c lw 82499
c lw 82500
c lw 82501
c lw 82502
c lw 82503
c lw 82505
c lw 82506
c lw 82507
c lw 82508
c lw 82529
c lw 82531
c lw 82604
c lw 82673
c lw 82674
c lw 82676
c lw 82680
c lw 82683
c lw 82684
c lw 82696
c lw 82939
c lw 82941
c lw 82946
c lw 83016
c lw 83021
c lw 83026
c lw 83030
c lw 83040
c lw 83062
c lw 83068
c lw 83112
c lw 83113
c lw 83115
c lw 83119
c lw 83125
c lw 83126
c lw 83129
c lw 83131
c lw 83137
c lw 83148
c lw 83149
c lw 83154
c lw 83155
c lw 83156
c lw 83162
c lw 83167
c lw 83168
c lw 83173
c lw 83174
c lw 83175
c lw 83177
c lw 83178
c lw 83180
c lw 83181
c lw 83182
c lw 83183
c lw 83184
c lw 83185
c lw 83186
c lw 83201
c lw 83220
c lw 83227
c lw 83232
c lw 83234
c lw 83235
c lw 83237
c lw 83238
c lw 83241
c lw 83242
c lw 83243
c lw 83245
c lw 83246
c lw 83247
c lw 83252
c lw 83254
c lw 83255
c lw 83256
c lw 83257
c lw 83258
c lw 83259
c lw 83260
c lw 83261
c lw 83262
c lw 83263
c lw 83264
c lw 83265
c lw 83266
c lw 83267
c lw 83268
c lw 83269
c lw 83270
c lw 83271
c lw 83272
c lw 83273
c lw 83274
c lw 83275
c lw 83276
c lw 83277
c lw 83278
c lw 83279
c lw 83280
c lw 83281
c lw 83282
c lw 83283
c lw 83284
c lw 83285
c lw 83286
c lw 83287
c lw 83288
c lw 83289
c lw 83290
c lw 83291
c lw 83292
c lw 83293
c lw 83294
c lw 83295
c lw 83296
c lw 83297
c lw 83300
c lw 83301
c lw 83307
c lw 83324
c lw 83387
c lw 83389
c lw 83393
c lw 83394
c lw 83395
c lw 83397
c lw 83398
c lw 83399
c lw 83400
c lw 83401
c lw 83402
c lw 83463
c lw 83465
c lw 83466
c lw 83467
c lw 83468
c lw 83469
c lw 83470
c lw 83471
c lw 83472
c lw 83541
c lw 83542
c lw 83549
c lw 83553
c lw 83554
c lw 83564
c lw 83565
c lw 83566
c lw 83567
c lw 83568
c lw 83582
c lw 83583
c lw 83584
c lw 83585
c lw 83586
c lw 83587
c lw 83589
c lw 83590
c lw 83591
c lw 83592
c lw 83593
c lw 83594
c lw 83595
c lw 83596
c lw 83597
c lw 83598
c lw 83599
c lw 83600
c lw 83601
c lw 83602
c lw 83603
c lw 83604
c lw 83605
c lw 83606
c lw 83607
c lw 83608
c lw 83609
c lw 83610
c lw 83611
c lw 83613
c lw 83614
c lw 83615
c lw 83616
c lw 83619
c lw 83620
c lw 83622
c lw 83623
c lw 83624
c lw 83626
c lw 83636
c lw 83637
c lw 83638
c lw 83639
c lw 83640
c lw 83641
c lw 83642
c lw 83650
c lw 83651
c lw 83652
c lw 83655
c lw 83658
c lw 83659
c lw 83660
c lw 83661
c lw 83662
c lw 83663
c lw 83664
c lw 83665
c lw 83666
c lw 83667
c lw 83668
c lw 83669
c lw 83670
c lw 83671
c lw 83672
c lw 83679
c lw 83689
c lw 83690
c lw 83691
c lw 83692
c lw 83693
c lw 83694
c lw 83695
c lw 83696
c lw 83697
c lw 83698
c lw 83699
c lw 83700
c lw 83701
c lw 83702
c lw 83703
c lw 83704
c lw 83705
c lw 83706
c lw 83707
c lw 83708
c lw 83709
c lw 83710
c lw 83711
c lw 83712
c lw 83713
c lw 83714
c lw 83716
c lw 83717
c lw 83723
c lw 83727
c lw 83731
c lw 83732
c lw 83733
c lw 83734
c lw 83735
c lw 83736
c lw 83737
c lw 83739
c lw 83740
c lw 83742
c lw 83743
c lw 83744
c lw 83745
c lw 83746
c lw 83747
c lw 83748
c lw 83749
c lw 83750
c lw 83751
c lw 83752
c lw 83753
c lw 83755
c lw 83756
c lw 83757
c lw 83758
c lw 83759
c lw 83760
c lw 83762
c lw 83763
c lw 83764
c lw 83765
c lw 83766
c lw 83767
c lw 83768
c lw 83873
c lw 83874
c lw 83875
c lw 83876
c lw 83877
c lw 83878
c lw 83879
c lw 83880
c lw 83883
c lw 83884
c lw 83885
c lw 83886
c lw 83887
c lw 83888
c lw 83889
c lw 83890
c lw 83891
c lw 83892
c lw 83893
c lw 83894
c lw 83895
c lw 83896
c lw 83897
c lw 83898
c lw 83899
c lw 83900
c lw 83901
c lw 83902
c lw 83903
c lw 83995
c lw 83998
c lw 83999
c lw 84000
c lw 84001
c lw 84002
c lw 84003
c lw 84004
c lw 84005
c lw 84006
c lw 84007
c lw 84008
c lw 84009
c lw 84010
c lw 84011
c lw 84012
c lw 84013
c lw 84014
c lw 84015
c lw 84016
c lw 84017
c lw 84018
c lw 84019
c lw 84020
c lw 84021
c lw 84022
c lw 84023
c lw 84024
c lw 84025
c lw 84026
c lw 84027
c lw 84028
c lw 84029
c lw 84030
c lw 84031
c lw 84032
c lw 84033
c lw 84034
c lw 84035
c lw 84036
c lw 84046
c lw 84047
c lw 84048
c lw 84049
c lw 84050
c lw 84051
c lw 84083
c lw 84317
c lw 84318
c lw 84319
c lw 84320
c lw 84321
c lw 84322
c lw 84323
c lw 84324
c lw 84325
c lw 84326
c lw 84327
c lw 84328
c lw 84329
c lw 84330
c lw 84331
c lw 84332
c lw 84333
c lw 84334
c lw 84336
c lw 84337
c lw 84338
c lw 84345
c lw 84346
c lw 84347
c lw 84348
c lw 84349
c lw 84350
c lw 84351
c lw 84352
c lw 84353
c lw 84354
c lw 84355
c lw 84356
c lw 84357
c lw 84358
c lw 84359
c lw 84360
c lw 84361
c lw 84362
c lw 84363
c lw 84364
c lw 84365
c lw 84366
c lw 84367
c lw 84368
c lw 84369
c lw 84370
c lw 84371
c lw 84373
c lw 84374
c lw 84375
c lw 84381
c lw 84382
c lw 84386
c lw 84389
c lw 84390
c lw 84391
c lw 84392
c lw 84393
c lw 84394
c lw 84395
c lw 84396
c lw 84397
c lw 84398
c lw 84399
c lw 84400
c lw 84401
c lw 84402
c lw 84403
c lw 84404
c lw 84405
c lw 84406
c lw 84407
c lw 84408
c lw 84409
c lw 84413
c lw 84414
c lw 84415
c lw 84416
c lw 84417
c lw 84418
c lw 84419
c lw 84420
c lw 84421
c lw 84422
c lw 84423
c lw 84424
c lw 84425
c lw 84426
c lw 84427
c lw 84428
c lw 84429
c lw 84430
c lw 84431
c lw 84432
c lw 84440
c lw 84441
c lw 84449
c lw 84450
c lw 84451
c lw 84452
c lw 84453
c lw 84454
c lw 84455
c lw 84456
c lw 84457
c lw 84458
c lw 84460
c lw 84461
c lw 84462
c lw 84463
c lw 84464
c lw 84465
c lw 84466
c lw 84467
c lw 84468
c lw 84469
c lw 84470
c lw 84471
c lw 84472
c lw 84473
c lw 84474
c lw 84497
c lw 84498
c lw 84499
c lw 84500
c lw 84501
c lw 84502
c lw 84503
c lw 84504
c lw 84505
c lw 84506
c lw 84507
c lw 84508
c lw 84509
c lw 84510
c lw 84511
c lw 84512
c lw 84513
c lw 84514
c lw 84519
c lw 84536
c lw 84540
c lw 84550
c lw 84555
c lw 84558
c lw 84566
c lw 84576
c lw 84577
c lw 84578
c lw 84579
c lw 84580
c lw 84581
c lw 84582
c lw 84583
c lw 84584
c lw 84585
c lw 84586
c lw 84587
c lw 84588
c lw 84589
c lw 84590
c lw 84591
c lw 84592
c lw 84593
c lw 84594
c lw 84595
c lw 84607
c lw 84608
c lw 84609
c lw 84610
c lw 84611
c lw 84612
c lw 84613
c lw 84614
c lw 84615
c lw 84616
c lw 84617
c lw 84618
c lw 84619
c lw 84620
c lw 84621
c lw 84622
c lw 84623
c lw 84624
c lw 84625
c lw 84626
c lw 84627
c lw 84628
c lw 84629
c lw 84630
c lw 84631
c lw 84632
c lw 84633
c lw 84634
c lw 84635
c lw 84636
c lw 84637
c lw 84638
c lw 84639
c lw 84640
c lw 84641
c lw 84642
c lw 84643
c lw 84644
c lw 84645
Killed
1811.169u 8.581s 30:20.07 99.9%	0+0k 0+0io 0pf+0w