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-260-1_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1743
c lw 2176
c lw 2278
c lw 3791
c lw 4531
c lw 5676
c lw 7209
c lw 7746
c lw 8537
c lw 9924
c lw 10462
c lw 11599
c lw 13793
c lw 15566
c lw 16071
c lw 16898
c lw 16989
c lw 18293
c lw 19673
c lw 19982
c lw 20971
c lw 22146
c lw 23080
c lw 24777
c lw 25505
c lw 26586
c lw 28084
c lw 28205
c lw 29282
c lw 30769
c lw 31574
c lw 32126
c lw 32327
c lw 33296
c lw 34561
c lw 34574
c lw 34891
c lw 35521
c lw 36267
c lw 36488
c lw 37325
c lw 38571
c lw 38725
c lw 38762
c lw 38867
c lw 38936
c lw 39245
c lw 39586
c lw 39859
c lw 40081
c lw 40082
c lw 40394
c lw 40405
c lw 40595
c lw 40601
c lw 40863
c lw 41128
c lw 41358
c lw 42262
c lw 42705
c lw 42714
c lw 43844
c lw 44315
c lw 44394
c lw 44611
c lw 44620
c lw 44754
c lw 46037
c lw 46119
c lw 46793
c lw 47152
c lw 47459
c lw 47682
c lw 47765
c lw 47813
c lw 48422
c lw 48712
c lw 49321
c lw 49713
c lw 49720
c lw 49882
c lw 51070
c lw 51410
c lw 51477
c lw 52257
c lw 52425
c lw 52684
c lw 52745
c lw 53273
c lw 53601
c lw 54235
c lw 54599
c lw 55446
c lw 56367
c lw 56542
c lw 57180
c lw 58592
c lw 58727
c lw 58755
c lw 58979
c lw 59095
c lw 60054
c lw 60408
c lw 60621
c lw 60948
c lw 61609
c lw 61802
c lw 61885
c lw 62547
c lw 62793
c lw 63423
c lw 63425
c lw 63869
c lw 64134
c lw 64364
c lw 64668
c lw 65111
c lw 65120
c lw 65263
c lw 65540
c lw 65849
c lw 65928
c lw 66145
c lw 66154
c lw 66181
c lw 66326
c lw 66380
c lw 66957
c lw 67337
c lw 67574
c lw 67656
c lw 67794
c lw 68330
c lw 68355
c lw 68714
c lw 69258
c lw 69653
c lw 69840
c lw 70580
c lw 70636
c lw 70966
c lw 71136
c lw 71503
c lw 71590
c lw 71759
c lw 72058
c lw 72368
c lw 72592
c lw 72628
c lw 72635
c lw 72797
c lw 72819
c lw 72868
c lw 73036
c lw 73239
c lw 73300
c lw 73828
c lw 73858
c lw 74311
c lw 74511
c lw 74779
c lw 74891
c lw 75292
c lw 75941
c lw 76205
c lw 76720
c lw 76799
c lw 77085
c lw 77163
c lw 77616
c lw 77741
c lw 77890
c lw 77894
c lw 78530
c lw 78556
c lw 78630
c lw 78915
c lw 80181
c lw 80191
c lw 80314
c lw 80357
c lw 80593
c lw 80920
c lw 81166
c lw 81369
c lw 81511
c lw 81531
c lw 81663
c lw 81690
c lw 81694
c lw 81749
c lw 81919
c lw 82819
c lw 82927
c lw 84297
c lw 84412
c lw 85208
c lw 85359
c lw 85501
c lw 85786
c lw 86135
c lw 86391
c lw 86400
c lw 86622
c lw 86640
c lw 86802
c lw 86887
c lw 86993
c lw 87059
c lw 87061
c lw 87278
c lw 87727
c lw 88131
c lw 88176
c lw 88379
c lw 88615
c lw 88694
c lw 88871
c lw 89590
c lw 89643
c lw 89644
c lw 90004
c lw 90364
c lw 90495
c lw 90877
c lw 90920
c lw 91210
c lw 91383
c lw 91886
c lw 91916
c lw 92231
c lw 92439
c lw 92694
c lw 93026
c lw 93094
c lw 93110
c lw 93173
c lw 93261
c lw 93304
c lw 93334
c lw 93426
c lw 93470
c lw 93504
c lw 93547
c lw 93549
c lw 93556
c lw 93592
c lw 93622
c lw 93636
c lw 93728
c lw 93801
c lw 93943
c lw 93966
c lw 93976
c lw 94151
c lw 94238
c lw 94540
c lw 95263
c lw 95592
c lw 95675
c lw 96059
c lw 96219
c lw 96501
c lw 96994
c lw 97062
c lw 97182
c lw 97188
c lw 97208
c lw 97574
c lw 98424
c lw 98442
c lw 98504
c lw 98620
c lw 99381
c lw 99427
c lw 99604
c lw 99751
c lw 99846
c lw 99896
c lw 99977
c lw 100115
c lw 100562
c lw 100831
c lw 100870
c lw 101414
c lw 101497
c lw 101802
c lw 101882
c lw 102635
c lw 102992
c lw 103429
c lw 104255
c lw 104334
c lw 104536
c lw 104595
c lw 104695
c lw 105474
c lw 105493
c lw 105510
c lw 105796
c lw 105826
c lw 105899
c lw 106036
c lw 106673
c lw 107030
c lw 107130
c lw 107827
c lw 108113
c lw 108130
c lw 108203
c lw 108381
c lw 108674
c lw 109021
c lw 109069
c lw 109233
c lw 109282
c lw 110018
c lw 110742
c lw 111598
c lw 112098
c lw 112148
c lw 112195
c lw 112202
c lw 112205
c lw 112369
c lw 112442
c lw 112521
c lw 113455
c lw 113487
c lw 113635
c lw 114096
c lw 114747
c lw 114871
c lw 116184
c lw 116497
c lw 116578
c lw 117121
c lw 117233
c lw 117243
c lw 117636
c lw 117643
c lw 117787
c lw 117817
c lw 118193
c lw 118196
c lw 118369
c lw 118726
c lw 118919
c lw 119014
c lw 119064
c lw 119405
c lw 119488
c lw 119926
c lw 120068
c lw 120071
c lw 120344
c lw 120759
c lw 121007
c lw 121717
c lw 121977
c lw 122000
c lw 122045
c lw 122211
c lw 123018
c lw 123190
c lw 123499
c lw 123582
c lw 123595
c lw 123870
c lw 124268
c lw 124369
c lw 125526
c lw 125694
c lw 126158
c lw 126285
c lw 126400
c lw 126819
c lw 126854
c lw 127158
c lw 127283
c lw 127313
c lw 127520
c lw 128186
c lw 128454
c lw 128572
c lw 128903
c lw 129197
c lw 129723
c lw 130114
c lw 130300
c lw 130310
c lw 130681
c lw 131079
c lw 131327
c lw 131409
c lw 131939
c lw 132538
c lw 132567
c lw 132601
c lw 132704
c lw 132716
c lw 132964
c lw 133848
c lw 134082
c lw 134117
c lw 134502
c lw 135317
c lw 136207
c lw 136315
c lw 136426
c lw 136464
c lw 136571
c lw 137185
c lw 137235
c lw 137266
c lw 137348
c lw 137416
c lw 137423
c lw 137425
c lw 137433
c lw 137565
c lw 137580
c lw 137638
c lw 137664
c lw 137671
c lw 137744
c lw 138518
c lw 138525
c lw 138541
c lw 138551
c lw 138675
c lw 138681
c lw 138683
c lw 138756
c lw 138848
c lw 138862
c lw 138890
c lw 138892
c lw 138899
c lw 138901
c lw 138907
c lw 138917
c lw 138944
c lw 138946
c lw 138947
c lw 138954
c lw 138980
c lw 139010
c lw 139014
c lw 139017
c lw 139024
c lw 139040
c lw 139047
c lw 139051
c lw 139461
c lw 139464
c lw 139467
c lw 139471
c lw 139487
c lw 139489
c lw 139490
c lw 139494
c lw 139495
c lw 139497
c lw 139508
c lw 139519
c lw 139520
c lw 139522
c lw 139774
c lw 140678
c lw 140681
c lw 140682
c lw 140684
c lw 140830
c lw 140899
c lw 141817
c lw 142064
c lw 142277
c lw 142660
c lw 142664
c lw 142678
c lw 143877
c lw 144215
c lw 144566
c lw 144770
c lw 144832
c lw 145057
c lw 145243
c lw 145283
c lw 145434
c lw 145860
c lw 145965
c lw 146870
c lw 146914
c lw 146939
c lw 147668
c lw 148199
c lw 149076
c lw 149225
c lw 150147
c lw 150177
c lw 150263
c lw 150276
c lw 150545
c lw 150650
c lw 151188
c lw 151240
c lw 151289
c lw 151457
c lw 151559
c lw 151692
c lw 151715
c lw 151716
c lw 152050
c lw 152218
c lw 152263
c lw 152270
c lw 152507
c lw 152512
c lw 152517
c lw 152522
c lw 152523
c lw 152546
c lw 153501
c lw 153506
c lw 153932
c lw 154072
c lw 154084
c lw 154141
c lw 154156
c lw 154204
c lw 154582
c lw 154634
c lw 154659
c lw 155152
c lw 155330
c lw 155373
c lw 155528
c lw 156630
c lw 156741
c lw 156806
c lw 156817
c lw 156988
c lw 157040
c lw 157732
c lw 157787
c lw 158001
c lw 158256
c lw 158375
c lw 158839
c lw 158889
c lw 158961
c lw 159305
c lw 160185
c lw 160216
c lw 160229
c lw 160643
c lw 160919
c lw 161178
c lw 161797
c lw 161805
c lw 161815
c lw 161858
c lw 162054
c lw 162106
c lw 162722
c lw 162834
c lw 163303
c lw 163374
c lw 163886
c lw 163905
c lw 164008
c lw 164020
c lw 164026
c lw 164348
c lw 164350
c lw 164903
c lw 164940
c lw 164975
c lw 164994
c lw 165029
c lw 165056
c lw 165329
c lw 165350
c lw 165356
c lw 165389
c lw 165714
c lw 165742
c lw 165748
c lw 166680
c lw 166763
c lw 166939
c lw 167025
c lw 167145
c lw 167162
c lw 167276
c lw 167801
c lw 168035
c lw 168053
c lw 168059
c lw 168081
c lw 168213
c lw 168329
c lw 168507
c lw 168832
c lw 169272
c lw 169562
c lw 169587
c lw 169646
c lw 169727
c lw 170293
c lw 170584
c lw 170758
c lw 170826
c lw 171139
c lw 171175
c lw 171317
c lw 171536
c lw 171544
c lw 171608
c lw 172369
c lw 172460
c lw 172739
c lw 172942
c lw 172972
c lw 173192
c lw 173502
c lw 173572
c lw 174201
c lw 175172
c lw 175959
c lw 175990
c lw 176032
c lw 176365
c lw 176797
c lw 177289
c lw 177405
c lw 177709
c lw 177830
c lw 177903
c lw 177909
c lw 178015
c lw 178459
c lw 178907
c lw 179075
c lw 179681
c lw 180068
c lw 180332
c lw 180949
c lw 181121
c lw 181131
c lw 182001
c lw 182042
c lw 182255
c lw 182476
c lw 182567
c lw 182803
c lw 182813
c lw 182854
c lw 182870
c lw 182900
c lw 182907
c lw 182908
c lw 183505
c lw 183590
c lw 183694
c lw 184090
c lw 184647
c lw 184746
c lw 184957
c lw 185065
c lw 185150
c lw 185182
c lw 185217
c lw 185275
c lw 185283
c lw 185869
c lw 186086
c lw 186786
c lw 187121
c lw 187232
c lw 187233
c lw 187234
c lw 187236
c lw 187238
c lw 187364
c lw 187439
c lw 187440
c lw 187442
c lw 187444
c lw 187447
c lw 187448
c lw 187449
c lw 187450
c lw 187451
c lw 187453
c lw 187454
c lw 187455
c lw 187456
c lw 187457
c lw 187461
c lw 187466
c lw 187467
c lw 187583
c lw 188806
c lw 188823
c lw 189030
c lw 189243
c lw 190158
c lw 190280
c lw 190328
c lw 190691
c lw 191286
c lw 191418
c lw 191974
c lw 192193
c lw 192975
c lw 193303
c lw 193389
c lw 193511
c lw 194026
c lw 194069
c lw 194099
c lw 194112
c lw 194603
c lw 194625
c lw 194764
c lw 195095
c lw 195560
c lw 195615
c lw 196076
c lw 196217
c lw 196708
c lw 197058
c lw 197157
c lw 197169
c lw 197183
c lw 197316
c lw 197326
c lw 198194
c lw 198381
c lw 198488
c lw 198806
c lw 199318
c lw 199588
c lw 199994
c lw 200596
c lw 200790
c lw 201109
c lw 201122
c lw 201286
c lw 201819
c lw 201860
c lw 202323
c lw 202729
c lw 202749
c lw 202858
c lw 202943
c lw 202974
c lw 203208
c lw 203297
c lw 203317
c lw 203322
c lw 203346
c lw 203402
c lw 203535
c lw 203847
c lw 204299
c lw 204475
c lw 204624
c lw 204861
c lw 204924
c lw 205095
c lw 205177
c lw 205193
c lw 205210
c lw 205246
c lw 205251
c lw 205261
c lw 205263
c lw 205293
c lw 205308
c lw 205379
c lw 205436
c lw 206331
c lw 206412
c lw 207495
c lw 207602
c lw 207958
c lw 208175
c lw 208346
c lw 208480
c lw 208493
c lw 208825
c lw 209272
c lw 210253
c lw 210474
c lw 210568
c lw 210645
c lw 210656
c lw 210736
c lw 210745
c lw 210789
c lw 210825
c lw 210836
c lw 210844
c lw 210862
c lw 210863
c lw 210913
c lw 210929
c lw 211105
c lw 211370
c lw 211584
c lw 211826
c lw 211870
c lw 211940
c lw 211977
c lw 212484
c lw 212806
c lw 212954
c lw 213404
c lw 213421
c lw 213604
c lw 214672
c lw 214962
c lw 215145
c lw 215542
c lw 216872
c lw 216924
c lw 216944
c lw 217184
c lw 217950
c lw 218869
c lw 219145
c lw 219326
c lw 219382
c lw 219503
c lw 219570
c lw 219602
c lw 220617
c lw 220685
c lw 220720
c lw 221718
c lw 221729
c lw 222233
c lw 222245
c lw 222949
c lw 223111
c lw 223278
c lw 223539
c lw 223624
c lw 223692
c lw 223975
c lw 225331
c lw 225402
c lw 225553
c lw 225583
c lw 225624
c lw 225745
c lw 225801
c lw 225840
c lw 225922
c lw 226617
c lw 226657
c lw 226741
c lw 226760
c lw 226967
c lw 227021
c lw 227023
c lw 227159
c lw 227179
c lw 227190
c lw 228721
c lw 228844
c lw 229826
c lw 230073
c lw 230149
c lw 230238
c lw 230664
c lw 230804
c lw 230919
c lw 231312
c lw 231321
c lw 231470
c lw 231552
c lw 231563
c lw 231661
c lw 232085
c lw 232948
c lw 232996
c lw 233127
c lw 233328
c lw 233512
c lw 234087
c lw 234874
c lw 234933
c lw 234939
c lw 235040
c lw 235309
c lw 235332
c lw 235430
c lw 235450
c lw 235456
c lw 235498
c lw 236590
c lw 236859
c lw 237907
c lw 238941
c lw 239190
c lw 239232
c lw 239354
c lw 239365
c lw 239591
c lw 239603
c lw 239718
c lw 239816
c lw 240301
c lw 240866
c lw 240868
c lw 241149
c lw 241427
c lw 241494
c lw 241532
c lw 241533
c lw 241718
c lw 241780
c lw 241938
c lw 242274
c lw 242626
c lw 242731
c lw 243144
c lw 243416
c lw 243576
c lw 243587
c lw 243594
c lw 243702
c lw 243769
c lw 243779
c lw 243801
c lw 243813
c lw 243817
c lw 244020
c lw 244113
c lw 244124
c lw 244175
c lw 244186
c lw 244190
c lw 244197
c lw 244701
c lw 244955
c lw 245044
c lw 246200
c lw 246346
c lw 246390
c lw 246473
c lw 246517
c lw 246556
c lw 246600
c lw 247536
c lw 247799
c lw 247867
c lw 248094
c lw 248126
c lw 248701
c lw 248925
c lw 249272
c lw 249556
c lw 249627
c lw 249672
c lw 249674
c lw 249675
c lw 249676
c lw 249677
c lw 249679
c lw 249680
c lw 249681
c lw 249682
c lw 249683
c lw 249693
c lw 249694
c lw 249695
c lw 249696
c lw 249697
c lw 249698
c lw 249699
c lw 249700
c lw 249701
c lw 249702
c lw 249704
c lw 249705
c lw 249706
c lw 249707
c lw 249708
c lw 249709
c lw 249710
c lw 249711
c lw 249712
c lw 249713
c lw 249714
c lw 249715
c lw 249716
c lw 249717
c lw 249718
c lw 249719
c lw 249720
c lw 249721
c lw 249722
c lw 249723
c lw 249724
c lw 249725
c lw 249726
c lw 249727
c lw 249728
c lw 249729
c lw 249730
c lw 249733
c lw 249734
c lw 249735
c lw 249736
c lw 249737
c lw 249738