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_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 589
c lw 1491
c lw 2129
c lw 2767
c lw 3405
c lw 4043
c lw 5120
c lw 6197
c lw 6669
c lw 7132
c lw 7274
c lw 7508
c lw 8154
c lw 8518
c lw 8890
c lw 9620
c lw 10350
c lw 11010
c lw 11237
c lw 11670
c lw 12391
c lw 13112
c lw 13517
c lw 13833
c lw 14001
c lw 14554
c lw 15275
c lw 15756
c lw 15788
c lw 16449
c lw 17087
c lw 17245
c lw 17725
c lw 18056
c lw 18363
c lw 18521
c lw 18924
c lw 19001
c lw 19639
c lw 20128
c lw 20277
c lw 20915
c lw 21553
c lw 21801
c lw 22024
c lw 22898
c lw 23694
c lw 23772
c lw 24552
c lw 24627
c lw 25332
c lw 25804
c lw 26276
c lw 26639
c lw 26748
c lw 26925
c lw 27502
c lw 27630
c lw 27632
c lw 28087
c lw 28335
c lw 28379
c lw 28748
c lw 28857
c lw 29040
c lw 29935
c lw 30596
c lw 30830
c lw 31491
c lw 31558
c lw 31604
c lw 31630
c lw 32028
c lw 32626
c lw 33187
c lw 33224
c lw 33822
c lw 33879
c lw 34042
c lw 34420
c lw 35017
c lw 35151
c lw 36141
c lw 37131
c lw 37442
c lw 37613
c lw 38121
c lw 38607
c lw 38608
c lw 38896
c lw 39332
c lw 39537
c lw 39732
c lw 39883
c lw 40726
c lw 40835
c lw 41019
c lw 41787
c lw 42493
c lw 42739
c lw 43242
c lw 43243
c lw 43354
c lw 43649
c lw 44379
c lw 44950
c lw 45521
c lw 45749
c lw 46197
c lw 46506
c lw 46604
c lw 46780
c lw 46836
c lw 47063
c lw 47079
c lw 47424
c lw 47829
c lw 47929
c lw 48205
c lw 48272
c lw 48517
c lw 48795
c lw 49125
c lw 49661
c lw 50216
c lw 50771
c lw 51184
c lw 51355
c lw 51701
c lw 52167
c lw 52415
c lw 53304
c lw 53389
c lw 53772
c lw 53777
c lw 53962
c lw 53966
c lw 54923
c lw 55404
c lw 55409
c lw 55730
c lw 56549
c lw 56630
c lw 56676
c lw 56684
c lw 56751
c lw 56989
c lw 56990
c lw 57269
c lw 57332
c lw 57579
c lw 57764
c lw 57998
c lw 58052
c lw 58139
c lw 58239
c lw 58276
c lw 58297
c lw 58335
c lw 58340
c lw 58412
c lw 58613
c lw 58650
c lw 58698
c lw 58723
c lw 59159
c lw 59288
c lw 59451
c lw 59537
c lw 59594
c lw 59728
c lw 59886
c lw 59921
c lw 60097
c lw 60132
c lw 60195
c lw 60211
c lw 60422
c lw 60838
c lw 61021
c lw 61172
c lw 61190
c lw 61299
c lw 61356
c lw 61435
c lw 61479
c lw 61668
c lw 61761
c lw 61847
c lw 61863
c lw 61956
c lw 61977
c lw 62039
c lw 62043
c lw 62442
c lw 62704
c lw 62819
c lw 62851
c lw 63009
c lw 63254
c lw 63332
c lw 63334
c lw 63384
c lw 63645
c lw 63911
c lw 63974
c lw 64020
c lw 64049
c lw 64215
c lw 64386
c lw 64563
c lw 64721
c lw 64889
c lw 64915
c lw 65196
c lw 65212
c lw 65255
c lw 65444
c lw 65488
c lw 65497
c lw 65678
c lw 65702
c lw 65721
c lw 65725
c lw 65990
c lw 66025
c lw 66107
c lw 66218
c lw 66460
c lw 66905
c lw 66911
c lw 67211
c lw 67553
c lw 67558
c lw 67590
c lw 67669
c lw 67824
c lw 67922
c lw 67963
c lw 68081
c lw 68402
c lw 68583
c lw 68592
c lw 68612
c lw 68618
c lw 68999
c lw 69167
c lw 69189
c lw 69335
c lw 69739
c lw 69966
c lw 70108
c lw 70190
c lw 70257
c lw 70339
c lw 70360
c lw 70396
c lw 70397
c lw 70432
c lw 70743
c lw 70847
c lw 70848
c lw 70856
c lw 71098
c lw 71577
c lw 71593
c lw 71605
c lw 71608
c lw 71674
c lw 71766
c lw 71879
c lw 71942
c lw 71995
c lw 72131
c lw 72302
c lw 72363
c lw 72561
c lw 72805
c lw 72872
c lw 72896
c lw 72935
c lw 72979
c lw 72982
c lw 72992
c lw 73006
c lw 73011
c lw 73069
c lw 73162
c lw 73178
c lw 73264
c lw 73307
c lw 73364
c lw 73405
c lw 73408
c lw 73429
c lw 73450
c lw 73462
c lw 73465
c lw 73473
c lw 73479
c lw 73482
c lw 73486
c lw 73545
c lw 73615
c lw 73661
c lw 73687
c lw 73726
c lw 73819
c lw 73841
c lw 73851
c lw 73855
c lw 73862
c lw 73887
c lw 73889
c lw 73897
c lw 73902
c lw 73903
c lw 73930
c lw 73933
c lw 73949
c lw 73989
c lw 74025
c lw 74046
c lw 74145
c lw 74287
c lw 74369
c lw 74370
c lw 74405
c lw 74471
c lw 74563
c lw 74676
c lw 74729
c lw 74732
c lw 74770
c lw 74773
c lw 74781
c lw 74782
c lw 74816
c lw 74819
c lw 74840
c lw 74841
c lw 74850
c lw 74935
c lw 75024
c lw 75050
c lw 75154
c lw 75185
c lw 75207
c lw 75225
c lw 75242
c lw 75244
c lw 75260
c lw 75283
c lw 75289
c lw 75320
c lw 75327
c lw 75337
c lw 75340
c lw 75345
c lw 75347
c lw 75364
c lw 75374
c lw 75389
c lw 75396
c lw 75403
c lw 75417
c lw 75420
c lw 75424
c lw 75425
c lw 75426
c lw 75436
c lw 75439
c lw 75443
c lw 75444
c lw 75461
c lw 75463
c lw 75467
c lw 75475
c lw 75534
c lw 75547
c lw 75548
c lw 75551
c lw 75555
c lw 75560
c lw 75562
c lw 75563
c lw 75580
c lw 75601
c lw 75604
c lw 75605
c lw 75653
c lw 75657
c lw 75676
c lw 75701
c lw 75702
c lw 75883
c lw 75885
c lw 76025
c lw 76065
c lw 76067
c lw 76145
c lw 76217
c lw 76219
c lw 76220
c lw 76222
c lw 76224
c lw 76231
c lw 76232
c lw 76233
c lw 76237
c lw 76238
c lw 76242
c lw 76244
c lw 76245
c lw 76246
c lw 76248
c lw 76249
c lw 76252
c lw 76253
c lw 76261
c lw 76262
c lw 76267
c lw 76269
c lw 76270
c lw 76274
c lw 76275
c lw 76276
c lw 76278
c lw 76279
c lw 76300
c lw 76302
c lw 76303
c lw 76304
c lw 76305
c lw 76306
c lw 76307
c lw 76308
c lw 76309
c lw 76324
c lw 76325
c lw 76350
c lw 76351
c lw 76352
c lw 76353
c lw 76354
c lw 76355
c lw 76356
c lw 76357
c lw 76358
c lw 76359
c lw 76360
c lw 76361
c lw 76363
c lw 76378
c lw 76379
c lw 76380
c lw 76381
c lw 76382
c lw 76383
c lw 76384
c lw 76385
c lw 76386
c lw 76387
c lw 76388
c lw 76389
c lw 76390
c lw 76393
c lw 76394
c lw 76395
c lw 76396
c lw 76397
c lw 76398
c lw 76399
c lw 76400
c lw 76401
c lw 76402
c lw 76411
c lw 76413
c lw 76428
c lw 76445
c lw 76446
c lw 76469
c lw 76470
c lw 76471
c lw 76472
c lw 76473
c lw 76475
c lw 76476
c lw 76477
c lw 76478
c lw 76479
c lw 76480
c lw 76481
c lw 76482
c lw 76483
c lw 76484
c lw 76485
c lw 76486
c lw 76487
c lw 76488
c lw 76489
c lw 76490
c lw 76491
c lw 76500
c lw 76501
c lw 76502
c lw 76503
c lw 76504
c lw 76505
c lw 76506
c lw 76507
c lw 76508
c lw 76509
c lw 76510
c lw 76511
c lw 76512
c lw 76513
c lw 76514
c lw 76515
c lw 76516
c lw 76517
c lw 76518
c lw 76519
c lw 76520
c lw 76521
c lw 76522
c lw 76523
c lw 76524
c lw 76525
c lw 76526
c lw 76529
c lw 76532
c lw 76534
c lw 76538
c lw 76540
c lw 76541
c lw 76542
c lw 76543
c lw 76544
c lw 76545
c lw 76546
c lw 76547
c lw 76548
c lw 76549
c lw 76691
c lw 76692
c lw 76693
c lw 76694
c lw 76695
c lw 76730
c lw 76773
c lw 76775
c lw 76779
c lw 76781
c lw 76807
c lw 76808
c lw 76809
c lw 76812
c lw 76813
c lw 76814
c lw 76817
c lw 76818
c lw 76819
c lw 76820
c lw 76822
c lw 76826
c lw 76830
c lw 76834
c lw 76835
c lw 76837
c lw 76838
c lw 76839
c lw 76840
c lw 76841
c lw 76842
c lw 76843
c lw 76844
c lw 76845
c lw 76847
c lw 76848
c lw 76851
c lw 76853
c lw 76854
c lw 76860
c lw 76870
c lw 76871
c lw 76872
c lw 76873
c lw 76874
c lw 76875
c lw 76876
c lw 76877
c lw 76878
c lw 76879
c lw 76880
c lw 76881
c lw 76882
c lw 76883
c lw 76884
c lw 76885
c lw 76899
c lw 76992
c lw 77012
c lw 77013
c lw 77014
c lw 77015
c lw 77016
c lw 77017
c lw 77019
c lw 77020
c lw 77021
c lw 77024
c lw 77031
c lw 77032
c lw 77059
c lw 77060
c lw 77061
c lw 77062
c lw 77074
c lw 77075
c lw 77092
c lw 77095
c lw 77097
c lw 77121
c lw 77147
c lw 77149
c lw 77150
c lw 77151
c lw 77152
c lw 77153
c lw 77230
c lw 77231
c lw 77232
c lw 77233
c lw 77234
c lw 77238
c lw 77243
c lw 77319
c lw 77335
c lw 77344
c lw 77345
c lw 77346
c lw 77347
c lw 77348
c lw 77350
c lw 77351
c lw 77352
c lw 77353
c lw 77389
c lw 77390
c lw 77394
c lw 77401
c lw 77403
c lw 77404
c lw 77443
c lw 77445
c lw 77450
c lw 77452
c lw 77453
c lw 77454
c lw 77456
c lw 77467
c lw 77468
c lw 77469
c lw 77470
c lw 77473
c lw 77474
c lw 77475
c lw 77476
c lw 77477
c lw 77498
c lw 77499
c lw 77500
c lw 77501
c lw 77505
c lw 77506
c lw 77507
c lw 77511
c lw 77512
c lw 77516
c lw 77517
c lw 77518
c lw 77521
c lw 77522
c lw 77523
c lw 77524
c lw 77526
c lw 77527
c lw 77528
c lw 77530
c lw 77531
c lw 77532
c lw 77535
c lw 77536
c lw 77540
c lw 77541
c lw 77542
c lw 77543
c lw 77544
c lw 77546
c lw 77549
c lw 77550
c lw 77552
c lw 77553
c lw 77554
c lw 77555
c lw 77556
c lw 77557
c lw 77558
c lw 77559
c lw 77560
c lw 77562
c lw 77563
c lw 77564
c lw 77565
c lw 77597
c lw 77598
c lw 77599
c lw 77600
c lw 77601
c lw 77602
c lw 77603
c lw 77604
c lw 77605
c lw 77606
c lw 77607
c lw 77608
c lw 77609
c lw 77610
c lw 77611
c lw 77612
c lw 77613
c lw 77614
c lw 77615
c lw 77616
c lw 77617
c lw 77618
c lw 77619
c lw 77620
c lw 77621
c lw 77622
c lw 77623
c lw 77624
c lw 77625
c lw 77626
c lw 77627
c lw 77629
c lw 77630
c lw 77631
c lw 77632
c lw 77633
c lw 77634
c lw 77635
c lw 77636
c lw 77637
c lw 77638
c lw 77639
c lw 77640
c lw 77641
c lw 77642
c lw 77643
c lw 77644
c lw 77655
c lw 77656
c lw 77657
c lw 77658
c lw 77659
c lw 77660
c lw 77661
c lw 77662
c lw 77663
c lw 77664
c lw 77665
c lw 77666
c lw 77715
c lw 77718
c lw 77719
c lw 77720
c lw 77721
c lw 77722
c lw 77723
c lw 77724
c lw 77725
c lw 77726
c lw 77727
c lw 77730
c lw 77731
c lw 77732
c lw 77743
c lw 77748
c lw 77784
c lw 77786
c lw 77787
c lw 77788
c lw 77789
c lw 77790
c lw 77791
c lw 77792
c lw 77793
c lw 77794
c lw 77795
c lw 77796
c lw 77797
c lw 77798
c lw 77799
c lw 77800
c lw 77801
c lw 77802
c lw 77803
c lw 77804
c lw 77805
c lw 77806
c lw 77807
c lw 77808
c lw 77809
c lw 77810
c lw 77811
c lw 77812
c lw 77813
c lw 77814
c lw 77815