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_KnotPipatsrisawat_random-net-180-1_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 141
c lw 893
c lw 2052
c lw 3350
c lw 4613
c lw 6402
c lw 7560
c lw 9266
c lw 10131
c lw 12346
c lw 13163
c lw 14056
c lw 15383
c lw 16024
c lw 16998
c lw 18960
c lw 20047
c lw 20750
c lw 21896
c lw 23848
c lw 24044
c lw 24284
c lw 25570
c lw 26386
c lw 26806
c lw 28314
c lw 28668
c lw 29095
c lw 29497
c lw 30137
c lw 31442
c lw 31695
c lw 31744
c lw 31812
c lw 32429
c lw 33588
c lw 34192
c lw 34416
c lw 34443
c lw 34599
c lw 34735
c lw 35048
c lw 35341
c lw 35637
c lw 35975
c lw 36192
c lw 36435
c lw 36594
c lw 36678
c lw 37379
c lw 37410
c lw 38124
c lw 38188
c lw 38603
c lw 38711
c lw 38867
c lw 39412
c lw 39603
c lw 39999
c lw 40102
c lw 40426
c lw 40562
c lw 40646
c lw 40776
c lw 41242
c lw 41436
c lw 41846
c lw 41849
c lw 42294
c lw 42519
c lw 42576
c lw 43012
c lw 43939
c lw 44393
c lw 44810
c lw 45076
c lw 45630
c lw 45846
c lw 45886
c lw 46639
c lw 46654
c lw 47100
c lw 47393
c lw 47865
c lw 48203
c lw 48391
c lw 48634
c lw 48793
c lw 49114
c lw 49120
c lw 49559
c lw 49877
c lw 50036
c lw 50051
c lw 51203
c lw 51522
c lw 51654
c lw 51685
c lw 51754
c lw 51800
c lw 51910
c lw 52621
c lw 52747
c lw 52843
c lw 53066
c lw 53388
c lw 53974
c lw 54423
c lw 54703
c lw 54949
c lw 55014
c lw 55081
c lw 55405
c lw 55541
c lw 55625
c lw 55654
c lw 55956
c lw 56020
c lw 56245
c lw 56681
c lw 56839
c lw 57610
c lw 57806
c lw 57880
c lw 58172
c lw 58713
c lw 58816
c lw 58896
c lw 59088
c lw 59335
c lw 59386
c lw 59483
c lw 59534
c lw 59940
c lw 60375
c lw 60394
c lw 61170
c lw 61213
c lw 62413
c lw 62425
c lw 62495
c lw 63157
c lw 63298
c lw 63469
c lw 63538
c lw 63744
c lw 63830
c lw 64053
c lw 64223
c lw 64268
c lw 64332
c lw 64543
c lw 64667
c lw 64749
c lw 64835
c lw 64844
c lw 65551
c lw 65736
c lw 66084
c lw 66481
c lw 66553
c lw 66777
c lw 66876
c lw 67118
c lw 67474
c lw 67630
c lw 67639
c lw 67724
c lw 67764
c lw 68091
c lw 68671
c lw 68887
c lw 68959
c lw 69331
c lw 69739
c lw 70033
c lw 70444
c lw 70458
c lw 70479
c lw 70949
c lw 71101
c lw 71383
c lw 71476
c lw 71731
c lw 71740
c lw 71814
c lw 72297
c lw 72593
c lw 72903
c lw 73013
c lw 73497
c lw 73948
c lw 74090
c lw 74457
c lw 74524
c lw 74573
c lw 74607
c lw 74613
c lw 74748
c lw 75217
c lw 75947
c lw 76020
c lw 76161
c lw 76382
c lw 76448
c lw 76535
c lw 76636
c lw 77670
c lw 77834
c lw 77956
c lw 78165
c lw 78232
c lw 78357
c lw 78402
c lw 78674
c lw 78886
c lw 79088
c lw 79100
c lw 79245
c lw 79286
c lw 79881
c lw 80304
c lw 80381
c lw 80939
c lw 81826
c lw 81922
c lw 82662
c lw 82993
c lw 83198
c lw 83820
c lw 83981
c lw 84040
c lw 84180
c lw 84593
c lw 84704
c lw 85331
c lw 85504
c lw 86021
c lw 86516
c lw 86808
c lw 86827
c lw 87236
c lw 87456
c lw 87509
c lw 87551
c lw 87560
c lw 87684
c lw 87697
c lw 87711
c lw 88008
c lw 88113
c lw 88224
c lw 88378
c lw 88402
c lw 88482
c lw 88787
c lw 88963
c lw 89049
c lw 89153
c lw 89165
c lw 89648
c lw 89728
c lw 89959
c lw 90254
c lw 90262
c lw 90298
c lw 90416
c lw 90527
c lw 90704
c lw 90807
c lw 91015
c lw 91181
c lw 91463
c lw 91625
c lw 92039
c lw 92305
c lw 92658
c lw 92742
c lw 93210
c lw 93381
c lw 93601
c lw 93676
c lw 93677
c lw 93701
c lw 93750
c lw 93759
c lw 93769
c lw 93793
c lw 94284
c lw 94440
c lw 94798
c lw 94951
c lw 94969
c lw 95400
c lw 95728
c lw 95949
c lw 96024
c lw 96201
c lw 97277
c lw 97359
c lw 97643
c lw 97660
c lw 97688
c lw 97733
c lw 97743
c lw 97757
c lw 97830
c lw 97965
c lw 98241
c lw 98308
c lw 98332
c lw 98600
c lw 98723
c lw 98905
c lw 98982
c lw 99051
c lw 99557
c lw 100116
c lw 100385
c lw 100603
c lw 101160
c lw 101341
c lw 101513
c lw 101564
c lw 101583
c lw 101681
c lw 101756
c lw 101775
c lw 101874
c lw 101882
c lw 101901
c lw 101952
c lw 101974
c lw 101987
c lw 102117
c lw 102179
c lw 102364
c lw 102512
c lw 102539
c lw 103142
c lw 103541
c lw 103903
c lw 104496
c lw 104743
c lw 104794
c lw 105047
c lw 105053
c lw 105350
c lw 106120
c lw 106217
c lw 106696
c lw 107120
c lw 107859
c lw 108055
c lw 108300
c lw 108479
c lw 109026
c lw 109132
c lw 109381
c lw 109481
c lw 109770
c lw 109881
c lw 109890
c lw 109932
c lw 109985
c lw 110053
c lw 110571
c lw 110599
c lw 111429
c lw 111534
c lw 111646
c lw 111731
c lw 111754
c lw 111997
c lw 112398
c lw 112668
c lw 112914
c lw 113316
c lw 113456
c lw 114170
c lw 114175
c lw 114195
c lw 114218
c lw 114303
c lw 114350
c lw 114400
c lw 114835
c lw 114980
c lw 115011
c lw 115065
c lw 115496
c lw 115533
c lw 115578
c lw 115606
c lw 115623
c lw 115641
c lw 115652
c lw 115948
c lw 115985
c lw 116576
c lw 116682
c lw 116964
c lw 117650
c lw 118093
c lw 118165
c lw 118221
c lw 118275
c lw 118334
c lw 118347
c lw 118457
c lw 118514
c lw 118705
c lw 119164
c lw 119226
c lw 119259
c lw 119264
c lw 119272
c lw 119344
c lw 119356
c lw 119377
c lw 119589
c lw 119734
c lw 119931
c lw 119996
c lw 120001
c lw 120013
c lw 120256
c lw 120324
c lw 120962
c lw 121223
c lw 121944
c lw 121967
c lw 121996
c lw 122039
c lw 122078
c lw 122094
c lw 122166
c lw 122877
c lw 122955
c lw 123008
c lw 123060
c lw 123405
c lw 123406
c lw 123769
c lw 123866
c lw 123882
c lw 123932
c lw 123948
c lw 123975
c lw 124065
c lw 124074
c lw 124667
c lw 124810
c lw 124977
c lw 124996
c lw 125627
c lw 126479
c lw 126573
c lw 127955
c lw 127959
c lw 128194
c lw 128198
c lw 128208
c lw 128284
c lw 128288
c lw 128363
c lw 128488
c lw 129554
c lw 129779
c lw 129822
c lw 129823
c lw 130278
c lw 130345
c lw 130411
c lw 130421
c lw 130428
c lw 130429
c lw 130439
c lw 130449
c lw 130463
c lw 130472
c lw 130492
c lw 130498
c lw 130506
c lw 130508
c lw 130514
c lw 130516
c lw 130520
c lw 130523
c lw 130543
c lw 130550
c lw 130561
c lw 130657
c lw 130686
c lw 130754
c lw 130763
c lw 130782
c lw 130788
c lw 130790
c lw 130980
c lw 131620
c lw 131687
c lw 131703
c lw 131754
c lw 132240
c lw 132293
c lw 132314
c lw 132318
c lw 132328
c lw 132583
c lw 132700
c lw 133463
c lw 134586
c lw 134950
c lw 135202
c lw 135449
c lw 135507
c lw 135519
c lw 135603
c lw 136114
c lw 136171
c lw 137606
c lw 137695
c lw 137702
c lw 137849
c lw 137860
c lw 137861
c lw 137862
c lw 137878
c lw 137895
c lw 137899
c lw 137904
c lw 137905
c lw 137976
c lw 138180
c lw 139493
c lw 140198
c lw 140688
c lw 141409
c lw 141785
c lw 141983
c lw 142041
c lw 142057
c lw 142582
c lw 142772
c lw 142827
c lw 143911
c lw 144171
c lw 144425
c lw 144527
c lw 144531
c lw 144553
c lw 144618
c lw 144924
c lw 145142
c lw 145318
c lw 145332
c lw 145923
c lw 146217
c lw 146376
c lw 146382
c lw 146422
c lw 146435
c lw 146446
c lw 146456
c lw 146460
c lw 146525
c lw 146640
c lw 146650
c lw 146665
c lw 146743
c lw 146887
c lw 146906
c lw 147960
c lw 148060
c lw 148363
c lw 148382
c lw 148399
c lw 148421
c lw 148469
c lw 149460
c lw 149770
c lw 149928
c lw 150657
c lw 150756
c lw 150804
c lw 151588
c lw 152326
c lw 152565
c lw 152938
c lw 152940
c lw 152957
c lw 153042
c lw 153060
c lw 153089
c lw 153185
c lw 153217
c lw 153308
c lw 153970
c lw 153972
c lw 153975
c lw 153978
c lw 153979
c lw 153981
c lw 153989
c lw 153992
c lw 153995
c lw 153997
c lw 153998
c lw 154000
c lw 154001
c lw 154023
c lw 154032
c lw 154082
c lw 154085
c lw 154171
c lw 154173
c lw 154177
c lw 154181
c lw 154187
c lw 154195
c lw 154197
c lw 154200
c lw 154217
c lw 154233
c lw 154236
c lw 154239
c lw 154248
c lw 154255
c lw 154259
c lw 154266
c lw 154268
c lw 154282
c lw 154284
c lw 154321
c lw 154363
c lw 154815
c lw 155005
c lw 155254
c lw 155385
c lw 155525
c lw 155543
c lw 155578
c lw 155610
c lw 155613
c lw 155631
c lw 155649
c lw 155706
c lw 155735
c lw 155745
c lw 155754
c lw 155760
c lw 155795
c lw 155806
c lw 155812
c lw 155838
c lw 155893
c lw 155931
c lw 156117
c lw 156217
c lw 156492
c lw 156606
c lw 156792
c lw 156948
c lw 158362
c lw 158471
c lw 158632
c lw 158754
c lw 159453
c lw 159537
c lw 159996
c lw 160488
c lw 160712
c lw 160806
c lw 160898
c lw 160915
c lw 160965
c lw 160986
c lw 161101
c lw 161400
c lw 161500
c lw 161547
c lw 161570
c lw 161594
c lw 161647
c lw 161661
c lw 161760
c lw 161775
c lw 161792
c lw 161808
c lw 161821
c lw 161842
c lw 161844
c lw 161868
c lw 161921
c lw 161922
c lw 161932
c lw 161935
c lw 161945
c lw 161946
c lw 161955
c lw 161956
c lw 161960
c lw 161965
c lw 161968
c lw 161969
c lw 161989
c lw 161993
c lw 162006
c lw 162011
c lw 162013
c lw 162330
c lw 162424
c lw 162533
c lw 162953
c lw 163382
c lw 163467
c lw 163634
c lw 164339
c lw 164467
c lw 164788
c lw 165208
c lw 165503
c lw 165507
c lw 165989
c lw 166183
c lw 166190
c lw 166226
c lw 166778
c lw 166865
c lw 167778
c lw 167853
c lw 168047
c lw 168143
c lw 168156
c lw 168228
c lw 168229
c lw 168230
c lw 168235
c lw 168238
c lw 168239
c lw 168240
c lw 168243
c lw 168244
c lw 168245
c lw 168248
c lw 168249
c lw 168250
c lw 168251
c lw 168253
c lw 168254
c lw 168255
c lw 168256
c lw 168257
c lw 168259
c lw 168260
c lw 168261
c lw 168262
c lw 168263
c lw 168264
c lw 168265
c lw 168266
c lw 168268
c lw 168269
c lw 168270
c lw 168271
c lw 168272
c lw 168273
c lw 168274
c lw 168275
c lw 168276
c lw 168277
c lw 168278
c lw 168279
c lw 168280
c lw 168281
c lw 168283
c lw 168285
c lw 168286
c lw 168288
c lw 168289
c lw 168294
c lw 168295
c lw 168297
c lw 168308
c lw 168309
c lw 168315
c lw 168316
c lw 168318
c lw 168319
c lw 168320