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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-280-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 539
c lw 1049
c lw 1933
c lw 3960
c lw 4219
c lw 4249
c lw 4630
c lw 4986
c lw 5936
c lw 6031
c lw 7635
c lw 7924
c lw 10705
c lw 11961
c lw 12908
c lw 14386
c lw 14867
c lw 15294
c lw 15406
c lw 16299
c lw 17646
c lw 18223
c lw 18274
c lw 19389
c lw 21352
c lw 22672
c lw 22912
c lw 23835
c lw 25906
c lw 26709
c lw 28268
c lw 29225
c lw 30292
c lw 30848
c lw 31737
c lw 31763
c lw 32731
c lw 33246
c lw 33588
c lw 33665
c lw 33826
c lw 34558
c lw 34739
c lw 35390
c lw 35901
c lw 36331
c lw 36922
c lw 36995
c lw 37256
c lw 37918
c lw 38272
c lw 38380
c lw 39389
c lw 39614
c lw 40756
c lw 40902
c lw 41386
c lw 42154
c lw 42289
c lw 42618
c lw 43192
c lw 43209
c lw 43606
c lw 44391
c lw 44661
c lw 45421
c lw 46861
c lw 47309
c lw 47366
c lw 48002
c lw 48174
c lw 48784
c lw 48940
c lw 49787
c lw 50525
c lw 51030
c lw 51179
c lw 51663
c lw 52535
c lw 52876
c lw 53029
c lw 53475
c lw 53518
c lw 54743
c lw 55357
c lw 55450
c lw 55592
c lw 56660
c lw 56833
c lw 57860
c lw 58174
c lw 58327
c lw 59033
c lw 59142
c lw 59240
c lw 59281
c lw 59374
c lw 59511
c lw 60156
c lw 60185
c lw 61156
c lw 61294
c lw 61584
c lw 61792
c lw 62316
c lw 62478
c lw 62555
c lw 62729
c lw 62852
c lw 63194
c lw 63718
c lw 64192
c lw 64545
c lw 64612
c lw 65264
c lw 65384
c lw 66026
c lw 66158
c lw 66317
c lw 66700
c lw 67488
c lw 68332
c lw 68441
c lw 68669
c lw 69023
c lw 69493
c lw 69678
c lw 70065
c lw 70469
c lw 70617
c lw 70640
c lw 71161
c lw 71615
c lw 71859
c lw 72249
c lw 72537
c lw 72937
c lw 73180
c lw 73673
c lw 73933
c lw 73948
c lw 74282
c lw 74303
c lw 74708
c lw 74721
c lw 75265
c lw 75351
c lw 75368
c lw 75476
c lw 75687
c lw 75693
c lw 76004
c lw 76864
c lw 76902
c lw 76986
c lw 77213
c lw 78125
c lw 78182
c lw 78239
c lw 78313
c lw 78485
c lw 78670
c lw 79095
c lw 79251
c lw 79596
c lw 79948
c lw 80073
c lw 80202
c lw 80555
c lw 80704
c lw 80759
c lw 80949
c lw 80965
c lw 81251
c lw 81895
c lw 82180
c lw 82514
c lw 82574
c lw 82763
c lw 82917
c lw 82956
c lw 82999
c lw 83123
c lw 83527
c lw 84210
c lw 84524
c lw 84750
c lw 85683
c lw 85698
c lw 86241
c lw 86365
c lw 86383
c lw 86536
c lw 86930
c lw 87721
c lw 88040
c lw 88064
c lw 88245
c lw 88316
c lw 88670
c lw 88749
c lw 89004
c lw 90256
c lw 90261
c lw 90344
c lw 90413
c lw 91337
c lw 91426
c lw 91635
c lw 91655
c lw 91899
c lw 92052
c lw 92114
c lw 93136
c lw 93142
c lw 93224
c lw 93377
c lw 93490
c lw 94852
c lw 94964
c lw 95252
c lw 95302
c lw 95342
c lw 95412
c lw 95615
c lw 95646
c lw 95671
c lw 96607
c lw 96689
c lw 96695
c lw 97026
c lw 98120
c lw 98578
c lw 98743
c lw 98836
c lw 98973
c lw 99046
c lw 99473
c lw 99647
c lw 99908
c lw 99937
c lw 100185
c lw 100281
c lw 100597
c lw 101460
c lw 101494
c lw 101527
c lw 101533
c lw 101610
c lw 101659
c lw 101693
c lw 101726
c lw 101732
c lw 101809
c lw 101963
c lw 102065
c lw 102106
c lw 102265
c lw 102444
c lw 102563
c lw 103078
c lw 103128
c lw 103181
c lw 103339
c lw 103583
c lw 103782
c lw 103843
c lw 104125
c lw 104189
c lw 104612
c lw 104625
c lw 105169
c lw 105596
c lw 105706
c lw 105837
c lw 106241
c lw 106598
c lw 106986
c lw 107105
c lw 107143
c lw 107260
c lw 107311
c lw 107332
c lw 107584
c lw 107929
c lw 108361
c lw 108424
c lw 108530
c lw 108668
c lw 108731
c lw 108800
c lw 109741
c lw 109839
c lw 109843
c lw 109941
c lw 109970
c lw 110272
c lw 111027
c lw 111299
c lw 111437
c lw 111574
c lw 111735
c lw 112212
c lw 112252
c lw 112311
c lw 112842
c lw 112870
c lw 113053
c lw 113077
c lw 113093
c lw 113225
c lw 114209
c lw 114864
c lw 114914
c lw 114987
c lw 115682
c lw 115826
c lw 116247
c lw 116316
c lw 117550
c lw 117610
c lw 117667
c lw 117858
c lw 117918
c lw 118017
c lw 118058
c lw 118183
c lw 118430
c lw 118779
c lw 119333
c lw 119611
c lw 119782
c lw 119841
c lw 120490
c lw 121213
c lw 121283
c lw 121303
c lw 121307
c lw 121386
c lw 121405
c lw 121712
c lw 121745
c lw 122024
c lw 122239
c lw 122254
c lw 122429
c lw 122542
c lw 122544
c lw 122860
c lw 122875
c lw 123050
c lw 123053
c lw 123069
c lw 123070
c lw 123860
c lw 123950
c lw 124077
c lw 124244
c lw 124731
c lw 124813
c lw 125175
c lw 125331
c lw 126759
c lw 127083
c lw 127086
c lw 127477
c lw 127650
c lw 127782
c lw 128088
c lw 128361
c lw 128885
c lw 128940
c lw 129118
c lw 129320
c lw 129533
c lw 129536
c lw 129543
c lw 129722
c lw 129839
c lw 130145
c lw 130205
c lw 130891
c lw 131205
c lw 131268
c lw 131615
c lw 131761
c lw 131838
c lw 132213
c lw 132216
c lw 132685
c lw 133031
c lw 133104
c lw 133570
c lw 134159
c lw 134714
c lw 134860
c lw 134972
c lw 135205
c lw 135293
c lw 135384
c lw 135560
c lw 135566
c lw 136010
c lw 136052
c lw 136139
c lw 136580
c lw 136700
c lw 137491
c lw 138091
c lw 139238
c lw 139314
c lw 139698
c lw 139967
c lw 140069
c lw 140456
c lw 140464
c lw 140486
c lw 140489
c lw 140572
c lw 140813
c lw 141231
c lw 141257
c lw 141470
c lw 141492
c lw 141505
c lw 142056
c lw 142121
c lw 142358
c lw 142446
c lw 142482
c lw 142830
c lw 142896
c lw 144289
c lw 145427
c lw 145778
c lw 146257
c lw 146381
c lw 146421
c lw 146422
c lw 146424
c lw 146477
c lw 146542
c lw 146692
c lw 146792
c lw 147389
c lw 147562
c lw 147579
c lw 147900
c lw 148175
c lw 148258
c lw 148263
c lw 148272
c lw 148993
c lw 149010
c lw 149026
c lw 149106
c lw 149126
c lw 149189
c lw 149361
c lw 149789
c lw 149822
c lw 149844
c lw 150133
c lw 150325
c lw 150327
c lw 150340
c lw 150381
c lw 150690
c lw 151426
c lw 151474
c lw 151996
c lw 152126
c lw 152352
c lw 152360
c lw 152526
c lw 152560
c lw 152675
c lw 152738
c lw 152905
c lw 153441
c lw 153717
c lw 153829
c lw 154031
c lw 154046
c lw 154285
c lw 154286
c lw 154542
c lw 154709
c lw 154756
c lw 154771
c lw 154781
c lw 154794
c lw 154873
c lw 154902
c lw 154930
c lw 154934
c lw 155019
c lw 155104
c lw 155567
c lw 155582
c lw 155617
c lw 155922
c lw 156540
c lw 156905
c lw 157010
c lw 157356
c lw 157389
c lw 157715
c lw 157795
c lw 158262
c lw 158414
c lw 158794
c lw 158890
c lw 158901
c lw 159192
c lw 160167
c lw 160644
c lw 161192
c lw 161275
c lw 161516
c lw 161757
c lw 161824
c lw 162019
c lw 162072
c lw 162097
c lw 162270
c lw 162386
c lw 162710
c lw 162929
c lw 163052
c lw 163162
c lw 163528
c lw 164275
c lw 164403
c lw 164431
c lw 165219
c lw 165256
c lw 165260
c lw 166153
c lw 166267
c lw 166333
c lw 167018
c lw 167154
c lw 167266
c lw 168081
c lw 168099
c lw 168234
c lw 169239
c lw 169569
c lw 169587
c lw 169762
c lw 169940
c lw 169958
c lw 170133
c lw 170507
c lw 170518
c lw 170542
c lw 170813
c lw 171637
c lw 171680
c lw 172013
c lw 172545
c lw 172593
c lw 173371
c lw 174373
c lw 174559
c lw 174784
c lw 175064
c lw 175695
c lw 175722
c lw 175733
c lw 176043
c lw 176274
c lw 176571
c lw 176572
c lw 176672
c lw 176843
c lw 177760
c lw 177767
c lw 177907
c lw 177920
c lw 177930
c lw 178613
c lw 178645
c lw 179103
c lw 179521
c lw 179545
c lw 179632
c lw 179681
c lw 180328
c lw 180745
c lw 181010
c lw 181264
c lw 181358
c lw 181755
c lw 181914
c lw 182467
c lw 182507
c lw 182784
c lw 183715
c lw 183789
c lw 183790
c lw 183864
c lw 184057
c lw 184065
c lw 184850
c lw 185435
c lw 185479
c lw 185637
c lw 185797
c lw 185873
c lw 185985
c lw 185987
c lw 186314
c lw 186511
c lw 186815
c lw 186834
c lw 187175
c lw 187407
c lw 187538
c lw 187583
c lw 187596
c lw 188133
c lw 188604
c lw 188844
c lw 189047
c lw 189186
c lw 189197
c lw 189442
c lw 189807
c lw 189947
c lw 190077
c lw 191193
c lw 191213
c lw 191525
c lw 191879
c lw 191927
c lw 191952
c lw 191962
c lw 192119
c lw 192125
c lw 192152
c lw 192193
c lw 192196
c lw 192217
c lw 192220
c lw 192234
c lw 192237
c lw 192250
c lw 192253
c lw 192264
c lw 192279
c lw 192282
c lw 192285
c lw 192343
c lw 192526
c lw 192551
c lw 192656
c lw 192781
c lw 192843
c lw 193086
c lw 193918
c lw 194299
c lw 194304
c lw 194337
c lw 194347
c lw 194527
c lw 194540
c lw 194585
c lw 194604
c lw 194611
c lw 194653
c lw 194753
c lw 194758
c lw 195098
c lw 195545
c lw 195702
c lw 196248
c lw 196276
c lw 196985
c lw 197033
c lw 197224
c lw 197465
c lw 197488
c lw 197653
c lw 197766
c lw 198520
c lw 198552
c lw 198820
c lw 198855
c lw 199368
c lw 200189
c lw 200961
c lw 201645
c lw 201760
c lw 201988
c lw 202038
c lw 202539
c lw 202582
c lw 202665
c lw 202666
c lw 202667
c lw 202670
c lw 202671
c lw 203205
c lw 203590
c lw 203941
c lw 204057
c lw 204248
c lw 204254
c lw 204255
c lw 204257
c lw 204265
c lw 204268
c lw 204273
c lw 204278
c lw 204279
c lw 204280
c lw 204283
c lw 204290
c lw 204295
c lw 204302
c lw 204303
c lw 204449
c lw 204798
c lw 205026
c lw 205398
c lw 205425
c lw 205516
c lw 205832
c lw 206314
c lw 206586
c lw 207114
c lw 207295
c lw 207339
c lw 207608
c lw 207791
c lw 208142
c lw 208798
c lw 208933
c lw 208960
c lw 208976
c lw 209070
c lw 209559
c lw 209852
c lw 210070
c lw 210152
c lw 210154
c lw 210178
c lw 210287
c lw 210475
c lw 210698
c lw 211320
c lw 212587
c lw 212657
c lw 212759
c lw 212874
c lw 213184
c lw 213208
c lw 213612
c lw 214162
c lw 214864
c lw 214884
c lw 214963
c lw 215024
c lw 215208
c lw 215721
c lw 216068
c lw 216451
c lw 217206
c lw 217394
c lw 217415
c lw 217422
c lw 217820
c lw 218864
c lw 219064
c lw 219108
c lw 219167
c lw 219586
c lw 219612
c lw 219630
c lw 219788
c lw 219798
c lw 220753
c lw 220795
c lw 220997
c lw 221675
c lw 221684
c lw 222079
c lw 222261
c lw 222957
c lw 222982
c lw 223238
c lw 224134
c lw 224294
c lw 224349
c lw 224463
c lw 224535
c lw 224608
c lw 224678
c lw 224793
c lw 224818
c lw 225176
c lw 225316
c lw 225375
c lw 225411
c lw 225624
c lw 225625
c lw 225629
c lw 225632
c lw 225634
c lw 225638
c lw 225639
c lw 225640
c lw 225641
c lw 225642
c lw 225645
c lw 225648
c lw 225654
c lw 225659
c lw 225667
c lw 225669
c lw 226764
c lw 226829
c lw 227046
c lw 227061
c lw 227066
c lw 227176
c lw 227262
c lw 227266
c lw 227268
c lw 227276
c lw 227286
c lw 227311
c lw 227330
c lw 227352
c lw 227354
c lw 227357
c lw 227358
c lw 227368
c lw 227377
c lw 227380
c lw 227382
c lw 227387
c lw 227395
c lw 227396
c lw 227398
c lw 227400
c lw 227412
c lw 227417
c lw 227964
c lw 227970
c lw 227973
c lw 227975
c lw 227976
c lw 227977
c lw 227978
c lw 227979
c lw 227980
c lw 227982
c lw 229118
c lw 229184
c lw 229206
c lw 229228
c lw 229315
c lw 229323
c lw 229385
c lw 229843
c lw 229902
c lw 229921
c lw 229926
c lw 229933
c lw 230163
c lw 230345
c lw 230404
c lw 230411
c lw 230419
c lw 230420
c lw 230421
c lw 230422
c lw 230423
c lw 230424
c lw 230425
c lw 230427
c lw 230429
c lw 230430
c lw 230431
c lw 230435
c lw 230445
c lw 230446
c lw 230448
c lw 230453
c lw 230465
c lw 230466
c lw 230467
c lw 230468
c lw 230469
c lw 230471
c lw 230472
c lw 230473
c lw 230474
c lw 230475
c lw 230476
c lw 230477
c lw 230478
c lw 230480
c lw 230481
c lw 230483
c lw 230484
c lw 230485
c lw 230486
c lw 230487
c lw 230488
c lw 230489
c lw 230491
c lw 230494
c lw 230496
c lw 230497
c lw 230498
c lw 230499
c lw 230500
c lw 230501
c lw 230502
c lw 230503
c lw 230504
c lw 230505
c lw 230506
c lw 230507
c lw 230508
c lw 230509
c lw 230510
c lw 230511
c lw 230513
c lw 230514
c lw 230515
c lw 230516
c lw 230517
c lw 230518
c lw 230519
c lw 230520
c lw 230521
c lw 230522
c lw 231182
c lw 231223
c lw 231954
c lw 231978
c lw 232001
c lw 232039
c lw 232061
c lw 232118
c lw 232138
c lw 232269
c lw 232348
c lw 233024
c lw 233201
c lw 234224
c lw 235101
c lw 235262
c lw 235552
c lw 235600
c lw 235878
c lw 236055
c lw 236466
c lw 236494
c lw 236502
c lw 236562
c lw 237134
c lw 237150
c lw 237283
c lw 237295
c lw 237377
c lw 237498
c lw 237528
c lw 238597
c lw 238700
c lw 238967
c lw 239413
c lw 239572
c lw 239675
c lw 240471
c lw 241572
c lw 242260
c lw 242412
c lw 242530
c lw 242542
c lw 242559
c lw 242564
c lw 242682
c lw 242691
c lw 242703
c lw 242714
c lw 242726
c lw 243697
c lw 244885
c lw 245289
c lw 245586
c lw 245924
c lw 246139
c lw 246274
c lw 246411
c lw 246565
c lw 246740
c lw 246878
c lw 247565
c lw 247844
c lw 247931
c lw 248368
c lw 249308
c lw 249500
c lw 249928
c lw 249937
c lw 250906
c lw 250943
c lw 251069
c lw 251109
c lw 251119
c lw 251193
c lw 251253
c lw 251254
c lw 251283
c lw 251293
c lw 251294
c lw 251407
c lw 251448
c lw 251483
c lw 251544
c lw 252006
c lw 252212
c lw 252925
c lw 253540
c lw 253560
c lw 253724
c lw 253838
c lw 254214
c lw 254266
c lw 254551
c lw 254672
c lw 254734
c lw 255328
c lw 255405
c lw 255446
c lw 255639
c lw 256370
c lw 256478
c lw 256872
c lw 257078
c lw 257265
c lw 257981
c lw 258089
c lw 258203
c lw 258375
c lw 258396
c lw 259661
c lw 259785
c lw 259844
c lw 259968
c lw 259998
c lw 260028
c lw 260058
c lw 260069
c lw 260133
c lw 260184
c lw 260204
c lw 260216
c lw 260221
c lw 260246
c lw 260265
c lw 260266
c lw 260276
c lw 260435
c lw 260783
c lw 260788
c lw 260793
c lw 260820
c lw 260886
c lw 261035
c lw 261044
c lw 261078
c lw 261165
c lw 261170
c lw 261328
c lw 261338
c lw 261343
c lw 261348
c lw 261361
c lw 261375
c lw 261396
c lw 261444
c lw 261470
c lw 261545
c lw 261575
c lw 261610
c lw 261655
c lw 261703
c lw 262504
c lw 262522
c lw 262532
c lw 262534
c lw 262542
c lw 262550
c lw 262552
c lw 262553
c lw 262934
c lw 262954
c lw 262966
c lw 262967
c lw 262968
c lw 262969
c lw 262970
c lw 262971
c lw 262972
c lw 262973
c lw 262974
c lw 262975
c lw 262976
c lw 262977
c lw 262978
c lw 262979
c lw 262980
c lw 262981
c lw 262982
c lw 262983
c lw 262984
c lw 262985
c lw 262986
c lw 262987
c lw 262991
c lw 262992
c lw 262995
c lw 262997
c lw 262998
c lw 263004
c lw 263006
c lw 263007
c lw 263008
c lw 263010
c lw 263011
c lw 263012
c lw 263013
c lw 263014
c lw 263015
c lw 263016
c lw 263017
c lw 263018
c lw 263019
c lw 263020
c lw 263021
c lw 263022
c lw 263023
c lw 263024
c lw 263025
c lw 263026
c lw 263027
c lw 263028
c lw 263029