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-200-1_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 586
c lw 2156
c lw 2903
c lw 3366
c lw 4198
c lw 4730
c lw 5629
c lw 6615
c lw 8492
c lw 9980
c lw 10309
c lw 12547
c lw 13185
c lw 13645
c lw 14641
c lw 15788
c lw 16565
c lw 16661
c lw 16929
c lw 17635
c lw 17843
c lw 18545
c lw 18691
c lw 19595
c lw 21169
c lw 24467
c lw 25891
c lw 26564
c lw 26888
c lw 26962
c lw 27253
c lw 27807
c lw 28886
c lw 29803
c lw 30275
c lw 31015
c lw 31282
c lw 31612
c lw 31671
c lw 32036
c lw 32063
c lw 32157
c lw 32249
c lw 32747
c lw 32897
c lw 33100
c lw 33634
c lw 33906
c lw 34377
c lw 34821
c lw 34885
c lw 35663
c lw 35721
c lw 36023
c lw 36647
c lw 37129
c lw 37409
c lw 37435
c lw 37489
c lw 37712
c lw 37825
c lw 38092
c lw 38100
c lw 38250
c lw 38938
c lw 39359
c lw 40302
c lw 40876
c lw 40980
c lw 41178
c lw 41682
c lw 41730
c lw 42456
c lw 42549
c lw 42628
c lw 42899
c lw 43323
c lw 43337
c lw 43918
c lw 44060
c lw 44263
c lw 44597
c lw 44855
c lw 45238
c lw 45326
c lw 45722
c lw 46012
c lw 46363
c lw 46803
c lw 47275
c lw 47326
c lw 47432
c lw 48257
c lw 48261
c lw 49084
c lw 49463
c lw 49503
c lw 49561
c lw 49569
c lw 50193
c lw 50818
c lw 50844
c lw 50892
c lw 51005
c lw 51185
c lw 51426
c lw 51544
c lw 52034
c lw 52722
c lw 52908
c lw 53569
c lw 53721
c lw 53763
c lw 53938
c lw 54422
c lw 54857
c lw 54999
c lw 55359
c lw 55443
c lw 55546
c lw 55605
c lw 55756
c lw 55835
c lw 56166
c lw 56215
c lw 56357
c lw 56371
c lw 56560
c lw 56809
c lw 57866
c lw 58306
c lw 58500
c lw 58520
c lw 58821
c lw 58824
c lw 59108
c lw 59653
c lw 60532
c lw 60774
c lw 61981
c lw 62532
c lw 62597
c lw 62611
c lw 62625
c lw 62690
c lw 62763
c lw 62817
c lw 62913
c lw 62996
c lw 63023
c lw 63413
c lw 63500
c lw 63594
c lw 63794
c lw 64117
c lw 64475
c lw 65008
c lw 65089
c lw 65095
c lw 65159
c lw 65172
c lw 65443
c lw 65583
c lw 66324
c lw 66336
c lw 66612
c lw 66665
c lw 67104
c lw 67389
c lw 67398
c lw 67451
c lw 67601
c lw 67965
c lw 68174
c lw 68202
c lw 68216
c lw 68327
c lw 68531
c lw 68538
c lw 68611
c lw 68614
c lw 68712
c lw 68891
c lw 68983
c lw 69221
c lw 69530
c lw 69583
c lw 69642
c lw 69675
c lw 70278
c lw 70519
c lw 70613
c lw 70688
c lw 70756
c lw 71074
c lw 71504
c lw 71555
c lw 71700
c lw 71872
c lw 72731
c lw 72865
c lw 73204
c lw 73389
c lw 73448
c lw 73473
c lw 73746
c lw 74357
c lw 74361
c lw 74762
c lw 74980
c lw 75026
c lw 75217
c lw 75762
c lw 75873
c lw 76012
c lw 76015
c lw 76051
c lw 76073
c lw 76260
c lw 76934
c lw 77078
c lw 77355
c lw 78030
c lw 78481
c lw 78644
c lw 78657
c lw 78702
c lw 78873
c lw 78926
c lw 79600
c lw 79702
c lw 79733
c lw 79872
c lw 80759
c lw 80796
c lw 81493
c lw 81606
c lw 81848
c lw 82000
c lw 82848
c lw 83218
c lw 83328
c lw 83584
c lw 83699
c lw 83941
c lw 83955
c lw 84153
c lw 85011
c lw 85216
c lw 85293
c lw 86599
c lw 86657
c lw 86684
c lw 86754
c lw 87797
c lw 88392
c lw 89099
c lw 89102
c lw 89578
c lw 89870
c lw 90714
c lw 90821
c lw 90912
c lw 91284
c lw 91434
c lw 91461
c lw 91528
c lw 91561
c lw 91581
c lw 92284
c lw 92332
c lw 92368
c lw 92374
c lw 92409
c lw 92563
c lw 93181
c lw 93201
c lw 93415
c lw 94086
c lw 94409
c lw 94465
c lw 94484
c lw 94493
c lw 94698
c lw 94769
c lw 95114
c lw 95122
c lw 95214
c lw 95764
c lw 96298
c lw 96606
c lw 96691
c lw 96794
c lw 96797
c lw 97547
c lw 97554
c lw 97736
c lw 98051
c lw 98241
c lw 98281
c lw 98317
c lw 98444
c lw 98448
c lw 98507
c lw 98963
c lw 98991
c lw 99253
c lw 99347
c lw 99355
c lw 99763
c lw 99774
c lw 99835
c lw 99894
c lw 99962
c lw 99979
c lw 100009
c lw 100021
c lw 100045
c lw 100067
c lw 100108
c lw 100185
c lw 100320
c lw 100371
c lw 100417
c lw 100429
c lw 100670
c lw 101036
c lw 101131
c lw 101134
c lw 101186
c lw 101416
c lw 101592
c lw 101751
c lw 102255
c lw 102779
c lw 102891
c lw 103488
c lw 103540
c lw 103552
c lw 103618
c lw 103668
c lw 103757
c lw 103862
c lw 104037
c lw 104108
c lw 104715
c lw 105160
c lw 105255
c lw 105272
c lw 105381
c lw 105428
c lw 105504
c lw 105689
c lw 105941
c lw 106469
c lw 106640
c lw 107170
c lw 107563
c lw 107573
c lw 107755
c lw 108564
c lw 108605
c lw 108918
c lw 108988
c lw 109876
c lw 110583
c lw 110595
c lw 111050
c lw 111165
c lw 111420
c lw 111668
c lw 111674
c lw 111682
c lw 111683
c lw 111704
c lw 111944
c lw 111946
c lw 112376
c lw 112468
c lw 112700
c lw 112751
c lw 113104
c lw 113381
c lw 113665
c lw 113716
c lw 114675
c lw 114795
c lw 114994
c lw 115045
c lw 115089
c lw 115090
c lw 115553
c lw 116186
c lw 116298
c lw 116330
c lw 116347
c lw 116351
c lw 116353
c lw 116359
c lw 116373
c lw 116401
c lw 117184
c lw 117205
c lw 117226
c lw 117231
c lw 117239
c lw 117392
c lw 117938
c lw 118196
c lw 118199
c lw 118208
c lw 118215
c lw 118218
c lw 118256
c lw 118744
c lw 118772
c lw 118859
c lw 118866
c lw 119159
c lw 119187
c lw 119209
c lw 119215
c lw 119242
c lw 119281
c lw 119316
c lw 119330
c lw 119373
c lw 119376
c lw 119382
c lw 119385
c lw 119386
c lw 119388
c lw 119389
c lw 119392
c lw 119395
c lw 119543
c lw 119657
c lw 119801
c lw 119811
c lw 119846
c lw 120379
c lw 120458
c lw 120513
c lw 120990
c lw 120992
c lw 120993
c lw 120994
c lw 120995
c lw 121065
c lw 121071
c lw 121077
c lw 121141
c lw 121202
c lw 121203
c lw 121699
c lw 121848
c lw 121864
c lw 121899
c lw 121925
c lw 121940
c lw 121949
c lw 122003
c lw 122012
c lw 122038
c lw 122063
c lw 122111
c lw 122894
c lw 123193
c lw 124072
c lw 124125
c lw 124184
c lw 124323
c lw 124513
c lw 125396
c lw 125536
c lw 125599
c lw 126332
c lw 126536
c lw 126630
c lw 127411
c lw 127508
c lw 128744
c lw 128887
c lw 129203
c lw 129387
c lw 130414
c lw 130448
c lw 130515
c lw 130536
c lw 130595
c lw 130697
c lw 130726
c lw 130754
c lw 130815
c lw 130938
c lw 130949
c lw 130951
c lw 130970
c lw 130975
c lw 131066
c lw 131093
c lw 131100
c lw 131197
c lw 131239
c lw 131773
c lw 131802
c lw 131821
c lw 131830
c lw 131905
c lw 131946
c lw 132072
c lw 132099
c lw 132110
c lw 132111
c lw 132112
c lw 132122
c lw 132136
c lw 132160
c lw 132383
c lw 132711
c lw 132712
c lw 132817
c lw 133767
c lw 133777
c lw 134000
c lw 134141
c lw 134393
c lw 134435
c lw 134500
c lw 134616
c lw 134644
c lw 134645
c lw 134761
c lw 135403
c lw 136583
c lw 136690
c lw 136764
c lw 136998
c lw 137838
c lw 137991
c lw 138464
c lw 138524
c lw 139050
c lw 139072
c lw 139091
c lw 139817
c lw 139824
c lw 139828
c lw 139829
c lw 139835
c lw 139849
c lw 139863
c lw 139869
c lw 139871
c lw 139873
c lw 139877
c lw 139881
c lw 139882
c lw 139883
c lw 140109
c lw 140142
c lw 141219
c lw 141722
c lw 141723
c lw 141914
c lw 141918
c lw 141922
c lw 142035
c lw 142240
c lw 142440
c lw 142563
c lw 142857
c lw 144192
c lw 144306
c lw 145641
c lw 145734
c lw 145745
c lw 146108
c lw 146231
c lw 146561
c lw 146631
c lw 146668
c lw 147441
c lw 147708
c lw 147979
c lw 148011
c lw 149213
c lw 149250
c lw 149986
c lw 150516
c lw 150628
c lw 151275
c lw 151285
c lw 151503
c lw 151736
c lw 152366
c lw 152468
c lw 153888
c lw 154480
c lw 154489
c lw 154547
c lw 155867
c lw 156060
c lw 157194
c lw 157358
c lw 157619
c lw 157919
c lw 158051
c lw 158360
c lw 158497
c lw 158660
c lw 159434
c lw 159520
c lw 159527
c lw 159529
c lw 159530
c lw 159537
c lw 159546
c lw 160231
c lw 160449
c lw 161242
c lw 161765
c lw 163199
c lw 163599
c lw 164043
c lw 164911
c lw 165784
c lw 165913
c lw 166322
c lw 166484
c lw 166680
c lw 167285
c lw 167458
c lw 167867
c lw 167929
c lw 167955
c lw 168755
c lw 169001
c lw 169062
c lw 169301
c lw 169417
c lw 169435
c lw 169726
c lw 169752
c lw 169982
c lw 170566
c lw 171224
c lw 171940
c lw 172349
c lw 172776
c lw 173084
c lw 173523
c lw 173660
c lw 173771
c lw 173923
c lw 173952
c lw 175006
c lw 175069
c lw 175305
c lw 175325
c lw 175457
c lw 175475
c lw 175504
c lw 175571
c lw 176734
c lw 176747
c lw 176967
c lw 176972
c lw 177015
c lw 177362
c lw 177707
c lw 177936
c lw 178645
c lw 178646
c lw 178647
c lw 178648
c lw 178649
c lw 178650
c lw 178651
c lw 178652
c lw 178653
c lw 178656
c lw 178657
c lw 178658
c lw 178659
c lw 178660
c lw 178661