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-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 239
c lw 2113
c lw 3119
c lw 3548
c lw 5112
c lw 5791
c lw 6508
c lw 7230
c lw 7764
c lw 9235
c lw 9558
c lw 11661
c lw 12932
c lw 13118
c lw 13987
c lw 15088
c lw 15213
c lw 16404
c lw 16850
c lw 17607
c lw 18345
c lw 19425
c lw 20200
c lw 21706
c lw 22694
c lw 22734
c lw 23615
c lw 24992
c lw 25063
c lw 26538
c lw 27059
c lw 27087
c lw 27263
c lw 28332
c lw 28548
c lw 28666
c lw 28821
c lw 29346
c lw 29842
c lw 30217
c lw 31261
c lw 31476
c lw 32018
c lw 32150
c lw 32309
c lw 32403
c lw 32698
c lw 33593
c lw 33780
c lw 33965
c lw 34911
c lw 34980
c lw 35082
c lw 35315
c lw 36289
c lw 36645
c lw 36777
c lw 37117
c lw 37543
c lw 37619
c lw 37877
c lw 38089
c lw 38145
c lw 38333
c lw 38816
c lw 39373
c lw 39397
c lw 39747
c lw 40156
c lw 40266
c lw 40485
c lw 40930
c lw 41082
c lw 41130
c lw 41558
c lw 41594
c lw 41730
c lw 42094
c lw 42360
c lw 42885
c lw 42981
c lw 43600
c lw 44695
c lw 45398
c lw 45901
c lw 45929
c lw 46039
c lw 46090
c lw 46346
c lw 46451
c lw 46662
c lw 46804
c lw 46988
c lw 47527
c lw 48002
c lw 49182
c lw 49415
c lw 49763
c lw 50527
c lw 50621
c lw 50916
c lw 50941
c lw 51397
c lw 51789
c lw 51976
c lw 52161
c lw 52314
c lw 52383
c lw 52485
c lw 52718
c lw 52805
c lw 53161
c lw 53293
c lw 53633
c lw 53867
c lw 54493
c lw 54595
c lw 54633
c lw 54795
c lw 54843
c lw 54993
c lw 55307
c lw 56463
c lw 56496
c lw 56663
c lw 56765
c lw 56821
c lw 56848
c lw 57061
c lw 57618
c lw 58167
c lw 58332
c lw 58651
c lw 59355
c lw 59539
c lw 59659
c lw 59889
c lw 60422
c lw 60551
c lw 60676
c lw 61100
c lw 61432
c lw 61952
c lw 62338
c lw 62557
c lw 62633
c lw 63172
c lw 63647
c lw 64078
c lw 64132
c lw 64303
c lw 64634
c lw 64781
c lw 64968
c lw 64972
c lw 65637
c lw 65894
c lw 65936
c lw 65956
c lw 66109
c lw 66204
c lw 66738
c lw 66794
c lw 66829
c lw 67409
c lw 67457
c lw 67682
c lw 67860
c lw 67945
c lw 68310
c lw 68497
c lw 69151
c lw 69186
c lw 69473
c lw 69706
c lw 69857
c lw 69858
c lw 70328
c lw 70568
c lw 71455
c lw 71881
c lw 72045
c lw 72235
c lw 72241
c lw 72330
c lw 72833
c lw 72849
c lw 72973
c lw 73122
c lw 73400
c lw 73443
c lw 73562
c lw 73572
c lw 74075
c lw 74091
c lw 74176
c lw 74207
c lw 74248
c lw 74597
c lw 74893
c lw 75291
c lw 75725
c lw 75832
c lw 75835
c lw 76005
c lw 77214
c lw 78177
c lw 78271
c lw 78344
c lw 79834
c lw 79880
c lw 79926
c lw 79947
c lw 80086
c lw 80187
c lw 80234
c lw 80369
c lw 80575
c lw 80707
c lw 80882
c lw 80928
c lw 81308
c lw 81414
c lw 81795
c lw 82200
c lw 82259
c lw 83289
c lw 83294
c lw 83452
c lw 83546
c lw 83996
c lw 84023
c lw 84113
c lw 84276
c lw 84527
c lw 84709
c lw 85095
c lw 85616
c lw 85768
c lw 85836
c lw 85895
c lw 86431
c lw 86707
c lw 87357
c lw 87592
c lw 87757
c lw 87989
c lw 88010
c lw 88114
c lw 88265
c lw 88287
c lw 88738
c lw 88940
c lw 89172
c lw 89193
c lw 89297
c lw 89362
c lw 89543
c lw 89616
c lw 89752
c lw 89874
c lw 90726
c lw 90813
c lw 91791
c lw 92284
c lw 92334
c lw 92418
c lw 92458
c lw 92670
c lw 92700
c lw 92916
c lw 92974
c lw 93216
c lw 93825
c lw 94251
c lw 94264
c lw 94269
c lw 94659
c lw 94695
c lw 95309
c lw 95843
c lw 95989
c lw 96072
c lw 96804
c lw 97461
c lw 97863
c lw 98244
c lw 98610
c lw 98780
c lw 98842
c lw 99077
c lw 99967
c lw 100183
c lw 100837
c lw 101496
c lw 101775
c lw 102123
c lw 102176
c lw 102573
c lw 102740
c lw 102846
c lw 103044
c lw 103196
c lw 103269
c lw 103513
c lw 103628
c lw 103632
c lw 103663
c lw 103894
c lw 105087
c lw 105472
c lw 105613
c lw 106188
c lw 106210
c lw 106314
c lw 106662
c lw 107050
c lw 107314
c lw 107621
c lw 107655
c lw 108672
c lw 108887
c lw 108974
c lw 109046
c lw 109414
c lw 109471
c lw 110080
c lw 110514
c lw 110587
c lw 110668
c lw 110766
c lw 110771
c lw 110925
c lw 111741
c lw 111795
c lw 111857
c lw 112027
c lw 112060
c lw 112303
c lw 112391
c lw 112433
c lw 112434
c lw 112513
c lw 112529
c lw 112537
c lw 112556
c lw 113496
c lw 113589
c lw 114064
c lw 114121
c lw 114969
c lw 114998
c lw 115014
c lw 115019
c lw 115066
c lw 115698
c lw 115699
c lw 115701
c lw 115735
c lw 115745
c lw 116265
c lw 116638
c lw 116776
c lw 116969
c lw 116970
c lw 116985
c lw 116986
c lw 116991
c lw 116999
c lw 117003
c lw 117009
c lw 117105
c lw 117134
c lw 117209
c lw 117259
c lw 117278
c lw 117542
c lw 117713
c lw 117737
c lw 117845
c lw 117877
c lw 118196
c lw 118220
c lw 118566
c lw 118580
c lw 118599
c lw 118738
c lw 118777
c lw 118949
c lw 118972
c lw 119179
c lw 119997
c lw 120074
c lw 120176
c lw 120406
c lw 120663
c lw 121117
c lw 121449
c lw 121842
c lw 122042
c lw 122070
c lw 122123
c lw 122197
c lw 122840
c lw 123607
c lw 123865
c lw 124150
c lw 124174
c lw 124205
c lw 124222
c lw 124299
c lw 124361
c lw 124707
c lw 124717
c lw 124810
c lw 124845
c lw 124925
c lw 125011
c lw 125058
c lw 125578
c lw 126041
c lw 126160
c lw 127583
c lw 127811
c lw 128505
c lw 128574
c lw 128677
c lw 128720
c lw 128785
c lw 128798
c lw 128904
c lw 129085
c lw 129205
c lw 129237
c lw 129248
c lw 129274
c lw 130092
c lw 130365
c lw 130384
c lw 130461
c lw 130924
c lw 130994
c lw 131211
c lw 131623
c lw 131756
c lw 131865
c lw 132270
c lw 132323
c lw 132675
c lw 132826
c lw 133232
c lw 133434
c lw 133469
c lw 133518
c lw 133887
c lw 133939
c lw 134512
c lw 134912
c lw 134949
c lw 135563
c lw 135705
c lw 135835
c lw 136504
c lw 137210
c lw 137266
c lw 137874
c lw 137935
c lw 139254
c lw 139366
c lw 139402
c lw 139493
c lw 139661
c lw 140225
c lw 140246
c lw 140260
c lw 140372
c lw 141047
c lw 141123
c lw 141196
c lw 141206
c lw 142354
c lw 142398
c lw 142456
c lw 142507
c lw 142530
c lw 142600
c lw 142604
c lw 142612
c lw 143179
c lw 143572
c lw 143599
c lw 143695
c lw 143708
c lw 143784
c lw 144305
c lw 144725
c lw 144776
c lw 144896
c lw 145444
c lw 145599
c lw 145620
c lw 145732
c lw 146220
c lw 146269
c lw 146299
c lw 146309
c lw 146344
c lw 146353
c lw 146356
c lw 146408
c lw 146782
c lw 146844
c lw 147482
c lw 147749
c lw 147959
c lw 148493
c lw 148619
c lw 148858
c lw 148943
c lw 148987
c lw 149110
c lw 149320
c lw 149406
c lw 149550
c lw 150477
c lw 150720
c lw 150873
c lw 150879
c lw 150887
c lw 150958
c lw 150989
c lw 151013
c lw 151347
c lw 151355
c lw 151454
c lw 152292
c lw 152468
c lw 152512
c lw 152649
c lw 153286
c lw 153306
c lw 153389
c lw 153471
c lw 153524
c lw 153593
c lw 153648
c lw 153690
c lw 154118
c lw 154221
c lw 154614
c lw 154646
c lw 154766
c lw 154947
c lw 154953
c lw 155039
c lw 155053
c lw 155066
c lw 155068
c lw 155156
c lw 155169
c lw 155238
c lw 155307
c lw 155313
c lw 155315
c lw 155344
c lw 155380
c lw 155383
c lw 155447
c lw 155497
c lw 155620
c lw 155726
c lw 155988
c lw 156236
c lw 156413
c lw 156501
c lw 156619
c lw 156743
c lw 157238
c lw 157495
c lw 157497
c lw 157503
c lw 157510
c lw 157521
c lw 157536
c lw 157544
c lw 157568
c lw 157578
c lw 157579
c lw 157608
c lw 157616
c lw 157620
c lw 157630
c lw 157709
c lw 157717
c lw 157730
c lw 157735
c lw 157738
c lw 157746
c lw 157748
c lw 157762
c lw 157763
c lw 157768
c lw 157770
c lw 157772
c lw 157776
c lw 157778
c lw 157840
c lw 157969
c lw 158840
c lw 159096
c lw 159623
c lw 159624
c lw 159625
c lw 159626
c lw 159627
c lw 159629
c lw 159631
c lw 159635
c lw 159658
c lw 159668
c lw 159683
c lw 159685
c lw 159714
c lw 159736
c lw 159794
c lw 159818
c lw 159829
c lw 159834
c lw 159839
c lw 159850
c lw 159874
c lw 159921
c lw 159922
c lw 159932
c lw 159954
c lw 159970
c lw 159972
c lw 159980
c lw 159982
c lw 159983
c lw 159985
c lw 159986
c lw 159994
c lw 160000
c lw 160004
c lw 160006
c lw 160010
c lw 160014
c lw 160021
c lw 160025
c lw 160027
c lw 160048
c lw 160078
c lw 160084
c lw 160235
c lw 160286
c lw 160363
c lw 160458
c lw 160544
c lw 160545
c lw 160546
c lw 160547
c lw 160549
c lw 160550
c lw 160551
c lw 160552
c lw 160553
c lw 160556
c lw 160557
c lw 160558
c lw 160559
c lw 160560
c lw 160561
c lw 160736
c lw 160900
c lw 161001
c lw 161050
c lw 161096
c lw 161499
c lw 161656
c lw 161715
c lw 162398
c lw 162749
c lw 163216
c lw 163314
c lw 163459
c lw 163695
c lw 164216
c lw 164253
c lw 164290
c lw 164370
c lw 164527
c lw 164535
c lw 164563
c lw 164572
c lw 164802
c lw 164846
c lw 164888
c lw 164931
c lw 164955
c lw 165006
c lw 165008
c lw 165009
c lw 165010
c lw 165011
c lw 165325
c lw 165373
c lw 165374
c lw 165400
c lw 165405
c lw 165409
c lw 165421
c lw 165453
c lw 165866
c lw 166154
c lw 166192
c lw 166226
c lw 166255
c lw 166419
c lw 166466
c lw 166572
c lw 166777
c lw 167669
c lw 167915
c lw 168370
c lw 168602
c lw 168713
c lw 168820
c lw 169203
c lw 169460
c lw 169487
c lw 169524
c lw 169550
c lw 169555
c lw 169556
c lw 169559
c lw 169572
c lw 169595
c lw 169606
c lw 169617
c lw 169618
c lw 169624
c lw 169629
c lw 169635
c lw 169662
c lw 169672
c lw 170773
c lw 170853
c lw 171159
c lw 171211
c lw 171212
c lw 171213
c lw 171215
c lw 171216
c lw 171217
c lw 171218
c lw 171219
c lw 171220
c lw 171221
c lw 171222
c lw 171223
c lw 171224
c lw 171226
c lw 171227
c lw 171228
c lw 171229
c lw 171232
c lw 171233
c lw 171234
c lw 171235
c lw 171236
c lw 171237
c lw 171238
c lw 171239
c lw 171241
c lw 171242
c lw 171243
c lw 171244
c lw 171245
c lw 171272
c lw 172202
c lw 172278
c lw 172279
c lw 172280
c lw 172281
c lw 172282
c lw 172545
c lw 172781
c lw 172884
c lw 172892
c lw 173183
c lw 173639
c lw 174007
c lw 174422
c lw 174495
c lw 174816
c lw 175127
c lw 175537
c lw 175649
c lw 176852
c lw 177065
c lw 177434
c lw 177439
c lw 177583
c lw 177647
c lw 177648
c lw 177668
c lw 177671
c lw 177672
c lw 177676
c lw 177677
c lw 177682
c lw 177685
c lw 179104
c lw 179122
c lw 179231
c lw 179521
c lw 180097
c lw 180475
c lw 180493
c lw 180667
c lw 180780
c lw 180891
c lw 180931
c lw 181266
c lw 181557
c lw 181709
c lw 181712
c lw 181717
c lw 181718
c lw 181722
c lw 181723
c lw 181726
c lw 181746
c lw 181747
c lw 181785
c lw 181788
c lw 182073
c lw 182104
c lw 182241
c lw 182311
c lw 182411
c lw 182707
c lw 183167
c lw 184347
c lw 184453
c lw 184499
c lw 185669
c lw 185752
c lw 185798
c lw 185897
c lw 185911
c lw 185912
c lw 186090
c lw 186105
c lw 186110
c lw 186137
c lw 186139
c lw 186168
c lw 186180
c lw 186182
c lw 186197
c lw 186202
c lw 186225
c lw 186235
c lw 186265
c lw 186272
c lw 186668
c lw 186670
c lw 186678
c lw 186690
c lw 186704
c lw 186705
c lw 186722
c lw 186727
c lw 186743
c lw 186750
c lw 186752
c lw 186763
c lw 186766
c lw 186773
c lw 186774
c lw 186775
c lw 186776
c lw 186777
c lw 186783
c lw 186788
c lw 186790
c lw 186791
c lw 186792
c lw 186793
c lw 186794
c lw 186795
c lw 186796
c lw 186797
c lw 186798
c lw 186799
c lw 186800
c lw 186801
c lw 186802
c lw 186803
c lw 186804
c lw 186805
c lw 186806
c lw 186807
c lw 186808
c lw 186809
c lw 186810
c lw 186811
c lw 186812
c lw 186813
c lw 186814
c lw 186815
c lw 186816
c lw 186817
c lw 186818
c lw 186823
c lw 186830