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-280-1_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1334
c lw 1983
c lw 2862
c lw 3454
c lw 5915
c lw 6066
c lw 6725
c lw 7976
c lw 8622
c lw 9475
c lw 10790
c lw 12442
c lw 12696
c lw 13953
c lw 14848
c lw 15528
c lw 16181
c lw 17789
c lw 19051
c lw 19605
c lw 21079
c lw 21445
c lw 23193
c lw 23901
c lw 24391
c lw 25385
c lw 27219
c lw 28057
c lw 29351
c lw 29538
c lw 29658
c lw 29748
c lw 30949
c lw 32351
c lw 33719
c lw 34735
c lw 34912
c lw 35900
c lw 36103
c lw 36283
c lw 37576
c lw 37840
c lw 37920
c lw 38326
c lw 38740
c lw 39178
c lw 39472
c lw 39848
c lw 40480
c lw 40694
c lw 41357
c lw 41464
c lw 41685
c lw 42070
c lw 42083
c lw 43216
c lw 43451
c lw 44329
c lw 44878
c lw 44998
c lw 45002
c lw 45113
c lw 45244
c lw 45813
c lw 45950
c lw 46790
c lw 46798
c lw 47541
c lw 47693
c lw 48401
c lw 49234
c lw 49784
c lw 50301
c lw 50733
c lw 51303
c lw 51324
c lw 51611
c lw 52760
c lw 52886
c lw 52891
c lw 53278
c lw 53642
c lw 53825
c lw 54229
c lw 54465
c lw 54661
c lw 55077
c lw 55278
c lw 55528
c lw 55590
c lw 56308
c lw 56505
c lw 56788
c lw 56807
c lw 57186
c lw 57812
c lw 58075
c lw 58227
c lw 58259
c lw 58361
c lw 58664
c lw 58755
c lw 59156
c lw 59503
c lw 59619
c lw 59868
c lw 60043
c lw 61360
c lw 62248
c lw 62425
c lw 62832
c lw 63109
c lw 63359
c lw 63873
c lw 64215
c lw 64536
c lw 64668
c lw 64753
c lw 66192
c lw 66298
c lw 66495
c lw 66721
c lw 66854
c lw 66883
c lw 66915
c lw 67925
c lw 68471
c lw 68486
c lw 68620
c lw 68637
c lw 68774
c lw 69707
c lw 70591
c lw 70681
c lw 70818
c lw 70925
c lw 71605
c lw 71874
c lw 72326
c lw 72334
c lw 72529
c lw 73164
c lw 73735
c lw 73890
c lw 74254
c lw 74627
c lw 75144
c lw 75395
c lw 75576
c lw 76056
c lw 76077
c lw 76162
c lw 76288
c lw 76293
c lw 76680
c lw 76965
c lw 77148
c lw 77445
c lw 77792
c lw 78244
c lw 78713
c lw 78949
c lw 79256
c lw 79520
c lw 79870
c lw 80152
c lw 80307
c lw 80456
c lw 80981
c lw 81125
c lw 81502
c lw 81545
c lw 82464
c lw 82502
c lw 82547
c lw 82974
c lw 83106
c lw 83340
c lw 83507
c lw 83537
c lw 83637
c lw 83737
c lw 83835
c lw 84139
c lw 84336
c lw 84351
c lw 84355
c lw 84433
c lw 84447
c lw 85072
c lw 85249
c lw 85298
c lw 85351
c lw 85442
c lw 85636
c lw 85646
c lw 85791
c lw 86435
c lw 86455
c lw 86819
c lw 86824
c lw 86849
c lw 87092
c lw 87126
c lw 87367
c lw 87653
c lw 87716
c lw 88796
c lw 89059
c lw 89470
c lw 89499
c lw 89783
c lw 90273
c lw 90438
c lw 90571
c lw 91150
c lw 91195
c lw 91351
c lw 91684
c lw 92019
c lw 92334
c lw 92950
c lw 93012
c lw 93333
c lw 93586
c lw 93645
c lw 93907
c lw 94330
c lw 95296
c lw 95431
c lw 95600
c lw 96033
c lw 96263
c lw 96495
c lw 96667
c lw 96712
c lw 96731
c lw 97085
c lw 97447
c lw 97600
c lw 97872
c lw 97979
c lw 98058
c lw 98059
c lw 98182
c lw 98236
c lw 98728
c lw 99398
c lw 99682
c lw 100025
c lw 100307
c lw 100549
c lw 100639
c lw 100727
c lw 100748
c lw 101242
c lw 101448
c lw 101467
c lw 101485
c lw 101565
c lw 101580
c lw 101742
c lw 102131
c lw 102411
c lw 103092
c lw 103157
c lw 103417
c lw 103800
c lw 103881
c lw 104204
c lw 104461
c lw 104531
c lw 105104
c lw 105660
c lw 106075
c lw 106888
c lw 106926
c lw 107190
c lw 107210
c lw 107291
c lw 107307
c lw 107365
c lw 107443
c lw 107580
c lw 107636
c lw 107863
c lw 108827
c lw 108872
c lw 109355
c lw 109503
c lw 109869
c lw 110001
c lw 110152
c lw 110235
c lw 110260
c lw 111056
c lw 111428
c lw 111438
c lw 111568
c lw 111575
c lw 111900
c lw 112252
c lw 112540
c lw 112825
c lw 112868
c lw 113665
c lw 113722
c lw 113876
c lw 114050
c lw 114472
c lw 114511
c lw 114593
c lw 114612
c lw 114637
c lw 114722
c lw 115025
c lw 115118
c lw 115239
c lw 115771
c lw 116043
c lw 116494
c lw 117342
c lw 117362
c lw 117540
c lw 117557
c lw 117692
c lw 117960
c lw 118256
c lw 118330
c lw 118347
c lw 118355
c lw 118539
c lw 118671
c lw 118765
c lw 119023
c lw 119853
c lw 120406
c lw 120536
c lw 121627
c lw 121678
c lw 122831
c lw 123031
c lw 123183
c lw 123231
c lw 123359
c lw 123625
c lw 123972
c lw 124199
c lw 124775
c lw 124783
c lw 124866
c lw 124919
c lw 125446
c lw 125818
c lw 125849
c lw 126109
c lw 126426
c lw 127148
c lw 127261
c lw 127309
c lw 127504
c lw 127683
c lw 128182
c lw 128284
c lw 128316
c lw 128421
c lw 128780
c lw 128791
c lw 128832
c lw 128985
c lw 129058
c lw 129770
c lw 129889
c lw 129983
c lw 130533
c lw 130557
c lw 130843
c lw 131046
c lw 131053
c lw 131278
c lw 131568
c lw 132003
c lw 132230
c lw 133046
c lw 133280
c lw 133413
c lw 133742
c lw 134132
c lw 134239
c lw 134520
c lw 134903
c lw 135228
c lw 135366
c lw 135771
c lw 136302
c lw 136392
c lw 136940
c lw 137365
c lw 137397
c lw 137661
c lw 137682
c lw 138067
c lw 138241
c lw 138296
c lw 138811
c lw 138937
c lw 139171
c lw 139358
c lw 139467
c lw 139487
c lw 139488
c lw 139810
c lw 141019
c lw 141068
c lw 142530
c lw 142550
c lw 142844
c lw 143128
c lw 143217
c lw 143366
c lw 143369
c lw 143489
c lw 143783
c lw 143812
c lw 144136
c lw 144247
c lw 144501
c lw 144851
c lw 145232
c lw 145417
c lw 145531
c lw 146382
c lw 146573
c lw 146835
c lw 147109
c lw 147162
c lw 147426
c lw 147546
c lw 147679
c lw 147962
c lw 148018
c lw 148067
c lw 148124
c lw 148332
c lw 148355
c lw 148623
c lw 148695
c lw 148715
c lw 148731
c lw 148753
c lw 148955
c lw 149425
c lw 149594
c lw 150354
c lw 150636
c lw 150922
c lw 151237
c lw 151455
c lw 151557
c lw 152584
c lw 152595
c lw 152672
c lw 152799
c lw 152825
c lw 152864
c lw 153044
c lw 153558
c lw 153888
c lw 154073
c lw 154526
c lw 154748
c lw 154754
c lw 154779
c lw 154882
c lw 154927
c lw 155547
c lw 155553
c lw 155596
c lw 156355
c lw 156368
c lw 156439
c lw 156519
c lw 156571
c lw 157366
c lw 157625
c lw 157686
c lw 157943
c lw 158479
c lw 159252
c lw 159574
c lw 159894
c lw 159936
c lw 159942
c lw 159967
c lw 160091
c lw 160099
c lw 160130
c lw 160191
c lw 160211
c lw 160373
c lw 160621
c lw 160659
c lw 160678
c lw 161263
c lw 161373
c lw 161571
c lw 161993
c lw 162236
c lw 162254
c lw 162256
c lw 162311
c lw 162716
c lw 162749
c lw 162847
c lw 162907
c lw 162917
c lw 164091
c lw 164129
c lw 164134
c lw 164147
c lw 165338
c lw 165348
c lw 165358
c lw 165390
c lw 166517
c lw 166527
c lw 166543
c lw 166581
c lw 166586
c lw 166608
c lw 166640
c lw 166663
c lw 166797
c lw 166813
c lw 167180
c lw 167402
c lw 167920
c lw 168017
c lw 168392
c lw 168485
c lw 168503
c lw 168569
c lw 168586
c lw 168820
c lw 169405
c lw 170352
c lw 170572
c lw 170723
c lw 170907
c lw 170956
c lw 170988
c lw 171169
c lw 171278
c lw 171483
c lw 171510
c lw 172139
c lw 172336
c lw 173216
c lw 173360
c lw 173418
c lw 173507
c lw 173607
c lw 173608
c lw 173657
c lw 173751
c lw 173778
c lw 174010
c lw 174020
c lw 174023
c lw 174027
c lw 174028
c lw 174037
c lw 174059
c lw 174060
c lw 174095
c lw 174101
c lw 174269
c lw 174275
c lw 174315
c lw 174321
c lw 174342
c lw 175553
c lw 175676
c lw 175911
c lw 176026
c lw 176301
c lw 176897
c lw 177155
c lw 177194
c lw 177615
c lw 177686
c lw 177860
c lw 177998
c lw 178265
c lw 178472
c lw 178476
c lw 178797
c lw 178829
c lw 178875
c lw 179072
c lw 179825
c lw 179840
c lw 180183
c lw 180267
c lw 180445
c lw 180500
c lw 181283
c lw 181341
c lw 181475
c lw 181547
c lw 181769
c lw 182231
c lw 182365
c lw 182573
c lw 182654
c lw 183070
c lw 183560
c lw 183802
c lw 183871
c lw 183992
c lw 184064
c lw 184680
c lw 184702
c lw 185141
c lw 185263
c lw 186110
c lw 186152
c lw 186867
c lw 186936
c lw 186968
c lw 187218
c lw 187225
c lw 187306
c lw 187363
c lw 187369
c lw 187386
c lw 187418
c lw 187421
c lw 187425
c lw 187426
c lw 187427
c lw 187429
c lw 187433
c lw 187436
c lw 187437
c lw 187439
c lw 187441
c lw 187443
c lw 187444
c lw 187445
c lw 187448
c lw 187449
c lw 187452
c lw 187453
c lw 187464
c lw 187466
c lw 187467
c lw 187470
c lw 187480
c lw 187481
c lw 187484
c lw 187485
c lw 187491
c lw 187492
c lw 187506
c lw 187507
c lw 187508
c lw 187509
c lw 187513
c lw 187517
c lw 187519
c lw 187727
c lw 187729
c lw 187743
c lw 188117
c lw 188141
c lw 188194
c lw 188206
c lw 188385
c lw 188450
c lw 188462
c lw 188467
c lw 188484
c lw 188485
c lw 188501
c lw 188504
c lw 188516
c lw 188517
c lw 188533
c lw 188585
c lw 188932
c lw 189238
c lw 189246
c lw 189285
c lw 189305
c lw 190007
c lw 190363
c lw 190560
c lw 190652
c lw 190670
c lw 190890
c lw 190982
c lw 190987
c lw 191012
c lw 191387
c lw 191729
c lw 192024
c lw 192096
c lw 192436
c lw 192863
c lw 192955
c lw 193522
c lw 193567
c lw 193579
c lw 193580
c lw 193585
c lw 193609
c lw 193610
c lw 193616
c lw 193618
c lw 193632
c lw 193650
c lw 193935
c lw 194024
c lw 194062
c lw 194088
c lw 194089
c lw 194095
c lw 194096
c lw 194121
c lw 194594
c lw 194730
c lw 194732
c lw 194733
c lw 194734
c lw 194741
c lw 194783
c lw 194839
c lw 194949
c lw 195168
c lw 195941
c lw 195951
c lw 196094
c lw 196156
c lw 196234
c lw 197138
c lw 197305
c lw 197521
c lw 197535
c lw 197569
c lw 197717
c lw 198202
c lw 198462
c lw 199018
c lw 199252
c lw 199888
c lw 199941
c lw 200040
c lw 200042
c lw 200045
c lw 200065
c lw 200132
c lw 200522
c lw 201553
c lw 201725
c lw 201730
c lw 201782
c lw 202349
c lw 202350
c lw 202374
c lw 202449
c lw 202466
c lw 202468
c lw 202471
c lw 202518
c lw 202812
c lw 203473
c lw 204326
c lw 204505
c lw 204525
c lw 204536
c lw 204555
c lw 204754
c lw 205016
c lw 205039
c lw 205090
c lw 205203
c lw 206119
c lw 206135
c lw 206144
c lw 206163
c lw 206184
c lw 206217
c lw 206368
c lw 206378
c lw 206384
c lw 206404
c lw 206451
c lw 206549
c lw 206690
c lw 206730
c lw 206987
c lw 207047
c lw 207392
c lw 207522
c lw 207674
c lw 207979
c lw 208134
c lw 208191
c lw 208195
c lw 208206
c lw 208218
c lw 208227
c lw 208230
c lw 208453
c lw 208456
c lw 208458
c lw 208473
c lw 208507
c lw 208516
c lw 208519
c lw 208522
c lw 208524
c lw 208527
c lw 208533
c lw 208583
c lw 208613
c lw 208660
c lw 208786
c lw 208851
c lw 208870
c lw 208890
c lw 208895
c lw 208932
c lw 208935
c lw 208937
c lw 208950
c lw 208952
c lw 209006
c lw 209010
c lw 209012
c lw 209014
c lw 209024
c lw 209025
c lw 209027
c lw 209030
c lw 209041
c lw 209043
c lw 209046
c lw 209048
c lw 209051
c lw 209053
c lw 209054
c lw 209056
c lw 209057
c lw 209059
c lw 209060
c lw 209061
c lw 209062
c lw 209121
c lw 209148
c lw 209326
c lw 209328
c lw 209346
c lw 209347
c lw 209348
c lw 209349
c lw 209350
c lw 209351
c lw 209352
c lw 209353
c lw 209354
c lw 209355
c lw 209356
c lw 209359
c lw 209360
c lw 209363
c lw 209774
c lw 209775
c lw 209780
c lw 210111
c lw 210370
c lw 210431
c lw 210739
c lw 210743
c lw 210751
c lw 210755
c lw 210756
c lw 210757
c lw 210758
c lw 210759
c lw 210760
c lw 210761
c lw 210762
c lw 210765
c lw 210766
c lw 210767
c lw 210768
c lw 210769
c lw 210772
c lw 210779
c lw 210780
c lw 210781
c lw 210787
c lw 210791
c lw 210794
c lw 210797
c lw 210799
c lw 210974
c lw 211032
c lw 211072
c lw 211119
c lw 211161
c lw 211175
c lw 211181
c lw 211332
c lw 211782
c lw 212004
c lw 212014
c lw 212577
c lw 212587
c lw 213814
c lw 214039
c lw 214524
c lw 214552
c lw 215092
c lw 215135
c lw 215476
c lw 215792
c lw 215868
c lw 215879
c lw 215918
c lw 216128
c lw 216350
c lw 216638
c lw 216754
c lw 216920
c lw 217894
c lw 218002
c lw 218380
c lw 218421
c lw 218422
c lw 218426
c lw 218779
c lw 218846
c lw 219592
c lw 220469
c lw 220531
c lw 220698
c lw 221131
c lw 221333
c lw 221508
c lw 221832
c lw 221989
c lw 222222
c lw 222265
c lw 222723
c lw 222893
c lw 223215
c lw 223409
c lw 223932
c lw 224133
c lw 224525
c lw 225532
c lw 226411
c lw 226662
c lw 227639
c lw 227661
c lw 227765
c lw 228486
c lw 228742
c lw 228912
c lw 229674
c lw 230396
c lw 230890
c lw 230934
c lw 231110
c lw 231406
c lw 232760
c lw 232807
c lw 232821
c lw 232871
c lw 232903
c lw 233387
c lw 233403
c lw 233527
c lw 233563
c lw 233810
c lw 234235
c lw 234269
c lw 234953
c lw 234997
c lw 235012
c lw 235107
c lw 235598
c lw 235937
c lw 235949
c lw 235967
c lw 235990
c lw 236166
c lw 236266
c lw 236395
c lw 236431
c lw 237368
c lw 237851
c lw 238070
c lw 238082
c lw 238115
c lw 239198
c lw 239646
c lw 239721
c lw 239878
c lw 240161
c lw 240167
c lw 240318
c lw 241249
c lw 241408
c lw 241452
c lw 241892
c lw 241907
c lw 241908
c lw 241944
c lw 241957
c lw 242009
c lw 242012
c lw 242843
c lw 243462
c lw 243466
c lw 243533
c lw 244031
c lw 244033
c lw 244108
c lw 244238
c lw 244246
c lw 244284
c lw 244302
c lw 244304
c lw 244312
c lw 244320
c lw 244445
c lw 244520
c lw 244532
c lw 244538
c lw 244552
c lw 244673
c lw 244767
c lw 244812
c lw 244976
c lw 245140
c lw 245234
c lw 246110
c lw 246273
c lw 246419
c lw 246969
c lw 246988
c lw 247203
c lw 247222
c lw 247232
c lw 247240
c lw 247440
c lw 247588
c lw 247668
c lw 248175
c lw 248179
c lw 248181
c lw 248189
c lw 248197
c lw 248397
c lw 248398
c lw 248404
c lw 248416
c lw 248418
c lw 248428
c lw 248430
c lw 248438
c lw 248457
c lw 248467
c lw 248476
c lw 248477
c lw 248484
c lw 248492
c lw 248493
c lw 248495
c lw 248502
c lw 248504
c lw 248513
c lw 248515
c lw 248517
c lw 248521
c lw 248527
c lw 248529
c lw 248537
c lw 248541
c lw 248547
c lw 248549
c lw 248554
c lw 248555
c lw 248557
c lw 248559
c lw 248561
c lw 248563
c lw 248569
c lw 248571
c lw 248579
c lw 248581
c lw 248583
c lw 248584
c lw 248589
c lw 248591
c lw 248641
c lw 248643
c lw 248658
c lw 248674
c lw 248680
c lw 248690
c lw 248692
c lw 248699
c lw 248703
c lw 248706
c lw 248712
c lw 248714
c lw 248715
c lw 248716
c lw 248717
c lw 248718
c lw 248727
c lw 248729
c lw 248730
c lw 248731
c lw 248733
c lw 248735
c lw 248736
c lw 248737
c lw 248903
c lw 249210
c lw 250197
c lw 250462
c lw 250750
c lw 250998
c lw 251382
c lw 252011
c lw 252329
c lw 252399
c lw 252872
c lw 252979
c lw 253019
c lw 253868
c lw 253943
c lw 254061
c lw 254077
c lw 254201
c lw 254214
c lw 254521
c lw 254529
c lw 254586
c lw 255619
c lw 255642
c lw 255977
c lw 256022
c lw 256871
c lw 256874
c lw 257488
c lw 257645
c lw 257648
c lw 257649
c lw 257650
c lw 257651
c lw 257654
c lw 257657
c lw 257668
c lw 257699
c lw 257700
c lw 257701
c lw 257702
c lw 257703
c lw 257704
c lw 257705
c lw 257706
c lw 257707
c lw 257708
c lw 257709
c lw 257710
c lw 257711
c lw 257712
c lw 257713
c lw 257714
c lw 257715
c lw 257716
c lw 257717
c lw 257718
c lw 257719
c lw 257720
c lw 257721
c lw 257722
c lw 257723
c lw 257724
c lw 257725