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_160_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 594
c lw 1188
c lw 1782
c lw 2604
c lw 3376
c lw 4148
c lw 4920
c lw 5575
c lw 6230
c lw 7244
c lw 7475
c lw 7687
c lw 7899
c lw 8454
c lw 8616
c lw 8970
c lw 9324
c lw 9678
c lw 9742
c lw 10032
c lw 10485
c lw 10961
c lw 11437
c lw 11911
c lw 12385
c lw 12859
c lw 13393
c lw 14165
c lw 14616
c lw 15864
c lw 17112
c lw 17615
c lw 18360
c lw 19132
c lw 19678
c lw 19904
c lw 20676
c lw 21179
c lw 21306
c lw 21397
c lw 21777
c lw 21936
c lw 21952
c lw 22724
c lw 22754
c lw 23403
c lw 23572
c lw 24390
c lw 24768
c lw 25208
c lw 25481
c lw 26026
c lw 26739
c lw 26907
c lw 27452
c lw 27771
c lw 28314
c lw 28857
c lw 29360
c lw 29400
c lw 29912
c lw 29943
c lw 30486
c lw 31579
c lw 32051
c lw 32672
c lw 33651
c lw 33765
c lw 34351
c lw 34456
c lw 34858
c lw 35321
c lw 35951
c lw 36463
c lw 36579
c lw 37275
c lw 38087
c lw 38282
c lw 38899
c lw 39051
c lw 39711
c lw 40101
c lw 40448
c lw 40523
c lw 41188
c lw 41546
c lw 41853
c lw 42518
c lw 42805
c lw 42952
c lw 44075
c lw 44150
c lw 44734
c lw 45348
c lw 46184
c lw 46471
c lw 47269
c lw 48067
c lw 48837
c lw 48865
c lw 49241
c lw 49357
c lw 50344
c lw 51333
c lw 51447
c lw 51454
c lw 52126
c lw 52765
c lw 52805
c lw 53050
c lw 53139
c lw 53414
c lw 54051
c lw 54413
c lw 54479
c lw 54759
c lw 54994
c lw 55398
c lw 55494
c lw 56040
c lw 56123
c lw 56762
c lw 57254
c lw 57386
c lw 57401
c lw 58107
c lw 58929
c lw 59686
c lw 59834
c lw 60155
c lw 60337
c lw 60681
c lw 60683
c lw 60698
c lw 60764
c lw 60860
c lw 60878
c lw 60926
c lw 61232
c lw 61430
c lw 61505
c lw 61553
c lw 61568
c lw 61700
c lw 61777
c lw 61895
c lw 62043
c lw 62192
c lw 62554
c lw 62650
c lw 62733
c lw 62896
c lw 63054
c lw 63131
c lw 63183
c lw 63441
c lw 63800
c lw 63843
c lw 63952
c lw 63995
c lw 64539
c lw 64698
c lw 64807
c lw 64814
c lw 64928
c lw 65080
c lw 65262
c lw 65352
c lw 65427
c lw 65457
c lw 65740
c lw 65744
c lw 65780
c lw 66283
c lw 66358
c lw 66445
c lw 66475
c lw 66515
c lw 66591
c lw 66619
c lw 66877
c lw 66988
c lw 67361
c lw 67463
c lw 67738
c lw 67759
c lw 67783
c lw 68070
c lw 68283
c lw 68514
c lw 68873
c lw 68931
c lw 68977
c lw 69066
c lw 69174
c lw 69181
c lw 69311
c lw 69598
c lw 69697
c lw 69945
c lw 69976
c lw 70007
c lw 70098
c lw 70115
c lw 70225
c lw 70517
c lw 70699
c lw 71171
c lw 71360
c lw 71426
c lw 71595
c lw 71792
c lw 71903
c lw 71967
c lw 72552
c lw 72582
c lw 72739
c lw 72755
c lw 73354
c lw 73447
c lw 73481
c lw 73533
c lw 73691
c lw 74144
c lw 74595
c lw 74690
c lw 74700
c lw 75203
c lw 75233
c lw 75315
c lw 75445
c lw 75576
c lw 76374
c lw 76407
c lw 76469
c lw 76575
c lw 76598
c lw 76608
c lw 76987
c lw 77169
c lw 77367
c lw 77620
c lw 77651
c lw 77687
c lw 77884
c lw 77982
c lw 78150
c lw 78508
c lw 78567
c lw 78740
c lw 78852
c lw 78913
c lw 79152
c lw 79167
c lw 79263
c lw 79329
c lw 79362
c lw 79406
c lw 79408
c lw 79426
c lw 79674
c lw 79702
c lw 79815
c lw 79895
c lw 79910
c lw 79943
c lw 80042
c lw 80061
c lw 80063
c lw 80158
c lw 80161
c lw 80162
c lw 80248
c lw 80252
c lw 80282
c lw 80318
c lw 80323
c lw 80330
c lw 80355
c lw 80409
c lw 80425
c lw 80441
c lw 80474
c lw 80489
c lw 80500
c lw 80505
c lw 80532
c lw 80559
c lw 80574
c lw 80589
c lw 80623
c lw 80666
c lw 80718
c lw 80770
c lw 80788
c lw 80794
c lw 80805
c lw 80820
c lw 80831
c lw 80881
c lw 80912
c lw 80922
c lw 80935
c lw 80940
c lw 80962
c lw 80973
c lw 80979
c lw 81005
c lw 81009
c lw 81010
c lw 81036
c lw 81046
c lw 81048
c lw 81054
c lw 81058
c lw 81064
c lw 81079
c lw 81083
c lw 81137
c lw 81141
c lw 81173
c lw 81178
c lw 81179
c lw 81190
c lw 81202
c lw 81203
c lw 81204
c lw 81206
c lw 81207
c lw 81208
c lw 81213
c lw 81421
c lw 81531
c lw 81602
c lw 81607
c lw 81619
c lw 81640
c lw 81691
c lw 81776
c lw 81793
c lw 81795
c lw 81802
c lw 81813
c lw 81818
c lw 81820
c lw 81821
c lw 81824
c lw 81826
c lw 81829
c lw 81833
c lw 81836
c lw 81925
c lw 81939
c lw 81949
c lw 82016
c lw 82020
c lw 82028
c lw 82033
c lw 82036
c lw 82037
c lw 82038
c lw 82039
c lw 82040
c lw 82041
c lw 82042
c lw 82043
c lw 82044
c lw 82045
c lw 82046
c lw 82047
c lw 82050
c lw 82052
c lw 82056
c lw 82057
c lw 82058
c lw 82059
c lw 82060
c lw 82061
c lw 82062
c lw 82063
c lw 82064
c lw 82065
c lw 82066
c lw 82067
c lw 82068
c lw 82069
c lw 82070
c lw 82072
c lw 82073
c lw 82074
c lw 82105
c lw 82106
c lw 82107
c lw 82109
c lw 82110
c lw 82111
c lw 82112
c lw 82113
c lw 82114
c lw 82115
c lw 82116
c lw 82117
c lw 82118
c lw 82119
c lw 82120
c lw 82121
c lw 82122
c lw 82123
c lw 82124
c lw 82126
c lw 82127
c lw 82128
c lw 82129
c lw 82130
c lw 82131
c lw 82132
c lw 82133
c lw 82134
c lw 82136
c lw 82137
c lw 82138
c lw 82139
c lw 82141
c lw 82142
c lw 82145
c lw 82149
c lw 82150
c lw 82152
c lw 82153
c lw 82166
c lw 82184
c lw 82199
c lw 82201
c lw 82214
c lw 82215
c lw 82216
c lw 82225
c lw 82233
c lw 82236
c lw 82239
c lw 82244
c lw 82256
c lw 82257
c lw 82258
c lw 82259
c lw 82260
c lw 82261
c lw 82262
c lw 82263
c lw 82264
c lw 82265
c lw 82266
c lw 82267
c lw 82268
c lw 82270
c lw 82316
c lw 82326
c lw 82327
c lw 82328
c lw 82330
c lw 82331
c lw 82332
c lw 82333
c lw 82334
c lw 82343
c lw 82344
c lw 82345
c lw 82346
c lw 82347
c lw 82348
c lw 82349
c lw 82350
c lw 82351
c lw 82352
c lw 82353
c lw 82354
c lw 82355
c lw 82356
c lw 82357
c lw 82358
c lw 82359
c lw 82360
c lw 82361
c lw 82362
c lw 82363
c lw 82364
c lw 82365
c lw 82366
c lw 82367
c lw 82368
c lw 82379
c lw 82380
c lw 82381
c lw 82382
c lw 82383
c lw 82384
c lw 82385
c lw 82386
c lw 82389
c lw 82411
c lw 82412
c lw 82413
c lw 82414
c lw 82415
c lw 82416
c lw 82417
c lw 82418
c lw 82419
c lw 82420
c lw 82421
c lw 82422
c lw 82426
c lw 82427
c lw 82428
c lw 82429
c lw 82430
c lw 82431
c lw 82432
c lw 82450
c lw 82451
c lw 82452
c lw 82453
c lw 82454
c lw 82455
c lw 82456
c lw 82457
c lw 82458
c lw 82459
c lw 82460
c lw 82461
c lw 82462
c lw 82463
c lw 82464
c lw 82465
c lw 82466
c lw 82467
c lw 82469
c lw 82470
c lw 82472
c lw 82473
c lw 82474
c lw 82475
c lw 82476
c lw 82477
c lw 82478
c lw 82479
c lw 82480
c lw 82481
c lw 82482
c lw 82483
c lw 82484
c lw 82485
c lw 82488
c lw 82493
c lw 82494
c lw 82495
c lw 82496
c lw 82497
c lw 82499
c lw 82500
c lw 82501
c lw 82624
c lw 82625
c lw 82626
c lw 82627
c lw 82628
c lw 82629
c lw 82632
c lw 82633
c lw 82657
c lw 82658
c lw 82659
c lw 82660
c lw 82661
c lw 82662
c lw 82663
c lw 82664
c lw 82665
c lw 82666
c lw 82667
c lw 82668
c lw 82669
c lw 82670
c lw 82671
c lw 82672
c lw 82673
c lw 82674
c lw 82675
c lw 82676
c lw 82725
c lw 82738
c lw 82741
c lw 82742
c lw 82744
c lw 82745
c lw 82746
c lw 82747
c lw 82748
c lw 82749
c lw 82750
c lw 82751
c lw 82752
c lw 82753
c lw 82754
c lw 82755
c lw 82756
c lw 82757
c lw 82758
c lw 82759
c lw 82760
c lw 82761
c lw 82762
c lw 82763
c lw 82764
c lw 82767
c lw 82771
c lw 82772
c lw 82781
c lw 82782
c lw 82783
c lw 82784
c lw 82785
c lw 82786
c lw 82789
c lw 82797
c lw 82800
c lw 82801
c lw 82802
c lw 82803
c lw 82804
c lw 82805
c lw 82806
c lw 82807
c lw 82808
c lw 82854
c lw 82855
c lw 82856
c lw 82864
c lw 82937
c lw 82999
c lw 83000
c lw 83001
c lw 83002
c lw 83009
c lw 83010
c lw 83023
c lw 83024
c lw 83025
c lw 83029
c lw 83034
c lw 83080
c lw 83098
c lw 83099
c lw 83101
c lw 83122
c lw 83123
c lw 83125
c lw 83126
c lw 83127
c lw 83128
c lw 83129
c lw 83130
c lw 83131
c lw 83132
c lw 83133
c lw 83134
c lw 83135
c lw 83138
c lw 83139
c lw 83140
c lw 83141
c lw 83145
c lw 83146
c lw 83147
c lw 83148
c lw 83149
c lw 83150
c lw 83151
c lw 83152
c lw 83153
c lw 83154
c lw 83155
c lw 83156
c lw 83162
c lw 83165
c lw 83166
c lw 83167
c lw 83168
c lw 83169
c lw 83170
c lw 83171
c lw 83172
c lw 83173
c lw 83174
c lw 83175
c lw 83217
c lw 83263
c lw 83264